Expand description
L0 persist stratum — Wal, KernelSnapshot,
SignatureClass, and the replay_into
reconstruction path.
L0 persist stratum.
In-memory WAL as a Canonical Input Log (CIL): each record captures only
a non-reproducible fact — an exogenous Submit (external admission) or a
per-pop Step verdict plus the full post-state digest. Every
deterministic effect (child schedules, signal routing, internal ids) is
re-derived on replay. Header pinning (A14), BLAKE3-keyed chain (A13), and
replay (A1 D1-Total bit-identical reconstruction).
File I/O is application responsibility; this stratum produces and
consumes byte buffers via Wal::serialize / Wal::deserialize.
Re-exports§
pub use replay::replay_into;pub use replay::replay_into_verified;pub use replay::ReplayError;pub use replay::ReplayReport;pub use signature::SignatureClass;pub use snapshot::KernelSnapshot;pub use snapshot::SnapshotError;pub use wal::SignatureTier;pub use wal::SkipReason;pub use wal::StepVerdict;pub use wal::TrustAnchor;pub use wal::TypeRegistryPin;pub use wal::Wal;pub use wal::WalError;pub use wal::WalHeader;pub use wal::WalRecord;pub use wal::WalRecordContent;pub use wal::WalRecordKind;pub use wal::WalWriter;