AdeAtlas
Invariants / CN-PLUTUS-03

CN-PLUTUS-03

CN derived declared

Script context must be canonically and completely derived from transaction plus ledger state

Source

classification_table.md §E

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Attack rationale

Prevents context reconstruction drift.

Evidence notes

Cardano-specific: ScriptContext/TxInfo construction is Plutus/Cardano-specific.