phase9: ledger — primitive-init family exclusion, B's 0-for-3 numbers

This commit is contained in:
Christopher Williams
2026-09-24 02:33:59 -04:00
parent 7a0a8b7cb5
commit 4620187199
+13
View File
@@ -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.