phase9: ledger — cycle 2 totals, P9-T5 gap-measurement verification, partition-B absorption

2026-09-24 00:24:06 -04:00
parent e51ec91514
commit 6e8c3df7a7
1 changed files with 25 additions and 0 deletions
@@ -125,3 +125,28 @@ excluded_no_extent=0             excluded_trapping_arith=50
  cwd; intercom reuses rather than spawns). Per the plan's designed fallback,
  **the coordinator absorbs worker B's partition** (`.run/p9/worklist-b.tsv`).
 - B's 13 promoted claims stand; B remains available for the P9-T5 review.
+
+## Cycle 2 progress (committed `e7603dc`, `e51ec91`)
+
+| Cycle | New bodies | Total bodies | New regions | Total regions | Result |
+|---|---|---|---|---|---|
+| 2 (so far) | +31 | **237** | +31 | **246** | two green merges; commit `e7603dc` |
+
+- Worker A drove the tier-2 volume (29 regions: framed wrappers, jalr-indirects,
+  arg-swap wrappers, statement-order-side-effect fix). New levers recorded:
+  lui/lw symbol-address arithmetic (carry-adjusted `%hi`, finding-2 trap), and
+  named-local ordering around a side-effect store (worker-B lever family).
+- Worker C closed two negatives-index retries (0x80036AD8 commutative class,
+  0x800B5CB4 deferred family using its staged gp symbols).
+- Worklist regenerated with the 0x80012A10-family exclusion (C recommendation):
+  1,666 eligible; partitions re-proved disjoint; workers told to re-read files.
+- Worker B rotated out (budget, honest 0-for-5): 13 promoted claims, clean
+  handoff, 18-entry report.tsv, four named cheap closes, one P9-T5 lead.
+- **P9-T5 lead verified**: trapping `add`/`sub` (funct 0x20/0x22) exist in
+  UN-EXTENTED payload gaps — coordinator scan: 661 words inside extents vs
+  **275 words in gaps** (first hit `0x8001EB40`..`0x8001EB48`, the exact words B
+  reported; `0x8001EAFC` delay-slot false start sits just before the gap). The
+  finding-26 census is confirmed under-measured: it only counts extents. The
+  gap population (incl. `0x8001EB40` site) is a bounded P9-T5 target.
+- Rotation fallback: no replacement session available (intercom pane surface
+  needs an empty cwd); **the coordinator absorbs partition B**.