christopher/Syphon_Filter_3
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

phase12: record solo matching checkpoint

Browse Source
This commit is contained in:
Christopher Williams
2026-09-25 11:24:39 -04:00
parent 1971af7222
commit 050f167a12
2 changed files with 36 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files
phase-ends/CURRENT_PHASE.md
+11 -20
View File
@@ -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
phase-ends/logs/Phase12.md
+25
View File
@@ -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.