Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 5e5423e953 feat(phase-21): dedup_propagate drop-straggler retry — _a pipeline now hands-free
The 2nd straggler class (cont.4 wave-2): cross-overlay loose-typing COMPILE errors (not just
the -O0 byte-mismatch class). The -O0 exclusion alone was insufficient. Refactor the propagation
into a drop-straggler retry loop: extract apply_plan(subplan, restrict=); on a byte-gate failure,
isolate the culprit(s) for the failing overlay (per-fn trial), drop them (kept x1), retry the
survivors. Handles BOTH straggler classes failing ANY overlay; plan strictly shrinks (terminates);
byte-gate stays sole arbiter (a dropped fn never banks where it isn't byte-identical).

Validated end-to-end: wave-2 --auto-from auto-dropped 2 loose-typing stragglers + propagated 3
clean x134 (commit:0271); fleet 62.70 -> 62.82%. Future _a waves now auto-realize x134, no manual probe.
2026-06-24 22:11:27 -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 : 214457 (of which dedup-shared 213740 via 1607 groups / 213784 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 216104 / 344010 = 62.82% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 127899 FLEET matchable : 344010

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 1599 1599 0 1599 2403 66.5%
ov_SC01_001 1599 1599 0 1601 2467 64.9%
ov_SC01_004 1591 1591 0 1592 2416 65.9%
ov_SC01_005 1598 1598 0 1605 2504 64.1%
ov_SC01_006 1598 1598 0 1605 2504 64.1%
ov_SC01_008 1591 1591 0 1593 2428 65.6%
ov_SC01_009 1591 1591 0 1592 2510 63.4%
ov_SC01_074 1591 1591 0 1593 2427 65.6%
ov_SC01_077 2101 1559 0 2103 2586 81.3%
ov_SC01_080 1595 1595 0 1595 2515 63.4%
ov_SC01_084 1595 1595 0 1600 2581 62.0%
ov_SC02_000 1599 1599 0 1606 2684 59.8%
ov_SC02_003 1599 1599 0 1606 2684 59.8%
ov_SC02_004 1595 1595 0 1595 2403 66.4%
ov_SC02_005 1591 1591 0 1601 2930 54.6%
ov_SC02_011 1597 1597 0 1609 2896 55.6%
ov_SC02_015 1597 1597 0 1597 2416 66.1%
ov_SC02_016 1597 1597 0 1600 2548 62.8%
ov_SC02_017 1597 1597 0 1605 2735 58.7%
ov_SC02_021 1597 1597 0 1597 2439 65.5%
ov_SC02_026 1595 1595 0 1601 2575 62.2%
ov_SC02_027 1595 1595 0 1604 2695 59.5%
ov_SC02_028 1595 1595 0 1605 2704 59.4%
ov_SC02_031 1595 1595 0 1601 2565 62.4%
ov_SC02_035 1595 1595 0 1598 2523 63.3%
ov_SC02_039 1595 1595 0 1595 2418 66.0%
ov_SC02_041 1595 1595 0 1598 2563 62.3%
ov_SC03_001 1595 1595 0 1613 2870 56.2%
ov_SC03_002 1599 1599 0 1615 2632 61.4%
ov_SC03_003 1595 1595 0 1596 2425 65.8%
ov_SC03_006 1601 1601 0 1610 2768 58.2%
ov_SC03_007 1595 1595 0 1599 2626 60.9%
ov_SC03_010 1595 1595 0 1595 2472 64.5%
ov_SC03_011 1595 1595 0 1601 2530 63.3%
ov_SC03_012 1595 1595 0 1596 2408 66.3%
ov_SC03_013 1595 1595 0 1595 2495 63.9%
ov_SC03_014 1595 1595 0 1605 2688 59.7%
ov_SC03_015 1595 1595 0 1605 2688 59.7%
ov_SC03_023 1595 1595 0 1596 2437 65.5%
ov_SC03_024 1595 1595 0 1607 2644 60.8%
ov_SC03_028 1595 1595 0 1599 2667 60.0%
ov_SC03_029 1597 1597 0 1607 2647 60.7%
ov_SC03_030 1599 1599 0 1601 2498 64.1%
ov_SC03_031 1595 1595 0 1599 2517 63.5%
ov_SC03_089 1595 1595 0 1602 2584 62.0%
ov_SC03_090 1595 1595 0 1603 2628 61.0%
ov_SC03_091 1595 1595 0 1603 2643 60.7%
ov_SC03_092 1595 1595 0 1607 2590 62.0%
ov_SC03_093 1595 1595 0 1599 2566 62.3%
ov_SC03_094 1595 1595 0 1601 2579 62.1%
ov_SC03_095 1595 1595 0 1598 2477 64.5%
ov_SC03_096 1595 1595 0 1598 2468 64.7%
ov_SC03_097 1595 1595 0 1602 2606 61.5%
ov_SC03_098 1595 1595 0 1598 2544 62.8%
ov_SC03_099 1595 1595 0 1598 2507 63.7%
ov_SC03_100 1595 1595 0 1599 2542 62.9%
ov_SC03_101 1595 1595 0 1599 2531 63.2%
ov_SC03_102 1595 1595 0 1598 2495 64.0%
ov_SC03_103 1597 1597 0 1600 2513 63.7%
ov_SC03_104 1595 1595 0 1602 2619 61.2%
ov_SC03_105 1595 1595 0 1602 2600 61.6%
ov_SC03_108 1595 1595 0 1595 2446 65.2%
ov_SC03_109 1595 1595 0 1597 2426 65.8%
ov_SC03_110 1595 1595 0 1595 2471 64.5%
ov_SC03_111 1595 1595 0 1598 2513 63.6%
ov_SC03_112 1597 1597 0 1599 2529 63.2%
ov_SC03_113 1597 1597 0 1600 2471 64.8%
ov_SC03_114 1595 1595 0 1597 2417 66.1%
ov_SC03_115 1595 1595 0 1597 2475 64.5%
ov_SC03_116 1595 1595 0 1598 2441 65.5%
ov_SC03_117 1595 1595 0 1601 2560 62.5%
ov_SC03_118 1595 1595 0 1608 2688 59.8%
ov_SC03_119 1595 1595 0 1608 2688 59.8%
ov_SC03_121 1595 1595 0 1598 2462 64.9%
ov_SC03_124 1591 1591 0 1611 2744 58.7%
ov_SC03_125 1595 1595 0 1607 2591 62.0%
ov_SC03_126 1595 1595 0 1596 2425 65.8%
ov_SC04_000 1599 1599 0 1608 2547 63.1%
ov_SC04_002 1595 1595 0 1599 2639 60.6%
ov_SC04_003 1595 1595 0 1599 2505 63.8%
ov_SC04_004 1595 1595 0 1597 2561 62.4%
ov_SC04_005 1595 1595 0 1601 2615 61.2%
ov_SC04_006 1595 1595 0 1597 2456 65.0%
ov_SC04_007 1595 1595 0 1599 2572 62.2%
ov_SC04_008 1595 1595 0 1595 2417 66.0%
ov_SC04_009 1595 1595 0 1598 2443 65.4%
ov_SC04_010 1595 1595 0 1596 2421 65.9%
ov_SC04_011 1595 1595 0 1601 2806 57.1%
ov_SC04_012 1595 1595 0 1596 2422 65.9%
ov_SC04_015 1595 1595 0 1607 2614 61.5%
ov_SC04_016 1595 1595 0 1597 2442 65.4%
ov_SC04_018 1595 1595 0 1608 2858 56.3%
ov_SC04_019 1595 1595 0 1608 2858 56.3%
ov_SC04_020 1595 1595 0 1607 2570 62.5%
ov_SC04_021 1595 1595 0 1596 2425 65.8%
ov_SC05_000 1599 1599 0 1602 2422 66.1%
ov_SC05_001 1595 1595 0 1600 2577 62.1%
ov_SC05_002 1595 1595 0 1598 2445 65.4%
ov_SC05_003 1595 1595 0 1596 2484 64.3%
ov_SC05_004 1595 1595 0 1597 2467 64.7%
ov_SC05_005 1595 1595 0 1596 2494 64.0%
ov_SC05_006 1595 1595 0 1595 2432 65.6%
ov_SC05_007 1595 1595 0 1600 2485 64.4%
ov_SC05_008 1595 1595 0 1597 2546 62.7%
ov_SC05_009 1595 1595 0 1599 2440 65.5%
ov_SC05_010 1595 1595 0 1599 2591 61.7%
ov_SC05_011 1595 1595 0 1596 2411 66.2%
ov_SC05_017 1591 1591 0 1603 2845 56.3%
ov_SC05_018 1595 1595 0 1608 2676 60.1%
ov_SC05_019 1595 1595 0 1596 2425 65.8%
ov_SC06_000 1599 1599 0 1607 2692 59.7%
ov_SC06_006 1595 1595 0 1596 2514 63.5%
ov_SC06_008 1597 1597 0 1603 2544 63.0%
ov_SC06_010 1595 1595 0 1600 2520 63.5%
ov_SC06_011 1595 1595 0 1599 2471 64.7%
ov_SC06_013 1595 1595 0 1596 2427 65.8%
ov_SC06_014 1595 1595 0 1597 2455 65.1%
ov_SC06_015 1595 1595 0 1595 2423 65.8%
ov_SC06_016 1595 1595 0 1597 2552 62.6%
ov_SC06_018 1595 1595 0 1603 2668 60.1%
ov_SC06_020 1595 1595 0 1596 2521 63.3%
ov_SC06_022 1595 1595 0 1603 2645 60.6%
ov_SC06_024 1595 1595 0 1601 2670 60.0%
ov_SC06_025 1595 1595 0 1600 2575 62.1%
ov_SC06_027 1595 1595 0 1596 2410 66.2%
ov_SC06_029 1595 1595 0 1607 2665 60.3%
ov_SC06_030 1595 1595 0 1595 2459 64.9%
ov_SC06_032 1595 1595 0 1602 2661 60.2%
ov_SC06_033 1595 1595 0 1602 2634 60.8%
ov_SC07_000 1599 1599 0 1601 2522 63.5%
ov_SC07_001 1595 1595 0 1597 2457 65.0%
ov_SC07_002 1595 1595 0 1599 2582 61.9%
ov_SC07_008 1595 1595 0 1595 2388 66.8%
ov_SC07_009 1595 1595 0 1597 2432 65.7%