Invariants / DC-PLUTUS-01

DC-PLUTUS-01

DC derived declared

UPLC evaluation is deterministic: same script + args + cost model = identical result

Source: Project constitution §3, T-DET-01, T-CORE-01

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references