Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 8ba3b82307 feat(phase-24): T7 — 3 Fable5-cracked giants ×134 (func_801392FC/8013A530/8013AF20); fleet 65.64->65.75%
- func_801392FC (182, close=2->MATCH): CROSS-BB COMBINE LAW (a backedge-crossing count is a variable,
  not a foldable (s16)load; reorg steals the sll into the delay slot) + VOLATILE-FRAME-PARITY (volatile
  count-load avoids the cse-common -> combine keep-load -> stale-allocno reload slot). cookbook §36.
- func_8013A530 (204, close=10->MATCH): the RC-6 'reload knot' WAS the pins; the $0-ADD OPAQUE COPY
  (iVar7 = fc + zr, zr=$0) assembles to addu $v1,$a1,$zero but doesn't reserve the reg + 3 zero-byte
  levers. regalloc.md RC-12/RC-13, §36.
- func_8013AF20 (185, close=15->MATCH): the 'impossible' const-hoist order was libgpu addPrim's 24-bit
  BITFIELD store (store_fixed_bit_field emits 0x00ffffff first) + delete the inherited barrier; P_TAG
  lifted to engine_types.h (byte-neutral). loop.md, RC-7, §36.
- banked via the §35 recipe (fix_arity_callers --any-proto -> sig_unify -> harvest_verify ->
  dedup_propagate --recover). clean fleet check-all 136/136, dedup 1806/0, 0 NON_MATCHING.
- SESSION: 7 giants ×134 total (1 R14-free, 2 Opus-solo, 4 Opus->Fable5); fleet 65.48 -> 65.75%.
  gcc-2.7.2 reference tree extended (expmed.c/mips.md/... added). Giant queue (§G) stored for next session.
2026-07-04 04:14:43 -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 : 225277 (of which dedup-shared 222736 via 1806 groups / 222787 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 226806 / 344941 = 65.75% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 118128 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 1679 1665 0 1679 2410 69.7%
ov_SC01_001 1675 1665 0 1677 2474 67.8%
ov_SC01_004 1668 1656 0 1669 2423 68.9%
ov_SC01_005 1691 1678 0 1691 2511 67.3%
ov_SC01_006 1690 1678 0 1690 2511 67.3%
ov_SC01_008 1669 1656 0 1671 2435 68.6%
ov_SC01_009 1690 1657 0 1691 2517 67.2%
ov_SC01_074 1669 1657 0 1671 2434 68.7%
ov_SC01_077 2184 1617 0 2186 2586 84.5%
ov_SC01_080 1687 1660 0 1687 2522 66.9%
ov_SC01_084 1692 1660 0 1697 2588 65.6%
ov_SC02_000 1706 1695 0 1706 2691 63.4%
ov_SC02_003 1706 1695 0 1706 2691 63.4%
ov_SC02_004 1673 1660 0 1673 2410 69.4%
ov_SC02_005 1732 1656 0 1742 2937 59.3%
ov_SC02_011 1713 1663 0 1724 2903 59.4%
ov_SC02_015 1673 1662 0 1673 2423 69.0%
ov_SC02_016 1677 1662 0 1680 2555 65.8%
ov_SC02_017 1697 1662 0 1705 2742 62.2%
ov_SC02_021 1676 1662 0 1676 2446 68.5%
ov_SC02_026 1681 1660 0 1687 2582 65.3%
ov_SC02_027 1690 1660 0 1699 2702 62.9%
ov_SC02_028 1698 1660 0 1708 2711 63.0%
ov_SC02_031 1688 1661 0 1693 2572 65.8%
ov_SC02_035 1679 1660 0 1682 2530 66.5%
ov_SC02_039 1664 1660 0 1664 2425 68.6%
ov_SC02_041 1671 1660 0 1674 2570 65.1%
ov_SC03_001 1729 1661 0 1746 2877 60.7%
ov_SC03_002 1690 1665 0 1705 2639 64.6%
ov_SC03_003 1662 1660 0 1663 2432 68.4%
ov_SC03_006 1703 1666 0 1712 2775 61.7%
ov_SC03_007 1678 1660 0 1682 2633 63.9%
ov_SC03_010 1672 1660 0 1672 2479 67.4%
ov_SC03_011 1668 1660 0 1674 2537 66.0%
ov_SC03_012 1663 1660 0 1664 2415 68.9%
ov_SC03_013 1671 1660 0 1671 2502 66.8%
ov_SC03_014 1694 1685 0 1694 2695 62.9%
ov_SC03_015 1700 1685 0 1700 2695 63.1%
ov_SC03_023 1665 1660 0 1666 2444 68.2%
ov_SC03_024 1695 1665 0 1702 2651 64.2%
ov_SC03_028 1686 1660 0 1690 2674 63.2%
ov_SC03_029 1672 1662 0 1682 2654 63.4%
ov_SC03_030 1671 1664 0 1673 2505 66.8%
ov_SC03_031 1667 1660 0 1671 2524 66.2%
ov_SC03_089 1677 1660 0 1684 2591 65.0%
ov_SC03_090 1678 1660 0 1686 2635 64.0%
ov_SC03_091 1677 1660 0 1685 2650 63.6%
ov_SC03_092 1677 1660 0 1689 2597 65.0%
ov_SC03_093 1674 1660 0 1678 2573 65.2%
ov_SC03_094 1668 1660 0 1674 2586 64.7%
ov_SC03_095 1666 1660 0 1669 2484 67.2%
ov_SC03_096 1669 1660 0 1672 2475 67.6%
ov_SC03_097 1673 1660 0 1680 2613 64.3%
ov_SC03_098 1669 1660 0 1672 2551 65.5%
ov_SC03_099 1666 1660 0 1669 2514 66.4%
ov_SC03_100 1668 1660 0 1672 2549 65.6%
ov_SC03_101 1670 1660 0 1674 2538 66.0%
ov_SC03_102 1670 1660 0 1673 2502 66.9%
ov_SC03_103 1668 1662 0 1671 2520 66.3%
ov_SC03_104 1680 1660 0 1687 2626 64.2%
ov_SC03_105 1674 1660 0 1681 2607 64.5%
ov_SC03_108 1662 1660 0 1662 2453 67.8%
ov_SC03_109 1663 1660 0 1665 2433 68.4%
ov_SC03_110 1665 1660 0 1665 2478 67.2%
ov_SC03_111 1670 1660 0 1673 2520 66.4%
ov_SC03_112 1667 1662 0 1669 2536 65.8%
ov_SC03_113 1664 1662 0 1667 2478 67.3%
ov_SC03_114 1661 1660 0 1663 2424 68.6%
ov_SC03_115 1669 1660 0 1671 2482 67.3%
ov_SC03_116 1667 1660 0 1670 2448 68.2%
ov_SC03_117 1668 1660 0 1674 2567 65.2%
ov_SC03_118 1695 1684 0 1696 2695 62.9%
ov_SC03_119 1691 1684 0 1692 2695 62.8%
ov_SC03_121 1667 1660 0 1670 2469 67.6%
ov_SC03_124 1692 1656 0 1712 2751 62.2%
ov_SC03_125 1673 1660 0 1685 2598 64.9%
ov_SC03_126 1664 1662 0 1664 2432 68.4%
ov_SC04_000 1674 1664 0 1683 2554 65.9%
ov_SC04_002 1677 1660 0 1681 2646 63.5%
ov_SC04_003 1665 1660 0 1669 2512 66.4%
ov_SC04_004 1672 1660 0 1674 2568 65.2%
ov_SC04_005 1674 1660 0 1680 2622 64.1%
ov_SC04_006 1663 1660 0 1665 2463 67.6%
ov_SC04_007 1673 1660 0 1677 2579 65.0%
ov_SC04_008 1663 1660 0 1663 2424 68.6%
ov_SC04_009 1666 1660 0 1669 2450 68.1%
ov_SC04_010 1666 1660 0 1667 2428 68.7%
ov_SC04_011 1689 1660 0 1695 2813 60.3%
ov_SC04_012 1663 1660 0 1664 2429 68.5%
ov_SC04_015 1683 1661 0 1694 2621 64.6%
ov_SC04_016 1661 1660 0 1663 2449 67.9%
ov_SC04_018 1710 1695 0 1710 2865 59.7%
ov_SC04_019 1714 1695 0 1714 2865 59.8%
ov_SC04_020 1676 1660 0 1688 2577 65.5%
ov_SC04_021 1662 1662 0 1662 2432 68.3%
ov_SC05_000 1666 1664 0 1669 2429 68.7%
ov_SC05_001 1666 1660 0 1671 2584 64.7%
ov_SC05_002 1663 1660 0 1666 2452 67.9%
ov_SC05_003 1664 1660 0 1665 2491 66.8%
ov_SC05_004 1664 1660 0 1666 2474 67.3%
ov_SC05_005 1665 1660 0 1666 2501 66.6%
ov_SC05_006 1662 1660 0 1662 2439 68.1%
ov_SC05_007 1667 1660 0 1672 2492 67.1%
ov_SC05_008 1687 1660 0 1689 2553 66.2%
ov_SC05_009 1667 1660 0 1671 2447 68.3%
ov_SC05_010 1675 1660 0 1679 2598 64.6%
ov_SC05_011 1662 1660 0 1663 2418 68.8%
ov_SC05_017 1694 1657 0 1705 2852 59.8%
ov_SC05_018 1685 1660 0 1698 2683 63.3%
ov_SC05_019 1663 1662 0 1663 2432 68.4%
ov_SC06_000 1697 1669 0 1700 2699 63.0%
ov_SC06_006 1670 1660 0 1671 2521 66.3%
ov_SC06_008 1674 1662 0 1680 2551 65.9%
ov_SC06_010 1674 1660 0 1679 2527 66.4%
ov_SC06_011 1666 1660 0 1670 2478 67.4%
ov_SC06_013 1665 1660 0 1666 2434 68.4%
ov_SC06_014 1667 1660 0 1669 2462 67.8%
ov_SC06_015 1664 1660 0 1664 2430 68.5%
ov_SC06_016 1675 1660 0 1677 2559 65.5%
ov_SC06_018 1674 1663 0 1681 2675 62.8%
ov_SC06_020 1668 1662 0 1669 2528 66.0%
ov_SC06_022 1674 1660 0 1682 2652 63.4%
ov_SC06_024 1679 1660 0 1685 2677 62.9%
ov_SC06_025 1672 1660 0 1677 2582 64.9%
ov_SC06_027 1660 1660 0 1661 2417 68.7%
ov_SC06_029 1689 1660 0 1701 2672 63.7%
ov_SC06_030 1667 1660 0 1667 2466 67.6%
ov_SC06_032 1667 1661 0 1674 2668 62.7%
ov_SC06_033 1675 1661 0 1682 2641 63.7%
ov_SC07_000 1678 1664 0 1680 2529 66.4%
ov_SC07_001 1667 1660 0 1669 2464 67.7%
ov_SC07_002 1681 1660 0 1685 2589 65.1%
ov_SC07_008 1661 1660 0 1661 2395 69.4%
ov_SC07_009 1669 1660 0 1671 2439 68.5%