Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 471314da54 feat(phase-30): T3 waves 2+3 + 4 behemoths — 52 cores banked, 911 members propagated; R22 140/140
WAVE 3 (48 agents / 8 binaries, dealt across binaries so BANKING fans out): 48/48 match_one MATCH,
48/48 banked through 8 PARALLEL per-binary gates. WAVE 2: 15/19. BEHEMOTHS: 4 non-jr confirmed
(func_8017E120 884ins x14, func_8017FA5C 728, func_8017CAD4 755, func_8017E35C 719).
Tier-routed propagation (§123): family_sweep --hseq banked 911 members across 137 overlays.

fn-count 92.32 -> 92.59% | instr 87.9 -> 88.2% | distinct 78.3 -> 78.7% (70,506 unique fns)
R22 clean-fleet 140 passed / 0 failed, under one campaign lock (treelock.sh).

CORRECTION (R14): the 'per-binary bank-rate cliff' I reported from the pre-incident gate run
(SC03_014 1/6, SC04_018 1/6, SC06_018 2/6) was an ARTIFACT — those gates ran against a tree
propagation was concurrently rewriting. Re-gated clean: 6/6 everywhere. A measurement taken during
corruption is not a measurement; I should not have theorised a cause before re-running it.
2026-07-30 22:22:35 -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: 327501 / 353720 = 92.59% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11591233 / 13141652 = 88.2% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4431928 / 5634875 = 78.7% (70506/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: 11590797 / 13081451 = 88.6%)

FLEET REAL substantive : 325646 (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 : 26212 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 2322 1746 0 2322 2403 96.6%
ov_SC01_001 2329 1747 0 2331 2466 94.5%
ov_SC01_004 2320 1738 0 2321 2414 96.1%
ov_SC01_005 2351 1761 0 2351 2503 93.9%
ov_SC01_006 2351 1761 0 2351 2503 93.9%
ov_SC01_008 2320 1738 0 2322 2426 95.7%
ov_SC01_009 2345 1739 0 2346 2507 93.6%
ov_SC01_074 2326 1739 0 2328 2425 96.0%
ov_SC01_077 2496 1706 0 2498 2585 96.6%
ov_SC01_080 2360 1742 0 2360 2512 93.9%
ov_SC01_084 2376 1742 0 2381 2579 92.3%
ov_SC02_000 2427 1777 0 2427 2683 90.5%
ov_SC02_003 2427 1777 0 2427 2683 90.5%
ov_SC02_004 2325 1742 0 2325 2401 96.8%
ov_SC02_005 2457 1738 0 2467 2927 84.3%
ov_SC02_011 2468 1745 0 2479 2893 85.7%
ov_SC02_015 2330 1744 0 2330 2414 96.5%
ov_SC02_016 2374 1744 0 2377 2545 93.4%
ov_SC02_017 2428 1744 0 2436 2732 89.2%
ov_SC02_021 2335 1744 0 2335 2437 95.8%
ov_SC02_026 2357 1742 0 2363 2572 91.9%
ov_SC02_027 2384 1742 0 2393 2692 88.9%
ov_SC02_028 2386 1742 0 2396 2701 88.7%
ov_SC02_031 2373 1743 0 2378 2562 92.8%
ov_SC02_035 2342 1742 0 2345 2520 93.1%
ov_SC02_039 2324 1742 0 2324 2416 96.2%
ov_SC02_041 2368 1742 0 2371 2561 92.6%
ov_SC03_001 2475 1743 0 2492 2869 86.9%
ov_SC03_002 2387 1747 0 2402 2631 91.3%
ov_SC03_003 2331 1742 0 2332 2423 96.2%
ov_SC03_006 2417 1748 0 2426 2767 87.7%
ov_SC03_007 2385 1742 0 2389 2623 91.1%
ov_SC03_010 2343 1742 0 2343 2471 94.8%
ov_SC03_011 2347 1742 0 2353 2527 93.1%
ov_SC03_012 2322 1742 0 2323 2406 96.6%
ov_SC03_013 2349 1742 0 2349 2493 94.2%
ov_SC03_014 2419 1767 0 2419 2685 90.1%
ov_SC03_015 2419 1767 0 2419 2685 90.1%
ov_SC03_023 2333 1742 0 2334 2435 95.9%
ov_SC03_024 2399 1747 0 2406 2641 91.1%
ov_SC03_028 2369 1742 0 2373 2664 89.1%
ov_SC03_029 2386 1744 0 2396 2644 90.6%
ov_SC03_030 2344 1747 0 2346 2495 94.0%
ov_SC03_031 2345 1742 0 2348 2514 93.4%
ov_SC03_089 2365 1742 0 2372 2581 91.9%
ov_SC03_090 2368 1742 0 2376 2625 90.5%
ov_SC03_091 2370 1742 0 2378 2640 90.1%
ov_SC03_092 2387 1742 0 2399 2587 92.7%
ov_SC03_093 2358 1742 0 2362 2563 92.2%
ov_SC03_094 2349 1742 0 2355 2577 91.4%
ov_SC03_095 2337 1742 0 2340 2474 94.6%
ov_SC03_096 2338 1742 0 2341 2465 95.0%
ov_SC03_097 2379 1742 0 2386 2603 91.7%
ov_SC03_098 2349 1742 0 2352 2541 92.6%
ov_SC03_099 2339 1742 0 2342 2504 93.5%
ov_SC03_100 2352 1742 0 2356 2539 92.8%
ov_SC03_101 2356 1742 0 2360 2528 93.4%
ov_SC03_102 2339 1742 0 2342 2492 94.0%
ov_SC03_103 2344 1744 0 2347 2510 93.5%
ov_SC03_104 2373 1742 0 2380 2616 91.0%
ov_SC03_105 2359 1742 0 2366 2597 91.1%
ov_SC03_108 2327 1742 0 2327 2443 95.3%
ov_SC03_109 2330 1742 0 2332 2424 96.2%
ov_SC03_110 2335 1742 0 2335 2468 94.6%
ov_SC03_111 2351 1742 0 2354 2510 93.8%
ov_SC03_112 2345 1744 0 2347 2526 92.9%
ov_SC03_113 2334 1744 0 2337 2468 94.7%
ov_SC03_114 2320 1742 0 2322 2415 96.1%
ov_SC03_115 2342 1742 0 2344 2472 94.8%
ov_SC03_116 2328 1742 0 2331 2438 95.6%
ov_SC03_117 2366 1742 0 2372 2557 92.8%
ov_SC03_118 2416 1766 0 2417 2685 90.0%
ov_SC03_119 2412 1766 0 2413 2685 89.9%
ov_SC03_121 2336 1742 0 2339 2459 95.1%
ov_SC03_124 2430 1738 0 2450 2741 89.4%
ov_SC03_125 2374 1742 0 2386 2588 92.2%
ov_SC03_126 2333 1744 0 2333 2423 96.3%
ov_SC04_000 2360 1746 0 2369 2546 93.0%
ov_SC04_002 2383 1742 0 2387 2636 90.6%
ov_SC04_003 2348 1742 0 2352 2502 94.0%
ov_SC04_004 2361 1742 0 2363 2558 92.4%
ov_SC04_005 2372 1742 0 2378 2612 91.0%
ov_SC04_006 2337 1742 0 2339 2454 95.3%
ov_SC04_007 2366 1742 0 2370 2569 92.3%
ov_SC04_008 2325 1742 0 2325 2415 96.3%
ov_SC04_009 2341 1742 0 2344 2441 96.0%
ov_SC04_010 2329 1742 0 2330 2419 96.3%
ov_SC04_011 2394 1742 0 2400 2803 85.6%
ov_SC04_012 2327 1742 0 2328 2420 96.2%
ov_SC04_015 2399 1743 0 2410 2611 92.3%
ov_SC04_016 2329 1742 0 2331 2440 95.5%
ov_SC04_018 2476 1777 0 2476 2857 86.7%
ov_SC04_019 2476 1777 0 2476 2857 86.7%
ov_SC04_020 2362 1742 0 2374 2567 92.5%
ov_SC04_021 2333 1744 0 2333 2423 96.3%
ov_SC05_000 2331 1746 0 2334 2422 96.4%
ov_SC05_001 2363 1742 0 2368 2574 92.0%
ov_SC05_002 2339 1742 0 2342 2442 95.9%
ov_SC05_003 2335 1742 0 2336 2481 94.2%
ov_SC05_004 2330 1742 0 2332 2464 94.6%
ov_SC05_005 2341 1742 0 2342 2491 94.0%
ov_SC05_006 2331 1742 0 2331 2430 95.9%
ov_SC05_007 2340 1742 0 2345 2482 94.5%
ov_SC05_008 2358 1742 0 2360 2543 92.8%
ov_SC05_009 2333 1742 0 2337 2438 95.9%
ov_SC05_010 2364 1742 0 2368 2588 91.5%
ov_SC05_011 2328 1742 0 2329 2409 96.7%
ov_SC05_017 2459 1739 0 2470 2842 86.9%
ov_SC05_018 2393 1742 0 2406 2673 90.0%
ov_SC05_019 2333 1744 0 2333 2423 96.3%
ov_SC06_000 2418 1751 0 2421 2691 90.0%
ov_SC06_006 2352 1742 0 2353 2511 93.7%
ov_SC06_008 2376 1744 0 2382 2542 93.7%
ov_SC06_010 2355 1742 0 2360 2517 93.8%
ov_SC06_011 2337 1742 0 2341 2468 94.9%
ov_SC06_013 2331 1742 0 2332 2425 96.2%
ov_SC06_014 2338 1742 0 2340 2453 95.4%
ov_SC06_015 2336 1742 0 2336 2421 96.5%
ov_SC06_016 2353 1742 0 2355 2549 92.4%
ov_SC06_018 2375 1744 0 2382 2665 89.4%
ov_SC06_020 2348 1744 0 2349 2518 93.3%
ov_SC06_022 2373 1742 0 2381 2642 90.1%
ov_SC06_024 2383 1742 0 2389 2667 89.6%
ov_SC06_025 2362 1742 0 2367 2572 92.0%
ov_SC06_027 2323 1742 0 2324 2408 96.5%
ov_SC06_029 2387 1742 0 2399 2662 90.1%
ov_SC06_030 2336 1742 0 2336 2456 95.1%
ov_SC06_032 2369 1743 0 2376 2658 89.4%
ov_SC06_033 2369 1743 0 2376 2631 90.3%
ov_SC07_000 2349 1746 0 2351 2521 93.3%
ov_SC07_001 2335 1742 0 2337 2454 95.2%
ov_SC07_002 2363 1742 0 2367 2579 91.8%
ov_SC07_006 2220 1558 0 2300 2456 93.6%
ov_SC07_007 2240 1590 0 2324 2613 88.9%
ov_SC07_008 2317 1742 0 2317 2386 97.1%
ov_SC07_009 2327 1742 0 2329 2430 95.8%
ov_SC07_010 2243 1612 0 2326 2524 92.2%
ov_SC07_011 2240 1589 0 2320 2449 94.7%