AdeAtlas
Invariants / CN-LEDGER-02

CN-LEDGER-02

CN true declared

Same genesis/bootstrap + same block sequence must yield byte-identical authoritative state

Source

classification_table.md §B

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references

T-DET-01T-REC-02DC-TXV-03DC-VAL-04

Attack rationale

Prevents semantic-match but state-byte divergence failures.

Evidence notes

Direct restatement of T-DET-01 + T-REC-02. Universal replay equivalence property.