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
fa0d4a3f626144a29c94ab773290d938c879a382
BFM-decomp/docs/progress.fleet.md
T
Drew T fa0d4a3f62 feat(phase-18): Step-1 wave banks 20 reach-134 matches (55.94->56.60%) 
- bounded Step-1 wave (.run/harvest_wave_p18s1.js): 31 tractable reach-134 targets, agents
  taught §17 toolkit + embedded canonical callee sigs + call-site-cast/re-validate fix.
- match_one MATCH 28/31 (90%, vs calibration 12/16); whole-binary gate 20 verified:
  7 pins, 5 barrier, 1 array-decay, 2 call-site-cast, 12 reconstruct, 1 other. 17 propagated
  x134 (3 have h_exact membership <134 -> banked REAL in ov_SC01_077 only).
- fleet 55.94 -> 56.60%; make check-all 136/136 byte-identical (R22); 0 NON_MATCHING (G4).
- 3 DIFFs well-characterized: func_8013C360 = per-FILE -O0 class (18 scattered -O0 fns;
  agent's C byte-exact at -O0, needs an -O0 split file like src/boot.c -> Phase 19);
  func_8014F2E0 = §10 store-vs-load scheduler tie-break; func_8012C2D0 = NEW gcc loop-guard
  operand-order class (irreducible). 8 gate-fails are recoverable sibling-decl/parse cases.
2026-06-20 14:30:36 -06:00

8.2 KiB
Raw Blame History

BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)

136 binaries: main + resident + 134 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.

FLEET REAL substantive : 193057 (of which dedup-shared 192568 via 1449 groups / 192612 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 194704 / 344010 = 56.60% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 149299 FLEET matchable : 344010

binary REAL shared LINKED byte-ident matchable byte-ident %
main 54 2 959 1055 2096 50.3%
resident 123 0 0 125 146 85.6%
ov_SC01_000 1441 1441 0 1441 2403 60.0%
ov_SC01_001 1441 1441 0 1443 2467 58.5%
ov_SC01_004 1433 1433 0 1434 2416 59.4%
ov_SC01_005 1440 1440 0 1447 2504 57.8%
ov_SC01_006 1440 1440 0 1447 2504 57.8%
ov_SC01_008 1433 1433 0 1435 2428 59.1%
ov_SC01_009 1433 1433 0 1434 2510 57.1%
ov_SC01_074 1433 1433 0 1435 2427 59.1%
ov_SC01_077 1715 1401 0 1717 2586 66.4%
ov_SC01_080 1437 1437 0 1437 2515 57.1%
ov_SC01_084 1437 1437 0 1442 2581 55.9%
ov_SC02_000 1441 1441 0 1448 2684 53.9%
ov_SC02_003 1441 1441 0 1448 2684 53.9%
ov_SC02_004 1437 1437 0 1437 2403 59.8%
ov_SC02_005 1433 1433 0 1443 2930 49.2%
ov_SC02_011 1439 1439 0 1451 2896 50.1%
ov_SC02_015 1439 1439 0 1439 2416 59.6%
ov_SC02_016 1439 1439 0 1442 2548 56.6%
ov_SC02_017 1439 1439 0 1447 2735 52.9%
ov_SC02_021 1439 1439 0 1439 2439 59.0%
ov_SC02_026 1437 1437 0 1443 2575 56.0%
ov_SC02_027 1437 1437 0 1446 2695 53.7%
ov_SC02_028 1437 1437 0 1447 2704 53.5%
ov_SC02_031 1437 1437 0 1443 2565 56.3%
ov_SC02_035 1437 1437 0 1440 2523 57.1%
ov_SC02_039 1437 1437 0 1437 2418 59.4%
ov_SC02_041 1437 1437 0 1440 2563 56.2%
ov_SC03_001 1437 1437 0 1455 2870 50.7%
ov_SC03_002 1441 1441 0 1457 2632 55.4%
ov_SC03_003 1437 1437 0 1438 2425 59.3%
ov_SC03_006 1443 1443 0 1452 2768 52.5%
ov_SC03_007 1437 1437 0 1441 2626 54.9%
ov_SC03_010 1437 1437 0 1437 2472 58.1%
ov_SC03_011 1437 1437 0 1443 2530 57.0%
ov_SC03_012 1437 1437 0 1438 2408 59.7%
ov_SC03_013 1437 1437 0 1437 2495 57.6%
ov_SC03_014 1437 1437 0 1447 2688 53.8%
ov_SC03_015 1437 1437 0 1447 2688 53.8%
ov_SC03_023 1437 1437 0 1438 2437 59.0%
ov_SC03_024 1437 1437 0 1449 2644 54.8%
ov_SC03_028 1437 1437 0 1441 2667 54.0%
ov_SC03_029 1439 1439 0 1449 2647 54.7%
ov_SC03_030 1441 1441 0 1443 2498 57.8%
ov_SC03_031 1437 1437 0 1441 2517 57.3%
ov_SC03_089 1437 1437 0 1444 2584 55.9%
ov_SC03_090 1437 1437 0 1445 2628 55.0%
ov_SC03_091 1437 1437 0 1445 2643 54.7%
ov_SC03_092 1437 1437 0 1449 2590 55.9%
ov_SC03_093 1437 1437 0 1441 2566 56.2%
ov_SC03_094 1437 1437 0 1443 2579 56.0%
ov_SC03_095 1437 1437 0 1440 2477 58.1%
ov_SC03_096 1437 1437 0 1440 2468 58.3%
ov_SC03_097 1437 1437 0 1444 2606 55.4%
ov_SC03_098 1437 1437 0 1440 2544 56.6%
ov_SC03_099 1437 1437 0 1440 2507 57.4%
ov_SC03_100 1437 1437 0 1441 2542 56.7%
ov_SC03_101 1437 1437 0 1441 2531 56.9%
ov_SC03_102 1437 1437 0 1440 2495 57.7%
ov_SC03_103 1439 1439 0 1442 2513 57.4%
ov_SC03_104 1437 1437 0 1444 2619 55.1%
ov_SC03_105 1437 1437 0 1444 2600 55.5%
ov_SC03_108 1437 1437 0 1437 2446 58.7%
ov_SC03_109 1437 1437 0 1439 2426 59.3%
ov_SC03_110 1437 1437 0 1437 2471 58.2%
ov_SC03_111 1437 1437 0 1440 2513 57.3%
ov_SC03_112 1439 1439 0 1441 2529 57.0%
ov_SC03_113 1439 1439 0 1442 2471 58.4%
ov_SC03_114 1437 1437 0 1439 2417 59.5%
ov_SC03_115 1437 1437 0 1439 2475 58.1%
ov_SC03_116 1437 1437 0 1440 2441 59.0%
ov_SC03_117 1437 1437 0 1443 2560 56.4%
ov_SC03_118 1437 1437 0 1450 2688 53.9%
ov_SC03_119 1437 1437 0 1450 2688 53.9%
ov_SC03_121 1437 1437 0 1440 2462 58.5%
ov_SC03_124 1433 1433 0 1453 2744 53.0%
ov_SC03_125 1437 1437 0 1449 2591 55.9%
ov_SC03_126 1437 1437 0 1438 2425 59.3%
ov_SC04_000 1441 1441 0 1450 2547 56.9%
ov_SC04_002 1437 1437 0 1441 2639 54.6%
ov_SC04_003 1437 1437 0 1441 2505 57.5%
ov_SC04_004 1437 1437 0 1439 2561 56.2%
ov_SC04_005 1437 1437 0 1443 2615 55.2%
ov_SC04_006 1437 1437 0 1439 2456 58.6%
ov_SC04_007 1437 1437 0 1441 2572 56.0%
ov_SC04_008 1437 1437 0 1437 2417 59.5%
ov_SC04_009 1437 1437 0 1440 2443 58.9%
ov_SC04_010 1437 1437 0 1438 2421 59.4%
ov_SC04_011 1437 1437 0 1443 2806 51.4%
ov_SC04_012 1437 1437 0 1438 2422 59.4%
ov_SC04_015 1437 1437 0 1449 2614 55.4%
ov_SC04_016 1437 1437 0 1439 2442 58.9%
ov_SC04_018 1437 1437 0 1450 2858 50.7%
ov_SC04_019 1437 1437 0 1450 2858 50.7%
ov_SC04_020 1437 1437 0 1449 2570 56.4%
ov_SC04_021 1437 1437 0 1438 2425 59.3%
ov_SC05_000 1441 1441 0 1444 2422 59.6%
ov_SC05_001 1437 1437 0 1442 2577 56.0%
ov_SC05_002 1437 1437 0 1440 2445 58.9%
ov_SC05_003 1437 1437 0 1438 2484 57.9%
ov_SC05_004 1437 1437 0 1439 2467 58.3%
ov_SC05_005 1437 1437 0 1438 2494 57.7%
ov_SC05_006 1437 1437 0 1437 2432 59.1%
ov_SC05_007 1437 1437 0 1442 2485 58.0%
ov_SC05_008 1437 1437 0 1439 2546 56.5%
ov_SC05_009 1437 1437 0 1441 2440 59.1%
ov_SC05_010 1437 1437 0 1441 2591 55.6%
ov_SC05_011 1437 1437 0 1438 2411 59.6%
ov_SC05_017 1433 1433 0 1445 2845 50.8%
ov_SC05_018 1437 1437 0 1450 2676 54.2%
ov_SC05_019 1437 1437 0 1438 2425 59.3%
ov_SC06_000 1441 1441 0 1449 2692 53.8%
ov_SC06_006 1437 1437 0 1438 2514 57.2%
ov_SC06_008 1439 1439 0 1445 2544 56.8%
ov_SC06_010 1437 1437 0 1442 2520 57.2%
ov_SC06_011 1437 1437 0 1441 2471 58.3%
ov_SC06_013 1437 1437 0 1438 2427 59.3%
ov_SC06_014 1437 1437 0 1439 2455 58.6%
ov_SC06_015 1437 1437 0 1437 2423 59.3%
ov_SC06_016 1437 1437 0 1439 2552 56.4%
ov_SC06_018 1437 1437 0 1445 2668 54.2%
ov_SC06_020 1437 1437 0 1438 2521 57.0%
ov_SC06_022 1437 1437 0 1445 2645 54.6%
ov_SC06_024 1437 1437 0 1443 2670 54.0%
ov_SC06_025 1437 1437 0 1442 2575 56.0%
ov_SC06_027 1437 1437 0 1438 2410 59.7%
ov_SC06_029 1437 1437 0 1449 2665 54.4%
ov_SC06_030 1437 1437 0 1437 2459 58.4%
ov_SC06_032 1437 1437 0 1444 2661 54.3%
ov_SC06_033 1437 1437 0 1444 2634 54.8%
ov_SC07_000 1441 1441 0 1443 2522 57.2%
ov_SC07_001 1437 1437 0 1439 2457 58.6%
ov_SC07_002 1437 1437 0 1441 2582 55.8%
ov_SC07_008 1437 1437 0 1437 2388 60.2%
ov_SC07_009 1437 1437 0 1439 2432 59.2%
Reference in New Issue View Git Blame Copy Permalink