Files
BFM-decomp/docs/progress.fleet.md
T
Drew T a10f7f8a1a feat(phase-15): sig-unify recovery + find_site brace-fix — fleet 52.08% -> 54.44%
- tools/sig_unify.py (NEW): unifies a draft's FULL signature set to the banked-canonical
  decls — both callee externs AND the draft's OWN definition signature (return + param
  types, body param-names preserved). Recovery for the standalone-MATCH residual: a probe
  found 30/30 sampled failures were type conflicts, 0 false-positives. Gated 191 -> 32 verified.
- tools/dedup_propagate.py find_site FIX: the inline-def detector required the opening brace
  ON THE SAME LINE as the signature, silently dropping every next-line-brace def from
  propagation (sig_unify/permuter outputs + ~stragglers all session). Now accepts brace on
  the same OR next line -> unlocked a 61-function propagation backlog.
- propagated 61 fns fleet-wide (incl. 32 sig-unify + the permuter win func_801508F8 +
  earlier-dropped next-line-brace matches), all 134 byte-identical; dedup-check 1394/0
- R22 CLEAN fleet rebuild: 136/136 byte-identical. REAL 177501 -> 185646. Zero agent tokens.
2026-06-18 20:00:50 -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 : 185646 (of which dedup-shared 185198 via 1394 groups / 185242 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 187293 / 344010 = 54.44% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 156710 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 1386 1386 0 1386 2403 57.7%
ov_SC01_001 1386 1386 0 1388 2467 56.3%
ov_SC01_004 1378 1378 0 1379 2416 57.1%
ov_SC01_005 1385 1385 0 1392 2504 55.6%
ov_SC01_006 1385 1385 0 1392 2504 55.6%
ov_SC01_008 1378 1378 0 1380 2428 56.8%
ov_SC01_009 1378 1378 0 1379 2510 54.9%
ov_SC01_074 1378 1378 0 1380 2427 56.9%
ov_SC01_077 1619 1346 0 1621 2586 62.7%
ov_SC01_080 1382 1382 0 1382 2515 55.0%
ov_SC01_084 1382 1382 0 1387 2581 53.7%
ov_SC02_000 1386 1386 0 1393 2684 51.9%
ov_SC02_003 1386 1386 0 1393 2684 51.9%
ov_SC02_004 1382 1382 0 1382 2403 57.5%
ov_SC02_005 1378 1378 0 1388 2930 47.4%
ov_SC02_011 1384 1384 0 1396 2896 48.2%
ov_SC02_015 1384 1384 0 1384 2416 57.3%
ov_SC02_016 1384 1384 0 1387 2548 54.4%
ov_SC02_017 1384 1384 0 1392 2735 50.9%
ov_SC02_021 1384 1384 0 1384 2439 56.7%
ov_SC02_026 1382 1382 0 1388 2575 53.9%
ov_SC02_027 1382 1382 0 1391 2695 51.6%
ov_SC02_028 1382 1382 0 1392 2704 51.5%
ov_SC02_031 1382 1382 0 1388 2565 54.1%
ov_SC02_035 1382 1382 0 1385 2523 54.9%
ov_SC02_039 1382 1382 0 1382 2418 57.2%
ov_SC02_041 1382 1382 0 1385 2563 54.0%
ov_SC03_001 1382 1382 0 1400 2870 48.8%
ov_SC03_002 1386 1386 0 1402 2632 53.3%
ov_SC03_003 1382 1382 0 1383 2425 57.0%
ov_SC03_006 1388 1388 0 1397 2768 50.5%
ov_SC03_007 1382 1382 0 1386 2626 52.8%
ov_SC03_010 1382 1382 0 1382 2472 55.9%
ov_SC03_011 1382 1382 0 1388 2530 54.9%
ov_SC03_012 1382 1382 0 1383 2408 57.4%
ov_SC03_013 1382 1382 0 1382 2495 55.4%
ov_SC03_014 1382 1382 0 1392 2688 51.8%
ov_SC03_015 1382 1382 0 1392 2688 51.8%
ov_SC03_023 1382 1382 0 1383 2437 56.8%
ov_SC03_024 1382 1382 0 1394 2644 52.7%
ov_SC03_028 1382 1382 0 1386 2667 52.0%
ov_SC03_029 1384 1384 0 1394 2647 52.7%
ov_SC03_030 1386 1386 0 1388 2498 55.6%
ov_SC03_031 1382 1382 0 1386 2517 55.1%
ov_SC03_089 1382 1382 0 1389 2584 53.8%
ov_SC03_090 1382 1382 0 1390 2628 52.9%
ov_SC03_091 1382 1382 0 1390 2643 52.6%
ov_SC03_092 1382 1382 0 1394 2590 53.8%
ov_SC03_093 1382 1382 0 1386 2566 54.0%
ov_SC03_094 1382 1382 0 1388 2579 53.8%
ov_SC03_095 1382 1382 0 1385 2477 55.9%
ov_SC03_096 1382 1382 0 1385 2468 56.1%
ov_SC03_097 1382 1382 0 1389 2606 53.3%
ov_SC03_098 1382 1382 0 1385 2544 54.4%
ov_SC03_099 1382 1382 0 1385 2507 55.2%
ov_SC03_100 1382 1382 0 1386 2542 54.5%
ov_SC03_101 1382 1382 0 1386 2531 54.8%
ov_SC03_102 1382 1382 0 1385 2495 55.5%
ov_SC03_103 1384 1384 0 1387 2513 55.2%
ov_SC03_104 1382 1382 0 1389 2619 53.0%
ov_SC03_105 1382 1382 0 1389 2600 53.4%
ov_SC03_108 1382 1382 0 1382 2446 56.5%
ov_SC03_109 1382 1382 0 1384 2426 57.0%
ov_SC03_110 1382 1382 0 1382 2471 55.9%
ov_SC03_111 1382 1382 0 1385 2513 55.1%
ov_SC03_112 1384 1384 0 1386 2529 54.8%
ov_SC03_113 1384 1384 0 1387 2471 56.1%
ov_SC03_114 1382 1382 0 1384 2417 57.3%
ov_SC03_115 1382 1382 0 1384 2475 55.9%
ov_SC03_116 1382 1382 0 1385 2441 56.7%
ov_SC03_117 1382 1382 0 1388 2560 54.2%
ov_SC03_118 1382 1382 0 1395 2688 51.9%
ov_SC03_119 1382 1382 0 1395 2688 51.9%
ov_SC03_121 1382 1382 0 1385 2462 56.3%
ov_SC03_124 1378 1378 0 1398 2744 50.9%
ov_SC03_125 1382 1382 0 1394 2591 53.8%
ov_SC03_126 1382 1382 0 1383 2425 57.0%
ov_SC04_000 1386 1386 0 1395 2547 54.8%
ov_SC04_002 1382 1382 0 1386 2639 52.5%
ov_SC04_003 1382 1382 0 1386 2505 55.3%
ov_SC04_004 1382 1382 0 1384 2561 54.0%
ov_SC04_005 1382 1382 0 1388 2615 53.1%
ov_SC04_006 1382 1382 0 1384 2456 56.4%
ov_SC04_007 1382 1382 0 1386 2572 53.9%
ov_SC04_008 1382 1382 0 1382 2417 57.2%
ov_SC04_009 1382 1382 0 1385 2443 56.7%
ov_SC04_010 1382 1382 0 1383 2421 57.1%
ov_SC04_011 1382 1382 0 1388 2806 49.5%
ov_SC04_012 1382 1382 0 1383 2422 57.1%
ov_SC04_015 1382 1382 0 1394 2614 53.3%
ov_SC04_016 1382 1382 0 1384 2442 56.7%
ov_SC04_018 1382 1382 0 1395 2858 48.8%
ov_SC04_019 1382 1382 0 1395 2858 48.8%
ov_SC04_020 1382 1382 0 1394 2570 54.2%
ov_SC04_021 1382 1382 0 1383 2425 57.0%
ov_SC05_000 1386 1386 0 1389 2422 57.3%
ov_SC05_001 1382 1382 0 1387 2577 53.8%
ov_SC05_002 1382 1382 0 1385 2445 56.6%
ov_SC05_003 1382 1382 0 1383 2484 55.7%
ov_SC05_004 1382 1382 0 1384 2467 56.1%
ov_SC05_005 1382 1382 0 1383 2494 55.5%
ov_SC05_006 1382 1382 0 1382 2432 56.8%
ov_SC05_007 1382 1382 0 1387 2485 55.8%
ov_SC05_008 1382 1382 0 1384 2546 54.4%
ov_SC05_009 1382 1382 0 1386 2440 56.8%
ov_SC05_010 1382 1382 0 1386 2591 53.5%
ov_SC05_011 1382 1382 0 1383 2411 57.4%
ov_SC05_017 1378 1378 0 1390 2845 48.9%
ov_SC05_018 1382 1382 0 1395 2676 52.1%
ov_SC05_019 1382 1382 0 1383 2425 57.0%
ov_SC06_000 1386 1386 0 1394 2692 51.8%
ov_SC06_006 1382 1382 0 1383 2514 55.0%
ov_SC06_008 1384 1384 0 1390 2544 54.6%
ov_SC06_010 1382 1382 0 1387 2520 55.0%
ov_SC06_011 1382 1382 0 1386 2471 56.1%
ov_SC06_013 1382 1382 0 1383 2427 57.0%
ov_SC06_014 1382 1382 0 1384 2455 56.4%
ov_SC06_015 1382 1382 0 1382 2423 57.0%
ov_SC06_016 1382 1382 0 1384 2552 54.2%
ov_SC06_018 1382 1382 0 1390 2668 52.1%
ov_SC06_020 1382 1382 0 1383 2521 54.9%
ov_SC06_022 1382 1382 0 1390 2645 52.6%
ov_SC06_024 1382 1382 0 1388 2670 52.0%
ov_SC06_025 1382 1382 0 1387 2575 53.9%
ov_SC06_027 1382 1382 0 1383 2410 57.4%
ov_SC06_029 1382 1382 0 1394 2665 52.3%
ov_SC06_030 1382 1382 0 1382 2459 56.2%
ov_SC06_032 1382 1382 0 1389 2661 52.2%
ov_SC06_033 1382 1382 0 1389 2634 52.7%
ov_SC07_000 1386 1386 0 1388 2522 55.0%
ov_SC07_001 1382 1382 0 1384 2457 56.3%
ov_SC07_002 1382 1382 0 1386 2582 53.7%
ov_SC07_008 1382 1382 0 1382 2388 57.9%
ov_SC07_009 1382 1382 0 1384 2432 56.9%