mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-26 21:36:06 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
e803651f0cdb7be5327543847041da1bcedd319a
BFM-decomp/docs/progress.fleet.md
T
Drew T e803651f0c feat(phase-20): close — cap tool + T3a %lo crack + 3 byte-proven findings; fleet 58.00%->58.82% (v1.19.0) 
- THE CAP TOOL tools/cast_call_sites.py (§17a-1 callee-cast): per draft, callee whose canonical
  TU sig != draft's intended sig -> decl->canonical + call-site cast ((ret(*)(args))func_X)(args)
  (codegen-neutral; gcc folds the cast of a known symbol -> direct jal). Recovered 6 of T6 batch-1's
  33 gate-fails byte-identical (5 x134 + 1 local). Pipeline canon_resident_calls -> cast_call_sites
  -> sig_unify -> harvest_verify --chunk 1.
- T3a CRACKED (not cited): the %lo-folding indexed-global -O0 residual falls to the array-of-STRUCT
  idiom (extern Struct base[], sizeof==stride, base[i].field; NOT *(T*)(&sym+i*stride) which
  materializes &sym). func_8013B7AC banked. Reusable idiom fleet-wide. cookbook §18/§20.
- THREE byte-proven findings (R14): (1) the wave cap is the DEF-side loose-typing wall, not
  callee-conflicts (the §20 "~33" projection was wrong); (2) the -O0 cluster is OVERLAY-LOCAL,
  not reach-134 -> the ×134 rollout is INVALID; (3) data-cast is MOOT (0 real data conflicts).
- T1 typedef type-lift (+0.35%, 9 fns x134); T2 exemplar_miner router; T4 codegen map (cookbook §20);
  T6 batch-1 (+0.28%, 8). dedup 1485->1513/0 failed. check-all 136/136 BYTE-IDENTICAL (R22);
  0 NON_MATCHING (G4). fleet 58.00% -> 58.82%.
- rule R30 (capture context-dependent knowledge before a fresh session). worklog -> logs/Phase20.md.
- bumps 1.18.0 -> 1.19.0
2026-06-21 10:26:34 -06:00

8.2 KiB
Raw Blame History

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 : 200703 (of which dedup-shared 200206 via 1506 groups / 200250 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 202350 / 344010 = 58.82% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 141653 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 1498 1498 0 1498 2403 62.3%
ov_SC01_001 1498 1498 0 1500 2467 60.8%
ov_SC01_004 1490 1490 0 1491 2416 61.7%
ov_SC01_005 1497 1497 0 1504 2504 60.1%
ov_SC01_006 1497 1497 0 1504 2504 60.1%
ov_SC01_008 1490 1490 0 1492 2428 61.4%
ov_SC01_009 1490 1490 0 1491 2510 59.4%
ov_SC01_074 1490 1490 0 1492 2427 61.5%
ov_SC01_077 1780 1458 0 1782 2586 68.9%
ov_SC01_080 1494 1494 0 1494 2515 59.4%
ov_SC01_084 1494 1494 0 1499 2581 58.1%
ov_SC02_000 1498 1498 0 1505 2684 56.1%
ov_SC02_003 1498 1498 0 1505 2684 56.1%
ov_SC02_004 1494 1494 0 1494 2403 62.2%
ov_SC02_005 1490 1490 0 1500 2930 51.2%
ov_SC02_011 1496 1496 0 1508 2896 52.1%
ov_SC02_015 1496 1496 0 1496 2416 61.9%
ov_SC02_016 1496 1496 0 1499 2548 58.8%
ov_SC02_017 1496 1496 0 1504 2735 55.0%
ov_SC02_021 1496 1496 0 1496 2439 61.3%
ov_SC02_026 1494 1494 0 1500 2575 58.3%
ov_SC02_027 1494 1494 0 1503 2695 55.8%
ov_SC02_028 1494 1494 0 1504 2704 55.6%
ov_SC02_031 1494 1494 0 1500 2565 58.5%
ov_SC02_035 1494 1494 0 1497 2523 59.3%
ov_SC02_039 1494 1494 0 1494 2418 61.8%
ov_SC02_041 1494 1494 0 1497 2563 58.4%
ov_SC03_001 1494 1494 0 1512 2870 52.7%
ov_SC03_002 1498 1498 0 1514 2632 57.5%
ov_SC03_003 1494 1494 0 1495 2425 61.6%
ov_SC03_006 1500 1500 0 1509 2768 54.5%
ov_SC03_007 1494 1494 0 1498 2626 57.0%
ov_SC03_010 1494 1494 0 1494 2472 60.4%
ov_SC03_011 1494 1494 0 1500 2530 59.3%
ov_SC03_012 1494 1494 0 1495 2408 62.1%
ov_SC03_013 1494 1494 0 1494 2495 59.9%
ov_SC03_014 1494 1494 0 1504 2688 56.0%
ov_SC03_015 1494 1494 0 1504 2688 56.0%
ov_SC03_023 1494 1494 0 1495 2437 61.3%
ov_SC03_024 1494 1494 0 1506 2644 57.0%
ov_SC03_028 1494 1494 0 1498 2667 56.2%
ov_SC03_029 1496 1496 0 1506 2647 56.9%
ov_SC03_030 1498 1498 0 1500 2498 60.0%
ov_SC03_031 1494 1494 0 1498 2517 59.5%
ov_SC03_089 1494 1494 0 1501 2584 58.1%
ov_SC03_090 1494 1494 0 1502 2628 57.2%
ov_SC03_091 1494 1494 0 1502 2643 56.8%
ov_SC03_092 1494 1494 0 1506 2590 58.1%
ov_SC03_093 1494 1494 0 1498 2566 58.4%
ov_SC03_094 1494 1494 0 1500 2579 58.2%
ov_SC03_095 1494 1494 0 1497 2477 60.4%
ov_SC03_096 1494 1494 0 1497 2468 60.7%
ov_SC03_097 1494 1494 0 1501 2606 57.6%
ov_SC03_098 1494 1494 0 1497 2544 58.8%
ov_SC03_099 1494 1494 0 1497 2507 59.7%
ov_SC03_100 1494 1494 0 1498 2542 58.9%
ov_SC03_101 1494 1494 0 1498 2531 59.2%
ov_SC03_102 1494 1494 0 1497 2495 60.0%
ov_SC03_103 1496 1496 0 1499 2513 59.6%
ov_SC03_104 1494 1494 0 1501 2619 57.3%
ov_SC03_105 1494 1494 0 1501 2600 57.7%
ov_SC03_108 1494 1494 0 1494 2446 61.1%
ov_SC03_109 1494 1494 0 1496 2426 61.7%
ov_SC03_110 1494 1494 0 1494 2471 60.5%
ov_SC03_111 1494 1494 0 1497 2513 59.6%
ov_SC03_112 1496 1496 0 1498 2529 59.2%
ov_SC03_113 1496 1496 0 1499 2471 60.7%
ov_SC03_114 1494 1494 0 1496 2417 61.9%
ov_SC03_115 1494 1494 0 1496 2475 60.4%
ov_SC03_116 1494 1494 0 1497 2441 61.3%
ov_SC03_117 1494 1494 0 1500 2560 58.6%
ov_SC03_118 1494 1494 0 1507 2688 56.1%
ov_SC03_119 1494 1494 0 1507 2688 56.1%
ov_SC03_121 1494 1494 0 1497 2462 60.8%
ov_SC03_124 1490 1490 0 1510 2744 55.0%
ov_SC03_125 1494 1494 0 1506 2591 58.1%
ov_SC03_126 1494 1494 0 1495 2425 61.6%
ov_SC04_000 1498 1498 0 1507 2547 59.2%
ov_SC04_002 1494 1494 0 1498 2639 56.8%
ov_SC04_003 1494 1494 0 1498 2505 59.8%
ov_SC04_004 1494 1494 0 1496 2561 58.4%
ov_SC04_005 1494 1494 0 1500 2615 57.4%
ov_SC04_006 1494 1494 0 1496 2456 60.9%
ov_SC04_007 1494 1494 0 1498 2572 58.2%
ov_SC04_008 1494 1494 0 1494 2417 61.8%
ov_SC04_009 1494 1494 0 1497 2443 61.3%
ov_SC04_010 1494 1494 0 1495 2421 61.8%
ov_SC04_011 1494 1494 0 1500 2806 53.5%
ov_SC04_012 1494 1494 0 1495 2422 61.7%
ov_SC04_015 1494 1494 0 1506 2614 57.6%
ov_SC04_016 1494 1494 0 1496 2442 61.3%
ov_SC04_018 1494 1494 0 1507 2858 52.7%
ov_SC04_019 1494 1494 0 1507 2858 52.7%
ov_SC04_020 1494 1494 0 1506 2570 58.6%
ov_SC04_021 1494 1494 0 1495 2425 61.6%
ov_SC05_000 1498 1498 0 1501 2422 62.0%
ov_SC05_001 1494 1494 0 1499 2577 58.2%
ov_SC05_002 1494 1494 0 1497 2445 61.2%
ov_SC05_003 1494 1494 0 1495 2484 60.2%
ov_SC05_004 1494 1494 0 1496 2467 60.6%
ov_SC05_005 1494 1494 0 1495 2494 59.9%
ov_SC05_006 1494 1494 0 1494 2432 61.4%
ov_SC05_007 1494 1494 0 1499 2485 60.3%
ov_SC05_008 1494 1494 0 1496 2546 58.8%
ov_SC05_009 1494 1494 0 1498 2440 61.4%
ov_SC05_010 1494 1494 0 1498 2591 57.8%
ov_SC05_011 1494 1494 0 1495 2411 62.0%
ov_SC05_017 1490 1490 0 1502 2845 52.8%
ov_SC05_018 1494 1494 0 1507 2676 56.3%
ov_SC05_019 1494 1494 0 1495 2425 61.6%
ov_SC06_000 1498 1498 0 1506 2692 55.9%
ov_SC06_006 1494 1494 0 1495 2514 59.5%
ov_SC06_008 1496 1496 0 1502 2544 59.0%
ov_SC06_010 1494 1494 0 1499 2520 59.5%
ov_SC06_011 1494 1494 0 1498 2471 60.6%
ov_SC06_013 1494 1494 0 1495 2427 61.6%
ov_SC06_014 1494 1494 0 1496 2455 60.9%
ov_SC06_015 1494 1494 0 1494 2423 61.7%
ov_SC06_016 1494 1494 0 1496 2552 58.6%
ov_SC06_018 1494 1494 0 1502 2668 56.3%
ov_SC06_020 1494 1494 0 1495 2521 59.3%
ov_SC06_022 1494 1494 0 1502 2645 56.8%
ov_SC06_024 1494 1494 0 1500 2670 56.2%
ov_SC06_025 1494 1494 0 1499 2575 58.2%
ov_SC06_027 1494 1494 0 1495 2410 62.0%
ov_SC06_029 1494 1494 0 1506 2665 56.5%
ov_SC06_030 1494 1494 0 1494 2459 60.8%
ov_SC06_032 1494 1494 0 1501 2661 56.4%
ov_SC06_033 1494 1494 0 1501 2634 57.0%
ov_SC07_000 1498 1498 0 1500 2522 59.5%
ov_SC07_001 1494 1494 0 1496 2457 60.9%
ov_SC07_002 1494 1494 0 1498 2582 58.0%
ov_SC07_008 1494 1494 0 1494 2388 62.6%
ov_SC07_009 1494 1494 0 1496 2432 61.5%
Reference in New Issue View Git Blame Copy Permalink