diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index 028f666..9bbe992 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -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.