DC-MEM-08

DC derived declared

A compact UTxO/TxOut representation (canonical CBOR slice as the single source of truth + lazily-decoded views) preserves canonical bytes and ledger semantics: the value a ledger rule reads, and the bytes the fingerprint sees, are identical to the fully-parsed representation.

Source: Project constitution §3 (canonical serialization); MEM-OPT cluster plan

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references

Evidence notes

Declared at MEM-OPT scoping (2026-06-15). Cluster MEM-OPT-COMPACT: TxOut::AlonzoPlus already keeps the raw CBOR, so compaction is a NARROWING (drop the duplicated address/coin, store ShelleyMary Value as raw bytes, intern policy-ids) with lazy-decode accessors -- never a re-encode that could change canonical bytes.