P-01Implementation evidence
The task model is built, not promised.
Run-or-split, run, synthesize — implemented and in daily use. A survey of roughly 19 agent frameworks found the combination of uniform recursion, per-node synthesis, and upward-propagating replan-with-understanding uncommon; the closest validated peer is Anthropic's orchestrator-workers pattern, single-level where this is recursive.
P-02Verification evidence
An agent's self-report isn't the finish line.
Every root goal gets a durable contract — objective, acceptance criteria, an evidence ledger. A worker can propose the work is done; only an audit against tests, checks, and artifacts can mark the goal complete. Weak or missing evidence leaves it open, not "probably fine."
P-03Correction evidence
A real run exposed self-certified "done" — so completion is now hard-gated.
One run finished "complete" with checks passing while the actual result wasn't usable — the completion signal was self-certified. Now, for benchmark-matched goals, an independent adversarial run has to pass against the real artifact before completion, and a non-trivial task can't reach done without an independent review.