mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-27 22:45:39 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
cb1dcaa5aa14b9aa7ca9975396e3a662ccf1eb50
BFM-decomp/docs/progress.fleet.md
T
Drew T 09d96b1531 feat(phase-30 S7): wave 4a — 23 heads + 251 members banked ×N; cookbook §136 (the local-variable lever) 
- WAVE 4a (T6, the 33 high-value B-shape families, 61-120 ins / >=10 members):
  33 targets, 46 agents, 4.44M tokens, 29 min -> 29 claimed match_one MATCH.
  Whole-binary gate BANKED 23/33 (70%); family_sweep --hseq --band all propagated
  251 member-matches across 69 overlays (13 failed, 4 STRUCT skipped by design).
  Total 274 function-instances from 33 drafted targets.
- R22 clean-fleet: make clean + extract-all + check-all -> 140 passed, 0 failed of 140.
  make report: fn-count 95.49% / instr 92.6% / distinct 85.9% (76,180 unique fns);
  dedup 1905 validated / 0 failed; 0 NON_MATCHING in any default build (G4).
- COOKBOOK §136 (R30, distilled in-session from 25 banked functions' index-gap reports):
  the wave's finding is that in the 60-120-ins band most "regalloc residuals" are decided
  by HOW MANY C LOCALS AND AT WHAT SCOPE, not by register pins (local-alloc.c:472 promotes
  any pseudo with REG_N_DEATHS>1 to a global allocno). 19 byte-verified idioms: 6 splitting/
  merging rules, 6 type-form rules, 5 scheduling rules refining §135-2/§135-4, 2 declaration-
  surface rules. One case explicitly REFUTES the pin as the lever for a redundant copy.
  cookbook-index regenerated 364 -> 370 sections, --check green.
- TWO SELF-CORRECTIONS (R37/R14), both caught before they could mislead sizing:
  (1) I wrote the tier split from the workflow's by_tier, which counts CLAIMED matches (29)
      not banks (23). Derived per-function: Opus-direct 10/14, Haiku-direct 3/8, Opus
      escalation-after-Haiku-miss 10/11. The operative number is the 10-of-11 rescue rate;
      on this band Haiku is triage, not a substitute (it is == Opus only at <=50 ins).
  (2) The gate printed "1/1 banked FAILED: func_X" on single-draft groups (the known
      double-list artifact) -> bank set DERIVED from corpus.stubs instead. Totals agreed.
- TOOLING: the wave scripts now parse args-as-string and assert Array.isArray, so the
  roadmap's standing "args must be an array" gotcha cannot silently kill a future wave
  (it killed wave 4a's first launch in 60ms with 0 agents).
- tools-health green + fail-closed before matching (corpus+resident 0 PHANTOM/0 TRUNCATED,
  audit-binaries 140/140 citizens, cdecl, report/lint/dedup).
2026-08-03 08:57:16 -06:00

9.1 KiB
Raw Blame History

BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)

140 binaries: main + resident + 138 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: 337779 / 353721 = 95.49% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12168323 / 13141652 = 92.6% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4841288 / 5634875 = 85.9% (76180/87459 unique fns; the DISTINCT-RE number) MAIN game-code weighted : 436 / 60201 = 0.7% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-06-14; 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: 12167887 / 13081451 = 93.0%)

FLEET REAL substantive : 335924 (of which dedup-shared 240422 via 1905 groups / 240496 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 15935 FLEET matchable : 353721

binary REAL shared LINKED byte-ident matchable byte-ident %
main 54 2 959 1055 2096 50.3%
resident 129 0 0 131 145 90.3%
ov_SC01_000 2377 1748 0 2377 2403 98.9%
ov_SC01_001 2385 1749 0 2387 2466 96.8%
ov_SC01_004 2376 1740 0 2377 2414 98.5%
ov_SC01_005 2406 1763 0 2406 2503 96.1%
ov_SC01_006 2406 1763 0 2406 2503 96.1%
ov_SC01_008 2376 1740 0 2378 2426 98.0%
ov_SC01_009 2402 1741 0 2403 2507 95.9%
ov_SC01_074 2382 1741 0 2384 2425 98.3%
ov_SC01_077 2536 1707 0 2538 2586 98.1%
ov_SC01_080 2412 1744 0 2412 2512 96.0%
ov_SC01_084 2436 1749 0 2441 2579 94.6%
ov_SC02_000 2499 1788 0 2499 2683 93.1%
ov_SC02_003 2499 1788 0 2499 2683 93.1%
ov_SC02_004 2377 1744 0 2377 2401 99.0%
ov_SC02_005 2517 1740 0 2527 2927 86.3%
ov_SC02_011 2586 1747 0 2597 2893 89.8%
ov_SC02_015 2386 1746 0 2386 2414 98.8%
ov_SC02_016 2458 1746 0 2461 2545 96.7%
ov_SC02_017 2529 1746 0 2537 2732 92.9%
ov_SC02_021 2391 1746 0 2391 2437 98.1%
ov_SC02_026 2458 1744 0 2464 2572 95.8%
ov_SC02_027 2512 1744 0 2521 2692 93.6%
ov_SC02_028 2509 1744 0 2519 2701 93.3%
ov_SC02_031 2468 1745 0 2473 2562 96.5%
ov_SC02_035 2437 1744 0 2440 2520 96.8%
ov_SC02_039 2381 1744 0 2381 2416 98.6%
ov_SC02_041 2447 1744 0 2450 2561 95.7%
ov_SC03_001 2567 1745 0 2584 2869 90.1%
ov_SC03_002 2466 1749 0 2481 2631 94.3%
ov_SC03_003 2386 1744 0 2387 2423 98.5%
ov_SC03_006 2521 1750 0 2530 2767 91.4%
ov_SC03_007 2447 1744 0 2451 2623 93.4%
ov_SC03_010 2399 1744 0 2399 2471 97.1%
ov_SC03_011 2403 1744 0 2409 2527 95.3%
ov_SC03_012 2376 1744 0 2377 2406 98.8%
ov_SC03_013 2405 1744 0 2405 2493 96.5%
ov_SC03_014 2535 1772 0 2535 2685 94.4%
ov_SC03_015 2537 1772 0 2537 2685 94.5%
ov_SC03_023 2388 1744 0 2389 2435 98.1%
ov_SC03_024 2483 1749 0 2490 2641 94.3%
ov_SC03_028 2431 1744 0 2435 2664 91.4%
ov_SC03_029 2477 1746 0 2487 2644 94.1%
ov_SC03_030 2404 1749 0 2406 2495 96.4%
ov_SC03_031 2430 1744 0 2433 2514 96.8%
ov_SC03_089 2467 1749 0 2474 2581 95.9%
ov_SC03_090 2474 1749 0 2482 2625 94.6%
ov_SC03_091 2486 1744 0 2494 2640 94.5%
ov_SC03_092 2481 1749 0 2493 2587 96.4%
ov_SC03_093 2474 1744 0 2478 2563 96.7%
ov_SC03_094 2453 1744 0 2459 2577 95.4%
ov_SC03_095 2412 1744 0 2415 2474 97.6%
ov_SC03_096 2409 1744 0 2412 2465 97.8%
ov_SC03_097 2493 1744 0 2500 2603 96.0%
ov_SC03_098 2462 1744 0 2465 2541 97.0%
ov_SC03_099 2438 1744 0 2441 2504 97.5%
ov_SC03_100 2477 1744 0 2481 2539 97.7%
ov_SC03_101 2452 1749 0 2456 2528 97.2%
ov_SC03_102 2429 1744 0 2432 2492 97.6%
ov_SC03_103 2445 1746 0 2448 2510 97.5%
ov_SC03_104 2490 1749 0 2497 2616 95.5%
ov_SC03_105 2419 1744 0 2426 2597 93.4%
ov_SC03_108 2384 1744 0 2384 2443 97.6%
ov_SC03_109 2390 1744 0 2392 2424 98.7%
ov_SC03_110 2416 1744 0 2416 2468 97.9%
ov_SC03_111 2442 1744 0 2445 2510 97.4%
ov_SC03_112 2411 1746 0 2413 2526 95.5%
ov_SC03_113 2402 1746 0 2405 2468 97.4%
ov_SC03_114 2376 1744 0 2378 2415 98.5%
ov_SC03_115 2410 1744 0 2412 2472 97.6%
ov_SC03_116 2384 1744 0 2387 2438 97.9%
ov_SC03_117 2440 1744 0 2446 2557 95.7%
ov_SC03_118 2505 1768 0 2506 2685 93.3%
ov_SC03_119 2501 1768 0 2502 2685 93.2%
ov_SC03_121 2391 1744 0 2394 2459 97.4%
ov_SC03_124 2501 1740 0 2521 2741 92.0%
ov_SC03_125 2453 1744 0 2465 2588 95.2%
ov_SC03_126 2387 1746 0 2387 2423 98.5%
ov_SC04_000 2454 1748 0 2463 2546 96.7%
ov_SC04_002 2472 1744 0 2476 2636 93.9%
ov_SC04_003 2420 1744 0 2424 2502 96.9%
ov_SC04_004 2449 1744 0 2451 2558 95.8%
ov_SC04_005 2468 1744 0 2474 2612 94.7%
ov_SC04_006 2412 1744 0 2414 2454 98.4%
ov_SC04_007 2461 1744 0 2465 2569 96.0%
ov_SC04_008 2385 1744 0 2385 2415 98.8%
ov_SC04_009 2411 1744 0 2414 2441 98.9%
ov_SC04_010 2387 1744 0 2388 2419 98.7%
ov_SC04_011 2483 1749 0 2489 2803 88.8%
ov_SC04_012 2383 1744 0 2384 2420 98.5%
ov_SC04_015 2467 1745 0 2478 2611 94.9%
ov_SC04_016 2385 1744 0 2387 2440 97.8%
ov_SC04_018 2573 1780 0 2573 2857 90.1%
ov_SC04_019 2570 1780 0 2570 2857 90.0%
ov_SC04_020 2440 1744 0 2452 2567 95.5%
ov_SC04_021 2387 1746 0 2387 2423 98.5%
ov_SC05_000 2389 1748 0 2392 2422 98.8%
ov_SC05_001 2457 1744 0 2462 2574 95.6%
ov_SC05_002 2410 1744 0 2413 2442 98.8%
ov_SC05_003 2396 1744 0 2397 2481 96.6%
ov_SC05_004 2395 1744 0 2397 2464 97.3%
ov_SC05_005 2419 1749 0 2420 2491 97.1%
ov_SC05_006 2407 1744 0 2407 2430 99.1%
ov_SC05_007 2409 1744 0 2414 2482 97.3%
ov_SC05_008 2430 1744 0 2432 2543 95.6%
ov_SC05_009 2395 1744 0 2399 2438 98.4%
ov_SC05_010 2426 1744 0 2430 2588 93.9%
ov_SC05_011 2384 1744 0 2385 2409 99.0%
ov_SC05_017 2552 1741 0 2563 2842 90.2%
ov_SC05_018 2472 1744 0 2485 2673 93.0%
ov_SC05_019 2387 1746 0 2387 2423 98.5%
ov_SC06_000 2501 1753 0 2504 2691 93.1%
ov_SC06_006 2408 1744 0 2409 2511 95.9%
ov_SC06_008 2451 1746 0 2457 2542 96.7%
ov_SC06_010 2426 1744 0 2431 2517 96.6%
ov_SC06_011 2398 1744 0 2402 2468 97.3%
ov_SC06_013 2389 1744 0 2390 2425 98.6%
ov_SC06_014 2398 1744 0 2400 2453 97.8%
ov_SC06_015 2394 1744 0 2394 2421 98.9%
ov_SC06_016 2424 1744 0 2426 2549 95.2%
ov_SC06_018 2445 1746 0 2452 2665 92.0%
ov_SC06_020 2419 1746 0 2420 2518 96.1%
ov_SC06_022 2441 1744 0 2449 2642 92.7%
ov_SC06_024 2453 1744 0 2459 2667 92.2%
ov_SC06_025 2432 1744 0 2437 2572 94.8%
ov_SC06_027 2378 1744 0 2379 2408 98.8%
ov_SC06_029 2445 1744 0 2457 2662 92.3%
ov_SC06_030 2391 1744 0 2391 2456 97.4%
ov_SC06_032 2437 1745 0 2444 2658 91.9%
ov_SC06_033 2437 1745 0 2444 2631 92.9%
ov_SC07_000 2413 1748 0 2415 2521 95.8%
ov_SC07_001 2390 1744 0 2392 2454 97.5%
ov_SC07_002 2430 1744 0 2434 2579 94.4%
ov_SC07_006 2281 1560 0 2361 2456 96.1%
ov_SC07_007 2310 1592 0 2394 2613 91.6%
ov_SC07_008 2373 1744 0 2373 2386 99.5%
ov_SC07_009 2382 1744 0 2384 2430 98.1%
ov_SC07_010 2292 1614 0 2375 2524 94.1%
ov_SC07_011 2311 1591 0 2391 2449 97.6%
Reference in New Issue View Git Blame Copy Permalink