mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-29 07:10:32 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
be2eaa184235b90a5accc240d3d2b0c7a252ff08
BFM-decomp/docs/progress.fleet.md
T
Drew T be2eaa1842 feat(phase-30 S38/S1c): re-sweep the matched-exemplar families after the type lift — 97 members banked 
Families that returned 0/N before the 895-type lift now bank: 97 member-matches across 137 families
(1,138 failed; skipped 186 STRUCT-class by design, 106 unresolved-immediate, 6 not-stub).
R22 clean-fleet 140/140. Fleet 94.2 -> 94.3% instr / 88.9 -> 89.1% distinct / 96.29 -> 96.32% fn.

RESIDUE PRICED FROM THE SWEEP'S OWN .classified.txt PAYLOADS, not inferred: in the 400 most recent
failure records, 133 are genuine DIFF and the clear majority are `conflicting types for <sym>` —
the §103/§20 extern-conflict class, across ~12 overlays. That confirms S1b (wire reconcile_tu /
cast_call_sites into the --hseq path) is the correct next lever, and it is now justified by
measurement rather than by the plan's projection.

Method note worth keeping: those per-member diagnoses have been written on every sweep run for a
month and were never read — including by me, until after I had spent two probes and a manual
--stage-only round rediscovering one of them. Every remaining task now starts by reading the payload.
2026-08-04 19:04:56 -06:00

161 lines
9.1 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)
# 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: 340690 / 353721 = 96.32% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 12387520 / 13141652 = 94.3% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 5018334 / 5634875 = 89.1% (77884/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: 12387084 / 13081451 = 94.7%)
FLEET REAL substantive : 338835 (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 : 13024
FLEET matchable : 353721
| 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 | 2384 | 1753 | 0 | 2384 | 2403 | 99.2% |
| ov_SC01_001 | 2390 | 1754 | 0 | 2392 | 2466 | 97.0% |
| ov_SC01_004 | 2387 | 1745 | 0 | 2388 | 2414 | 98.9% |
| ov_SC01_005 | 2417 | 1768 | 0 | 2417 | 2503 | 96.6% |
| ov_SC01_006 | 2417 | 1768 | 0 | 2417 | 2503 | 96.6% |
| ov_SC01_008 | 2387 | 1745 | 0 | 2389 | 2426 | 98.5% |
| ov_SC01_009 | 2413 | 1746 | 0 | 2414 | 2507 | 96.3% |
| ov_SC01_074 | 2389 | 1746 | 0 | 2391 | 2425 | 98.6% |
| ov_SC01_077 | 2540 | 1711 | 0 | 2542 | 2586 | 98.3% |
| ov_SC01_080 | 2417 | 1749 | 0 | 2417 | 2512 | 96.2% |
| ov_SC01_084 | 2442 | 1754 | 0 | 2447 | 2579 | 94.9% |
| ov_SC02_000 | 2508 | 1793 | 0 | 2508 | 2683 | 93.5% |
| ov_SC02_003 | 2508 | 1793 | 0 | 2508 | 2683 | 93.5% |
| ov_SC02_004 | 2382 | 1749 | 0 | 2382 | 2401 | 99.2% |
| ov_SC02_005 | 2531 | 1745 | 0 | 2541 | 2927 | 86.8% |
| ov_SC02_011 | 2617 | 1752 | 0 | 2628 | 2893 | 90.8% |
| ov_SC02_015 | 2393 | 1751 | 0 | 2393 | 2414 | 99.1% |
| ov_SC02_016 | 2474 | 1751 | 0 | 2477 | 2545 | 97.3% |
| ov_SC02_017 | 2544 | 1751 | 0 | 2552 | 2732 | 93.4% |
| ov_SC02_021 | 2398 | 1751 | 0 | 2398 | 2437 | 98.4% |
| ov_SC02_026 | 2494 | 1749 | 0 | 2500 | 2572 | 97.2% |
| ov_SC02_027 | 2551 | 1749 | 0 | 2560 | 2692 | 95.1% |
| ov_SC02_028 | 2556 | 1749 | 0 | 2566 | 2701 | 95.0% |
| ov_SC02_031 | 2487 | 1750 | 0 | 2492 | 2562 | 97.3% |
| ov_SC02_035 | 2479 | 1749 | 0 | 2482 | 2520 | 98.5% |
| ov_SC02_039 | 2388 | 1749 | 0 | 2388 | 2416 | 98.8% |
| ov_SC02_041 | 2466 | 1749 | 0 | 2469 | 2561 | 96.4% |
| ov_SC03_001 | 2653 | 1750 | 0 | 2670 | 2869 | 93.1% |
| ov_SC03_002 | 2529 | 1754 | 0 | 2544 | 2631 | 96.7% |
| ov_SC03_003 | 2391 | 1749 | 0 | 2392 | 2423 | 98.7% |
| ov_SC03_006 | 2544 | 1755 | 0 | 2553 | 2767 | 92.3% |
| ov_SC03_007 | 2455 | 1749 | 0 | 2459 | 2623 | 93.7% |
| ov_SC03_010 | 2407 | 1749 | 0 | 2407 | 2471 | 97.4% |
| ov_SC03_011 | 2409 | 1749 | 0 | 2415 | 2527 | 95.6% |
| ov_SC03_012 | 2381 | 1749 | 0 | 2382 | 2406 | 99.0% |
| ov_SC03_013 | 2413 | 1749 | 0 | 2413 | 2493 | 96.8% |
| ov_SC03_014 | 2564 | 1777 | 0 | 2564 | 2685 | 95.5% |
| ov_SC03_015 | 2565 | 1777 | 0 | 2565 | 2685 | 95.5% |
| ov_SC03_023 | 2393 | 1749 | 0 | 2394 | 2435 | 98.3% |
| ov_SC03_024 | 2508 | 1754 | 0 | 2515 | 2641 | 95.2% |
| ov_SC03_028 | 2452 | 1749 | 0 | 2456 | 2664 | 92.2% |
| ov_SC03_029 | 2493 | 1751 | 0 | 2503 | 2644 | 94.7% |
| ov_SC03_030 | 2411 | 1754 | 0 | 2413 | 2495 | 96.7% |
| ov_SC03_031 | 2440 | 1749 | 0 | 2443 | 2514 | 97.2% |
| ov_SC03_089 | 2505 | 1754 | 0 | 2512 | 2581 | 97.3% |
| ov_SC03_090 | 2518 | 1754 | 0 | 2526 | 2625 | 96.2% |
| ov_SC03_091 | 2532 | 1749 | 0 | 2540 | 2640 | 96.2% |
| ov_SC03_092 | 2497 | 1754 | 0 | 2509 | 2587 | 97.0% |
| ov_SC03_093 | 2509 | 1749 | 0 | 2513 | 2563 | 98.0% |
| ov_SC03_094 | 2496 | 1749 | 0 | 2502 | 2577 | 97.1% |
| ov_SC03_095 | 2425 | 1749 | 0 | 2428 | 2474 | 98.1% |
| ov_SC03_096 | 2422 | 1749 | 0 | 2425 | 2465 | 98.4% |
| ov_SC03_097 | 2518 | 1749 | 0 | 2525 | 2603 | 97.0% |
| ov_SC03_098 | 2501 | 1749 | 0 | 2504 | 2541 | 98.5% |
| ov_SC03_099 | 2479 | 1749 | 0 | 2482 | 2504 | 99.1% |
| ov_SC03_100 | 2514 | 1749 | 0 | 2518 | 2539 | 99.2% |
| ov_SC03_101 | 2476 | 1754 | 0 | 2480 | 2528 | 98.1% |
| ov_SC03_102 | 2463 | 1749 | 0 | 2466 | 2492 | 99.0% |
| ov_SC03_103 | 2487 | 1751 | 0 | 2490 | 2510 | 99.2% |
| ov_SC03_104 | 2532 | 1754 | 0 | 2539 | 2616 | 97.1% |
| ov_SC03_105 | 2439 | 1749 | 0 | 2446 | 2597 | 94.2% |
| ov_SC03_108 | 2392 | 1749 | 0 | 2392 | 2443 | 97.9% |
| ov_SC03_109 | 2400 | 1749 | 0 | 2402 | 2424 | 99.1% |
| ov_SC03_110 | 2434 | 1749 | 0 | 2434 | 2468 | 98.6% |
| ov_SC03_111 | 2465 | 1749 | 0 | 2468 | 2510 | 98.3% |
| ov_SC03_112 | 2429 | 1751 | 0 | 2431 | 2526 | 96.2% |
| ov_SC03_113 | 2428 | 1751 | 0 | 2431 | 2468 | 98.5% |
| ov_SC03_114 | 2383 | 1749 | 0 | 2385 | 2415 | 98.8% |
| ov_SC03_115 | 2424 | 1749 | 0 | 2426 | 2472 | 98.1% |
| ov_SC03_116 | 2393 | 1749 | 0 | 2396 | 2438 | 98.3% |
| ov_SC03_117 | 2459 | 1749 | 0 | 2465 | 2557 | 96.4% |
| ov_SC03_118 | 2534 | 1773 | 0 | 2535 | 2685 | 94.4% |
| ov_SC03_119 | 2530 | 1773 | 0 | 2531 | 2685 | 94.3% |
| ov_SC03_121 | 2396 | 1749 | 0 | 2399 | 2459 | 97.6% |
| ov_SC03_124 | 2563 | 1745 | 0 | 2583 | 2741 | 94.2% |
| ov_SC03_125 | 2517 | 1749 | 0 | 2529 | 2588 | 97.7% |
| ov_SC03_126 | 2392 | 1751 | 0 | 2392 | 2423 | 98.7% |
| ov_SC04_000 | 2466 | 1753 | 0 | 2475 | 2546 | 97.2% |
| ov_SC04_002 | 2494 | 1749 | 0 | 2498 | 2636 | 94.8% |
| ov_SC04_003 | 2431 | 1749 | 0 | 2435 | 2502 | 97.3% |
| ov_SC04_004 | 2463 | 1749 | 0 | 2465 | 2558 | 96.4% |
| ov_SC04_005 | 2489 | 1749 | 0 | 2495 | 2612 | 95.5% |
| ov_SC04_006 | 2423 | 1749 | 0 | 2425 | 2454 | 98.8% |
| ov_SC04_007 | 2483 | 1749 | 0 | 2487 | 2569 | 96.8% |
| ov_SC04_008 | 2393 | 1749 | 0 | 2393 | 2415 | 99.1% |
| ov_SC04_009 | 2419 | 1749 | 0 | 2422 | 2441 | 99.2% |
| ov_SC04_010 | 2395 | 1749 | 0 | 2396 | 2419 | 99.0% |
| ov_SC04_011 | 2508 | 1754 | 0 | 2514 | 2803 | 89.7% |
| ov_SC04_012 | 2390 | 1749 | 0 | 2391 | 2420 | 98.8% |
| ov_SC04_015 | 2520 | 1750 | 0 | 2531 | 2611 | 96.9% |
| ov_SC04_016 | 2394 | 1749 | 0 | 2396 | 2440 | 98.2% |
| ov_SC04_018 | 2662 | 1785 | 0 | 2662 | 2857 | 93.2% |
| ov_SC04_019 | 2656 | 1785 | 0 | 2656 | 2857 | 93.0% |
| ov_SC04_020 | 2503 | 1749 | 0 | 2515 | 2567 | 98.0% |
| ov_SC04_021 | 2392 | 1751 | 0 | 2392 | 2423 | 98.7% |
| ov_SC05_000 | 2399 | 1753 | 0 | 2402 | 2422 | 99.2% |
| ov_SC05_001 | 2470 | 1749 | 0 | 2475 | 2574 | 96.2% |
| ov_SC05_002 | 2423 | 1749 | 0 | 2426 | 2442 | 99.3% |
| ov_SC05_003 | 2405 | 1749 | 0 | 2406 | 2481 | 97.0% |
| ov_SC05_004 | 2416 | 1749 | 0 | 2418 | 2464 | 98.1% |
| ov_SC05_005 | 2429 | 1754 | 0 | 2430 | 2491 | 97.6% |
| ov_SC05_006 | 2415 | 1749 | 0 | 2415 | 2430 | 99.4% |
| ov_SC05_007 | 2423 | 1749 | 0 | 2428 | 2482 | 97.8% |
| ov_SC05_008 | 2435 | 1749 | 0 | 2437 | 2543 | 95.8% |
| ov_SC05_009 | 2400 | 1749 | 0 | 2404 | 2438 | 98.6% |
| ov_SC05_010 | 2440 | 1749 | 0 | 2444 | 2588 | 94.4% |
| ov_SC05_011 | 2389 | 1749 | 0 | 2390 | 2409 | 99.2% |
| ov_SC05_017 | 2635 | 1746 | 0 | 2646 | 2842 | 93.1% |
| ov_SC05_018 | 2532 | 1749 | 0 | 2545 | 2673 | 95.2% |
| ov_SC05_019 | 2392 | 1751 | 0 | 2392 | 2423 | 98.7% |
| ov_SC06_000 | 2521 | 1758 | 0 | 2524 | 2691 | 93.8% |
| ov_SC06_006 | 2416 | 1749 | 0 | 2417 | 2511 | 96.3% |
| ov_SC06_008 | 2476 | 1751 | 0 | 2482 | 2542 | 97.6% |
| ov_SC06_010 | 2450 | 1749 | 0 | 2455 | 2517 | 97.5% |
| ov_SC06_011 | 2408 | 1749 | 0 | 2412 | 2468 | 97.7% |
| ov_SC06_013 | 2398 | 1749 | 0 | 2399 | 2425 | 98.9% |
| ov_SC06_014 | 2409 | 1749 | 0 | 2411 | 2453 | 98.3% |
| ov_SC06_015 | 2403 | 1749 | 0 | 2403 | 2421 | 99.3% |
| ov_SC06_016 | 2444 | 1749 | 0 | 2446 | 2549 | 96.0% |
| ov_SC06_018 | 2483 | 1751 | 0 | 2490 | 2665 | 93.4% |
| ov_SC06_020 | 2435 | 1751 | 0 | 2436 | 2518 | 96.7% |
| ov_SC06_022 | 2467 | 1749 | 0 | 2475 | 2642 | 93.7% |
| ov_SC06_024 | 2486 | 1749 | 0 | 2492 | 2667 | 93.4% |
| ov_SC06_025 | 2444 | 1749 | 0 | 2449 | 2572 | 95.2% |
| ov_SC06_027 | 2384 | 1749 | 0 | 2385 | 2408 | 99.0% |
| ov_SC06_029 | 2466 | 1749 | 0 | 2478 | 2662 | 93.1% |
| ov_SC06_030 | 2405 | 1749 | 0 | 2405 | 2456 | 97.9% |
| ov_SC06_032 | 2476 | 1750 | 0 | 2483 | 2658 | 93.4% |
| ov_SC06_033 | 2472 | 1750 | 0 | 2479 | 2631 | 94.2% |
| ov_SC07_000 | 2425 | 1753 | 0 | 2427 | 2521 | 96.3% |
| ov_SC07_001 | 2397 | 1749 | 0 | 2399 | 2454 | 97.8% |
| ov_SC07_002 | 2450 | 1749 | 0 | 2454 | 2579 | 95.2% |
| ov_SC07_006 | 2308 | 1573 | 0 | 2388 | 2456 | 97.2% |
| ov_SC07_007 | 2325 | 1605 | 0 | 2409 | 2613 | 92.2% |
| ov_SC07_008 | 2378 | 1749 | 0 | 2378 | 2386 | 99.7% |
| ov_SC07_009 | 2390 | 1749 | 0 | 2392 | 2430 | 98.4% |
| ov_SC07_010 | 2306 | 1626 | 0 | 2389 | 2524 | 94.7% |
| ov_SC07_011 | 2327 | 1604 | 0 | 2407 | 2449 | 98.3% |
Reference in New Issue View Git Blame Copy Permalink