Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 6c0887b097 feat(phase-25): crack fan-out over the frontier map — wave 4, 24/26 MATCH + 1330 swept; fleet 73.97->74.36% (+1350 fns), R22 136/136
- Frontier map (docs/phase25-frontier-map.md, committed commit:0506): rtu_match-measured all 42 draftable
  families -> 37 crack targets; endgame = 42 draftable + 235 matched-free + 2481 absent.
- Crack fan-out wf_b54b5d98-380 (26 tractable-band exemplars): 24/26 MATCH -> 20 banked byte-identical,
  incl. func_8014FBC0 (22 ins x1996 inline-asm trampoline), func_80132144 (27 x539), func_8016CF04
  (engine_core.h void->short flip). Swept x134: 1330 siblings / 931 failed (//@EDIT/trampoline/engine_core
  families -> --edit-remap backlog). Batch = 20 exemplars + 1330 = 1350 fns.
- 5 durable levers -> cookbook §42d: return-type flip BOTH ways (void<->s32/short); address-recompute-vs-cache
  (the unifying read-global rule); the full-inline-asm trampoline idiom + family_remap-inside-asm; memcpy->
  struct-assign at scale; phantom-frame induction.
- Deferred (backlog, map tiers): func_8016D1D8/80165240 (M-linkwall), func_80164E40 (sig-reconcile),
  func_801457A4 (-O0), func_8012E364/801549F8 (permuter).
- R22 clean-fleet 136/136 BYTE-IDENTICAL from a fully clean tree; NON_MATCHING 7 (0 in default build, G4).
2026-07-10 19:49:39 -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 : 254502 (of which dedup-shared 223275 via 1813 groups / 223725 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 256031 / 344306 = 74.36% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 88268 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 1892 1669 0 1892 2407 78.6%
ov_SC01_001 1889 1669 0 1891 2471 76.5%
ov_SC01_004 1882 1660 0 1883 2418 77.9%
ov_SC01_005 1906 1682 0 1906 2508 76.0%
ov_SC01_006 1905 1682 0 1905 2508 76.0%
ov_SC01_008 1883 1660 0 1885 2430 77.6%
ov_SC01_009 1903 1661 0 1904 2512 75.8%
ov_SC01_074 1883 1661 0 1885 2429 77.6%
ov_SC01_077 2298 1624 0 2300 2586 88.9%
ov_SC01_080 1901 1664 0 1901 2517 75.5%
ov_SC01_084 1904 1664 0 1909 2583 73.9%
ov_SC02_000 1921 1699 0 1921 2688 71.5%
ov_SC02_003 1921 1699 0 1921 2688 71.5%
ov_SC02_004 1887 1664 0 1887 2405 78.5%
ov_SC02_005 1946 1660 0 1956 2932 66.7%
ov_SC02_011 1927 1667 0 1938 2898 66.9%
ov_SC02_015 1888 1666 0 1888 2418 78.1%
ov_SC02_016 1892 1666 0 1895 2550 74.3%
ov_SC02_017 1911 1666 0 1919 2737 70.1%
ov_SC02_021 1891 1666 0 1891 2441 77.5%
ov_SC02_026 1895 1664 0 1901 2577 73.8%
ov_SC02_027 1904 1664 0 1913 2697 70.9%
ov_SC02_028 1912 1664 0 1922 2706 71.0%
ov_SC02_031 1902 1665 0 1907 2567 74.3%
ov_SC02_035 1893 1664 0 1896 2525 75.1%
ov_SC02_039 1884 1664 0 1884 2420 77.9%
ov_SC02_041 1891 1664 0 1894 2565 73.8%
ov_SC03_001 1944 1665 0 1961 2874 68.2%
ov_SC03_002 1910 1669 0 1925 2636 73.0%
ov_SC03_003 1882 1664 0 1883 2427 77.6%
ov_SC03_006 1923 1670 0 1932 2772 69.7%
ov_SC03_007 1898 1664 0 1902 2628 72.4%
ov_SC03_010 1892 1664 0 1892 2474 76.5%
ov_SC03_011 1888 1664 0 1894 2532 74.8%
ov_SC03_012 1883 1664 0 1884 2410 78.2%
ov_SC03_013 1891 1664 0 1891 2497 75.7%
ov_SC03_014 1913 1689 0 1913 2690 71.1%
ov_SC03_015 1919 1689 0 1919 2690 71.3%
ov_SC03_023 1885 1664 0 1886 2439 77.3%
ov_SC03_024 1915 1669 0 1922 2646 72.6%
ov_SC03_028 1906 1664 0 1910 2669 71.6%
ov_SC03_029 1892 1666 0 1902 2649 71.8%
ov_SC03_030 1893 1668 0 1895 2500 75.8%
ov_SC03_031 1887 1664 0 1891 2519 75.1%
ov_SC03_089 1897 1664 0 1904 2586 73.6%
ov_SC03_090 1898 1664 0 1906 2630 72.5%
ov_SC03_091 1897 1664 0 1905 2645 72.0%
ov_SC03_092 1897 1664 0 1909 2592 73.6%
ov_SC03_093 1894 1664 0 1898 2568 73.9%
ov_SC03_094 1888 1664 0 1894 2581 73.4%
ov_SC03_095 1886 1664 0 1889 2479 76.2%
ov_SC03_096 1889 1664 0 1892 2470 76.6%
ov_SC03_097 1893 1664 0 1900 2608 72.9%
ov_SC03_098 1889 1664 0 1892 2546 74.3%
ov_SC03_099 1886 1664 0 1889 2509 75.3%
ov_SC03_100 1888 1664 0 1892 2544 74.4%
ov_SC03_101 1890 1664 0 1894 2533 74.8%
ov_SC03_102 1890 1664 0 1893 2497 75.8%
ov_SC03_103 1889 1666 0 1892 2515 75.2%
ov_SC03_104 1900 1664 0 1907 2621 72.8%
ov_SC03_105 1894 1664 0 1901 2602 73.1%
ov_SC03_108 1882 1664 0 1882 2448 76.9%
ov_SC03_109 1883 1664 0 1885 2428 77.6%
ov_SC03_110 1885 1664 0 1885 2473 76.2%
ov_SC03_111 1890 1664 0 1893 2515 75.3%
ov_SC03_112 1888 1666 0 1890 2531 74.7%
ov_SC03_113 1885 1666 0 1888 2473 76.3%
ov_SC03_114 1881 1664 0 1883 2419 77.8%
ov_SC03_115 1889 1664 0 1891 2477 76.3%
ov_SC03_116 1887 1664 0 1890 2443 77.4%
ov_SC03_117 1887 1664 0 1893 2562 73.9%
ov_SC03_118 1915 1688 0 1916 2690 71.2%
ov_SC03_119 1910 1688 0 1911 2690 71.0%
ov_SC03_121 1887 1664 0 1890 2464 76.7%
ov_SC03_124 1911 1660 0 1931 2746 70.3%
ov_SC03_125 1893 1664 0 1905 2593 73.5%
ov_SC03_126 1884 1666 0 1884 2427 77.6%
ov_SC04_000 1893 1668 0 1902 2551 74.6%
ov_SC04_002 1897 1664 0 1901 2641 72.0%
ov_SC04_003 1885 1664 0 1889 2507 75.3%
ov_SC04_004 1892 1664 0 1894 2563 73.9%
ov_SC04_005 1894 1664 0 1900 2617 72.6%
ov_SC04_006 1883 1664 0 1885 2458 76.7%
ov_SC04_007 1893 1664 0 1897 2574 73.7%
ov_SC04_008 1883 1664 0 1883 2419 77.8%
ov_SC04_009 1886 1664 0 1889 2445 77.3%
ov_SC04_010 1886 1664 0 1887 2423 77.9%
ov_SC04_011 1909 1664 0 1915 2808 68.2%
ov_SC04_012 1883 1664 0 1884 2424 77.7%
ov_SC04_015 1903 1665 0 1914 2616 73.2%
ov_SC04_016 1881 1664 0 1883 2444 77.0%
ov_SC04_018 1929 1699 0 1929 2862 67.4%
ov_SC04_019 1934 1699 0 1934 2862 67.6%
ov_SC04_020 1896 1664 0 1908 2572 74.2%
ov_SC04_021 1882 1666 0 1882 2427 77.5%
ov_SC05_000 1886 1668 0 1889 2426 77.9%
ov_SC05_001 1886 1664 0 1891 2579 73.3%
ov_SC05_002 1883 1664 0 1886 2447 77.1%
ov_SC05_003 1884 1664 0 1885 2486 75.8%
ov_SC05_004 1884 1664 0 1886 2469 76.4%
ov_SC05_005 1885 1664 0 1886 2496 75.6%
ov_SC05_006 1882 1664 0 1882 2434 77.3%
ov_SC05_007 1887 1664 0 1892 2487 76.1%
ov_SC05_008 1907 1664 0 1909 2548 74.9%
ov_SC05_009 1887 1664 0 1891 2442 77.4%
ov_SC05_010 1895 1664 0 1899 2593 73.2%
ov_SC05_011 1882 1664 0 1883 2413 78.0%
ov_SC05_017 1914 1661 0 1925 2847 67.6%
ov_SC05_018 1905 1664 0 1918 2678 71.6%
ov_SC05_019 1883 1666 0 1883 2427 77.6%
ov_SC06_000 1917 1673 0 1920 2696 71.2%
ov_SC06_006 1890 1664 0 1891 2516 75.2%
ov_SC06_008 1895 1666 0 1901 2546 74.7%
ov_SC06_010 1894 1664 0 1899 2522 75.3%
ov_SC06_011 1886 1664 0 1890 2473 76.4%
ov_SC06_013 1885 1664 0 1886 2429 77.6%
ov_SC06_014 1887 1664 0 1889 2457 76.9%
ov_SC06_015 1884 1664 0 1884 2425 77.7%
ov_SC06_016 1895 1664 0 1897 2554 74.3%
ov_SC06_018 1894 1667 0 1901 2670 71.2%
ov_SC06_020 1888 1666 0 1889 2523 74.9%
ov_SC06_022 1894 1664 0 1902 2647 71.9%
ov_SC06_024 1899 1664 0 1905 2672 71.3%
ov_SC06_025 1892 1664 0 1897 2577 73.6%
ov_SC06_027 1880 1664 0 1881 2412 78.0%
ov_SC06_029 1908 1664 0 1920 2667 72.0%
ov_SC06_030 1886 1664 0 1886 2461 76.6%
ov_SC06_032 1887 1665 0 1894 2663 71.1%
ov_SC06_033 1895 1665 0 1902 2636 72.2%
ov_SC07_000 1898 1668 0 1900 2526 75.2%
ov_SC07_001 1887 1664 0 1889 2459 76.8%
ov_SC07_002 1901 1664 0 1905 2584 73.7%
ov_SC07_008 1881 1664 0 1881 2390 78.7%
ov_SC07_009 1889 1664 0 1891 2434 77.7%