Invariants / DC-CBOR-01

DC-CBOR-01

DC derived declared

Cardano CBOR decode/encode round-trips to identical bytes for all era types

Source

Project constitution §3, T-ENC-01, T-ENC-03

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap