From 6fcb1c888e830cbab425769038bc5df7d568a5e0 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 19 May 2026 22:25:50 +0000 Subject: [PATCH 1/2] Fresh Dissolution closeout: refresh slug-only tags after #3289/#3277 Re-run refresh_v4_dissolution_tag_authority on cpp.dag and dag.dag so post-#3409 merges drop stale DECISIONS.md pointers. Fix the refresh script to preserve CP-1b parenthetical anchors when stripping ledger prefixes. Co-authored-by: Cursor --- scripts/refresh_v4_dissolution_tag_authority.py | 6 ++++++ src/v4/extdeps/languages/cpp.dag | 8 ++++---- src/v4/extdeps/languages/dag.dag | 6 +++--- 3 files changed, 13 insertions(+), 7 deletions(-) diff --git a/scripts/refresh_v4_dissolution_tag_authority.py b/scripts/refresh_v4_dissolution_tag_authority.py index 0c1eb3ac862..303f76d20ee 100644 --- a/scripts/refresh_v4_dissolution_tag_authority.py +++ b/scripts/refresh_v4_dissolution_tag_authority.py @@ -160,6 +160,12 @@ def refresh_gated_and_predicate_lines(text: str) -> str: line = gm.group(1) + body if "dissolution-inventory.md" in line or "DECISIONS.md" in line: line = line.replace("docs/audit/dissolution-inventory.md §1.0 R1 (PR #3284); ", "") + # Preserve slug + parenthetical when only the ledger prefix is stale (e.g. CP-1b anchors). + line = re.sub( + r"DECISIONS\.md (§[^;]+;\s*)", + r"\1", + line, + ) line = re.sub(r"DECISIONS\.md §[^;]+;\s*", "", line) line = re.sub(r"DECISIONS\.md/§\S+", "modeling-discipline.md", line) line = re.sub(r"DECISIONS\.md Part 6 · ", "", line) diff --git a/src/v4/extdeps/languages/cpp.dag b/src/v4/extdeps/languages/cpp.dag index 08b3db2051d..d1516bd6a2a 100644 --- a/src/v4/extdeps/languages/cpp.dag +++ b/src/v4/extdeps/languages/cpp.dag @@ -12,7 +12,7 @@ import v4.std.algebra { BooleanAlgebra } import v4.extdeps.cpp_abi { CppTargetProfile } // 🟢 pretty-much-done — closed signed integer spelling family; testcase: test/claim/manual/cpp_scalar_grounding_anchor.dag. -// 🟢 coproduct dissolution — DECISIONS.md T29-CPP-SCALAR-FORWARD. +// 🟢 coproduct dissolution · T29-CPP-SCALAR-FORWARD. type CppSignedIntegerSurfaceSpelling = SignedChar | ShortInt @@ -21,7 +21,7 @@ type CppSignedIntegerSurfaceSpelling | LongLongInt // 🟢 pretty-much-done — closed unsigned integer spelling family; testcase: test/claim/manual/cpp_scalar_grounding_anchor.dag. -// 🟢 coproduct dissolution — DECISIONS.md T29-CPP-SCALAR-FORWARD. +// 🟢 coproduct dissolution · T29-CPP-SCALAR-FORWARD. type CppUnsignedIntegerSurfaceSpelling = UnsignedChar | UnsignedShortInt @@ -36,7 +36,7 @@ type CppPlainCharSurfaceSpelling type CppWcharTSurfaceSpelling // 🟢 pretty-much-done — closed fixed unsigned code-unit spelling family; testcase: test/claim/manual/cpp_scalar_grounding_anchor.dag. -// 🟢 coproduct dissolution — DECISIONS.md T29-CPP-SCALAR-FORWARD. +// 🟢 coproduct dissolution · T29-CPP-SCALAR-FORWARD. type CppFixedUnsignedCodeUnitIntegerSurfaceSpelling = Char8T | Char16T @@ -78,7 +78,7 @@ type CppRepresentableResultRequired type CppUnsignedModuloArithmetic // 🟢 pretty-much-done — scalar fact-bundle arms prevent spelling/signedness/overflow cross-pairings; testcase: test/claim/manual/cpp_scalar_grounding_anchor.dag. -// 🟢 coproduct dissolution — DECISIONS.md T29-CPP-SCALAR-FORWARD. +// 🟢 coproduct dissolution · T29-CPP-SCALAR-FORWARD. type CppScalar = SignedIntegerScalar { width_selection: CppSignedIntegerWidthSelection, diff --git a/src/v4/extdeps/languages/dag.dag b/src/v4/extdeps/languages/dag.dag index 96ca0d25e1b..155acf1a2da 100644 --- a/src/v4/extdeps/languages/dag.dag +++ b/src/v4/extdeps/languages/dag.dag @@ -52,7 +52,7 @@ fn dag_language_model_surface_prelude_full() -> DagLanguageModel { } -// DECISIONS.md §CP-1b item 2 (compile-anchor empty prelude; same language_identity as prelude_full). +// CP-1b item 2 (compile-anchor empty prelude; same language_identity as prelude_full). fn dag_language_model_surface_empty_prelude() -> DagLanguageModel { DagLanguageModel { lex: dag_surface_empty_lex(), @@ -63,7 +63,7 @@ fn dag_language_model_surface_empty_prelude() -> DagLanguageModel { } -// DECISIONS.md §CP-1b (item 1). +// CP-1b (item 1). fn dag_language_model_surface_prelude_atoms() -> Set { Set { member: fn(sym) { @@ -76,7 +76,7 @@ fn dag_language_model_surface_prelude_atoms() -> Set { } -// 🟡 predicate dissolution — DECISIONS.md §CP-1b item 2. +// 🟡 predicate dissolution — §CP-1b item 2. fn dag_language_model_is_surface_empty_shape(lm: DagLanguageModel) -> Bool { match lm.lex { VoidLexRules => From 49c7f18c01551e97de5f7751c00d10945074a6fb Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Tue, 19 May 2026 23:40:26 +0000 Subject: [PATCH 2/2] ci: retrigger after bootstrap viability SIGTERM (exit 143) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit No code change; prior ci job lost v2→v4 compile to runner shutdown after module resolve. Local discipline checks remain green. Co-authored-by: Cursor