Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 9991e4d6be feat(phase-20): T6 batch-1 — harvest wave 41/48 match_one, 8 banked (7 x134), fleet 58.35->58.63%
- Ultracode wave on 48 cached reach-134 <=90-ins targets: 41/48 match_one MATCH (85%)
- whole-binary byte-gate: 8/41 banked (canon 3 + sig_unify 5); 7 propagated x134 + 1 local;
  dedup 1494->1501, check-all 136/136, +0.28%
- FINDING (R14/P9): match_one->gate gap ~80% this batch = EXTERN-CODEGEN-COUPLING (a callee's
  declared sig changes the call codegen; match_one uses the draft externs, the gate uses the
  overlay decls). The 33 lost are byte-correct vs the wrong externs -> need a callee-extern-
  canonicalize pass (NOT sig_unify, which rewrites the def-sig and regresses byte-correct drafts)
- the 7 DIFFs = gcc-class diagnoses: T3c store-vs-load (8014F2E0/80150528) CONFIRMED unsteerable
  (sched.c); SS10 hoist-vs-remat (80149374/801493D0); IV-combine (80177AD4); hoisted-invariant
  order (80177F84); 80161A90 = -O1 (build-infra)
2026-06-21 00:57:04 -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 : 200030 (of which dedup-shared 199536 via 1501 groups / 199580 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 201677 / 344010 = 58.63% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 142326 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 1493 1493 0 1493 2403 62.1%
ov_SC01_001 1493 1493 0 1495 2467 60.6%
ov_SC01_004 1485 1485 0 1486 2416 61.5%
ov_SC01_005 1492 1492 0 1499 2504 59.9%
ov_SC01_006 1492 1492 0 1499 2504 59.9%
ov_SC01_008 1485 1485 0 1487 2428 61.2%
ov_SC01_009 1485 1485 0 1486 2510 59.2%
ov_SC01_074 1485 1485 0 1487 2427 61.3%
ov_SC01_077 1772 1453 0 1774 2586 68.6%
ov_SC01_080 1489 1489 0 1489 2515 59.2%
ov_SC01_084 1489 1489 0 1494 2581 57.9%
ov_SC02_000 1493 1493 0 1500 2684 55.9%
ov_SC02_003 1493 1493 0 1500 2684 55.9%
ov_SC02_004 1489 1489 0 1489 2403 62.0%
ov_SC02_005 1485 1485 0 1495 2930 51.0%
ov_SC02_011 1491 1491 0 1503 2896 51.9%
ov_SC02_015 1491 1491 0 1491 2416 61.7%
ov_SC02_016 1491 1491 0 1494 2548 58.6%
ov_SC02_017 1491 1491 0 1499 2735 54.8%
ov_SC02_021 1491 1491 0 1491 2439 61.1%
ov_SC02_026 1489 1489 0 1495 2575 58.1%
ov_SC02_027 1489 1489 0 1498 2695 55.6%
ov_SC02_028 1489 1489 0 1499 2704 55.4%
ov_SC02_031 1489 1489 0 1495 2565 58.3%
ov_SC02_035 1489 1489 0 1492 2523 59.1%
ov_SC02_039 1489 1489 0 1489 2418 61.6%
ov_SC02_041 1489 1489 0 1492 2563 58.2%
ov_SC03_001 1489 1489 0 1507 2870 52.5%
ov_SC03_002 1493 1493 0 1509 2632 57.3%
ov_SC03_003 1489 1489 0 1490 2425 61.4%
ov_SC03_006 1495 1495 0 1504 2768 54.3%
ov_SC03_007 1489 1489 0 1493 2626 56.9%
ov_SC03_010 1489 1489 0 1489 2472 60.2%
ov_SC03_011 1489 1489 0 1495 2530 59.1%
ov_SC03_012 1489 1489 0 1490 2408 61.9%
ov_SC03_013 1489 1489 0 1489 2495 59.7%
ov_SC03_014 1489 1489 0 1499 2688 55.8%
ov_SC03_015 1489 1489 0 1499 2688 55.8%
ov_SC03_023 1489 1489 0 1490 2437 61.1%
ov_SC03_024 1489 1489 0 1501 2644 56.8%
ov_SC03_028 1489 1489 0 1493 2667 56.0%
ov_SC03_029 1491 1491 0 1501 2647 56.7%
ov_SC03_030 1493 1493 0 1495 2498 59.8%
ov_SC03_031 1489 1489 0 1493 2517 59.3%
ov_SC03_089 1489 1489 0 1496 2584 57.9%
ov_SC03_090 1489 1489 0 1497 2628 57.0%
ov_SC03_091 1489 1489 0 1497 2643 56.6%
ov_SC03_092 1489 1489 0 1501 2590 58.0%
ov_SC03_093 1489 1489 0 1493 2566 58.2%
ov_SC03_094 1489 1489 0 1495 2579 58.0%
ov_SC03_095 1489 1489 0 1492 2477 60.2%
ov_SC03_096 1489 1489 0 1492 2468 60.5%
ov_SC03_097 1489 1489 0 1496 2606 57.4%
ov_SC03_098 1489 1489 0 1492 2544 58.6%
ov_SC03_099 1489 1489 0 1492 2507 59.5%
ov_SC03_100 1489 1489 0 1493 2542 58.7%
ov_SC03_101 1489 1489 0 1493 2531 59.0%
ov_SC03_102 1489 1489 0 1492 2495 59.8%
ov_SC03_103 1491 1491 0 1494 2513 59.5%
ov_SC03_104 1489 1489 0 1496 2619 57.1%
ov_SC03_105 1489 1489 0 1496 2600 57.5%
ov_SC03_108 1489 1489 0 1489 2446 60.9%
ov_SC03_109 1489 1489 0 1491 2426 61.5%
ov_SC03_110 1489 1489 0 1489 2471 60.3%
ov_SC03_111 1489 1489 0 1492 2513 59.4%
ov_SC03_112 1491 1491 0 1493 2529 59.0%
ov_SC03_113 1491 1491 0 1494 2471 60.5%
ov_SC03_114 1489 1489 0 1491 2417 61.7%
ov_SC03_115 1489 1489 0 1491 2475 60.2%
ov_SC03_116 1489 1489 0 1492 2441 61.1%
ov_SC03_117 1489 1489 0 1495 2560 58.4%
ov_SC03_118 1489 1489 0 1502 2688 55.9%
ov_SC03_119 1489 1489 0 1502 2688 55.9%
ov_SC03_121 1489 1489 0 1492 2462 60.6%
ov_SC03_124 1485 1485 0 1505 2744 54.8%
ov_SC03_125 1489 1489 0 1501 2591 57.9%
ov_SC03_126 1489 1489 0 1490 2425 61.4%
ov_SC04_000 1493 1493 0 1502 2547 59.0%
ov_SC04_002 1489 1489 0 1493 2639 56.6%
ov_SC04_003 1489 1489 0 1493 2505 59.6%
ov_SC04_004 1489 1489 0 1491 2561 58.2%
ov_SC04_005 1489 1489 0 1495 2615 57.2%
ov_SC04_006 1489 1489 0 1491 2456 60.7%
ov_SC04_007 1489 1489 0 1493 2572 58.0%
ov_SC04_008 1489 1489 0 1489 2417 61.6%
ov_SC04_009 1489 1489 0 1492 2443 61.1%
ov_SC04_010 1489 1489 0 1490 2421 61.5%
ov_SC04_011 1489 1489 0 1495 2806 53.3%
ov_SC04_012 1489 1489 0 1490 2422 61.5%
ov_SC04_015 1489 1489 0 1501 2614 57.4%
ov_SC04_016 1489 1489 0 1491 2442 61.1%
ov_SC04_018 1489 1489 0 1502 2858 52.6%
ov_SC04_019 1489 1489 0 1502 2858 52.6%
ov_SC04_020 1489 1489 0 1501 2570 58.4%
ov_SC04_021 1489 1489 0 1490 2425 61.4%
ov_SC05_000 1493 1493 0 1496 2422 61.8%
ov_SC05_001 1489 1489 0 1494 2577 58.0%
ov_SC05_002 1489 1489 0 1492 2445 61.0%
ov_SC05_003 1489 1489 0 1490 2484 60.0%
ov_SC05_004 1489 1489 0 1491 2467 60.4%
ov_SC05_005 1489 1489 0 1490 2494 59.7%
ov_SC05_006 1489 1489 0 1489 2432 61.2%
ov_SC05_007 1489 1489 0 1494 2485 60.1%
ov_SC05_008 1489 1489 0 1491 2546 58.6%
ov_SC05_009 1489 1489 0 1493 2440 61.2%
ov_SC05_010 1489 1489 0 1493 2591 57.6%
ov_SC05_011 1489 1489 0 1490 2411 61.8%
ov_SC05_017 1485 1485 0 1497 2845 52.6%
ov_SC05_018 1489 1489 0 1502 2676 56.1%
ov_SC05_019 1489 1489 0 1490 2425 61.4%
ov_SC06_000 1493 1493 0 1501 2692 55.8%
ov_SC06_006 1489 1489 0 1490 2514 59.3%
ov_SC06_008 1491 1491 0 1497 2544 58.8%
ov_SC06_010 1489 1489 0 1494 2520 59.3%
ov_SC06_011 1489 1489 0 1493 2471 60.4%
ov_SC06_013 1489 1489 0 1490 2427 61.4%
ov_SC06_014 1489 1489 0 1491 2455 60.7%
ov_SC06_015 1489 1489 0 1489 2423 61.5%
ov_SC06_016 1489 1489 0 1491 2552 58.4%
ov_SC06_018 1489 1489 0 1497 2668 56.1%
ov_SC06_020 1489 1489 0 1490 2521 59.1%
ov_SC06_022 1489 1489 0 1497 2645 56.6%
ov_SC06_024 1489 1489 0 1495 2670 56.0%
ov_SC06_025 1489 1489 0 1494 2575 58.0%
ov_SC06_027 1489 1489 0 1490 2410 61.8%
ov_SC06_029 1489 1489 0 1501 2665 56.3%
ov_SC06_030 1489 1489 0 1489 2459 60.6%
ov_SC06_032 1489 1489 0 1496 2661 56.2%
ov_SC06_033 1489 1489 0 1496 2634 56.8%
ov_SC07_000 1493 1493 0 1495 2522 59.3%
ov_SC07_001 1489 1489 0 1491 2457 60.7%
ov_SC07_002 1489 1489 0 1493 2582 57.8%
ov_SC07_008 1489 1489 0 1489 2388 62.4%
ov_SC07_009 1489 1489 0 1491 2432 61.3%