mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-27 14:02:04 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
daa9b8f6720ff8ba56ff93cb403592bc2c433f1f
BFM-decomp/docs/progress.fleet.md
T
Drew T 34b8f772b4 feat(phase-31): wave Z closed — 127 banked, R22 213/213, fleet 96.1/91.8/97.11 
Wave Z: 74/75 MATCH, 72 banked first gate, 2 recovered for zero agent tokens
(§203 address-order typedef hoist; §202 alias on a DEFINITION for the §183.3
DEF-side return wall). Sibling sweep re-scoped after --only was keyed on the
atlas gid rather than family_hseq's exemplar: 3 -> 50 banked.

Harvest: 82 gap reports -> 5 laws, 16 rejected, 30 already-covered; the
adversarial verifier killed 7 of 12 claims. §204 written (510 lines).

Tooling, all negative-controlled:
  - the S46 validity gate was off the path for waves T-Z; wired into
    build_wave_atlas where cards are born, with the PRE-DRAFT-ONLY constraint
    documented (it condemns banked work if run later)
  - wave_snapshot honors the card's `sub` (9/9 legacy byte-identical, 66/66
    split-TU recovered)
  - §204-E: decl_prior's %hi/%lo arm had never fired (jal 306->306 zero
    regressions, data 0->299)
2026-08-18 15:25:49 -06:00

234 lines
12 KiB
Markdown
Raw Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
# BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)
# 213 binaries: main + resident + 211 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.
# THREE progress metrics (all matter — see the labels):
FLEET fn-count byte-ident: 352645 / 363150 = 97.11% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 12995770 / 13523865 = 96.1% (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 5373410 / 5851972 = 91.8% (82525/90929 unique fns; the DISTINCT-RE number)
MAIN game-code weighted : 16291 / 79510 = 20.5% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-08-05; caveat is R34: no independent second oracle for a PS-X EXE, NOT drift)
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 12979479 / 13444355 = 96.5%)
FLEET REAL substantive : 350475 (of which dedup-shared 254655 via 2165 groups / 254731 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 4 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 10501
FLEET matchable : 363150
| binary | REAL | shared | LINKED | byte-ident | matchable | byte-ident % |
|---|---:|---:|---:|---:|---:|---:|
| main | 329 | 2 | 959 | 1330 | 2082 | 63.9% |
| resident | 129 | 0 | 0 | 131 | 145 | 90.3% |
| md_MAIN_001 | 1 | 0 | 0 | 1 | 11 | 9.1% |
| md_MAIN_003 | 3 | 0 | 0 | 3 | 60 | 5.0% |
| md_MAIN_008 | 0 | 0 | 0 | 0 | 6 | 0.0% |
| md_MAIN_011 | 0 | 0 | 0 | 0 | 21 | 0.0% |
| md_MAIN_013 | 5 | 0 | 0 | 5 | 16 | 31.2% |
| md_MAIN_014 | 5 | 0 | 0 | 6 | 13 | 46.2% |
| md_MAIN_015 | 8 | 0 | 0 | 8 | 20 | 40.0% |
| md_MAIN_016 | 4 | 0 | 0 | 5 | 13 | 38.5% |
| md_MAIN_017 | 4 | 0 | 0 | 4 | 10 | 40.0% |
| md_MAIN_018 | 3 | 0 | 0 | 4 | 11 | 36.4% |
| md_MAIN_019 | 9 | 0 | 0 | 9 | 22 | 40.9% |
| md_MAIN_020 | 9 | 0 | 0 | 10 | 14 | 71.4% |
| md_MAIN_021 | 4 | 0 | 0 | 5 | 11 | 45.5% |
| md_MAIN_022 | 19 | 0 | 0 | 21 | 33 | 63.6% |
| md_MAIN_023 | 3 | 0 | 0 | 4 | 6 | 66.7% |
| md_MAIN_024 | 3 | 0 | 0 | 5 | 6 | 83.3% |
| md_MAIN_025 | 6 | 0 | 0 | 6 | 30 | 20.0% |
| md_MAIN_026 | 7 | 0 | 0 | 7 | 24 | 29.2% |
| md_MAIN_027 | 11 | 0 | 0 | 13 | 29 | 44.8% |
| md_MAIN_028 | 6 | 0 | 0 | 6 | 22 | 27.3% |
| md_MAIN_029 | 3 | 0 | 0 | 4 | 11 | 36.4% |
| md_MAIN_030 | 4 | 0 | 0 | 4 | 10 | 40.0% |
| md_MAIN_031 | 4 | 0 | 0 | 4 | 18 | 22.2% |
| md_MAIN_032 | 5 | 0 | 0 | 5 | 10 | 50.0% |
| md_MAIN_033 | 4 | 0 | 0 | 4 | 19 | 21.1% |
| md_MAIN_034 | 12 | 0 | 0 | 13 | 28 | 46.4% |
| md_MAIN_035 | 11 | 0 | 0 | 12 | 16 | 75.0% |
| md_MAIN_036 | 9 | 0 | 0 | 10 | 28 | 35.7% |
| md_MAIN_037 | 5 | 0 | 0 | 5 | 17 | 29.4% |
| md_MAIN_038 | 7 | 0 | 0 | 7 | 20 | 35.0% |
| md_MAIN_039 | 5 | 0 | 0 | 5 | 26 | 19.2% |
| md_MAIN_040 | 4 | 0 | 0 | 4 | 19 | 21.1% |
| md_MAIN_041 | 5 | 0 | 0 | 5 | 15 | 33.3% |
| md_MAIN_042 | 0 | 0 | 0 | 0 | 4 | 0.0% |
| md_MAIN_043 | 4 | 0 | 0 | 5 | 23 | 21.7% |
| md_MAIN_044 | 13 | 0 | 0 | 14 | 44 | 31.8% |
| md_MAIN_045 | 5 | 0 | 0 | 6 | 21 | 28.6% |
| md_MAIN_046 | 10 | 0 | 0 | 11 | 39 | 28.2% |
| md_MAIN_047 | 3 | 0 | 0 | 4 | 12 | 33.3% |
| md_SC02_009 | 5 | 0 | 0 | 5 | 40 | 12.5% |
| md_SC03_073 | 27 | 10 | 0 | 27 | 28 | 96.4% |
| md_SC03_074 | 26 | 10 | 0 | 26 | 29 | 89.7% |
| md_SC03_075 | 31 | 10 | 0 | 31 | 41 | 75.6% |
| md_SC03_076 | 35 | 0 | 0 | 37 | 66 | 56.1% |
| md_SC03_077 | 24 | 0 | 0 | 26 | 35 | 74.3% |
| md_SC03_078 | 25 | 9 | 0 | 25 | 27 | 92.6% |
| md_SC03_079 | 24 | 0 | 0 | 26 | 29 | 89.7% |
| md_SC03_132 | 25 | 0 | 0 | 27 | 28 | 96.4% |
| md_SC03_133 | 23 | 1 | 0 | 25 | 29 | 86.2% |
| md_SC03_134 | 29 | 1 | 0 | 31 | 41 | 75.6% |
| md_SC03_135 | 34 | 0 | 0 | 36 | 66 | 54.5% |
| md_SC03_136 | 24 | 0 | 0 | 26 | 35 | 74.3% |
| md_SC03_137 | 23 | 1 | 0 | 25 | 27 | 92.6% |
| md_SC03_138 | 26 | 1 | 0 | 30 | 37 | 81.1% |
| md_SC04_024 | 24 | 0 | 0 | 26 | 28 | 92.9% |
| md_SC04_025 | 22 | 0 | 0 | 24 | 29 | 82.8% |
| md_SC04_026 | 28 | 0 | 0 | 30 | 41 | 73.2% |
| md_SC04_027 | 33 | 0 | 0 | 35 | 66 | 53.0% |
| md_SC04_028 | 24 | 0 | 0 | 26 | 35 | 74.3% |
| md_SC04_029 | 22 | 0 | 0 | 24 | 27 | 88.9% |
| md_SC04_030 | 24 | 0 | 0 | 28 | 31 | 90.3% |
| md_SC05_023 | 24 | 0 | 0 | 26 | 28 | 92.9% |
| md_SC05_024 | 21 | 0 | 0 | 23 | 29 | 79.3% |
| md_SC05_025 | 27 | 0 | 0 | 29 | 41 | 70.7% |
| md_SC05_026 | 32 | 0 | 0 | 34 | 66 | 51.5% |
| md_SC05_027 | 23 | 0 | 0 | 25 | 35 | 71.4% |
| md_SC05_028 | 21 | 0 | 0 | 23 | 27 | 85.2% |
| md_SC05_029 | 23 | 0 | 0 | 27 | 31 | 87.1% |
| md_SC07_003 | 42 | 0 | 0 | 42 | 100 | 42.0% |
| md_SC07_004 | 86 | 0 | 0 | 86 | 316 | 27.2% |
| ov_MAIN_012 | 2243 | 1689 | 0 | 2322 | 2403 | 96.6% |
| ov_SC01_000 | 2391 | 1809 | 0 | 2391 | 2403 | 99.5% |
| ov_SC01_001 | 2401 | 1811 | 0 | 2403 | 2466 | 97.4% |
| ov_SC01_004 | 2399 | 1802 | 0 | 2400 | 2414 | 99.4% |
| ov_SC01_005 | 2441 | 1833 | 0 | 2441 | 2503 | 97.5% |
| ov_SC01_006 | 2440 | 1833 | 0 | 2440 | 2503 | 97.5% |
| ov_SC01_008 | 2400 | 1803 | 0 | 2402 | 2426 | 99.0% |
| ov_SC01_009 | 2428 | 1803 | 0 | 2429 | 2507 | 96.9% |
| ov_SC01_074 | 2401 | 1803 | 0 | 2403 | 2426 | 99.1% |
| ov_SC01_077 | 2570 | 1764 | 0 | 2572 | 2586 | 99.5% |
| ov_SC01_080 | 2432 | 1806 | 0 | 2432 | 2512 | 96.8% |
| ov_SC01_084 | 2473 | 1811 | 0 | 2478 | 2579 | 96.1% |
| ov_SC02_000 | 2579 | 1889 | 0 | 2579 | 2683 | 96.1% |
| ov_SC02_003 | 2566 | 1889 | 0 | 2566 | 2683 | 95.6% |
| ov_SC02_004 | 2391 | 1806 | 0 | 2391 | 2401 | 99.6% |
| ov_SC02_005 | 2625 | 1802 | 0 | 2635 | 2927 | 90.0% |
| ov_SC02_011 | 2704 | 1810 | 0 | 2714 | 2893 | 93.8% |
| ov_SC02_015 | 2402 | 1808 | 0 | 2402 | 2414 | 99.5% |
| ov_SC02_016 | 2485 | 1810 | 0 | 2488 | 2545 | 97.8% |
| ov_SC02_017 | 2582 | 1810 | 0 | 2590 | 2732 | 94.8% |
| ov_SC02_021 | 2407 | 1808 | 0 | 2407 | 2437 | 98.8% |
| ov_SC02_026 | 2515 | 1807 | 0 | 2521 | 2572 | 98.0% |
| ov_SC02_027 | 2584 | 1828 | 0 | 2593 | 2692 | 96.3% |
| ov_SC02_028 | 2595 | 1827 | 0 | 2605 | 2701 | 96.4% |
| ov_SC02_031 | 2504 | 1809 | 0 | 2509 | 2562 | 97.9% |
| ov_SC02_035 | 2497 | 1806 | 0 | 2500 | 2520 | 99.2% |
| ov_SC02_037 | 2347 | 1704 | 0 | 2429 | 2516 | 96.5% |
| ov_SC02_039 | 2405 | 1807 | 0 | 2405 | 2416 | 99.5% |
| ov_SC02_041 | 2505 | 1806 | 0 | 2508 | 2561 | 97.9% |
| ov_SC03_001 | 2714 | 1807 | 0 | 2731 | 2869 | 95.2% |
| ov_SC03_002 | 2552 | 1815 | 0 | 2567 | 2631 | 97.6% |
| ov_SC03_003 | 2402 | 1806 | 0 | 2403 | 2423 | 99.2% |
| ov_SC03_006 | 2609 | 1814 | 0 | 2618 | 2767 | 94.6% |
| ov_SC03_007 | 2500 | 1806 | 0 | 2504 | 2623 | 95.5% |
| ov_SC03_010 | 2423 | 1807 | 0 | 2423 | 2471 | 98.1% |
| ov_SC03_011 | 2436 | 1807 | 0 | 2442 | 2527 | 96.6% |
| ov_SC03_012 | 2391 | 1806 | 0 | 2392 | 2406 | 99.4% |
| ov_SC03_013 | 2427 | 1807 | 0 | 2427 | 2493 | 97.4% |
| ov_SC03_014 | 2612 | 1855 | 0 | 2612 | 2685 | 97.3% |
| ov_SC03_015 | 2387 | 1855 | 0 | 2387 | 2468 | 96.7% |
| ov_SC03_023 | 2404 | 1806 | 0 | 2405 | 2435 | 98.8% |
| ov_SC03_024 | 2544 | 1813 | 0 | 2551 | 2641 | 96.6% |
| ov_SC03_028 | 2500 | 1807 | 0 | 2504 | 2664 | 94.0% |
| ov_SC03_029 | 2521 | 1810 | 0 | 2531 | 2644 | 95.7% |
| ov_SC03_030 | 2428 | 1811 | 0 | 2430 | 2495 | 97.4% |
| ov_SC03_031 | 2449 | 1808 | 0 | 2452 | 2514 | 97.5% |
| ov_SC03_089 | 2530 | 1811 | 0 | 2537 | 2581 | 98.3% |
| ov_SC03_090 | 2554 | 1811 | 0 | 2562 | 2625 | 97.6% |
| ov_SC03_091 | 2564 | 1828 | 0 | 2572 | 2640 | 97.4% |
| ov_SC03_092 | 2516 | 1811 | 0 | 2528 | 2588 | 97.7% |
| ov_SC03_093 | 2532 | 1828 | 0 | 2536 | 2563 | 98.9% |
| ov_SC03_094 | 2527 | 1806 | 0 | 2533 | 2577 | 98.3% |
| ov_SC03_095 | 2441 | 1806 | 0 | 2444 | 2474 | 98.8% |
| ov_SC03_096 | 2438 | 1806 | 0 | 2441 | 2465 | 99.0% |
| ov_SC03_097 | 2543 | 1827 | 0 | 2550 | 2603 | 98.0% |
| ov_SC03_098 | 2518 | 1828 | 0 | 2521 | 2541 | 99.2% |
| ov_SC03_099 | 2490 | 1806 | 0 | 2493 | 2504 | 99.6% |
| ov_SC03_100 | 2525 | 1828 | 0 | 2529 | 2539 | 99.6% |
| ov_SC03_101 | 2495 | 1811 | 0 | 2499 | 2528 | 98.9% |
| ov_SC03_102 | 2473 | 1806 | 0 | 2476 | 2492 | 99.4% |
| ov_SC03_103 | 2497 | 1808 | 0 | 2500 | 2510 | 99.6% |
| ov_SC03_104 | 2557 | 1811 | 0 | 2564 | 2616 | 98.0% |
| ov_SC03_105 | 2478 | 1807 | 0 | 2485 | 2597 | 95.7% |
| ov_SC03_107 | 2313 | 1689 | 0 | 2396 | 2497 | 96.0% |
| ov_SC03_108 | 2411 | 1807 | 0 | 2411 | 2443 | 98.7% |
| ov_SC03_109 | 2409 | 1807 | 0 | 2411 | 2424 | 99.5% |
| ov_SC03_110 | 2446 | 1830 | 0 | 2446 | 2468 | 99.1% |
| ov_SC03_111 | 2482 | 1806 | 0 | 2485 | 2510 | 99.0% |
| ov_SC03_112 | 2464 | 1808 | 0 | 2466 | 2526 | 97.6% |
| ov_SC03_113 | 2445 | 1808 | 0 | 2448 | 2468 | 99.2% |
| ov_SC03_114 | 2391 | 1806 | 0 | 2393 | 2415 | 99.1% |
| ov_SC03_115 | 2440 | 1806 | 0 | 2442 | 2472 | 98.8% |
| ov_SC03_116 | 2404 | 1806 | 0 | 2407 | 2438 | 98.7% |
| ov_SC03_117 | 2484 | 1806 | 0 | 2490 | 2557 | 97.4% |
| ov_SC03_118 | 2582 | 1845 | 0 | 2583 | 2684 | 96.2% |
| ov_SC03_119 | 2574 | 1845 | 0 | 2575 | 2685 | 95.9% |
| ov_SC03_121 | 2422 | 1807 | 0 | 2424 | 2459 | 98.6% |
| ov_SC03_124 | 2597 | 1802 | 0 | 2617 | 2741 | 95.5% |
| ov_SC03_125 | 2536 | 1815 | 0 | 2548 | 2588 | 98.5% |
| ov_SC03_126 | 2406 | 1810 | 0 | 2406 | 2423 | 99.3% |
| ov_SC04_000 | 2479 | 1811 | 0 | 2488 | 2546 | 97.7% |
| ov_SC04_002 | 2542 | 1806 | 0 | 2546 | 2636 | 96.6% |
| ov_SC04_003 | 2445 | 1813 | 0 | 2448 | 2502 | 97.8% |
| ov_SC04_004 | 2479 | 1807 | 0 | 2481 | 2558 | 97.0% |
| ov_SC04_005 | 2531 | 1806 | 0 | 2537 | 2612 | 97.1% |
| ov_SC04_006 | 2432 | 1812 | 0 | 2434 | 2454 | 99.2% |
| ov_SC04_007 | 2510 | 1807 | 0 | 2514 | 2569 | 97.9% |
| ov_SC04_008 | 2404 | 1806 | 0 | 2404 | 2415 | 99.5% |
| ov_SC04_009 | 2428 | 1806 | 0 | 2431 | 2441 | 99.6% |
| ov_SC04_010 | 2405 | 1806 | 0 | 2406 | 2419 | 99.5% |
| ov_SC04_011 | 2612 | 1811 | 0 | 2618 | 2803 | 93.4% |
| ov_SC04_012 | 2404 | 1806 | 0 | 2405 | 2420 | 99.4% |
| ov_SC04_015 | 2545 | 1807 | 0 | 2556 | 2611 | 97.9% |
| ov_SC04_016 | 2403 | 1806 | 0 | 2405 | 2440 | 98.6% |
| ov_SC04_018 | 2734 | 1892 | 0 | 2734 | 2857 | 95.7% |
| ov_SC04_019 | 2725 | 1892 | 0 | 2725 | 2857 | 95.4% |
| ov_SC04_020 | 2522 | 1815 | 0 | 2534 | 2567 | 98.7% |
| ov_SC04_021 | 2404 | 1810 | 0 | 2404 | 2423 | 99.2% |
| ov_SC05_000 | 2407 | 1810 | 0 | 2410 | 2422 | 99.5% |
| ov_SC05_001 | 2499 | 1808 | 0 | 2504 | 2574 | 97.3% |
| ov_SC05_002 | 2431 | 1806 | 0 | 2434 | 2442 | 99.7% |
| ov_SC05_003 | 2429 | 1806 | 0 | 2430 | 2481 | 97.9% |
| ov_SC05_004 | 2433 | 1806 | 0 | 2435 | 2464 | 98.8% |
| ov_SC05_005 | 2446 | 1812 | 0 | 2447 | 2491 | 98.2% |
| ov_SC05_006 | 2426 | 1808 | 0 | 2426 | 2430 | 99.8% |
| ov_SC05_007 | 2439 | 1806 | 0 | 2444 | 2482 | 98.5% |
| ov_SC05_008 | 2444 | 1806 | 0 | 2446 | 2543 | 96.2% |
| ov_SC05_009 | 2412 | 1806 | 0 | 2416 | 2438 | 99.1% |
| ov_SC05_010 | 2461 | 1807 | 0 | 2465 | 2588 | 95.2% |
| ov_SC05_011 | 2397 | 1806 | 0 | 2398 | 2409 | 99.5% |
| ov_SC05_017 | 2682 | 1806 | 0 | 2693 | 2842 | 94.8% |
| ov_SC05_018 | 2558 | 1814 | 0 | 2571 | 2673 | 96.2% |
| ov_SC05_019 | 2404 | 1810 | 0 | 2404 | 2423 | 99.2% |
| ov_SC06_000 | 2543 | 1817 | 0 | 2546 | 2691 | 94.6% |
| ov_SC06_006 | 2441 | 1807 | 0 | 2442 | 2511 | 97.3% |
| ov_SC06_008 | 2502 | 1808 | 0 | 2508 | 2542 | 98.7% |
| ov_SC06_010 | 2473 | 1806 | 0 | 2478 | 2517 | 98.5% |
| ov_SC06_011 | 2418 | 1806 | 0 | 2422 | 2468 | 98.1% |
| ov_SC06_013 | 2407 | 1806 | 0 | 2408 | 2425 | 99.3% |
| ov_SC06_014 | 2418 | 1806 | 0 | 2420 | 2453 | 98.7% |
| ov_SC06_015 | 2412 | 1806 | 0 | 2412 | 2421 | 99.6% |
| ov_SC06_016 | 2474 | 1807 | 0 | 2476 | 2549 | 97.1% |
| ov_SC06_018 | 2556 | 1807 | 0 | 2563 | 2665 | 96.2% |
| ov_SC06_020 | 2474 | 1808 | 0 | 2475 | 2518 | 98.3% |
| ov_SC06_022 | 2530 | 1806 | 0 | 2538 | 2642 | 96.1% |
| ov_SC06_024 | 2554 | 1806 | 0 | 2560 | 2667 | 96.0% |
| ov_SC06_025 | 2474 | 1806 | 0 | 2479 | 2572 | 96.4% |
| ov_SC06_027 | 2392 | 1806 | 0 | 2393 | 2408 | 99.4% |
| ov_SC06_029 | 2520 | 1807 | 0 | 2532 | 2662 | 95.1% |
| ov_SC06_030 | 2415 | 1807 | 0 | 2415 | 2456 | 98.3% |
| ov_SC06_032 | 2544 | 1807 | 0 | 2551 | 2658 | 96.0% |
| ov_SC06_033 | 2533 | 1807 | 0 | 2540 | 2631 | 96.5% |
| ov_SC07_000 | 2439 | 1811 | 0 | 2441 | 2521 | 96.8% |
| ov_SC07_001 | 2408 | 1807 | 0 | 2410 | 2454 | 98.2% |
| ov_SC07_002 | 2467 | 1807 | 0 | 2471 | 2579 | 95.8% |
| ov_SC07_006 | 2330 | 1625 | 0 | 2410 | 2456 | 98.1% |
| ov_SC07_007 | 2395 | 1660 | 0 | 2479 | 2612 | 94.9% |
| ov_SC07_008 | 2386 | 1806 | 0 | 2386 | 2386 | 100.0% |
| ov_SC07_009 | 2400 | 1806 | 0 | 2402 | 2430 | 98.8% |
| ov_SC07_010 | 2324 | 1682 | 0 | 2406 | 2523 | 95.4% |
| ov_SC07_011 | 2341 | 1659 | 0 | 2421 | 2448 | 98.9% |
Reference in New Issue View Git Blame Copy Permalink