Answering "did we do S4?" honestly: NO, not properly. The earlier pass re-gated only the NEWEST stored draft per draft-exemplar head (8 banked of 35). S6 then proved that is sampling, not scanning -- its giant's match was the 9th of 31 drafts, and my first pass had reported "closeness 40". Redone with EVERY stored draft run through match_one, over the 39 draft-exemplar heads + Drew's named large-function list (38 targets, 33 with drafts on disk): 14 of 33 targets MATCH from a stored draft (some had 51-57 drafts each) -> 6 banked first pass, +1 after recover_giant = 7 banked -> including func_8018057C (897 ins), which was on the "needs an agent" list The 14 came overwhelmingly from ov_SC01_077 -- exactly the heads where only the newest draft had been tried. The winning drafts sit in .run/_a10_sample-cn-cast-rc/, .run/drafts-wave-cn-cast/, .run/drafts-wave-cn/, .run/ab-exp/opus-cn/, .run/backlog_drafts/ -- i.e. spread across many historical pipelines, which is precisely why "newest" is the wrong selector. 7 still open after recovery (5 near, 2 failed) -- integration classes, drafts kept in .run/s41/rec/. VERIFIED: make clean && make extract-all && make check-all -> 140 passed, 0 failed of 140. Fleet 12483035 -> 12484373 instr; distinct +1,338 / +7 uniq; fn-count +7. instr-weighted 94.9%. audit-digest OK. 0 NON_MATCHING (G4). STILL OPEN from S4: the 263x5 cluster (0x80182fd4 exemplar) sweeps 0/5 with `parse error before 'unsigned'` in the spliced draft -- NOT the missing-type class, undiagnosed, do not assume codegen. And the 2 resident stubs with gate-rejected match_one-MATCH drafts remain untouched. THE RULE (cookbook §146, now paid for twice): SCAN every stored draft, never sample. A head with 57 drafts has 57 chances, and the pipelines that produced them differ in ways that matter.
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: 341775 / 353717 = 96.62% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12484373 / 13160961 = 94.9% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 5043472 / 5654184 = 89.2% (78081/87459 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: 12483937 / 13081451 = 95.4%)
FLEET REAL substantive : 339920 (of which dedup-shared 241439 via 1919 groups / 241513 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 11935 FLEET matchable : 353717
| 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 | 2389 | 1755 | 0 | 2389 | 2403 | 99.4% |
| ov_SC01_001 | 2396 | 1756 | 0 | 2398 | 2466 | 97.2% |
| ov_SC01_004 | 2393 | 1747 | 0 | 2394 | 2414 | 99.2% |
| ov_SC01_005 | 2425 | 1770 | 0 | 2425 | 2503 | 96.9% |
| ov_SC01_006 | 2425 | 1770 | 0 | 2425 | 2503 | 96.9% |
| ov_SC01_008 | 2393 | 1747 | 0 | 2395 | 2426 | 98.7% |
| ov_SC01_009 | 2420 | 1748 | 0 | 2421 | 2507 | 96.6% |
| ov_SC01_074 | 2395 | 1748 | 0 | 2397 | 2425 | 98.8% |
| ov_SC01_077 | 2560 | 1713 | 0 | 2562 | 2586 | 99.1% |
| ov_SC01_080 | 2423 | 1751 | 0 | 2423 | 2512 | 96.5% |
| ov_SC01_084 | 2448 | 1756 | 0 | 2453 | 2579 | 95.1% |
| ov_SC02_000 | 2519 | 1795 | 0 | 2519 | 2683 | 93.9% |
| ov_SC02_003 | 2519 | 1795 | 0 | 2519 | 2683 | 93.9% |
| ov_SC02_004 | 2388 | 1751 | 0 | 2388 | 2401 | 99.5% |
| ov_SC02_005 | 2538 | 1747 | 0 | 2548 | 2927 | 87.1% |
| ov_SC02_011 | 2626 | 1754 | 0 | 2637 | 2893 | 91.2% |
| ov_SC02_015 | 2399 | 1753 | 0 | 2399 | 2414 | 99.4% |
| ov_SC02_016 | 2482 | 1754 | 0 | 2485 | 2545 | 97.6% |
| ov_SC02_017 | 2550 | 1754 | 0 | 2558 | 2732 | 93.6% |
| ov_SC02_021 | 2404 | 1753 | 0 | 2404 | 2437 | 98.6% |
| ov_SC02_026 | 2502 | 1751 | 0 | 2508 | 2572 | 97.5% |
| ov_SC02_027 | 2558 | 1751 | 0 | 2567 | 2692 | 95.4% |
| ov_SC02_028 | 2563 | 1751 | 0 | 2573 | 2701 | 95.3% |
| ov_SC02_031 | 2493 | 1752 | 0 | 2498 | 2562 | 97.5% |
| ov_SC02_035 | 2487 | 1751 | 0 | 2490 | 2520 | 98.8% |
| ov_SC02_039 | 2394 | 1751 | 0 | 2394 | 2416 | 99.1% |
| ov_SC02_041 | 2475 | 1751 | 0 | 2478 | 2561 | 96.8% |
| ov_SC03_001 | 2669 | 1752 | 0 | 2686 | 2869 | 93.6% |
| ov_SC03_002 | 2541 | 1756 | 0 | 2556 | 2631 | 97.1% |
| ov_SC03_003 | 2397 | 1751 | 0 | 2398 | 2423 | 99.0% |
| ov_SC03_006 | 2553 | 1758 | 0 | 2562 | 2767 | 92.6% |
| ov_SC03_007 | 2461 | 1751 | 0 | 2465 | 2623 | 94.0% |
| ov_SC03_010 | 2414 | 1751 | 0 | 2414 | 2471 | 97.7% |
| ov_SC03_011 | 2415 | 1751 | 0 | 2421 | 2527 | 95.8% |
| ov_SC03_012 | 2387 | 1751 | 0 | 2388 | 2406 | 99.3% |
| ov_SC03_013 | 2420 | 1751 | 0 | 2420 | 2493 | 97.1% |
| ov_SC03_014 | 2573 | 1782 | 0 | 2573 | 2685 | 95.8% |
| ov_SC03_015 | 2572 | 1782 | 0 | 2572 | 2685 | 95.8% |
| ov_SC03_023 | 2399 | 1751 | 0 | 2400 | 2435 | 98.6% |
| ov_SC03_024 | 2516 | 1756 | 0 | 2523 | 2641 | 95.5% |
| ov_SC03_028 | 2461 | 1752 | 0 | 2465 | 2664 | 92.5% |
| ov_SC03_029 | 2499 | 1754 | 0 | 2509 | 2644 | 94.9% |
| ov_SC03_030 | 2417 | 1756 | 0 | 2419 | 2495 | 97.0% |
| ov_SC03_031 | 2446 | 1751 | 0 | 2449 | 2514 | 97.4% |
| ov_SC03_089 | 2512 | 1756 | 0 | 2519 | 2581 | 97.6% |
| ov_SC03_090 | 2527 | 1756 | 0 | 2535 | 2625 | 96.6% |
| ov_SC03_091 | 2541 | 1751 | 0 | 2549 | 2640 | 96.6% |
| ov_SC03_092 | 2505 | 1756 | 0 | 2517 | 2587 | 97.3% |
| ov_SC03_093 | 2515 | 1751 | 0 | 2519 | 2563 | 98.3% |
| ov_SC03_094 | 2504 | 1751 | 0 | 2510 | 2577 | 97.4% |
| ov_SC03_095 | 2431 | 1751 | 0 | 2434 | 2474 | 98.4% |
| ov_SC03_096 | 2428 | 1751 | 0 | 2431 | 2465 | 98.6% |
| ov_SC03_097 | 2525 | 1751 | 0 | 2532 | 2603 | 97.3% |
| ov_SC03_098 | 2509 | 1751 | 0 | 2512 | 2541 | 98.9% |
| ov_SC03_099 | 2485 | 1751 | 0 | 2488 | 2504 | 99.4% |
| ov_SC03_100 | 2520 | 1751 | 0 | 2524 | 2539 | 99.4% |
| ov_SC03_101 | 2482 | 1756 | 0 | 2486 | 2528 | 98.3% |
| ov_SC03_102 | 2469 | 1751 | 0 | 2472 | 2492 | 99.2% |
| ov_SC03_103 | 2493 | 1753 | 0 | 2496 | 2510 | 99.4% |
| ov_SC03_104 | 2540 | 1756 | 0 | 2547 | 2616 | 97.4% |
| ov_SC03_105 | 2448 | 1752 | 0 | 2455 | 2597 | 94.5% |
| ov_SC03_108 | 2399 | 1751 | 0 | 2399 | 2443 | 98.2% |
| ov_SC03_109 | 2407 | 1751 | 0 | 2409 | 2424 | 99.4% |
| ov_SC03_110 | 2440 | 1751 | 0 | 2440 | 2468 | 98.9% |
| ov_SC03_111 | 2471 | 1751 | 0 | 2474 | 2510 | 98.6% |
| ov_SC03_112 | 2436 | 1753 | 0 | 2438 | 2526 | 96.5% |
| ov_SC03_113 | 2434 | 1753 | 0 | 2437 | 2468 | 98.7% |
| ov_SC03_114 | 2389 | 1751 | 0 | 2391 | 2415 | 99.0% |
| ov_SC03_115 | 2430 | 1751 | 0 | 2432 | 2472 | 98.4% |
| ov_SC03_116 | 2399 | 1751 | 0 | 2402 | 2438 | 98.5% |
| ov_SC03_117 | 2467 | 1751 | 0 | 2473 | 2557 | 96.7% |
| ov_SC03_118 | 2542 | 1776 | 0 | 2543 | 2685 | 94.7% |
| ov_SC03_119 | 2539 | 1776 | 0 | 2540 | 2685 | 94.6% |
| ov_SC03_121 | 2402 | 1751 | 0 | 2405 | 2459 | 97.8% |
| ov_SC03_124 | 2576 | 1747 | 0 | 2596 | 2741 | 94.7% |
| ov_SC03_125 | 2527 | 1751 | 0 | 2539 | 2588 | 98.1% |
| ov_SC03_126 | 2398 | 1753 | 0 | 2398 | 2423 | 99.0% |
| ov_SC04_000 | 2473 | 1755 | 0 | 2482 | 2546 | 97.5% |
| ov_SC04_002 | 2503 | 1751 | 0 | 2507 | 2636 | 95.1% |
| ov_SC04_003 | 2437 | 1751 | 0 | 2441 | 2502 | 97.6% |
| ov_SC04_004 | 2469 | 1751 | 0 | 2471 | 2558 | 96.6% |
| ov_SC04_005 | 2498 | 1751 | 0 | 2504 | 2612 | 95.9% |
| ov_SC04_006 | 2429 | 1751 | 0 | 2431 | 2454 | 99.1% |
| ov_SC04_007 | 2492 | 1751 | 0 | 2496 | 2569 | 97.2% |
| ov_SC04_008 | 2399 | 1751 | 0 | 2399 | 2415 | 99.3% |
| ov_SC04_009 | 2426 | 1751 | 0 | 2429 | 2441 | 99.5% |
| ov_SC04_010 | 2401 | 1751 | 0 | 2402 | 2419 | 99.3% |
| ov_SC04_011 | 2515 | 1756 | 0 | 2521 | 2803 | 89.9% |
| ov_SC04_012 | 2396 | 1751 | 0 | 2397 | 2420 | 99.0% |
| ov_SC04_015 | 2532 | 1752 | 0 | 2543 | 2611 | 97.4% |
| ov_SC04_016 | 2400 | 1751 | 0 | 2402 | 2440 | 98.4% |
| ov_SC04_018 | 2672 | 1788 | 0 | 2672 | 2857 | 93.5% |
| ov_SC04_019 | 2672 | 1788 | 0 | 2672 | 2857 | 93.5% |
| ov_SC04_020 | 2513 | 1751 | 0 | 2525 | 2567 | 98.4% |
| ov_SC04_021 | 2398 | 1753 | 0 | 2398 | 2423 | 99.0% |
| ov_SC05_000 | 2405 | 1755 | 0 | 2408 | 2422 | 99.4% |
| ov_SC05_001 | 2477 | 1751 | 0 | 2482 | 2574 | 96.4% |
| ov_SC05_002 | 2429 | 1751 | 0 | 2432 | 2442 | 99.6% |
| ov_SC05_003 | 2412 | 1751 | 0 | 2413 | 2481 | 97.3% |
| ov_SC05_004 | 2422 | 1751 | 0 | 2424 | 2464 | 98.4% |
| ov_SC05_005 | 2437 | 1756 | 0 | 2438 | 2491 | 97.9% |
| ov_SC05_006 | 2421 | 1751 | 0 | 2421 | 2430 | 99.6% |
| ov_SC05_007 | 2430 | 1751 | 0 | 2435 | 2482 | 98.1% |
| ov_SC05_008 | 2441 | 1751 | 0 | 2443 | 2543 | 96.1% |
| ov_SC05_009 | 2408 | 1751 | 0 | 2412 | 2438 | 98.9% |
| ov_SC05_010 | 2448 | 1752 | 0 | 2452 | 2588 | 94.7% |
| ov_SC05_011 | 2395 | 1751 | 0 | 2396 | 2409 | 99.5% |
| ov_SC05_017 | 2648 | 1748 | 0 | 2659 | 2842 | 93.6% |
| ov_SC05_018 | 2545 | 1751 | 0 | 2558 | 2673 | 95.7% |
| ov_SC05_019 | 2398 | 1753 | 0 | 2398 | 2423 | 99.0% |
| ov_SC06_000 | 2527 | 1760 | 0 | 2530 | 2691 | 94.0% |
| ov_SC06_006 | 2422 | 1751 | 0 | 2423 | 2511 | 96.5% |
| ov_SC06_008 | 2487 | 1753 | 0 | 2493 | 2542 | 98.1% |
| ov_SC06_010 | 2459 | 1751 | 0 | 2464 | 2517 | 97.9% |
| ov_SC06_011 | 2414 | 1751 | 0 | 2418 | 2468 | 98.0% |
| ov_SC06_013 | 2404 | 1751 | 0 | 2405 | 2425 | 99.2% |
| ov_SC06_014 | 2415 | 1751 | 0 | 2417 | 2453 | 98.5% |
| ov_SC06_015 | 2409 | 1751 | 0 | 2409 | 2421 | 99.5% |
| ov_SC06_016 | 2451 | 1752 | 0 | 2453 | 2549 | 96.2% |
| ov_SC06_018 | 2499 | 1753 | 0 | 2506 | 2665 | 94.0% |
| ov_SC06_020 | 2445 | 1753 | 0 | 2446 | 2518 | 97.1% |
| ov_SC06_022 | 2480 | 1751 | 0 | 2488 | 2642 | 94.2% |
| ov_SC06_024 | 2500 | 1751 | 0 | 2506 | 2667 | 94.0% |
| ov_SC06_025 | 2451 | 1751 | 0 | 2456 | 2572 | 95.5% |
| ov_SC06_027 | 2390 | 1751 | 0 | 2391 | 2408 | 99.3% |
| ov_SC06_029 | 2476 | 1752 | 0 | 2488 | 2662 | 93.5% |
| ov_SC06_030 | 2412 | 1752 | 0 | 2412 | 2456 | 98.2% |
| ov_SC06_032 | 2486 | 1752 | 0 | 2493 | 2658 | 93.8% |
| ov_SC06_033 | 2486 | 1752 | 0 | 2493 | 2631 | 94.8% |
| ov_SC07_000 | 2431 | 1755 | 0 | 2433 | 2521 | 96.5% |
| ov_SC07_001 | 2403 | 1751 | 0 | 2405 | 2454 | 98.0% |
| ov_SC07_002 | 2459 | 1752 | 0 | 2463 | 2579 | 95.5% |
| ov_SC07_006 | 2323 | 1575 | 0 | 2403 | 2455 | 97.9% |
| ov_SC07_007 | 2336 | 1607 | 0 | 2420 | 2612 | 92.6% |
| ov_SC07_008 | 2384 | 1751 | 0 | 2384 | 2386 | 99.9% |
| ov_SC07_009 | 2396 | 1751 | 0 | 2398 | 2430 | 98.7% |
| ov_SC07_010 | 2319 | 1628 | 0 | 2402 | 2523 | 95.2% |
| ov_SC07_011 | 2338 | 1606 | 0 | 2418 | 2448 | 98.8% |