Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 0241772225 fix(phase-25): canon_sig_reconcile def-finder (\n -> (?:^|\n)) unblocks crack propagation; recover func_8014FE60 x134; fleet 74.36->74.40%, R22 136/136
- R14 CORRECTION of the prior "family_remap limitation" call: it was a MISDIAGNOSIS. family_remap
  succeeds on all droppers; the "remap-fail" family_sweep reports was a mislabeled canon_sig_reconcile
  throw ("no definition of func_X found in draft") — the def-finder regex required a leading \n, so a
  //@EDIT-stripped raw draft with the fn definition on line 1 was not found.
- FIX: def-finder regex \n -> (?:^|\n) (also match a def at draft start; strictly additive, low-risk).
- Recovered func_8014FE60 fully: 133/133 siblings banked (fix + engine_core.h DEFINE_func_8014FDF4
  extern void->s32 global flip, byte-neutral fleet-wide; caller discards return).
- Residual (the genuine, small --edit-remap): func_8016DF5C/80136334/8013D9B0/80156044 reconcile but
  byte-drift per sibling (out-of-body fixes: pointer //@EDIT, no-proto, return-flip not carried per sibling).
- cookbook §42e (the two-layer diagnosis + the forward ×134-leverage-realism rule); decision-log corrected.
- R22 clean-fleet 136/136 BYTE-IDENTICAL from a fully clean tree; NON_MATCHING 7 (0 in default build, G4).
2026-07-10 21:05:25 -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 : 254635 (of which dedup-shared 223275 via 1813 groups / 223725 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 256164 / 344306 = 74.40% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 88135 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 1893 1669 0 1893 2407 78.6%
ov_SC01_001 1890 1669 0 1892 2471 76.6%
ov_SC01_004 1883 1660 0 1884 2418 77.9%
ov_SC01_005 1907 1682 0 1907 2508 76.0%
ov_SC01_006 1906 1682 0 1906 2508 76.0%
ov_SC01_008 1884 1660 0 1886 2430 77.6%
ov_SC01_009 1904 1661 0 1905 2512 75.8%
ov_SC01_074 1884 1661 0 1886 2429 77.6%
ov_SC01_077 2298 1624 0 2300 2586 88.9%
ov_SC01_080 1902 1664 0 1902 2517 75.6%
ov_SC01_084 1905 1664 0 1910 2583 73.9%
ov_SC02_000 1922 1699 0 1922 2688 71.5%
ov_SC02_003 1922 1699 0 1922 2688 71.5%
ov_SC02_004 1888 1664 0 1888 2405 78.5%
ov_SC02_005 1947 1660 0 1957 2932 66.7%
ov_SC02_011 1928 1667 0 1939 2898 66.9%
ov_SC02_015 1889 1666 0 1889 2418 78.1%
ov_SC02_016 1893 1666 0 1896 2550 74.4%
ov_SC02_017 1912 1666 0 1920 2737 70.1%
ov_SC02_021 1892 1666 0 1892 2441 77.5%
ov_SC02_026 1896 1664 0 1902 2577 73.8%
ov_SC02_027 1905 1664 0 1914 2697 71.0%
ov_SC02_028 1913 1664 0 1923 2706 71.1%
ov_SC02_031 1903 1665 0 1908 2567 74.3%
ov_SC02_035 1894 1664 0 1897 2525 75.1%
ov_SC02_039 1885 1664 0 1885 2420 77.9%
ov_SC02_041 1892 1664 0 1895 2565 73.9%
ov_SC03_001 1945 1665 0 1962 2874 68.3%
ov_SC03_002 1911 1669 0 1926 2636 73.1%
ov_SC03_003 1883 1664 0 1884 2427 77.6%
ov_SC03_006 1924 1670 0 1933 2772 69.7%
ov_SC03_007 1899 1664 0 1903 2628 72.4%
ov_SC03_010 1893 1664 0 1893 2474 76.5%
ov_SC03_011 1889 1664 0 1895 2532 74.8%
ov_SC03_012 1884 1664 0 1885 2410 78.2%
ov_SC03_013 1892 1664 0 1892 2497 75.8%
ov_SC03_014 1914 1689 0 1914 2690 71.2%
ov_SC03_015 1920 1689 0 1920 2690 71.4%
ov_SC03_023 1886 1664 0 1887 2439 77.4%
ov_SC03_024 1916 1669 0 1923 2646 72.7%
ov_SC03_028 1907 1664 0 1911 2669 71.6%
ov_SC03_029 1893 1666 0 1903 2649 71.8%
ov_SC03_030 1894 1668 0 1896 2500 75.8%
ov_SC03_031 1888 1664 0 1892 2519 75.1%
ov_SC03_089 1898 1664 0 1905 2586 73.7%
ov_SC03_090 1899 1664 0 1907 2630 72.5%
ov_SC03_091 1898 1664 0 1906 2645 72.1%
ov_SC03_092 1898 1664 0 1910 2592 73.7%
ov_SC03_093 1895 1664 0 1899 2568 73.9%
ov_SC03_094 1889 1664 0 1895 2581 73.4%
ov_SC03_095 1887 1664 0 1890 2479 76.2%
ov_SC03_096 1890 1664 0 1893 2470 76.6%
ov_SC03_097 1894 1664 0 1901 2608 72.9%
ov_SC03_098 1890 1664 0 1893 2546 74.4%
ov_SC03_099 1887 1664 0 1890 2509 75.3%
ov_SC03_100 1889 1664 0 1893 2544 74.4%
ov_SC03_101 1891 1664 0 1895 2533 74.8%
ov_SC03_102 1891 1664 0 1894 2497 75.9%
ov_SC03_103 1890 1666 0 1893 2515 75.3%
ov_SC03_104 1901 1664 0 1908 2621 72.8%
ov_SC03_105 1895 1664 0 1902 2602 73.1%
ov_SC03_108 1883 1664 0 1883 2448 76.9%
ov_SC03_109 1884 1664 0 1886 2428 77.7%
ov_SC03_110 1886 1664 0 1886 2473 76.3%
ov_SC03_111 1891 1664 0 1894 2515 75.3%
ov_SC03_112 1889 1666 0 1891 2531 74.7%
ov_SC03_113 1886 1666 0 1889 2473 76.4%
ov_SC03_114 1882 1664 0 1884 2419 77.9%
ov_SC03_115 1890 1664 0 1892 2477 76.4%
ov_SC03_116 1888 1664 0 1891 2443 77.4%
ov_SC03_117 1888 1664 0 1894 2562 73.9%
ov_SC03_118 1916 1688 0 1917 2690 71.3%
ov_SC03_119 1911 1688 0 1912 2690 71.1%
ov_SC03_121 1888 1664 0 1891 2464 76.7%
ov_SC03_124 1912 1660 0 1932 2746 70.4%
ov_SC03_125 1894 1664 0 1906 2593 73.5%
ov_SC03_126 1885 1666 0 1885 2427 77.7%
ov_SC04_000 1894 1668 0 1903 2551 74.6%
ov_SC04_002 1898 1664 0 1902 2641 72.0%
ov_SC04_003 1886 1664 0 1890 2507 75.4%
ov_SC04_004 1893 1664 0 1895 2563 73.9%
ov_SC04_005 1895 1664 0 1901 2617 72.6%
ov_SC04_006 1884 1664 0 1886 2458 76.7%
ov_SC04_007 1894 1664 0 1898 2574 73.7%
ov_SC04_008 1884 1664 0 1884 2419 77.9%
ov_SC04_009 1887 1664 0 1890 2445 77.3%
ov_SC04_010 1887 1664 0 1888 2423 77.9%
ov_SC04_011 1910 1664 0 1916 2808 68.2%
ov_SC04_012 1884 1664 0 1885 2424 77.8%
ov_SC04_015 1904 1665 0 1915 2616 73.2%
ov_SC04_016 1882 1664 0 1884 2444 77.1%
ov_SC04_018 1930 1699 0 1930 2862 67.4%
ov_SC04_019 1935 1699 0 1935 2862 67.6%
ov_SC04_020 1897 1664 0 1909 2572 74.2%
ov_SC04_021 1883 1666 0 1883 2427 77.6%
ov_SC05_000 1887 1668 0 1890 2426 77.9%
ov_SC05_001 1887 1664 0 1892 2579 73.4%
ov_SC05_002 1884 1664 0 1887 2447 77.1%
ov_SC05_003 1885 1664 0 1886 2486 75.9%
ov_SC05_004 1885 1664 0 1887 2469 76.4%
ov_SC05_005 1886 1664 0 1887 2496 75.6%
ov_SC05_006 1883 1664 0 1883 2434 77.4%
ov_SC05_007 1888 1664 0 1893 2487 76.1%
ov_SC05_008 1908 1664 0 1910 2548 75.0%
ov_SC05_009 1888 1664 0 1892 2442 77.5%
ov_SC05_010 1896 1664 0 1900 2593 73.3%
ov_SC05_011 1883 1664 0 1884 2413 78.1%
ov_SC05_017 1915 1661 0 1926 2847 67.7%
ov_SC05_018 1906 1664 0 1919 2678 71.7%
ov_SC05_019 1884 1666 0 1884 2427 77.6%
ov_SC06_000 1918 1673 0 1921 2696 71.3%
ov_SC06_006 1891 1664 0 1892 2516 75.2%
ov_SC06_008 1896 1666 0 1902 2546 74.7%
ov_SC06_010 1895 1664 0 1900 2522 75.3%
ov_SC06_011 1887 1664 0 1891 2473 76.5%
ov_SC06_013 1886 1664 0 1887 2429 77.7%
ov_SC06_014 1888 1664 0 1890 2457 76.9%
ov_SC06_015 1885 1664 0 1885 2425 77.7%
ov_SC06_016 1896 1664 0 1898 2554 74.3%
ov_SC06_018 1895 1667 0 1902 2670 71.2%
ov_SC06_020 1889 1666 0 1890 2523 74.9%
ov_SC06_022 1895 1664 0 1903 2647 71.9%
ov_SC06_024 1900 1664 0 1906 2672 71.3%
ov_SC06_025 1893 1664 0 1898 2577 73.7%
ov_SC06_027 1881 1664 0 1882 2412 78.0%
ov_SC06_029 1909 1664 0 1921 2667 72.0%
ov_SC06_030 1887 1664 0 1887 2461 76.7%
ov_SC06_032 1888 1665 0 1895 2663 71.2%
ov_SC06_033 1896 1665 0 1903 2636 72.2%
ov_SC07_000 1899 1668 0 1901 2526 75.3%
ov_SC07_001 1888 1664 0 1890 2459 76.9%
ov_SC07_002 1902 1664 0 1906 2584 73.8%
ov_SC07_008 1882 1664 0 1882 2390 78.7%
ov_SC07_009 1890 1664 0 1892 2434 77.7%