Invariants / DC-TXV-07
DC-TXV-07
DC derived enforcedAll deposit/refund amounts used by Conway transaction value-conservation accounting must be sourced from canonical ledger protocol parameters or explicit certificate fields, never from testkit defaults, shell configuration, ambient ConwayGovParams, or fallback constants.
- Source
IDD determinism doctrine (deposit params are canonical input); Conway protocol-parameter surface
- Cluster
- CL-LEDGER-VERDICT
- Authority surface
- BLUE Conway deposit parameter authority
Enforcement trace
Code
Tests 4
- conway_deposit_params_canonical_source
- non_conway_state_has_no_conway_deposit_params
- pparams_fingerprint_stable_for_non_conway
- pparams_fingerprint_includes_conway_deposits_when_present