arkhe-kernel 0.15.0

Domain-neutral deterministic microkernel for virtual worlds. WAL-backed, bit-identical replay, invariant-lifetime shell brand, no async / no unsafe / no floating-point in canonical paths.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! 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`.

pub mod replay;
pub mod signature;
pub mod snapshot;
pub mod wal;

pub use replay::{replay_into, replay_into_verified, ReplayError, ReplayReport};
pub use signature::SignatureClass;
pub use snapshot::{KernelSnapshot, SnapshotError};
pub use wal::{
    SignatureTier, SkipReason, StepVerdict, TrustAnchor, TypeRegistryPin, Wal, WalError, WalHeader,
    WalRecord, WalRecordContent, WalRecordKind, WalWriter,
};