- _execute_qualify: deterministic-first — 13 implementation-readiness checks
(design explicit, interfaces concrete, authority boundaries, data flow,
sequence, invariants, tests, acceptance, failure modes, rollback,
adversarial mitigations included, falsification tests included, blocking
unknowns absent) run BEFORE any MiMo call
- MiMo semantic judgment ONLY when deterministic checks pass: judge whether
a coder could implement without guessing — not re-research, not re-litigating
the design (ADVERSARIAL owns epistemics)
- Verdict assembly: deterministic failures → REFINE_SYNTHESIS without a model
call; worker verdicts constrained to PROCEED/REFINE_SYNTHESIS; informal
reopen attempts downgraded to REFINE_SYNTHESIS; formal reopen requires the
four justification fields (gate-enforced)
- Malformed worker verdicts treated as REFINE_SYNTHESIS (fail-safe)
- 9 new tests; suite 174 pass, ruff clean