Invariants / DC-EVIDENCE-03
DC-EVIDENCE-03
DC derived enforced_scaffoldingConvergence-through-reorg transcript shape (CE-AI-6; PHASE4-N-AJ). The participant convergence pass produces ONE JSONL transcript with AT LEAST:
- a strict slot regression in the OBSERVED PEER BLOCK sequence (a peer RollBackward was actually followed), and
= 1 AgreementVerdict { kind: "agreed" } at the re-converged tip. And AT MOST:
- 0 AgreementVerdict { kind: "diverged" }. The .md manifest binds the .jsonl sha256. Vacuous-until-committed; validated by ci/ci_check_convergence_evidence_schema.sh. A boring same-tip-only run (no regression) is NOT sufficient. SINGLE-BEST-PEER scope -- NOT full multi-peer Cardano ChainSel.
- Source
docs/planning/phase4-n-aj-participant-convergence-evidence-invariants.md §1 (I-AJ-5) + §9
- Introduced in
- PHASE4-N-AJ
Enforcement trace
Code
Tests 0
no tests named — gap