Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 501d112758 docs(phase-21): session handoff + queued 10h run (fleet 60.93%) — crash-recovery for fresh session
- CURRENT_PHASE ★ CURRENT STATE: overnight loop summary (59.05->60.93%, ~55 fns, 12 waves), the 3
  gate-safe tooling upgrades + 6 idioms, the tractable-pool-depleting finding, exact resume cycle
- ▶ QUEUED 10-HOUR RUN: fuel verified (80 tractable+28 giants+9 o0 cached, grinder 21 eligible),
  staged first batch, paste-ready fresh-session start (grinder + worker loop, auto-rotate to giants)
- T6 marked done (the loop ran); T7 (close) pending Drew's gate-2. NOT STARTED (STOP present).
2026-06-22 07:47:14 -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 : 207946 (of which dedup-shared 207442 via 1560 groups / 207486 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 209593 / 344010 = 60.93% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 134410 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 1552 1552 0 1552 2403 64.6%
ov_SC01_001 1552 1552 0 1554 2467 63.0%
ov_SC01_004 1544 1544 0 1545 2416 63.9%
ov_SC01_005 1551 1551 0 1558 2504 62.2%
ov_SC01_006 1551 1551 0 1558 2504 62.2%
ov_SC01_008 1544 1544 0 1546 2428 63.7%
ov_SC01_009 1544 1544 0 1545 2510 61.6%
ov_SC01_074 1544 1544 0 1546 2427 63.7%
ov_SC01_077 1841 1512 0 1843 2586 71.3%
ov_SC01_080 1548 1548 0 1548 2515 61.6%
ov_SC01_084 1548 1548 0 1553 2581 60.2%
ov_SC02_000 1552 1552 0 1559 2684 58.1%
ov_SC02_003 1552 1552 0 1559 2684 58.1%
ov_SC02_004 1548 1548 0 1548 2403 64.4%
ov_SC02_005 1544 1544 0 1554 2930 53.0%
ov_SC02_011 1550 1550 0 1562 2896 53.9%
ov_SC02_015 1550 1550 0 1550 2416 64.2%
ov_SC02_016 1550 1550 0 1553 2548 60.9%
ov_SC02_017 1550 1550 0 1558 2735 57.0%
ov_SC02_021 1550 1550 0 1550 2439 63.6%
ov_SC02_026 1548 1548 0 1554 2575 60.3%
ov_SC02_027 1548 1548 0 1557 2695 57.8%
ov_SC02_028 1548 1548 0 1558 2704 57.6%
ov_SC02_031 1548 1548 0 1554 2565 60.6%
ov_SC02_035 1548 1548 0 1551 2523 61.5%
ov_SC02_039 1548 1548 0 1548 2418 64.0%
ov_SC02_041 1548 1548 0 1551 2563 60.5%
ov_SC03_001 1548 1548 0 1566 2870 54.6%
ov_SC03_002 1552 1552 0 1568 2632 59.6%
ov_SC03_003 1548 1548 0 1549 2425 63.9%
ov_SC03_006 1554 1554 0 1563 2768 56.5%
ov_SC03_007 1548 1548 0 1552 2626 59.1%
ov_SC03_010 1548 1548 0 1548 2472 62.6%
ov_SC03_011 1548 1548 0 1554 2530 61.4%
ov_SC03_012 1548 1548 0 1549 2408 64.3%
ov_SC03_013 1548 1548 0 1548 2495 62.0%
ov_SC03_014 1548 1548 0 1558 2688 58.0%
ov_SC03_015 1548 1548 0 1558 2688 58.0%
ov_SC03_023 1548 1548 0 1549 2437 63.6%
ov_SC03_024 1548 1548 0 1560 2644 59.0%
ov_SC03_028 1548 1548 0 1552 2667 58.2%
ov_SC03_029 1550 1550 0 1560 2647 58.9%
ov_SC03_030 1552 1552 0 1554 2498 62.2%
ov_SC03_031 1548 1548 0 1552 2517 61.7%
ov_SC03_089 1548 1548 0 1555 2584 60.2%
ov_SC03_090 1548 1548 0 1556 2628 59.2%
ov_SC03_091 1548 1548 0 1556 2643 58.9%
ov_SC03_092 1548 1548 0 1560 2590 60.2%
ov_SC03_093 1548 1548 0 1552 2566 60.5%
ov_SC03_094 1548 1548 0 1554 2579 60.3%
ov_SC03_095 1548 1548 0 1551 2477 62.6%
ov_SC03_096 1548 1548 0 1551 2468 62.8%
ov_SC03_097 1548 1548 0 1555 2606 59.7%
ov_SC03_098 1548 1548 0 1551 2544 61.0%
ov_SC03_099 1548 1548 0 1551 2507 61.9%
ov_SC03_100 1548 1548 0 1552 2542 61.1%
ov_SC03_101 1548 1548 0 1552 2531 61.3%
ov_SC03_102 1548 1548 0 1551 2495 62.2%
ov_SC03_103 1550 1550 0 1553 2513 61.8%
ov_SC03_104 1548 1548 0 1555 2619 59.4%
ov_SC03_105 1548 1548 0 1555 2600 59.8%
ov_SC03_108 1548 1548 0 1548 2446 63.3%
ov_SC03_109 1548 1548 0 1550 2426 63.9%
ov_SC03_110 1548 1548 0 1548 2471 62.6%
ov_SC03_111 1548 1548 0 1551 2513 61.7%
ov_SC03_112 1550 1550 0 1552 2529 61.4%
ov_SC03_113 1550 1550 0 1553 2471 62.8%
ov_SC03_114 1548 1548 0 1550 2417 64.1%
ov_SC03_115 1548 1548 0 1550 2475 62.6%
ov_SC03_116 1548 1548 0 1551 2441 63.5%
ov_SC03_117 1548 1548 0 1554 2560 60.7%
ov_SC03_118 1548 1548 0 1561 2688 58.1%
ov_SC03_119 1548 1548 0 1561 2688 58.1%
ov_SC03_121 1548 1548 0 1551 2462 63.0%
ov_SC03_124 1544 1544 0 1564 2744 57.0%
ov_SC03_125 1548 1548 0 1560 2591 60.2%
ov_SC03_126 1548 1548 0 1549 2425 63.9%
ov_SC04_000 1552 1552 0 1561 2547 61.3%
ov_SC04_002 1548 1548 0 1552 2639 58.8%
ov_SC04_003 1548 1548 0 1552 2505 62.0%
ov_SC04_004 1548 1548 0 1550 2561 60.5%
ov_SC04_005 1548 1548 0 1554 2615 59.4%
ov_SC04_006 1548 1548 0 1550 2456 63.1%
ov_SC04_007 1548 1548 0 1552 2572 60.3%
ov_SC04_008 1548 1548 0 1548 2417 64.0%
ov_SC04_009 1548 1548 0 1551 2443 63.5%
ov_SC04_010 1548 1548 0 1549 2421 64.0%
ov_SC04_011 1548 1548 0 1554 2806 55.4%
ov_SC04_012 1548 1548 0 1549 2422 64.0%
ov_SC04_015 1548 1548 0 1560 2614 59.7%
ov_SC04_016 1548 1548 0 1550 2442 63.5%
ov_SC04_018 1548 1548 0 1561 2858 54.6%
ov_SC04_019 1548 1548 0 1561 2858 54.6%
ov_SC04_020 1548 1548 0 1560 2570 60.7%
ov_SC04_021 1548 1548 0 1549 2425 63.9%
ov_SC05_000 1552 1552 0 1555 2422 64.2%
ov_SC05_001 1548 1548 0 1553 2577 60.3%
ov_SC05_002 1548 1548 0 1551 2445 63.4%
ov_SC05_003 1548 1548 0 1549 2484 62.4%
ov_SC05_004 1548 1548 0 1550 2467 62.8%
ov_SC05_005 1548 1548 0 1549 2494 62.1%
ov_SC05_006 1548 1548 0 1548 2432 63.7%
ov_SC05_007 1548 1548 0 1553 2485 62.5%
ov_SC05_008 1548 1548 0 1550 2546 60.9%
ov_SC05_009 1548 1548 0 1552 2440 63.6%
ov_SC05_010 1548 1548 0 1552 2591 59.9%
ov_SC05_011 1548 1548 0 1549 2411 64.2%
ov_SC05_017 1544 1544 0 1556 2845 54.7%
ov_SC05_018 1548 1548 0 1561 2676 58.3%
ov_SC05_019 1548 1548 0 1549 2425 63.9%
ov_SC06_000 1552 1552 0 1560 2692 57.9%
ov_SC06_006 1548 1548 0 1549 2514 61.6%
ov_SC06_008 1550 1550 0 1556 2544 61.2%
ov_SC06_010 1548 1548 0 1553 2520 61.6%
ov_SC06_011 1548 1548 0 1552 2471 62.8%
ov_SC06_013 1548 1548 0 1549 2427 63.8%
ov_SC06_014 1548 1548 0 1550 2455 63.1%
ov_SC06_015 1548 1548 0 1548 2423 63.9%
ov_SC06_016 1548 1548 0 1550 2552 60.7%
ov_SC06_018 1548 1548 0 1556 2668 58.3%
ov_SC06_020 1548 1548 0 1549 2521 61.4%
ov_SC06_022 1548 1548 0 1556 2645 58.8%
ov_SC06_024 1548 1548 0 1554 2670 58.2%
ov_SC06_025 1548 1548 0 1553 2575 60.3%
ov_SC06_027 1548 1548 0 1549 2410 64.3%
ov_SC06_029 1548 1548 0 1560 2665 58.5%
ov_SC06_030 1548 1548 0 1548 2459 63.0%
ov_SC06_032 1548 1548 0 1555 2661 58.4%
ov_SC06_033 1548 1548 0 1555 2634 59.0%
ov_SC07_000 1552 1552 0 1554 2522 61.6%
ov_SC07_001 1548 1548 0 1550 2457 63.1%
ov_SC07_002 1548 1548 0 1552 2582 60.1%
ov_SC07_008 1548 1548 0 1548 2388 64.8%
ov_SC07_009 1548 1548 0 1550 2432 63.7%