AdeAtlas
Invariants / DC-LEDGER-06

DC-LEDGER-06

DC derived declared

Script context (ScriptContext/TxInfo) derived from tx + ledger state + network-wide constants (EpochInfo, SystemStart); no host-environment data

Source

Project constitution §3, T-PLATFORM-01, T-DET-01

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap