Files
BFM-decomp/docs/progress.fleet.md
T
Drew T db4fddc44e feat(phase-15): T6g medium band — harvest+propagate 65 shared fns; fleet 42.14% -> 44.64%
- medium harvest (callee+data-sig-aware) on the 293 still-stub call-heavy fns (nins 41-150):
  30-agent Workflow + a 3-target gap-fill (mandatory produced-vs-expected reconcile). Gate:
  73 verified (25% — these are the harder GTE/matrix/regalloc functions; 220 quarantined to
  .run/drafts-T6c-fail for a later recovery pass).
- dedup_propagate.py: broaden the struct/union guard to skip ANY struct/union-touching body
  (not just definitions) — agents used colliding generic struct names in params/casts/externs
  too. 37 skipped; 65 propagated fleet-wide, 134 overlays byte-identical; dedup 1076 -> 1141
  groups, dedup_integrate --check 1141 validated / 0 failed.
- fleet REAL substantive 143,322 -> 151,908; byte-identical 42.14% -> 44.64%.
- R22 clean rebuild: 136/136 byte-identical, 0 extract failures.
- open tail (paused here): 285+220 quarantined drafts (regalloc/struct/§10 residuals), the
  struct-using shared fns (shared-types-header follow-up), 077-unique remainder, T7 giants.
2026-06-17 13:21:36 -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 : 151908 (of which dedup-shared 151417 via 1141 groups / 151461 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 153555 / 344010 = 44.64% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 190448 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 1134 1134 0 1134 2403 47.2%
ov_SC01_001 1134 1134 0 1136 2467 46.0%
ov_SC01_004 1126 1126 0 1127 2416 46.6%
ov_SC01_005 1133 1133 0 1140 2504 45.5%
ov_SC01_006 1133 1133 0 1140 2504 45.5%
ov_SC01_008 1126 1126 0 1128 2428 46.5%
ov_SC01_009 1126 1126 0 1127 2510 44.9%
ov_SC01_074 1126 1126 0 1128 2427 46.5%
ov_SC01_077 1409 1093 0 1411 2586 54.6%
ov_SC01_080 1130 1130 0 1130 2515 44.9%
ov_SC01_084 1130 1130 0 1135 2581 44.0%
ov_SC02_000 1134 1134 0 1141 2684 42.5%
ov_SC02_003 1134 1134 0 1141 2684 42.5%
ov_SC02_004 1130 1130 0 1130 2403 47.0%
ov_SC02_005 1126 1126 0 1136 2930 38.8%
ov_SC02_011 1131 1131 0 1143 2896 39.5%
ov_SC02_015 1131 1131 0 1131 2416 46.8%
ov_SC02_016 1131 1131 0 1134 2548 44.5%
ov_SC02_017 1131 1131 0 1139 2735 41.6%
ov_SC02_021 1131 1131 0 1131 2439 46.4%
ov_SC02_026 1130 1130 0 1136 2575 44.1%
ov_SC02_027 1130 1130 0 1139 2695 42.3%
ov_SC02_028 1130 1130 0 1140 2704 42.2%
ov_SC02_031 1130 1130 0 1136 2565 44.3%
ov_SC02_035 1130 1130 0 1133 2523 44.9%
ov_SC02_039 1130 1130 0 1130 2418 46.7%
ov_SC02_041 1130 1130 0 1133 2563 44.2%
ov_SC03_001 1130 1130 0 1148 2870 40.0%
ov_SC03_002 1134 1134 0 1150 2632 43.7%
ov_SC03_003 1130 1130 0 1131 2425 46.6%
ov_SC03_006 1135 1135 0 1144 2768 41.3%
ov_SC03_007 1130 1130 0 1134 2626 43.2%
ov_SC03_010 1130 1130 0 1130 2472 45.7%
ov_SC03_011 1130 1130 0 1136 2530 44.9%
ov_SC03_012 1130 1130 0 1131 2408 47.0%
ov_SC03_013 1130 1130 0 1130 2495 45.3%
ov_SC03_014 1130 1130 0 1140 2688 42.4%
ov_SC03_015 1130 1130 0 1140 2688 42.4%
ov_SC03_023 1130 1130 0 1131 2437 46.4%
ov_SC03_024 1130 1130 0 1142 2644 43.2%
ov_SC03_028 1130 1130 0 1134 2667 42.5%
ov_SC03_029 1131 1131 0 1141 2647 43.1%
ov_SC03_030 1133 1133 0 1135 2498 45.4%
ov_SC03_031 1130 1130 0 1134 2517 45.1%
ov_SC03_089 1130 1130 0 1137 2584 44.0%
ov_SC03_090 1130 1130 0 1138 2628 43.3%
ov_SC03_091 1130 1130 0 1138 2643 43.1%
ov_SC03_092 1130 1130 0 1142 2590 44.1%
ov_SC03_093 1130 1130 0 1134 2566 44.2%
ov_SC03_094 1130 1130 0 1136 2579 44.0%
ov_SC03_095 1130 1130 0 1133 2477 45.7%
ov_SC03_096 1130 1130 0 1133 2468 45.9%
ov_SC03_097 1130 1130 0 1137 2606 43.6%
ov_SC03_098 1130 1130 0 1133 2544 44.5%
ov_SC03_099 1130 1130 0 1133 2507 45.2%
ov_SC03_100 1130 1130 0 1134 2542 44.6%
ov_SC03_101 1130 1130 0 1134 2531 44.8%
ov_SC03_102 1130 1130 0 1133 2495 45.4%
ov_SC03_103 1131 1131 0 1134 2513 45.1%
ov_SC03_104 1130 1130 0 1137 2619 43.4%
ov_SC03_105 1130 1130 0 1137 2600 43.7%
ov_SC03_108 1130 1130 0 1130 2446 46.2%
ov_SC03_109 1130 1130 0 1132 2426 46.7%
ov_SC03_110 1130 1130 0 1130 2471 45.7%
ov_SC03_111 1130 1130 0 1133 2513 45.1%
ov_SC03_112 1131 1131 0 1133 2529 44.8%
ov_SC03_113 1131 1131 0 1134 2471 45.9%
ov_SC03_114 1130 1130 0 1132 2417 46.8%
ov_SC03_115 1130 1130 0 1132 2475 45.7%
ov_SC03_116 1130 1130 0 1133 2441 46.4%
ov_SC03_117 1130 1130 0 1136 2560 44.4%
ov_SC03_118 1130 1130 0 1143 2688 42.5%
ov_SC03_119 1130 1130 0 1143 2688 42.5%
ov_SC03_121 1130 1130 0 1133 2462 46.0%
ov_SC03_124 1126 1126 0 1146 2744 41.8%
ov_SC03_125 1130 1130 0 1142 2591 44.1%
ov_SC03_126 1130 1130 0 1131 2425 46.6%
ov_SC04_000 1134 1134 0 1143 2547 44.9%
ov_SC04_002 1130 1130 0 1134 2639 43.0%
ov_SC04_003 1130 1130 0 1134 2505 45.3%
ov_SC04_004 1130 1130 0 1132 2561 44.2%
ov_SC04_005 1130 1130 0 1136 2615 43.4%
ov_SC04_006 1130 1130 0 1132 2456 46.1%
ov_SC04_007 1130 1130 0 1134 2572 44.1%
ov_SC04_008 1130 1130 0 1130 2417 46.8%
ov_SC04_009 1130 1130 0 1133 2443 46.4%
ov_SC04_010 1130 1130 0 1131 2421 46.7%
ov_SC04_011 1130 1130 0 1136 2806 40.5%
ov_SC04_012 1130 1130 0 1131 2422 46.7%
ov_SC04_015 1130 1130 0 1142 2614 43.7%
ov_SC04_016 1130 1130 0 1132 2442 46.4%
ov_SC04_018 1130 1130 0 1143 2858 40.0%
ov_SC04_019 1130 1130 0 1143 2858 40.0%
ov_SC04_020 1130 1130 0 1142 2570 44.4%
ov_SC04_021 1130 1130 0 1131 2425 46.6%
ov_SC05_000 1134 1134 0 1137 2422 46.9%
ov_SC05_001 1130 1130 0 1135 2577 44.0%
ov_SC05_002 1130 1130 0 1133 2445 46.3%
ov_SC05_003 1130 1130 0 1131 2484 45.5%
ov_SC05_004 1130 1130 0 1132 2467 45.9%
ov_SC05_005 1130 1130 0 1131 2494 45.3%
ov_SC05_006 1130 1130 0 1130 2432 46.5%
ov_SC05_007 1130 1130 0 1135 2485 45.7%
ov_SC05_008 1130 1130 0 1132 2546 44.5%
ov_SC05_009 1130 1130 0 1134 2440 46.5%
ov_SC05_010 1130 1130 0 1134 2591 43.8%
ov_SC05_011 1130 1130 0 1131 2411 46.9%
ov_SC05_017 1126 1126 0 1138 2845 40.0%
ov_SC05_018 1130 1130 0 1143 2676 42.7%
ov_SC05_019 1130 1130 0 1131 2425 46.6%
ov_SC06_000 1134 1134 0 1142 2692 42.4%
ov_SC06_006 1130 1130 0 1131 2514 45.0%
ov_SC06_008 1131 1131 0 1137 2544 44.7%
ov_SC06_010 1130 1130 0 1135 2520 45.0%
ov_SC06_011 1130 1130 0 1134 2471 45.9%
ov_SC06_013 1130 1130 0 1131 2427 46.6%
ov_SC06_014 1130 1130 0 1132 2455 46.1%
ov_SC06_015 1130 1130 0 1130 2423 46.6%
ov_SC06_016 1130 1130 0 1132 2552 44.4%
ov_SC06_018 1130 1130 0 1138 2668 42.7%
ov_SC06_020 1130 1130 0 1131 2521 44.9%
ov_SC06_022 1130 1130 0 1138 2645 43.0%
ov_SC06_024 1130 1130 0 1136 2670 42.5%
ov_SC06_025 1130 1130 0 1135 2575 44.1%
ov_SC06_027 1130 1130 0 1131 2410 46.9%
ov_SC06_029 1130 1130 0 1142 2665 42.9%
ov_SC06_030 1130 1130 0 1130 2459 46.0%
ov_SC06_032 1130 1130 0 1137 2661 42.7%
ov_SC06_033 1130 1130 0 1137 2634 43.2%
ov_SC07_000 1134 1134 0 1136 2522 45.0%
ov_SC07_001 1130 1130 0 1132 2457 46.1%
ov_SC07_002 1130 1130 0 1134 2582 43.9%
ov_SC07_008 1130 1130 0 1130 2388 47.3%
ov_SC07_009 1130 1130 0 1132 2432 46.5%