fix(agent): close two run-teardown races in ReusableReadableStream and async drain - #126

Open

abhinav-pola wants to merge 3 commits into

mainfrom

devin/1790127772-tla-race-fixes

Commits on Sep 23, 2026

fix(agent): close two teardown races found by TLA+ model checking
abhinav-pola
committed
e0ce98c
fix(agent): cancel an unstarted source in ReusableReadableStream.cancel()
abhinav-pola
committed
1062ab0

Commits on Sep 24, 2026

chore: drop TLA+ specs from the PR, keep the fixes and unit tests
abhinav-pola
committed
7c2660b