Files
BFM-decomp/docs/progress.fleet.md
T
Drew T c62f853710 feat(phase-25): T7.3 — propagate 2 h_exact engine-core stragglers via dedup_propagate (+~200 members)
- func_80128EA8 + func_80132EC4: h_exact-identical fleet-wide but stub in 100 overlays each; family_remap could not extract them (DEFINE_func macro, not an inline def) so they were T7 remap-fails
- dedup_propagate --addr --tier h_exact instantiates the shared engine_core.h macro at each stub sibling, byte-gated (118 overlays byte-identical per fn)
- R22 clean-fleet 136/136 from clean tree; dedup-check 1813/0; fleet 71.32%->71.36%
- remaining edge cases deferred to Phase 26: 2 h_norm-macro remap-fails (8012A568/80138C30, family_remap can't extract macro bodies), 8013C360 (-O0 cluster)
2026-07-08 13:48:05 -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 : 244154 (of which dedup-shared 223275 via 1813 groups / 223725 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 245683 / 344306 = 71.36% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 98616 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 1815 1669 0 1815 2407 75.4%
ov_SC01_001 1812 1669 0 1814 2471 73.4%
ov_SC01_004 1805 1660 0 1806 2418 74.7%
ov_SC01_005 1829 1682 0 1829 2508 72.9%
ov_SC01_006 1828 1682 0 1828 2508 72.9%
ov_SC01_008 1806 1660 0 1808 2430 74.4%
ov_SC01_009 1826 1661 0 1827 2512 72.7%
ov_SC01_074 1806 1661 0 1808 2429 74.4%
ov_SC01_077 2191 1624 0 2193 2586 84.8%
ov_SC01_080 1824 1664 0 1824 2517 72.5%
ov_SC01_084 1828 1664 0 1833 2583 71.0%
ov_SC02_000 1844 1699 0 1844 2688 68.6%
ov_SC02_003 1844 1699 0 1844 2688 68.6%
ov_SC02_004 1810 1664 0 1810 2405 75.3%
ov_SC02_005 1869 1660 0 1879 2932 64.1%
ov_SC02_011 1850 1667 0 1861 2898 64.2%
ov_SC02_015 1811 1666 0 1811 2418 74.9%
ov_SC02_016 1815 1666 0 1818 2550 71.3%
ov_SC02_017 1834 1666 0 1842 2737 67.3%
ov_SC02_021 1814 1666 0 1814 2441 74.3%
ov_SC02_026 1818 1664 0 1824 2577 70.8%
ov_SC02_027 1827 1664 0 1836 2697 68.1%
ov_SC02_028 1835 1664 0 1845 2706 68.2%
ov_SC02_031 1825 1665 0 1830 2567 71.3%
ov_SC02_035 1816 1664 0 1819 2525 72.0%
ov_SC02_039 1807 1664 0 1807 2420 74.7%
ov_SC02_041 1814 1664 0 1817 2565 70.8%
ov_SC03_001 1867 1665 0 1884 2874 65.6%
ov_SC03_002 1833 1669 0 1848 2636 70.1%
ov_SC03_003 1805 1664 0 1806 2427 74.4%
ov_SC03_006 1846 1670 0 1855 2772 66.9%
ov_SC03_007 1821 1664 0 1825 2628 69.4%
ov_SC03_010 1815 1664 0 1815 2474 73.4%
ov_SC03_011 1811 1664 0 1817 2532 71.8%
ov_SC03_012 1806 1664 0 1807 2410 75.0%
ov_SC03_013 1814 1664 0 1814 2497 72.6%
ov_SC03_014 1836 1689 0 1836 2690 68.3%
ov_SC03_015 1842 1689 0 1842 2690 68.5%
ov_SC03_023 1808 1664 0 1809 2439 74.2%
ov_SC03_024 1838 1669 0 1845 2646 69.7%
ov_SC03_028 1829 1664 0 1833 2669 68.7%
ov_SC03_029 1815 1666 0 1825 2649 68.9%
ov_SC03_030 1815 1668 0 1817 2500 72.7%
ov_SC03_031 1810 1664 0 1814 2519 72.0%
ov_SC03_089 1820 1664 0 1827 2586 70.6%
ov_SC03_090 1821 1664 0 1829 2630 69.5%
ov_SC03_091 1820 1664 0 1828 2645 69.1%
ov_SC03_092 1820 1664 0 1832 2592 70.7%
ov_SC03_093 1817 1664 0 1821 2568 70.9%
ov_SC03_094 1811 1664 0 1817 2581 70.4%
ov_SC03_095 1809 1664 0 1812 2479 73.1%
ov_SC03_096 1812 1664 0 1815 2470 73.5%
ov_SC03_097 1816 1664 0 1823 2608 69.9%
ov_SC03_098 1812 1664 0 1815 2546 71.3%
ov_SC03_099 1809 1664 0 1812 2509 72.2%
ov_SC03_100 1811 1664 0 1815 2544 71.3%
ov_SC03_101 1813 1664 0 1817 2533 71.7%
ov_SC03_102 1813 1664 0 1816 2497 72.7%
ov_SC03_103 1812 1666 0 1815 2515 72.2%
ov_SC03_104 1823 1664 0 1830 2621 69.8%
ov_SC03_105 1817 1664 0 1824 2602 70.1%
ov_SC03_108 1805 1664 0 1805 2448 73.7%
ov_SC03_109 1806 1664 0 1808 2428 74.5%
ov_SC03_110 1808 1664 0 1808 2473 73.1%
ov_SC03_111 1813 1664 0 1816 2515 72.2%
ov_SC03_112 1811 1666 0 1813 2531 71.6%
ov_SC03_113 1808 1666 0 1811 2473 73.2%
ov_SC03_114 1804 1664 0 1806 2419 74.7%
ov_SC03_115 1812 1664 0 1814 2477 73.2%
ov_SC03_116 1810 1664 0 1813 2443 74.2%
ov_SC03_117 1810 1664 0 1816 2562 70.9%
ov_SC03_118 1838 1688 0 1839 2690 68.4%
ov_SC03_119 1833 1688 0 1834 2690 68.2%
ov_SC03_121 1810 1664 0 1813 2464 73.6%
ov_SC03_124 1834 1660 0 1854 2746 67.5%
ov_SC03_125 1816 1664 0 1828 2593 70.5%
ov_SC03_126 1807 1666 0 1807 2427 74.5%
ov_SC04_000 1816 1668 0 1825 2551 71.5%
ov_SC04_002 1820 1664 0 1824 2641 69.1%
ov_SC04_003 1808 1664 0 1812 2507 72.3%
ov_SC04_004 1815 1664 0 1817 2563 70.9%
ov_SC04_005 1817 1664 0 1823 2617 69.7%
ov_SC04_006 1806 1664 0 1808 2458 73.6%
ov_SC04_007 1816 1664 0 1820 2574 70.7%
ov_SC04_008 1806 1664 0 1806 2419 74.7%
ov_SC04_009 1809 1664 0 1812 2445 74.1%
ov_SC04_010 1809 1664 0 1810 2423 74.7%
ov_SC04_011 1832 1664 0 1838 2808 65.5%
ov_SC04_012 1806 1664 0 1807 2424 74.5%
ov_SC04_015 1826 1665 0 1837 2616 70.2%
ov_SC04_016 1804 1664 0 1806 2444 73.9%
ov_SC04_018 1852 1699 0 1852 2862 64.7%
ov_SC04_019 1857 1699 0 1857 2862 64.9%
ov_SC04_020 1819 1664 0 1831 2572 71.2%
ov_SC04_021 1805 1666 0 1805 2427 74.4%
ov_SC05_000 1809 1668 0 1812 2426 74.7%
ov_SC05_001 1809 1664 0 1814 2579 70.3%
ov_SC05_002 1806 1664 0 1809 2447 73.9%
ov_SC05_003 1807 1664 0 1808 2486 72.7%
ov_SC05_004 1807 1664 0 1809 2469 73.3%
ov_SC05_005 1808 1664 0 1809 2496 72.5%
ov_SC05_006 1805 1664 0 1805 2434 74.2%
ov_SC05_007 1810 1664 0 1815 2487 73.0%
ov_SC05_008 1830 1664 0 1832 2548 71.9%
ov_SC05_009 1810 1664 0 1814 2442 74.3%
ov_SC05_010 1818 1664 0 1822 2593 70.3%
ov_SC05_011 1805 1664 0 1806 2413 74.8%
ov_SC05_017 1837 1661 0 1848 2847 64.9%
ov_SC05_018 1828 1664 0 1841 2678 68.7%
ov_SC05_019 1806 1666 0 1806 2427 74.4%
ov_SC06_000 1840 1673 0 1843 2696 68.4%
ov_SC06_006 1813 1664 0 1814 2516 72.1%
ov_SC06_008 1818 1666 0 1824 2546 71.6%
ov_SC06_010 1817 1664 0 1822 2522 72.2%
ov_SC06_011 1809 1664 0 1813 2473 73.3%
ov_SC06_013 1808 1664 0 1809 2429 74.5%
ov_SC06_014 1810 1664 0 1812 2457 73.7%
ov_SC06_015 1807 1664 0 1807 2425 74.5%
ov_SC06_016 1818 1664 0 1820 2554 71.3%
ov_SC06_018 1817 1667 0 1824 2670 68.3%
ov_SC06_020 1811 1666 0 1812 2523 71.8%
ov_SC06_022 1817 1664 0 1825 2647 68.9%
ov_SC06_024 1822 1664 0 1828 2672 68.4%
ov_SC06_025 1815 1664 0 1820 2577 70.6%
ov_SC06_027 1803 1664 0 1804 2412 74.8%
ov_SC06_029 1831 1664 0 1843 2667 69.1%
ov_SC06_030 1809 1664 0 1809 2461 73.5%
ov_SC06_032 1810 1665 0 1817 2663 68.2%
ov_SC06_033 1818 1665 0 1825 2636 69.2%
ov_SC07_000 1821 1668 0 1823 2526 72.2%
ov_SC07_001 1810 1664 0 1812 2459 73.7%
ov_SC07_002 1824 1664 0 1828 2584 70.7%
ov_SC07_008 1804 1664 0 1804 2390 75.5%
ov_SC07_009 1812 1664 0 1814 2434 74.5%