Files
BFM-decomp/docs/progress.fleet.md
T
Drew T f2696653ef feat(phase-30 S39/S4): 4 wave-6 drafts bank UNCHANGED — the block was our tooling, not the code (+1,905 ins)
The 6 still-open wave-6 drafts were triaged against S38's own diagnosis table; 4 banked,
R22 clean-fleet 140/140.

  func_801919A0  ov_SC06_032  710 ins   (was: undefined ref func_8018B878 -- "alias class")
  func_80189030  ov_SC03_001  557 ins   (was: undefined ref func_80186F88 -- "alias class")
  func_801878E8  ov_SC04_018  513 ins   (was: undefined ref func_801848DC -- "alias class")
  func_8018A564  ov_SC02_027  125 ins   (was: CC1-FAIL Error 33)

THE FINDING: all four banked with NO change to the drafts. S38 recorded them blocked on a
class that needed cracking ("cracking this one class frees 6 drafts at once"); they had
ALREADY been freed by S38's own tool repairs -- the jr_isolate_all/overlay_src_split
alias-DEFINITION-deletion blindness and harvest_verify._reload_corpus. The drafts were
correct all along; the instruments were failing them. That is the FIFTH recorded "wall"
this phase to resolve to our own tooling.

  => RE-GATE STORED DRAFTS AFTER ANY TOOL REPAIR before treating a stored verdict as a
     fact about the code. A verdict is only as current as the instrument that produced it
     (R35 applied to the backlog, not just to metrics).

Each bank also performed a jtbl carve, so config/ changed => fleet blast radius => full R22
(clean + extract-all + check-all) = 140 passed, 0 failed of 140.

Metrics move exactly as the model predicts: instr 12406172 -> 12408077 = +1,905, the exact
sum of the four (710+557+513+125); distinct +1,905 / +4 unique fns; fn-count +4.
audit-digest OK. 0 NON_MATCHING (G4).

LEFT ON THE BACKLOG as genuine codegen residuals, not forced (P9):
  func_8017C974 (ov_SC01_077, 947 ins, close=47, REGALLOC-PERM, 12 permuter variants inert)
  func_80188C68 (ov_SC03_124, 551 ins, close=370, the only target with no twin anywhere)

NEXT: the func_801878E8 family (4 open siblings x 513 ~= +2,052). family_sweep --hseq
correctly REFUSED it via the §53 interlock (has_mid_jr => jtbl carve route; "a 0% from this
path would be a TOOL artifact, not a wall"), and jtbl_family_bank.py requires a clean tree
because it reverts from HEAD per sibling -- which is why this commit lands first.
2026-08-04 22:10:49 -06:00

9.1 KiB
Raw Blame History

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: 341190 / 353717 = 96.46% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12408077 / 13141652 = 94.4% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 5026987 / 5634875 = 89.2% (77956/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: 12407641 / 13081451 = 94.8%)

FLEET REAL substantive : 339335 (of which dedup-shared 241142 via 1910 groups / 241216 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 12520 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 1753 0 2387 2403 99.3%
ov_SC01_001 2393 1754 0 2395 2466 97.1%
ov_SC01_004 2390 1745 0 2391 2414 99.0%
ov_SC01_005 2422 1768 0 2422 2503 96.8%
ov_SC01_006 2422 1768 0 2422 2503 96.8%
ov_SC01_008 2390 1745 0 2392 2426 98.6%
ov_SC01_009 2416 1746 0 2417 2507 96.4%
ov_SC01_074 2392 1746 0 2394 2425 98.7%
ov_SC01_077 2543 1711 0 2545 2586 98.4%
ov_SC01_080 2420 1749 0 2420 2512 96.3%
ov_SC01_084 2445 1754 0 2450 2579 95.0%
ov_SC02_000 2511 1793 0 2511 2683 93.6%
ov_SC02_003 2511 1793 0 2511 2683 93.6%
ov_SC02_004 2385 1749 0 2385 2401 99.3%
ov_SC02_005 2535 1745 0 2545 2927 86.9%
ov_SC02_011 2621 1752 0 2632 2893 91.0%
ov_SC02_015 2396 1751 0 2396 2414 99.3%
ov_SC02_016 2477 1751 0 2480 2545 97.4%
ov_SC02_017 2547 1751 0 2555 2732 93.5%
ov_SC02_021 2401 1751 0 2401 2437 98.5%
ov_SC02_026 2497 1749 0 2503 2572 97.3%
ov_SC02_027 2555 1749 0 2564 2692 95.2%
ov_SC02_028 2560 1749 0 2570 2701 95.1%
ov_SC02_031 2490 1750 0 2495 2562 97.4%
ov_SC02_035 2482 1749 0 2485 2520 98.6%
ov_SC02_039 2391 1749 0 2391 2416 99.0%
ov_SC02_041 2469 1749 0 2472 2561 96.5%
ov_SC03_001 2660 1750 0 2677 2869 93.3%
ov_SC03_002 2535 1754 0 2550 2631 96.9%
ov_SC03_003 2394 1749 0 2395 2423 98.8%
ov_SC03_006 2550 1755 0 2559 2767 92.5%
ov_SC03_007 2458 1749 0 2462 2623 93.9%
ov_SC03_010 2411 1749 0 2411 2471 97.6%
ov_SC03_011 2412 1749 0 2418 2527 95.7%
ov_SC03_012 2384 1749 0 2385 2406 99.1%
ov_SC03_013 2417 1749 0 2417 2493 97.0%
ov_SC03_014 2567 1777 0 2567 2685 95.6%
ov_SC03_015 2569 1777 0 2569 2685 95.7%
ov_SC03_023 2396 1749 0 2397 2435 98.4%
ov_SC03_024 2513 1754 0 2520 2641 95.4%
ov_SC03_028 2456 1749 0 2460 2664 92.3%
ov_SC03_029 2496 1751 0 2506 2644 94.8%
ov_SC03_030 2414 1754 0 2416 2495 96.8%
ov_SC03_031 2443 1749 0 2446 2514 97.3%
ov_SC03_089 2508 1754 0 2515 2581 97.4%
ov_SC03_090 2521 1754 0 2529 2625 96.3%
ov_SC03_091 2535 1749 0 2543 2640 96.3%
ov_SC03_092 2501 1754 0 2513 2587 97.1%
ov_SC03_093 2512 1749 0 2516 2563 98.2%
ov_SC03_094 2499 1749 0 2505 2577 97.2%
ov_SC03_095 2428 1749 0 2431 2474 98.3%
ov_SC03_096 2425 1749 0 2428 2465 98.5%
ov_SC03_097 2522 1749 0 2529 2603 97.2%
ov_SC03_098 2504 1749 0 2507 2541 98.7%
ov_SC03_099 2482 1749 0 2485 2504 99.2%
ov_SC03_100 2517 1749 0 2521 2539 99.3%
ov_SC03_101 2479 1754 0 2483 2528 98.2%
ov_SC03_102 2466 1749 0 2469 2492 99.1%
ov_SC03_103 2490 1751 0 2493 2510 99.3%
ov_SC03_104 2536 1754 0 2543 2616 97.2%
ov_SC03_105 2443 1749 0 2450 2597 94.3%
ov_SC03_108 2396 1749 0 2396 2443 98.1%
ov_SC03_109 2403 1749 0 2405 2424 99.2%
ov_SC03_110 2437 1749 0 2437 2468 98.7%
ov_SC03_111 2468 1749 0 2471 2510 98.4%
ov_SC03_112 2433 1751 0 2435 2526 96.4%
ov_SC03_113 2431 1751 0 2434 2468 98.6%
ov_SC03_114 2386 1749 0 2388 2415 98.9%
ov_SC03_115 2427 1749 0 2429 2472 98.3%
ov_SC03_116 2396 1749 0 2399 2438 98.4%
ov_SC03_117 2464 1749 0 2470 2557 96.6%
ov_SC03_118 2539 1773 0 2540 2685 94.6%
ov_SC03_119 2535 1773 0 2536 2685 94.5%
ov_SC03_121 2399 1749 0 2402 2459 97.7%
ov_SC03_124 2568 1745 0 2588 2741 94.4%
ov_SC03_125 2521 1749 0 2533 2588 97.9%
ov_SC03_126 2395 1751 0 2395 2423 98.8%
ov_SC04_000 2469 1753 0 2478 2546 97.3%
ov_SC04_002 2497 1749 0 2501 2636 94.9%
ov_SC04_003 2434 1749 0 2438 2502 97.4%
ov_SC04_004 2466 1749 0 2468 2558 96.5%
ov_SC04_005 2492 1749 0 2498 2612 95.6%
ov_SC04_006 2426 1749 0 2428 2454 98.9%
ov_SC04_007 2486 1749 0 2490 2569 96.9%
ov_SC04_008 2396 1749 0 2396 2415 99.2%
ov_SC04_009 2422 1749 0 2425 2441 99.3%
ov_SC04_010 2398 1749 0 2399 2419 99.2%
ov_SC04_011 2511 1754 0 2517 2803 89.8%
ov_SC04_012 2393 1749 0 2394 2420 98.9%
ov_SC04_015 2526 1750 0 2537 2611 97.2%
ov_SC04_016 2397 1749 0 2399 2440 98.3%
ov_SC04_018 2667 1785 0 2667 2857 93.3%
ov_SC04_019 2663 1785 0 2663 2857 93.2%
ov_SC04_020 2507 1749 0 2519 2567 98.1%
ov_SC04_021 2395 1751 0 2395 2423 98.8%
ov_SC05_000 2402 1753 0 2405 2422 99.3%
ov_SC05_001 2474 1749 0 2479 2574 96.3%
ov_SC05_002 2426 1749 0 2429 2442 99.5%
ov_SC05_003 2408 1749 0 2409 2481 97.1%
ov_SC05_004 2419 1749 0 2421 2464 98.3%
ov_SC05_005 2433 1754 0 2434 2491 97.7%
ov_SC05_006 2418 1749 0 2418 2430 99.5%
ov_SC05_007 2427 1749 0 2432 2482 98.0%
ov_SC05_008 2438 1749 0 2440 2543 95.9%
ov_SC05_009 2404 1749 0 2408 2438 98.8%
ov_SC05_010 2443 1749 0 2447 2588 94.6%
ov_SC05_011 2392 1749 0 2393 2409 99.3%
ov_SC05_017 2640 1746 0 2651 2842 93.3%
ov_SC05_018 2539 1749 0 2552 2673 95.5%
ov_SC05_019 2395 1751 0 2395 2423 98.8%
ov_SC06_000 2524 1758 0 2527 2691 93.9%
ov_SC06_006 2419 1749 0 2420 2511 96.4%
ov_SC06_008 2479 1751 0 2485 2542 97.8%
ov_SC06_010 2453 1749 0 2458 2517 97.7%
ov_SC06_011 2411 1749 0 2415 2468 97.9%
ov_SC06_013 2401 1749 0 2402 2425 99.1%
ov_SC06_014 2412 1749 0 2414 2453 98.4%
ov_SC06_015 2406 1749 0 2406 2421 99.4%
ov_SC06_016 2447 1749 0 2449 2549 96.1%
ov_SC06_018 2488 1751 0 2495 2665 93.6%
ov_SC06_020 2439 1751 0 2440 2518 96.9%
ov_SC06_022 2471 1749 0 2479 2642 93.8%
ov_SC06_024 2490 1749 0 2496 2667 93.6%
ov_SC06_025 2447 1749 0 2452 2572 95.3%
ov_SC06_027 2387 1749 0 2388 2408 99.2%
ov_SC06_029 2470 1749 0 2482 2662 93.2%
ov_SC06_030 2406 1749 0 2406 2456 98.0%
ov_SC06_032 2481 1750 0 2488 2658 93.6%
ov_SC06_033 2476 1750 0 2483 2631 94.4%
ov_SC07_000 2428 1753 0 2430 2521 96.4%
ov_SC07_001 2400 1749 0 2402 2454 97.9%
ov_SC07_002 2454 1749 0 2458 2579 95.3%
ov_SC07_006 2315 1573 0 2395 2455 97.6%
ov_SC07_007 2333 1605 0 2417 2612 92.5%
ov_SC07_008 2381 1749 0 2381 2386 99.8%
ov_SC07_009 2393 1749 0 2395 2430 98.6%
ov_SC07_010 2314 1626 0 2397 2523 95.0%
ov_SC07_011 2335 1604 0 2415 2448 98.7%