Propagation behind every crack, same session (the multiplier the waves exist for). 19 newly-banked exemplars from waves 1+2, all in the family_sweep lane (0 has_mid_jr): 87 candidate members / 10,212 ins -> 61 BANKED / 26 failed across 39 overlays The 26 that did not bank are the known plumbing shapes, not codegen: 20 CC1-FAIL + 5 callee `conflicting types` (func_8017EFA0 x3, func_8012B23C x2) -- the same classes the S40 recovery ladder already has levers for (§17a-1 no-proto + call-site cast; recover_giant block-scoping). Left open deliberately rather than force-banked (P9); they are the cheapest fuel on the board next session. TOOLING GAP RECORDED: the sweep's classifier writes "CC1-FAIL: make: *** Error 33" WITHOUT the actual cc1 message, so 20 of 26 failures carry no actionable reason. Diagnosing one currently requires manually splicing the draft into its TU and rebuilding (done twice this session). The classifier should capture cc1 stderr the way harvest_verify already does -- worth fixing before the next big sweep, or every CC1-FAIL costs a manual reproduction. VERIFIED: make clean && make extract-all && make check-all -> 140 passed, 0 failed of 140. Fleet 12425854 -> 12432941 instr (+7,087); distinct +6,145 / +51 uniq; fn-count +61. instr-weighted back to 94.5% ON THE HONEST (post-main-regen) denominator of 13,160,961. audit-digest OK. 0 NON_MATCHING (G4).
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: 341492 / 353717 = 96.54% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12432941 / 13160961 = 94.5% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 5041771 / 5654184 = 89.2% (78072/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: 12432505 / 13081451 = 95.0%)
FLEET REAL substantive : 339637 (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 : 12218 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 | 2387 | 1755 | 0 | 2387 | 2403 | 99.3% |
| ov_SC01_001 | 2394 | 1756 | 0 | 2396 | 2466 | 97.2% |
| ov_SC01_004 | 2391 | 1747 | 0 | 2392 | 2414 | 99.1% |
| ov_SC01_005 | 2423 | 1770 | 0 | 2423 | 2503 | 96.8% |
| ov_SC01_006 | 2423 | 1770 | 0 | 2423 | 2503 | 96.8% |
| ov_SC01_008 | 2391 | 1747 | 0 | 2393 | 2426 | 98.6% |
| ov_SC01_009 | 2417 | 1748 | 0 | 2418 | 2507 | 96.4% |
| ov_SC01_074 | 2393 | 1748 | 0 | 2395 | 2425 | 98.8% |
| ov_SC01_077 | 2552 | 1713 | 0 | 2554 | 2586 | 98.8% |
| ov_SC01_080 | 2421 | 1751 | 0 | 2421 | 2512 | 96.4% |
| ov_SC01_084 | 2446 | 1756 | 0 | 2451 | 2579 | 95.0% |
| ov_SC02_000 | 2517 | 1795 | 0 | 2517 | 2683 | 93.8% |
| ov_SC02_003 | 2517 | 1795 | 0 | 2517 | 2683 | 93.8% |
| ov_SC02_004 | 2386 | 1751 | 0 | 2386 | 2401 | 99.4% |
| ov_SC02_005 | 2536 | 1747 | 0 | 2546 | 2927 | 87.0% |
| ov_SC02_011 | 2624 | 1754 | 0 | 2635 | 2893 | 91.1% |
| ov_SC02_015 | 2397 | 1753 | 0 | 2397 | 2414 | 99.3% |
| ov_SC02_016 | 2480 | 1754 | 0 | 2483 | 2545 | 97.6% |
| ov_SC02_017 | 2548 | 1754 | 0 | 2556 | 2732 | 93.6% |
| ov_SC02_021 | 2402 | 1753 | 0 | 2402 | 2437 | 98.6% |
| ov_SC02_026 | 2500 | 1751 | 0 | 2506 | 2572 | 97.4% |
| ov_SC02_027 | 2556 | 1751 | 0 | 2565 | 2692 | 95.3% |
| ov_SC02_028 | 2561 | 1751 | 0 | 2571 | 2701 | 95.2% |
| ov_SC02_031 | 2491 | 1752 | 0 | 2496 | 2562 | 97.4% |
| ov_SC02_035 | 2485 | 1751 | 0 | 2488 | 2520 | 98.7% |
| ov_SC02_039 | 2392 | 1751 | 0 | 2392 | 2416 | 99.0% |
| ov_SC02_041 | 2473 | 1751 | 0 | 2476 | 2561 | 96.7% |
| ov_SC03_001 | 2667 | 1752 | 0 | 2684 | 2869 | 93.6% |
| ov_SC03_002 | 2539 | 1756 | 0 | 2554 | 2631 | 97.1% |
| ov_SC03_003 | 2395 | 1751 | 0 | 2396 | 2423 | 98.9% |
| ov_SC03_006 | 2551 | 1758 | 0 | 2560 | 2767 | 92.5% |
| ov_SC03_007 | 2459 | 1751 | 0 | 2463 | 2623 | 93.9% |
| ov_SC03_010 | 2412 | 1751 | 0 | 2412 | 2471 | 97.6% |
| ov_SC03_011 | 2413 | 1751 | 0 | 2419 | 2527 | 95.7% |
| ov_SC03_012 | 2385 | 1751 | 0 | 2386 | 2406 | 99.2% |
| ov_SC03_013 | 2418 | 1751 | 0 | 2418 | 2493 | 97.0% |
| ov_SC03_014 | 2571 | 1782 | 0 | 2571 | 2685 | 95.8% |
| ov_SC03_015 | 2570 | 1782 | 0 | 2570 | 2685 | 95.7% |
| ov_SC03_023 | 2397 | 1751 | 0 | 2398 | 2435 | 98.5% |
| ov_SC03_024 | 2514 | 1756 | 0 | 2521 | 2641 | 95.5% |
| ov_SC03_028 | 2459 | 1752 | 0 | 2463 | 2664 | 92.5% |
| ov_SC03_029 | 2497 | 1754 | 0 | 2507 | 2644 | 94.8% |
| ov_SC03_030 | 2415 | 1756 | 0 | 2417 | 2495 | 96.9% |
| ov_SC03_031 | 2444 | 1751 | 0 | 2447 | 2514 | 97.3% |
| ov_SC03_089 | 2510 | 1756 | 0 | 2517 | 2581 | 97.5% |
| ov_SC03_090 | 2525 | 1756 | 0 | 2533 | 2625 | 96.5% |
| ov_SC03_091 | 2539 | 1751 | 0 | 2547 | 2640 | 96.5% |
| ov_SC03_092 | 2503 | 1756 | 0 | 2515 | 2587 | 97.2% |
| ov_SC03_093 | 2513 | 1751 | 0 | 2517 | 2563 | 98.2% |
| ov_SC03_094 | 2502 | 1751 | 0 | 2508 | 2577 | 97.3% |
| ov_SC03_095 | 2429 | 1751 | 0 | 2432 | 2474 | 98.3% |
| ov_SC03_096 | 2426 | 1751 | 0 | 2429 | 2465 | 98.5% |
| ov_SC03_097 | 2523 | 1751 | 0 | 2530 | 2603 | 97.2% |
| ov_SC03_098 | 2507 | 1751 | 0 | 2510 | 2541 | 98.8% |
| ov_SC03_099 | 2483 | 1751 | 0 | 2486 | 2504 | 99.3% |
| ov_SC03_100 | 2518 | 1751 | 0 | 2522 | 2539 | 99.3% |
| ov_SC03_101 | 2480 | 1756 | 0 | 2484 | 2528 | 98.3% |
| ov_SC03_102 | 2467 | 1751 | 0 | 2470 | 2492 | 99.1% |
| ov_SC03_103 | 2491 | 1753 | 0 | 2494 | 2510 | 99.4% |
| ov_SC03_104 | 2538 | 1756 | 0 | 2545 | 2616 | 97.3% |
| ov_SC03_105 | 2446 | 1752 | 0 | 2453 | 2597 | 94.5% |
| ov_SC03_108 | 2397 | 1751 | 0 | 2397 | 2443 | 98.1% |
| ov_SC03_109 | 2405 | 1751 | 0 | 2407 | 2424 | 99.3% |
| ov_SC03_110 | 2438 | 1751 | 0 | 2438 | 2468 | 98.8% |
| ov_SC03_111 | 2469 | 1751 | 0 | 2472 | 2510 | 98.5% |
| ov_SC03_112 | 2434 | 1753 | 0 | 2436 | 2526 | 96.4% |
| ov_SC03_113 | 2432 | 1753 | 0 | 2435 | 2468 | 98.7% |
| ov_SC03_114 | 2387 | 1751 | 0 | 2389 | 2415 | 98.9% |
| ov_SC03_115 | 2428 | 1751 | 0 | 2430 | 2472 | 98.3% |
| ov_SC03_116 | 2397 | 1751 | 0 | 2400 | 2438 | 98.4% |
| ov_SC03_117 | 2465 | 1751 | 0 | 2471 | 2557 | 96.6% |
| ov_SC03_118 | 2540 | 1776 | 0 | 2541 | 2685 | 94.6% |
| ov_SC03_119 | 2537 | 1776 | 0 | 2538 | 2685 | 94.5% |
| ov_SC03_121 | 2400 | 1751 | 0 | 2403 | 2459 | 97.7% |
| ov_SC03_124 | 2574 | 1747 | 0 | 2594 | 2741 | 94.6% |
| ov_SC03_125 | 2525 | 1751 | 0 | 2537 | 2588 | 98.0% |
| ov_SC03_126 | 2396 | 1753 | 0 | 2396 | 2423 | 98.9% |
| ov_SC04_000 | 2471 | 1755 | 0 | 2480 | 2546 | 97.4% |
| ov_SC04_002 | 2501 | 1751 | 0 | 2505 | 2636 | 95.0% |
| ov_SC04_003 | 2435 | 1751 | 0 | 2439 | 2502 | 97.5% |
| ov_SC04_004 | 2467 | 1751 | 0 | 2469 | 2558 | 96.5% |
| ov_SC04_005 | 2496 | 1751 | 0 | 2502 | 2612 | 95.8% |
| ov_SC04_006 | 2427 | 1751 | 0 | 2429 | 2454 | 99.0% |
| ov_SC04_007 | 2490 | 1751 | 0 | 2494 | 2569 | 97.1% |
| ov_SC04_008 | 2397 | 1751 | 0 | 2397 | 2415 | 99.3% |
| ov_SC04_009 | 2424 | 1751 | 0 | 2427 | 2441 | 99.4% |
| ov_SC04_010 | 2399 | 1751 | 0 | 2400 | 2419 | 99.2% |
| ov_SC04_011 | 2513 | 1756 | 0 | 2519 | 2803 | 89.9% |
| ov_SC04_012 | 2394 | 1751 | 0 | 2395 | 2420 | 99.0% |
| ov_SC04_015 | 2530 | 1752 | 0 | 2541 | 2611 | 97.3% |
| ov_SC04_016 | 2398 | 1751 | 0 | 2400 | 2440 | 98.4% |
| ov_SC04_018 | 2670 | 1788 | 0 | 2670 | 2857 | 93.5% |
| ov_SC04_019 | 2670 | 1788 | 0 | 2670 | 2857 | 93.5% |
| ov_SC04_020 | 2511 | 1751 | 0 | 2523 | 2567 | 98.3% |
| ov_SC04_021 | 2396 | 1753 | 0 | 2396 | 2423 | 98.9% |
| ov_SC05_000 | 2403 | 1755 | 0 | 2406 | 2422 | 99.3% |
| ov_SC05_001 | 2475 | 1751 | 0 | 2480 | 2574 | 96.3% |
| ov_SC05_002 | 2427 | 1751 | 0 | 2430 | 2442 | 99.5% |
| ov_SC05_003 | 2410 | 1751 | 0 | 2411 | 2481 | 97.2% |
| ov_SC05_004 | 2420 | 1751 | 0 | 2422 | 2464 | 98.3% |
| ov_SC05_005 | 2435 | 1756 | 0 | 2436 | 2491 | 97.8% |
| ov_SC05_006 | 2419 | 1751 | 0 | 2419 | 2430 | 99.5% |
| ov_SC05_007 | 2428 | 1751 | 0 | 2433 | 2482 | 98.0% |
| ov_SC05_008 | 2439 | 1751 | 0 | 2441 | 2543 | 96.0% |
| ov_SC05_009 | 2406 | 1751 | 0 | 2410 | 2438 | 98.9% |
| ov_SC05_010 | 2446 | 1752 | 0 | 2450 | 2588 | 94.7% |
| ov_SC05_011 | 2393 | 1751 | 0 | 2394 | 2409 | 99.4% |
| ov_SC05_017 | 2646 | 1748 | 0 | 2657 | 2842 | 93.5% |
| ov_SC05_018 | 2543 | 1751 | 0 | 2556 | 2673 | 95.6% |
| ov_SC05_019 | 2396 | 1753 | 0 | 2396 | 2423 | 98.9% |
| ov_SC06_000 | 2525 | 1760 | 0 | 2528 | 2691 | 93.9% |
| ov_SC06_006 | 2420 | 1751 | 0 | 2421 | 2511 | 96.4% |
| ov_SC06_008 | 2485 | 1753 | 0 | 2491 | 2542 | 98.0% |
| ov_SC06_010 | 2457 | 1751 | 0 | 2462 | 2517 | 97.8% |
| ov_SC06_011 | 2412 | 1751 | 0 | 2416 | 2468 | 97.9% |
| ov_SC06_013 | 2402 | 1751 | 0 | 2403 | 2425 | 99.1% |
| ov_SC06_014 | 2413 | 1751 | 0 | 2415 | 2453 | 98.5% |
| ov_SC06_015 | 2407 | 1751 | 0 | 2407 | 2421 | 99.4% |
| ov_SC06_016 | 2449 | 1752 | 0 | 2451 | 2549 | 96.2% |
| ov_SC06_018 | 2497 | 1753 | 0 | 2504 | 2665 | 94.0% |
| ov_SC06_020 | 2443 | 1753 | 0 | 2444 | 2518 | 97.1% |
| ov_SC06_022 | 2478 | 1751 | 0 | 2486 | 2642 | 94.1% |
| ov_SC06_024 | 2498 | 1751 | 0 | 2504 | 2667 | 93.9% |
| ov_SC06_025 | 2449 | 1751 | 0 | 2454 | 2572 | 95.4% |
| ov_SC06_027 | 2388 | 1751 | 0 | 2389 | 2408 | 99.2% |
| ov_SC06_029 | 2474 | 1752 | 0 | 2486 | 2662 | 93.4% |
| ov_SC06_030 | 2410 | 1752 | 0 | 2410 | 2456 | 98.1% |
| ov_SC06_032 | 2484 | 1752 | 0 | 2491 | 2658 | 93.7% |
| ov_SC06_033 | 2484 | 1752 | 0 | 2491 | 2631 | 94.7% |
| ov_SC07_000 | 2429 | 1755 | 0 | 2431 | 2521 | 96.4% |
| ov_SC07_001 | 2401 | 1751 | 0 | 2403 | 2454 | 97.9% |
| ov_SC07_002 | 2457 | 1752 | 0 | 2461 | 2579 | 95.4% |
| ov_SC07_006 | 2321 | 1575 | 0 | 2401 | 2455 | 97.8% |
| ov_SC07_007 | 2334 | 1607 | 0 | 2418 | 2612 | 92.6% |
| ov_SC07_008 | 2382 | 1751 | 0 | 2382 | 2386 | 99.8% |
| ov_SC07_009 | 2394 | 1751 | 0 | 2396 | 2430 | 98.6% |
| ov_SC07_010 | 2317 | 1628 | 0 | 2400 | 2523 | 95.1% |
| ov_SC07_011 | 2336 | 1606 | 0 | 2416 | 2448 | 98.7% |