Receipt chain
Canonical bbs.receipt.v2 semantics, deterministic hashing, sequence/linkage checks and independent chain verification.
ImplementedEVIDENCE RECORD
Proof before posture.
Implementation state, proof state and target gates stay separate so a reader can tell what exists, what has been exercised and what remains bounded.
Crash-safe persistence
Serialized append, chain-head allocation, advisory process locking, fsync durability and torn-tail handling.
ImplementedDetached signatures
Ed25519 signing and public-key verification separated from the originating runtime.
ImplementedSigned journal
Receipt construction, signing and durable append under one chain-head lock and append unit.
Implemented; activation boundedDetached release verification
Declared ZIP payload universe, self-hashed manifests, optional detached signatures and embedded receipt verification.
Implemented; packet integration boundedLegacy migration
Boundary records preserve exact legacy bytes and canonical-row digests without pretending old history was retroactively chained.
Implemented preparation pathDEI stress gate
Four independently receipted 250,000-case segments covering exactness, custody/failure truth, portability and independent verification.
1,000,000-case target; not claimed completeTrident Noir
Bounded deterministic security/provenance runtime used inside the controlled estate.
Private machinery; bounded public claim