- VALIDATED FIRST, then batched: 0x80143d28 (T66's #1, T76's ApplyMatrixSV callee diagnosis) banked 136/136 under the §114 callee axis + §115 named-symbol widening. Batch of 8 followed: 505/1039. Totals: 5 families outright + 1 partial of 9; 641 members ×N. - Attribution DERIVED (R33), not parsed from the sweep log: live stubs recomputed per family from corpus.stubs before/after. Reconciles exactly against the metric (fn-count +641). - §116 (NEW): optimization level is a property of the FILE, not the function. 0x801457a4 swept 0/137 because its exemplar lives in ov_SC01_077_o0b.c (-O0 via WHALE_O0B_OBJS) while all 137 members' stubs live in <ov>_after.c (-O2). The fix moves the STUB line, not the def: <ov>_o0b's .text ends exactly at 0x801457A4, so the relocation is byte-neutral by construction and needs no splat re-carve (which is the Arm-A +0x20 wall). 13th time a family-wide 0/N was the harness. - R14 CORRECTION to the handoff arithmetic: the tier is 123 families / 3,100 distinct on fresh sigs, but 1,287 of that distinct is the -O0 cluster behind the Arm-A splat wall. Honest addressable tier = 113 families / 85,360 ins / 1,813 distinct. Billing the walled 1,287 as sweep yield would have repeated the T76 error. - 0x80131eec (214 distinct, the biggest item left) diagnosed precisely: header macro decl + §20 call-site cast + a scripted §99 pass over 2,022 overlay-local decls; param is void*, so the T75 narrow-param refusal does not apply. - GATES: R22 clean-fleet 140/140 from make clean + extract-all + check-all; tools-health RC=0 (corpus 0 PHANTOM/0 TRUNCATED, cdecl, audit-binaries, dedup 1886/0, C1 239604/239604); report RC=0; 0 NON_MATCHING (G4). - METRICS: instr 86.7 -> 86.9% (+28,205 ins) · distinct-code 76.9 -> 77.4% (68,196 -> 68,782 unique fns) · fn-count 91.23 -> 91.41% (+641). The distinct-code move is the point of this tier.
9.1 KiB
BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)
140 binaries: main + resident + 138 location overlays. DETERMINISTIC,
source-derived (committed src/*.c + config/dedup.us.yaml). Live byte gate: make check-all;
cross-binary collapsible-byte leverage: docs/duplicates.cross.md.
THREE progress metrics (all matter — see the labels):
FLEET fn-count byte-ident: 323345 / 353720 = 91.41% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11420682 / 13141652 = 86.9% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4360897 / 5634875 = 77.4% (68782/87459 unique fns; the DISTINCT-RE number) MAIN game-code weighted : 436 / 60201 = 0.7% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-06-14; 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: 11420246 / 13081451 = 87.3%)
FLEET REAL substantive : 321490 (of which dedup-shared 239530 via 1886 groups / 239604 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 30368 FLEET matchable : 353720
| binary | REAL | shared | LINKED | byte-ident | matchable | byte-ident % |
|---|---|---|---|---|---|---|
| main | 54 | 2 | 959 | 1055 | 2096 | 50.3% |
| resident | 129 | 0 | 0 | 131 | 145 | 90.3% |
| ov_SC01_000 | 2301 | 1742 | 0 | 2301 | 2403 | 95.8% |
| ov_SC01_001 | 2308 | 1743 | 0 | 2310 | 2466 | 93.7% |
| ov_SC01_004 | 2298 | 1734 | 0 | 2299 | 2414 | 95.2% |
| ov_SC01_005 | 2328 | 1757 | 0 | 2328 | 2503 | 93.0% |
| ov_SC01_006 | 2328 | 1757 | 0 | 2328 | 2503 | 93.0% |
| ov_SC01_008 | 2298 | 1734 | 0 | 2300 | 2426 | 94.8% |
| ov_SC01_009 | 2324 | 1735 | 0 | 2325 | 2507 | 92.7% |
| ov_SC01_074 | 2302 | 1735 | 0 | 2304 | 2425 | 95.0% |
| ov_SC01_077 | 2475 | 1702 | 0 | 2477 | 2585 | 95.8% |
| ov_SC01_080 | 2340 | 1738 | 0 | 2340 | 2512 | 93.2% |
| ov_SC01_084 | 2347 | 1738 | 0 | 2352 | 2579 | 91.2% |
| ov_SC02_000 | 2400 | 1773 | 0 | 2400 | 2683 | 89.5% |
| ov_SC02_003 | 2400 | 1773 | 0 | 2400 | 2683 | 89.5% |
| ov_SC02_004 | 2306 | 1738 | 0 | 2306 | 2401 | 96.0% |
| ov_SC02_005 | 2416 | 1734 | 0 | 2426 | 2927 | 82.9% |
| ov_SC02_011 | 2431 | 1741 | 0 | 2442 | 2893 | 84.4% |
| ov_SC02_015 | 2309 | 1740 | 0 | 2309 | 2414 | 95.7% |
| ov_SC02_016 | 2342 | 1740 | 0 | 2345 | 2545 | 92.1% |
| ov_SC02_017 | 2389 | 1740 | 0 | 2397 | 2732 | 87.7% |
| ov_SC02_021 | 2314 | 1740 | 0 | 2314 | 2437 | 95.0% |
| ov_SC02_026 | 2329 | 1738 | 0 | 2335 | 2572 | 90.8% |
| ov_SC02_027 | 2352 | 1738 | 0 | 2361 | 2692 | 87.7% |
| ov_SC02_028 | 2354 | 1738 | 0 | 2364 | 2701 | 87.5% |
| ov_SC02_031 | 2340 | 1739 | 0 | 2345 | 2562 | 91.5% |
| ov_SC02_035 | 2315 | 1738 | 0 | 2318 | 2520 | 92.0% |
| ov_SC02_039 | 2299 | 1738 | 0 | 2299 | 2416 | 95.2% |
| ov_SC02_041 | 2338 | 1738 | 0 | 2341 | 2561 | 91.4% |
| ov_SC03_001 | 2440 | 1739 | 0 | 2457 | 2869 | 85.6% |
| ov_SC03_002 | 2360 | 1743 | 0 | 2375 | 2631 | 90.3% |
| ov_SC03_003 | 2309 | 1738 | 0 | 2310 | 2423 | 95.3% |
| ov_SC03_006 | 2378 | 1744 | 0 | 2387 | 2767 | 86.3% |
| ov_SC03_007 | 2355 | 1738 | 0 | 2359 | 2623 | 89.9% |
| ov_SC03_010 | 2317 | 1738 | 0 | 2317 | 2471 | 93.8% |
| ov_SC03_011 | 2323 | 1738 | 0 | 2329 | 2527 | 92.2% |
| ov_SC03_012 | 2301 | 1738 | 0 | 2302 | 2406 | 95.7% |
| ov_SC03_013 | 2322 | 1738 | 0 | 2322 | 2493 | 93.1% |
| ov_SC03_014 | 2380 | 1763 | 0 | 2380 | 2685 | 88.6% |
| ov_SC03_015 | 2380 | 1763 | 0 | 2380 | 2685 | 88.6% |
| ov_SC03_023 | 2308 | 1738 | 0 | 2309 | 2435 | 94.8% |
| ov_SC03_024 | 2368 | 1743 | 0 | 2375 | 2641 | 89.9% |
| ov_SC03_028 | 2348 | 1738 | 0 | 2352 | 2664 | 88.3% |
| ov_SC03_029 | 2351 | 1740 | 0 | 2361 | 2644 | 89.3% |
| ov_SC03_030 | 2323 | 1743 | 0 | 2325 | 2495 | 93.2% |
| ov_SC03_031 | 2319 | 1738 | 0 | 2322 | 2514 | 92.4% |
| ov_SC03_089 | 2336 | 1738 | 0 | 2343 | 2581 | 90.8% |
| ov_SC03_090 | 2337 | 1738 | 0 | 2345 | 2625 | 89.3% |
| ov_SC03_091 | 2340 | 1738 | 0 | 2348 | 2640 | 88.9% |
| ov_SC03_092 | 2350 | 1738 | 0 | 2362 | 2587 | 91.3% |
| ov_SC03_093 | 2326 | 1738 | 0 | 2330 | 2563 | 90.9% |
| ov_SC03_094 | 2321 | 1738 | 0 | 2327 | 2577 | 90.3% |
| ov_SC03_095 | 2311 | 1738 | 0 | 2314 | 2474 | 93.5% |
| ov_SC03_096 | 2311 | 1738 | 0 | 2314 | 2465 | 93.9% |
| ov_SC03_097 | 2341 | 1738 | 0 | 2348 | 2603 | 90.2% |
| ov_SC03_098 | 2319 | 1738 | 0 | 2322 | 2541 | 91.4% |
| ov_SC03_099 | 2312 | 1738 | 0 | 2315 | 2504 | 92.5% |
| ov_SC03_100 | 2322 | 1738 | 0 | 2326 | 2539 | 91.6% |
| ov_SC03_101 | 2322 | 1738 | 0 | 2326 | 2528 | 92.0% |
| ov_SC03_102 | 2315 | 1738 | 0 | 2318 | 2492 | 93.0% |
| ov_SC03_103 | 2318 | 1740 | 0 | 2321 | 2510 | 92.5% |
| ov_SC03_104 | 2344 | 1738 | 0 | 2351 | 2616 | 89.9% |
| ov_SC03_105 | 2335 | 1738 | 0 | 2342 | 2597 | 90.2% |
| ov_SC03_108 | 2302 | 1738 | 0 | 2302 | 2443 | 94.2% |
| ov_SC03_109 | 2306 | 1738 | 0 | 2308 | 2424 | 95.2% |
| ov_SC03_110 | 2310 | 1738 | 0 | 2310 | 2468 | 93.6% |
| ov_SC03_111 | 2321 | 1738 | 0 | 2324 | 2510 | 92.6% |
| ov_SC03_112 | 2317 | 1740 | 0 | 2319 | 2526 | 91.8% |
| ov_SC03_113 | 2310 | 1740 | 0 | 2313 | 2468 | 93.7% |
| ov_SC03_114 | 2299 | 1738 | 0 | 2301 | 2415 | 95.3% |
| ov_SC03_115 | 2316 | 1738 | 0 | 2318 | 2472 | 93.8% |
| ov_SC03_116 | 2307 | 1738 | 0 | 2310 | 2438 | 94.7% |
| ov_SC03_117 | 2334 | 1738 | 0 | 2340 | 2557 | 91.5% |
| ov_SC03_118 | 2380 | 1762 | 0 | 2381 | 2685 | 88.7% |
| ov_SC03_119 | 2379 | 1762 | 0 | 2380 | 2685 | 88.6% |
| ov_SC03_121 | 2314 | 1738 | 0 | 2317 | 2459 | 94.2% |
| ov_SC03_124 | 2397 | 1734 | 0 | 2417 | 2741 | 88.2% |
| ov_SC03_125 | 2348 | 1738 | 0 | 2360 | 2588 | 91.2% |
| ov_SC03_126 | 2311 | 1740 | 0 | 2311 | 2423 | 95.4% |
| ov_SC04_000 | 2327 | 1742 | 0 | 2336 | 2546 | 91.8% |
| ov_SC04_002 | 2347 | 1738 | 0 | 2351 | 2636 | 89.2% |
| ov_SC04_003 | 2322 | 1738 | 0 | 2326 | 2502 | 93.0% |
| ov_SC04_004 | 2331 | 1738 | 0 | 2333 | 2558 | 91.2% |
| ov_SC04_005 | 2341 | 1738 | 0 | 2347 | 2612 | 89.9% |
| ov_SC04_006 | 2311 | 1738 | 0 | 2313 | 2454 | 94.3% |
| ov_SC04_007 | 2335 | 1738 | 0 | 2339 | 2569 | 91.0% |
| ov_SC04_008 | 2303 | 1738 | 0 | 2303 | 2415 | 95.4% |
| ov_SC04_009 | 2318 | 1738 | 0 | 2321 | 2441 | 95.1% |
| ov_SC04_010 | 2308 | 1738 | 0 | 2309 | 2419 | 95.5% |
| ov_SC04_011 | 2366 | 1738 | 0 | 2372 | 2803 | 84.6% |
| ov_SC04_012 | 2305 | 1738 | 0 | 2306 | 2420 | 95.3% |
| ov_SC04_015 | 2370 | 1739 | 0 | 2381 | 2611 | 91.2% |
| ov_SC04_016 | 2308 | 1738 | 0 | 2310 | 2440 | 94.7% |
| ov_SC04_018 | 2438 | 1773 | 0 | 2438 | 2857 | 85.3% |
| ov_SC04_019 | 2434 | 1773 | 0 | 2434 | 2857 | 85.2% |
| ov_SC04_020 | 2335 | 1738 | 0 | 2347 | 2567 | 91.4% |
| ov_SC04_021 | 2312 | 1740 | 0 | 2312 | 2423 | 95.4% |
| ov_SC05_000 | 2309 | 1742 | 0 | 2312 | 2422 | 95.5% |
| ov_SC05_001 | 2331 | 1738 | 0 | 2336 | 2574 | 90.8% |
| ov_SC05_002 | 2314 | 1738 | 0 | 2317 | 2442 | 94.9% |
| ov_SC05_003 | 2311 | 1738 | 0 | 2312 | 2481 | 93.2% |
| ov_SC05_004 | 2307 | 1738 | 0 | 2309 | 2464 | 93.7% |
| ov_SC05_005 | 2312 | 1738 | 0 | 2313 | 2491 | 92.9% |
| ov_SC05_006 | 2305 | 1738 | 0 | 2305 | 2430 | 94.9% |
| ov_SC05_007 | 2315 | 1738 | 0 | 2320 | 2482 | 93.5% |
| ov_SC05_008 | 2332 | 1738 | 0 | 2334 | 2543 | 91.8% |
| ov_SC05_009 | 2311 | 1738 | 0 | 2315 | 2438 | 95.0% |
| ov_SC05_010 | 2338 | 1738 | 0 | 2342 | 2588 | 90.5% |
| ov_SC05_011 | 2307 | 1738 | 0 | 2308 | 2409 | 95.8% |
| ov_SC05_017 | 2421 | 1735 | 0 | 2432 | 2842 | 85.6% |
| ov_SC05_018 | 2362 | 1738 | 0 | 2375 | 2673 | 88.9% |
| ov_SC05_019 | 2312 | 1740 | 0 | 2312 | 2423 | 95.4% |
| ov_SC06_000 | 2376 | 1747 | 0 | 2379 | 2691 | 88.4% |
| ov_SC06_006 | 2328 | 1738 | 0 | 2329 | 2511 | 92.8% |
| ov_SC06_008 | 2348 | 1740 | 0 | 2354 | 2542 | 92.6% |
| ov_SC06_010 | 2328 | 1738 | 0 | 2333 | 2517 | 92.7% |
| ov_SC06_011 | 2316 | 1738 | 0 | 2320 | 2468 | 94.0% |
| ov_SC06_013 | 2310 | 1738 | 0 | 2311 | 2425 | 95.3% |
| ov_SC06_014 | 2316 | 1738 | 0 | 2318 | 2453 | 94.5% |
| ov_SC06_015 | 2313 | 1738 | 0 | 2313 | 2421 | 95.5% |
| ov_SC06_016 | 2331 | 1738 | 0 | 2333 | 2549 | 91.5% |
| ov_SC06_018 | 2340 | 1740 | 0 | 2347 | 2665 | 88.1% |
| ov_SC06_020 | 2320 | 1740 | 0 | 2321 | 2518 | 92.2% |
| ov_SC06_022 | 2339 | 1738 | 0 | 2347 | 2642 | 88.8% |
| ov_SC06_024 | 2349 | 1738 | 0 | 2355 | 2667 | 88.3% |
| ov_SC06_025 | 2333 | 1738 | 0 | 2338 | 2572 | 90.9% |
| ov_SC06_027 | 2298 | 1738 | 0 | 2299 | 2408 | 95.5% |
| ov_SC06_029 | 2359 | 1738 | 0 | 2371 | 2662 | 89.1% |
| ov_SC06_030 | 2312 | 1738 | 0 | 2312 | 2456 | 94.1% |
| ov_SC06_032 | 2334 | 1739 | 0 | 2341 | 2658 | 88.1% |
| ov_SC06_033 | 2336 | 1739 | 0 | 2343 | 2631 | 89.1% |
| ov_SC07_000 | 2327 | 1742 | 0 | 2329 | 2521 | 92.4% |
| ov_SC07_001 | 2311 | 1738 | 0 | 2313 | 2454 | 94.3% |
| ov_SC07_002 | 2339 | 1738 | 0 | 2343 | 2579 | 90.8% |
| ov_SC07_006 | 2106 | 1555 | 0 | 2186 | 2456 | 89.0% |
| ov_SC07_007 | 2111 | 1586 | 0 | 2195 | 2613 | 84.0% |
| ov_SC07_008 | 2296 | 1738 | 0 | 2296 | 2386 | 96.2% |
| ov_SC07_009 | 2305 | 1738 | 0 | 2307 | 2430 | 94.9% |
| ov_SC07_010 | 2142 | 1608 | 0 | 2225 | 2524 | 88.2% |
| ov_SC07_011 | 2110 | 1585 | 0 | 2190 | 2449 | 89.4% |