mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-26 13:33:34 -04:00
Code Issues Packages Projects Releases Wiki Activity

chore(phase-30 S48): checkpoint — 317 banked (13,345 -> 13,028), R22 213/213

Browse Source 
Wave 3 added 84 (27 cracks + 21 propagated families). Fleet 94.8% instr /
89.2% distinct / 96.41% fn-count. R22 clean-fleet run 6x this session, 213/213
every time. 96 commits.

Bank rate measured three times: 67% -> 79% -> 69%. The dip is the cost curve
(wave 3's tier was 29 Opus-band / 14 jr vs wave 2's 8 / 5, median reach x6 ->
x3-4), not a regression.

Two levers proved out and belong in every future wave: the hardened harness
contract (0 drafts lost vs 21) and prior-notes seeding (7 of 9 previously
failed targets converted, incl. both long-standing NEARs and all three wave-2
gate misses). NEAR is a resumable state, not a write-off.
This commit is contained in:
Drew T
2026-08-11 23:04:08 -06:00
parent 5ea17c2f8e
commit 72932899d5
3 changed files with 135 additions and 113 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/family-hseq.md
+53 -53
View File
@@ -5,13 +5,13 @@
> Generated by `tools/family_hseq.py` from the 212 binary sigs + per-binary src stubs. Ranked by TEMPLATABLE byte-weight (PURE+IMM members × nins × 4). The byte-gate is the arbiter.
>
> **Scope (212 binaries): 141 location overlays + 70 md_* modules + the resident · MAIN IS EXCLUDED** · generated at HEAD `commit:1629` · stub set derived from `corpus.stubs` — the same oracle `progress.py` counts, so same-tree overlay totals agree by construction; compare digests only at the same HEAD.
> **Scope (212 binaries): 141 location overlays + 70 md_* modules + the resident · MAIN IS EXCLUDED** · generated at HEAD `commit:1652` · stub set derived from `corpus.stubs` — the same oracle `progress.py` counts, so same-tree overlay totals agree by construction; compare digests only at the same HEAD.
**Fleet (overlays):** 96.6% fn / 95.2% instr / 90.0% distinct-code matched. Unmatched: 12,168 instances / 645,428 ins (10,469 distinct classes).
**Fleet (overlays):** 96.7% fn / 95.3% instr / 90.3% distinct-code matched. Unmatched: 12,050 instances / 629,701 ins (10,360 distinct classes).
**Tail cross-check (Phase-25 close):** 7,830 tail fns / 401,675 ins → 479 h_seq families ≥2, **107 substantial (nins≥80) / 52,524 ins**.
**Tail cross-check (Phase-25 close):** 7,778 tail fns / 393,661 ins → 470 h_seq families ≥2, **99 substantial (nins≥80) / 45,277 ins**.
**Full frontier (all unmatched by h_seq):** 2133 target families (≥2 members or a matched sibling) + 4513 singletons (Step-D residue). Substantial: **349 families / 145,975 templatable ins**, 62 with a matched sibling (zero-crack). Substantial member classes: 995 PURE · 33 IMM · 6 STRUCT-excluded.
**Full frontier (all unmatched by h_seq):** 2117 target families (≥2 members or a matched sibling) + 4513 singletons (Step-D residue). Substantial: **336 families / 132,377 templatable ins**, 76 with a matched sibling (zero-crack). Substantial member classes: 908 PURE · 30 IMM · 6 STRUCT-excluded.
## Top substantial families (by templatable byte-weight)
@@ -19,52 +19,52 @@
| # | nins | members (P/I/S) | #addr/#ov | tag | class | matched | jr | exemplar | templ. ins |
|--:|--:|--|--|--|--|--:|:-:|--|--:|
| 1 | 246 | 16 (16/0/0) | 6/16 | cross-address | PURE | 0 | · | 0x8017c294 draft-ov077 | 3,936 |
| 2 | 551 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x80189540 modal | 2,755 |
| 3 | 611 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | · | 0x80186e24 matched | 2,444 |
| 4 | 770 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | · | 0x80144b9c matched-ov077 | 2,310 |
| 5 | 407 | 5 (5/0/0) | 5/5 | cross-address | PURE | 0 | Y | 0x8017c3bc modal | 2,035 |
| 6 | 557 | 3 (3/0/0) | 3/3 | cross-address | PURE | 2 | Y | 0x80189030 matched | 1,671 |
| 7 | 470 | 3 (3/0/0) | 3/3 | cross-address | PURE | 0 | Y | 0x80191320 modal | 1,410 |
| 8 | 279 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x8017f2d4 modal | 1,395 |
| 9 | 188 | 7 (7/0/0) | 1/7 | per-location | PURE | 134 | Y | 0x8016ab6c matched-ov077 | 1,316 |
| 10 | 187 | 7 (7/0/0) | 1/7 | per-location | PURE | 134 | · | 0x8013dd68 matched-ov077 | 1,309 |
| 11 | 326 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x8017d730 matched | 1,304 |
| 12 | 291 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x8017d2a4 matched | 1,164 |
| 13 | 385 | 3 (3/0/0) | 3/3 | cross-address | PURE | 0 | Y | 0x8018ff98 modal | 1,155 |
| 14 | 363 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | Y | 0x8015444c matched-ov077 | 1,089 |
| 15 | 102 | 10 (0/10/0) | 9/10 | scattered | IMM | 78 | · | 0x8017d290 matched | 1,020 |
| 16 | 329 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | Y | 0x8013c414 matched-ov077 | 987 |
| 17 | 324 | 3 (3/0/0) | 2/3 | cross-address | PURE | 0 | Y | 0x80183324 draft-ov077 | 972 |
| 18 | 312 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | · | 0x8013faf8 matched-ov077 | 936 |
| 19 | 187 | 5 (5/0/0) | 5/5 | cross-address | PURE | 0 | · | 0x8017df40 modal | 935 |
| 20 | 231 | 4 (4/0/0) | 4/4 | cross-address | PURE | 0 | Y | 0x8017f83c modal | 924 |
| 21 | 127 | 7 (7/0/0) | 1/7 | per-location | PURE | 134 | · | 0x80145cec matched-ov077 | 889 |
| 22 | 218 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x8017cf3c matched | 872 |
| 23 | 272 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | Y | 0x8013b83c matched-ov077 | 816 |
| 24 | 406 | 2 (2/0/0) | 2/2 | cross-address | PURE | 0 | Y | 0x80184938 modal | 812 |
| 25 | 266 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | · | 0x80130d48 matched-ov077 | 798 |
| 26 | 196 | 4 (4/0/0) | 4/4 | cross-address | PURE | 0 | Y | 0x8017ffd0 modal | 784 |
| 27 | 257 | 3 (3/0/0) | 3/3 | cross-address | PURE | 0 | · | 0x80192b60 modal | 771 |
| 28 | 255 | 3 (3/0/0) | 3/3 | cross-address | PURE | 0 | · | 0x8018e9bc modal | 765 |
| 29 | 254 | 3 (3/0/0) | 3/3 | cross-address | PURE | 0 | · | 0x80192768 modal | 762 |
| 30 | 251 | 3 (3/0/0) | 3/3 | cross-address | PURE | 3 | Y | 0x80180b04 matched | 753 |
| 31 | 181 | 4 (4/0/0) | 4/4 | cross-address | PURE | 0 | · | 0x8017d7c0 modal | 724 |
| 32 | 341 | 2 (2/0/0) | 1/2 | per-location | PURE | 0 | · | 0x80184bd8 modal | 682 |
| 33 | 134 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x8017eb44 modal | 670 |
| 34 | 166 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x80188b84 matched | 664 |
| 35 | 165 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x801818f0 matched | 660 |
| 36 | 108 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | Y | 0x8017eeec modal | 648 |
| 37 | 320 | 2 (2/0/0) | 1/2 | per-location | PURE | 0 | · | 0x80181b00 modal | 640 |
| 38 | 317 | 2 (2/0/0) | 2/1 | cross-address | PURE | 0 | · | 0x8017fdf8 modal | 634 |
| 39 | 211 | 3 (3/0/0) | 3/3 | cross-address | PURE | 0 | · | 0x8018e8a0 modal | 633 |
| 40 | 154 | 4 (4/0/0) | 4/4 | cross-address | PURE | 0 | Y | 0x801844c8 modal | 616 |
| 41 | 203 | 3 (0/3/0) | 2/3 | cross-address | IMM | 7 | · | 0x8017e804 matched | 609 |
| 42 | 304 | 2 (2/0/0) | 1/2 | per-location | PURE | 0 | · | 0x80185ef8 modal | 608 |
| 43 | 201 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | · | 0x8015d738 matched-ov077 | 603 |
| 44 | 201 | 3 (3/0/0) | 2/3 | cross-address | PURE | 0 | Y | 0x80181be4 draft-ov077 | 603 |
| 45 | 198 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | Y | 0x8013bd74 matched-ov077 | 594 |
| 46 | 99 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | · | 0x80187960 modal | 594 |
| 47 | 99 | 6 (6/0/0) | 6/4 | cross-address | PURE | 0 | · | 0x8018a974 modal | 594 |
| 48 | 148 | 4 (4/0/0) | 4/4 | cross-address | PURE | 0 | · | 0x80181a30 modal | 592 |
| 49 | 147 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x8017ed5c matched | 588 |
| 50 | 144 | 4 (4/0/0) | 3/4 | cross-address | PURE | 1 | · | 0x8018b238 matched | 576 |
| 2 | 611 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | · | 0x80186e24 matched | 2,444 |
| 3 | 770 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | · | 0x80144b9c matched-ov077 | 2,310 |
| 4 | 551 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x80189540 matched | 2,204 |
| 5 | 557 | 3 (3/0/0) | 3/3 | cross-address | PURE | 2 | Y | 0x80189030 matched | 1,671 |
| 6 | 407 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x8017c3bc matched | 1,628 |
| 7 | 279 | 5 (5/0/0) | 4/5 | cross-address | PURE | 0 | Y | 0x8017f2d4 modal | 1,395 |
| 8 | 188 | 7 (7/0/0) | 1/7 | per-location | PURE | 134 | Y | 0x8016ab6c matched-ov077 | 1,316 |
| 9 | 187 | 7 (7/0/0) | 1/7 | per-location | PURE | 134 | · | 0x8013dd68 matched-ov077 | 1,309 |
| 10 | 326 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x8017d730 matched | 1,304 |
| 11 | 291 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x8017d2a4 matched | 1,164 |
| 12 | 363 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | Y | 0x8015444c matched-ov077 | 1,089 |
| 13 | 102 | 10 (0/10/0) | 9/10 | scattered | IMM | 78 | · | 0x8017d290 matched | 1,020 |
| 14 | 329 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | Y | 0x8013c414 matched-ov077 | 987 |
| 15 | 470 | 2 (2/0/0) | 2/2 | cross-address | PURE | 1 | Y | 0x80191320 matched | 940 |
| 16 | 312 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | · | 0x8013faf8 matched-ov077 | 936 |
| 17 | 127 | 7 (7/0/0) | 1/7 | per-location | PURE | 134 | · | 0x80145cec matched-ov077 | 889 |
| 18 | 218 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x8017cf3c matched | 872 |
| 19 | 272 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | Y | 0x8013b83c matched-ov077 | 816 |
| 20 | 266 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | · | 0x80130d48 matched-ov077 | 798 |
| 21 | 196 | 4 (4/0/0) | 4/4 | cross-address | PURE | 0 | Y | 0x8017ffd0 modal | 784 |
| 22 | 385 | 2 (2/0/0) | 2/2 | cross-address | PURE | 1 | Y | 0x8018ff98 matched | 770 |
| 23 | 251 | 3 (3/0/0) | 3/3 | cross-address | PURE | 3 | Y | 0x80180b04 matched | 753 |
| 24 | 187 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | · | 0x8017df40 matched | 748 |
| 25 | 231 | 3 (3/0/0) | 3/3 | cross-address | PURE | 1 | Y | 0x8017f83c matched | 693 |
| 26 | 324 | 2 (2/0/0) | 1/2 | per-location | PURE | 1 | Y | 0x80183324 matched-ov077 | 648 |
| 27 | 108 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | Y | 0x8017eeec modal | 648 |
| 28 | 317 | 2 (2/0/0) | 2/1 | cross-address | PURE | 0 | · | 0x8017fdf8 modal | 634 |
| 29 | 211 | 3 (3/0/0) | 3/3 | cross-address | PURE | 0 | · | 0x8018e8a0 modal | 633 |
| 30 | 203 | 3 (0/3/0) | 2/3 | cross-address | IMM | 7 | · | 0x8017e804 matched | 609 |
| 31 | 201 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | · | 0x8015d738 matched-ov077 | 603 |
| 32 | 198 | 3 (3/0/0) | 1/3 | per-location | PURE | 138 | Y | 0x8013bd74 matched-ov077 | 594 |
| 33 | 99 | 6 (6/0/0) | 6/4 | cross-address | PURE | 0 | · | 0x8018a974 modal | 594 |
| 34 | 144 | 4 (4/0/0) | 3/4 | cross-address | PURE | 1 | · | 0x8018b238 matched | 576 |
| 35 | 94 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | · | 0x801874e4 modal | 564 |
| 36 | 110 | 5 (5/0/0) | 5/5 | cross-address | PURE | 1 | · | 0x80188b9c matched | 550 |
| 37 | 275 | 2 (2/0/0) | 2/1 | cross-address | PURE | 0 | · | 0x8017f9ac modal | 550 |
| 38 | 91 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | · | 0x80189e60 modal | 546 |
| 39 | 181 | 3 (3/0/0) | 3/3 | cross-address | PURE | 1 | · | 0x8017d7c0 matched | 543 |
| 40 | 134 | 4 (4/0/0) | 4/4 | cross-address | PURE | 1 | Y | 0x8017eb44 matched | 536 |
| 41 | 89 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | · | 0x80184944 modal | 534 |
| 42 | 133 | 4 (3/1/0) | 4/4 | cross-address | IMM | 0 | · | 0x8018cc9c modal | 532 |
| 43 | 265 | 2 (0/2/0) | 2/2 | cross-address | IMM | 5 | · | 0x80183e04 matched | 530 |
| 44 | 132 | 4 (4/0/0) | 4/4 | cross-address | PURE | 0 | · | 0x80183560 modal | 528 |
| 45 | 87 | 6 (6/0/0) | 5/6 | cross-address | PURE | 0 | · | 0x8018ab78 modal | 522 |
| 46 | 260 | 2 (2/0/0) | 1/2 | per-location | PURE | 0 | · | 0x80189340 modal | 520 |
| 47 | 257 | 2 (2/0/0) | 2/2 | cross-address | PURE | 1 | · | 0x80192b60 matched | 514 |
| 48 | 255 | 2 (2/0/0) | 1/2 | per-location | PURE | 0 | · | 0x80183d68 modal | 510 |
| 49 | 85 | 6 (6/0/0) | 6/6 | cross-address | PURE | 0 | · | 0x80186d80 modal | 510 |
| 50 | 255 | 2 (2/0/0) | 2/2 | cross-address | PURE | 1 | · | 0x8018e9bc matched | 510 |
docs/progress.fleet.md
+55 -55
View File
@@ -4,16 +4,16 @@
# cross-binary collapsible-byte leverage: docs/duplicates.cross.md.
# THREE progress metrics (all matter — see the labels):
FLEET fn-count byte-ident: 350260 / 363379 = 96.39% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 12808364 / 13523856 = 94.7% (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 5205051 / 5851963 = 88.9% (80540/90928 unique fns; the DISTINCT-RE number)
FLEET fn-count byte-ident: 350344 / 363379 = 96.41% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 12825387 / 13523856 = 94.8% (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 5220275 / 5851963 = 89.2% (80616/90928 unique fns; the DISTINCT-RE number)
MAIN game-code weighted : 436 / 79510 = 0.5% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-08-05; caveat is R34: no independent second oracle for a PS-X EXE, NOT drift)
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 12807928 / 13444346 = 95.3%)
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 12824951 / 13444346 = 95.4%)
FLEET REAL substantive : 348078 (of which dedup-shared 249221 via 1949 groups / 249295 instances)
FLEET REAL substantive : 348162 (of which dedup-shared 249221 via 1949 groups / 249295 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 13112
FLEET INCLUDE_ASM stubs : 13028
FLEET matchable : 363379
| binary | REAL | shared | LINKED | byte-ident | matchable | byte-ident % |
@@ -63,47 +63,47 @@ FLEET matchable : 363379
| md_SC03_073 | 20 | 0 | 0 | 22 | 28 | 78.6% |
| md_SC03_074 | 18 | 0 | 0 | 20 | 29 | 69.0% |
| md_SC03_075 | 21 | 0 | 0 | 23 | 41 | 56.1% |
| md_SC03_076 | 25 | 0 | 0 | 27 | 66 | 40.9% |
| md_SC03_076 | 26 | 0 | 0 | 28 | 66 | 42.4% |
| md_SC03_077 | 18 | 0 | 0 | 20 | 35 | 57.1% |
| md_SC03_078 | 17 | 0 | 0 | 19 | 27 | 70.4% |
| md_SC03_079 | 20 | 0 | 0 | 22 | 29 | 75.9% |
| md_SC03_132 | 21 | 0 | 0 | 23 | 28 | 82.1% |
| md_SC03_133 | 19 | 0 | 0 | 21 | 29 | 72.4% |
| md_SC03_134 | 22 | 0 | 0 | 24 | 41 | 58.5% |
| md_SC03_135 | 26 | 0 | 0 | 28 | 66 | 42.4% |
| md_SC03_135 | 27 | 0 | 0 | 29 | 66 | 43.9% |
| md_SC03_136 | 19 | 0 | 0 | 21 | 35 | 60.0% |
| md_SC03_137 | 18 | 0 | 0 | 20 | 27 | 74.1% |
| md_SC03_138 | 22 | 0 | 0 | 26 | 37 | 70.3% |
| md_SC04_024 | 21 | 0 | 0 | 23 | 28 | 82.1% |
| md_SC04_025 | 19 | 0 | 0 | 21 | 29 | 72.4% |
| md_SC04_026 | 22 | 0 | 0 | 24 | 41 | 58.5% |
| md_SC04_027 | 26 | 0 | 0 | 28 | 66 | 42.4% |
| md_SC04_027 | 27 | 0 | 0 | 29 | 66 | 43.9% |
| md_SC04_028 | 19 | 0 | 0 | 21 | 35 | 60.0% |
| md_SC04_029 | 18 | 0 | 0 | 20 | 27 | 74.1% |
| md_SC04_030 | 21 | 0 | 0 | 25 | 31 | 80.6% |
| md_SC05_023 | 21 | 0 | 0 | 23 | 28 | 82.1% |
| md_SC05_024 | 17 | 0 | 0 | 19 | 29 | 65.5% |
| md_SC05_025 | 20 | 0 | 0 | 22 | 41 | 53.7% |
| md_SC05_026 | 24 | 0 | 0 | 26 | 66 | 39.4% |
| md_SC05_026 | 25 | 0 | 0 | 27 | 66 | 40.9% |
| md_SC05_027 | 17 | 0 | 0 | 19 | 35 | 54.3% |
| md_SC05_028 | 16 | 0 | 0 | 18 | 27 | 66.7% |
| md_SC05_029 | 19 | 0 | 0 | 23 | 31 | 74.2% |
| md_SC07_003 | 17 | 0 | 0 | 17 | 100 | 17.0% |
| md_SC07_004 | 42 | 0 | 0 | 42 | 315 | 13.3% |
| ov_MAIN_012 | 2211 | 1658 | 0 | 2290 | 2403 | 95.3% |
| ov_MAIN_012 | 2214 | 1658 | 0 | 2293 | 2403 | 95.4% |
| ov_SC01_000 | 2390 | 1775 | 0 | 2390 | 2403 | 99.5% |
| ov_SC01_001 | 2398 | 1776 | 0 | 2400 | 2466 | 97.3% |
| ov_SC01_004 | 2398 | 1767 | 0 | 2399 | 2414 | 99.4% |
| ov_SC01_005 | 2430 | 1790 | 0 | 2430 | 2503 | 97.1% |
| ov_SC01_006 | 2430 | 1790 | 0 | 2430 | 2503 | 97.1% |
| ov_SC01_008 | 2398 | 1767 | 0 | 2400 | 2426 | 98.9% |
| ov_SC01_009 | 2425 | 1768 | 0 | 2426 | 2507 | 96.8% |
| ov_SC01_004 | 2399 | 1767 | 0 | 2400 | 2414 | 99.4% |
| ov_SC01_005 | 2432 | 1790 | 0 | 2432 | 2503 | 97.2% |
| ov_SC01_006 | 2432 | 1790 | 0 | 2432 | 2503 | 97.2% |
| ov_SC01_008 | 2399 | 1767 | 0 | 2401 | 2426 | 99.0% |
| ov_SC01_009 | 2426 | 1768 | 0 | 2427 | 2507 | 96.8% |
| ov_SC01_074 | 2397 | 1768 | 0 | 2399 | 2425 | 98.9% |
| ov_SC01_077 | 2562 | 1733 | 0 | 2564 | 2586 | 99.1% |
| ov_SC01_077 | 2564 | 1733 | 0 | 2566 | 2586 | 99.2% |
| ov_SC01_080 | 2426 | 1771 | 0 | 2426 | 2512 | 96.6% |
| ov_SC01_084 | 2450 | 1776 | 0 | 2455 | 2579 | 95.2% |
| ov_SC02_000 | 2524 | 1815 | 0 | 2524 | 2683 | 94.1% |
| ov_SC02_003 | 2524 | 1815 | 0 | 2524 | 2683 | 94.1% |
| ov_SC02_000 | 2526 | 1815 | 0 | 2526 | 2683 | 94.1% |
| ov_SC02_003 | 2525 | 1815 | 0 | 2525 | 2683 | 94.1% |
| ov_SC02_004 | 2391 | 1771 | 0 | 2391 | 2401 | 99.6% |
| ov_SC02_005 | 2541 | 1767 | 0 | 2551 | 2927 | 87.2% |
| ov_SC02_011 | 2631 | 1774 | 0 | 2642 | 2893 | 91.3% |
@@ -111,14 +111,14 @@ FLEET matchable : 363379
| ov_SC02_016 | 2484 | 1774 | 0 | 2487 | 2545 | 97.7% |
| ov_SC02_017 | 2553 | 1774 | 0 | 2561 | 2732 | 93.7% |
| ov_SC02_021 | 2406 | 1773 | 0 | 2406 | 2437 | 98.7% |
| ov_SC02_026 | 2507 | 1771 | 0 | 2513 | 2572 | 97.7% |
| ov_SC02_027 | 2561 | 1776 | 0 | 2570 | 2692 | 95.5% |
| ov_SC02_028 | 2566 | 1776 | 0 | 2576 | 2701 | 95.4% |
| ov_SC02_026 | 2509 | 1771 | 0 | 2515 | 2572 | 97.8% |
| ov_SC02_027 | 2562 | 1776 | 0 | 2571 | 2692 | 95.5% |
| ov_SC02_028 | 2567 | 1776 | 0 | 2577 | 2701 | 95.4% |
| ov_SC02_031 | 2495 | 1772 | 0 | 2500 | 2562 | 97.6% |
| ov_SC02_035 | 2493 | 1771 | 0 | 2496 | 2520 | 99.0% |
| ov_SC02_035 | 2494 | 1771 | 0 | 2497 | 2520 | 99.1% |
| ov_SC02_037 | 2325 | 1658 | 0 | 2407 | 2516 | 95.7% |
| ov_SC02_039 | 2396 | 1771 | 0 | 2396 | 2416 | 99.2% |
| ov_SC02_041 | 2477 | 1771 | 0 | 2480 | 2561 | 96.8% |
| ov_SC02_041 | 2479 | 1771 | 0 | 2482 | 2561 | 96.9% |
| ov_SC03_001 | 2676 | 1772 | 0 | 2693 | 2869 | 93.9% |
| ov_SC03_002 | 2546 | 1776 | 0 | 2561 | 2631 | 97.3% |
| ov_SC03_003 | 2400 | 1771 | 0 | 2401 | 2423 | 99.1% |
@@ -128,42 +128,42 @@ FLEET matchable : 363379
| ov_SC03_011 | 2418 | 1771 | 0 | 2424 | 2527 | 95.9% |
| ov_SC03_012 | 2390 | 1771 | 0 | 2391 | 2406 | 99.4% |
| ov_SC03_013 | 2423 | 1771 | 0 | 2423 | 2493 | 97.2% |
| ov_SC03_014 | 2578 | 1802 | 0 | 2578 | 2685 | 96.0% |
| ov_SC03_015 | 2576 | 1802 | 0 | 2576 | 2685 | 95.9% |
| ov_SC03_014 | 2580 | 1802 | 0 | 2580 | 2685 | 96.1% |
| ov_SC03_015 | 2578 | 1802 | 0 | 2578 | 2685 | 96.0% |
| ov_SC03_023 | 2402 | 1771 | 0 | 2403 | 2435 | 98.7% |
| ov_SC03_024 | 2523 | 1776 | 0 | 2530 | 2641 | 95.8% |
| ov_SC03_028 | 2464 | 1772 | 0 | 2468 | 2664 | 92.6% |
| ov_SC03_029 | 2501 | 1774 | 0 | 2511 | 2644 | 95.0% |
| ov_SC03_030 | 2420 | 1776 | 0 | 2422 | 2495 | 97.1% |
| ov_SC03_031 | 2448 | 1771 | 0 | 2451 | 2514 | 97.5% |
| ov_SC03_089 | 2516 | 1776 | 0 | 2523 | 2581 | 97.8% |
| ov_SC03_090 | 2532 | 1776 | 0 | 2540 | 2625 | 96.8% |
| ov_SC03_091 | 2546 | 1776 | 0 | 2554 | 2640 | 96.7% |
| ov_SC03_092 | 2510 | 1776 | 0 | 2522 | 2588 | 97.4% |
| ov_SC03_093 | 2521 | 1776 | 0 | 2525 | 2563 | 98.5% |
| ov_SC03_094 | 2511 | 1771 | 0 | 2517 | 2577 | 97.7% |
| ov_SC03_089 | 2517 | 1776 | 0 | 2524 | 2581 | 97.8% |
| ov_SC03_090 | 2534 | 1776 | 0 | 2542 | 2625 | 96.8% |
| ov_SC03_091 | 2548 | 1776 | 0 | 2556 | 2640 | 96.8% |
| ov_SC03_092 | 2511 | 1776 | 0 | 2523 | 2588 | 97.5% |
| ov_SC03_093 | 2522 | 1776 | 0 | 2526 | 2563 | 98.6% |
| ov_SC03_094 | 2513 | 1771 | 0 | 2519 | 2577 | 97.7% |
| ov_SC03_095 | 2436 | 1771 | 0 | 2439 | 2474 | 98.6% |
| ov_SC03_096 | 2433 | 1771 | 0 | 2436 | 2465 | 98.8% |
| ov_SC03_097 | 2532 | 1776 | 0 | 2539 | 2603 | 97.5% |
| ov_SC03_098 | 2514 | 1776 | 0 | 2517 | 2541 | 99.1% |
| ov_SC03_098 | 2515 | 1776 | 0 | 2518 | 2541 | 99.1% |
| ov_SC03_099 | 2489 | 1771 | 0 | 2492 | 2504 | 99.5% |
| ov_SC03_100 | 2524 | 1776 | 0 | 2528 | 2539 | 99.6% |
| ov_SC03_101 | 2486 | 1776 | 0 | 2490 | 2528 | 98.5% |
| ov_SC03_102 | 2473 | 1771 | 0 | 2476 | 2492 | 99.4% |
| ov_SC03_103 | 2497 | 1773 | 0 | 2500 | 2510 | 99.6% |
| ov_SC03_104 | 2545 | 1776 | 0 | 2552 | 2616 | 97.6% |
| ov_SC03_104 | 2546 | 1776 | 0 | 2553 | 2616 | 97.6% |
| ov_SC03_105 | 2451 | 1772 | 0 | 2458 | 2597 | 94.6% |
| ov_SC03_107 | 2253 | 1658 | 0 | 2336 | 2497 | 93.6% |
| ov_SC03_108 | 2401 | 1771 | 0 | 2401 | 2443 | 98.3% |
| ov_SC03_108 | 2402 | 1771 | 0 | 2402 | 2443 | 98.3% |
| ov_SC03_109 | 2409 | 1771 | 0 | 2411 | 2424 | 99.5% |
| ov_SC03_110 | 2442 | 1778 | 0 | 2442 | 2468 | 98.9% |
| ov_SC03_110 | 2443 | 1778 | 0 | 2443 | 2468 | 99.0% |
| ov_SC03_111 | 2475 | 1771 | 0 | 2478 | 2510 | 98.7% |
| ov_SC03_112 | 2441 | 1773 | 0 | 2443 | 2526 | 96.7% |
| ov_SC03_112 | 2442 | 1773 | 0 | 2444 | 2526 | 96.8% |
| ov_SC03_113 | 2438 | 1773 | 0 | 2441 | 2468 | 98.9% |
| ov_SC03_114 | 2391 | 1771 | 0 | 2393 | 2415 | 99.1% |
| ov_SC03_115 | 2433 | 1771 | 0 | 2435 | 2472 | 98.5% |
| ov_SC03_116 | 2402 | 1771 | 0 | 2405 | 2438 | 98.6% |
| ov_SC03_117 | 2471 | 1771 | 0 | 2477 | 2557 | 96.9% |
| ov_SC03_117 | 2472 | 1771 | 0 | 2478 | 2557 | 96.9% |
| ov_SC03_118 | 2548 | 1796 | 0 | 2549 | 2685 | 94.9% |
| ov_SC03_119 | 2546 | 1796 | 0 | 2547 | 2685 | 94.9% |
| ov_SC03_121 | 2404 | 1771 | 0 | 2407 | 2459 | 97.9% |
@@ -171,25 +171,25 @@ FLEET matchable : 363379
| ov_SC03_125 | 2531 | 1771 | 0 | 2543 | 2588 | 98.3% |
| ov_SC03_126 | 2401 | 1773 | 0 | 2401 | 2423 | 99.1% |
| ov_SC04_000 | 2475 | 1775 | 0 | 2484 | 2546 | 97.6% |
| ov_SC04_002 | 2505 | 1771 | 0 | 2509 | 2636 | 95.2% |
| ov_SC04_002 | 2507 | 1771 | 0 | 2511 | 2636 | 95.3% |
| ov_SC04_003 | 2440 | 1771 | 0 | 2444 | 2502 | 97.7% |
| ov_SC04_004 | 2471 | 1771 | 0 | 2473 | 2558 | 96.7% |
| ov_SC04_005 | 2501 | 1771 | 0 | 2507 | 2612 | 96.0% |
| ov_SC04_004 | 2472 | 1771 | 0 | 2474 | 2558 | 96.7% |
| ov_SC04_005 | 2502 | 1771 | 0 | 2508 | 2612 | 96.0% |
| ov_SC04_006 | 2431 | 1771 | 0 | 2433 | 2454 | 99.1% |
| ov_SC04_007 | 2495 | 1771 | 0 | 2499 | 2569 | 97.3% |
| ov_SC04_007 | 2496 | 1771 | 0 | 2500 | 2569 | 97.3% |
| ov_SC04_008 | 2401 | 1771 | 0 | 2401 | 2415 | 99.4% |
| ov_SC04_009 | 2428 | 1771 | 0 | 2431 | 2441 | 99.6% |
| ov_SC04_010 | 2403 | 1771 | 0 | 2404 | 2419 | 99.4% |
| ov_SC04_011 | 2517 | 1776 | 0 | 2523 | 2803 | 90.0% |
| ov_SC04_011 | 2519 | 1776 | 0 | 2525 | 2803 | 90.1% |
| ov_SC04_012 | 2401 | 1771 | 0 | 2402 | 2420 | 99.3% |
| ov_SC04_015 | 2536 | 1772 | 0 | 2547 | 2611 | 97.5% |
| ov_SC04_016 | 2402 | 1771 | 0 | 2404 | 2440 | 98.5% |
| ov_SC04_018 | 2681 | 1808 | 0 | 2681 | 2857 | 93.8% |
| ov_SC04_018 | 2682 | 1808 | 0 | 2682 | 2857 | 93.9% |
| ov_SC04_019 | 2678 | 1808 | 0 | 2678 | 2857 | 93.7% |
| ov_SC04_020 | 2517 | 1771 | 0 | 2529 | 2567 | 98.5% |
| ov_SC04_021 | 2401 | 1773 | 0 | 2401 | 2423 | 99.1% |
| ov_SC05_000 | 2407 | 1775 | 0 | 2410 | 2422 | 99.5% |
| ov_SC05_001 | 2480 | 1772 | 0 | 2485 | 2574 | 96.5% |
| ov_SC05_001 | 2481 | 1772 | 0 | 2486 | 2574 | 96.6% |
| ov_SC05_002 | 2431 | 1771 | 0 | 2434 | 2442 | 99.7% |
| ov_SC05_003 | 2414 | 1771 | 0 | 2415 | 2481 | 97.3% |
| ov_SC05_004 | 2426 | 1771 | 0 | 2428 | 2464 | 98.5% |
@@ -205,26 +205,26 @@ FLEET matchable : 363379
| ov_SC05_019 | 2401 | 1773 | 0 | 2401 | 2423 | 99.1% |
| ov_SC06_000 | 2536 | 1780 | 0 | 2539 | 2691 | 94.4% |
| ov_SC06_006 | 2424 | 1771 | 0 | 2425 | 2511 | 96.6% |
| ov_SC06_008 | 2490 | 1773 | 0 | 2496 | 2542 | 98.2% |
| ov_SC06_010 | 2462 | 1771 | 0 | 2467 | 2517 | 98.0% |
| ov_SC06_008 | 2491 | 1773 | 0 | 2497 | 2542 | 98.2% |
| ov_SC06_010 | 2463 | 1771 | 0 | 2468 | 2517 | 98.1% |
| ov_SC06_011 | 2416 | 1771 | 0 | 2420 | 2468 | 98.1% |
| ov_SC06_013 | 2406 | 1771 | 0 | 2407 | 2425 | 99.3% |
| ov_SC06_014 | 2417 | 1771 | 0 | 2419 | 2453 | 98.6% |
| ov_SC06_015 | 2411 | 1771 | 0 | 2411 | 2421 | 99.6% |
| ov_SC06_016 | 2453 | 1772 | 0 | 2455 | 2549 | 96.3% |
| ov_SC06_018 | 2513 | 1773 | 0 | 2520 | 2665 | 94.6% |
| ov_SC06_020 | 2457 | 1773 | 0 | 2458 | 2518 | 97.6% |
| ov_SC06_022 | 2495 | 1771 | 0 | 2503 | 2642 | 94.7% |
| ov_SC06_024 | 2514 | 1771 | 0 | 2520 | 2667 | 94.5% |
| ov_SC06_016 | 2454 | 1772 | 0 | 2456 | 2549 | 96.4% |
| ov_SC06_018 | 2522 | 1773 | 0 | 2529 | 2665 | 94.9% |
| ov_SC06_020 | 2458 | 1773 | 0 | 2459 | 2518 | 97.7% |
| ov_SC06_022 | 2497 | 1771 | 0 | 2505 | 2642 | 94.8% |
| ov_SC06_024 | 2516 | 1771 | 0 | 2522 | 2667 | 94.6% |
| ov_SC06_025 | 2453 | 1771 | 0 | 2458 | 2572 | 95.6% |
| ov_SC06_027 | 2392 | 1771 | 0 | 2393 | 2408 | 99.4% |
| ov_SC06_029 | 2479 | 1772 | 0 | 2491 | 2662 | 93.6% |
| ov_SC06_030 | 2413 | 1772 | 0 | 2413 | 2456 | 98.2% |
| ov_SC06_032 | 2499 | 1772 | 0 | 2506 | 2658 | 94.3% |
| ov_SC06_033 | 2503 | 1772 | 0 | 2510 | 2631 | 95.4% |
| ov_SC06_032 | 2506 | 1772 | 0 | 2513 | 2658 | 94.5% |
| ov_SC06_033 | 2508 | 1772 | 0 | 2515 | 2631 | 95.6% |
| ov_SC07_000 | 2436 | 1775 | 0 | 2438 | 2521 | 96.7% |
| ov_SC07_001 | 2405 | 1771 | 0 | 2407 | 2454 | 98.1% |
| ov_SC07_002 | 2463 | 1772 | 0 | 2467 | 2579 | 95.7% |
| ov_SC07_002 | 2464 | 1772 | 0 | 2468 | 2579 | 95.7% |
| ov_SC07_006 | 2327 | 1595 | 0 | 2407 | 2455 | 98.0% |
| ov_SC07_007 | 2339 | 1628 | 0 | 2423 | 2612 | 92.8% |
| ov_SC07_008 | 2386 | 1771 | 0 | 2386 | 2386 | 100.0% |
phase-ends/CURRENT_PHASE.md
+27 -5
View File
@@ -185,15 +185,16 @@ stub on a named wall/behemoth/queue ledger** — 140/140 byte-identical througho
> **Tree CLEAN** but for R23 `db.*.gbf` churn — never stage. **Nothing running.**
> Gate at close: **`check-all` 213 passed / 0 failed of 213** from a CLEAN rebuild (R22 run 5× this
> session; extract-all 212+main, 0 failed each).
> **Fleet: 94.7% instr · 88.9% distinct · 96.39% fn-count · INCLUDE_ASM stubs 13,112.**
> **Fleet: 94.8% instr · 89.2% distinct · 96.41% fn-count · INCLUDE_ASM stubs 13,028.**
> `tools-health`: **OK** (re-run after the tool+doc changes — 495 cookbook sections).
> **NO phase close** — T5 unopened, needs Drew's gate-2.
## THE SESSION IN ONE LINE
**233 instances banked — the STUB-ORACLE DELTA (13,345 → 13,112).** Three parts: **Stage 0b closed**
(91, ZERO decompilation — three instrument repairs did all of it) · **wave 1** (8 cracks + 18
propagations = 26) · **wave 2** (22 cracks + propagation = 116). Fleet 94.4% → **94.7% instr**.
**The campaign's rate is now measured twice: 67% then 79% of cracks survive the whole-binary gate.**
**317 instances banked — the STUB-ORACLE DELTA (13,345 → 13,028).** Four parts: **Stage 0b closed**
(91, ZERO decompilation — three instrument repairs did all of it) · **wave 1** (26) · **wave 2**
(116) · **wave 3** (84). Fleet 94.4% → **94.8% instr**, 88.3% → **89.2% distinct**.
**The campaign's bank rate is measured THREE times now: 67% → 79% → 69%.** Wave 3's dip is the cost
curve, not a regression: its tier was 29 Opus-band / 14 jr vs wave 2's 8 / 5, median reach ×6 → ×3-4.
## ▶ RESUME HERE — WAVE 3 (the lane order is now MEASURED, not assumed)
0. **HARDEN THE WAVE HARNESS FIRST — it is 10 minutes and it protects every later wave.**
@@ -282,6 +283,27 @@ the transcripts proved recoverable.
So the island work is worth **44 slots** and is NOT the module lane's main gate — I had claimed
the lane was "blocked"; measured, ~1,301 slots route through the path that is now fixed.
## ✅ WHAT S48 LANDED — part 4: WAVE 3 (39 targets) — THE TWO LEVERS THAT PROVED OUT
**WAVE 3** (`wf_2680d8ff-539`, 74 agents, 8.08M tok): 39 targets → 35 agent-MATCH, 0 refuted,
4 NEAR, 0 FAIL → **27 BANKED (69%)**; propagation committed 21 of 27 families. **Oracle delta 84.**
**1. THE HARDENED HARNESS HELD — 0 drafts lost** (wave 2 lost 21 of 26). Per-agent output dir
`.run/wave3/<fn>/` + "never delete or modify anything outside your own directory, do not clean up"
+ a verifier that re-runs `sha1sum` LAST and reports it separately. **Keep this contract in every
wave prompt.** `tools/recover_drafts.py` (`commit:1650`) is the backstop if it ever fails again.
**2. PRIOR-NOTES SEEDING IS THE BEST LEVER FOUND THIS SESSION — 7 of 9 seeded targets converted**,
including ALL THREE wave-2 whole-binary-gate misses and both long-standing NEARs: `func_80189540`
(551 ins, was NEAR +2 — the session's largest crack) and `func_8017C3BC` (407 ins, was NEAR 17).
**NEAR is therefore a cheap RESUMABLE state, not a write-off** — re-running a failed target WITH ITS
PREDECESSOR'S MEASURED RESIDUAL is far better value than a cold re-crack. `func_8017C294` (the ×16
family, the board's largest item) went 18 → **11** ins on its third attempt: narrowing, not a wall.
**A host-TU edit can be part of a bank** (`func_80189540`): `ov_SC04_018_jr_80188E1C.c:3093`
`extern s32 func_80189540(s32 a0, s16 a1)` → `(s16 a0, s16 a1)`. That TU has NO call site so the
edit is inert; the OTHER TUs' `(s32,s16)` decls were deliberately LEFT — they have real call sites,
and an s16 prototype there would force caller-side truncation and could de-match banked callers.
**A cautionary find from the same agent:** a 551-ins MATCH already existed at
`.run/backlog_drafts/func_80189540.c` and had been DE-MATCHED to 549 by "fixing" the definition's
`s16` first parameter to `s32` — the exact inverse of that draft's own written warning.
## 📐 THE FRONTIER AS RE-DERIVED THIS SESSION (post-0b, pre-wave; regen again after any bank)
1,955 zero-crack sibling families / 6,709 members / 330,622 templatable ins. Tiers:
×16 **1** fam/3,936 ins · ×9 6/1,197 · ×8 64/17,384 · ×7 93/25,025 · ×6 128/35,898 · ×5 124/38,070 ·