Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 2f9b0d9906 feat(phase-19): T3 batch-1 wave — 30 matched, 25 propagated ×134, fleet 56.64%->57.62%
- Ultracode wave (50 agents, §17 toolkit): 44/50 match_one MATCH (88%); 6 DIFF = genuine
  gcc-quirk tail (fold-const constant-last, GCSE/reload, loop-IV combine, reg time-sharing,
  narrow-param), correctly stubbed (no false matches)
- whole-binary gate (the sole arbiter, G3/P9): 30 banked. Two pipeline findings (R14):
  - sig_unify REGRESSES already-canonical agent drafts -> gate canon-only FIRST, sig_unify
    FALLBACK (.run/t3_gate2.sh) recovered +5 vs unconditional sig_unify
  - 2 arity conflicts recovered via the T2 no-proto caller-extern fix (func_8014AB7C/AC10)
- propagated 25 ×134 (dedup_propagate --auto-from; incl. the T2-deferred func_8017209C);
  ~5 stayed ov_SC01_077-local (inline named structs, need engine_types lifting)
- check-all 136/136 BYTE-IDENTICAL (R22); dedup 1450->1475 validated/0 failed;
  fleet byte-identical 56.64% -> 57.62% (+0.98%); 0 NON_MATCHING (G4)
- 14 still-failing (3 agent-garble from a gen_harvest_targets garbled-sig bug, 1 struct,
  10 genuine codegen near-miss) -> batch-2 retry candidates
2026-06-20 19:27: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 : 196556 (of which dedup-shared 196052 via 1475 groups / 196096 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 198203 / 344010 = 57.62% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 145800 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 1467 1467 0 1467 2403 61.0%
ov_SC01_001 1467 1467 0 1469 2467 59.5%
ov_SC01_004 1459 1459 0 1460 2416 60.4%
ov_SC01_005 1466 1466 0 1473 2504 58.8%
ov_SC01_006 1466 1466 0 1473 2504 58.8%
ov_SC01_008 1459 1459 0 1461 2428 60.2%
ov_SC01_009 1459 1459 0 1460 2510 58.2%
ov_SC01_074 1459 1459 0 1461 2427 60.2%
ov_SC01_077 1756 1427 0 1758 2586 68.0%
ov_SC01_080 1463 1463 0 1463 2515 58.2%
ov_SC01_084 1463 1463 0 1468 2581 56.9%
ov_SC02_000 1467 1467 0 1474 2684 54.9%
ov_SC02_003 1467 1467 0 1474 2684 54.9%
ov_SC02_004 1463 1463 0 1463 2403 60.9%
ov_SC02_005 1459 1459 0 1469 2930 50.1%
ov_SC02_011 1465 1465 0 1477 2896 51.0%
ov_SC02_015 1465 1465 0 1465 2416 60.6%
ov_SC02_016 1465 1465 0 1468 2548 57.6%
ov_SC02_017 1465 1465 0 1473 2735 53.9%
ov_SC02_021 1465 1465 0 1465 2439 60.1%
ov_SC02_026 1463 1463 0 1469 2575 57.0%
ov_SC02_027 1463 1463 0 1472 2695 54.6%
ov_SC02_028 1463 1463 0 1473 2704 54.5%
ov_SC02_031 1463 1463 0 1469 2565 57.3%
ov_SC02_035 1463 1463 0 1466 2523 58.1%
ov_SC02_039 1463 1463 0 1463 2418 60.5%
ov_SC02_041 1463 1463 0 1466 2563 57.2%
ov_SC03_001 1463 1463 0 1481 2870 51.6%
ov_SC03_002 1467 1467 0 1483 2632 56.3%
ov_SC03_003 1463 1463 0 1464 2425 60.4%
ov_SC03_006 1469 1469 0 1478 2768 53.4%
ov_SC03_007 1463 1463 0 1467 2626 55.9%
ov_SC03_010 1463 1463 0 1463 2472 59.2%
ov_SC03_011 1463 1463 0 1469 2530 58.1%
ov_SC03_012 1463 1463 0 1464 2408 60.8%
ov_SC03_013 1463 1463 0 1463 2495 58.6%
ov_SC03_014 1463 1463 0 1473 2688 54.8%
ov_SC03_015 1463 1463 0 1473 2688 54.8%
ov_SC03_023 1463 1463 0 1464 2437 60.1%
ov_SC03_024 1463 1463 0 1475 2644 55.8%
ov_SC03_028 1463 1463 0 1467 2667 55.0%
ov_SC03_029 1465 1465 0 1475 2647 55.7%
ov_SC03_030 1467 1467 0 1469 2498 58.8%
ov_SC03_031 1463 1463 0 1467 2517 58.3%
ov_SC03_089 1463 1463 0 1470 2584 56.9%
ov_SC03_090 1463 1463 0 1471 2628 56.0%
ov_SC03_091 1463 1463 0 1471 2643 55.7%
ov_SC03_092 1463 1463 0 1475 2590 56.9%
ov_SC03_093 1463 1463 0 1467 2566 57.2%
ov_SC03_094 1463 1463 0 1469 2579 57.0%
ov_SC03_095 1463 1463 0 1466 2477 59.2%
ov_SC03_096 1463 1463 0 1466 2468 59.4%
ov_SC03_097 1463 1463 0 1470 2606 56.4%
ov_SC03_098 1463 1463 0 1466 2544 57.6%
ov_SC03_099 1463 1463 0 1466 2507 58.5%
ov_SC03_100 1463 1463 0 1467 2542 57.7%
ov_SC03_101 1463 1463 0 1467 2531 58.0%
ov_SC03_102 1463 1463 0 1466 2495 58.8%
ov_SC03_103 1465 1465 0 1468 2513 58.4%
ov_SC03_104 1463 1463 0 1470 2619 56.1%
ov_SC03_105 1463 1463 0 1470 2600 56.5%
ov_SC03_108 1463 1463 0 1463 2446 59.8%
ov_SC03_109 1463 1463 0 1465 2426 60.4%
ov_SC03_110 1463 1463 0 1463 2471 59.2%
ov_SC03_111 1463 1463 0 1466 2513 58.3%
ov_SC03_112 1465 1465 0 1467 2529 58.0%
ov_SC03_113 1465 1465 0 1468 2471 59.4%
ov_SC03_114 1463 1463 0 1465 2417 60.6%
ov_SC03_115 1463 1463 0 1465 2475 59.2%
ov_SC03_116 1463 1463 0 1466 2441 60.1%
ov_SC03_117 1463 1463 0 1469 2560 57.4%
ov_SC03_118 1463 1463 0 1476 2688 54.9%
ov_SC03_119 1463 1463 0 1476 2688 54.9%
ov_SC03_121 1463 1463 0 1466 2462 59.5%
ov_SC03_124 1459 1459 0 1479 2744 53.9%
ov_SC03_125 1463 1463 0 1475 2591 56.9%
ov_SC03_126 1463 1463 0 1464 2425 60.4%
ov_SC04_000 1467 1467 0 1476 2547 58.0%
ov_SC04_002 1463 1463 0 1467 2639 55.6%
ov_SC04_003 1463 1463 0 1467 2505 58.6%
ov_SC04_004 1463 1463 0 1465 2561 57.2%
ov_SC04_005 1463 1463 0 1469 2615 56.2%
ov_SC04_006 1463 1463 0 1465 2456 59.6%
ov_SC04_007 1463 1463 0 1467 2572 57.0%
ov_SC04_008 1463 1463 0 1463 2417 60.5%
ov_SC04_009 1463 1463 0 1466 2443 60.0%
ov_SC04_010 1463 1463 0 1464 2421 60.5%
ov_SC04_011 1463 1463 0 1469 2806 52.4%
ov_SC04_012 1463 1463 0 1464 2422 60.4%
ov_SC04_015 1463 1463 0 1475 2614 56.4%
ov_SC04_016 1463 1463 0 1465 2442 60.0%
ov_SC04_018 1463 1463 0 1476 2858 51.6%
ov_SC04_019 1463 1463 0 1476 2858 51.6%
ov_SC04_020 1463 1463 0 1475 2570 57.4%
ov_SC04_021 1463 1463 0 1464 2425 60.4%
ov_SC05_000 1467 1467 0 1470 2422 60.7%
ov_SC05_001 1463 1463 0 1468 2577 57.0%
ov_SC05_002 1463 1463 0 1466 2445 60.0%
ov_SC05_003 1463 1463 0 1464 2484 58.9%
ov_SC05_004 1463 1463 0 1465 2467 59.4%
ov_SC05_005 1463 1463 0 1464 2494 58.7%
ov_SC05_006 1463 1463 0 1463 2432 60.2%
ov_SC05_007 1463 1463 0 1468 2485 59.1%
ov_SC05_008 1463 1463 0 1465 2546 57.5%
ov_SC05_009 1463 1463 0 1467 2440 60.1%
ov_SC05_010 1463 1463 0 1467 2591 56.6%
ov_SC05_011 1463 1463 0 1464 2411 60.7%
ov_SC05_017 1459 1459 0 1471 2845 51.7%
ov_SC05_018 1463 1463 0 1476 2676 55.2%
ov_SC05_019 1463 1463 0 1464 2425 60.4%
ov_SC06_000 1467 1467 0 1475 2692 54.8%
ov_SC06_006 1463 1463 0 1464 2514 58.2%
ov_SC06_008 1465 1465 0 1471 2544 57.8%
ov_SC06_010 1463 1463 0 1468 2520 58.3%
ov_SC06_011 1463 1463 0 1467 2471 59.4%
ov_SC06_013 1463 1463 0 1464 2427 60.3%
ov_SC06_014 1463 1463 0 1465 2455 59.7%
ov_SC06_015 1463 1463 0 1463 2423 60.4%
ov_SC06_016 1463 1463 0 1465 2552 57.4%
ov_SC06_018 1463 1463 0 1471 2668 55.1%
ov_SC06_020 1463 1463 0 1464 2521 58.1%
ov_SC06_022 1463 1463 0 1471 2645 55.6%
ov_SC06_024 1463 1463 0 1469 2670 55.0%
ov_SC06_025 1463 1463 0 1468 2575 57.0%
ov_SC06_027 1463 1463 0 1464 2410 60.7%
ov_SC06_029 1463 1463 0 1475 2665 55.3%
ov_SC06_030 1463 1463 0 1463 2459 59.5%
ov_SC06_032 1463 1463 0 1470 2661 55.2%
ov_SC06_033 1463 1463 0 1470 2634 55.8%
ov_SC07_000 1467 1467 0 1469 2522 58.2%
ov_SC07_001 1463 1463 0 1465 2457 59.6%
ov_SC07_002 1463 1463 0 1467 2582 56.8%
ov_SC07_008 1463 1463 0 1463 2388 61.3%
ov_SC07_009 1463 1463 0 1465 2432 60.2%