Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 4927f38c46 feat(phase-21): option C — grinder blacklist + sig_unify DEF-side arity-extend recovery
- grinder.py: persistent blacklist for permuter-won/gate-rejected (plumbing-bound) fns;
  stops the tried.clear()-after-idle churn (was 0 banks in 8h on func_8014F3E8/func_8014FE60)
- sig_unify.py rewrite_def: adopt the canonical param list on arity mismatch (DEF-side
  loose-typing wall) — unused extras sit in $a0-$a3, free at -O2; banked func_8016EDEC/EE40
- cookbook §22 (DEF-side recovery + grinder blacklist); CURRENT_PHASE option-C log
- compounds: sig_unify is in the gate pipeline -> every future wave + the grinder auto-recover
2026-06-21 22:55:40 -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 : 203657 (of which dedup-shared 203154 via 1528 groups / 203198 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 205304 / 344010 = 59.68% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 138699 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 1520 1520 0 1520 2403 63.3%
ov_SC01_001 1520 1520 0 1522 2467 61.7%
ov_SC01_004 1512 1512 0 1513 2416 62.6%
ov_SC01_005 1519 1519 0 1526 2504 60.9%
ov_SC01_006 1519 1519 0 1526 2504 60.9%
ov_SC01_008 1512 1512 0 1514 2428 62.4%
ov_SC01_009 1512 1512 0 1513 2510 60.3%
ov_SC01_074 1512 1512 0 1514 2427 62.4%
ov_SC01_077 1808 1480 0 1810 2586 70.0%
ov_SC01_080 1516 1516 0 1516 2515 60.3%
ov_SC01_084 1516 1516 0 1521 2581 58.9%
ov_SC02_000 1520 1520 0 1527 2684 56.9%
ov_SC02_003 1520 1520 0 1527 2684 56.9%
ov_SC02_004 1516 1516 0 1516 2403 63.1%
ov_SC02_005 1512 1512 0 1522 2930 51.9%
ov_SC02_011 1518 1518 0 1530 2896 52.8%
ov_SC02_015 1518 1518 0 1518 2416 62.8%
ov_SC02_016 1518 1518 0 1521 2548 59.7%
ov_SC02_017 1518 1518 0 1526 2735 55.8%
ov_SC02_021 1518 1518 0 1518 2439 62.2%
ov_SC02_026 1516 1516 0 1522 2575 59.1%
ov_SC02_027 1516 1516 0 1525 2695 56.6%
ov_SC02_028 1516 1516 0 1526 2704 56.4%
ov_SC02_031 1516 1516 0 1522 2565 59.3%
ov_SC02_035 1516 1516 0 1519 2523 60.2%
ov_SC02_039 1516 1516 0 1516 2418 62.7%
ov_SC02_041 1516 1516 0 1519 2563 59.3%
ov_SC03_001 1516 1516 0 1534 2870 53.4%
ov_SC03_002 1520 1520 0 1536 2632 58.4%
ov_SC03_003 1516 1516 0 1517 2425 62.6%
ov_SC03_006 1522 1522 0 1531 2768 55.3%
ov_SC03_007 1516 1516 0 1520 2626 57.9%
ov_SC03_010 1516 1516 0 1516 2472 61.3%
ov_SC03_011 1516 1516 0 1522 2530 60.2%
ov_SC03_012 1516 1516 0 1517 2408 63.0%
ov_SC03_013 1516 1516 0 1516 2495 60.8%
ov_SC03_014 1516 1516 0 1526 2688 56.8%
ov_SC03_015 1516 1516 0 1526 2688 56.8%
ov_SC03_023 1516 1516 0 1517 2437 62.2%
ov_SC03_024 1516 1516 0 1528 2644 57.8%
ov_SC03_028 1516 1516 0 1520 2667 57.0%
ov_SC03_029 1518 1518 0 1528 2647 57.7%
ov_SC03_030 1520 1520 0 1522 2498 60.9%
ov_SC03_031 1516 1516 0 1520 2517 60.4%
ov_SC03_089 1516 1516 0 1523 2584 58.9%
ov_SC03_090 1516 1516 0 1524 2628 58.0%
ov_SC03_091 1516 1516 0 1524 2643 57.7%
ov_SC03_092 1516 1516 0 1528 2590 59.0%
ov_SC03_093 1516 1516 0 1520 2566 59.2%
ov_SC03_094 1516 1516 0 1522 2579 59.0%
ov_SC03_095 1516 1516 0 1519 2477 61.3%
ov_SC03_096 1516 1516 0 1519 2468 61.5%
ov_SC03_097 1516 1516 0 1523 2606 58.4%
ov_SC03_098 1516 1516 0 1519 2544 59.7%
ov_SC03_099 1516 1516 0 1519 2507 60.6%
ov_SC03_100 1516 1516 0 1520 2542 59.8%
ov_SC03_101 1516 1516 0 1520 2531 60.1%
ov_SC03_102 1516 1516 0 1519 2495 60.9%
ov_SC03_103 1518 1518 0 1521 2513 60.5%
ov_SC03_104 1516 1516 0 1523 2619 58.2%
ov_SC03_105 1516 1516 0 1523 2600 58.6%
ov_SC03_108 1516 1516 0 1516 2446 62.0%
ov_SC03_109 1516 1516 0 1518 2426 62.6%
ov_SC03_110 1516 1516 0 1516 2471 61.4%
ov_SC03_111 1516 1516 0 1519 2513 60.4%
ov_SC03_112 1518 1518 0 1520 2529 60.1%
ov_SC03_113 1518 1518 0 1521 2471 61.6%
ov_SC03_114 1516 1516 0 1518 2417 62.8%
ov_SC03_115 1516 1516 0 1518 2475 61.3%
ov_SC03_116 1516 1516 0 1519 2441 62.2%
ov_SC03_117 1516 1516 0 1522 2560 59.5%
ov_SC03_118 1516 1516 0 1529 2688 56.9%
ov_SC03_119 1516 1516 0 1529 2688 56.9%
ov_SC03_121 1516 1516 0 1519 2462 61.7%
ov_SC03_124 1512 1512 0 1532 2744 55.8%
ov_SC03_125 1516 1516 0 1528 2591 59.0%
ov_SC03_126 1516 1516 0 1517 2425 62.6%
ov_SC04_000 1520 1520 0 1529 2547 60.0%
ov_SC04_002 1516 1516 0 1520 2639 57.6%
ov_SC04_003 1516 1516 0 1520 2505 60.7%
ov_SC04_004 1516 1516 0 1518 2561 59.3%
ov_SC04_005 1516 1516 0 1522 2615 58.2%
ov_SC04_006 1516 1516 0 1518 2456 61.8%
ov_SC04_007 1516 1516 0 1520 2572 59.1%
ov_SC04_008 1516 1516 0 1516 2417 62.7%
ov_SC04_009 1516 1516 0 1519 2443 62.2%
ov_SC04_010 1516 1516 0 1517 2421 62.7%
ov_SC04_011 1516 1516 0 1522 2806 54.2%
ov_SC04_012 1516 1516 0 1517 2422 62.6%
ov_SC04_015 1516 1516 0 1528 2614 58.5%
ov_SC04_016 1516 1516 0 1518 2442 62.2%
ov_SC04_018 1516 1516 0 1529 2858 53.5%
ov_SC04_019 1516 1516 0 1529 2858 53.5%
ov_SC04_020 1516 1516 0 1528 2570 59.5%
ov_SC04_021 1516 1516 0 1517 2425 62.6%
ov_SC05_000 1520 1520 0 1523 2422 62.9%
ov_SC05_001 1516 1516 0 1521 2577 59.0%
ov_SC05_002 1516 1516 0 1519 2445 62.1%
ov_SC05_003 1516 1516 0 1517 2484 61.1%
ov_SC05_004 1516 1516 0 1518 2467 61.5%
ov_SC05_005 1516 1516 0 1517 2494 60.8%
ov_SC05_006 1516 1516 0 1516 2432 62.3%
ov_SC05_007 1516 1516 0 1521 2485 61.2%
ov_SC05_008 1516 1516 0 1518 2546 59.6%
ov_SC05_009 1516 1516 0 1520 2440 62.3%
ov_SC05_010 1516 1516 0 1520 2591 58.7%
ov_SC05_011 1516 1516 0 1517 2411 62.9%
ov_SC05_017 1512 1512 0 1524 2845 53.6%
ov_SC05_018 1516 1516 0 1529 2676 57.1%
ov_SC05_019 1516 1516 0 1517 2425 62.6%
ov_SC06_000 1520 1520 0 1528 2692 56.8%
ov_SC06_006 1516 1516 0 1517 2514 60.3%
ov_SC06_008 1518 1518 0 1524 2544 59.9%
ov_SC06_010 1516 1516 0 1521 2520 60.4%
ov_SC06_011 1516 1516 0 1520 2471 61.5%
ov_SC06_013 1516 1516 0 1517 2427 62.5%
ov_SC06_014 1516 1516 0 1518 2455 61.8%
ov_SC06_015 1516 1516 0 1516 2423 62.6%
ov_SC06_016 1516 1516 0 1518 2552 59.5%
ov_SC06_018 1516 1516 0 1524 2668 57.1%
ov_SC06_020 1516 1516 0 1517 2521 60.2%
ov_SC06_022 1516 1516 0 1524 2645 57.6%
ov_SC06_024 1516 1516 0 1522 2670 57.0%
ov_SC06_025 1516 1516 0 1521 2575 59.1%
ov_SC06_027 1516 1516 0 1517 2410 62.9%
ov_SC06_029 1516 1516 0 1528 2665 57.3%
ov_SC06_030 1516 1516 0 1516 2459 61.7%
ov_SC06_032 1516 1516 0 1523 2661 57.2%
ov_SC06_033 1516 1516 0 1523 2634 57.8%
ov_SC07_000 1520 1520 0 1522 2522 60.3%
ov_SC07_001 1516 1516 0 1518 2457 61.8%
ov_SC07_002 1516 1516 0 1520 2582 58.9%
ov_SC07_008 1516 1516 0 1516 2388 63.5%
ov_SC07_009 1516 1516 0 1518 2432 62.4%