From b8c51b75ed958002d012fadcff910054322597b5 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Fri, 28 Aug 2026 10:39:28 +0200 Subject: [PATCH] docs(panel): drop the obsolete "Q5 is owed" block The block said Q5 was unwitnessed, acceptance-suite shaped, and owed. It sat immediately above the row that witnesses and closes Q5 through the extracted seam, so the source carried two rulings and the stale one first. Written when the gap was real and left behind when it was filled. Q5's own doc still records that it was owed through tasks 18 and 19, which is history rather than a standing claim. Swept for siblings: the remaining "owed" mentions all describe a release the gesture record owes a child, and the two "unwitnessed" mentions both say a PAST round was wrong to claim it. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai --- src/daemon.rs | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/src/daemon.rs b/src/daemon.rs index 5ad56f5..4394d99 100644 --- a/src/daemon.rs +++ b/src/daemon.rs @@ -8743,23 +8743,6 @@ mod tests { ); } - // Q5 IS NOT WITNESSED HERE, and this is why. - // - // The third drain sits in the daemon's per-frontend frame loop, - // between `sem.render_frame(editor)` returning and the loop that - // writes what it returned. These rows drive `render_frame` - // directly, so they never enter that loop and cannot observe the - // seam; the two drains they DO reach — before a panel-pointer - // effect, and before detach teardown — are witnessed by Q1-Q4. - // - // The seam is still load-bearing: a cancellation raised inside - // projection with no following panel event and no detach would - // otherwise let the successor frame reach the frontend ahead of the - // release its own new mapping required. Witnessing it needs a row - // that drives the real frame loop, which is acceptance-suite shaped - // rather than unit shaped. Recorded as OWED rather than assumed - // covered by its neighbours. - /// Q5 — a release raised by PROJECTION is paid before the frame /// that raised it can be written. ///