Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 159317d3fe feat(phase-30): T3 wave-1 — 8 cores banked + 4 propagated fleet-wide; R22 140/140 (fn-count 92.00 -> 92.16%)
Ultracode wave of 14 agents over fresh reach-138 cores: 14/14 match_one MATCH, 8 accepted by the
whole-binary gate (the §52b law reproduced exactly). Propagated per-function (the incident fix):
0x8012E014, 0x80151C54, 0x8012F49C, 0x80151B98 -> +573 instances. R22 clean-fleet 140/140;
instr 87.5 -> 87.7%, fn-count 92.00 -> 92.16%, distinct 69,828 -> 69,836.

The other 4 banked cores are h_seq (PURE/IMM) families: dedup_propagate is h_exact-only, so its
'reach<2' / 'not self-contained' refusals were statements about the TOOL's tier, not the functions
-> cookbook §123 (the §53 carve-law generalized to the propagation-tier axis) + a routing table.
They bank via family_sweep --hseq next.
2026-07-30 19:57:54 -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: 325990 / 353720 = 92.16% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11524387 / 13141652 = 87.7% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4397667 / 5634875 = 78.0% (69836/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: 11523951 / 13081451 = 88.1%)

FLEET REAL substantive : 324135 (of which dedup-shared 240081 via 1890 groups / 240155 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 27723 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 2315 1746 0 2315 2403 96.3%
ov_SC01_001 2322 1747 0 2324 2466 94.2%
ov_SC01_004 2313 1738 0 2314 2414 95.9%
ov_SC01_005 2344 1761 0 2344 2503 93.6%
ov_SC01_006 2344 1761 0 2344 2503 93.6%
ov_SC01_008 2313 1738 0 2315 2426 95.4%
ov_SC01_009 2338 1739 0 2339 2507 93.3%
ov_SC01_074 2319 1739 0 2321 2425 95.7%
ov_SC01_077 2490 1706 0 2492 2585 96.4%
ov_SC01_080 2353 1742 0 2353 2512 93.7%
ov_SC01_084 2363 1742 0 2368 2579 91.8%
ov_SC02_000 2416 1777 0 2416 2683 90.0%
ov_SC02_003 2416 1777 0 2416 2683 90.0%
ov_SC02_004 2318 1742 0 2318 2401 96.5%
ov_SC02_005 2441 1738 0 2451 2927 83.7%
ov_SC02_011 2449 1745 0 2460 2893 85.0%
ov_SC02_015 2323 1744 0 2323 2414 96.2%
ov_SC02_016 2361 1744 0 2364 2545 92.9%
ov_SC02_017 2410 1744 0 2418 2732 88.5%
ov_SC02_021 2328 1744 0 2328 2437 95.5%
ov_SC02_026 2343 1742 0 2349 2572 91.3%
ov_SC02_027 2367 1742 0 2376 2692 88.3%
ov_SC02_028 2369 1742 0 2379 2701 88.1%
ov_SC02_031 2356 1743 0 2361 2562 92.2%
ov_SC02_035 2330 1742 0 2333 2520 92.6%
ov_SC02_039 2314 1742 0 2314 2416 95.8%
ov_SC02_041 2357 1742 0 2360 2561 92.2%
ov_SC03_001 2458 1743 0 2475 2869 86.3%
ov_SC03_002 2376 1747 0 2391 2631 90.9%
ov_SC03_003 2324 1742 0 2325 2423 96.0%
ov_SC03_006 2398 1748 0 2407 2767 87.0%
ov_SC03_007 2375 1742 0 2379 2623 90.7%
ov_SC03_010 2333 1742 0 2333 2471 94.4%
ov_SC03_011 2340 1742 0 2346 2527 92.8%
ov_SC03_012 2315 1742 0 2316 2406 96.3%
ov_SC03_013 2339 1742 0 2339 2493 93.8%
ov_SC03_014 2400 1767 0 2400 2685 89.4%
ov_SC03_015 2402 1767 0 2402 2685 89.5%
ov_SC03_023 2326 1742 0 2327 2435 95.6%
ov_SC03_024 2391 1747 0 2398 2641 90.8%
ov_SC03_028 2360 1742 0 2364 2664 88.7%
ov_SC03_029 2371 1744 0 2381 2644 90.1%
ov_SC03_030 2337 1747 0 2339 2495 93.7%
ov_SC03_031 2333 1742 0 2336 2514 92.9%
ov_SC03_089 2349 1742 0 2356 2581 91.3%
ov_SC03_090 2352 1742 0 2360 2625 89.9%
ov_SC03_091 2354 1742 0 2362 2640 89.5%
ov_SC03_092 2370 1742 0 2382 2587 92.1%
ov_SC03_093 2341 1742 0 2345 2563 91.5%
ov_SC03_094 2336 1742 0 2342 2577 90.9%
ov_SC03_095 2325 1742 0 2328 2474 94.1%
ov_SC03_096 2326 1742 0 2329 2465 94.5%
ov_SC03_097 2362 1742 0 2369 2603 91.0%
ov_SC03_098 2333 1742 0 2336 2541 91.9%
ov_SC03_099 2327 1742 0 2330 2504 93.1%
ov_SC03_100 2336 1742 0 2340 2539 92.2%
ov_SC03_101 2339 1742 0 2343 2528 92.7%
ov_SC03_102 2327 1742 0 2330 2492 93.5%
ov_SC03_103 2332 1744 0 2335 2510 93.0%
ov_SC03_104 2356 1742 0 2363 2616 90.3%
ov_SC03_105 2351 1742 0 2358 2597 90.8%
ov_SC03_108 2317 1742 0 2317 2443 94.8%
ov_SC03_109 2322 1742 0 2324 2424 95.9%
ov_SC03_110 2324 1742 0 2324 2468 94.2%
ov_SC03_111 2336 1742 0 2339 2510 93.2%
ov_SC03_112 2333 1744 0 2335 2526 92.4%
ov_SC03_113 2327 1744 0 2330 2468 94.4%
ov_SC03_114 2313 1742 0 2315 2415 95.9%
ov_SC03_115 2333 1742 0 2335 2472 94.5%
ov_SC03_116 2321 1742 0 2324 2438 95.3%
ov_SC03_117 2357 1742 0 2363 2557 92.4%
ov_SC03_118 2404 1766 0 2405 2685 89.6%
ov_SC03_119 2400 1766 0 2401 2685 89.4%
ov_SC03_121 2329 1742 0 2332 2459 94.8%
ov_SC03_124 2420 1738 0 2440 2741 89.0%
ov_SC03_125 2363 1742 0 2375 2588 91.8%
ov_SC03_126 2326 1744 0 2326 2423 96.0%
ov_SC04_000 2346 1746 0 2355 2546 92.5%
ov_SC04_002 2368 1742 0 2372 2636 90.0%
ov_SC04_003 2339 1742 0 2343 2502 93.6%
ov_SC04_004 2348 1742 0 2350 2558 91.9%
ov_SC04_005 2358 1742 0 2364 2612 90.5%
ov_SC04_006 2325 1742 0 2327 2454 94.8%
ov_SC04_007 2352 1742 0 2356 2569 91.7%
ov_SC04_008 2318 1742 0 2318 2415 96.0%
ov_SC04_009 2332 1742 0 2335 2441 95.7%
ov_SC04_010 2322 1742 0 2323 2419 96.0%
ov_SC04_011 2381 1742 0 2387 2803 85.2%
ov_SC04_012 2320 1742 0 2321 2420 95.9%
ov_SC04_015 2390 1743 0 2401 2611 92.0%
ov_SC04_016 2322 1742 0 2324 2440 95.2%
ov_SC04_018 2456 1777 0 2456 2857 86.0%
ov_SC04_019 2456 1777 0 2456 2857 86.0%
ov_SC04_020 2351 1742 0 2363 2567 92.1%
ov_SC04_021 2326 1744 0 2326 2423 96.0%
ov_SC05_000 2324 1746 0 2327 2422 96.1%
ov_SC05_001 2346 1742 0 2351 2574 91.3%
ov_SC05_002 2331 1742 0 2334 2442 95.6%
ov_SC05_003 2326 1742 0 2327 2481 93.8%
ov_SC05_004 2323 1742 0 2325 2464 94.4%
ov_SC05_005 2327 1742 0 2328 2491 93.5%
ov_SC05_006 2320 1742 0 2320 2430 95.5%
ov_SC05_007 2331 1742 0 2336 2482 94.1%
ov_SC05_008 2351 1742 0 2353 2543 92.5%
ov_SC05_009 2325 1742 0 2329 2438 95.5%
ov_SC05_010 2353 1742 0 2357 2588 91.1%
ov_SC05_011 2321 1742 0 2322 2409 96.4%
ov_SC05_017 2443 1739 0 2454 2842 86.3%
ov_SC05_018 2382 1742 0 2395 2673 89.6%
ov_SC05_019 2326 1744 0 2326 2423 96.0%
ov_SC06_000 2402 1751 0 2405 2691 89.4%
ov_SC06_006 2345 1742 0 2346 2511 93.4%
ov_SC06_008 2366 1744 0 2372 2542 93.3%
ov_SC06_010 2345 1742 0 2350 2517 93.4%
ov_SC06_011 2330 1742 0 2334 2468 94.6%
ov_SC06_013 2324 1742 0 2325 2425 95.9%
ov_SC06_014 2331 1742 0 2333 2453 95.1%
ov_SC06_015 2329 1742 0 2329 2421 96.2%
ov_SC06_016 2345 1742 0 2347 2549 92.1%
ov_SC06_018 2360 1744 0 2367 2665 88.8%
ov_SC06_020 2334 1744 0 2335 2518 92.7%
ov_SC06_022 2359 1742 0 2367 2642 89.6%
ov_SC06_024 2368 1742 0 2374 2667 89.0%
ov_SC06_025 2353 1742 0 2358 2572 91.7%
ov_SC06_027 2313 1742 0 2314 2408 96.1%
ov_SC06_029 2374 1742 0 2386 2662 89.6%
ov_SC06_030 2328 1742 0 2328 2456 94.8%
ov_SC06_032 2354 1743 0 2361 2658 88.8%
ov_SC06_033 2355 1743 0 2362 2631 89.8%
ov_SC07_000 2341 1746 0 2343 2521 92.9%
ov_SC07_001 2325 1742 0 2327 2454 94.8%
ov_SC07_002 2352 1742 0 2356 2579 91.4%
ov_SC07_006 2214 1558 0 2294 2456 93.4%
ov_SC07_007 2234 1590 0 2318 2613 88.7%
ov_SC07_008 2310 1742 0 2310 2386 96.8%
ov_SC07_009 2320 1742 0 2322 2430 95.6%
ov_SC07_010 2237 1612 0 2320 2524 91.9%
ov_SC07_011 2234 1589 0 2314 2449 94.5%