Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 205fc202e9 feat(phase-23): macro-extern-injection lever — 8 reach-134 fns freed ×134 (fleet 63.82→64.09%)
- tools/inject_capped_externs.py (new): source each propagation-capped reach≥2
  inline match's externs from ov_SC01_077's own file-scope decls, inject them
  block-scope so the lifted macro is self-contained (the Phase-20-backlog
  macro-extern-injection lever; byte-neutral, fail-safe via compiles_standalone)
- 8 reach-134 fns freed from ov_SC01_077.c, 077 byte-identical; dedup_propagate
  --auto-from registered 7 new shared groups ×134 (1678->1685), check-all 136/136
- the LLM reach≥2 measurement run already banked +7 (v3 banks reach≥2: 6/15 in 005
  vs v2's 0/15) — committed earlier (commit:0359, commit:0360)
- cookbook §28d + SETUP tooling inventory (R16/R21/R30)
- fleet 63.82% -> 64.09%, 0 NON_MATCHING, dedup-check 1685/0 failed
2026-06-30 11:15:11 -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 : 219450 (of which dedup-shared 218377 via 1685 groups / 218428 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 221065 / 344941 = 64.09% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 123869 FLEET matchable : 344941

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 1646 1634 0 1646 2410 68.3%
ov_SC01_001 1644 1634 0 1646 2474 66.5%
ov_SC01_004 1633 1625 0 1634 2423 67.4%
ov_SC01_005 1660 1647 0 1660 2511 66.1%
ov_SC01_006 1659 1647 0 1659 2511 66.1%
ov_SC01_008 1635 1625 0 1637 2435 67.2%
ov_SC01_009 1642 1626 0 1643 2517 65.3%
ov_SC01_074 1635 1626 0 1637 2434 67.3%
ov_SC01_077 2151 1586 0 2153 2586 83.3%
ov_SC01_080 1644 1629 0 1644 2522 65.2%
ov_SC01_084 1648 1629 0 1653 2588 63.9%
ov_SC02_000 1666 1658 0 1666 2691 61.9%
ov_SC02_003 1669 1658 0 1669 2691 62.0%
ov_SC02_004 1642 1629 0 1642 2410 68.1%
ov_SC02_005 1644 1625 0 1654 2937 56.3%
ov_SC02_011 1647 1632 0 1658 2903 57.1%
ov_SC02_015 1642 1631 0 1642 2423 67.8%
ov_SC02_016 1645 1631 0 1648 2555 64.5%
ov_SC02_017 1649 1631 0 1657 2742 60.4%
ov_SC02_021 1645 1631 0 1645 2446 67.3%
ov_SC02_026 1642 1629 0 1648 2582 63.8%
ov_SC02_027 1647 1629 0 1656 2702 61.3%
ov_SC02_028 1652 1629 0 1662 2711 61.3%
ov_SC02_031 1648 1630 0 1653 2572 64.3%
ov_SC02_035 1643 1629 0 1646 2530 65.1%
ov_SC02_039 1629 1629 0 1629 2425 67.2%
ov_SC02_041 1629 1629 0 1632 2570 63.5%
ov_SC03_001 1629 1629 0 1647 2877 57.2%
ov_SC03_002 1634 1634 0 1649 2639 62.5%
ov_SC03_003 1629 1629 0 1630 2432 67.0%
ov_SC03_006 1635 1635 0 1644 2775 59.2%
ov_SC03_007 1629 1629 0 1633 2633 62.0%
ov_SC03_010 1629 1629 0 1629 2479 65.7%
ov_SC03_011 1629 1629 0 1635 2537 64.4%
ov_SC03_012 1629 1629 0 1630 2415 67.5%
ov_SC03_013 1629 1629 0 1629 2502 65.1%
ov_SC03_014 1629 1629 0 1639 2695 60.8%
ov_SC03_015 1629 1629 0 1639 2695 60.8%
ov_SC03_023 1629 1629 0 1630 2444 66.7%
ov_SC03_024 1629 1629 0 1641 2651 61.9%
ov_SC03_028 1629 1629 0 1633 2674 61.1%
ov_SC03_029 1631 1631 0 1641 2654 61.8%
ov_SC03_030 1633 1633 0 1635 2505 65.3%
ov_SC03_031 1629 1629 0 1633 2524 64.7%
ov_SC03_089 1629 1629 0 1636 2591 63.1%
ov_SC03_090 1629 1629 0 1637 2635 62.1%
ov_SC03_091 1629 1629 0 1637 2650 61.8%
ov_SC03_092 1629 1629 0 1641 2597 63.2%
ov_SC03_093 1629 1629 0 1633 2573 63.5%
ov_SC03_094 1629 1629 0 1635 2586 63.2%
ov_SC03_095 1629 1629 0 1632 2484 65.7%
ov_SC03_096 1629 1629 0 1632 2475 65.9%
ov_SC03_097 1629 1629 0 1636 2613 62.6%
ov_SC03_098 1629 1629 0 1632 2551 64.0%
ov_SC03_099 1629 1629 0 1632 2514 64.9%
ov_SC03_100 1629 1629 0 1633 2549 64.1%
ov_SC03_101 1629 1629 0 1633 2538 64.3%
ov_SC03_102 1629 1629 0 1632 2502 65.2%
ov_SC03_103 1631 1631 0 1634 2520 64.8%
ov_SC03_104 1629 1629 0 1636 2626 62.3%
ov_SC03_105 1629 1629 0 1636 2607 62.8%
ov_SC03_108 1629 1629 0 1629 2453 66.4%
ov_SC03_109 1629 1629 0 1631 2433 67.0%
ov_SC03_110 1629 1629 0 1629 2478 65.7%
ov_SC03_111 1629 1629 0 1632 2520 64.8%
ov_SC03_112 1631 1631 0 1633 2536 64.4%
ov_SC03_113 1631 1631 0 1634 2478 65.9%
ov_SC03_114 1629 1629 0 1631 2424 67.3%
ov_SC03_115 1629 1629 0 1631 2482 65.7%
ov_SC03_116 1629 1629 0 1632 2448 66.7%
ov_SC03_117 1629 1629 0 1635 2567 63.7%
ov_SC03_118 1629 1629 0 1642 2695 60.9%
ov_SC03_119 1629 1629 0 1642 2695 60.9%
ov_SC03_121 1629 1629 0 1632 2469 66.1%
ov_SC03_124 1625 1625 0 1645 2751 59.8%
ov_SC03_125 1629 1629 0 1641 2598 63.2%
ov_SC03_126 1629 1629 0 1630 2432 67.0%
ov_SC04_000 1633 1633 0 1642 2554 64.3%
ov_SC04_002 1629 1629 0 1633 2646 61.7%
ov_SC04_003 1629 1629 0 1633 2512 65.0%
ov_SC04_004 1629 1629 0 1631 2568 63.5%
ov_SC04_005 1629 1629 0 1635 2622 62.4%
ov_SC04_006 1629 1629 0 1631 2463 66.2%
ov_SC04_007 1629 1629 0 1633 2579 63.3%
ov_SC04_008 1629 1629 0 1629 2424 67.2%
ov_SC04_009 1629 1629 0 1632 2450 66.6%
ov_SC04_010 1629 1629 0 1630 2428 67.1%
ov_SC04_011 1629 1629 0 1635 2813 58.1%
ov_SC04_012 1629 1629 0 1630 2429 67.1%
ov_SC04_015 1630 1630 0 1641 2621 62.6%
ov_SC04_016 1629 1629 0 1631 2449 66.6%
ov_SC04_018 1629 1629 0 1642 2865 57.3%
ov_SC04_019 1629 1629 0 1642 2865 57.3%
ov_SC04_020 1629 1629 0 1641 2577 63.7%
ov_SC04_021 1629 1629 0 1630 2432 67.0%
ov_SC05_000 1633 1633 0 1636 2429 67.4%
ov_SC05_001 1629 1629 0 1634 2584 63.2%
ov_SC05_002 1629 1629 0 1632 2452 66.6%
ov_SC05_003 1629 1629 0 1630 2491 65.4%
ov_SC05_004 1629 1629 0 1631 2474 65.9%
ov_SC05_005 1629 1629 0 1630 2501 65.2%
ov_SC05_006 1629 1629 0 1629 2439 66.8%
ov_SC05_007 1629 1629 0 1634 2492 65.6%
ov_SC05_008 1629 1629 0 1631 2553 63.9%
ov_SC05_009 1629 1629 0 1633 2447 66.7%
ov_SC05_010 1629 1629 0 1633 2598 62.9%
ov_SC05_011 1629 1629 0 1630 2418 67.4%
ov_SC05_017 1625 1625 0 1637 2852 57.4%
ov_SC05_018 1629 1629 0 1642 2683 61.2%
ov_SC05_019 1629 1629 0 1630 2432 67.0%
ov_SC06_000 1633 1633 0 1641 2699 60.8%
ov_SC06_006 1629 1629 0 1630 2521 64.7%
ov_SC06_008 1631 1631 0 1637 2551 64.2%
ov_SC06_010 1629 1629 0 1634 2527 64.7%
ov_SC06_011 1629 1629 0 1633 2478 65.9%
ov_SC06_013 1629 1629 0 1630 2434 67.0%
ov_SC06_014 1629 1629 0 1631 2462 66.2%
ov_SC06_015 1629 1629 0 1629 2430 67.0%
ov_SC06_016 1629 1629 0 1631 2559 63.7%
ov_SC06_018 1629 1629 0 1637 2675 61.2%
ov_SC06_020 1629 1629 0 1630 2528 64.5%
ov_SC06_022 1629 1629 0 1637 2652 61.7%
ov_SC06_024 1629 1629 0 1635 2677 61.1%
ov_SC06_025 1629 1629 0 1634 2582 63.3%
ov_SC06_027 1629 1629 0 1630 2417 67.4%
ov_SC06_029 1629 1629 0 1641 2672 61.4%
ov_SC06_030 1629 1629 0 1629 2466 66.1%
ov_SC06_032 1629 1629 0 1636 2668 61.3%
ov_SC06_033 1629 1629 0 1636 2641 61.9%
ov_SC07_000 1633 1633 0 1635 2529 64.7%
ov_SC07_001 1629 1629 0 1631 2464 66.2%
ov_SC07_002 1629 1629 0 1633 2589 63.1%
ov_SC07_008 1629 1629 0 1629 2395 68.0%
ov_SC07_009 1629 1629 0 1631 2439 66.9%