Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 6802997180 feat(phase-24): T7 — 2 more giants ×134 (func_8012D098 + func_8012EC04, one-shot Opus); fleet 65.56→65.64%
- func_8012D098 (189 ins, ALL 8 $s regs) + func_8012EC04 (178, sibling+GTE-tail): both MATCHED by
  Opus alone applying §32/§34 — NO Fable5. Finding: the '3 hardest 8-$s-reg giants' were mis-ranked;
  their $s pressure is param/buffer-derived, not global-array hoists -> Opus one-shots them.
- banking recipe (per-giant integration is mechanical, §30a): fix_arity_callers --any-proto
  (no-proto the conflicting caller extern vs the matched def-sig) -> sig_unify (callee proto) ->
  strip draft-local typedefs already in engine_types.h + anonymize named locals -> harvest_verify
  ×1 -> dedup_propagate --recover ×134. (skip cast_call_sites — it mis-casts no-proto void f().)
  clean fleet check-all 136/136, dedup +2 groups/0 failed, 0 NON_MATCHING.
2026-07-03 23:50: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 : 224875 (of which dedup-shared 222334 via 1803 groups / 222385 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 226404 / 344941 = 65.64% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 118530 FLEET matchable : 344941

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 1676 1662 0 1676 2410 69.5%
ov_SC01_001 1672 1662 0 1674 2474 67.7%
ov_SC01_004 1665 1653 0 1666 2423 68.8%
ov_SC01_005 1688 1675 0 1688 2511 67.2%
ov_SC01_006 1687 1675 0 1687 2511 67.2%
ov_SC01_008 1666 1653 0 1668 2435 68.5%
ov_SC01_009 1687 1654 0 1688 2517 67.1%
ov_SC01_074 1666 1654 0 1668 2434 68.5%
ov_SC01_077 2181 1614 0 2183 2586 84.4%
ov_SC01_080 1684 1657 0 1684 2522 66.8%
ov_SC01_084 1689 1657 0 1694 2588 65.5%
ov_SC02_000 1703 1692 0 1703 2691 63.3%
ov_SC02_003 1703 1692 0 1703 2691 63.3%
ov_SC02_004 1670 1657 0 1670 2410 69.3%
ov_SC02_005 1729 1653 0 1739 2937 59.2%
ov_SC02_011 1710 1660 0 1721 2903 59.3%
ov_SC02_015 1670 1659 0 1670 2423 68.9%
ov_SC02_016 1674 1659 0 1677 2555 65.6%
ov_SC02_017 1694 1659 0 1702 2742 62.1%
ov_SC02_021 1673 1659 0 1673 2446 68.4%
ov_SC02_026 1678 1657 0 1684 2582 65.2%
ov_SC02_027 1687 1657 0 1696 2702 62.8%
ov_SC02_028 1695 1657 0 1705 2711 62.9%
ov_SC02_031 1685 1658 0 1690 2572 65.7%
ov_SC02_035 1676 1657 0 1679 2530 66.4%
ov_SC02_039 1661 1657 0 1661 2425 68.5%
ov_SC02_041 1668 1657 0 1671 2570 65.0%
ov_SC03_001 1726 1658 0 1743 2877 60.6%
ov_SC03_002 1687 1662 0 1702 2639 64.5%
ov_SC03_003 1659 1657 0 1660 2432 68.3%
ov_SC03_006 1700 1663 0 1709 2775 61.6%
ov_SC03_007 1675 1657 0 1679 2633 63.8%
ov_SC03_010 1669 1657 0 1669 2479 67.3%
ov_SC03_011 1665 1657 0 1671 2537 65.9%
ov_SC03_012 1660 1657 0 1661 2415 68.8%
ov_SC03_013 1668 1657 0 1668 2502 66.7%
ov_SC03_014 1691 1682 0 1691 2695 62.7%
ov_SC03_015 1697 1682 0 1697 2695 63.0%
ov_SC03_023 1662 1657 0 1663 2444 68.0%
ov_SC03_024 1692 1662 0 1699 2651 64.1%
ov_SC03_028 1683 1657 0 1687 2674 63.1%
ov_SC03_029 1669 1659 0 1679 2654 63.3%
ov_SC03_030 1668 1661 0 1670 2505 66.7%
ov_SC03_031 1664 1657 0 1668 2524 66.1%
ov_SC03_089 1674 1657 0 1681 2591 64.9%
ov_SC03_090 1675 1657 0 1683 2635 63.9%
ov_SC03_091 1674 1657 0 1682 2650 63.5%
ov_SC03_092 1674 1657 0 1686 2597 64.9%
ov_SC03_093 1671 1657 0 1675 2573 65.1%
ov_SC03_094 1665 1657 0 1671 2586 64.6%
ov_SC03_095 1663 1657 0 1666 2484 67.1%
ov_SC03_096 1666 1657 0 1669 2475 67.4%
ov_SC03_097 1670 1657 0 1677 2613 64.2%
ov_SC03_098 1666 1657 0 1669 2551 65.4%
ov_SC03_099 1663 1657 0 1666 2514 66.3%
ov_SC03_100 1665 1657 0 1669 2549 65.5%
ov_SC03_101 1667 1657 0 1671 2538 65.8%
ov_SC03_102 1667 1657 0 1670 2502 66.7%
ov_SC03_103 1665 1659 0 1668 2520 66.2%
ov_SC03_104 1677 1657 0 1684 2626 64.1%
ov_SC03_105 1671 1657 0 1678 2607 64.4%
ov_SC03_108 1659 1657 0 1659 2453 67.6%
ov_SC03_109 1660 1657 0 1662 2433 68.3%
ov_SC03_110 1662 1657 0 1662 2478 67.1%
ov_SC03_111 1667 1657 0 1670 2520 66.3%
ov_SC03_112 1664 1659 0 1666 2536 65.7%
ov_SC03_113 1661 1659 0 1664 2478 67.2%
ov_SC03_114 1658 1657 0 1660 2424 68.5%
ov_SC03_115 1666 1657 0 1668 2482 67.2%
ov_SC03_116 1664 1657 0 1667 2448 68.1%
ov_SC03_117 1665 1657 0 1671 2567 65.1%
ov_SC03_118 1692 1681 0 1693 2695 62.8%
ov_SC03_119 1688 1681 0 1689 2695 62.7%
ov_SC03_121 1664 1657 0 1667 2469 67.5%
ov_SC03_124 1689 1653 0 1709 2751 62.1%
ov_SC03_125 1670 1657 0 1682 2598 64.7%
ov_SC03_126 1661 1659 0 1661 2432 68.3%
ov_SC04_000 1671 1661 0 1680 2554 65.8%
ov_SC04_002 1674 1657 0 1678 2646 63.4%
ov_SC04_003 1662 1657 0 1666 2512 66.3%
ov_SC04_004 1669 1657 0 1671 2568 65.1%
ov_SC04_005 1671 1657 0 1677 2622 64.0%
ov_SC04_006 1660 1657 0 1662 2463 67.5%
ov_SC04_007 1670 1657 0 1674 2579 64.9%
ov_SC04_008 1660 1657 0 1660 2424 68.5%
ov_SC04_009 1663 1657 0 1666 2450 68.0%
ov_SC04_010 1663 1657 0 1664 2428 68.5%
ov_SC04_011 1686 1657 0 1692 2813 60.1%
ov_SC04_012 1660 1657 0 1661 2429 68.4%
ov_SC04_015 1680 1658 0 1691 2621 64.5%
ov_SC04_016 1658 1657 0 1660 2449 67.8%
ov_SC04_018 1707 1692 0 1707 2865 59.6%
ov_SC04_019 1711 1692 0 1711 2865 59.7%
ov_SC04_020 1673 1657 0 1685 2577 65.4%
ov_SC04_021 1659 1659 0 1659 2432 68.2%
ov_SC05_000 1663 1661 0 1666 2429 68.6%
ov_SC05_001 1663 1657 0 1668 2584 64.6%
ov_SC05_002 1660 1657 0 1663 2452 67.8%
ov_SC05_003 1661 1657 0 1662 2491 66.7%
ov_SC05_004 1661 1657 0 1663 2474 67.2%
ov_SC05_005 1662 1657 0 1663 2501 66.5%
ov_SC05_006 1659 1657 0 1659 2439 68.0%
ov_SC05_007 1664 1657 0 1669 2492 67.0%
ov_SC05_008 1684 1657 0 1686 2553 66.0%
ov_SC05_009 1664 1657 0 1668 2447 68.2%
ov_SC05_010 1672 1657 0 1676 2598 64.5%
ov_SC05_011 1659 1657 0 1660 2418 68.7%
ov_SC05_017 1691 1654 0 1702 2852 59.7%
ov_SC05_018 1682 1657 0 1695 2683 63.2%
ov_SC05_019 1660 1659 0 1660 2432 68.3%
ov_SC06_000 1694 1666 0 1697 2699 62.9%
ov_SC06_006 1667 1657 0 1668 2521 66.2%
ov_SC06_008 1671 1659 0 1677 2551 65.7%
ov_SC06_010 1671 1657 0 1676 2527 66.3%
ov_SC06_011 1663 1657 0 1667 2478 67.3%
ov_SC06_013 1662 1657 0 1663 2434 68.3%
ov_SC06_014 1664 1657 0 1666 2462 67.7%
ov_SC06_015 1661 1657 0 1661 2430 68.4%
ov_SC06_016 1672 1657 0 1674 2559 65.4%
ov_SC06_018 1671 1660 0 1678 2675 62.7%
ov_SC06_020 1665 1659 0 1666 2528 65.9%
ov_SC06_022 1671 1657 0 1679 2652 63.3%
ov_SC06_024 1676 1657 0 1682 2677 62.8%
ov_SC06_025 1669 1657 0 1674 2582 64.8%
ov_SC06_027 1657 1657 0 1658 2417 68.6%
ov_SC06_029 1686 1657 0 1698 2672 63.5%
ov_SC06_030 1664 1657 0 1664 2466 67.5%
ov_SC06_032 1664 1658 0 1671 2668 62.6%
ov_SC06_033 1672 1658 0 1679 2641 63.6%
ov_SC07_000 1675 1661 0 1677 2529 66.3%
ov_SC07_001 1664 1657 0 1666 2464 67.6%
ov_SC07_002 1678 1657 0 1682 2589 65.0%
ov_SC07_008 1658 1657 0 1658 2395 69.2%
ov_SC07_009 1666 1657 0 1668 2439 68.4%