Files
BFM-decomp/docs/progress.fleet.md
T
Drew T ef1cf9f05e feat(phase-15): T6 pass-1 — callee-sig-aware harvest of the call-heavy shared core; fleet 25.38% -> 30.48%
- tools/gen_harvest_targets.py: callee-signature-aware target manifest (the §14b
  extern-conflict wall-breaker). Pre-resolves each callee's EXACT signature from
  engine_core.h DEFINE bodies + extern declarations + inline defs, so drafts never
  emit a conflicting extern. Lifted call-heavy gate yield from the §14b-naive 16%
  to 60-67%.
- ov_SC01_077: 142 functions banked (1716 -> 1574 INCLUDE_ASM stubs) via the
  Ultracode parallel-draft + harvest_verify byte-gate loop (cookbook §12). The
  draft Workflow was throttled by server-side API rate limiting (stopped at
  ~246/616); the incremental gate -> dedup_propagate loop is deterministic and
  throttle-immune, so the wins banked steadily regardless.
- dedup_propagate --auto-from ov_SC01_077: ~132 functions propagated fleet-wide
  (134 overlays each), every round per-overlay byte-gated; dedup 644 -> 776 groups,
  dedup_integrate --check 776 validated / 0 failed.
- fleet REAL 85,651 -> 103,217; byte-identical 25.38% -> 30.48%.
- R22 clean rebuild: make clean + extract all 136 + check-all = 136/136 byte-
  identical, 0 extract failures.
- cookbook §14c: the wall-breaker + the 4 conflict flavors (defined / declared /
  DATA-symbol / narrow-return-widening) + the never-git-checkout-mid-harvest
  hazard + the rate-limit-resilient incremental loop. Residual = the data-symbol
  conflict class (structural canonical-decls fix queued for next pass) + the
  un-started medium band (430).
2026-06-17 00:12:23 -06:00

7.8 KiB

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 : 103217 (of which dedup-shared 102760 via 776 groups / 102804 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 104864 / 344010 = 30.48% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 239139 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 771 771 0 771 2403 32.1%
ov_SC01_001 771 771 0 773 2467 31.3%
ov_SC01_004 763 763 0 764 2416 31.6%
ov_SC01_005 770 770 0 777 2504 31.0%
ov_SC01_006 770 770 0 777 2504 31.0%
ov_SC01_008 763 763 0 765 2428 31.5%
ov_SC01_009 763 763 0 764 2510 30.4%
ov_SC01_074 763 763 0 765 2427 31.5%
ov_SC01_077 1010 728 0 1012 2586 39.1%
ov_SC01_080 767 767 0 767 2515 30.5%
ov_SC01_084 767 767 0 772 2581 29.9%
ov_SC02_000 771 771 0 778 2684 29.0%
ov_SC02_003 771 771 0 778 2684 29.0%
ov_SC02_004 767 767 0 767 2403 31.9%
ov_SC02_005 763 763 0 773 2930 26.4%
ov_SC02_011 767 767 0 779 2896 26.9%
ov_SC02_015 767 767 0 767 2416 31.7%
ov_SC02_016 767 767 0 770 2548 30.2%
ov_SC02_017 767 767 0 775 2735 28.3%
ov_SC02_021 767 767 0 767 2439 31.4%
ov_SC02_026 767 767 0 773 2575 30.0%
ov_SC02_027 767 767 0 776 2695 28.8%
ov_SC02_028 767 767 0 777 2704 28.7%
ov_SC02_031 767 767 0 773 2565 30.1%
ov_SC02_035 767 767 0 770 2523 30.5%
ov_SC02_039 767 767 0 767 2418 31.7%
ov_SC02_041 767 767 0 770 2563 30.0%
ov_SC03_001 767 767 0 785 2870 27.4%
ov_SC03_002 771 771 0 787 2632 29.9%
ov_SC03_003 767 767 0 768 2425 31.7%
ov_SC03_006 771 771 0 780 2768 28.2%
ov_SC03_007 767 767 0 771 2626 29.4%
ov_SC03_010 767 767 0 767 2472 31.0%
ov_SC03_011 767 767 0 773 2530 30.6%
ov_SC03_012 767 767 0 768 2408 31.9%
ov_SC03_013 767 767 0 767 2495 30.7%
ov_SC03_014 767 767 0 777 2688 28.9%
ov_SC03_015 767 767 0 777 2688 28.9%
ov_SC03_023 767 767 0 768 2437 31.5%
ov_SC03_024 767 767 0 779 2644 29.5%
ov_SC03_028 767 767 0 771 2667 28.9%
ov_SC03_029 767 767 0 777 2647 29.4%
ov_SC03_030 768 768 0 770 2498 30.8%
ov_SC03_031 767 767 0 771 2517 30.6%
ov_SC03_089 767 767 0 774 2584 30.0%
ov_SC03_090 767 767 0 775 2628 29.5%
ov_SC03_091 767 767 0 775 2643 29.3%
ov_SC03_092 767 767 0 779 2590 30.1%
ov_SC03_093 767 767 0 771 2566 30.0%
ov_SC03_094 767 767 0 773 2579 30.0%
ov_SC03_095 767 767 0 770 2477 31.1%
ov_SC03_096 767 767 0 770 2468 31.2%
ov_SC03_097 767 767 0 774 2606 29.7%
ov_SC03_098 767 767 0 770 2544 30.3%
ov_SC03_099 767 767 0 770 2507 30.7%
ov_SC03_100 767 767 0 771 2542 30.3%
ov_SC03_101 767 767 0 771 2531 30.5%
ov_SC03_102 767 767 0 770 2495 30.9%
ov_SC03_103 767 767 0 770 2513 30.6%
ov_SC03_104 767 767 0 774 2619 29.6%
ov_SC03_105 767 767 0 774 2600 29.8%
ov_SC03_108 767 767 0 767 2446 31.4%
ov_SC03_109 767 767 0 769 2426 31.7%
ov_SC03_110 767 767 0 767 2471 31.0%
ov_SC03_111 767 767 0 770 2513 30.6%
ov_SC03_112 767 767 0 769 2529 30.4%
ov_SC03_113 767 767 0 770 2471 31.2%
ov_SC03_114 767 767 0 769 2417 31.8%
ov_SC03_115 767 767 0 769 2475 31.1%
ov_SC03_116 767 767 0 770 2441 31.5%
ov_SC03_117 767 767 0 773 2560 30.2%
ov_SC03_118 767 767 0 780 2688 29.0%
ov_SC03_119 767 767 0 780 2688 29.0%
ov_SC03_121 767 767 0 770 2462 31.3%
ov_SC03_124 763 763 0 783 2744 28.5%
ov_SC03_125 767 767 0 779 2591 30.1%
ov_SC03_126 767 767 0 768 2425 31.7%
ov_SC04_000 771 771 0 780 2547 30.6%
ov_SC04_002 767 767 0 771 2639 29.2%
ov_SC04_003 767 767 0 771 2505 30.8%
ov_SC04_004 767 767 0 769 2561 30.0%
ov_SC04_005 767 767 0 773 2615 29.6%
ov_SC04_006 767 767 0 769 2456 31.3%
ov_SC04_007 767 767 0 771 2572 30.0%
ov_SC04_008 767 767 0 767 2417 31.7%
ov_SC04_009 767 767 0 770 2443 31.5%
ov_SC04_010 767 767 0 768 2421 31.7%
ov_SC04_011 767 767 0 773 2806 27.5%
ov_SC04_012 767 767 0 768 2422 31.7%
ov_SC04_015 767 767 0 779 2614 29.8%
ov_SC04_016 767 767 0 769 2442 31.5%
ov_SC04_018 767 767 0 780 2858 27.3%
ov_SC04_019 767 767 0 780 2858 27.3%
ov_SC04_020 767 767 0 779 2570 30.3%
ov_SC04_021 767 767 0 768 2425 31.7%
ov_SC05_000 771 771 0 774 2422 32.0%
ov_SC05_001 767 767 0 772 2577 30.0%
ov_SC05_002 767 767 0 770 2445 31.5%
ov_SC05_003 767 767 0 768 2484 30.9%
ov_SC05_004 767 767 0 769 2467 31.2%
ov_SC05_005 767 767 0 768 2494 30.8%
ov_SC05_006 767 767 0 767 2432 31.5%
ov_SC05_007 767 767 0 772 2485 31.1%
ov_SC05_008 767 767 0 769 2546 30.2%
ov_SC05_009 767 767 0 771 2440 31.6%
ov_SC05_010 767 767 0 771 2591 29.8%
ov_SC05_011 767 767 0 768 2411 31.9%
ov_SC05_017 763 763 0 775 2845 27.2%
ov_SC05_018 767 767 0 780 2676 29.1%
ov_SC05_019 767 767 0 768 2425 31.7%
ov_SC06_000 771 771 0 779 2692 28.9%
ov_SC06_006 767 767 0 768 2514 30.5%
ov_SC06_008 767 767 0 773 2544 30.4%
ov_SC06_010 767 767 0 772 2520 30.6%
ov_SC06_011 767 767 0 771 2471 31.2%
ov_SC06_013 767 767 0 768 2427 31.6%
ov_SC06_014 767 767 0 769 2455 31.3%
ov_SC06_015 767 767 0 767 2423 31.7%
ov_SC06_016 767 767 0 769 2552 30.1%
ov_SC06_018 767 767 0 775 2668 29.0%
ov_SC06_020 767 767 0 768 2521 30.5%
ov_SC06_022 767 767 0 775 2645 29.3%
ov_SC06_024 767 767 0 773 2670 29.0%
ov_SC06_025 767 767 0 772 2575 30.0%
ov_SC06_027 767 767 0 768 2410 31.9%
ov_SC06_029 767 767 0 779 2665 29.2%
ov_SC06_030 767 767 0 767 2459 31.2%
ov_SC06_032 767 767 0 774 2661 29.1%
ov_SC06_033 767 767 0 774 2634 29.4%
ov_SC07_000 771 771 0 773 2522 30.7%
ov_SC07_001 767 767 0 769 2457 31.3%
ov_SC07_002 767 767 0 771 2582 29.9%
ov_SC07_008 767 767 0 767 2388 32.1%
ov_SC07_009 767 767 0 769 2432 31.6%