Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 790326057a feat(phase-21): cont.6 — sig_unify --src-file + gate two-stage; schedule idiom = coalescing (§25)
- sig_unify.py --src-file: read cur_stubs/decls from the SPLIT .c (_a/_o0) so split-file
  drafts aren't dropped + get the def-side recovery (closes the §24 gap). gate_stage passes
  it to cast + sig_unify in --src-file mode. Banked func_8012F568 x134 earlier (commit:0277).
- gate_stage.py CANON-FIRST two-stage (§19 folded into the shared gate): stage1 canon+cast
  gate (already-correct/hand-pinned cracks bank), stage2 sig_unify ONLY the failures (def-side
  recovery, no regression). Fixes sig_unify regressing the func_80128ED8 crack.
- schedule idiom CRACKED (cookbook §25): func_80128ED8 = gcc copy-COALESCING, not scheduling;
  2 register pins (idc->$a3 forces the multiply onto $v1; idc+1->dead $v0 temp) -> MATCH,
  banked x1 (commit:0278). + the rank_for_schedule tie-break (priority->class->LUID source-order)
  + the genuine walls (§10 cross-jump/delay-slot, store-vs-load).
- FINDING (R14/P9): h_exact OVER-COUNTS x134 (relocation-masked) -> func_80128ED8 is x1 not
  x134; probe dedup_propagate --addr before a token-heavy wave. schedule is NOT a confirmed
  x134 vein -> the wave is ROI-deferred.
- check-all 136/136 byte-identical (R22); 0 NON_MATCHING (G4); fleet 63.13% -> 63.17%
2026-06-25 01:17:12 -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 : 215669 (of which dedup-shared 214946 via 1616 groups / 214990 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 217316 / 344010 = 63.17% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 126687 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 1608 1608 0 1608 2403 66.9%
ov_SC01_001 1608 1608 0 1610 2467 65.3%
ov_SC01_004 1600 1600 0 1601 2416 66.3%
ov_SC01_005 1607 1607 0 1614 2504 64.5%
ov_SC01_006 1607 1607 0 1614 2504 64.5%
ov_SC01_008 1600 1600 0 1602 2428 66.0%
ov_SC01_009 1600 1600 0 1601 2510 63.8%
ov_SC01_074 1600 1600 0 1602 2427 66.0%
ov_SC01_077 2116 1568 0 2118 2586 81.9%
ov_SC01_080 1604 1604 0 1604 2515 63.8%
ov_SC01_084 1604 1604 0 1609 2581 62.3%
ov_SC02_000 1608 1608 0 1615 2684 60.2%
ov_SC02_003 1608 1608 0 1615 2684 60.2%
ov_SC02_004 1604 1604 0 1604 2403 66.7%
ov_SC02_005 1600 1600 0 1610 2930 54.9%
ov_SC02_011 1606 1606 0 1618 2896 55.9%
ov_SC02_015 1606 1606 0 1606 2416 66.5%
ov_SC02_016 1606 1606 0 1609 2548 63.1%
ov_SC02_017 1606 1606 0 1614 2735 59.0%
ov_SC02_021 1606 1606 0 1606 2439 65.8%
ov_SC02_026 1604 1604 0 1610 2575 62.5%
ov_SC02_027 1604 1604 0 1613 2695 59.9%
ov_SC02_028 1604 1604 0 1614 2704 59.7%
ov_SC02_031 1604 1604 0 1610 2565 62.8%
ov_SC02_035 1604 1604 0 1607 2523 63.7%
ov_SC02_039 1604 1604 0 1604 2418 66.3%
ov_SC02_041 1604 1604 0 1607 2563 62.7%
ov_SC03_001 1604 1604 0 1622 2870 56.5%
ov_SC03_002 1608 1608 0 1624 2632 61.7%
ov_SC03_003 1604 1604 0 1605 2425 66.2%
ov_SC03_006 1610 1610 0 1619 2768 58.5%
ov_SC03_007 1604 1604 0 1608 2626 61.2%
ov_SC03_010 1604 1604 0 1604 2472 64.9%
ov_SC03_011 1604 1604 0 1610 2530 63.6%
ov_SC03_012 1604 1604 0 1605 2408 66.7%
ov_SC03_013 1604 1604 0 1604 2495 64.3%
ov_SC03_014 1604 1604 0 1614 2688 60.0%
ov_SC03_015 1604 1604 0 1614 2688 60.0%
ov_SC03_023 1604 1604 0 1605 2437 65.9%
ov_SC03_024 1604 1604 0 1616 2644 61.1%
ov_SC03_028 1604 1604 0 1608 2667 60.3%
ov_SC03_029 1606 1606 0 1616 2647 61.1%
ov_SC03_030 1608 1608 0 1610 2498 64.5%
ov_SC03_031 1604 1604 0 1608 2517 63.9%
ov_SC03_089 1604 1604 0 1611 2584 62.3%
ov_SC03_090 1604 1604 0 1612 2628 61.3%
ov_SC03_091 1604 1604 0 1612 2643 61.0%
ov_SC03_092 1604 1604 0 1616 2590 62.4%
ov_SC03_093 1604 1604 0 1608 2566 62.7%
ov_SC03_094 1604 1604 0 1610 2579 62.4%
ov_SC03_095 1604 1604 0 1607 2477 64.9%
ov_SC03_096 1604 1604 0 1607 2468 65.1%
ov_SC03_097 1604 1604 0 1611 2606 61.8%
ov_SC03_098 1604 1604 0 1607 2544 63.2%
ov_SC03_099 1604 1604 0 1607 2507 64.1%
ov_SC03_100 1604 1604 0 1608 2542 63.3%
ov_SC03_101 1604 1604 0 1608 2531 63.5%
ov_SC03_102 1604 1604 0 1607 2495 64.4%
ov_SC03_103 1606 1606 0 1609 2513 64.0%
ov_SC03_104 1604 1604 0 1611 2619 61.5%
ov_SC03_105 1604 1604 0 1611 2600 62.0%
ov_SC03_108 1604 1604 0 1604 2446 65.6%
ov_SC03_109 1604 1604 0 1606 2426 66.2%
ov_SC03_110 1604 1604 0 1604 2471 64.9%
ov_SC03_111 1604 1604 0 1607 2513 63.9%
ov_SC03_112 1606 1606 0 1608 2529 63.6%
ov_SC03_113 1606 1606 0 1609 2471 65.1%
ov_SC03_114 1604 1604 0 1606 2417 66.4%
ov_SC03_115 1604 1604 0 1606 2475 64.9%
ov_SC03_116 1604 1604 0 1607 2441 65.8%
ov_SC03_117 1604 1604 0 1610 2560 62.9%
ov_SC03_118 1604 1604 0 1617 2688 60.2%
ov_SC03_119 1604 1604 0 1617 2688 60.2%
ov_SC03_121 1604 1604 0 1607 2462 65.3%
ov_SC03_124 1600 1600 0 1620 2744 59.0%
ov_SC03_125 1604 1604 0 1616 2591 62.4%
ov_SC03_126 1604 1604 0 1605 2425 66.2%
ov_SC04_000 1608 1608 0 1617 2547 63.5%
ov_SC04_002 1604 1604 0 1608 2639 60.9%
ov_SC04_003 1604 1604 0 1608 2505 64.2%
ov_SC04_004 1604 1604 0 1606 2561 62.7%
ov_SC04_005 1604 1604 0 1610 2615 61.6%
ov_SC04_006 1604 1604 0 1606 2456 65.4%
ov_SC04_007 1604 1604 0 1608 2572 62.5%
ov_SC04_008 1604 1604 0 1604 2417 66.4%
ov_SC04_009 1604 1604 0 1607 2443 65.8%
ov_SC04_010 1604 1604 0 1605 2421 66.3%
ov_SC04_011 1604 1604 0 1610 2806 57.4%
ov_SC04_012 1604 1604 0 1605 2422 66.3%
ov_SC04_015 1604 1604 0 1616 2614 61.8%
ov_SC04_016 1604 1604 0 1606 2442 65.8%
ov_SC04_018 1604 1604 0 1617 2858 56.6%
ov_SC04_019 1604 1604 0 1617 2858 56.6%
ov_SC04_020 1604 1604 0 1616 2570 62.9%
ov_SC04_021 1604 1604 0 1605 2425 66.2%
ov_SC05_000 1608 1608 0 1611 2422 66.5%
ov_SC05_001 1604 1604 0 1609 2577 62.4%
ov_SC05_002 1604 1604 0 1607 2445 65.7%
ov_SC05_003 1604 1604 0 1605 2484 64.6%
ov_SC05_004 1604 1604 0 1606 2467 65.1%
ov_SC05_005 1604 1604 0 1605 2494 64.4%
ov_SC05_006 1604 1604 0 1604 2432 66.0%
ov_SC05_007 1604 1604 0 1609 2485 64.7%
ov_SC05_008 1604 1604 0 1606 2546 63.1%
ov_SC05_009 1604 1604 0 1608 2440 65.9%
ov_SC05_010 1604 1604 0 1608 2591 62.1%
ov_SC05_011 1604 1604 0 1605 2411 66.6%
ov_SC05_017 1600 1600 0 1612 2845 56.7%
ov_SC05_018 1604 1604 0 1617 2676 60.4%
ov_SC05_019 1604 1604 0 1605 2425 66.2%
ov_SC06_000 1608 1608 0 1616 2692 60.0%
ov_SC06_006 1604 1604 0 1605 2514 63.8%
ov_SC06_008 1606 1606 0 1612 2544 63.4%
ov_SC06_010 1604 1604 0 1609 2520 63.8%
ov_SC06_011 1604 1604 0 1608 2471 65.1%
ov_SC06_013 1604 1604 0 1605 2427 66.1%
ov_SC06_014 1604 1604 0 1606 2455 65.4%
ov_SC06_015 1604 1604 0 1604 2423 66.2%
ov_SC06_016 1604 1604 0 1606 2552 62.9%
ov_SC06_018 1604 1604 0 1612 2668 60.4%
ov_SC06_020 1604 1604 0 1605 2521 63.7%
ov_SC06_022 1604 1604 0 1612 2645 60.9%
ov_SC06_024 1604 1604 0 1610 2670 60.3%
ov_SC06_025 1604 1604 0 1609 2575 62.5%
ov_SC06_027 1604 1604 0 1605 2410 66.6%
ov_SC06_029 1604 1604 0 1616 2665 60.6%
ov_SC06_030 1604 1604 0 1604 2459 65.2%
ov_SC06_032 1604 1604 0 1611 2661 60.5%
ov_SC06_033 1604 1604 0 1611 2634 61.2%
ov_SC07_000 1608 1608 0 1610 2522 63.8%
ov_SC07_001 1604 1604 0 1606 2457 65.4%
ov_SC07_002 1604 1604 0 1608 2582 62.3%
ov_SC07_008 1604 1604 0 1604 2388 67.2%
ov_SC07_009 1604 1604 0 1606 2432 66.0%