Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 72a5da614b docs(phase-21): giants are near-misses not plumbing-blocked (R14) — func_80153E00 cracked via scalar-data-cast
- COOKBOOK §23: the giants compile+link clean; match_one over-predicts (standalone + masks relocs);
  diagnose each via .run/diag_funcdiff.py (linked-ELF per-fn objdump diff). func_80153E00 was 1/195 off.
- the scalar-data-signedness CAST *(u16*)&D_8011DB0C (data analog of cast_call_sites): keep canonical
  extern s16, cast the read -> gcc folds to lhu, no decl conflict, survives sig_unify. Refutes §20
  'data-cast moot' (which only checked struct/union, not scalar signedness).
- CURRENT_PHASE handoff updated; func_80153E00 banked x134 (fleet 62.27->62.31%, commit commit:0260).
2026-06-23 19:39:18 -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 : 212711 (of which dedup-shared 211998 via 1594 groups / 212042 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 214358 / 344010 = 62.31% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 129645 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 1586 1586 0 1586 2403 66.0%
ov_SC01_001 1586 1586 0 1588 2467 64.4%
ov_SC01_004 1578 1578 0 1579 2416 65.4%
ov_SC01_005 1585 1585 0 1592 2504 63.6%
ov_SC01_006 1585 1585 0 1592 2504 63.6%
ov_SC01_008 1578 1578 0 1580 2428 65.1%
ov_SC01_009 1578 1578 0 1579 2510 62.9%
ov_SC01_074 1578 1578 0 1580 2427 65.1%
ov_SC01_077 2084 1546 0 2086 2586 80.7%
ov_SC01_080 1582 1582 0 1582 2515 62.9%
ov_SC01_084 1582 1582 0 1587 2581 61.5%
ov_SC02_000 1586 1586 0 1593 2684 59.4%
ov_SC02_003 1586 1586 0 1593 2684 59.4%
ov_SC02_004 1582 1582 0 1582 2403 65.8%
ov_SC02_005 1578 1578 0 1588 2930 54.2%
ov_SC02_011 1584 1584 0 1596 2896 55.1%
ov_SC02_015 1584 1584 0 1584 2416 65.6%
ov_SC02_016 1584 1584 0 1587 2548 62.3%
ov_SC02_017 1584 1584 0 1592 2735 58.2%
ov_SC02_021 1584 1584 0 1584 2439 64.9%
ov_SC02_026 1582 1582 0 1588 2575 61.7%
ov_SC02_027 1582 1582 0 1591 2695 59.0%
ov_SC02_028 1582 1582 0 1592 2704 58.9%
ov_SC02_031 1582 1582 0 1588 2565 61.9%
ov_SC02_035 1582 1582 0 1585 2523 62.8%
ov_SC02_039 1582 1582 0 1582 2418 65.4%
ov_SC02_041 1582 1582 0 1585 2563 61.8%
ov_SC03_001 1582 1582 0 1600 2870 55.7%
ov_SC03_002 1586 1586 0 1602 2632 60.9%
ov_SC03_003 1582 1582 0 1583 2425 65.3%
ov_SC03_006 1588 1588 0 1597 2768 57.7%
ov_SC03_007 1582 1582 0 1586 2626 60.4%
ov_SC03_010 1582 1582 0 1582 2472 64.0%
ov_SC03_011 1582 1582 0 1588 2530 62.8%
ov_SC03_012 1582 1582 0 1583 2408 65.7%
ov_SC03_013 1582 1582 0 1582 2495 63.4%
ov_SC03_014 1582 1582 0 1592 2688 59.2%
ov_SC03_015 1582 1582 0 1592 2688 59.2%
ov_SC03_023 1582 1582 0 1583 2437 65.0%
ov_SC03_024 1582 1582 0 1594 2644 60.3%
ov_SC03_028 1582 1582 0 1586 2667 59.5%
ov_SC03_029 1584 1584 0 1594 2647 60.2%
ov_SC03_030 1586 1586 0 1588 2498 63.6%
ov_SC03_031 1582 1582 0 1586 2517 63.0%
ov_SC03_089 1582 1582 0 1589 2584 61.5%
ov_SC03_090 1582 1582 0 1590 2628 60.5%
ov_SC03_091 1582 1582 0 1590 2643 60.2%
ov_SC03_092 1582 1582 0 1594 2590 61.5%
ov_SC03_093 1582 1582 0 1586 2566 61.8%
ov_SC03_094 1582 1582 0 1588 2579 61.6%
ov_SC03_095 1582 1582 0 1585 2477 64.0%
ov_SC03_096 1582 1582 0 1585 2468 64.2%
ov_SC03_097 1582 1582 0 1589 2606 61.0%
ov_SC03_098 1582 1582 0 1585 2544 62.3%
ov_SC03_099 1582 1582 0 1585 2507 63.2%
ov_SC03_100 1582 1582 0 1586 2542 62.4%
ov_SC03_101 1582 1582 0 1586 2531 62.7%
ov_SC03_102 1582 1582 0 1585 2495 63.5%
ov_SC03_103 1584 1584 0 1587 2513 63.2%
ov_SC03_104 1582 1582 0 1589 2619 60.7%
ov_SC03_105 1582 1582 0 1589 2600 61.1%
ov_SC03_108 1582 1582 0 1582 2446 64.7%
ov_SC03_109 1582 1582 0 1584 2426 65.3%
ov_SC03_110 1582 1582 0 1582 2471 64.0%
ov_SC03_111 1582 1582 0 1585 2513 63.1%
ov_SC03_112 1584 1584 0 1586 2529 62.7%
ov_SC03_113 1584 1584 0 1587 2471 64.2%
ov_SC03_114 1582 1582 0 1584 2417 65.5%
ov_SC03_115 1582 1582 0 1584 2475 64.0%
ov_SC03_116 1582 1582 0 1585 2441 64.9%
ov_SC03_117 1582 1582 0 1588 2560 62.0%
ov_SC03_118 1582 1582 0 1595 2688 59.3%
ov_SC03_119 1582 1582 0 1595 2688 59.3%
ov_SC03_121 1582 1582 0 1585 2462 64.4%
ov_SC03_124 1578 1578 0 1598 2744 58.2%
ov_SC03_125 1582 1582 0 1594 2591 61.5%
ov_SC03_126 1582 1582 0 1583 2425 65.3%
ov_SC04_000 1586 1586 0 1595 2547 62.6%
ov_SC04_002 1582 1582 0 1586 2639 60.1%
ov_SC04_003 1582 1582 0 1586 2505 63.3%
ov_SC04_004 1582 1582 0 1584 2561 61.9%
ov_SC04_005 1582 1582 0 1588 2615 60.7%
ov_SC04_006 1582 1582 0 1584 2456 64.5%
ov_SC04_007 1582 1582 0 1586 2572 61.7%
ov_SC04_008 1582 1582 0 1582 2417 65.5%
ov_SC04_009 1582 1582 0 1585 2443 64.9%
ov_SC04_010 1582 1582 0 1583 2421 65.4%
ov_SC04_011 1582 1582 0 1588 2806 56.6%
ov_SC04_012 1582 1582 0 1583 2422 65.4%
ov_SC04_015 1582 1582 0 1594 2614 61.0%
ov_SC04_016 1582 1582 0 1584 2442 64.9%
ov_SC04_018 1582 1582 0 1595 2858 55.8%
ov_SC04_019 1582 1582 0 1595 2858 55.8%
ov_SC04_020 1582 1582 0 1594 2570 62.0%
ov_SC04_021 1582 1582 0 1583 2425 65.3%
ov_SC05_000 1586 1586 0 1589 2422 65.6%
ov_SC05_001 1582 1582 0 1587 2577 61.6%
ov_SC05_002 1582 1582 0 1585 2445 64.8%
ov_SC05_003 1582 1582 0 1583 2484 63.7%
ov_SC05_004 1582 1582 0 1584 2467 64.2%
ov_SC05_005 1582 1582 0 1583 2494 63.5%
ov_SC05_006 1582 1582 0 1582 2432 65.0%
ov_SC05_007 1582 1582 0 1587 2485 63.9%
ov_SC05_008 1582 1582 0 1584 2546 62.2%
ov_SC05_009 1582 1582 0 1586 2440 65.0%
ov_SC05_010 1582 1582 0 1586 2591 61.2%
ov_SC05_011 1582 1582 0 1583 2411 65.7%
ov_SC05_017 1578 1578 0 1590 2845 55.9%
ov_SC05_018 1582 1582 0 1595 2676 59.6%
ov_SC05_019 1582 1582 0 1583 2425 65.3%
ov_SC06_000 1586 1586 0 1594 2692 59.2%
ov_SC06_006 1582 1582 0 1583 2514 63.0%
ov_SC06_008 1584 1584 0 1590 2544 62.5%
ov_SC06_010 1582 1582 0 1587 2520 63.0%
ov_SC06_011 1582 1582 0 1586 2471 64.2%
ov_SC06_013 1582 1582 0 1583 2427 65.2%
ov_SC06_014 1582 1582 0 1584 2455 64.5%
ov_SC06_015 1582 1582 0 1582 2423 65.3%
ov_SC06_016 1582 1582 0 1584 2552 62.1%
ov_SC06_018 1582 1582 0 1590 2668 59.6%
ov_SC06_020 1582 1582 0 1583 2521 62.8%
ov_SC06_022 1582 1582 0 1590 2645 60.1%
ov_SC06_024 1582 1582 0 1588 2670 59.5%
ov_SC06_025 1582 1582 0 1587 2575 61.6%
ov_SC06_027 1582 1582 0 1583 2410 65.7%
ov_SC06_029 1582 1582 0 1594 2665 59.8%
ov_SC06_030 1582 1582 0 1582 2459 64.3%
ov_SC06_032 1582 1582 0 1589 2661 59.7%
ov_SC06_033 1582 1582 0 1589 2634 60.3%
ov_SC07_000 1586 1586 0 1588 2522 63.0%
ov_SC07_001 1582 1582 0 1584 2457 64.5%
ov_SC07_002 1582 1582 0 1586 2582 61.4%
ov_SC07_008 1582 1582 0 1582 2388 66.2%
ov_SC07_009 1582 1582 0 1584 2432 65.1%