Files
BFM-decomp/docs/progress.fleet.md
T
Drew T c908c3913a feat(phase-25): T7-M2 — 4,389 def-side-wall members swept ×134 (fleet 72.29→73.58%)
- tools/family_sweep.py --reconcile <rawdir>: the Q5-proven per-sibling path — symbol-remap the RAW
  exemplar draft (family_remap.symbol_map) then RE-RUN canon_sig_reconcile v3.2 against EACH sibling's
  own TU (block-scope-vs-ambient decisions depend on the sibling's decompile state), then the plain
  whole-binary byte-gate. Plain remap of the ov077-reconciled body banks 0; per-sibling reconcile banks 94%
- swept the 35 M1 exemplars across 133 overlays: 4,389 / 4,655 member-remaps banked (266 per-sibling
  loose-typing-wall misses -> backlog); 266 overlay source files gained real C defs
- fleet 72.29% -> 73.58% (+1.29%), REAL 251,804; R22 clean-fleet 136/136 byte-identical (make clean +
  extract-all-136 + check-all); dedup-check 1813 validated / 0 failed; 0 NON_MATCHING (G4)
- cookbook §41c (the ×134 def-side-wall sweep). ~0 agent tokens (local cpp+build only)
2026-07-10 01:20:38 -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 : 251804 (of which dedup-shared 223275 via 1813 groups / 223725 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 253333 / 344306 = 73.58% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 90966 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 1872 1669 0 1872 2407 77.8%
ov_SC01_001 1869 1669 0 1871 2471 75.7%
ov_SC01_004 1862 1660 0 1863 2418 77.0%
ov_SC01_005 1886 1682 0 1886 2508 75.2%
ov_SC01_006 1885 1682 0 1885 2508 75.2%
ov_SC01_008 1863 1660 0 1865 2430 76.7%
ov_SC01_009 1883 1661 0 1884 2512 75.0%
ov_SC01_074 1863 1661 0 1865 2429 76.8%
ov_SC01_077 2260 1624 0 2262 2586 87.5%
ov_SC01_080 1881 1664 0 1881 2517 74.7%
ov_SC01_084 1884 1664 0 1889 2583 73.1%
ov_SC02_000 1901 1699 0 1901 2688 70.7%
ov_SC02_003 1901 1699 0 1901 2688 70.7%
ov_SC02_004 1867 1664 0 1867 2405 77.6%
ov_SC02_005 1926 1660 0 1936 2932 66.0%
ov_SC02_011 1907 1667 0 1918 2898 66.2%
ov_SC02_015 1868 1666 0 1868 2418 77.3%
ov_SC02_016 1872 1666 0 1875 2550 73.5%
ov_SC02_017 1891 1666 0 1899 2737 69.4%
ov_SC02_021 1871 1666 0 1871 2441 76.6%
ov_SC02_026 1875 1664 0 1881 2577 73.0%
ov_SC02_027 1884 1664 0 1893 2697 70.2%
ov_SC02_028 1892 1664 0 1902 2706 70.3%
ov_SC02_031 1882 1665 0 1887 2567 73.5%
ov_SC02_035 1873 1664 0 1876 2525 74.3%
ov_SC02_039 1864 1664 0 1864 2420 77.0%
ov_SC02_041 1871 1664 0 1874 2565 73.1%
ov_SC03_001 1924 1665 0 1941 2874 67.5%
ov_SC03_002 1890 1669 0 1905 2636 72.3%
ov_SC03_003 1862 1664 0 1863 2427 76.8%
ov_SC03_006 1903 1670 0 1912 2772 69.0%
ov_SC03_007 1878 1664 0 1882 2628 71.6%
ov_SC03_010 1872 1664 0 1872 2474 75.7%
ov_SC03_011 1868 1664 0 1874 2532 74.0%
ov_SC03_012 1863 1664 0 1864 2410 77.3%
ov_SC03_013 1871 1664 0 1871 2497 74.9%
ov_SC03_014 1893 1689 0 1893 2690 70.4%
ov_SC03_015 1899 1689 0 1899 2690 70.6%
ov_SC03_023 1865 1664 0 1866 2439 76.5%
ov_SC03_024 1895 1669 0 1902 2646 71.9%
ov_SC03_028 1886 1664 0 1890 2669 70.8%
ov_SC03_029 1872 1666 0 1882 2649 71.0%
ov_SC03_030 1873 1668 0 1875 2500 75.0%
ov_SC03_031 1867 1664 0 1871 2519 74.3%
ov_SC03_089 1877 1664 0 1884 2586 72.9%
ov_SC03_090 1878 1664 0 1886 2630 71.7%
ov_SC03_091 1877 1664 0 1885 2645 71.3%
ov_SC03_092 1877 1664 0 1889 2592 72.9%
ov_SC03_093 1874 1664 0 1878 2568 73.1%
ov_SC03_094 1868 1664 0 1874 2581 72.6%
ov_SC03_095 1866 1664 0 1869 2479 75.4%
ov_SC03_096 1869 1664 0 1872 2470 75.8%
ov_SC03_097 1873 1664 0 1880 2608 72.1%
ov_SC03_098 1869 1664 0 1872 2546 73.5%
ov_SC03_099 1866 1664 0 1869 2509 74.5%
ov_SC03_100 1868 1664 0 1872 2544 73.6%
ov_SC03_101 1870 1664 0 1874 2533 74.0%
ov_SC03_102 1870 1664 0 1873 2497 75.0%
ov_SC03_103 1869 1666 0 1872 2515 74.4%
ov_SC03_104 1880 1664 0 1887 2621 72.0%
ov_SC03_105 1874 1664 0 1881 2602 72.3%
ov_SC03_108 1862 1664 0 1862 2448 76.1%
ov_SC03_109 1863 1664 0 1865 2428 76.8%
ov_SC03_110 1865 1664 0 1865 2473 75.4%
ov_SC03_111 1870 1664 0 1873 2515 74.5%
ov_SC03_112 1868 1666 0 1870 2531 73.9%
ov_SC03_113 1865 1666 0 1868 2473 75.5%
ov_SC03_114 1861 1664 0 1863 2419 77.0%
ov_SC03_115 1869 1664 0 1871 2477 75.5%
ov_SC03_116 1867 1664 0 1870 2443 76.5%
ov_SC03_117 1867 1664 0 1873 2562 73.1%
ov_SC03_118 1895 1688 0 1896 2690 70.5%
ov_SC03_119 1890 1688 0 1891 2690 70.3%
ov_SC03_121 1867 1664 0 1870 2464 75.9%
ov_SC03_124 1891 1660 0 1911 2746 69.6%
ov_SC03_125 1873 1664 0 1885 2593 72.7%
ov_SC03_126 1864 1666 0 1864 2427 76.8%
ov_SC04_000 1873 1668 0 1882 2551 73.8%
ov_SC04_002 1877 1664 0 1881 2641 71.2%
ov_SC04_003 1865 1664 0 1869 2507 74.6%
ov_SC04_004 1872 1664 0 1874 2563 73.1%
ov_SC04_005 1874 1664 0 1880 2617 71.8%
ov_SC04_006 1863 1664 0 1865 2458 75.9%
ov_SC04_007 1873 1664 0 1877 2574 72.9%
ov_SC04_008 1863 1664 0 1863 2419 77.0%
ov_SC04_009 1866 1664 0 1869 2445 76.4%
ov_SC04_010 1866 1664 0 1867 2423 77.1%
ov_SC04_011 1889 1664 0 1895 2808 67.5%
ov_SC04_012 1863 1664 0 1864 2424 76.9%
ov_SC04_015 1883 1665 0 1894 2616 72.4%
ov_SC04_016 1861 1664 0 1863 2444 76.2%
ov_SC04_018 1909 1699 0 1909 2862 66.7%
ov_SC04_019 1914 1699 0 1914 2862 66.9%
ov_SC04_020 1876 1664 0 1888 2572 73.4%
ov_SC04_021 1862 1666 0 1862 2427 76.7%
ov_SC05_000 1866 1668 0 1869 2426 77.0%
ov_SC05_001 1866 1664 0 1871 2579 72.5%
ov_SC05_002 1863 1664 0 1866 2447 76.3%
ov_SC05_003 1864 1664 0 1865 2486 75.0%
ov_SC05_004 1864 1664 0 1866 2469 75.6%
ov_SC05_005 1865 1664 0 1866 2496 74.8%
ov_SC05_006 1862 1664 0 1862 2434 76.5%
ov_SC05_007 1867 1664 0 1872 2487 75.3%
ov_SC05_008 1887 1664 0 1889 2548 74.1%
ov_SC05_009 1867 1664 0 1871 2442 76.6%
ov_SC05_010 1875 1664 0 1879 2593 72.5%
ov_SC05_011 1862 1664 0 1863 2413 77.2%
ov_SC05_017 1894 1661 0 1905 2847 66.9%
ov_SC05_018 1885 1664 0 1898 2678 70.9%
ov_SC05_019 1863 1666 0 1863 2427 76.8%
ov_SC06_000 1897 1673 0 1900 2696 70.5%
ov_SC06_006 1870 1664 0 1871 2516 74.4%
ov_SC06_008 1875 1666 0 1881 2546 73.9%
ov_SC06_010 1874 1664 0 1879 2522 74.5%
ov_SC06_011 1866 1664 0 1870 2473 75.6%
ov_SC06_013 1865 1664 0 1866 2429 76.8%
ov_SC06_014 1867 1664 0 1869 2457 76.1%
ov_SC06_015 1864 1664 0 1864 2425 76.9%
ov_SC06_016 1875 1664 0 1877 2554 73.5%
ov_SC06_018 1874 1667 0 1881 2670 70.4%
ov_SC06_020 1868 1666 0 1869 2523 74.1%
ov_SC06_022 1874 1664 0 1882 2647 71.1%
ov_SC06_024 1879 1664 0 1885 2672 70.5%
ov_SC06_025 1872 1664 0 1877 2577 72.8%
ov_SC06_027 1860 1664 0 1861 2412 77.2%
ov_SC06_029 1888 1664 0 1900 2667 71.2%
ov_SC06_030 1866 1664 0 1866 2461 75.8%
ov_SC06_032 1867 1665 0 1874 2663 70.4%
ov_SC06_033 1875 1665 0 1882 2636 71.4%
ov_SC07_000 1878 1668 0 1880 2526 74.4%
ov_SC07_001 1867 1664 0 1869 2459 76.0%
ov_SC07_002 1881 1664 0 1885 2584 72.9%
ov_SC07_008 1861 1664 0 1861 2390 77.9%
ov_SC07_009 1869 1664 0 1871 2434 76.9%