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

docs(framing): record revision 12 approval 

Revision 12 is approved at 1fc0df6 after closing the controlled-arm
provenance, total-helper-ABI, and standing-ledger blockers. Record that
R-b plus R-d implementation may proceed under the replacement A1-A7
contract.
This commit is contained in:
Levi Neuwirth 2026-08-19 15:26:50 +02:00
parent 1fc0df6a8e
commit 7752bcbf7a
No known key found for this signature in database
2 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
docs/active-work.md
View File

@ -279,11 +279,12 @@ from #171 and #215.
**`72da24a`**, worktree
`/home/jeans/Repos/personal/pmacs-probe-sigint`. Recover with
`git fetch githubsucks && git checkout gpu-probe-sigint-teardown`.
- **No PR. Framing revision 10 at `docs/gpu-probe-sigint-framing.md`,
APPROVED 2026-08-19 at `4fba9f6`** — revision 9 was approved at
`15c25ec`, but did **not** cover retiring D0b. Revision 10 does, with
the A3 contingency preserved. **D1/D2 HAVE RUN and found the
mechanism: `SIGINT` was ignored group-wide (`SigIgn=0x1007`) because
- **No PR. Framing revision 12 at `docs/gpu-probe-sigint-framing.md`,
APPROVED 2026-08-19 at `1fc0df6`** — revision 10 was approved at
`4fba9f6` and revision 9 at `15c25ec`; neither approval covered the
later mechanism finding and remedy selection. **D1/D2 HAVE RUN and
found the mechanism: `SIGINT` was ignored group-wide
(`SigIgn=0x1007`) because
the test runner was launched in the background — `SIG_IGN` is
inherited across `fork` and survives `exec`, so it reached the
launcher and probe, and `kill(-pgid, SIGINT)` was a no-op.**
@ -298,8 +299,8 @@ from #171 and #215.
never executed**, so no claim is made that a real session behaves
correctly, only that no evidence of a user-facing defect survives.
**A3/D0b are SATISFIED by that explanation** — D0b is not owed and
will not run. Framing **revision 12 AWAITING APPROVAL**, and it
**selects the remedy**: R-b + R-d via one checked-in helper,
will not run. The approved revision 12 **selects the remedy**: R-b +
R-d via one checked-in helper,
`scripts/check-sigint-deliverable`. Its preserved-status inner probe
maps to one complete ABI: helper exit **0** = `safe`, **1** =
`ignored`, **2** = probe `error`; the helper owns the two failure

5
docs/gpu-probe-sigint-framing.md
View File

@ -1,7 +1,8 @@
# GPU launcher / probe SIGINT teardown — framing
Revision 12. Status: **MECHANISM FOUND (§4c), REMEDY SELECTED (§7c).
Awaiting approval.**
Revision 12. Status: **APPROVED 2026-08-19 at `1fc0df6`.
MECHANISM FOUND (§4c), REMEDY SELECTED (§7c); implementation may
proceed under §8's A1–A7 contract.**
Revision 10 was approved 2026-08-19 at `4fba9f6`, authorising
diagnostic-only D1/D2. They ran, and found the mechanism on the first