phase9: ledger — cycle 2 closed, full audit green, collision policy recorded

This commit is contained in:
Christopher Williams
2026-09-24 00:26:58 -04:00
parent e317c8ed5a
commit 08a261d29e
+27
View File
@@ -150,3 +150,30 @@ excluded_no_extent=0 excluded_trapping_arith=50
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**.
## Cycle 2 closed (commit `e317c8e`) — full audit passed
| Cycle | New bodies | Total bodies | New regions | Total regions | Result |
|---|---|---|---|---|---|
| 2 (closed) | +102 | **251** | +102 | **260** | gate MATCH; **full audit green from clean** (CMP_OK, SHA-1, 223 tests, gate, extents) |
- P9-T3 checkpoint (≥81 new, 230 total) exceeded at 251 total. Full audit from
clean state: CMP_OK, both SHA-1 `e173426c157384ebf1b6caf8c6fea18a85a14af9`,
`make test` OK (223), `make gate` c_regions=260 MATCH, `make extents-verify`
AGREE. Firewall 0 tracked under prohibited roots.
- **Collision policy decided** (workers A and C both had rows move out from
under them when the 0x80012A10-family exclusion regenerated partitions):
verified work is claimable regardless of the regenerated partition boundary;
overlapping staging is deduped by the merge. Workers self-reported every
crossing; all accepted claims verified MATCH by the coordinator.
- Worker A: 41 regions this cycle (incl. o32 7-arg forwarder, GTE-forwarder
adjacent to registered 0x800F3160, byte-proven empty-frame 0x80036380
registered with honest limits). Worker C: 25 incl. closed negatives
(0x80036AD8 base-first via named pointer — closes finding-22's register-base
gap; 0x800B5CB4 duplicate-store via volatile).
- Accepted exclusions/records: 0x80010418 (if-conversion compiler class, C
recommendation), maspsx=off scope corrected (unsafe for bodies with `move`
pseudo-instructions: addu-vs-or expansion; pre-existing 7 rows safe by
construction as gate-green).
- Negatives index pending: worker C's 0x80010418/0x800101C7C, worker A's
0x800F4B54/0x80019700 — extract to config/near_match_negatives.tsv at P9-T8.