Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 1d94f9ec96 feat(phase-15): T6d — deterministic decl-canonicalization recovers 19 more shared fns; fleet -> 31.22%
- tools/canon_draft_decls.py: rewrites a quarantined harvest draft's extern/data
  declarations to the banked-consistent set (functions from engine_core.h DEFINE
  bodies / extern decls / inline defs; data from existing `extern <type> D_XXXX;`),
  so a draft whose BODY is byte-correct (passes match_one) but whose DECLARATION
  collided with already-banked code can re-gate cleanly. The whole-binary
  harvest_verify byte-gate stays the sole arbiter — a semantics-changing
  canonicalization just fails and reverts.
- recovered 19 of the 90 match_one-MATCH-but-conflicting quarantined failures
  (no API — immune to the rate limiting), propagated fleet-wide, all 134 overlays
  byte-identical; dedup 776 -> 795 groups, 0 failed.
- fleet byte-identical 30.48% -> 31.22%; ov_SC01_077 1574 -> 1535 stubs.
- R22 clean rebuild: 136/136 byte-identical, 0 extract failures.
- the remaining ~70 match_one-MATCH residual needs definition-widening (§14c(d),
  narrow-return) or true data-type resolution — queued for the next pass, with the
  un-started medium band (430) and the 54 genuine instruction-misses (permuter/§3a).
2026-06-17 00:30:45 -06:00

7.8 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 : 105764 (of which dedup-shared 105306 via 795 groups / 105350 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 107411 / 344010 = 31.22% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 236592 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 790 790 0 790 2403 32.9%
ov_SC01_001 790 790 0 792 2467 32.1%
ov_SC01_004 782 782 0 783 2416 32.4%
ov_SC01_005 789 789 0 796 2504 31.8%
ov_SC01_006 789 789 0 796 2504 31.8%
ov_SC01_008 782 782 0 784 2428 32.3%
ov_SC01_009 782 782 0 783 2510 31.2%
ov_SC01_074 782 782 0 784 2427 32.3%
ov_SC01_077 1030 747 0 1032 2586 39.9%
ov_SC01_080 786 786 0 786 2515 31.3%
ov_SC01_084 786 786 0 791 2581 30.6%
ov_SC02_000 790 790 0 797 2684 29.7%
ov_SC02_003 790 790 0 797 2684 29.7%
ov_SC02_004 786 786 0 786 2403 32.7%
ov_SC02_005 782 782 0 792 2930 27.0%
ov_SC02_011 786 786 0 798 2896 27.6%
ov_SC02_015 786 786 0 786 2416 32.5%
ov_SC02_016 786 786 0 789 2548 31.0%
ov_SC02_017 786 786 0 794 2735 29.0%
ov_SC02_021 786 786 0 786 2439 32.2%
ov_SC02_026 786 786 0 792 2575 30.8%
ov_SC02_027 786 786 0 795 2695 29.5%
ov_SC02_028 786 786 0 796 2704 29.4%
ov_SC02_031 786 786 0 792 2565 30.9%
ov_SC02_035 786 786 0 789 2523 31.3%
ov_SC02_039 786 786 0 786 2418 32.5%
ov_SC02_041 786 786 0 789 2563 30.8%
ov_SC03_001 786 786 0 804 2870 28.0%
ov_SC03_002 790 790 0 806 2632 30.6%
ov_SC03_003 786 786 0 787 2425 32.5%
ov_SC03_006 790 790 0 799 2768 28.9%
ov_SC03_007 786 786 0 790 2626 30.1%
ov_SC03_010 786 786 0 786 2472 31.8%
ov_SC03_011 786 786 0 792 2530 31.3%
ov_SC03_012 786 786 0 787 2408 32.7%
ov_SC03_013 786 786 0 786 2495 31.5%
ov_SC03_014 786 786 0 796 2688 29.6%
ov_SC03_015 786 786 0 796 2688 29.6%
ov_SC03_023 786 786 0 787 2437 32.3%
ov_SC03_024 786 786 0 798 2644 30.2%
ov_SC03_028 786 786 0 790 2667 29.6%
ov_SC03_029 786 786 0 796 2647 30.1%
ov_SC03_030 787 787 0 789 2498 31.6%
ov_SC03_031 786 786 0 790 2517 31.4%
ov_SC03_089 786 786 0 793 2584 30.7%
ov_SC03_090 786 786 0 794 2628 30.2%
ov_SC03_091 786 786 0 794 2643 30.0%
ov_SC03_092 786 786 0 798 2590 30.8%
ov_SC03_093 786 786 0 790 2566 30.8%
ov_SC03_094 786 786 0 792 2579 30.7%
ov_SC03_095 786 786 0 789 2477 31.9%
ov_SC03_096 786 786 0 789 2468 32.0%
ov_SC03_097 786 786 0 793 2606 30.4%
ov_SC03_098 786 786 0 789 2544 31.0%
ov_SC03_099 786 786 0 789 2507 31.5%
ov_SC03_100 786 786 0 790 2542 31.1%
ov_SC03_101 786 786 0 790 2531 31.2%
ov_SC03_102 786 786 0 789 2495 31.6%
ov_SC03_103 786 786 0 789 2513 31.4%
ov_SC03_104 786 786 0 793 2619 30.3%
ov_SC03_105 786 786 0 793 2600 30.5%
ov_SC03_108 786 786 0 786 2446 32.1%
ov_SC03_109 786 786 0 788 2426 32.5%
ov_SC03_110 786 786 0 786 2471 31.8%
ov_SC03_111 786 786 0 789 2513 31.4%
ov_SC03_112 786 786 0 788 2529 31.2%
ov_SC03_113 786 786 0 789 2471 31.9%
ov_SC03_114 786 786 0 788 2417 32.6%
ov_SC03_115 786 786 0 788 2475 31.8%
ov_SC03_116 786 786 0 789 2441 32.3%
ov_SC03_117 786 786 0 792 2560 30.9%
ov_SC03_118 786 786 0 799 2688 29.7%
ov_SC03_119 786 786 0 799 2688 29.7%
ov_SC03_121 786 786 0 789 2462 32.0%
ov_SC03_124 782 782 0 802 2744 29.2%
ov_SC03_125 786 786 0 798 2591 30.8%
ov_SC03_126 786 786 0 787 2425 32.5%
ov_SC04_000 790 790 0 799 2547 31.4%
ov_SC04_002 786 786 0 790 2639 29.9%
ov_SC04_003 786 786 0 790 2505 31.5%
ov_SC04_004 786 786 0 788 2561 30.8%
ov_SC04_005 786 786 0 792 2615 30.3%
ov_SC04_006 786 786 0 788 2456 32.1%
ov_SC04_007 786 786 0 790 2572 30.7%
ov_SC04_008 786 786 0 786 2417 32.5%
ov_SC04_009 786 786 0 789 2443 32.3%
ov_SC04_010 786 786 0 787 2421 32.5%
ov_SC04_011 786 786 0 792 2806 28.2%
ov_SC04_012 786 786 0 787 2422 32.5%
ov_SC04_015 786 786 0 798 2614 30.5%
ov_SC04_016 786 786 0 788 2442 32.3%
ov_SC04_018 786 786 0 799 2858 28.0%
ov_SC04_019 786 786 0 799 2858 28.0%
ov_SC04_020 786 786 0 798 2570 31.1%
ov_SC04_021 786 786 0 787 2425 32.5%
ov_SC05_000 790 790 0 793 2422 32.7%
ov_SC05_001 786 786 0 791 2577 30.7%
ov_SC05_002 786 786 0 789 2445 32.3%
ov_SC05_003 786 786 0 787 2484 31.7%
ov_SC05_004 786 786 0 788 2467 31.9%
ov_SC05_005 786 786 0 787 2494 31.6%
ov_SC05_006 786 786 0 786 2432 32.3%
ov_SC05_007 786 786 0 791 2485 31.8%
ov_SC05_008 786 786 0 788 2546 31.0%
ov_SC05_009 786 786 0 790 2440 32.4%
ov_SC05_010 786 786 0 790 2591 30.5%
ov_SC05_011 786 786 0 787 2411 32.6%
ov_SC05_017 782 782 0 794 2845 27.9%
ov_SC05_018 786 786 0 799 2676 29.9%
ov_SC05_019 786 786 0 787 2425 32.5%
ov_SC06_000 790 790 0 798 2692 29.6%
ov_SC06_006 786 786 0 787 2514 31.3%
ov_SC06_008 786 786 0 792 2544 31.1%
ov_SC06_010 786 786 0 791 2520 31.4%
ov_SC06_011 786 786 0 790 2471 32.0%
ov_SC06_013 786 786 0 787 2427 32.4%
ov_SC06_014 786 786 0 788 2455 32.1%
ov_SC06_015 786 786 0 786 2423 32.4%
ov_SC06_016 786 786 0 788 2552 30.9%
ov_SC06_018 786 786 0 794 2668 29.8%
ov_SC06_020 786 786 0 787 2521 31.2%
ov_SC06_022 786 786 0 794 2645 30.0%
ov_SC06_024 786 786 0 792 2670 29.7%
ov_SC06_025 786 786 0 791 2575 30.7%
ov_SC06_027 786 786 0 787 2410 32.7%
ov_SC06_029 786 786 0 798 2665 29.9%
ov_SC06_030 786 786 0 786 2459 32.0%
ov_SC06_032 786 786 0 793 2661 29.8%
ov_SC06_033 786 786 0 793 2634 30.1%
ov_SC07_000 790 790 0 792 2522 31.4%
ov_SC07_001 786 786 0 788 2457 32.1%
ov_SC07_002 786 786 0 790 2582 30.6%
ov_SC07_008 786 786 0 786 2388 32.9%
ov_SC07_009 786 786 0 788 2432 32.4%