diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index 2a5cd21..c55d4bb 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -1,30 +1,21 @@ # CURRENT_PHASE — Phase 12: Overturning the Named Negatives -**Status:** **Phase 12 PAUSED — worker lanes stopped 2026-09-25.** Phase 11 closed 2026-09-24 at 602 bodies / 611 regions. +**Status:** **Phase 12 ACTIVE — solo continuation.** Worker lanes remain stopped; no orchestration is active. **Plan:** `phase-ends/Phase12_PLAN.md` — **APPROVED** by the developer 2026-09-24. **Ledger:** `phase-ends/logs/Phase12.md` (the running record; staging under `.run/p12/`). -## STATE — WORKER SHUTDOWN CHECKPOINT, 2026-09-25 (current) +## STATE — SOLO CHECKPOINT (current) -**745 bodies / 754 regions**, from 685 / 694 at the last session stop — **+60 bodies / +60 regions**. -The Phase 12 milestone remains 750 bodies, so **+5 remains**. The promoted whole-binary gate is green: -`c_regions=754`, `differing_bytes=0`, SHA-1 -`e173426c157384ebf1b6caf8c6fea18a85a14af9`; 348 synthetic tests pass and extents report -`regions=754 disagreements=0 result=AGREE`. +**747 bodies / 756 regions**, from 745 / 754 at the worker-shutdown checkpoint. The Phase 12 milestone +remains 750 bodies, so **3 remain**. Sequentially matched after the shutdown: +`0x80058BA0..0x80058C10` (112 B) and `0x80027744..0x800277AC` (104 B), both exact extents. -The requested second batch of 20 is complete. Twenty additional bodies are now matched: -`0x800BC9C4`, `0x800BC8C4`, `0x8006BB0C`, `0x8002D17C`, `0x801029A0`, `0x80055958`, -`0x80023A4C`, `0x8006BA3C`, `0x80086DBC`, `0x8007759C`, `0x800B6CB4`, `0x80029E88`, -`0x800AC648`, `0x8006F6F4`, `0x80066DA0`, `0x800475CC`, `0x800580E4`, `0x80046198`, -`0x80017AF8`, and `0x800B62C8`. Worklist regeneration is now 958 rows; -`excluded_already_registered=722` continues the already-characterised two-row registry lag and is -not a correctness issue because the 724-region gate proves the registry simultaneously. - -Final clean verification (2026-09-25): `make clean && make all`, `make worklist`, -`make extents-verify`, and `make check` all exited 0. Both clean assembly and code rebuilds -matched the USA executable byte-for-byte; each is 1,886,208 bytes with SHA-1 -`e173426c157384ebf1b6caf8c6fea18a85a14af9`. The final worklist is 949 rows and the extents -check reports `regions=754 disagreements=0 result=AGREE`. +Both functions range-match at zero differing bytes and each was accepted by `sf3_merge` then passed its +own candidate whole-binary gate. The latest candidate reports `c_regions=756`, zero differing bytes, +and SHA-1 `e173426c157384ebf1b6caf8c6fea18a85a14af9`. The prior promoted 755-region state passed +`make check` with 348 synthetic tests and extents `regions=755 disagreements=0 result=AGREE`. +A final clean verification for the 756-region state is still required at the milestone/phase-close gate; +it has not been claimed early. ## STOPPED CHECKPOINT — 2026-09-25 diff --git a/phase-ends/logs/Phase12.md b/phase-ends/logs/Phase12.md index f62b0c8..7f44395 100644 --- a/phase-ends/logs/Phase12.md +++ b/phase-ends/logs/Phase12.md @@ -2666,3 +2666,28 @@ not falsely closed: a future resume must read this checkpoint, re-check registry `differing_bytes=0`, SHA-1 `e173426c157384ebf1b6caf8c6fea18a85a14af9`. **Current count: 746 distinct bodies / 755 regions; 4 bodies remain to the milestone.** + +## SOLO CONTINUATION — `0x80027744` MATCH + +* Exact Ghidra/static extent: `0x80027744..0x800277AC`, 104 bytes, grade `exact`, term `jr_ra`. + The source retains only a provisional record/table layout. +* The Phase 10 staging source was exact-length but differed in the scaled-index register throughout + the successful arm. Binding `idx` to `$3` puts `a1 * 4` in the target branch delay slot and frees + `$2` for the computed table base; the range then reported 104 bytes and zero differences. +* `sf3_merge` accepted the sole claim into a 756-region candidate registry. Its whole-binary gate + passed with `c_regions=756`, zero differing bytes, and both SHA-1 values + `e173426c157384ebf1b6caf8c6fea18a85a14af9`. The range source and registry were committed as + `1971af7`. + +**Current count: 747 distinct bodies / 756 regions; 3 bodies remain to the milestone.** + +### Bounded solo negatives + +* `0x80103024` (108 B): an exact-size overlap-copy skeleton retained a backward-loop strength-reduction + mismatch after distinct pointer, integer-address, and volatile source forms. +* `0x800276D4` (112 B): the initial validation skeleton was recovered, but the early-return result + register and the target's scratch-register use were mutually exclusive under the tested C forms. +* `0x800263E8` (120 B): three liveness/scope forms could not jointly reproduce the initial + null-return delay slot and the post-guard constant setup (112/124/128 B candidates). +* `0x80050674` remains deliberately unregistered: its known exact-length one-byte `addu` register-field + tie was independently reproduced by prior workers, with no untried source lever recorded.