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

docs(framing): record revision 13 approval 

Revision 13 is approved at 5dece3e after closing the status-preserving
capture, guard-local cleanup, exact-byte grammar, stderr trust, complete
pair matrix and consumer-specific boundary blockers.

The replacement may now be implemented under the A1-A8 contract. PR
#241 remains unmergeable until that implementation is complete, gated,
and green on macOS.
This commit is contained in:
Levi Neuwirth 2026-08-19 20:52:25 +02:00
parent 5dece3e271
commit 2a6625ddb9
No known key found for this signature in database
2 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
docs/active-work.md
View File

@ -303,8 +303,9 @@ from #171 and #215.
without closing it, because an exec failure can return **any** without closing it, because an exec failure can return **any**
nonzero status. The generalisation: **no exit status can prove the nonzero status. The generalisation: **no exit status can prove the
helper ran.** helper ran.**
- **Framing revision 13 — AWAITING APPROVAL — replaces the ABI with a - **Framing revision 13 — APPROVED 2026-08-19 at `5dece3e` —
validated `(status, token)` pair**: `0`/`1`/`2` with replaces the ABI with a validated `(status, token)` pair**:
`0`/`1`/`2` with
`pmacs-sigint-v1:safe|ignored|error`, token alone on stdout, `pmacs-sigint-v1:safe|ignored|error`, token alone on stdout,
diagnostics on stderr, and any other pair — including macOS's diagnostics on stderr, and any other pair — including macOS's
status 1 with no token — a boundary error mapped to 2. Every status 1 with no token — a boundary error mapped to 2. Every
@ -362,8 +363,8 @@ from #171 and #215.
log, misread as this suite's.) log, misread as this suite's.)
- **Framing revision 12 at `docs/gpu-probe-sigint-framing.md`, - **Framing revision 12 at `docs/gpu-probe-sigint-framing.md`,
approved 2026-08-19 at `1fc0df6` and IMPLEMENTED; **superseded by approved 2026-08-19 at `1fc0df6` and IMPLEMENTED; **superseded by
revision 13, awaiting approval** — revision 10 was approved at revision 13, approved 2026-08-19 at `5dece3e`** — revision 10 was
`4fba9f6` and revision 9 at `15c25ec`; neither approval covered the approved at `4fba9f6` and revision 9 at `15c25ec`; neither approval covered the
later mechanism finding and remedy selection. **D1/D2 HAVE RUN and later mechanism finding and remedy selection. **D1/D2 HAVE RUN and
found the mechanism: `SIGINT` was ignored group-wide found the mechanism: `SIGINT` was ignored group-wide
(`SigIgn=0x1007`) because (`SigIgn=0x1007`) because

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

@ -1,8 +1,8 @@
# GPU launcher / probe SIGINT teardown — framing # GPU launcher / probe SIGINT teardown — framing
Revision 13. Status: **AWAITING APPROVAL — the shipped ABI is Revision 13. Status: **APPROVED 2026-08-19 at `5dece3e` — the shipped
defective on macOS (§4d), and revision 13 replaces it. No ABI is defective on macOS (§4d), and revision 13 replaces it.
implementation of the replacement.** Implementation may proceed under §8's A1–A8 contract.**
Revision 12 was approved at `1fc0df6` and implemented; CI then found its Revision 12 was approved at `1fc0df6` and implemented; CI then found its
status-only ABI unsound on a platform this session could not reach. status-only ABI unsound on a platform this session could not reach.