Invariants / DC-STORE-02

DC-STORE-02

DC derived enforced

Append-only provenance for finalized data

Source: Project constitution §3, T-REC-02

Enforcement trace

Code

Tests 3

persistent_passes_contract
in_memory_passes_contract
reopen_observes_committed_block

CI 1

ci_check_chaindb_contract.sh

Strengthened in