diff --git a/docs/family-hseq.md b/docs/family-hseq.md index 7aef30d27..5220e7aad 100644 --- a/docs/family-hseq.md +++ b/docs/family-hseq.md @@ -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 | diff --git a/docs/progress.fleet.md b/docs/progress.fleet.md index 6619556d0..5f353032d 100644 --- a/docs/progress.fleet.md +++ b/docs/progress.fleet.md @@ -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% | diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index 0a1d49b8a..0c1df3fbc 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -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//` + "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 ·