AdeAtlas
Invariants / CN-LEDGER-04

CN-LEDGER-04

CN derived declared

Any two supported production versions that may coexist must return the same validity verdict for every consensus-relevant input

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

DC-LEDGER-07

Attack rationale

Covers mixed-version skew, not just latest-vs-reference comparison.

Evidence notes

Cardano-specific: addresses Cardano's rolling upgrade model where multiple node versions coexist.