When Verify judges "not done, but gated on CI / a deploy / an external approval", every
further tick burns a full Round to rediscover the same wait. Proposal: the Loop parks on a
condition (deadline, file appears, process exits); a tick on a parked Loop is a cheap no-op.
Open design decision (owner call before implementation): parking as a new Exit cause (a
resumable interruption) vs a Verdict extension (a judge ruling) — the semantics differ.
"Only a Verdict settles" must survive either way.
Evidence: hermes judge tri-state done|continue|wait with a lazily self-clearing wait
barrier; wait-with-no-target degrades to continue, never parking on nothing.
When Verify judges "not done, but gated on CI / a deploy / an external approval", every
further tick burns a full Round to rediscover the same wait. Proposal: the Loop parks on a
condition (deadline, file appears, process exits); a tick on a parked Loop is a cheap no-op.
Open design decision (owner call before implementation): parking as a new Exit cause (a
resumable interruption) vs a Verdict extension (a judge ruling) — the semantics differ.
"Only a Verdict settles" must survive either way.
Evidence: hermes judge tri-state done|continue|wait with a lazily self-clearing wait
barrier; wait-with-no-target degrades to continue, never parking on nothing.