Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 72dabb470c feat(phase-23): broad v3 harvest (48 banks) + final propagate sweep; docs
- bounded broad v3 harvest banked 48 small fns across SC01/SC02 overlays (mostly
  reach-1 ×1; fleet 64.16->64.18%), final propagate sweep +4 groups (1687->1691)
- check-all 136/136 byte-identical, dedup-check 0 failed
- docs/community-matching-model-plan.md (publishing the drafter — parked)
- docs/sister-decomps.md (VS cross-project plan + idiom-discovery rationale — parked)
- CURRENT_PHASE.md: 2026-07-01 session arc (injection lever +0.34%, the type-walled-14
  deferred, the saturation-campaign plan)
2026-06-30 13:54:53 -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 : 219765 (of which dedup-shared 218653 via 1691 groups / 218704 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 221380 / 344941 = 64.18% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 123554 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 1650 1636 0 1650 2410 68.5%
ov_SC01_001 1646 1636 0 1648 2474 66.6%
ov_SC01_004 1639 1627 0 1640 2423 67.7%
ov_SC01_005 1662 1649 0 1662 2511 66.2%
ov_SC01_006 1661 1649 0 1661 2511 66.1%
ov_SC01_008 1640 1627 0 1642 2435 67.4%
ov_SC01_009 1656 1628 0 1657 2517 65.8%
ov_SC01_074 1640 1628 0 1642 2434 67.5%
ov_SC01_077 2151 1588 0 2153 2586 83.3%
ov_SC01_080 1653 1631 0 1653 2522 65.5%
ov_SC01_084 1657 1631 0 1662 2588 64.2%
ov_SC02_000 1675 1664 0 1675 2691 62.2%
ov_SC02_003 1675 1664 0 1675 2691 62.2%
ov_SC02_004 1644 1631 0 1644 2410 68.2%
ov_SC02_005 1646 1627 0 1656 2937 56.4%
ov_SC02_011 1649 1634 0 1660 2903 57.2%
ov_SC02_015 1644 1633 0 1644 2423 67.8%
ov_SC02_016 1647 1633 0 1650 2555 64.6%
ov_SC02_017 1651 1633 0 1659 2742 60.5%
ov_SC02_021 1647 1633 0 1647 2446 67.3%
ov_SC02_026 1644 1631 0 1650 2582 63.9%
ov_SC02_027 1649 1631 0 1658 2702 61.4%
ov_SC02_028 1654 1631 0 1664 2711 61.4%
ov_SC02_031 1650 1632 0 1655 2572 64.3%
ov_SC02_035 1645 1631 0 1648 2530 65.1%
ov_SC02_039 1631 1631 0 1631 2425 67.3%
ov_SC02_041 1631 1631 0 1634 2570 63.6%
ov_SC03_001 1631 1631 0 1649 2877 57.3%
ov_SC03_002 1636 1636 0 1651 2639 62.6%
ov_SC03_003 1631 1631 0 1632 2432 67.1%
ov_SC03_006 1637 1637 0 1646 2775 59.3%
ov_SC03_007 1631 1631 0 1635 2633 62.1%
ov_SC03_010 1631 1631 0 1631 2479 65.8%
ov_SC03_011 1631 1631 0 1637 2537 64.5%
ov_SC03_012 1631 1631 0 1632 2415 67.6%
ov_SC03_013 1631 1631 0 1631 2502 65.2%
ov_SC03_014 1631 1631 0 1641 2695 60.9%
ov_SC03_015 1631 1631 0 1641 2695 60.9%
ov_SC03_023 1631 1631 0 1632 2444 66.8%
ov_SC03_024 1631 1631 0 1643 2651 62.0%
ov_SC03_028 1631 1631 0 1635 2674 61.1%
ov_SC03_029 1633 1633 0 1643 2654 61.9%
ov_SC03_030 1635 1635 0 1637 2505 65.3%
ov_SC03_031 1631 1631 0 1635 2524 64.8%
ov_SC03_089 1631 1631 0 1638 2591 63.2%
ov_SC03_090 1631 1631 0 1639 2635 62.2%
ov_SC03_091 1631 1631 0 1639 2650 61.8%
ov_SC03_092 1631 1631 0 1643 2597 63.3%
ov_SC03_093 1631 1631 0 1635 2573 63.5%
ov_SC03_094 1631 1631 0 1637 2586 63.3%
ov_SC03_095 1631 1631 0 1634 2484 65.8%
ov_SC03_096 1631 1631 0 1634 2475 66.0%
ov_SC03_097 1631 1631 0 1638 2613 62.7%
ov_SC03_098 1631 1631 0 1634 2551 64.1%
ov_SC03_099 1631 1631 0 1634 2514 65.0%
ov_SC03_100 1631 1631 0 1635 2549 64.1%
ov_SC03_101 1631 1631 0 1635 2538 64.4%
ov_SC03_102 1631 1631 0 1634 2502 65.3%
ov_SC03_103 1633 1633 0 1636 2520 64.9%
ov_SC03_104 1631 1631 0 1638 2626 62.4%
ov_SC03_105 1631 1631 0 1638 2607 62.8%
ov_SC03_108 1631 1631 0 1631 2453 66.5%
ov_SC03_109 1631 1631 0 1633 2433 67.1%
ov_SC03_110 1631 1631 0 1631 2478 65.8%
ov_SC03_111 1631 1631 0 1634 2520 64.8%
ov_SC03_112 1633 1633 0 1635 2536 64.5%
ov_SC03_113 1633 1633 0 1636 2478 66.0%
ov_SC03_114 1631 1631 0 1633 2424 67.4%
ov_SC03_115 1631 1631 0 1633 2482 65.8%
ov_SC03_116 1631 1631 0 1634 2448 66.7%
ov_SC03_117 1631 1631 0 1637 2567 63.8%
ov_SC03_118 1631 1631 0 1644 2695 61.0%
ov_SC03_119 1631 1631 0 1644 2695 61.0%
ov_SC03_121 1631 1631 0 1634 2469 66.2%
ov_SC03_124 1627 1627 0 1647 2751 59.9%
ov_SC03_125 1631 1631 0 1643 2598 63.2%
ov_SC03_126 1631 1631 0 1632 2432 67.1%
ov_SC04_000 1635 1635 0 1644 2554 64.4%
ov_SC04_002 1631 1631 0 1635 2646 61.8%
ov_SC04_003 1631 1631 0 1635 2512 65.1%
ov_SC04_004 1631 1631 0 1633 2568 63.6%
ov_SC04_005 1631 1631 0 1637 2622 62.4%
ov_SC04_006 1631 1631 0 1633 2463 66.3%
ov_SC04_007 1631 1631 0 1635 2579 63.4%
ov_SC04_008 1631 1631 0 1631 2424 67.3%
ov_SC04_009 1631 1631 0 1634 2450 66.7%
ov_SC04_010 1631 1631 0 1632 2428 67.2%
ov_SC04_011 1631 1631 0 1637 2813 58.2%
ov_SC04_012 1631 1631 0 1632 2429 67.2%
ov_SC04_015 1632 1632 0 1643 2621 62.7%
ov_SC04_016 1631 1631 0 1633 2449 66.7%
ov_SC04_018 1631 1631 0 1644 2865 57.4%
ov_SC04_019 1631 1631 0 1644 2865 57.4%
ov_SC04_020 1631 1631 0 1643 2577 63.8%
ov_SC04_021 1631 1631 0 1632 2432 67.1%
ov_SC05_000 1635 1635 0 1638 2429 67.4%
ov_SC05_001 1631 1631 0 1636 2584 63.3%
ov_SC05_002 1631 1631 0 1634 2452 66.6%
ov_SC05_003 1631 1631 0 1632 2491 65.5%
ov_SC05_004 1631 1631 0 1633 2474 66.0%
ov_SC05_005 1631 1631 0 1632 2501 65.3%
ov_SC05_006 1631 1631 0 1631 2439 66.9%
ov_SC05_007 1631 1631 0 1636 2492 65.7%
ov_SC05_008 1631 1631 0 1633 2553 64.0%
ov_SC05_009 1631 1631 0 1635 2447 66.8%
ov_SC05_010 1631 1631 0 1635 2598 62.9%
ov_SC05_011 1631 1631 0 1632 2418 67.5%
ov_SC05_017 1627 1627 0 1639 2852 57.5%
ov_SC05_018 1631 1631 0 1644 2683 61.3%
ov_SC05_019 1631 1631 0 1632 2432 67.1%
ov_SC06_000 1635 1635 0 1643 2699 60.9%
ov_SC06_006 1631 1631 0 1632 2521 64.7%
ov_SC06_008 1633 1633 0 1639 2551 64.2%
ov_SC06_010 1631 1631 0 1636 2527 64.7%
ov_SC06_011 1631 1631 0 1635 2478 66.0%
ov_SC06_013 1631 1631 0 1632 2434 67.1%
ov_SC06_014 1631 1631 0 1633 2462 66.3%
ov_SC06_015 1631 1631 0 1631 2430 67.1%
ov_SC06_016 1631 1631 0 1633 2559 63.8%
ov_SC06_018 1631 1631 0 1639 2675 61.3%
ov_SC06_020 1631 1631 0 1632 2528 64.6%
ov_SC06_022 1631 1631 0 1639 2652 61.8%
ov_SC06_024 1631 1631 0 1637 2677 61.2%
ov_SC06_025 1631 1631 0 1636 2582 63.4%
ov_SC06_027 1631 1631 0 1632 2417 67.5%
ov_SC06_029 1631 1631 0 1643 2672 61.5%
ov_SC06_030 1631 1631 0 1631 2466 66.1%
ov_SC06_032 1631 1631 0 1638 2668 61.4%
ov_SC06_033 1631 1631 0 1638 2641 62.0%
ov_SC07_000 1635 1635 0 1637 2529 64.7%
ov_SC07_001 1631 1631 0 1633 2464 66.3%
ov_SC07_002 1631 1631 0 1635 2589 63.2%
ov_SC07_008 1631 1631 0 1631 2395 68.1%
ov_SC07_009 1631 1631 0 1633 2439 67.0%