| name | orch-loop |
| description | Iterate fresh-context passes against an external done-check within a bound. Use when done is a condition, not a task list. |
| role | none |
Require: a frozen goal; the body per
rules/loops.md §9; a done-check naming its
oracle and oracle_class per
contracts/verdict.md; a bound; and the
context packet the iterations carry — design it once via
references/context-packet.md.
Each iteration: issue <id>.iter.NN through tickets.py new
(contracts/work-item.md,
Admission and migration) and claim it through tickets.py claim in the dispatched
child's name; start fresh from the frozen goal plus the worklog
tickets.py worklog renders; dispatch the body per
rules/delegation.md, each packet field
emitted as a canonical JSON --input record — sorted keys, no spaces,
no duplicate key — because a record the sink cannot round-trip is
refused as input-json-noncanonical at the door rather than at the
oracle; adjudicate the return through orch-integrate; let the
done-check decide per the contract's class policy.
Exit complete on rules/loops.md §1's
done-check and stalled or limited per §5, plus blocked on an
unresolvable dependency and failed on an unrecoverable execution
error. Where a predecessor — a nested loop, or a cited earlier run —
closed limited, name that limitation and the evidence that decided it
in this run's own result, and carry it into the packet's failed-approaches
digest: §7 forbids promoting a limited exit into complete, and a
limitation nobody restates is one the next iteration re-walks.
Never: count an iteration's own claim as the done-check; end a
judged-class run on iteration-time green; accept an iteration on checks
the iterating context authored alone — that acceptance is UNVERIFIED
under rules/verification.md §10, so an
iteration whose criteria are authored-here takes its one outside path
before it counts as progress, and where no such path is available the
dispatch is refused rather than counted.
Return: status, results by identity, final verification, iterations
run, queued scope, and bounds spent.
