arkhe_kernel/persist/
mod.rs

1//! L0 persist stratum.
2//!
3//! In-memory WAL as a Canonical Input Log (CIL): each record captures only
4//! a non-reproducible fact — an exogenous `Submit` (external admission) or a
5//! per-pop `Step` verdict plus the full post-state digest. Every
6//! deterministic effect (child schedules, signal routing, internal ids) is
7//! re-derived on replay. Header pinning (A14), BLAKE3-keyed chain (A13), and
8//! replay (A1 D1-Total bit-identical reconstruction).
9//!
10//! File I/O is application responsibility; this stratum produces and
11//! consumes byte buffers via `Wal::serialize` / `Wal::deserialize`.
12
13pub mod replay;
14pub mod signature;
15pub mod snapshot;
16pub mod wal;
17
18pub use replay::{replay_into, replay_into_verified, ReplayError, ReplayReport};
19pub use signature::SignatureClass;
20pub use snapshot::{KernelSnapshot, SnapshotError};
21pub use wal::{
22    SignatureTier, SkipReason, StepVerdict, TrustAnchor, TypeRegistryPin, Wal, WalError, WalHeader,
23    WalRecord, WalRecordContent, WalRecordKind, WalWriter,
24};
arkhe_kernel/persist/mod.rs

arkhe_kernel/persist/
mod.rs
