Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 938eb7ae06 feat(phase-25): T5 pilot — measure-wave validated, +402 fns (fleet 71.36->71.47%)
- worker_wave (Opus xHigh) over 10 draftable family exemplars: 7/10 match_one-MATCH
  incl. the 369-ins giant func_80166994; whole-binary gate banked 3 clean
  (func_801596F0, func_8014D3E0, func_801320D8) + family_sweep +399 siblings x~N
  (0 failed, ~0 agent tokens) across 133 overlays
- R22 clean-fleet 136/136 byte-identical; dedup-check 1813/0; 0 NON_MATCHING (G4)
- findings (frontier map -> T6): byte-weight != tractability (func_8014D3E0 22x1997
  is a $sp stack-switcher, sibling-ported); dominant gate-failure is the def-side
  loose-typing wall (4/7 -> T7 caller-decl reconcile); family_sweep is same-address
  (cross-address h_norm remainder -> T5c/T7)
- CURRENT_PHASE T5 pilot log
2026-07-08 20:16:31 -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 : 244556 (of which dedup-shared 223275 via 1813 groups / 223725 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 246085 / 344306 = 71.47% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 98214 FLEET matchable : 344306

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 1818 1669 0 1818 2407 75.5%
ov_SC01_001 1815 1669 0 1817 2471 73.5%
ov_SC01_004 1808 1660 0 1809 2418 74.8%
ov_SC01_005 1832 1682 0 1832 2508 73.0%
ov_SC01_006 1831 1682 0 1831 2508 73.0%
ov_SC01_008 1809 1660 0 1811 2430 74.5%
ov_SC01_009 1829 1661 0 1830 2512 72.9%
ov_SC01_074 1809 1661 0 1811 2429 74.6%
ov_SC01_077 2194 1624 0 2196 2586 84.9%
ov_SC01_080 1827 1664 0 1827 2517 72.6%
ov_SC01_084 1831 1664 0 1836 2583 71.1%
ov_SC02_000 1847 1699 0 1847 2688 68.7%
ov_SC02_003 1847 1699 0 1847 2688 68.7%
ov_SC02_004 1813 1664 0 1813 2405 75.4%
ov_SC02_005 1872 1660 0 1882 2932 64.2%
ov_SC02_011 1853 1667 0 1864 2898 64.3%
ov_SC02_015 1814 1666 0 1814 2418 75.0%
ov_SC02_016 1818 1666 0 1821 2550 71.4%
ov_SC02_017 1837 1666 0 1845 2737 67.4%
ov_SC02_021 1817 1666 0 1817 2441 74.4%
ov_SC02_026 1821 1664 0 1827 2577 70.9%
ov_SC02_027 1830 1664 0 1839 2697 68.2%
ov_SC02_028 1838 1664 0 1848 2706 68.3%
ov_SC02_031 1828 1665 0 1833 2567 71.4%
ov_SC02_035 1819 1664 0 1822 2525 72.2%
ov_SC02_039 1810 1664 0 1810 2420 74.8%
ov_SC02_041 1817 1664 0 1820 2565 71.0%
ov_SC03_001 1870 1665 0 1887 2874 65.7%
ov_SC03_002 1836 1669 0 1851 2636 70.2%
ov_SC03_003 1808 1664 0 1809 2427 74.5%
ov_SC03_006 1849 1670 0 1858 2772 67.0%
ov_SC03_007 1824 1664 0 1828 2628 69.6%
ov_SC03_010 1818 1664 0 1818 2474 73.5%
ov_SC03_011 1814 1664 0 1820 2532 71.9%
ov_SC03_012 1809 1664 0 1810 2410 75.1%
ov_SC03_013 1817 1664 0 1817 2497 72.8%
ov_SC03_014 1839 1689 0 1839 2690 68.4%
ov_SC03_015 1845 1689 0 1845 2690 68.6%
ov_SC03_023 1811 1664 0 1812 2439 74.3%
ov_SC03_024 1841 1669 0 1848 2646 69.8%
ov_SC03_028 1832 1664 0 1836 2669 68.8%
ov_SC03_029 1818 1666 0 1828 2649 69.0%
ov_SC03_030 1818 1668 0 1820 2500 72.8%
ov_SC03_031 1813 1664 0 1817 2519 72.1%
ov_SC03_089 1823 1664 0 1830 2586 70.8%
ov_SC03_090 1824 1664 0 1832 2630 69.7%
ov_SC03_091 1823 1664 0 1831 2645 69.2%
ov_SC03_092 1823 1664 0 1835 2592 70.8%
ov_SC03_093 1820 1664 0 1824 2568 71.0%
ov_SC03_094 1814 1664 0 1820 2581 70.5%
ov_SC03_095 1812 1664 0 1815 2479 73.2%
ov_SC03_096 1815 1664 0 1818 2470 73.6%
ov_SC03_097 1819 1664 0 1826 2608 70.0%
ov_SC03_098 1815 1664 0 1818 2546 71.4%
ov_SC03_099 1812 1664 0 1815 2509 72.3%
ov_SC03_100 1814 1664 0 1818 2544 71.5%
ov_SC03_101 1816 1664 0 1820 2533 71.9%
ov_SC03_102 1816 1664 0 1819 2497 72.8%
ov_SC03_103 1815 1666 0 1818 2515 72.3%
ov_SC03_104 1826 1664 0 1833 2621 69.9%
ov_SC03_105 1820 1664 0 1827 2602 70.2%
ov_SC03_108 1808 1664 0 1808 2448 73.9%
ov_SC03_109 1809 1664 0 1811 2428 74.6%
ov_SC03_110 1811 1664 0 1811 2473 73.2%
ov_SC03_111 1816 1664 0 1819 2515 72.3%
ov_SC03_112 1814 1666 0 1816 2531 71.8%
ov_SC03_113 1811 1666 0 1814 2473 73.4%
ov_SC03_114 1807 1664 0 1809 2419 74.8%
ov_SC03_115 1815 1664 0 1817 2477 73.4%
ov_SC03_116 1813 1664 0 1816 2443 74.3%
ov_SC03_117 1813 1664 0 1819 2562 71.0%
ov_SC03_118 1841 1688 0 1842 2690 68.5%
ov_SC03_119 1836 1688 0 1837 2690 68.3%
ov_SC03_121 1813 1664 0 1816 2464 73.7%
ov_SC03_124 1837 1660 0 1857 2746 67.6%
ov_SC03_125 1819 1664 0 1831 2593 70.6%
ov_SC03_126 1810 1666 0 1810 2427 74.6%
ov_SC04_000 1819 1668 0 1828 2551 71.7%
ov_SC04_002 1823 1664 0 1827 2641 69.2%
ov_SC04_003 1811 1664 0 1815 2507 72.4%
ov_SC04_004 1818 1664 0 1820 2563 71.0%
ov_SC04_005 1820 1664 0 1826 2617 69.8%
ov_SC04_006 1809 1664 0 1811 2458 73.7%
ov_SC04_007 1819 1664 0 1823 2574 70.8%
ov_SC04_008 1809 1664 0 1809 2419 74.8%
ov_SC04_009 1812 1664 0 1815 2445 74.2%
ov_SC04_010 1812 1664 0 1813 2423 74.8%
ov_SC04_011 1835 1664 0 1841 2808 65.6%
ov_SC04_012 1809 1664 0 1810 2424 74.7%
ov_SC04_015 1829 1665 0 1840 2616 70.3%
ov_SC04_016 1807 1664 0 1809 2444 74.0%
ov_SC04_018 1855 1699 0 1855 2862 64.8%
ov_SC04_019 1860 1699 0 1860 2862 65.0%
ov_SC04_020 1822 1664 0 1834 2572 71.3%
ov_SC04_021 1808 1666 0 1808 2427 74.5%
ov_SC05_000 1812 1668 0 1815 2426 74.8%
ov_SC05_001 1812 1664 0 1817 2579 70.5%
ov_SC05_002 1809 1664 0 1812 2447 74.0%
ov_SC05_003 1810 1664 0 1811 2486 72.8%
ov_SC05_004 1810 1664 0 1812 2469 73.4%
ov_SC05_005 1811 1664 0 1812 2496 72.6%
ov_SC05_006 1808 1664 0 1808 2434 74.3%
ov_SC05_007 1813 1664 0 1818 2487 73.1%
ov_SC05_008 1833 1664 0 1835 2548 72.0%
ov_SC05_009 1813 1664 0 1817 2442 74.4%
ov_SC05_010 1821 1664 0 1825 2593 70.4%
ov_SC05_011 1808 1664 0 1809 2413 75.0%
ov_SC05_017 1840 1661 0 1851 2847 65.0%
ov_SC05_018 1831 1664 0 1844 2678 68.9%
ov_SC05_019 1809 1666 0 1809 2427 74.5%
ov_SC06_000 1843 1673 0 1846 2696 68.5%
ov_SC06_006 1816 1664 0 1817 2516 72.2%
ov_SC06_008 1821 1666 0 1827 2546 71.8%
ov_SC06_010 1820 1664 0 1825 2522 72.4%
ov_SC06_011 1812 1664 0 1816 2473 73.4%
ov_SC06_013 1811 1664 0 1812 2429 74.6%
ov_SC06_014 1813 1664 0 1815 2457 73.9%
ov_SC06_015 1810 1664 0 1810 2425 74.6%
ov_SC06_016 1821 1664 0 1823 2554 71.4%
ov_SC06_018 1820 1667 0 1827 2670 68.4%
ov_SC06_020 1814 1666 0 1815 2523 71.9%
ov_SC06_022 1820 1664 0 1828 2647 69.1%
ov_SC06_024 1825 1664 0 1831 2672 68.5%
ov_SC06_025 1818 1664 0 1823 2577 70.7%
ov_SC06_027 1806 1664 0 1807 2412 74.9%
ov_SC06_029 1834 1664 0 1846 2667 69.2%
ov_SC06_030 1812 1664 0 1812 2461 73.6%
ov_SC06_032 1813 1665 0 1820 2663 68.3%
ov_SC06_033 1821 1665 0 1828 2636 69.3%
ov_SC07_000 1824 1668 0 1826 2526 72.3%
ov_SC07_001 1813 1664 0 1815 2459 73.8%
ov_SC07_002 1827 1664 0 1831 2584 70.9%
ov_SC07_008 1807 1664 0 1807 2390 75.6%
ov_SC07_009 1815 1664 0 1817 2434 74.7%