Commit 17c97e0
committed
Re-ground every stale interaction-manifest premise against the current main
A per-item sweep of all 166 deferral premises and 54 untracked divergences
found 42 no longer true at this pin (21 false, 21 narrowed), several of them
false since before the branch was cut. Rewrite each to what actually holds:
the subscriptions/listen client driver, client-side cancellation over the
2026 transports, stdio serving 2026 with the era chosen from the opening
request, the widened resolver capability gate, and the response-cache
list_changed eviction all landed, so their "missing" premises become
flip-candidates with true reasons; the stdio dual-era text is rewritten a
fourth time against the settled loop. Reconcile the entries main now covers
itself: delete the two split cancel deferrals superseded by main's bound
stream-frame and cancel-closes-stream pins, drop client:listen:signal-only
in favour of main's tested iteration entry, drop the sdk-sourced
list-changed capability-gated position the client does not hold, and let
the branch's spec-anchored graceful-close entry win its true duplicate on
main by re-binding main's existing test to it. Drop the two divergences
whose gap does not exist (Annotations last_modified round-trips; the read
timeout is an enforced maximum) and the four false arm-exclusion notes on
the cancel family. Fix the six test docstrings that repeated the retired
claims. 617 entries, 60 divergences, 160 deferrals.
No-Verification-Needed: test-only change1 parent fe65003 commit 17c97e0
5 files changed
Lines changed: 293 additions & 344 deletions
File tree
- tests/interaction
- lowlevel
0 commit comments