mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-27 05:56:00 -04:00
6678c6868a
- 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
8.2 KiB
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% |