mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-27 22:45:39 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
2210ff6509e6952e61eacb86ba96d79969fe4159
BFM-decomp/docs/progress.fleet.md
T
Drew T 1b8f26113c feat(phase-30 S7): close the B-shape queue — 144/144 drafts banked; §136b closes 9/9 
- FINAL LANES: reconcile ×5 (5/5) + redraft ×1 (1/1) -> gate BANKED 6/6 -> propagated 50 members
  across 28 overlays. **ALL 144 DRAFTED TARGETS BANKED (100%); zero stubs remain in the queue.**
  R22 clean-fleet 140/140 (seventh time this session).
  FLEET 95.88% fn / 92.9% instr / 86.5% distinct (77,106 unique fns); dedup 1905/0; 0 NON_MATCHING.
- LANE RECORDS: reconcile 15/15 lifetime · redraft 9/9 · §136b closes at 9 FOR 9 (every function
  ever ledgered "genuine byte-DIFF" banked on redraft).
- THE CAPTURE CLASSIFIER, third and final defect (§136a): it decided PLUMBING by matching a regex
  against cc1's PROSE, and cc1's vocabulary is open-ended — `too many arguments to function` matched
  nothing, so a trivially reconcilable function sat UNKNOWN through two gate rounds. Now DERIVES the
  class from the closed invariant (did the compile produce an object: `make ... Error N` +
  `Deleting file`). Re-running it moved 5 PLUMBING / 1 UNKNOWN -> 5 PLUMBING / 1 DIFF, and BOTH
  reclassified functions then banked. Three defects in one small tool in one session — an
  unreachable exit-status branch, a missed phrasing, and the prose-matching design behind both —
  each SILENTLY MIS-ROUTING REAL WORK. R33 in one line: if an invariant answers it, never re-parse.
- §136f — two declaration sub-cases: (1) a symbol you call may be DEFINED, not just declared, BELOW
  your splice point (func_8017D540 is defined 275 lines below as int(int); the draft guessed
  void(s32) from a bare jal); (2) an ARITY clash on the symbol you are DEFINING cannot be fixed by a
  cast — use the §37/§124 asm-label alias (func_801848DC; in-TU precedent at :8872).
- §136g — TWO INDEX ROUTINGS BYTE-REFUTED (func_801863B4). The index sends BRANCH-POLARITY to §3-T4
  (invert) and §34 (zero-byte fence); the agent tested BOTH at zero, read the gcc-2.7.2 source, and
  found jump.c:1806 `if (foo) bar; else break` range-swap — which runs long BEFORE reorg, so a fence
  CANNOT block it. Real lever: put a label between the if-join and the return label (wrap the loop
  in the guard). Also: same-address lh+lhu is MIPS LOAD_EXTEND_OP==ZERO_EXTEND (mips.h:1163), and
  combine collapses the pair unless the HImode pseudo has two reaching defs.
  REFUTED ROUTINGS ARE RECORDED NEXT TO THE CORRECT ONE — otherwise the next agent re-runs them.
- cookbook-index 375 -> 377 sections (§136 .. §136g earned this session).
2026-08-03 13:02:29 -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: 339139 / 353721 = 95.88% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12213725 / 13141652 = 92.9% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4875010 / 5634875 = 86.5% (77106/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: 12213289 / 13081451 = 93.4%)

FLEET REAL substantive : 337284 (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 : 14575 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 2377 1748 0 2377 2403 98.9%
ov_SC01_001 2385 1749 0 2387 2466 96.8%
ov_SC01_004 2378 1740 0 2379 2414 98.6%
ov_SC01_005 2408 1763 0 2408 2503 96.2%
ov_SC01_006 2408 1763 0 2408 2503 96.2%
ov_SC01_008 2378 1740 0 2380 2426 98.1%
ov_SC01_009 2404 1741 0 2405 2507 95.9%
ov_SC01_074 2383 1741 0 2385 2425 98.4%
ov_SC01_077 2536 1707 0 2538 2586 98.1%
ov_SC01_080 2412 1744 0 2412 2512 96.0%
ov_SC01_084 2436 1749 0 2441 2579 94.6%
ov_SC02_000 2499 1788 0 2499 2683 93.1%
ov_SC02_003 2499 1788 0 2499 2683 93.1%
ov_SC02_004 2377 1744 0 2377 2401 99.0%
ov_SC02_005 2522 1740 0 2532 2927 86.5%
ov_SC02_011 2596 1747 0 2607 2893 90.1%
ov_SC02_015 2388 1746 0 2388 2414 98.9%
ov_SC02_016 2465 1746 0 2468 2545 97.0%
ov_SC02_017 2532 1746 0 2540 2732 93.0%
ov_SC02_021 2393 1746 0 2393 2437 98.2%
ov_SC02_026 2477 1744 0 2483 2572 96.5%
ov_SC02_027 2531 1744 0 2540 2692 94.4%
ov_SC02_028 2532 1744 0 2542 2701 94.1%
ov_SC02_031 2475 1745 0 2480 2562 96.8%
ov_SC02_035 2460 1744 0 2463 2520 97.7%
ov_SC02_039 2382 1744 0 2382 2416 98.6%
ov_SC02_041 2457 1744 0 2460 2561 96.1%
ov_SC03_001 2641 1745 0 2658 2869 92.6%
ov_SC03_002 2516 1749 0 2531 2631 96.2%
ov_SC03_003 2386 1744 0 2387 2423 98.5%
ov_SC03_006 2528 1750 0 2537 2767 91.7%
ov_SC03_007 2448 1744 0 2452 2623 93.5%
ov_SC03_010 2402 1744 0 2402 2471 97.2%
ov_SC03_011 2404 1744 0 2410 2527 95.4%
ov_SC03_012 2376 1744 0 2377 2406 98.8%
ov_SC03_013 2408 1744 0 2408 2493 96.6%
ov_SC03_014 2546 1772 0 2546 2685 94.8%
ov_SC03_015 2547 1772 0 2547 2685 94.9%
ov_SC03_023 2388 1744 0 2389 2435 98.1%
ov_SC03_024 2493 1749 0 2500 2641 94.7%
ov_SC03_028 2439 1744 0 2443 2664 91.7%
ov_SC03_029 2482 1746 0 2492 2644 94.3%
ov_SC03_030 2405 1749 0 2407 2495 96.5%
ov_SC03_031 2432 1744 0 2435 2514 96.9%
ov_SC03_089 2485 1749 0 2492 2581 96.6%
ov_SC03_090 2494 1749 0 2502 2625 95.3%
ov_SC03_091 2506 1744 0 2514 2640 95.2%
ov_SC03_092 2483 1749 0 2495 2587 96.4%
ov_SC03_093 2491 1744 0 2495 2563 97.3%
ov_SC03_094 2476 1744 0 2482 2577 96.3%
ov_SC03_095 2414 1744 0 2417 2474 97.7%
ov_SC03_096 2411 1744 0 2414 2465 97.9%
ov_SC03_097 2500 1744 0 2507 2603 96.3%
ov_SC03_098 2479 1744 0 2482 2541 97.7%
ov_SC03_099 2462 1744 0 2465 2504 98.4%
ov_SC03_100 2495 1744 0 2499 2539 98.4%
ov_SC03_101 2459 1749 0 2463 2528 97.4%
ov_SC03_102 2447 1744 0 2450 2492 98.3%
ov_SC03_103 2469 1746 0 2472 2510 98.5%
ov_SC03_104 2512 1749 0 2519 2616 96.3%
ov_SC03_105 2426 1744 0 2433 2597 93.7%
ov_SC03_108 2385 1744 0 2385 2443 97.6%
ov_SC03_109 2395 1744 0 2397 2424 98.9%
ov_SC03_110 2423 1744 0 2423 2468 98.2%
ov_SC03_111 2448 1744 0 2451 2510 97.6%
ov_SC03_112 2415 1746 0 2417 2526 95.7%
ov_SC03_113 2414 1746 0 2417 2468 97.9%
ov_SC03_114 2376 1744 0 2378 2415 98.5%
ov_SC03_115 2416 1744 0 2418 2472 97.8%
ov_SC03_116 2385 1744 0 2388 2438 97.9%
ov_SC03_117 2450 1744 0 2456 2557 96.1%
ov_SC03_118 2516 1768 0 2517 2685 93.7%
ov_SC03_119 2512 1768 0 2513 2685 93.6%
ov_SC03_121 2391 1744 0 2394 2459 97.4%
ov_SC03_124 2552 1740 0 2572 2741 93.8%
ov_SC03_125 2504 1744 0 2516 2588 97.2%
ov_SC03_126 2387 1746 0 2387 2423 98.5%
ov_SC04_000 2456 1748 0 2465 2546 96.8%
ov_SC04_002 2482 1744 0 2486 2636 94.3%
ov_SC04_003 2424 1744 0 2428 2502 97.0%
ov_SC04_004 2452 1744 0 2454 2558 95.9%
ov_SC04_005 2478 1744 0 2484 2612 95.1%
ov_SC04_006 2415 1744 0 2417 2454 98.5%
ov_SC04_007 2472 1744 0 2476 2569 96.4%
ov_SC04_008 2388 1744 0 2388 2415 98.9%
ov_SC04_009 2414 1744 0 2417 2441 99.0%
ov_SC04_010 2390 1744 0 2391 2419 98.8%
ov_SC04_011 2493 1749 0 2499 2803 89.2%
ov_SC04_012 2385 1744 0 2386 2420 98.6%
ov_SC04_015 2512 1745 0 2523 2611 96.6%
ov_SC04_016 2385 1744 0 2387 2440 97.8%
ov_SC04_018 2651 1780 0 2651 2857 92.8%
ov_SC04_019 2644 1780 0 2644 2857 92.5%
ov_SC04_020 2491 1744 0 2503 2567 97.5%
ov_SC04_021 2387 1746 0 2387 2423 98.5%
ov_SC05_000 2394 1748 0 2397 2422 99.0%
ov_SC05_001 2458 1744 0 2463 2574 95.7%
ov_SC05_002 2416 1744 0 2419 2442 99.1%
ov_SC05_003 2396 1744 0 2397 2481 96.6%
ov_SC05_004 2404 1744 0 2406 2464 97.6%
ov_SC05_005 2420 1749 0 2421 2491 97.2%
ov_SC05_006 2407 1744 0 2407 2430 99.1%
ov_SC05_007 2415 1744 0 2420 2482 97.5%
ov_SC05_008 2430 1744 0 2432 2543 95.6%
ov_SC05_009 2395 1744 0 2399 2438 98.4%
ov_SC05_010 2430 1744 0 2434 2588 94.0%
ov_SC05_011 2384 1744 0 2385 2409 99.0%
ov_SC05_017 2624 1741 0 2635 2842 92.7%
ov_SC05_018 2521 1744 0 2534 2673 94.8%
ov_SC05_019 2387 1746 0 2387 2423 98.5%
ov_SC06_000 2506 1753 0 2509 2691 93.2%
ov_SC06_006 2408 1744 0 2409 2511 95.9%
ov_SC06_008 2459 1746 0 2465 2542 97.0%
ov_SC06_010 2433 1744 0 2438 2517 96.9%
ov_SC06_011 2401 1744 0 2405 2468 97.4%
ov_SC06_013 2391 1744 0 2392 2425 98.6%
ov_SC06_014 2402 1744 0 2404 2453 98.0%
ov_SC06_015 2396 1744 0 2396 2421 99.0%
ov_SC06_016 2434 1744 0 2436 2549 95.6%
ov_SC06_018 2454 1746 0 2461 2665 92.3%
ov_SC06_020 2421 1746 0 2422 2518 96.2%
ov_SC06_022 2443 1744 0 2451 2642 92.8%
ov_SC06_024 2462 1744 0 2468 2667 92.5%
ov_SC06_025 2439 1744 0 2444 2572 95.0%
ov_SC06_027 2378 1744 0 2379 2408 98.8%
ov_SC06_029 2456 1744 0 2468 2662 92.7%
ov_SC06_030 2397 1744 0 2397 2456 97.6%
ov_SC06_032 2446 1745 0 2453 2658 92.3%
ov_SC06_033 2448 1745 0 2455 2631 93.3%
ov_SC07_000 2417 1748 0 2419 2521 96.0%
ov_SC07_001 2390 1744 0 2392 2454 97.5%
ov_SC07_002 2438 1744 0 2442 2579 94.7%
ov_SC07_006 2296 1560 0 2376 2456 96.7%
ov_SC07_007 2313 1592 0 2397 2613 91.7%
ov_SC07_008 2373 1744 0 2373 2386 99.5%
ov_SC07_009 2382 1744 0 2384 2430 98.1%
ov_SC07_010 2295 1614 0 2378 2524 94.2%
ov_SC07_011 2314 1591 0 2394 2449 97.8%
Reference in New Issue View Git Blame Copy Permalink