fix: tighten worker delivery contracts and active-run supervision - #9

Open

cisrd wants to merge 11 commits into

mainfrom

fm/fm-lot-briefs-delivery-contract

Commits on Sep 8, 2026

Strengthen generated delivery contracts
Alex William
committed
342f69e
no-mistakes(review): Add rule-7 block escape, drop duplicate direct-PR line
Alex William
committed
f910458
no-mistakes(review): Absorb live no-mistakes runs in busy-turn bound
Alex William
committed
7e34d2e
no-mistakes(review): Require proven-live daemon before deferring busy-turn wedge
Alex William
committed
a069b03
no-mistakes(review): Register nmrun markers and watcher suite selection
Alex William
committed
6900fd5
no-mistakes(review): Restore continuation rule for start and reattach
Alex William
committed
76adfb9
no-mistakes(review): Defer busy-turn wedge on this run's own activity
Alex William
committed
4e8a1fa
no-mistakes(review): Allow stopping at a genuine ask-user gate
Alex William
committed
470fd99
no-mistakes(document): document busy-turn live-run deferral in architecture and config
Alex William
committed
ad3e90d
no-mistakes(ci): The failing check "Behavior tests (Herdr)" came from tests/fm-backend-herdr-focus-flash-e2e.test.sh Part C, a file untouched by this PR, but it is a real flaky test rather than an …
Alex William
committed
cd3f4be
no-mistakes(document): Clarify watcher deferrals and focus verification evidence
Alex William
committed
9707d76