Invariants / DC-CONS-IN-02

DC-CONS-IN-02

DC derived enforced

Canonical fingerprint: LiveConsensusInputsCanonical.fingerprint is Blake2b-256 over a canonical CBOR encoding of every field in declared order. Same JSON bytes → same canonical form → same fingerprint, byte-identical across two import runs. The fingerprint is the load-bearing handle for every admission JSONL block-event (DC-ADMIT-10).

Source: docs/planning/phase4-n-m-c-operator-pass-invariants.md §1 (I-C3)

Enforcement trace

Code

crates/ade_runtime/src/consensus_inputs/canonical.rs

Tests 5

consensus_inputs::canonical::tests::import_round_trip_yields_canonical_form_with_fingerprint
consensus_inputs::canonical::tests::fingerprint_is_deterministic_across_repeated_imports
consensus_inputs::canonical::tests::fingerprint_changes_when_any_canonical_input_changes
consensus_inputs::canonical::tests::canonical_field_count_is_fifteen
consensus_inputs::canonical::tests::fingerprint_is_blake2b_256_of_encode_canonical_cbor

CI 1

ci_check_live_consensus_inputs_fingerprint.sh

DC-CONS-IN-02

Enforcement trace

Code

Tests 5

CI 1

Cross-references