Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 7281e0af57 docs(phase-30): SS129 (two jr traps) + checkpoint — 1 of 3 reach-138 targets banked, 2 ledgered
SS129a: post-carve, rtu_match/match_one COUNT THE JUMP TABLE AS INSTRUCTIONS. For
func_8013BD74 it reported `mine=198, target=226, 206 mismatched` — and 226-198=28 is
exactly the table's entry count. A draft that verified cleanly BEFORE the carve reads as a
total mismatch AFTER it, and the number looks like deep codegen trouble. SS81 says a jr fn's
match_one MATCH is not a bank; SS129a says its post-carve DIFF is not a diff either. Let the
whole-binary gate arbitrate.

SS129b: NEVER commit a carve whose owner is still a stub. harvest_verify refuses a dirty
tree (SS97) and the carve dirties config/, so committing the carve to get a clean tree is
tempting — and it STRANDS the carve. jr_inventory refused instantly (R32: "carve ownership
is not 1:1 ... UNOWNED 0x801d828c"), blocking every later jr operation on that overlay.
Reverted; R22 140/140. The route for a jr fn is the INTEGRATED jtbl_family_bank (carve ->
extract -> remap -> gate per sibling in ONE uncommitted transaction). The SS81 hand-chain is
for diagnosis; as a banking path its two constraints contradict each other.

Both were mine, both caught by oracles before any lasting damage, both now documented.
Ledger: JTBL-PAD-SPEC-DRIFT (func_8013BD74, with the exact SS8e error) and CC1-FAIL-UNREAD
(func_8013B83C — the diagnostic is genuinely unread; say so rather than guess).

Fleet 93.21% fn-count / 89.1% instr / 80.4% distinct.
2026-07-31 14:45:28 -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: 329705 / 353720 = 93.21% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11712618 / 13141652 = 89.1% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4530868 / 5634875 = 80.4% (72028/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: 11712182 / 13081451 = 89.5%)

FLEET REAL substantive : 327850 (of which dedup-shared 240422 via 1905 groups / 240496 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 24008 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 2337 1748 0 2337 2403 97.3%
ov_SC01_001 2344 1749 0 2346 2466 95.1%
ov_SC01_004 2335 1740 0 2336 2414 96.8%
ov_SC01_005 2366 1763 0 2366 2503 94.5%
ov_SC01_006 2366 1763 0 2366 2503 94.5%
ov_SC01_008 2335 1740 0 2337 2426 96.3%
ov_SC01_009 2360 1741 0 2361 2507 94.2%
ov_SC01_074 2341 1741 0 2343 2425 96.6%
ov_SC01_077 2502 1707 0 2504 2585 96.9%
ov_SC01_080 2375 1744 0 2375 2512 94.5%
ov_SC01_084 2396 1749 0 2401 2579 93.1%
ov_SC02_000 2452 1788 0 2452 2683 91.4%
ov_SC02_003 2451 1788 0 2451 2683 91.4%
ov_SC02_004 2340 1744 0 2340 2401 97.5%
ov_SC02_005 2477 1740 0 2487 2927 85.0%
ov_SC02_011 2488 1747 0 2499 2893 86.4%
ov_SC02_015 2345 1746 0 2345 2414 97.1%
ov_SC02_016 2389 1746 0 2392 2545 94.0%
ov_SC02_017 2448 1746 0 2456 2732 89.9%
ov_SC02_021 2350 1746 0 2350 2437 96.4%
ov_SC02_026 2377 1744 0 2383 2572 92.7%
ov_SC02_027 2404 1744 0 2413 2692 89.6%
ov_SC02_028 2401 1744 0 2411 2701 89.3%
ov_SC02_031 2388 1745 0 2393 2562 93.4%
ov_SC02_035 2362 1744 0 2365 2520 93.8%
ov_SC02_039 2339 1744 0 2339 2416 96.8%
ov_SC02_041 2389 1744 0 2392 2561 93.4%
ov_SC03_001 2490 1745 0 2507 2869 87.4%
ov_SC03_002 2402 1749 0 2417 2631 91.9%
ov_SC03_003 2346 1744 0 2347 2423 96.9%
ov_SC03_006 2432 1750 0 2441 2767 88.2%
ov_SC03_007 2400 1744 0 2404 2623 91.7%
ov_SC03_010 2358 1744 0 2358 2471 95.4%
ov_SC03_011 2362 1744 0 2368 2527 93.7%
ov_SC03_012 2337 1744 0 2338 2406 97.2%
ov_SC03_013 2364 1744 0 2364 2493 94.8%
ov_SC03_014 2452 1772 0 2452 2685 91.3%
ov_SC03_015 2440 1772 0 2440 2685 90.9%
ov_SC03_023 2348 1744 0 2349 2435 96.5%
ov_SC03_024 2414 1749 0 2421 2641 91.7%
ov_SC03_028 2384 1744 0 2388 2664 89.6%
ov_SC03_029 2401 1746 0 2411 2644 91.2%
ov_SC03_030 2359 1749 0 2361 2495 94.6%
ov_SC03_031 2360 1744 0 2363 2514 94.0%
ov_SC03_089 2385 1749 0 2392 2581 92.7%
ov_SC03_090 2388 1749 0 2396 2625 91.3%
ov_SC03_091 2385 1744 0 2393 2640 90.6%
ov_SC03_092 2408 1749 0 2420 2587 93.5%
ov_SC03_093 2373 1744 0 2377 2563 92.7%
ov_SC03_094 2364 1744 0 2370 2577 92.0%
ov_SC03_095 2352 1744 0 2355 2474 95.2%
ov_SC03_096 2353 1744 0 2356 2465 95.6%
ov_SC03_097 2395 1744 0 2402 2603 92.3%
ov_SC03_098 2364 1744 0 2367 2541 93.2%
ov_SC03_099 2354 1744 0 2357 2504 94.1%
ov_SC03_100 2368 1744 0 2372 2539 93.4%
ov_SC03_101 2376 1749 0 2380 2528 94.1%
ov_SC03_102 2354 1744 0 2357 2492 94.6%
ov_SC03_103 2359 1746 0 2362 2510 94.1%
ov_SC03_104 2394 1749 0 2401 2616 91.8%
ov_SC03_105 2374 1744 0 2381 2597 91.7%
ov_SC03_108 2342 1744 0 2342 2443 95.9%
ov_SC03_109 2345 1744 0 2347 2424 96.8%
ov_SC03_110 2350 1744 0 2350 2468 95.2%
ov_SC03_111 2366 1744 0 2369 2510 94.4%
ov_SC03_112 2360 1746 0 2362 2526 93.5%
ov_SC03_113 2349 1746 0 2352 2468 95.3%
ov_SC03_114 2335 1744 0 2337 2415 96.8%
ov_SC03_115 2357 1744 0 2359 2472 95.4%
ov_SC03_116 2343 1744 0 2346 2438 96.2%
ov_SC03_117 2381 1744 0 2387 2557 93.4%
ov_SC03_118 2431 1768 0 2432 2685 90.6%
ov_SC03_119 2427 1768 0 2428 2685 90.4%
ov_SC03_121 2351 1744 0 2354 2459 95.7%
ov_SC03_124 2445 1740 0 2465 2741 89.9%
ov_SC03_125 2389 1744 0 2401 2588 92.8%
ov_SC03_126 2348 1746 0 2348 2423 96.9%
ov_SC04_000 2375 1748 0 2384 2546 93.6%
ov_SC04_002 2399 1744 0 2403 2636 91.2%
ov_SC04_003 2363 1744 0 2367 2502 94.6%
ov_SC04_004 2376 1744 0 2378 2558 93.0%
ov_SC04_005 2388 1744 0 2394 2612 91.7%
ov_SC04_006 2352 1744 0 2354 2454 95.9%
ov_SC04_007 2382 1744 0 2386 2569 92.9%
ov_SC04_008 2340 1744 0 2340 2415 96.9%
ov_SC04_009 2356 1744 0 2359 2441 96.6%
ov_SC04_010 2344 1744 0 2345 2419 96.9%
ov_SC04_011 2419 1749 0 2425 2803 86.5%
ov_SC04_012 2342 1744 0 2343 2420 96.8%
ov_SC04_015 2414 1745 0 2425 2611 92.9%
ov_SC04_016 2344 1744 0 2346 2440 96.1%
ov_SC04_018 2496 1780 0 2496 2857 87.4%
ov_SC04_019 2492 1780 0 2492 2857 87.2%
ov_SC04_020 2377 1744 0 2389 2567 93.1%
ov_SC04_021 2348 1746 0 2348 2423 96.9%
ov_SC05_000 2346 1748 0 2349 2422 97.0%
ov_SC05_001 2378 1744 0 2383 2574 92.6%
ov_SC05_002 2354 1744 0 2357 2442 96.5%
ov_SC05_003 2350 1744 0 2351 2481 94.8%
ov_SC05_004 2345 1744 0 2347 2464 95.3%
ov_SC05_005 2361 1749 0 2362 2491 94.8%
ov_SC05_006 2346 1744 0 2346 2430 96.5%
ov_SC05_007 2355 1744 0 2360 2482 95.1%
ov_SC05_008 2373 1744 0 2375 2543 93.4%
ov_SC05_009 2348 1744 0 2352 2438 96.5%
ov_SC05_010 2380 1744 0 2384 2588 92.1%
ov_SC05_011 2343 1744 0 2344 2409 97.3%
ov_SC05_017 2474 1741 0 2485 2842 87.4%
ov_SC05_018 2408 1744 0 2421 2673 90.6%
ov_SC05_019 2348 1746 0 2348 2423 96.9%
ov_SC06_000 2433 1753 0 2436 2691 90.5%
ov_SC06_006 2367 1744 0 2368 2511 94.3%
ov_SC06_008 2392 1746 0 2398 2542 94.3%
ov_SC06_010 2371 1744 0 2376 2517 94.4%
ov_SC06_011 2352 1744 0 2356 2468 95.5%
ov_SC06_013 2346 1744 0 2347 2425 96.8%
ov_SC06_014 2353 1744 0 2355 2453 96.0%
ov_SC06_015 2351 1744 0 2351 2421 97.1%
ov_SC06_016 2368 1744 0 2370 2549 93.0%
ov_SC06_018 2395 1746 0 2402 2665 90.1%
ov_SC06_020 2363 1746 0 2364 2518 93.9%
ov_SC06_022 2388 1744 0 2396 2642 90.7%
ov_SC06_024 2399 1744 0 2405 2667 90.2%
ov_SC06_025 2378 1744 0 2383 2572 92.7%
ov_SC06_027 2338 1744 0 2339 2408 97.1%
ov_SC06_029 2403 1744 0 2415 2662 90.7%
ov_SC06_030 2351 1744 0 2351 2456 95.7%
ov_SC06_032 2385 1745 0 2392 2658 90.0%
ov_SC06_033 2385 1745 0 2392 2631 90.9%
ov_SC07_000 2364 1748 0 2366 2521 93.9%
ov_SC07_001 2350 1744 0 2352 2454 95.8%
ov_SC07_002 2378 1744 0 2382 2579 92.4%
ov_SC07_006 2236 1560 0 2316 2456 94.3%
ov_SC07_007 2256 1592 0 2340 2613 89.6%
ov_SC07_008 2332 1744 0 2332 2386 97.7%
ov_SC07_009 2342 1744 0 2344 2430 96.5%
ov_SC07_010 2248 1614 0 2331 2524 92.4%
ov_SC07_011 2256 1591 0 2336 2449 95.4%