🤖 fix: bash-monitor wakes are a level, never a queued edge (silent turn end after task_await) - #4071

Open

ethanndickson wants to merge 28 commits into

mainfrom

agent-turns-4r9r

Commits on Sep 3, 2026

fix: bash-monitor wakes are a level, never a queued edge
ethanndickson
committed
e01c03f
fix: keep wake continuations visible through PREPARING; retire handed-off wakes on clear/dispose
ethanndickson
committed
c9d7894
fix: retire a handed-off wake when its monitor is canceled; revalidate before send
ethanndickson
committed
a5944da
Codex round 2: queue-head arbitration, never-queue wake send, wake-cut latch
ethanndickson
committed
6b64c5f
Codex round 3: shown-frontier invalidation, post-await queue recheck, wake cut as cutter stage, probe try/catch
ethanndickson
committed
48afcd8
Codex round 4: freeze isCurrent at acceptance, keep requireIdle across wake compaction follow-up, gate background waits on effective yield flag
ethanndickson
committed
b84c699

Commits on Sep 4, 2026

Codex round 5: transitions own their consequences (GVw_/GVxB/GVxG)
ethanndickson
committed
fba966d
Merge remote-tracking branch 'origin/main' into agent-turns-4r9r
ethanndickson
committed
b29ecfa
Codex round 6: cutter-gated wake deferral, wake goal-sync retry, settle-before-erase
ethanndickson
committed
44c09f2
Codex round 7: keep wake identity through on-send compaction
ethanndickson
committed
81594ca
Redesign bash-monitor wake continuation as a session debt + reconciler lease
ethanndickson
committed
ab1f49a
Merge remote-tracking branch 'origin/main' into agent-turns-4r9r
ethanndickson
committed
aeb2c54
test: fix main-inherited failures surfaced by the merge
ethanndickson
committed
4648827
Settle the wake debt at acceptance; retry failed voids; spare records with another continuation
ethanndickson
committed
ea9bc3c
Dispatch bash-monitor wakes under the owner's workspace event lock
ethanndickson
committed
6368d94
A correlated continuation assumes the wake debt until its stream starts; re-check pending continuations after the record read
ethanndickson
committed
6f97041
Never await the void hook from compaction completion; unref the void retry timer; let a retried void re-enter the terminal settlement branch
ethanndickson
committed
501cce4
Round 13: revalidate a void at the settlement commit point (abandonIf); recover a committed lease from the durable wake row after restart; carry the assumed correlation through compaction retries; …
ethanndickson
committed
63bffd9
Round 14: roll back the on-send compaction row when a send is refused at the admission gates; publish the wake level to transient startup-recovery sessions; resume disposable cleanup from the termi…
ethanndickson
committed
5294afb
Round 15: recover delivered wake records through an on-send compaction row (getCarriedBashMonitorWake shared with carriesBashMonitorWake)
ethanndickson
committed
8eed56d
Round 16: resolve the queue-cut cutter and the other sync session predicates through the live session (transient recovery included); a failed wake-row read fails the reconcile instead of counting a…
ethanndickson
committed
6594bca
Resolve idle waits through the live session so a wake deferred on a busy startup-recovery session does not spin
ethanndickson
committed
eae9eef
Consume a refused wake's lease when its on-send compaction row cannot be rolled back
ethanndickson
committed
551ca90
Consume a refused wake only when its compaction row verifiably remains, and arm the in-session resume when it does
ethanndickson
committed
cd483a0
Scan history backward without a depth cap when recovering the last delivered wake row
ethanndickson
committed
91c35e3
Bound the delivered-wake-row scan at the oldest outstanding monitor's arm time and skip rows without usable identities
ethanndickson
committed
4f5a05d
fix: skip RLM preserved-tail copies in the wake acknowledgment scan
ethanndickson
committed
a11a718
fix: withdraw stale wake offers and void follow-ups only after a durable erase
ethanndickson
committed
1a71e62

Navigation Menu

Uh oh!

🤖 fix: bash-monitor wakes are a level, never a queued edge (silent turn end after task_await) - #4071

🤖 fix: bash-monitor wakes are a level, never a queued edge (silent turn end after task_await)#4071
ethanndickson wants to merge 28 commits into
mainfrom
agent-turns-4r9r

Commits on Sep 3, 2026

fix: bash-monitor wakes are a level, never a queued edge

fix: keep wake continuations visible through PREPARING; retire handed-off wakes on clear/dispose

fix: retire a handed-off wake when its monitor is canceled; revalidate before send

Codex round 2: queue-head arbitration, never-queue wake send, wake-cut latch

Codex round 3: shown-frontier invalidation, post-await queue recheck, wake cut as cutter stage, probe try/catch

Codex round 4: freeze isCurrent at acceptance, keep requireIdle across wake compaction follow-up, gate background waits on effective yield flag

Commits on Sep 4, 2026

Codex round 5: transitions own their consequences (GVw_/GVxB/GVxG)

Merge remote-tracking branch 'origin/main' into agent-turns-4r9r

Codex round 6: cutter-gated wake deferral, wake goal-sync retry, settle-before-erase

Codex round 7: keep wake identity through on-send compaction

Redesign bash-monitor wake continuation as a session debt + reconciler lease

Merge remote-tracking branch 'origin/main' into agent-turns-4r9r

test: fix main-inherited failures surfaced by the merge

Settle the wake debt at acceptance; retry failed voids; spare records with another continuation

Dispatch bash-monitor wakes under the owner's workspace event lock

A correlated continuation assumes the wake debt until its stream starts; re-check pending continuations after the record read

Never await the void hook from compaction completion; unref the void retry timer; let a retried void re-enter the terminal settlement branch

Round 13: revalidate a void at the settlement commit point (abandonIf); recover a committed lease from the durable wake row after restart; carry the assumed correlation through compaction retries; …

Round 14: roll back the on-send compaction row when a send is refused at the admission gates; publish the wake level to transient startup-recovery sessions; resume disposable cleanup from the termi…

Round 15: recover delivered wake records through an on-send compaction row (getCarriedBashMonitorWake shared with carriesBashMonitorWake)

Round 16: resolve the queue-cut cutter and the other sync session predicates through the live session (transient recovery included); a failed wake-row read fails the reconcile instead of counting a…

Resolve idle waits through the live session so a wake deferred on a busy startup-recovery session does not spin

Consume a refused wake's lease when its on-send compaction row cannot be rolled back

Consume a refused wake only when its compaction row verifiably remains, and arm the in-session resume when it does

Scan history backward without a depth cap when recovering the last delivered wake row

Bound the delivered-wake-row scan at the oldest outstanding monitor's arm time and skip rows without usable identities

fix: skip RLM preserved-tail copies in the wake acknowledgment scan

fix: withdraw stale wake offers and void follow-ups only after a durable erase