Files
BFM-decomp/docs/progress.fleet.md
T
Drew T b5a1fe6dab feat(phase-22): T2 — giant func_80156B74 banked ×134 via engine_types.h type-lift (fleet 63.22%->63.25%)
- struct-walled close=0 giant (cookbook §28 case #3) is bankable: lift the S8/B8
  typedefs from ov_SC01_077.c's prelude to src/shared/engine_types.h (shared via
  engine_core.h; byte-neutral), recover_giant block-scopes externs, whole-binary
  harvest_verify MATCH, dedup_propagate ×134 (214 ins, +28676 ins byte-weighted)
- cookbook §28b: the type-lift recipe + the serialize-make-jobs gotcha (concurrent
  make corrupted an .o and dropped the registry write; re-ran dedup_propagate idempotent)
- make check-all 136/136 byte-identical (R22); dedup 1617->1618 validated/0 failed;
  0 NON_MATCHING (G4)
2026-06-26 03:45:35 -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 : 215953 (of which dedup-shared 215214 via 1618 groups / 215258 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 217600 / 344010 = 63.25% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 126403 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 1610 1610 0 1610 2403 67.0%
ov_SC01_001 1610 1610 0 1612 2467 65.3%
ov_SC01_004 1602 1602 0 1603 2416 66.3%
ov_SC01_005 1609 1609 0 1616 2504 64.5%
ov_SC01_006 1609 1609 0 1616 2504 64.5%
ov_SC01_008 1602 1602 0 1604 2428 66.1%
ov_SC01_009 1602 1602 0 1603 2510 63.9%
ov_SC01_074 1602 1602 0 1604 2427 66.1%
ov_SC01_077 2134 1570 0 2136 2586 82.6%
ov_SC01_080 1606 1606 0 1606 2515 63.9%
ov_SC01_084 1606 1606 0 1611 2581 62.4%
ov_SC02_000 1610 1610 0 1617 2684 60.2%
ov_SC02_003 1610 1610 0 1617 2684 60.2%
ov_SC02_004 1606 1606 0 1606 2403 66.8%
ov_SC02_005 1602 1602 0 1612 2930 55.0%
ov_SC02_011 1608 1608 0 1620 2896 55.9%
ov_SC02_015 1608 1608 0 1608 2416 66.6%
ov_SC02_016 1608 1608 0 1611 2548 63.2%
ov_SC02_017 1608 1608 0 1616 2735 59.1%
ov_SC02_021 1608 1608 0 1608 2439 65.9%
ov_SC02_026 1606 1606 0 1612 2575 62.6%
ov_SC02_027 1606 1606 0 1615 2695 59.9%
ov_SC02_028 1606 1606 0 1616 2704 59.8%
ov_SC02_031 1606 1606 0 1612 2565 62.8%
ov_SC02_035 1606 1606 0 1609 2523 63.8%
ov_SC02_039 1606 1606 0 1606 2418 66.4%
ov_SC02_041 1606 1606 0 1609 2563 62.8%
ov_SC03_001 1606 1606 0 1624 2870 56.6%
ov_SC03_002 1610 1610 0 1626 2632 61.8%
ov_SC03_003 1606 1606 0 1607 2425 66.3%
ov_SC03_006 1612 1612 0 1621 2768 58.6%
ov_SC03_007 1606 1606 0 1610 2626 61.3%
ov_SC03_010 1606 1606 0 1606 2472 65.0%
ov_SC03_011 1606 1606 0 1612 2530 63.7%
ov_SC03_012 1606 1606 0 1607 2408 66.7%
ov_SC03_013 1606 1606 0 1606 2495 64.4%
ov_SC03_014 1606 1606 0 1616 2688 60.1%
ov_SC03_015 1606 1606 0 1616 2688 60.1%
ov_SC03_023 1606 1606 0 1607 2437 65.9%
ov_SC03_024 1606 1606 0 1618 2644 61.2%
ov_SC03_028 1606 1606 0 1610 2667 60.4%
ov_SC03_029 1608 1608 0 1618 2647 61.1%
ov_SC03_030 1610 1610 0 1612 2498 64.5%
ov_SC03_031 1606 1606 0 1610 2517 64.0%
ov_SC03_089 1606 1606 0 1613 2584 62.4%
ov_SC03_090 1606 1606 0 1614 2628 61.4%
ov_SC03_091 1606 1606 0 1614 2643 61.1%
ov_SC03_092 1606 1606 0 1618 2590 62.5%
ov_SC03_093 1606 1606 0 1610 2566 62.7%
ov_SC03_094 1606 1606 0 1612 2579 62.5%
ov_SC03_095 1606 1606 0 1609 2477 65.0%
ov_SC03_096 1606 1606 0 1609 2468 65.2%
ov_SC03_097 1606 1606 0 1613 2606 61.9%
ov_SC03_098 1606 1606 0 1609 2544 63.2%
ov_SC03_099 1606 1606 0 1609 2507 64.2%
ov_SC03_100 1606 1606 0 1610 2542 63.3%
ov_SC03_101 1606 1606 0 1610 2531 63.6%
ov_SC03_102 1606 1606 0 1609 2495 64.5%
ov_SC03_103 1608 1608 0 1611 2513 64.1%
ov_SC03_104 1606 1606 0 1613 2619 61.6%
ov_SC03_105 1606 1606 0 1613 2600 62.0%
ov_SC03_108 1606 1606 0 1606 2446 65.7%
ov_SC03_109 1606 1606 0 1608 2426 66.3%
ov_SC03_110 1606 1606 0 1606 2471 65.0%
ov_SC03_111 1606 1606 0 1609 2513 64.0%
ov_SC03_112 1608 1608 0 1610 2529 63.7%
ov_SC03_113 1608 1608 0 1611 2471 65.2%
ov_SC03_114 1606 1606 0 1608 2417 66.5%
ov_SC03_115 1606 1606 0 1608 2475 65.0%
ov_SC03_116 1606 1606 0 1609 2441 65.9%
ov_SC03_117 1606 1606 0 1612 2560 63.0%
ov_SC03_118 1606 1606 0 1619 2688 60.2%
ov_SC03_119 1606 1606 0 1619 2688 60.2%
ov_SC03_121 1606 1606 0 1609 2462 65.4%
ov_SC03_124 1602 1602 0 1622 2744 59.1%
ov_SC03_125 1606 1606 0 1618 2591 62.4%
ov_SC03_126 1606 1606 0 1607 2425 66.3%
ov_SC04_000 1610 1610 0 1619 2547 63.6%
ov_SC04_002 1606 1606 0 1610 2639 61.0%
ov_SC04_003 1606 1606 0 1610 2505 64.3%
ov_SC04_004 1606 1606 0 1608 2561 62.8%
ov_SC04_005 1606 1606 0 1612 2615 61.6%
ov_SC04_006 1606 1606 0 1608 2456 65.5%
ov_SC04_007 1606 1606 0 1610 2572 62.6%
ov_SC04_008 1606 1606 0 1606 2417 66.4%
ov_SC04_009 1606 1606 0 1609 2443 65.9%
ov_SC04_010 1606 1606 0 1607 2421 66.4%
ov_SC04_011 1606 1606 0 1612 2806 57.4%
ov_SC04_012 1606 1606 0 1607 2422 66.4%
ov_SC04_015 1606 1606 0 1618 2614 61.9%
ov_SC04_016 1606 1606 0 1608 2442 65.8%
ov_SC04_018 1606 1606 0 1619 2858 56.6%
ov_SC04_019 1606 1606 0 1619 2858 56.6%
ov_SC04_020 1606 1606 0 1618 2570 63.0%
ov_SC04_021 1606 1606 0 1607 2425 66.3%
ov_SC05_000 1610 1610 0 1613 2422 66.6%
ov_SC05_001 1606 1606 0 1611 2577 62.5%
ov_SC05_002 1606 1606 0 1609 2445 65.8%
ov_SC05_003 1606 1606 0 1607 2484 64.7%
ov_SC05_004 1606 1606 0 1608 2467 65.2%
ov_SC05_005 1606 1606 0 1607 2494 64.4%
ov_SC05_006 1606 1606 0 1606 2432 66.0%
ov_SC05_007 1606 1606 0 1611 2485 64.8%
ov_SC05_008 1606 1606 0 1608 2546 63.2%
ov_SC05_009 1606 1606 0 1610 2440 66.0%
ov_SC05_010 1606 1606 0 1610 2591 62.1%
ov_SC05_011 1606 1606 0 1607 2411 66.7%
ov_SC05_017 1602 1602 0 1614 2845 56.7%
ov_SC05_018 1606 1606 0 1619 2676 60.5%
ov_SC05_019 1606 1606 0 1607 2425 66.3%
ov_SC06_000 1610 1610 0 1618 2692 60.1%
ov_SC06_006 1606 1606 0 1607 2514 63.9%
ov_SC06_008 1608 1608 0 1614 2544 63.4%
ov_SC06_010 1606 1606 0 1611 2520 63.9%
ov_SC06_011 1606 1606 0 1610 2471 65.2%
ov_SC06_013 1606 1606 0 1607 2427 66.2%
ov_SC06_014 1606 1606 0 1608 2455 65.5%
ov_SC06_015 1606 1606 0 1606 2423 66.3%
ov_SC06_016 1606 1606 0 1608 2552 63.0%
ov_SC06_018 1606 1606 0 1614 2668 60.5%
ov_SC06_020 1606 1606 0 1607 2521 63.7%
ov_SC06_022 1606 1606 0 1614 2645 61.0%
ov_SC06_024 1606 1606 0 1612 2670 60.4%
ov_SC06_025 1606 1606 0 1611 2575 62.6%
ov_SC06_027 1606 1606 0 1607 2410 66.7%
ov_SC06_029 1606 1606 0 1618 2665 60.7%
ov_SC06_030 1606 1606 0 1606 2459 65.3%
ov_SC06_032 1606 1606 0 1613 2661 60.6%
ov_SC06_033 1606 1606 0 1613 2634 61.2%
ov_SC07_000 1610 1610 0 1612 2522 63.9%
ov_SC07_001 1606 1606 0 1608 2457 65.4%
ov_SC07_002 1606 1606 0 1610 2582 62.4%
ov_SC07_008 1606 1606 0 1606 2388 67.3%
ov_SC07_009 1606 1606 0 1608 2432 66.1%