feat(preemption): bound the preempt drain and diagnose a coroutine that never cooperates - #30

Merged

lisachenko merged 5 commits into

mainfrom

claude/issue-18-bounded-drain

Aug 16, 2026

Commits on Aug 16, 2026

spikes: measure which endings avoid destroying an undrainable fiber

lisachenko
and
claude
committed
f58e21c
feat(preemption): bound the drain and name the coroutine that will not cooperate

lisachenko
and
claude
committed
ad65f86
test(tests): cover the bounded drain from a supervised child process

lisachenko
and
claude
committed
1cd50d0
docs: state that the drain is bounded and how the run then ends

lisachenko
and
claude
committed
4f52156
Merge branch 'main' into claude/issue-18-bounded-drain
lisachenko
committed
29aafdf