From 6882ec5e96bec3c39c6212206c734e6cd20bfcd6 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Fri, 14 Aug 2026 13:20:14 +0200 Subject: [PATCH] docs(framing): mark Stage 1 revision 18 approved Records the ruling. SS2a is the 1b ground truth and its contents are settled: Q#S1-11 (B), the five-clause lifetime contract with L1-L8, B1's six-target enumeration with R1-R5, and B3's exact saturated bound. Also records what the six rounds cost, because the pattern is the point: 13 through 18 each found a witness that would have PASSED against a broken implementation --- emission-only panel rows against a receiver that discards, a GPU preservation row driven by a paint that never calls the follow, lifetime rows whose setup left held and released authority indistinguishable, mutation dependents predicted rather than derived, and a residual-identity story that stopped at the surfaces which get destroyed and missed the two that outlive the buffer. None was a design disagreement; the rulings from 14 and 15 survived untouched. That is why the R- and L-rows specify their DRIVERS and SETUPS and not only their assertions. The framing no longer gates this lane. The panel-replay prerequisite does: it merges first, 1b rebases onto that merge commit, and 1b's base moves off `72da24a`. Gates: all nine green under `env -u TMPDIR`, log 20260814T111537Z. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai --- docs/gui-stage1-input-framing.md | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) diff --git a/docs/gui-stage1-input-framing.md b/docs/gui-stage1-input-framing.md index fa63dba..d8e31c7 100644 --- a/docs/gui-stage1-input-framing.md +++ b/docs/gui-stage1-input-framing.md @@ -1,7 +1,10 @@ # GUI arc, Stage 1 — input foundation (framing) -**Status: revision 18 — AWAITING APPROVAL.** Revision 18 answers review -of 17: +**Status: revision 18 — APPROVED (2026-08-14).** §2a is the 1b ground +truth and its rulings are settled: **Q#S1-11 (B)**, the five-clause +lifetime contract with witnesses L1–L8, B1's six-target enumeration +with discriminators **R1–R5**, and B3's exact saturated bound. Revision +18 answers review of 17: - **Identity has a second half that R2/R3 cannot reach.** A panel or terminal residual is keyed to a surface that *goes away*; the @@ -20,6 +23,18 @@ of 17: sequentially" is narrowed to the observed cargo 1.95.0 sweep** rather than asserted universally. The concurrency conclusion is unaffected. +**§2a took six review rounds (13–18), and each one found a witness that +would have passed against a broken implementation.** Emission-only +panel rows against a receiver that discards; a GPU preservation row +driven by a paint that never calls the follow; lifetime rows whose +setup left held and released authority indistinguishable; mutation +dependents predicted rather than derived; and a residual-identity story +that stopped at the surfaces which get destroyed, missing the two that +outlive the buffer. **None was a design disagreement** — the rulings +survived from 14 and 15 untouched. That is the failure mode §6 names, +arriving once per round, and it is why the R- and L-rows specify their +*drivers* and *setups* rather than only their assertions. + **Previously, revision 17 — SUPERSEDED.** Two additions and one correction: