Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 67a8fe670d docs(phase-25): T7 F-band ≤28 regalloc crack wave — 4 banked + 266 swept ×134
- Ultracode 9-worker wave (register-pin/§31-density levers) cracked 7/9 to byte-0 in isolation
- Gated: 4 banked byte-identical (func_80134C20/801345F8/80141A60/80180F10); 3 real-TU drift; 2 near
- Swept ×134: func_80134C20 + func_801345F8 = 266 siblings (func_80141A60 frame-pad = exemplar-only)
- Fleet 73.66% -> 73.73%; R22 clean-fleet 136/136; dedup 1813; NON_MATCHING 7 (0 in default build)
- cookbook §42: density-lever catalog + 3 tooling gotchas (harvest_verify --out, reconcile fn-ptr, R22 extract-all)
- src banks already committed commit:0500 (family_sweep --commit)
2026-07-10 04:22:52 -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 : 252342 (of which dedup-shared 223275 via 1813 groups / 223725 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 253871 / 344306 = 73.73% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 90428 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 1876 1669 0 1876 2407 77.9%
ov_SC01_001 1873 1669 0 1875 2471 75.9%
ov_SC01_004 1866 1660 0 1867 2418 77.2%
ov_SC01_005 1890 1682 0 1890 2508 75.4%
ov_SC01_006 1889 1682 0 1889 2508 75.3%
ov_SC01_008 1867 1660 0 1869 2430 76.9%
ov_SC01_009 1887 1661 0 1888 2512 75.2%
ov_SC01_074 1867 1661 0 1869 2429 76.9%
ov_SC01_077 2266 1624 0 2268 2586 87.7%
ov_SC01_080 1885 1664 0 1885 2517 74.9%
ov_SC01_084 1888 1664 0 1893 2583 73.3%
ov_SC02_000 1905 1699 0 1905 2688 70.9%
ov_SC02_003 1905 1699 0 1905 2688 70.9%
ov_SC02_004 1871 1664 0 1871 2405 77.8%
ov_SC02_005 1930 1660 0 1940 2932 66.2%
ov_SC02_011 1911 1667 0 1922 2898 66.3%
ov_SC02_015 1872 1666 0 1872 2418 77.4%
ov_SC02_016 1876 1666 0 1879 2550 73.7%
ov_SC02_017 1895 1666 0 1903 2737 69.5%
ov_SC02_021 1875 1666 0 1875 2441 76.8%
ov_SC02_026 1879 1664 0 1885 2577 73.1%
ov_SC02_027 1888 1664 0 1897 2697 70.3%
ov_SC02_028 1896 1664 0 1906 2706 70.4%
ov_SC02_031 1886 1665 0 1891 2567 73.7%
ov_SC02_035 1877 1664 0 1880 2525 74.5%
ov_SC02_039 1868 1664 0 1868 2420 77.2%
ov_SC02_041 1875 1664 0 1878 2565 73.2%
ov_SC03_001 1928 1665 0 1945 2874 67.7%
ov_SC03_002 1894 1669 0 1909 2636 72.4%
ov_SC03_003 1866 1664 0 1867 2427 76.9%
ov_SC03_006 1907 1670 0 1916 2772 69.1%
ov_SC03_007 1882 1664 0 1886 2628 71.8%
ov_SC03_010 1876 1664 0 1876 2474 75.8%
ov_SC03_011 1872 1664 0 1878 2532 74.2%
ov_SC03_012 1867 1664 0 1868 2410 77.5%
ov_SC03_013 1875 1664 0 1875 2497 75.1%
ov_SC03_014 1897 1689 0 1897 2690 70.5%
ov_SC03_015 1903 1689 0 1903 2690 70.7%
ov_SC03_023 1869 1664 0 1870 2439 76.7%
ov_SC03_024 1899 1669 0 1906 2646 72.0%
ov_SC03_028 1890 1664 0 1894 2669 71.0%
ov_SC03_029 1876 1666 0 1886 2649 71.2%
ov_SC03_030 1877 1668 0 1879 2500 75.2%
ov_SC03_031 1871 1664 0 1875 2519 74.4%
ov_SC03_089 1881 1664 0 1888 2586 73.0%
ov_SC03_090 1882 1664 0 1890 2630 71.9%
ov_SC03_091 1881 1664 0 1889 2645 71.4%
ov_SC03_092 1881 1664 0 1893 2592 73.0%
ov_SC03_093 1878 1664 0 1882 2568 73.3%
ov_SC03_094 1872 1664 0 1878 2581 72.8%
ov_SC03_095 1870 1664 0 1873 2479 75.6%
ov_SC03_096 1873 1664 0 1876 2470 76.0%
ov_SC03_097 1877 1664 0 1884 2608 72.2%
ov_SC03_098 1873 1664 0 1876 2546 73.7%
ov_SC03_099 1870 1664 0 1873 2509 74.7%
ov_SC03_100 1872 1664 0 1876 2544 73.7%
ov_SC03_101 1874 1664 0 1878 2533 74.1%
ov_SC03_102 1874 1664 0 1877 2497 75.2%
ov_SC03_103 1873 1666 0 1876 2515 74.6%
ov_SC03_104 1884 1664 0 1891 2621 72.1%
ov_SC03_105 1878 1664 0 1885 2602 72.4%
ov_SC03_108 1866 1664 0 1866 2448 76.2%
ov_SC03_109 1867 1664 0 1869 2428 77.0%
ov_SC03_110 1869 1664 0 1869 2473 75.6%
ov_SC03_111 1874 1664 0 1877 2515 74.6%
ov_SC03_112 1872 1666 0 1874 2531 74.0%
ov_SC03_113 1869 1666 0 1872 2473 75.7%
ov_SC03_114 1865 1664 0 1867 2419 77.2%
ov_SC03_115 1873 1664 0 1875 2477 75.7%
ov_SC03_116 1871 1664 0 1874 2443 76.7%
ov_SC03_117 1871 1664 0 1877 2562 73.3%
ov_SC03_118 1899 1688 0 1900 2690 70.6%
ov_SC03_119 1894 1688 0 1895 2690 70.4%
ov_SC03_121 1871 1664 0 1874 2464 76.1%
ov_SC03_124 1895 1660 0 1915 2746 69.7%
ov_SC03_125 1877 1664 0 1889 2593 72.8%
ov_SC03_126 1868 1666 0 1868 2427 77.0%
ov_SC04_000 1877 1668 0 1886 2551 73.9%
ov_SC04_002 1881 1664 0 1885 2641 71.4%
ov_SC04_003 1869 1664 0 1873 2507 74.7%
ov_SC04_004 1876 1664 0 1878 2563 73.3%
ov_SC04_005 1878 1664 0 1884 2617 72.0%
ov_SC04_006 1867 1664 0 1869 2458 76.0%
ov_SC04_007 1877 1664 0 1881 2574 73.1%
ov_SC04_008 1867 1664 0 1867 2419 77.2%
ov_SC04_009 1870 1664 0 1873 2445 76.6%
ov_SC04_010 1870 1664 0 1871 2423 77.2%
ov_SC04_011 1893 1664 0 1899 2808 67.6%
ov_SC04_012 1867 1664 0 1868 2424 77.1%
ov_SC04_015 1887 1665 0 1898 2616 72.6%
ov_SC04_016 1865 1664 0 1867 2444 76.4%
ov_SC04_018 1913 1699 0 1913 2862 66.8%
ov_SC04_019 1918 1699 0 1918 2862 67.0%
ov_SC04_020 1880 1664 0 1892 2572 73.6%
ov_SC04_021 1866 1666 0 1866 2427 76.9%
ov_SC05_000 1870 1668 0 1873 2426 77.2%
ov_SC05_001 1870 1664 0 1875 2579 72.7%
ov_SC05_002 1867 1664 0 1870 2447 76.4%
ov_SC05_003 1868 1664 0 1869 2486 75.2%
ov_SC05_004 1868 1664 0 1870 2469 75.7%
ov_SC05_005 1869 1664 0 1870 2496 74.9%
ov_SC05_006 1866 1664 0 1866 2434 76.7%
ov_SC05_007 1871 1664 0 1876 2487 75.4%
ov_SC05_008 1891 1664 0 1893 2548 74.3%
ov_SC05_009 1871 1664 0 1875 2442 76.8%
ov_SC05_010 1879 1664 0 1883 2593 72.6%
ov_SC05_011 1866 1664 0 1867 2413 77.4%
ov_SC05_017 1898 1661 0 1909 2847 67.1%
ov_SC05_018 1889 1664 0 1902 2678 71.0%
ov_SC05_019 1867 1666 0 1867 2427 76.9%
ov_SC06_000 1901 1673 0 1904 2696 70.6%
ov_SC06_006 1874 1664 0 1875 2516 74.5%
ov_SC06_008 1879 1666 0 1885 2546 74.0%
ov_SC06_010 1878 1664 0 1883 2522 74.7%
ov_SC06_011 1870 1664 0 1874 2473 75.8%
ov_SC06_013 1869 1664 0 1870 2429 77.0%
ov_SC06_014 1871 1664 0 1873 2457 76.2%
ov_SC06_015 1868 1664 0 1868 2425 77.0%
ov_SC06_016 1879 1664 0 1881 2554 73.6%
ov_SC06_018 1878 1667 0 1885 2670 70.6%
ov_SC06_020 1872 1666 0 1873 2523 74.2%
ov_SC06_022 1878 1664 0 1886 2647 71.3%
ov_SC06_024 1883 1664 0 1889 2672 70.7%
ov_SC06_025 1876 1664 0 1881 2577 73.0%
ov_SC06_027 1864 1664 0 1865 2412 77.3%
ov_SC06_029 1892 1664 0 1904 2667 71.4%
ov_SC06_030 1870 1664 0 1870 2461 76.0%
ov_SC06_032 1871 1665 0 1878 2663 70.5%
ov_SC06_033 1879 1665 0 1886 2636 71.5%
ov_SC07_000 1882 1668 0 1884 2526 74.6%
ov_SC07_001 1871 1664 0 1873 2459 76.2%
ov_SC07_002 1885 1664 0 1889 2584 73.1%
ov_SC07_008 1865 1664 0 1865 2390 78.0%
ov_SC07_009 1873 1664 0 1875 2434 77.0%