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) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai
This commit is contained in:
Levi Neuwirth 2026-08-28 10:39:28 +02:00
parent 642f2ddd00
commit b8c51b75ed
No known key found for this signature in database
1 changed files with 0 additions and 17 deletions

View File

@ -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 /// Q5 — a release raised by PROJECTION is paid before the frame
/// that raised it can be written. /// that raised it can be written.
/// ///