Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 5fcb040dc3 feat(phase-25): task B — family_sweep --edit-remap; 2 array-decay families ×134 (+266 fns), 4 cc1-crash-walled
- family_sweep.py: new --edit-remap MANIFEST mode (§42e) — per family, symbol-remap the
  split-scope //@EDIT old||new per sibling + apply once-global engine_core.h ec_edits
  (byte-neutral), stage the family_remap body, gate via harvest_verify (the sole arbiter)
- BANKED 266/266 (0 failed): func_80136824 + func_80136334 (array-decay ptr-flip) ×133
  siblings each — full ×134. R22 clean-fleet 136/136, fleet 74.40% -> 74.48%, dedup 1813/0
- R14 FINDING (cookbook §42e addendum + decision-log): the other 4 byte-drift families
  (func_80133AB0 zero-reg pin, func_8016DF5C/8013D9B0 GTE-pin, func_80156044 trampoline)
  cc1-SIGABRT (Error 134) in the SIBLING TU — hand pins are ov077-TU-context-specific,
  NOT mechanically ×134-recoverable; backlogged as ×1/permuter fuel. rtu_match/match_one
  are blind here (neutralized/isolation compiles crash too); only make build is truth
- 0 NON_MATCHING in any default build (G4)
2026-07-11 00:03: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 : 254901 (of which dedup-shared 223275 via 1813 groups / 223725 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 256430 / 344306 = 74.48% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 87869 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 1895 1669 0 1895 2407 78.7%
ov_SC01_001 1892 1669 0 1894 2471 76.6%
ov_SC01_004 1885 1660 0 1886 2418 78.0%
ov_SC01_005 1909 1682 0 1909 2508 76.1%
ov_SC01_006 1908 1682 0 1908 2508 76.1%
ov_SC01_008 1886 1660 0 1888 2430 77.7%
ov_SC01_009 1906 1661 0 1907 2512 75.9%
ov_SC01_074 1886 1661 0 1888 2429 77.7%
ov_SC01_077 2298 1624 0 2300 2586 88.9%
ov_SC01_080 1904 1664 0 1904 2517 75.6%
ov_SC01_084 1907 1664 0 1912 2583 74.0%
ov_SC02_000 1924 1699 0 1924 2688 71.6%
ov_SC02_003 1924 1699 0 1924 2688 71.6%
ov_SC02_004 1890 1664 0 1890 2405 78.6%
ov_SC02_005 1949 1660 0 1959 2932 66.8%
ov_SC02_011 1930 1667 0 1941 2898 67.0%
ov_SC02_015 1891 1666 0 1891 2418 78.2%
ov_SC02_016 1895 1666 0 1898 2550 74.4%
ov_SC02_017 1914 1666 0 1922 2737 70.2%
ov_SC02_021 1894 1666 0 1894 2441 77.6%
ov_SC02_026 1898 1664 0 1904 2577 73.9%
ov_SC02_027 1907 1664 0 1916 2697 71.0%
ov_SC02_028 1915 1664 0 1925 2706 71.1%
ov_SC02_031 1905 1665 0 1910 2567 74.4%
ov_SC02_035 1896 1664 0 1899 2525 75.2%
ov_SC02_039 1887 1664 0 1887 2420 78.0%
ov_SC02_041 1894 1664 0 1897 2565 74.0%
ov_SC03_001 1947 1665 0 1964 2874 68.3%
ov_SC03_002 1913 1669 0 1928 2636 73.1%
ov_SC03_003 1885 1664 0 1886 2427 77.7%
ov_SC03_006 1926 1670 0 1935 2772 69.8%
ov_SC03_007 1901 1664 0 1905 2628 72.5%
ov_SC03_010 1895 1664 0 1895 2474 76.6%
ov_SC03_011 1891 1664 0 1897 2532 74.9%
ov_SC03_012 1886 1664 0 1887 2410 78.3%
ov_SC03_013 1894 1664 0 1894 2497 75.9%
ov_SC03_014 1916 1689 0 1916 2690 71.2%
ov_SC03_015 1922 1689 0 1922 2690 71.4%
ov_SC03_023 1888 1664 0 1889 2439 77.4%
ov_SC03_024 1918 1669 0 1925 2646 72.8%
ov_SC03_028 1909 1664 0 1913 2669 71.7%
ov_SC03_029 1895 1666 0 1905 2649 71.9%
ov_SC03_030 1896 1668 0 1898 2500 75.9%
ov_SC03_031 1890 1664 0 1894 2519 75.2%
ov_SC03_089 1900 1664 0 1907 2586 73.7%
ov_SC03_090 1901 1664 0 1909 2630 72.6%
ov_SC03_091 1900 1664 0 1908 2645 72.1%
ov_SC03_092 1900 1664 0 1912 2592 73.8%
ov_SC03_093 1897 1664 0 1901 2568 74.0%
ov_SC03_094 1891 1664 0 1897 2581 73.5%
ov_SC03_095 1889 1664 0 1892 2479 76.3%
ov_SC03_096 1892 1664 0 1895 2470 76.7%
ov_SC03_097 1896 1664 0 1903 2608 73.0%
ov_SC03_098 1892 1664 0 1895 2546 74.4%
ov_SC03_099 1889 1664 0 1892 2509 75.4%
ov_SC03_100 1891 1664 0 1895 2544 74.5%
ov_SC03_101 1893 1664 0 1897 2533 74.9%
ov_SC03_102 1893 1664 0 1896 2497 75.9%
ov_SC03_103 1892 1666 0 1895 2515 75.3%
ov_SC03_104 1903 1664 0 1910 2621 72.9%
ov_SC03_105 1897 1664 0 1904 2602 73.2%
ov_SC03_108 1885 1664 0 1885 2448 77.0%
ov_SC03_109 1886 1664 0 1888 2428 77.8%
ov_SC03_110 1888 1664 0 1888 2473 76.3%
ov_SC03_111 1893 1664 0 1896 2515 75.4%
ov_SC03_112 1891 1666 0 1893 2531 74.8%
ov_SC03_113 1888 1666 0 1891 2473 76.5%
ov_SC03_114 1884 1664 0 1886 2419 78.0%
ov_SC03_115 1892 1664 0 1894 2477 76.5%
ov_SC03_116 1890 1664 0 1893 2443 77.5%
ov_SC03_117 1890 1664 0 1896 2562 74.0%
ov_SC03_118 1918 1688 0 1919 2690 71.3%
ov_SC03_119 1913 1688 0 1914 2690 71.2%
ov_SC03_121 1890 1664 0 1893 2464 76.8%
ov_SC03_124 1914 1660 0 1934 2746 70.4%
ov_SC03_125 1896 1664 0 1908 2593 73.6%
ov_SC03_126 1887 1666 0 1887 2427 77.8%
ov_SC04_000 1896 1668 0 1905 2551 74.7%
ov_SC04_002 1900 1664 0 1904 2641 72.1%
ov_SC04_003 1888 1664 0 1892 2507 75.5%
ov_SC04_004 1895 1664 0 1897 2563 74.0%
ov_SC04_005 1897 1664 0 1903 2617 72.7%
ov_SC04_006 1886 1664 0 1888 2458 76.8%
ov_SC04_007 1896 1664 0 1900 2574 73.8%
ov_SC04_008 1886 1664 0 1886 2419 78.0%
ov_SC04_009 1889 1664 0 1892 2445 77.4%
ov_SC04_010 1889 1664 0 1890 2423 78.0%
ov_SC04_011 1912 1664 0 1918 2808 68.3%
ov_SC04_012 1886 1664 0 1887 2424 77.8%
ov_SC04_015 1906 1665 0 1917 2616 73.3%
ov_SC04_016 1884 1664 0 1886 2444 77.2%
ov_SC04_018 1932 1699 0 1932 2862 67.5%
ov_SC04_019 1937 1699 0 1937 2862 67.7%
ov_SC04_020 1899 1664 0 1911 2572 74.3%
ov_SC04_021 1885 1666 0 1885 2427 77.7%
ov_SC05_000 1889 1668 0 1892 2426 78.0%
ov_SC05_001 1889 1664 0 1894 2579 73.4%
ov_SC05_002 1886 1664 0 1889 2447 77.2%
ov_SC05_003 1887 1664 0 1888 2486 75.9%
ov_SC05_004 1887 1664 0 1889 2469 76.5%
ov_SC05_005 1888 1664 0 1889 2496 75.7%
ov_SC05_006 1885 1664 0 1885 2434 77.4%
ov_SC05_007 1890 1664 0 1895 2487 76.2%
ov_SC05_008 1910 1664 0 1912 2548 75.0%
ov_SC05_009 1890 1664 0 1894 2442 77.6%
ov_SC05_010 1898 1664 0 1902 2593 73.4%
ov_SC05_011 1885 1664 0 1886 2413 78.2%
ov_SC05_017 1917 1661 0 1928 2847 67.7%
ov_SC05_018 1908 1664 0 1921 2678 71.7%
ov_SC05_019 1886 1666 0 1886 2427 77.7%
ov_SC06_000 1920 1673 0 1923 2696 71.3%
ov_SC06_006 1893 1664 0 1894 2516 75.3%
ov_SC06_008 1898 1666 0 1904 2546 74.8%
ov_SC06_010 1897 1664 0 1902 2522 75.4%
ov_SC06_011 1889 1664 0 1893 2473 76.5%
ov_SC06_013 1888 1664 0 1889 2429 77.8%
ov_SC06_014 1890 1664 0 1892 2457 77.0%
ov_SC06_015 1887 1664 0 1887 2425 77.8%
ov_SC06_016 1898 1664 0 1900 2554 74.4%
ov_SC06_018 1897 1667 0 1904 2670 71.3%
ov_SC06_020 1891 1666 0 1892 2523 75.0%
ov_SC06_022 1897 1664 0 1905 2647 72.0%
ov_SC06_024 1902 1664 0 1908 2672 71.4%
ov_SC06_025 1895 1664 0 1900 2577 73.7%
ov_SC06_027 1883 1664 0 1884 2412 78.1%
ov_SC06_029 1911 1664 0 1923 2667 72.1%
ov_SC06_030 1889 1664 0 1889 2461 76.8%
ov_SC06_032 1890 1665 0 1897 2663 71.2%
ov_SC06_033 1898 1665 0 1905 2636 72.3%
ov_SC07_000 1901 1668 0 1903 2526 75.3%
ov_SC07_001 1890 1664 0 1892 2459 76.9%
ov_SC07_002 1904 1664 0 1908 2584 73.8%
ov_SC07_008 1884 1664 0 1884 2390 78.8%
ov_SC07_009 1892 1664 0 1894 2434 77.8%