| -- Sovereign Event Bus (SEB) - Write-Ahead Log Specification | |
| -- Ada 2012 / SPARK Level 4 | |
| -- | |
| -- mmap-backed persistent storage with WORM integrity. | |
| pragma SPARK_Mode (On); | |
| with SEB_Types; | |
| use SEB_Types; | |
| package SEB_WAL is | |
| -- No public operations; all access through SEB_Kernel interface | |
| -- This package is internal to the kernel implementation. | |
| end SEB_WAL; | |