mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-28 14:59:48 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
7f70b6850a4d2335d709e7c8195d0b098ba4416a
BFM-decomp/docs/progress.fleet.md
T
Drew T 7f70b6850a feat(phase-30 S7): batch 2 + reconcile + redraft — 41 heads + 431 members; §136b closes 8/8 
- THREE LANES: wave 4b batch 2 (37 targets, 46 agents, 3.44M tok -> 35 claimed) + the reconcile lane
  on 3 PLUMBING failures (3/3) + a REDRAFT lane on 4 DIFF-ledgered failures (4/4). Combined gate
  BANKED 41; family_sweep propagated 431 member-matches / 29 failed across 79 overlays.
  103 of 107 drafts banked (96%). R22 clean-fleet 140/140 (fifth time this session).
  FLEET 95.77% fn / 92.9% instr / 86.4% distinct (76,824 unique fns); dedup 1905/0; 0 NON_MATCHING.
- §136b CLOSES AT 8/8: every function ledgered "genuine byte-DIFF" banked on redraft — wave 3's
  four, the THREE I classified from wave 4a's capture, and one from batch 1. The classifier is
  right about what it measures ("this draft compiles clean and differs in bytes"); reading that as
  "this function resists matching" is the error. A DIFF verdict is a fact about ONE DRAFT.
- §136a CORRECTED (a reconcile agent refuted me against the bytes): I wrote "70% of gate refusals
  are paperwork, not codegen". WRONG. A declaration conflict ABORTS THE COMPILE, so a PLUMBING
  verdict says NOTHING about the body. Two of three second-round PLUMBING drafts had a real codegen
  residual behind the conflict (func_80188694 DIFF/4 SCHEDULE-REORDER, closed with a §21 zero-byte
  re-tie after six other variants failed; func_8018C638 DIFF/6 ADDRESSING/cse). Both agents ran
  match_one on the untouched draft FIRST and rejected my premise — which is what §135 asks for.
- §136c SIBLING-FIRST IS A DERIVATION SHORTCUT, not just a conflict fix: grep engine_core.h's
  DEFINE_func_* bodies for a byte-verified NEAR-TWIN before deriving from the .s. func_801859D8
  found DEFINE_func_80185978 (identical offset chain, 3 differing constants), reused its expression
  forms verbatim -> FIRST-DRAFT MATCH, and the twin generalizes to its whole 10-member family.
  Search order: near-twin -> banked same-TU sibling -> the .s -> the Ghidra seed LAST (byte-proven
  an entirely different body twice this session).
- §136d, four new gcc-2.7.2 levers from the redraft lane, each with its REFUTED axis recorded:
  RC-12 $0-add opaque copy (cse.c canonical-copy promotion; do NOT pin the pair to real regs);
  jump.c if-then-else -> conditional-overwrite collapse (defeat with TWO SEPARATE CALLS, not a
  ternary); fix the STORE not the load for a load hoisted above a constant-address store (the
  INDIRECT_REF reshape is the wrong half of the /s lattice, 2 -> 32 mismatched); a branchless flag
  is -(a != b) & 0xFF, never a ternary.
- cookbook-index 372 -> 374 sections. Batch 3 staged with all of the above promoted into its prompt.
2026-08-03 11:19:28 -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: 338743 / 353721 = 95.77% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12206979 / 13141652 = 92.9% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4870185 / 5634875 = 86.4% (76824/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: 12206543 / 13081451 = 93.3%)

FLEET REAL substantive : 336888 (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 : 14971 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 2382 1741 0 2384 2425 98.3%
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 2520 1740 0 2530 2927 86.4%
ov_SC02_011 2593 1747 0 2604 2893 90.0%
ov_SC02_015 2388 1746 0 2388 2414 98.9%
ov_SC02_016 2464 1746 0 2467 2545 96.9%
ov_SC02_017 2530 1746 0 2538 2732 92.9%
ov_SC02_021 2393 1746 0 2393 2437 98.2%
ov_SC02_026 2475 1744 0 2481 2572 96.5%
ov_SC02_027 2530 1744 0 2539 2692 94.3%
ov_SC02_028 2530 1744 0 2540 2701 94.0%
ov_SC02_031 2473 1745 0 2478 2562 96.7%
ov_SC02_035 2458 1744 0 2461 2520 97.7%
ov_SC02_039 2381 1744 0 2381 2416 98.6%
ov_SC02_041 2455 1744 0 2458 2561 96.0%
ov_SC03_001 2615 1745 0 2632 2869 91.7%
ov_SC03_002 2495 1749 0 2510 2631 95.4%
ov_SC03_003 2386 1744 0 2387 2423 98.5%
ov_SC03_006 2526 1750 0 2535 2767 91.6%
ov_SC03_007 2448 1744 0 2452 2623 93.5%
ov_SC03_010 2402 1744 0 2402 2471 97.2%
ov_SC03_011 2403 1744 0 2409 2527 95.3%
ov_SC03_012 2376 1744 0 2377 2406 98.8%
ov_SC03_013 2408 1744 0 2408 2493 96.6%
ov_SC03_014 2542 1772 0 2542 2685 94.7%
ov_SC03_015 2543 1772 0 2543 2685 94.7%
ov_SC03_023 2388 1744 0 2389 2435 98.1%
ov_SC03_024 2491 1749 0 2498 2641 94.6%
ov_SC03_028 2437 1744 0 2441 2664 91.6%
ov_SC03_029 2480 1746 0 2490 2644 94.2%
ov_SC03_030 2405 1749 0 2407 2495 96.5%
ov_SC03_031 2431 1744 0 2434 2514 96.8%
ov_SC03_089 2483 1749 0 2490 2581 96.5%
ov_SC03_090 2492 1749 0 2500 2625 95.2%
ov_SC03_091 2504 1744 0 2512 2640 95.2%
ov_SC03_092 2481 1749 0 2493 2587 96.4%
ov_SC03_093 2489 1744 0 2493 2563 97.3%
ov_SC03_094 2474 1744 0 2480 2577 96.2%
ov_SC03_095 2413 1744 0 2416 2474 97.7%
ov_SC03_096 2410 1744 0 2413 2465 97.9%
ov_SC03_097 2498 1744 0 2505 2603 96.2%
ov_SC03_098 2477 1744 0 2480 2541 97.6%
ov_SC03_099 2460 1744 0 2463 2504 98.4%
ov_SC03_100 2493 1744 0 2497 2539 98.3%
ov_SC03_101 2457 1749 0 2461 2528 97.3%
ov_SC03_102 2445 1744 0 2448 2492 98.2%
ov_SC03_103 2467 1746 0 2470 2510 98.4%
ov_SC03_104 2509 1749 0 2516 2616 96.2%
ov_SC03_105 2424 1744 0 2431 2597 93.6%
ov_SC03_108 2384 1744 0 2384 2443 97.6%
ov_SC03_109 2393 1744 0 2395 2424 98.8%
ov_SC03_110 2423 1744 0 2423 2468 98.2%
ov_SC03_111 2448 1744 0 2451 2510 97.6%
ov_SC03_112 2414 1746 0 2416 2526 95.6%
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 2384 1744 0 2387 2438 97.9%
ov_SC03_117 2449 1744 0 2455 2557 96.0%
ov_SC03_118 2514 1768 0 2515 2685 93.7%
ov_SC03_119 2510 1768 0 2511 2685 93.5%
ov_SC03_121 2391 1744 0 2394 2459 97.4%
ov_SC03_124 2529 1740 0 2549 2741 93.0%
ov_SC03_125 2482 1744 0 2494 2588 96.4%
ov_SC03_126 2387 1746 0 2387 2423 98.5%
ov_SC04_000 2456 1748 0 2465 2546 96.8%
ov_SC04_002 2480 1744 0 2484 2636 94.2%
ov_SC04_003 2423 1744 0 2427 2502 97.0%
ov_SC04_004 2451 1744 0 2453 2558 95.9%
ov_SC04_005 2476 1744 0 2482 2612 95.0%
ov_SC04_006 2414 1744 0 2416 2454 98.5%
ov_SC04_007 2470 1744 0 2474 2569 96.3%
ov_SC04_008 2387 1744 0 2387 2415 98.8%
ov_SC04_009 2413 1744 0 2416 2441 99.0%
ov_SC04_010 2389 1744 0 2390 2419 98.8%
ov_SC04_011 2491 1749 0 2497 2803 89.1%
ov_SC04_012 2385 1744 0 2386 2420 98.6%
ov_SC04_015 2490 1745 0 2501 2611 95.8%
ov_SC04_016 2385 1744 0 2387 2440 97.8%
ov_SC04_018 2620 1780 0 2620 2857 91.7%
ov_SC04_019 2617 1780 0 2617 2857 91.6%
ov_SC04_020 2469 1744 0 2481 2567 96.6%
ov_SC04_021 2387 1746 0 2387 2423 98.5%
ov_SC05_000 2392 1748 0 2395 2422 98.9%
ov_SC05_001 2457 1744 0 2462 2574 95.6%
ov_SC05_002 2416 1744 0 2419 2442 99.1%
ov_SC05_003 2396 1744 0 2397 2481 96.6%
ov_SC05_004 2403 1744 0 2405 2464 97.6%
ov_SC05_005 2419 1749 0 2420 2491 97.1%
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 2429 1744 0 2433 2588 94.0%
ov_SC05_011 2384 1744 0 2385 2409 99.0%
ov_SC05_017 2597 1741 0 2608 2842 91.8%
ov_SC05_018 2502 1744 0 2515 2673 94.1%
ov_SC05_019 2387 1746 0 2387 2423 98.5%
ov_SC06_000 2505 1753 0 2508 2691 93.2%
ov_SC06_006 2408 1744 0 2409 2511 95.9%
ov_SC06_008 2458 1746 0 2464 2542 96.9%
ov_SC06_010 2432 1744 0 2437 2517 96.8%
ov_SC06_011 2398 1744 0 2402 2468 97.3%
ov_SC06_013 2389 1744 0 2390 2425 98.6%
ov_SC06_014 2400 1744 0 2402 2453 97.9%
ov_SC06_015 2394 1744 0 2394 2421 98.9%
ov_SC06_016 2430 1744 0 2432 2549 95.4%
ov_SC06_018 2451 1746 0 2458 2665 92.2%
ov_SC06_020 2419 1746 0 2420 2518 96.1%
ov_SC06_022 2441 1744 0 2449 2642 92.7%
ov_SC06_024 2459 1744 0 2465 2667 92.4%
ov_SC06_025 2438 1744 0 2443 2572 95.0%
ov_SC06_027 2378 1744 0 2379 2408 98.8%
ov_SC06_029 2454 1744 0 2466 2662 92.6%
ov_SC06_030 2394 1744 0 2394 2456 97.5%
ov_SC06_032 2443 1745 0 2450 2658 92.2%
ov_SC06_033 2444 1745 0 2451 2631 93.2%
ov_SC07_000 2416 1748 0 2418 2521 95.9%
ov_SC07_001 2390 1744 0 2392 2454 97.5%
ov_SC07_002 2436 1744 0 2440 2579 94.6%
ov_SC07_006 2284 1560 0 2364 2456 96.3%
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