docs: update PRD and progress for US-040

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
Nathan Flurry 2026-03-17 16:52:34 -07:00
parent cd9d71f736
commit 1bd7ef9219
2 changed files with 10 additions and 1 deletions

View file

@ -653,7 +653,7 @@
"Typecheck passes"
],
"priority": 40,
"passes": false,
"passes": true,
"notes": "with_cdp holds the state Mutex for the entire CDP round-trip (up to 30s). Background listener tasks block on the same lock. Currently unused (router uses get_cdp) but it's a public API that invites deadlock bugs."
},
{