Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 41ff2ba127 docs(phase-30 S44 I.3): checkpoint — Part I complete; fresh session resumes at Part II
- R22 clean-fleet 143/143; fleet 96.13% fn / 94.4% instr (honest grown denominator; pre-expansion
  line 95.00% on 140 kept for continuity) / 88.3% distinct. audit-binaries OK over 143.
- make audit-disc: UNCLAIMED 78 -> 75 payloads (3,564,021 -> 2,038,104 B), residue 0 — the three
  claims flipped automatically via check.sha, exactly as the ledger was designed.
- S44 session total: 5,126 member-functions banked into the 3 new overlays; the ~2,051 remaining
  stubs are the new frontier, visible to every tool via citizenship (no separate ledger rows —
  recorded as a deviation from plan I.2e, redundant by construction).
- Part II handoff live in the plan file + the S44 checkpoint block.
2026-08-06 12:10:25 -06:00

164 lines
9.3 KiB
Markdown
Raw Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
# BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)
# 143 binaries: main + resident + 141 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: 347168 / 361133 = 96.13% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 12676581 / 13435348 = 94.4% (shipped .text across main + resident + 141 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 5095988 / 5770185 = 88.3% (78334/89140 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: 12676145 / 13355838 = 94.9%)
FLEET REAL substantive : 345069 (of which dedup-shared 246275 via 1919 groups / 246349 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 13958
FLEET matchable : 361133
| 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_MAIN_012 | 1701 | 1612 | 0 | 1780 | 2403 | 74.1% |
| ov_SC01_000 | 2389 | 1755 | 0 | 2389 | 2403 | 99.4% |
| ov_SC01_001 | 2396 | 1756 | 0 | 2398 | 2466 | 97.2% |
| ov_SC01_004 | 2393 | 1747 | 0 | 2394 | 2414 | 99.2% |
| ov_SC01_005 | 2425 | 1770 | 0 | 2425 | 2503 | 96.9% |
| ov_SC01_006 | 2425 | 1770 | 0 | 2425 | 2503 | 96.9% |
| ov_SC01_008 | 2393 | 1747 | 0 | 2395 | 2426 | 98.7% |
| ov_SC01_009 | 2420 | 1748 | 0 | 2421 | 2507 | 96.6% |
| ov_SC01_074 | 2395 | 1748 | 0 | 2397 | 2425 | 98.8% |
| ov_SC01_077 | 2561 | 1713 | 0 | 2563 | 2586 | 99.1% |
| ov_SC01_080 | 2424 | 1751 | 0 | 2424 | 2512 | 96.5% |
| ov_SC01_084 | 2448 | 1756 | 0 | 2453 | 2579 | 95.1% |
| ov_SC02_000 | 2520 | 1795 | 0 | 2520 | 2683 | 93.9% |
| ov_SC02_003 | 2520 | 1795 | 0 | 2520 | 2683 | 93.9% |
| ov_SC02_004 | 2389 | 1751 | 0 | 2389 | 2401 | 99.5% |
| ov_SC02_005 | 2539 | 1747 | 0 | 2549 | 2927 | 87.1% |
| ov_SC02_011 | 2626 | 1754 | 0 | 2637 | 2893 | 91.2% |
| ov_SC02_015 | 2399 | 1753 | 0 | 2399 | 2414 | 99.4% |
| ov_SC02_016 | 2482 | 1754 | 0 | 2485 | 2545 | 97.6% |
| ov_SC02_017 | 2550 | 1754 | 0 | 2558 | 2732 | 93.6% |
| ov_SC02_021 | 2404 | 1753 | 0 | 2404 | 2437 | 98.6% |
| ov_SC02_026 | 2502 | 1751 | 0 | 2508 | 2572 | 97.5% |
| ov_SC02_027 | 2558 | 1751 | 0 | 2567 | 2692 | 95.4% |
| ov_SC02_028 | 2563 | 1751 | 0 | 2573 | 2701 | 95.3% |
| ov_SC02_031 | 2493 | 1752 | 0 | 2498 | 2562 | 97.5% |
| ov_SC02_035 | 2487 | 1751 | 0 | 2490 | 2520 | 98.8% |
| ov_SC02_037 | 1720 | 1612 | 0 | 1802 | 2516 | 71.6% |
| ov_SC02_039 | 2394 | 1751 | 0 | 2394 | 2416 | 99.1% |
| ov_SC02_041 | 2475 | 1751 | 0 | 2478 | 2561 | 96.8% |
| ov_SC03_001 | 2669 | 1752 | 0 | 2686 | 2869 | 93.6% |
| ov_SC03_002 | 2541 | 1756 | 0 | 2556 | 2631 | 97.1% |
| ov_SC03_003 | 2398 | 1751 | 0 | 2399 | 2423 | 99.0% |
| ov_SC03_006 | 2553 | 1758 | 0 | 2562 | 2767 | 92.6% |
| ov_SC03_007 | 2462 | 1751 | 0 | 2466 | 2623 | 94.0% |
| ov_SC03_010 | 2414 | 1751 | 0 | 2414 | 2471 | 97.7% |
| ov_SC03_011 | 2415 | 1751 | 0 | 2421 | 2527 | 95.8% |
| ov_SC03_012 | 2388 | 1751 | 0 | 2389 | 2406 | 99.3% |
| ov_SC03_013 | 2420 | 1751 | 0 | 2420 | 2493 | 97.1% |
| ov_SC03_014 | 2573 | 1782 | 0 | 2573 | 2685 | 95.8% |
| ov_SC03_015 | 2572 | 1782 | 0 | 2572 | 2685 | 95.8% |
| ov_SC03_023 | 2400 | 1751 | 0 | 2401 | 2435 | 98.6% |
| ov_SC03_024 | 2516 | 1756 | 0 | 2523 | 2641 | 95.5% |
| ov_SC03_028 | 2462 | 1752 | 0 | 2466 | 2664 | 92.6% |
| ov_SC03_029 | 2499 | 1754 | 0 | 2509 | 2644 | 94.9% |
| ov_SC03_030 | 2418 | 1756 | 0 | 2420 | 2495 | 97.0% |
| ov_SC03_031 | 2446 | 1751 | 0 | 2449 | 2514 | 97.4% |
| ov_SC03_089 | 2512 | 1756 | 0 | 2519 | 2581 | 97.6% |
| ov_SC03_090 | 2527 | 1756 | 0 | 2535 | 2625 | 96.6% |
| ov_SC03_091 | 2541 | 1751 | 0 | 2549 | 2640 | 96.6% |
| ov_SC03_092 | 2505 | 1756 | 0 | 2517 | 2587 | 97.3% |
| ov_SC03_093 | 2515 | 1751 | 0 | 2519 | 2563 | 98.3% |
| ov_SC03_094 | 2504 | 1751 | 0 | 2510 | 2577 | 97.4% |
| ov_SC03_095 | 2431 | 1751 | 0 | 2434 | 2474 | 98.4% |
| ov_SC03_096 | 2428 | 1751 | 0 | 2431 | 2465 | 98.6% |
| ov_SC03_097 | 2525 | 1751 | 0 | 2532 | 2603 | 97.3% |
| ov_SC03_098 | 2509 | 1751 | 0 | 2512 | 2541 | 98.9% |
| ov_SC03_099 | 2485 | 1751 | 0 | 2488 | 2504 | 99.4% |
| ov_SC03_100 | 2520 | 1751 | 0 | 2524 | 2539 | 99.4% |
| ov_SC03_101 | 2483 | 1756 | 0 | 2487 | 2528 | 98.4% |
| ov_SC03_102 | 2469 | 1751 | 0 | 2472 | 2492 | 99.2% |
| ov_SC03_103 | 2493 | 1753 | 0 | 2496 | 2510 | 99.4% |
| ov_SC03_104 | 2541 | 1756 | 0 | 2548 | 2616 | 97.4% |
| ov_SC03_105 | 2448 | 1752 | 0 | 2455 | 2597 | 94.5% |
| ov_SC03_107 | 1705 | 1612 | 0 | 1788 | 2497 | 71.6% |
| ov_SC03_108 | 2399 | 1751 | 0 | 2399 | 2443 | 98.2% |
| ov_SC03_109 | 2407 | 1751 | 0 | 2409 | 2424 | 99.4% |
| ov_SC03_110 | 2440 | 1751 | 0 | 2440 | 2468 | 98.9% |
| ov_SC03_111 | 2471 | 1751 | 0 | 2474 | 2510 | 98.6% |
| ov_SC03_112 | 2436 | 1753 | 0 | 2438 | 2526 | 96.5% |
| ov_SC03_113 | 2434 | 1753 | 0 | 2437 | 2468 | 98.7% |
| ov_SC03_114 | 2389 | 1751 | 0 | 2391 | 2415 | 99.0% |
| ov_SC03_115 | 2430 | 1751 | 0 | 2432 | 2472 | 98.4% |
| ov_SC03_116 | 2399 | 1751 | 0 | 2402 | 2438 | 98.5% |
| ov_SC03_117 | 2467 | 1751 | 0 | 2473 | 2557 | 96.7% |
| ov_SC03_118 | 2542 | 1776 | 0 | 2543 | 2685 | 94.7% |
| ov_SC03_119 | 2539 | 1776 | 0 | 2540 | 2685 | 94.6% |
| ov_SC03_121 | 2402 | 1751 | 0 | 2405 | 2459 | 97.8% |
| ov_SC03_124 | 2576 | 1747 | 0 | 2596 | 2741 | 94.7% |
| ov_SC03_125 | 2527 | 1751 | 0 | 2539 | 2588 | 98.1% |
| ov_SC03_126 | 2399 | 1753 | 0 | 2399 | 2423 | 99.0% |
| ov_SC04_000 | 2473 | 1755 | 0 | 2482 | 2546 | 97.5% |
| ov_SC04_002 | 2503 | 1751 | 0 | 2507 | 2636 | 95.1% |
| ov_SC04_003 | 2438 | 1751 | 0 | 2442 | 2502 | 97.6% |
| ov_SC04_004 | 2469 | 1751 | 0 | 2471 | 2558 | 96.6% |
| ov_SC04_005 | 2499 | 1751 | 0 | 2505 | 2612 | 95.9% |
| ov_SC04_006 | 2429 | 1751 | 0 | 2431 | 2454 | 99.1% |
| ov_SC04_007 | 2493 | 1751 | 0 | 2497 | 2569 | 97.2% |
| ov_SC04_008 | 2399 | 1751 | 0 | 2399 | 2415 | 99.3% |
| ov_SC04_009 | 2426 | 1751 | 0 | 2429 | 2441 | 99.5% |
| ov_SC04_010 | 2401 | 1751 | 0 | 2402 | 2419 | 99.3% |
| ov_SC04_011 | 2515 | 1756 | 0 | 2521 | 2803 | 89.9% |
| ov_SC04_012 | 2396 | 1751 | 0 | 2397 | 2420 | 99.0% |
| ov_SC04_015 | 2532 | 1752 | 0 | 2543 | 2611 | 97.4% |
| ov_SC04_016 | 2400 | 1751 | 0 | 2402 | 2440 | 98.4% |
| ov_SC04_018 | 2672 | 1788 | 0 | 2672 | 2857 | 93.5% |
| ov_SC04_019 | 2672 | 1788 | 0 | 2672 | 2857 | 93.5% |
| ov_SC04_020 | 2513 | 1751 | 0 | 2525 | 2567 | 98.4% |
| ov_SC04_021 | 2399 | 1753 | 0 | 2399 | 2423 | 99.0% |
| ov_SC05_000 | 2405 | 1755 | 0 | 2408 | 2422 | 99.4% |
| ov_SC05_001 | 2477 | 1751 | 0 | 2482 | 2574 | 96.4% |
| ov_SC05_002 | 2429 | 1751 | 0 | 2432 | 2442 | 99.6% |
| ov_SC05_003 | 2412 | 1751 | 0 | 2413 | 2481 | 97.3% |
| ov_SC05_004 | 2422 | 1751 | 0 | 2424 | 2464 | 98.4% |
| ov_SC05_005 | 2437 | 1756 | 0 | 2438 | 2491 | 97.9% |
| ov_SC05_006 | 2421 | 1751 | 0 | 2421 | 2430 | 99.6% |
| ov_SC05_007 | 2430 | 1751 | 0 | 2435 | 2482 | 98.1% |
| ov_SC05_008 | 2441 | 1751 | 0 | 2443 | 2543 | 96.1% |
| ov_SC05_009 | 2408 | 1751 | 0 | 2412 | 2438 | 98.9% |
| ov_SC05_010 | 2448 | 1752 | 0 | 2452 | 2588 | 94.7% |
| ov_SC05_011 | 2395 | 1751 | 0 | 2396 | 2409 | 99.5% |
| ov_SC05_017 | 2648 | 1748 | 0 | 2659 | 2842 | 93.6% |
| ov_SC05_018 | 2545 | 1751 | 0 | 2558 | 2673 | 95.7% |
| ov_SC05_019 | 2399 | 1753 | 0 | 2399 | 2423 | 99.0% |
| ov_SC06_000 | 2528 | 1760 | 0 | 2531 | 2691 | 94.1% |
| ov_SC06_006 | 2422 | 1751 | 0 | 2423 | 2511 | 96.5% |
| ov_SC06_008 | 2487 | 1753 | 0 | 2493 | 2542 | 98.1% |
| ov_SC06_010 | 2459 | 1751 | 0 | 2464 | 2517 | 97.9% |
| ov_SC06_011 | 2414 | 1751 | 0 | 2418 | 2468 | 98.0% |
| ov_SC06_013 | 2404 | 1751 | 0 | 2405 | 2425 | 99.2% |
| ov_SC06_014 | 2415 | 1751 | 0 | 2417 | 2453 | 98.5% |
| ov_SC06_015 | 2409 | 1751 | 0 | 2409 | 2421 | 99.5% |
| ov_SC06_016 | 2451 | 1752 | 0 | 2453 | 2549 | 96.2% |
| ov_SC06_018 | 2499 | 1753 | 0 | 2506 | 2665 | 94.0% |
| ov_SC06_020 | 2445 | 1753 | 0 | 2446 | 2518 | 97.1% |
| ov_SC06_022 | 2480 | 1751 | 0 | 2488 | 2642 | 94.2% |
| ov_SC06_024 | 2500 | 1751 | 0 | 2506 | 2667 | 94.0% |
| ov_SC06_025 | 2451 | 1751 | 0 | 2456 | 2572 | 95.5% |
| ov_SC06_027 | 2390 | 1751 | 0 | 2391 | 2408 | 99.3% |
| ov_SC06_029 | 2476 | 1752 | 0 | 2488 | 2662 | 93.5% |
| ov_SC06_030 | 2412 | 1752 | 0 | 2412 | 2456 | 98.2% |
| ov_SC06_032 | 2486 | 1752 | 0 | 2493 | 2658 | 93.8% |
| ov_SC06_033 | 2487 | 1752 | 0 | 2494 | 2631 | 94.8% |
| ov_SC07_000 | 2431 | 1755 | 0 | 2433 | 2521 | 96.5% |
| ov_SC07_001 | 2403 | 1751 | 0 | 2405 | 2454 | 98.0% |
| ov_SC07_002 | 2459 | 1752 | 0 | 2463 | 2579 | 95.5% |
| ov_SC07_006 | 2323 | 1575 | 0 | 2403 | 2455 | 97.9% |
| ov_SC07_007 | 2336 | 1607 | 0 | 2420 | 2612 | 92.6% |
| ov_SC07_008 | 2384 | 1751 | 0 | 2384 | 2386 | 99.9% |
| ov_SC07_009 | 2396 | 1751 | 0 | 2398 | 2430 | 98.7% |
| ov_SC07_010 | 2320 | 1628 | 0 | 2403 | 2523 | 95.2% |
| ov_SC07_011 | 2338 | 1606 | 0 | 2418 | 2448 | 98.8% |