Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 6678c6868a feat(phase-23): Fable5Max cracks §20 "unsteerable" giant func_8014EE14 ×134
- Fable5Max agent (Agent model=fable) matched a 248-ins reach-134 GIANT on the
  §20/§10 store-vs-load wall (22 phases "CONFIRMED unsteerable") by reading the
  gcc-2.7.2 source (tools/reference/gcc-papermario) + RTL -da dumps. Leaf
  MATCH(248 ins) -> whole-binary banked:1 -> dedup_propagate ×134. Verified:
  check-all 136/136 byte-identical, dedup-check 1780 validated/0 failed.
- 3 byte-proven idioms -> cookbook §30 (corrects §29's "not a bigger model"):
  (1) store-vs-load is a deterministic MEM_IN_STRUCT_P /s aliasing flag, not a
      scheduler tie-break; steer via ((struct{s32 f;}*)p)->f (anon struct keeps
      /s AND propagates ×134) to grant, *p to deny
  (2) def-side return-type wall has a MACRO escape: widen a discarding caller
      macro's extern void->s32 (byte-neutral, check-all-verified) -- extends §29
  (3) birthing-boost prologue-order lever: __asm__("":"=r"(x):"0"(x)) re-tie in a
      later bb kills sched.c's REG_N_SETS==1 priority boost
- tools/glm_parallel.sh: K concurrent OpenRouter/GLM cloud drafters (parallel
  api_draft), key read from .env at runtime
- §10/§20 "store-vs-load unsteerable" backlog now re-test candidates:
  func_8014F2E0, func_80150528, func_8014EA4C
2026-07-02 16:56:56 -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 : 221659 (of which dedup-shared 219118 via 1779 groups / 219169 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 223188 / 344807 = 64.73% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 121612 FLEET matchable : 344807

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 1652 1638 0 1652 2409 68.6%
ov_SC01_001 1648 1638 0 1650 2473 66.7%
ov_SC01_004 1641 1629 0 1642 2422 67.8%
ov_SC01_005 1664 1651 0 1664 2510 66.3%
ov_SC01_006 1663 1651 0 1663 2510 66.3%
ov_SC01_008 1642 1629 0 1644 2434 67.5%
ov_SC01_009 1663 1630 0 1664 2516 66.1%
ov_SC01_074 1642 1630 0 1644 2433 67.6%
ov_SC01_077 2157 1590 0 2159 2585 83.5%
ov_SC01_080 1660 1633 0 1660 2521 65.8%
ov_SC01_084 1665 1633 0 1670 2587 64.6%
ov_SC02_000 1679 1668 0 1679 2690 62.4%
ov_SC02_003 1679 1668 0 1679 2690 62.4%
ov_SC02_004 1646 1633 0 1646 2409 68.3%
ov_SC02_005 1705 1629 0 1715 2936 58.4%
ov_SC02_011 1686 1636 0 1697 2902 58.5%
ov_SC02_015 1646 1635 0 1646 2422 68.0%
ov_SC02_016 1650 1635 0 1653 2554 64.7%
ov_SC02_017 1670 1635 0 1678 2741 61.2%
ov_SC02_021 1649 1635 0 1649 2445 67.4%
ov_SC02_026 1654 1633 0 1660 2581 64.3%
ov_SC02_027 1663 1633 0 1672 2701 61.9%
ov_SC02_028 1671 1633 0 1681 2710 62.0%
ov_SC02_031 1661 1634 0 1666 2571 64.8%
ov_SC02_035 1652 1633 0 1655 2529 65.4%
ov_SC02_039 1637 1633 0 1637 2424 67.5%
ov_SC02_041 1644 1633 0 1647 2569 64.1%
ov_SC03_001 1702 1634 0 1719 2876 59.8%
ov_SC03_002 1663 1638 0 1678 2638 63.6%
ov_SC03_003 1635 1633 0 1636 2431 67.3%
ov_SC03_006 1676 1639 0 1685 2774 60.7%
ov_SC03_007 1651 1633 0 1655 2632 62.9%
ov_SC03_010 1645 1633 0 1645 2478 66.4%
ov_SC03_011 1641 1633 0 1647 2536 64.9%
ov_SC03_012 1636 1633 0 1637 2414 67.8%
ov_SC03_013 1644 1633 0 1644 2501 65.7%
ov_SC03_014 1667 1658 0 1667 2694 61.9%
ov_SC03_015 1673 1658 0 1673 2694 62.1%
ov_SC03_023 1638 1633 0 1639 2443 67.1%
ov_SC03_024 1668 1638 0 1675 2650 63.2%
ov_SC03_028 1659 1633 0 1663 2673 62.2%
ov_SC03_029 1645 1635 0 1655 2653 62.4%
ov_SC03_030 1644 1637 0 1646 2504 65.7%
ov_SC03_031 1640 1633 0 1644 2523 65.2%
ov_SC03_089 1650 1633 0 1657 2590 64.0%
ov_SC03_090 1651 1633 0 1659 2634 63.0%
ov_SC03_091 1650 1633 0 1658 2649 62.6%
ov_SC03_092 1650 1633 0 1662 2596 64.0%
ov_SC03_093 1647 1633 0 1651 2572 64.2%
ov_SC03_094 1641 1633 0 1647 2585 63.7%
ov_SC03_095 1639 1633 0 1642 2483 66.1%
ov_SC03_096 1642 1633 0 1645 2474 66.5%
ov_SC03_097 1646 1633 0 1653 2612 63.3%
ov_SC03_098 1642 1633 0 1645 2550 64.5%
ov_SC03_099 1639 1633 0 1642 2513 65.3%
ov_SC03_100 1641 1633 0 1645 2548 64.6%
ov_SC03_101 1643 1633 0 1647 2537 64.9%
ov_SC03_102 1643 1633 0 1646 2501 65.8%
ov_SC03_103 1641 1635 0 1644 2519 65.3%
ov_SC03_104 1653 1633 0 1660 2625 63.2%
ov_SC03_105 1647 1633 0 1654 2606 63.5%
ov_SC03_108 1635 1633 0 1635 2452 66.7%
ov_SC03_109 1636 1633 0 1638 2432 67.4%
ov_SC03_110 1638 1633 0 1638 2477 66.1%
ov_SC03_111 1643 1633 0 1646 2519 65.3%
ov_SC03_112 1640 1635 0 1642 2535 64.8%
ov_SC03_113 1637 1635 0 1640 2477 66.2%
ov_SC03_114 1634 1633 0 1636 2423 67.5%
ov_SC03_115 1642 1633 0 1644 2481 66.3%
ov_SC03_116 1640 1633 0 1643 2447 67.1%
ov_SC03_117 1641 1633 0 1647 2566 64.2%
ov_SC03_118 1668 1657 0 1669 2694 62.0%
ov_SC03_119 1664 1657 0 1665 2694 61.8%
ov_SC03_121 1640 1633 0 1643 2468 66.6%
ov_SC03_124 1665 1629 0 1685 2750 61.3%
ov_SC03_125 1646 1633 0 1658 2597 63.8%
ov_SC03_126 1637 1635 0 1637 2431 67.3%
ov_SC04_000 1647 1637 0 1656 2553 64.9%
ov_SC04_002 1650 1633 0 1654 2645 62.5%
ov_SC04_003 1638 1633 0 1642 2511 65.4%
ov_SC04_004 1645 1633 0 1647 2567 64.2%
ov_SC04_005 1647 1633 0 1653 2621 63.1%
ov_SC04_006 1636 1633 0 1638 2462 66.5%
ov_SC04_007 1646 1633 0 1650 2578 64.0%
ov_SC04_008 1636 1633 0 1636 2423 67.5%
ov_SC04_009 1639 1633 0 1642 2449 67.0%
ov_SC04_010 1639 1633 0 1640 2427 67.6%
ov_SC04_011 1662 1633 0 1668 2812 59.3%
ov_SC04_012 1636 1633 0 1637 2428 67.4%
ov_SC04_015 1656 1634 0 1667 2620 63.6%
ov_SC04_016 1634 1633 0 1636 2448 66.8%
ov_SC04_018 1683 1668 0 1683 2864 58.8%
ov_SC04_019 1687 1668 0 1687 2864 58.9%
ov_SC04_020 1649 1633 0 1661 2576 64.5%
ov_SC04_021 1635 1635 0 1635 2431 67.3%
ov_SC05_000 1639 1637 0 1642 2428 67.6%
ov_SC05_001 1639 1633 0 1644 2583 63.6%
ov_SC05_002 1636 1633 0 1639 2451 66.9%
ov_SC05_003 1637 1633 0 1638 2490 65.8%
ov_SC05_004 1637 1633 0 1639 2473 66.3%
ov_SC05_005 1638 1633 0 1639 2500 65.6%
ov_SC05_006 1635 1633 0 1635 2438 67.1%
ov_SC05_007 1640 1633 0 1645 2491 66.0%
ov_SC05_008 1660 1633 0 1662 2552 65.1%
ov_SC05_009 1640 1633 0 1644 2446 67.2%
ov_SC05_010 1648 1633 0 1652 2597 63.6%
ov_SC05_011 1635 1633 0 1636 2417 67.7%
ov_SC05_017 1667 1630 0 1678 2851 58.9%
ov_SC05_018 1658 1633 0 1671 2682 62.3%
ov_SC05_019 1636 1635 0 1636 2431 67.3%
ov_SC06_000 1670 1642 0 1673 2698 62.0%
ov_SC06_006 1643 1633 0 1644 2520 65.2%
ov_SC06_008 1647 1635 0 1653 2550 64.8%
ov_SC06_010 1647 1633 0 1652 2526 65.4%
ov_SC06_011 1639 1633 0 1643 2477 66.3%
ov_SC06_013 1638 1633 0 1639 2433 67.4%
ov_SC06_014 1640 1633 0 1642 2461 66.7%
ov_SC06_015 1637 1633 0 1637 2429 67.4%
ov_SC06_016 1648 1633 0 1650 2558 64.5%
ov_SC06_018 1647 1636 0 1654 2674 61.9%
ov_SC06_020 1641 1635 0 1642 2527 65.0%
ov_SC06_022 1647 1633 0 1655 2651 62.4%
ov_SC06_024 1652 1633 0 1658 2676 62.0%
ov_SC06_025 1645 1633 0 1650 2581 63.9%
ov_SC06_027 1633 1633 0 1634 2416 67.6%
ov_SC06_029 1662 1633 0 1674 2671 62.7%
ov_SC06_030 1640 1633 0 1640 2465 66.5%
ov_SC06_032 1640 1634 0 1647 2667 61.8%
ov_SC06_033 1648 1634 0 1655 2640 62.7%
ov_SC07_000 1651 1637 0 1653 2528 65.4%
ov_SC07_001 1640 1633 0 1642 2463 66.7%
ov_SC07_002 1654 1633 0 1658 2588 64.1%
ov_SC07_008 1634 1633 0 1634 2394 68.3%
ov_SC07_009 1642 1633 0 1644 2438 67.4%