Repository navigation

fix(server): runs no longer wedge after their provider session is released - #77

Merged

yordis merged 9 commits into

mainfrom

yordis/fix-wedged-run-after-session-release

Oct 3, 2026

Commits on Oct 3, 2026

fix(server): runs no longer wedge after their provider session is released
yordis
committed
5981000
fix(server): dead-session interrupts finalize in-flight work and mark the run interrupted
yordis
committed
354d5d1
fix(server): a failed overlapping turn start no longer idles a running turn
yordis
committed
4c6ed66
fix(server): dead-session interrupts reconcile like a lost provider process
yordis
committed
7d6d752
fix(server): dead-session interrupts no longer touch work they do not own
yordis
committed
337fb7d
fix(server): a failed overlapping turn start no longer pins the session busy
yordis
committed
c2141a6
fix(server): busy marking typechecks against the session map
yordis
committed
1c86144
Merge remote-tracking branch 'origin/main' into yordis/fix-wedged-run-after-session-release
yordis
committed
a26cf69
fix(server): busy tracking settles only the runs each event is about
yordis
committed
286eb4f