Invariants / DC-DIFF-01

DC-DIFF-01

DC derived partial

Differential harness must localize first divergence point between Ade and reference oracle

Source: Project constitution §3, T-DET-01, DC-REF-01
Cluster: CL-LEDGER-VERDICT
Authority surface: differential comparison outcomes

Enforcement trace

Code

crates/ade_testkit/src/harness/ledger_diff.rs

Tests 2

diff_ledger_sequence
mismatched_block_count_returns_error

CI 0

no CI script — gap

Cross-references