Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 897939eb46 feat(phase-25): T5b batch-1 (partial) — +1877 fns (fleet 71.47->72.02%)
- T5b measure-wave over the <=149-ins cheap tier (83 targets, generated §12-robust
  t5_scaleup.js, Opus xHigh). Drew stopped at ~50 on HTTP-529 overload; processed the
  54 landed drafts (0 truncated) as T5b.
- 46/54 match_one-MATCH (85%); gate banked 16 clean (main 1, _a 10, _after 5) +
  family_sweep +1861 siblings/1 fail across 133 overlays (14 exemplars, ~0 tokens).
- R22 clean-fleet 136/136 byte-identical; dedup-check 1813/0; 0 NON_MATCHING (G4).
- frontier map now 64 exemplars measured (.run/t5_frontier.jsonl). Def-side loose-typing
  wall confirmed dominant at scale (~30/46 match_one-MATCH gate-rejected -> backlog);
  fleet-wide caller-decl reconcile = the #1 T7 lever. 8 near-miss -> permuter fuel (T5c).
- more T5b batches (29 cheap + 34 giants + 5 _o0) + T5c/T5d -> T6 remain (phase OPEN)
2026-07-08 22:56:01 -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 : 246433 (of which dedup-shared 223275 via 1813 groups / 223725 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 247962 / 344306 = 72.02% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 96337 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 1832 1669 0 1832 2407 76.1%
ov_SC01_001 1829 1669 0 1831 2471 74.1%
ov_SC01_004 1822 1660 0 1823 2418 75.4%
ov_SC01_005 1846 1682 0 1846 2508 73.6%
ov_SC01_006 1845 1682 0 1845 2508 73.6%
ov_SC01_008 1823 1660 0 1825 2430 75.1%
ov_SC01_009 1843 1661 0 1844 2512 73.4%
ov_SC01_074 1823 1661 0 1825 2429 75.1%
ov_SC01_077 2210 1624 0 2212 2586 85.5%
ov_SC01_080 1841 1664 0 1841 2517 73.1%
ov_SC01_084 1844 1664 0 1849 2583 71.6%
ov_SC02_000 1861 1699 0 1861 2688 69.2%
ov_SC02_003 1861 1699 0 1861 2688 69.2%
ov_SC02_004 1827 1664 0 1827 2405 76.0%
ov_SC02_005 1886 1660 0 1896 2932 64.7%
ov_SC02_011 1867 1667 0 1878 2898 64.8%
ov_SC02_015 1828 1666 0 1828 2418 75.6%
ov_SC02_016 1832 1666 0 1835 2550 72.0%
ov_SC02_017 1851 1666 0 1859 2737 67.9%
ov_SC02_021 1831 1666 0 1831 2441 75.0%
ov_SC02_026 1835 1664 0 1841 2577 71.4%
ov_SC02_027 1844 1664 0 1853 2697 68.7%
ov_SC02_028 1852 1664 0 1862 2706 68.8%
ov_SC02_031 1842 1665 0 1847 2567 72.0%
ov_SC02_035 1833 1664 0 1836 2525 72.7%
ov_SC02_039 1824 1664 0 1824 2420 75.4%
ov_SC02_041 1831 1664 0 1834 2565 71.5%
ov_SC03_001 1884 1665 0 1901 2874 66.1%
ov_SC03_002 1850 1669 0 1865 2636 70.8%
ov_SC03_003 1822 1664 0 1823 2427 75.1%
ov_SC03_006 1863 1670 0 1872 2772 67.5%
ov_SC03_007 1838 1664 0 1842 2628 70.1%
ov_SC03_010 1832 1664 0 1832 2474 74.1%
ov_SC03_011 1828 1664 0 1834 2532 72.4%
ov_SC03_012 1823 1664 0 1824 2410 75.7%
ov_SC03_013 1831 1664 0 1831 2497 73.3%
ov_SC03_014 1853 1689 0 1853 2690 68.9%
ov_SC03_015 1859 1689 0 1859 2690 69.1%
ov_SC03_023 1825 1664 0 1826 2439 74.9%
ov_SC03_024 1855 1669 0 1862 2646 70.4%
ov_SC03_028 1846 1664 0 1850 2669 69.3%
ov_SC03_029 1832 1666 0 1842 2649 69.5%
ov_SC03_030 1832 1668 0 1834 2500 73.4%
ov_SC03_031 1827 1664 0 1831 2519 72.7%
ov_SC03_089 1837 1664 0 1844 2586 71.3%
ov_SC03_090 1838 1664 0 1846 2630 70.2%
ov_SC03_091 1837 1664 0 1845 2645 69.8%
ov_SC03_092 1837 1664 0 1849 2592 71.3%
ov_SC03_093 1834 1664 0 1838 2568 71.6%
ov_SC03_094 1828 1664 0 1834 2581 71.1%
ov_SC03_095 1826 1664 0 1829 2479 73.8%
ov_SC03_096 1829 1664 0 1832 2470 74.2%
ov_SC03_097 1833 1664 0 1840 2608 70.6%
ov_SC03_098 1829 1664 0 1832 2546 72.0%
ov_SC03_099 1826 1664 0 1829 2509 72.9%
ov_SC03_100 1828 1664 0 1832 2544 72.0%
ov_SC03_101 1830 1664 0 1834 2533 72.4%
ov_SC03_102 1830 1664 0 1833 2497 73.4%
ov_SC03_103 1829 1666 0 1832 2515 72.8%
ov_SC03_104 1840 1664 0 1847 2621 70.5%
ov_SC03_105 1834 1664 0 1841 2602 70.8%
ov_SC03_108 1822 1664 0 1822 2448 74.4%
ov_SC03_109 1823 1664 0 1825 2428 75.2%
ov_SC03_110 1825 1664 0 1825 2473 73.8%
ov_SC03_111 1830 1664 0 1833 2515 72.9%
ov_SC03_112 1828 1666 0 1830 2531 72.3%
ov_SC03_113 1825 1666 0 1828 2473 73.9%
ov_SC03_114 1821 1664 0 1823 2419 75.4%
ov_SC03_115 1829 1664 0 1831 2477 73.9%
ov_SC03_116 1827 1664 0 1830 2443 74.9%
ov_SC03_117 1827 1664 0 1833 2562 71.5%
ov_SC03_118 1855 1688 0 1856 2690 69.0%
ov_SC03_119 1850 1688 0 1851 2690 68.8%
ov_SC03_121 1827 1664 0 1830 2464 74.3%
ov_SC03_124 1851 1660 0 1871 2746 68.1%
ov_SC03_125 1833 1664 0 1845 2593 71.2%
ov_SC03_126 1824 1666 0 1824 2427 75.2%
ov_SC04_000 1833 1668 0 1842 2551 72.2%
ov_SC04_002 1837 1664 0 1841 2641 69.7%
ov_SC04_003 1825 1664 0 1829 2507 73.0%
ov_SC04_004 1832 1664 0 1834 2563 71.6%
ov_SC04_005 1834 1664 0 1840 2617 70.3%
ov_SC04_006 1823 1664 0 1825 2458 74.2%
ov_SC04_007 1833 1664 0 1837 2574 71.4%
ov_SC04_008 1823 1664 0 1823 2419 75.4%
ov_SC04_009 1826 1664 0 1829 2445 74.8%
ov_SC04_010 1826 1664 0 1827 2423 75.4%
ov_SC04_011 1849 1664 0 1855 2808 66.1%
ov_SC04_012 1823 1664 0 1824 2424 75.2%
ov_SC04_015 1843 1665 0 1854 2616 70.9%
ov_SC04_016 1821 1664 0 1823 2444 74.6%
ov_SC04_018 1869 1699 0 1869 2862 65.3%
ov_SC04_019 1874 1699 0 1874 2862 65.5%
ov_SC04_020 1836 1664 0 1848 2572 71.9%
ov_SC04_021 1822 1666 0 1822 2427 75.1%
ov_SC05_000 1826 1668 0 1829 2426 75.4%
ov_SC05_001 1826 1664 0 1831 2579 71.0%
ov_SC05_002 1823 1664 0 1826 2447 74.6%
ov_SC05_003 1824 1664 0 1825 2486 73.4%
ov_SC05_004 1824 1664 0 1826 2469 74.0%
ov_SC05_005 1825 1664 0 1826 2496 73.2%
ov_SC05_006 1822 1664 0 1822 2434 74.9%
ov_SC05_007 1827 1664 0 1832 2487 73.7%
ov_SC05_008 1847 1664 0 1849 2548 72.6%
ov_SC05_009 1827 1664 0 1831 2442 75.0%
ov_SC05_010 1835 1664 0 1839 2593 70.9%
ov_SC05_011 1822 1664 0 1823 2413 75.5%
ov_SC05_017 1854 1661 0 1865 2847 65.5%
ov_SC05_018 1845 1664 0 1858 2678 69.4%
ov_SC05_019 1823 1666 0 1823 2427 75.1%
ov_SC06_000 1857 1673 0 1860 2696 69.0%
ov_SC06_006 1830 1664 0 1831 2516 72.8%
ov_SC06_008 1835 1666 0 1841 2546 72.3%
ov_SC06_010 1834 1664 0 1839 2522 72.9%
ov_SC06_011 1826 1664 0 1830 2473 74.0%
ov_SC06_013 1825 1664 0 1826 2429 75.2%
ov_SC06_014 1827 1664 0 1829 2457 74.4%
ov_SC06_015 1824 1664 0 1824 2425 75.2%
ov_SC06_016 1835 1664 0 1837 2554 71.9%
ov_SC06_018 1834 1667 0 1841 2670 69.0%
ov_SC06_020 1828 1666 0 1829 2523 72.5%
ov_SC06_022 1834 1664 0 1842 2647 69.6%
ov_SC06_024 1839 1664 0 1845 2672 69.0%
ov_SC06_025 1832 1664 0 1837 2577 71.3%
ov_SC06_027 1820 1664 0 1821 2412 75.5%
ov_SC06_029 1848 1664 0 1860 2667 69.7%
ov_SC06_030 1826 1664 0 1826 2461 74.2%
ov_SC06_032 1827 1665 0 1834 2663 68.9%
ov_SC06_033 1835 1665 0 1842 2636 69.9%
ov_SC07_000 1838 1668 0 1840 2526 72.8%
ov_SC07_001 1827 1664 0 1829 2459 74.4%
ov_SC07_002 1841 1664 0 1845 2584 71.4%
ov_SC07_008 1821 1664 0 1821 2390 76.2%
ov_SC07_009 1829 1664 0 1831 2434 75.2%