Files
BFM-decomp/docs/progress.fleet.md
T
Drew T be0ceae55d feat(phase-15): T6 wave-1 (50-agent) harvest — 27 shared fns matched, 9 propagated fleet-wide; fleet 51.41% -> 51.77%
- 50-agent Ultracode callee-sig-aware harvest of 300 reach-134 shared stubs in
  ov_SC01_077; whole-binary byte-gate verified 27 (26 + 1 canon-recovery), 273
  genuine compiler-internal residual (recovery recovered only 1 -> confirmed permuter-class)
- dedup_propagate --auto-from: 9 self-contained matches propagated across all 134
  overlays (byte-gated); 15 verified use overlay-local types -> pending engine_types.h
- R22 CLEAN fleet rebuild: 136/136 byte-identical, 0 extract fails; dedup-check 1325/0
- NOTE: blind-draft shared-core harvest has hit diminishing returns (~9% gate yield);
  next work pivots to giants (match_one) + permuter + deterministic types-header propagation
2026-06-18 17:21:54 -06:00

8.2 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 : 176436 (of which dedup-shared 175952 via 1325 groups / 175996 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 178083 / 344010 = 51.77% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 165920 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 1317 1317 0 1317 2403 54.8%
ov_SC01_001 1317 1317 0 1319 2467 53.5%
ov_SC01_004 1309 1309 0 1310 2416 54.2%
ov_SC01_005 1316 1316 0 1323 2504 52.8%
ov_SC01_006 1316 1316 0 1323 2504 52.8%
ov_SC01_008 1309 1309 0 1311 2428 54.0%
ov_SC01_009 1309 1309 0 1310 2510 52.2%
ov_SC01_074 1309 1309 0 1311 2427 54.0%
ov_SC01_077 1586 1277 0 1588 2586 61.4%
ov_SC01_080 1313 1313 0 1313 2515 52.2%
ov_SC01_084 1313 1313 0 1318 2581 51.1%
ov_SC02_000 1317 1317 0 1324 2684 49.3%
ov_SC02_003 1317 1317 0 1324 2684 49.3%
ov_SC02_004 1313 1313 0 1313 2403 54.6%
ov_SC02_005 1309 1309 0 1319 2930 45.0%
ov_SC02_011 1315 1315 0 1327 2896 45.8%
ov_SC02_015 1315 1315 0 1315 2416 54.4%
ov_SC02_016 1315 1315 0 1318 2548 51.7%
ov_SC02_017 1315 1315 0 1323 2735 48.4%
ov_SC02_021 1315 1315 0 1315 2439 53.9%
ov_SC02_026 1313 1313 0 1319 2575 51.2%
ov_SC02_027 1313 1313 0 1322 2695 49.1%
ov_SC02_028 1313 1313 0 1323 2704 48.9%
ov_SC02_031 1313 1313 0 1319 2565 51.4%
ov_SC02_035 1313 1313 0 1316 2523 52.2%
ov_SC02_039 1313 1313 0 1313 2418 54.3%
ov_SC02_041 1313 1313 0 1316 2563 51.3%
ov_SC03_001 1313 1313 0 1331 2870 46.4%
ov_SC03_002 1317 1317 0 1333 2632 50.6%
ov_SC03_003 1313 1313 0 1314 2425 54.2%
ov_SC03_006 1319 1319 0 1328 2768 48.0%
ov_SC03_007 1313 1313 0 1317 2626 50.2%
ov_SC03_010 1313 1313 0 1313 2472 53.1%
ov_SC03_011 1313 1313 0 1319 2530 52.1%
ov_SC03_012 1313 1313 0 1314 2408 54.6%
ov_SC03_013 1313 1313 0 1313 2495 52.6%
ov_SC03_014 1313 1313 0 1323 2688 49.2%
ov_SC03_015 1313 1313 0 1323 2688 49.2%
ov_SC03_023 1313 1313 0 1314 2437 53.9%
ov_SC03_024 1313 1313 0 1325 2644 50.1%
ov_SC03_028 1313 1313 0 1317 2667 49.4%
ov_SC03_029 1315 1315 0 1325 2647 50.1%
ov_SC03_030 1317 1317 0 1319 2498 52.8%
ov_SC03_031 1313 1313 0 1317 2517 52.3%
ov_SC03_089 1313 1313 0 1320 2584 51.1%
ov_SC03_090 1313 1313 0 1321 2628 50.3%
ov_SC03_091 1313 1313 0 1321 2643 50.0%
ov_SC03_092 1313 1313 0 1325 2590 51.2%
ov_SC03_093 1313 1313 0 1317 2566 51.3%
ov_SC03_094 1313 1313 0 1319 2579 51.1%
ov_SC03_095 1313 1313 0 1316 2477 53.1%
ov_SC03_096 1313 1313 0 1316 2468 53.3%
ov_SC03_097 1313 1313 0 1320 2606 50.7%
ov_SC03_098 1313 1313 0 1316 2544 51.7%
ov_SC03_099 1313 1313 0 1316 2507 52.5%
ov_SC03_100 1313 1313 0 1317 2542 51.8%
ov_SC03_101 1313 1313 0 1317 2531 52.0%
ov_SC03_102 1313 1313 0 1316 2495 52.7%
ov_SC03_103 1315 1315 0 1318 2513 52.4%
ov_SC03_104 1313 1313 0 1320 2619 50.4%
ov_SC03_105 1313 1313 0 1320 2600 50.8%
ov_SC03_108 1313 1313 0 1313 2446 53.7%
ov_SC03_109 1313 1313 0 1315 2426 54.2%
ov_SC03_110 1313 1313 0 1313 2471 53.1%
ov_SC03_111 1313 1313 0 1316 2513 52.4%
ov_SC03_112 1315 1315 0 1317 2529 52.1%
ov_SC03_113 1315 1315 0 1318 2471 53.3%
ov_SC03_114 1313 1313 0 1315 2417 54.4%
ov_SC03_115 1313 1313 0 1315 2475 53.1%
ov_SC03_116 1313 1313 0 1316 2441 53.9%
ov_SC03_117 1313 1313 0 1319 2560 51.5%
ov_SC03_118 1313 1313 0 1326 2688 49.3%
ov_SC03_119 1313 1313 0 1326 2688 49.3%
ov_SC03_121 1313 1313 0 1316 2462 53.5%
ov_SC03_124 1309 1309 0 1329 2744 48.4%
ov_SC03_125 1313 1313 0 1325 2591 51.1%
ov_SC03_126 1313 1313 0 1314 2425 54.2%
ov_SC04_000 1317 1317 0 1326 2547 52.1%
ov_SC04_002 1313 1313 0 1317 2639 49.9%
ov_SC04_003 1313 1313 0 1317 2505 52.6%
ov_SC04_004 1313 1313 0 1315 2561 51.3%
ov_SC04_005 1313 1313 0 1319 2615 50.4%
ov_SC04_006 1313 1313 0 1315 2456 53.5%
ov_SC04_007 1313 1313 0 1317 2572 51.2%
ov_SC04_008 1313 1313 0 1313 2417 54.3%
ov_SC04_009 1313 1313 0 1316 2443 53.9%
ov_SC04_010 1313 1313 0 1314 2421 54.3%
ov_SC04_011 1313 1313 0 1319 2806 47.0%
ov_SC04_012 1313 1313 0 1314 2422 54.3%
ov_SC04_015 1313 1313 0 1325 2614 50.7%
ov_SC04_016 1313 1313 0 1315 2442 53.8%
ov_SC04_018 1313 1313 0 1326 2858 46.4%
ov_SC04_019 1313 1313 0 1326 2858 46.4%
ov_SC04_020 1313 1313 0 1325 2570 51.6%
ov_SC04_021 1313 1313 0 1314 2425 54.2%
ov_SC05_000 1317 1317 0 1320 2422 54.5%
ov_SC05_001 1313 1313 0 1318 2577 51.1%
ov_SC05_002 1313 1313 0 1316 2445 53.8%
ov_SC05_003 1313 1313 0 1314 2484 52.9%
ov_SC05_004 1313 1313 0 1315 2467 53.3%
ov_SC05_005 1313 1313 0 1314 2494 52.7%
ov_SC05_006 1313 1313 0 1313 2432 54.0%
ov_SC05_007 1313 1313 0 1318 2485 53.0%
ov_SC05_008 1313 1313 0 1315 2546 51.6%
ov_SC05_009 1313 1313 0 1317 2440 54.0%
ov_SC05_010 1313 1313 0 1317 2591 50.8%
ov_SC05_011 1313 1313 0 1314 2411 54.5%
ov_SC05_017 1309 1309 0 1321 2845 46.4%
ov_SC05_018 1313 1313 0 1326 2676 49.6%
ov_SC05_019 1313 1313 0 1314 2425 54.2%
ov_SC06_000 1317 1317 0 1325 2692 49.2%
ov_SC06_006 1313 1313 0 1314 2514 52.3%
ov_SC06_008 1315 1315 0 1321 2544 51.9%
ov_SC06_010 1313 1313 0 1318 2520 52.3%
ov_SC06_011 1313 1313 0 1317 2471 53.3%
ov_SC06_013 1313 1313 0 1314 2427 54.1%
ov_SC06_014 1313 1313 0 1315 2455 53.6%
ov_SC06_015 1313 1313 0 1313 2423 54.2%
ov_SC06_016 1313 1313 0 1315 2552 51.5%
ov_SC06_018 1313 1313 0 1321 2668 49.5%
ov_SC06_020 1313 1313 0 1314 2521 52.1%
ov_SC06_022 1313 1313 0 1321 2645 49.9%
ov_SC06_024 1313 1313 0 1319 2670 49.4%
ov_SC06_025 1313 1313 0 1318 2575 51.2%
ov_SC06_027 1313 1313 0 1314 2410 54.5%
ov_SC06_029 1313 1313 0 1325 2665 49.7%
ov_SC06_030 1313 1313 0 1313 2459 53.4%
ov_SC06_032 1313 1313 0 1320 2661 49.6%
ov_SC06_033 1313 1313 0 1320 2634 50.1%
ov_SC07_000 1317 1317 0 1319 2522 52.3%
ov_SC07_001 1313 1313 0 1315 2457 53.5%
ov_SC07_002 1313 1313 0 1317 2582 51.0%
ov_SC07_008 1313 1313 0 1313 2388 55.0%
ov_SC07_009 1313 1313 0 1315 2432 54.1%