From 71d079cbb665f333f508c918ae54f34d934a4131 Mon Sep 17 00:00:00 2001 From: Christopher Williams Date: Thu, 24 Sep 2026 02:11:26 -0400 Subject: [PATCH] =?UTF-8?q?phase9:=20ledger=20=E2=80=94=20dependent-claim?= =?UTF-8?q?=20rule,=20C's=20gp-arithmetic=20fix?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- phase-ends/CURRENT_PHASE.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index 7a258b0..3e452e6 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -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.