Invariants / CN-STORE-05

CN-STORE-05

CN true enforced

Finalized provenance must be append-only, auditable, and replay-derivable

Source: classification_table.md §I

Enforcement trace

Code

Tests 3

persistent_passes_contract
in_memory_passes_contract
reopen_observes_committed_block

CI 1

ci_check_chaindb_contract.sh

Cross-references

Attack rationale

Ensures trustworthy recovery and debugging evidence.

Evidence notes

Universal: finalized data must be immutable. Evidence: ImmutableDB in ouroboros-consensus is append-only by design.