neuwirth
/
pmacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai
This commit is contained in:
Levi Neuwirth 2026-08-14 13:20:14 +02:00
parent fff1779677
commit 6882ec5e96
No known key found for this signature in database
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
docs/gui-stage1-input-framing.md
View File

@ -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: