v0.6.2 (2026-07-18)

0.6.2 (2026-07-18)

• End duplicated proof runs in the delegation loop: collection (step 4) now credits the worker's attached proof output instead of re-running the proof command — the diff read stays mandatory, and a targeted re-run happens only on a named suspicion trigger (output missing or vague, inconsistent with the diff, a failed spot-check). Previously worker and orchestrator each ran the same proof, doubling test time per task; on multi-task plans this stacked to hours.
• Scope the proof itself: the work-order contract (step 1) now asks for a proof scoped to the worker's touched area, and the general role's fallback ("the project's standard checks") is replaced by checks scoped to what the worker touched — the one full-suite run is the caller's own final gate after all tasks merge, never a per-worker proof.
• Close the false-green residue with a subsumption note: at collection, record whether the credited proof is covered by that final gate; non-subsumed proofs (manual checks, benchmarks, external-integration tests) are re-run exactly once there.