Invariants / DC-REF-01

DC-REF-01

DC derived partial

Every claimed equivalence check must identify its reference source, extraction method, and reproducibility path

Source: Project constitution §3, T-DET-01, T-CI-01
Cluster: CL-LEDGER-VERDICT
Authority surface: reference artifact provenance

Enforcement trace

Code

crates/ade_testkit/src/harness/provenance.rs

Tests 10

validate_complete_manifest_no_violations
validate_empty_manifest_no_violations
validate_detects_empty_field
self_comparison_zero_divergences_byron
self_comparison_zero_divergences_shelley
self_comparison_zero_divergences_allegra
self_comparison_zero_divergences_mary
self_comparison_zero_divergences_alonzo
self_comparison_zero_divergences_babbage
self_comparison_zero_divergences_conway

CI 1

ci_check_ref_provenance.sh

Cross-references

Evidence

corpus/reference/block_fields/manifest.toml
corpus/reference/ledger_state_hashes/manifest.toml