Planner, workers, judge
Read the execution contract before starting. Validate the final receipt with its parameterized verification.argv, replacing {python}, {skill_dir}, and {receipt} with concrete local values.
Use this for three or more independent evidence lenses or a consequential completion claim. Keep ordinary sequential work in one loop.
- Write numbered, checkable claims
C1..Cnwith exact paths or observations. - Give each worker one lens, a read-only policy, a file/output bound, and the
same instruction to label facts
MEASURED,INFERRED, orUNVERIFIED. - Start independent workers together when the host supports it; cap them at five. Wait for every receipt before judging.
- Give a fresh judge the claims, raw diff, receipts, and replay commands. Ask it to refute, not summarize.
- Record
CONFIRMED,REFUTED, orWEAKENEDper claim, repair only in-scope failures, rerun the exact proof, and stop after three cycles on one cause.
Workers never deliver to the user and never inherit mutation authority merely because the planner has it. Use the project's host-native agent adapters; do not assume that one vendor's agent format is portable to another host.