From 4620187199ded80adad487d31db50b2e6da4dc83 Mon Sep 17 00:00:00 2001 From: Christopher Williams Date: Thu, 24 Sep 2026 02:33:59 -0400 Subject: [PATCH] =?UTF-8?q?phase9:=20ledger=20=E2=80=94=20primitive-init?= =?UTF-8?q?=20family=20exclusion,=20B's=200-for-3=20numbers?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- phase-ends/CURRENT_PHASE.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index bac5e8c..7dfd754 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -632,3 +632,16 @@ makes the team structure work. - B's 0x800B5CB4 attempt (64 vs 68, duplicate store absent with the compound `g = --g` form) confirms C's registered spelling must use a construct that stores twice (the F11 volatile lever). + +## Cycle 4 — primitive-init family exclusion (family conclusion) + +- Worker B's 0-for-3 batch produced the exclusion conclusion: 0x80012CFC + (54 bytes, worst residual of the cycle) is the FOURTH failure against TWO + successes in the primitive-init family, confirming C's scheduler-bound + diagnosis. 0x80012CFC/0x80012B20 added to the Makefile exclusions + (excluded_named_exclusion=8) joining 0x80012A10/0x80012AE0. Toolchain + limit, not a source problem — no further attempts on the family. +- Recorded: sltiu signedness tell (3rd confirmation), single-exit-tail + lever for extra-j, prune-rule-working-as-designed (0x8006F95C gp rows + pruned because unclaimed). +- Registry: 391 / 382. All gates green; SHA-1 stable.