Files
BFM-decomp/docs/progress.fleet.md
T
Drew T c993029f0e feat(phase-25): T7 mechanical family sweep — matched-free harvest; fleet 66.02%->70.82% (+16,512 members)
The proven mechanical remap lever (tools/family_remap) applied at fleet scale by tools/family_sweep:
for each matched ov_SC01_077 fn with unmatched same-address h_norm-siblings, remap its matched C to
each sibling (positional per-overlay symbol substitution) + plain harvest_verify byte-gate. BANKED
16,512 member-matches (+133 validation) across 133 overlays, 0 remap-fail. R22 CLEAN-FLEET verify:
136/136 byte-identical from a fully clean tree (make clean + extract-all + check-all). Fleet
byte-identical 66.02% -> 70.82%. Pre-classify deferred 29 type/decl families (type-lift pass) + 4
diff + 4 remap-fail edge cases -> .run/sweep_deferred.txt.
2026-07-08 11:10:56 -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 : 242461 (of which dedup-shared 223275 via 1813 groups / 223725 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 243990 / 344542 = 70.82% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 100545 FLEET matchable : 344542

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 1802 1669 0 1802 2407 74.9%
ov_SC01_001 1799 1669 0 1801 2471 72.9%
ov_SC01_004 1794 1660 0 1795 2420 74.2%
ov_SC01_005 1816 1682 0 1816 2508 72.4%
ov_SC01_006 1815 1682 0 1815 2508 72.4%
ov_SC01_008 1795 1660 0 1797 2432 73.9%
ov_SC01_009 1815 1661 0 1816 2514 72.2%
ov_SC01_074 1795 1661 0 1797 2431 73.9%
ov_SC01_077 2191 1624 0 2193 2586 84.8%
ov_SC01_080 1813 1664 0 1813 2519 72.0%
ov_SC01_084 1817 1664 0 1822 2585 70.5%
ov_SC02_000 1831 1699 0 1831 2688 68.1%
ov_SC02_003 1831 1699 0 1831 2688 68.1%
ov_SC02_004 1799 1664 0 1799 2407 74.7%
ov_SC02_005 1858 1660 0 1868 2934 63.7%
ov_SC02_011 1839 1667 0 1850 2900 63.8%
ov_SC02_015 1800 1666 0 1800 2420 74.4%
ov_SC02_016 1804 1666 0 1807 2552 70.8%
ov_SC02_017 1823 1666 0 1831 2739 66.8%
ov_SC02_021 1803 1666 0 1803 2443 73.8%
ov_SC02_026 1807 1664 0 1813 2579 70.3%
ov_SC02_027 1816 1664 0 1825 2699 67.6%
ov_SC02_028 1824 1664 0 1834 2708 67.7%
ov_SC02_031 1814 1665 0 1819 2569 70.8%
ov_SC02_035 1805 1664 0 1808 2527 71.5%
ov_SC02_039 1794 1664 0 1794 2422 74.1%
ov_SC02_041 1801 1664 0 1804 2567 70.3%
ov_SC03_001 1854 1665 0 1871 2874 65.1%
ov_SC03_002 1820 1669 0 1835 2636 69.6%
ov_SC03_003 1792 1664 0 1793 2429 73.8%
ov_SC03_006 1833 1670 0 1842 2772 66.5%
ov_SC03_007 1808 1664 0 1812 2630 68.9%
ov_SC03_010 1802 1664 0 1802 2476 72.8%
ov_SC03_011 1798 1664 0 1804 2534 71.2%
ov_SC03_012 1793 1664 0 1794 2412 74.4%
ov_SC03_013 1801 1664 0 1801 2499 72.1%
ov_SC03_014 1823 1689 0 1823 2692 67.7%
ov_SC03_015 1829 1689 0 1829 2692 67.9%
ov_SC03_023 1795 1664 0 1796 2441 73.6%
ov_SC03_024 1825 1669 0 1832 2648 69.2%
ov_SC03_028 1816 1664 0 1820 2671 68.1%
ov_SC03_029 1802 1666 0 1812 2651 68.4%
ov_SC03_030 1802 1668 0 1804 2502 72.1%
ov_SC03_031 1797 1664 0 1801 2521 71.4%
ov_SC03_089 1807 1664 0 1814 2588 70.1%
ov_SC03_090 1808 1664 0 1816 2632 69.0%
ov_SC03_091 1807 1664 0 1815 2647 68.6%
ov_SC03_092 1807 1664 0 1819 2594 70.1%
ov_SC03_093 1804 1664 0 1808 2570 70.4%
ov_SC03_094 1798 1664 0 1804 2583 69.8%
ov_SC03_095 1796 1664 0 1799 2481 72.5%
ov_SC03_096 1799 1664 0 1802 2472 72.9%
ov_SC03_097 1803 1664 0 1810 2610 69.3%
ov_SC03_098 1799 1664 0 1802 2548 70.7%
ov_SC03_099 1796 1664 0 1799 2511 71.6%
ov_SC03_100 1798 1664 0 1802 2546 70.8%
ov_SC03_101 1800 1664 0 1804 2535 71.2%
ov_SC03_102 1800 1664 0 1803 2499 72.1%
ov_SC03_103 1799 1666 0 1802 2517 71.6%
ov_SC03_104 1810 1664 0 1817 2623 69.3%
ov_SC03_105 1804 1664 0 1811 2604 69.5%
ov_SC03_108 1792 1664 0 1792 2450 73.1%
ov_SC03_109 1793 1664 0 1795 2430 73.9%
ov_SC03_110 1795 1664 0 1795 2475 72.5%
ov_SC03_111 1800 1664 0 1803 2517 71.6%
ov_SC03_112 1798 1666 0 1800 2533 71.1%
ov_SC03_113 1795 1666 0 1798 2475 72.6%
ov_SC03_114 1791 1664 0 1793 2421 74.1%
ov_SC03_115 1799 1664 0 1801 2479 72.7%
ov_SC03_116 1797 1664 0 1800 2445 73.6%
ov_SC03_117 1797 1664 0 1803 2564 70.3%
ov_SC03_118 1825 1688 0 1826 2692 67.8%
ov_SC03_119 1820 1688 0 1821 2692 67.6%
ov_SC03_121 1797 1664 0 1800 2466 73.0%
ov_SC03_124 1821 1660 0 1841 2748 67.0%
ov_SC03_125 1803 1664 0 1815 2595 69.9%
ov_SC03_126 1794 1666 0 1794 2429 73.9%
ov_SC04_000 1803 1668 0 1812 2551 71.0%
ov_SC04_002 1807 1664 0 1811 2643 68.5%
ov_SC04_003 1795 1664 0 1799 2509 71.7%
ov_SC04_004 1802 1664 0 1804 2565 70.3%
ov_SC04_005 1804 1664 0 1810 2619 69.1%
ov_SC04_006 1793 1664 0 1795 2460 73.0%
ov_SC04_007 1803 1664 0 1807 2576 70.1%
ov_SC04_008 1793 1664 0 1793 2421 74.1%
ov_SC04_009 1796 1664 0 1799 2447 73.5%
ov_SC04_010 1796 1664 0 1797 2425 74.1%
ov_SC04_011 1819 1664 0 1825 2810 64.9%
ov_SC04_012 1793 1664 0 1794 2426 73.9%
ov_SC04_015 1813 1665 0 1824 2618 69.7%
ov_SC04_016 1791 1664 0 1793 2446 73.3%
ov_SC04_018 1839 1699 0 1839 2862 64.3%
ov_SC04_019 1844 1699 0 1844 2862 64.4%
ov_SC04_020 1806 1664 0 1818 2574 70.6%
ov_SC04_021 1792 1666 0 1792 2429 73.8%
ov_SC05_000 1796 1668 0 1799 2426 74.2%
ov_SC05_001 1796 1664 0 1801 2581 69.8%
ov_SC05_002 1793 1664 0 1796 2449 73.3%
ov_SC05_003 1794 1664 0 1795 2488 72.1%
ov_SC05_004 1794 1664 0 1796 2471 72.7%
ov_SC05_005 1795 1664 0 1796 2498 71.9%
ov_SC05_006 1792 1664 0 1792 2436 73.6%
ov_SC05_007 1797 1664 0 1802 2489 72.4%
ov_SC05_008 1817 1664 0 1819 2550 71.3%
ov_SC05_009 1797 1664 0 1801 2444 73.7%
ov_SC05_010 1805 1664 0 1809 2595 69.7%
ov_SC05_011 1792 1664 0 1793 2415 74.2%
ov_SC05_017 1824 1661 0 1835 2849 64.4%
ov_SC05_018 1815 1664 0 1828 2680 68.2%
ov_SC05_019 1793 1666 0 1793 2429 73.8%
ov_SC06_000 1827 1673 0 1830 2696 67.9%
ov_SC06_006 1800 1664 0 1801 2518 71.5%
ov_SC06_008 1805 1666 0 1811 2548 71.1%
ov_SC06_010 1804 1664 0 1809 2524 71.7%
ov_SC06_011 1796 1664 0 1800 2475 72.7%
ov_SC06_013 1795 1664 0 1796 2431 73.9%
ov_SC06_014 1797 1664 0 1799 2459 73.2%
ov_SC06_015 1794 1664 0 1794 2427 73.9%
ov_SC06_016 1805 1664 0 1807 2556 70.7%
ov_SC06_018 1804 1667 0 1811 2672 67.8%
ov_SC06_020 1798 1666 0 1799 2525 71.2%
ov_SC06_022 1804 1664 0 1812 2649 68.4%
ov_SC06_024 1809 1664 0 1815 2674 67.9%
ov_SC06_025 1802 1664 0 1807 2579 70.1%
ov_SC06_027 1790 1664 0 1791 2414 74.2%
ov_SC06_029 1818 1664 0 1830 2669 68.6%
ov_SC06_030 1796 1664 0 1796 2463 72.9%
ov_SC06_032 1797 1665 0 1804 2665 67.7%
ov_SC06_033 1805 1665 0 1812 2638 68.7%
ov_SC07_000 1808 1668 0 1810 2526 71.7%
ov_SC07_001 1797 1664 0 1799 2461 73.1%
ov_SC07_002 1811 1664 0 1815 2586 70.2%
ov_SC07_008 1791 1664 0 1791 2392 74.9%
ov_SC07_009 1799 1664 0 1801 2436 73.9%