From b9c4d7780f87fdaa0a92200e31125f8bd10f6e4c Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 19 May 2026 02:25:47 +0000 Subject: [PATCH] =?UTF-8?q?v4=20T-4:=20SL-3309=20provenance=20pointer=20?= =?UTF-8?q?=E2=80=94=20name=20superseded=20PER-PRIMITIVE-A-VS-B=20row=20by?= =?UTF-8?q?=20ID?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Non-blocking ledger-traceability follow-up to merged #3344 (the #3309 reading-(2) forward-port). Adds a one-clause **Supersedes:** pointer to the SL-3309-PYTHON-SCALAR-RESEED row naming the dropped prior held-provisional SL-3309-PYTHON-PER-PRIMITIVE-A-VS-B row by ID, closed by operator A-vs-B ruling (2) + #3338 py_bool_grounding. By-ID only — no stale PyBool=Bool / open-gate text reintroduced (carrying that verbatim would itself be the stale closed-gate finding the dissolution removes). DECISIONS.md-only; no .dag change. --- src/v4/DECISIONS.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/v4/DECISIONS.md b/src/v4/DECISIONS.md index 3f3595f7496..caafeea58bc 100644 --- a/src/v4/DECISIONS.md +++ b/src/v4/DECISIONS.md @@ -1679,6 +1679,8 @@ Verbatim `//` lines from merge-base `float.dag` (lines **104–144** — modelin **Ratchet authority:** this `###` row is the post-reseed Practice-4 authority for the live `PythonScalar` coproduct. `PythonSingletonKind` is unchanged from merge-base and retains `CP-3229-GREEN-TERMINAL`. +**Supersedes:** the prior held-provisional `SL-3309-PYTHON-PER-PRIMITIVE-A-VS-B` row, closed by operator A-vs-B ruling **(2)** + `#3338` `py_bool_grounding`. It is **not carried forward**: its premise (an open A-vs-B gate) and its referent (a per-primitive bool alias that does not exist on post-`#3338` main) are both retired, so a verbatim carry would itself be a stale closed-gate ledger reference — the class of defect this dissolution removes. The resolved state is captured by this row plus the reconciled `python.dag` / singletons bullet. + **PR receipt:** gunbc `#3309` forward-port (fresh PR onto post-`#3338` main). ### SL-3229-T4-FORMAT-T6T7 — T-4.6 format parse/emit bodies (compiler pipeline P3)