christopher/Syphon_Filter_3
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

phase9: ledger — dependent-claim rule, C's gp-arithmetic fix

Browse Source
This commit is contained in:
Christopher Williams
2026-09-24 02:11:26 -04:00
parent befe45bfb7
commit 71d079cbb6
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
phase-ends/CURRENT_PHASE.md
+10
View File
@@ -531,3 +531,13 @@ makes the team structure work.
candidate vs registry, verified per-row, dropped, re-gated green. This is
the merge-to-candidate safety working as designed.
- Registry: 372 / 363. All gates green; SHA-1 stable; 229 tests.
## Cycle 4 (continued) — 364 bodies
- Worker C's 0x8002E3FC was a DEPENDENT-symbol issue, not a source bug:
g_80121BFA wasn't tracked, so the source resolved absolutely (+8 bytes).
Symbol added first → 80 bytes MATCH. Adopted rule: claims referencing
untracked symbols are reported DEPENDENT (symbol merged before claim).
- C's process error #2: gp arithmetic (sixth slip) → python3 -c computation
rule. Triplet family matched from one template (mode constants 3/10/14).
- Registry: 373 / 364. All gates green; SHA-1 stable.