Four stages. Three locks. Two modes deferred.
Encode
Graph
subset of cases
→ nodes + edges
Solve
Score
P × D × C × A
against frozen weights.yaml
Decode
Chain
claims + provenance
→ Truth Unit
Validate
Blind
independent reviewer
ranks the same 20 cases
→ Day 10 · pass / fail
Mode A scope: ~20 cases, one doctrine (DCC), one contested question. Mode B (multi-doctrine) and Mode C (multi-question) are gated stubs.