AdeAtlas
Invariants / CN-LEDGER-03

CN-LEDGER-03

CN derived declared

Validity decisions for transactions and blocks must match the Cardano reference oracle for the same era/protocol version

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-03

Attack rationale

Prevents acceptance/rejection drift from mainnet semantics.

Evidence notes

Cardano-specific: match Cardano reference oracle is a compatibility requirement. Requires differential testing against Haskell node.