Files
BFM-decomp/docs/progress.fleet.md
T
Drew T c43b6d0830 feat(phase-19): T3 struct-lift + propagation top-up — fleet 57.93%->58.00%
- build_engine_types.py --strip: lifted 48 named types -> src/shared/engine_types.h
  (byte-neutral, ov_SC01_077 d19c9580); unblocked +4 struct-using matches -> propagated ×134
  (incl. func_80147514, a T2 match freed by the lift)
- check-all 136/136 BYTE-IDENTICAL (R22); fleet 57.93% -> 58.00%; phase total 56.64% -> 58.00%
- KEY FINDING: propagation (not matching) now caps the fleet-% yield — ~16 banked matches stay
  ov_SC01_077-local because their bodies use typedef'd/anonymous/sibling local types that the
  named-struct-only build_engine_types can't lift (dedup_propagate compiles_standalone rejects).
  Phase-20 lever: extend the type-lift to typedefs -> recovers those ×134 for ~0 agent tokens
2026-06-20 19:57:34 -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 : 197894 (of which dedup-shared 197392 via 1485 groups / 197436 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 199541 / 344010 = 58.00% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 144462 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 1477 1477 0 1477 2403 61.5%
ov_SC01_001 1477 1477 0 1479 2467 60.0%
ov_SC01_004 1469 1469 0 1470 2416 60.8%
ov_SC01_005 1476 1476 0 1483 2504 59.2%
ov_SC01_006 1476 1476 0 1483 2504 59.2%
ov_SC01_008 1469 1469 0 1471 2428 60.6%
ov_SC01_009 1469 1469 0 1470 2510 58.6%
ov_SC01_074 1469 1469 0 1471 2427 60.6%
ov_SC01_077 1764 1437 0 1766 2586 68.3%
ov_SC01_080 1473 1473 0 1473 2515 58.6%
ov_SC01_084 1473 1473 0 1478 2581 57.3%
ov_SC02_000 1477 1477 0 1484 2684 55.3%
ov_SC02_003 1477 1477 0 1484 2684 55.3%
ov_SC02_004 1473 1473 0 1473 2403 61.3%
ov_SC02_005 1469 1469 0 1479 2930 50.5%
ov_SC02_011 1475 1475 0 1487 2896 51.3%
ov_SC02_015 1475 1475 0 1475 2416 61.1%
ov_SC02_016 1475 1475 0 1478 2548 58.0%
ov_SC02_017 1475 1475 0 1483 2735 54.2%
ov_SC02_021 1475 1475 0 1475 2439 60.5%
ov_SC02_026 1473 1473 0 1479 2575 57.4%
ov_SC02_027 1473 1473 0 1482 2695 55.0%
ov_SC02_028 1473 1473 0 1483 2704 54.8%
ov_SC02_031 1473 1473 0 1479 2565 57.7%
ov_SC02_035 1473 1473 0 1476 2523 58.5%
ov_SC02_039 1473 1473 0 1473 2418 60.9%
ov_SC02_041 1473 1473 0 1476 2563 57.6%
ov_SC03_001 1473 1473 0 1491 2870 52.0%
ov_SC03_002 1477 1477 0 1493 2632 56.7%
ov_SC03_003 1473 1473 0 1474 2425 60.8%
ov_SC03_006 1479 1479 0 1488 2768 53.8%
ov_SC03_007 1473 1473 0 1477 2626 56.2%
ov_SC03_010 1473 1473 0 1473 2472 59.6%
ov_SC03_011 1473 1473 0 1479 2530 58.5%
ov_SC03_012 1473 1473 0 1474 2408 61.2%
ov_SC03_013 1473 1473 0 1473 2495 59.0%
ov_SC03_014 1473 1473 0 1483 2688 55.2%
ov_SC03_015 1473 1473 0 1483 2688 55.2%
ov_SC03_023 1473 1473 0 1474 2437 60.5%
ov_SC03_024 1473 1473 0 1485 2644 56.2%
ov_SC03_028 1473 1473 0 1477 2667 55.4%
ov_SC03_029 1475 1475 0 1485 2647 56.1%
ov_SC03_030 1477 1477 0 1479 2498 59.2%
ov_SC03_031 1473 1473 0 1477 2517 58.7%
ov_SC03_089 1473 1473 0 1480 2584 57.3%
ov_SC03_090 1473 1473 0 1481 2628 56.4%
ov_SC03_091 1473 1473 0 1481 2643 56.0%
ov_SC03_092 1473 1473 0 1485 2590 57.3%
ov_SC03_093 1473 1473 0 1477 2566 57.6%
ov_SC03_094 1473 1473 0 1479 2579 57.3%
ov_SC03_095 1473 1473 0 1476 2477 59.6%
ov_SC03_096 1473 1473 0 1476 2468 59.8%
ov_SC03_097 1473 1473 0 1480 2606 56.8%
ov_SC03_098 1473 1473 0 1476 2544 58.0%
ov_SC03_099 1473 1473 0 1476 2507 58.9%
ov_SC03_100 1473 1473 0 1477 2542 58.1%
ov_SC03_101 1473 1473 0 1477 2531 58.4%
ov_SC03_102 1473 1473 0 1476 2495 59.2%
ov_SC03_103 1475 1475 0 1478 2513 58.8%
ov_SC03_104 1473 1473 0 1480 2619 56.5%
ov_SC03_105 1473 1473 0 1480 2600 56.9%
ov_SC03_108 1473 1473 0 1473 2446 60.2%
ov_SC03_109 1473 1473 0 1475 2426 60.8%
ov_SC03_110 1473 1473 0 1473 2471 59.6%
ov_SC03_111 1473 1473 0 1476 2513 58.7%
ov_SC03_112 1475 1475 0 1477 2529 58.4%
ov_SC03_113 1475 1475 0 1478 2471 59.8%
ov_SC03_114 1473 1473 0 1475 2417 61.0%
ov_SC03_115 1473 1473 0 1475 2475 59.6%
ov_SC03_116 1473 1473 0 1476 2441 60.5%
ov_SC03_117 1473 1473 0 1479 2560 57.8%
ov_SC03_118 1473 1473 0 1486 2688 55.3%
ov_SC03_119 1473 1473 0 1486 2688 55.3%
ov_SC03_121 1473 1473 0 1476 2462 60.0%
ov_SC03_124 1469 1469 0 1489 2744 54.3%
ov_SC03_125 1473 1473 0 1485 2591 57.3%
ov_SC03_126 1473 1473 0 1474 2425 60.8%
ov_SC04_000 1477 1477 0 1486 2547 58.3%
ov_SC04_002 1473 1473 0 1477 2639 56.0%
ov_SC04_003 1473 1473 0 1477 2505 59.0%
ov_SC04_004 1473 1473 0 1475 2561 57.6%
ov_SC04_005 1473 1473 0 1479 2615 56.6%
ov_SC04_006 1473 1473 0 1475 2456 60.1%
ov_SC04_007 1473 1473 0 1477 2572 57.4%
ov_SC04_008 1473 1473 0 1473 2417 60.9%
ov_SC04_009 1473 1473 0 1476 2443 60.4%
ov_SC04_010 1473 1473 0 1474 2421 60.9%
ov_SC04_011 1473 1473 0 1479 2806 52.7%
ov_SC04_012 1473 1473 0 1474 2422 60.9%
ov_SC04_015 1473 1473 0 1485 2614 56.8%
ov_SC04_016 1473 1473 0 1475 2442 60.4%
ov_SC04_018 1473 1473 0 1486 2858 52.0%
ov_SC04_019 1473 1473 0 1486 2858 52.0%
ov_SC04_020 1473 1473 0 1485 2570 57.8%
ov_SC04_021 1473 1473 0 1474 2425 60.8%
ov_SC05_000 1477 1477 0 1480 2422 61.1%
ov_SC05_001 1473 1473 0 1478 2577 57.4%
ov_SC05_002 1473 1473 0 1476 2445 60.4%
ov_SC05_003 1473 1473 0 1474 2484 59.3%
ov_SC05_004 1473 1473 0 1475 2467 59.8%
ov_SC05_005 1473 1473 0 1474 2494 59.1%
ov_SC05_006 1473 1473 0 1473 2432 60.6%
ov_SC05_007 1473 1473 0 1478 2485 59.5%
ov_SC05_008 1473 1473 0 1475 2546 57.9%
ov_SC05_009 1473 1473 0 1477 2440 60.5%
ov_SC05_010 1473 1473 0 1477 2591 57.0%
ov_SC05_011 1473 1473 0 1474 2411 61.1%
ov_SC05_017 1469 1469 0 1481 2845 52.1%
ov_SC05_018 1473 1473 0 1486 2676 55.5%
ov_SC05_019 1473 1473 0 1474 2425 60.8%
ov_SC06_000 1477 1477 0 1485 2692 55.2%
ov_SC06_006 1473 1473 0 1474 2514 58.6%
ov_SC06_008 1475 1475 0 1481 2544 58.2%
ov_SC06_010 1473 1473 0 1478 2520 58.7%
ov_SC06_011 1473 1473 0 1477 2471 59.8%
ov_SC06_013 1473 1473 0 1474 2427 60.7%
ov_SC06_014 1473 1473 0 1475 2455 60.1%
ov_SC06_015 1473 1473 0 1473 2423 60.8%
ov_SC06_016 1473 1473 0 1475 2552 57.8%
ov_SC06_018 1473 1473 0 1481 2668 55.5%
ov_SC06_020 1473 1473 0 1474 2521 58.5%
ov_SC06_022 1473 1473 0 1481 2645 56.0%
ov_SC06_024 1473 1473 0 1479 2670 55.4%
ov_SC06_025 1473 1473 0 1478 2575 57.4%
ov_SC06_027 1473 1473 0 1474 2410 61.2%
ov_SC06_029 1473 1473 0 1485 2665 55.7%
ov_SC06_030 1473 1473 0 1473 2459 59.9%
ov_SC06_032 1473 1473 0 1480 2661 55.6%
ov_SC06_033 1473 1473 0 1480 2634 56.2%
ov_SC07_000 1477 1477 0 1479 2522 58.6%
ov_SC07_001 1473 1473 0 1475 2457 60.0%
ov_SC07_002 1473 1473 0 1477 2582 57.2%
ov_SC07_008 1473 1473 0 1473 2388 61.7%
ov_SC07_009 1473 1473 0 1475 2432 60.6%