mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-28 06:49:47 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
6e181db77169de5e7c9665b624265de1098ee04e
BFM-decomp/docs/progress.fleet.md
T
Drew T 6e181db771 feat(phase-30 S6f): B-shaped wave — Haiku drafts, Opus closes, +544 members (R22 140/140) 
- POOL (derived from the regenerated map): 36 families / 28,829 templatable ins, kind=modal (no
  member matched ANYWHERE so no sweep could reach them), >=20 members, <=60 ins, non-jr, and NOT
  ONE exemplar in ov_SC01_077. Hand-calibrated 3/3 one-shot before scaling (Phase-15/18 discipline).
- WAVE (ultracode; Haiku drafters + Opus escalation, 24 targets): 31 agents, 0 errors, ~2.0M tokens,
  12.5 min. Agents claimed 24/24 MATCH; the whole-binary gate banked 20/24 (83%); propagation
  +524 members / 0 failed / 91 overlays. 17 of 20 banks were HAIKU, 3 Opus — the
  cheap-tier-ab-validated call (Haiku == Opus at <=~50 ins, ~4.8x cheaper) held on real work.
- WHAT OPUS BOUGHT: (1) a `sh` of a constant with the stored width's top bit set needs a u16
  destination — via s16 gcc folds it sign-extended and li emits addiu, via u16 force_fit_type keeps
  it positive and li emits ori; (2) a schedule-reorder closed by STATEMENT ORDER not the permuter
  (gcc's list scheduler preserves relative order of disambiguable stores); (3) three loose-typing
  fn-ptr casts a cheap drafter had misread as delay-slot/permuter residuals.
- MY ERROR (R37/R14): I generated the manifest to .run/s6f_wave_targets.json then HAND-TRANSCRIBED
  the args into the Workflow call, pattern-filling _jr_8017BEBC across overlays where no such split
  exists (corpus.stubs says _jr_8017AE2C). Three agents lost time rediscovering real paths. The gate
  driver written after (.run/s6f_gate.py) DERIVES every TU/split from corpus.stubs and asserts
  nothing. Assert nothing you can derive.
- The 24->20 gap is the known match_one->gate gap (standalone compile cannot see a TU decl conflict;
  Phase 19 measured 88-92% -> 60-71%). 4 carried: func_8018584C, func_80180A4C, func_8017CC80,
  func_80189B78.
- R22 clean-fleet 140/140. Fleet 95.13% fn-count / 92.0% instr / 84.9% distinct
  (phase opened 92.00 / 87.5 / 78.0).
2026-08-01 19:17:18 -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: 336490 / 353721 = 95.13% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12096074 / 13141652 = 92.0% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4782615 / 5634875 = 84.9% (75218/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: 12095638 / 13081451 = 92.5%)

FLEET REAL substantive : 334635 (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 : 17224 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 2384 1749 0 2386 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 2400 1741 0 2401 2507 95.8%
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 2433 1749 0 2438 2579 94.5%
ov_SC02_000 2496 1788 0 2496 2683 93.0%
ov_SC02_003 2496 1788 0 2496 2683 93.0%
ov_SC02_004 2377 1744 0 2377 2401 99.0%
ov_SC02_005 2517 1740 0 2527 2927 86.3%
ov_SC02_011 2550 1747 0 2561 2893 88.5%
ov_SC02_015 2386 1746 0 2386 2414 98.8%
ov_SC02_016 2443 1746 0 2446 2545 96.1%
ov_SC02_017 2508 1746 0 2516 2732 92.1%
ov_SC02_021 2390 1746 0 2390 2437 98.1%
ov_SC02_026 2427 1744 0 2433 2572 94.6%
ov_SC02_027 2474 1744 0 2483 2692 92.2%
ov_SC02_028 2471 1744 0 2481 2701 91.9%
ov_SC02_031 2447 1745 0 2452 2562 95.7%
ov_SC02_035 2412 1744 0 2415 2520 95.8%
ov_SC02_039 2379 1744 0 2379 2416 98.5%
ov_SC02_041 2439 1744 0 2442 2561 95.4%
ov_SC03_001 2556 1745 0 2573 2869 89.7%
ov_SC03_002 2449 1749 0 2464 2631 93.7%
ov_SC03_003 2386 1744 0 2387 2423 98.5%
ov_SC03_006 2498 1750 0 2507 2767 90.6%
ov_SC03_007 2444 1744 0 2448 2623 93.3%
ov_SC03_010 2397 1744 0 2397 2471 97.0%
ov_SC03_011 2403 1744 0 2409 2527 95.3%
ov_SC03_012 2376 1744 0 2377 2406 98.8%
ov_SC03_013 2403 1744 0 2403 2493 96.4%
ov_SC03_014 2510 1772 0 2510 2685 93.5%
ov_SC03_015 2512 1772 0 2512 2685 93.6%
ov_SC03_023 2388 1744 0 2389 2435 98.1%
ov_SC03_024 2464 1749 0 2471 2641 93.6%
ov_SC03_028 2426 1744 0 2430 2664 91.2%
ov_SC03_029 2461 1746 0 2471 2644 93.5%
ov_SC03_030 2404 1749 0 2406 2495 96.4%
ov_SC03_031 2414 1744 0 2417 2514 96.1%
ov_SC03_089 2441 1749 0 2448 2581 94.8%
ov_SC03_090 2448 1749 0 2456 2625 93.6%
ov_SC03_091 2454 1744 0 2462 2640 93.3%
ov_SC03_092 2463 1749 0 2475 2587 95.7%
ov_SC03_093 2441 1744 0 2445 2563 95.4%
ov_SC03_094 2427 1744 0 2433 2577 94.4%
ov_SC03_095 2406 1744 0 2409 2474 97.4%
ov_SC03_096 2403 1744 0 2406 2465 97.6%
ov_SC03_097 2466 1744 0 2473 2603 95.0%
ov_SC03_098 2430 1744 0 2433 2541 95.7%
ov_SC03_099 2413 1744 0 2416 2504 96.5%
ov_SC03_100 2439 1744 0 2443 2539 96.2%
ov_SC03_101 2437 1749 0 2441 2528 96.6%
ov_SC03_102 2406 1744 0 2409 2492 96.7%
ov_SC03_103 2420 1746 0 2423 2510 96.5%
ov_SC03_104 2452 1749 0 2459 2616 94.0%
ov_SC03_105 2419 1744 0 2426 2597 93.4%
ov_SC03_108 2382 1744 0 2382 2443 97.5%
ov_SC03_109 2387 1744 0 2389 2424 98.6%
ov_SC03_110 2405 1744 0 2405 2468 97.4%
ov_SC03_111 2421 1744 0 2424 2510 96.6%
ov_SC03_112 2407 1746 0 2409 2526 95.4%
ov_SC03_113 2395 1746 0 2398 2468 97.2%
ov_SC03_114 2375 1744 0 2377 2415 98.4%
ov_SC03_115 2406 1744 0 2408 2472 97.4%
ov_SC03_116 2384 1744 0 2387 2438 97.9%
ov_SC03_117 2431 1744 0 2437 2557 95.3%
ov_SC03_118 2484 1768 0 2485 2685 92.6%
ov_SC03_119 2480 1768 0 2481 2685 92.4%
ov_SC03_121 2391 1744 0 2394 2459 97.4%
ov_SC03_124 2488 1740 0 2508 2741 91.5%
ov_SC03_125 2434 1744 0 2446 2588 94.5%
ov_SC03_126 2387 1746 0 2387 2423 98.5%
ov_SC04_000 2435 1748 0 2444 2546 96.0%
ov_SC04_002 2461 1744 0 2465 2636 93.5%
ov_SC04_003 2414 1744 0 2418 2502 96.6%
ov_SC04_004 2438 1744 0 2440 2558 95.4%
ov_SC04_005 2453 1744 0 2459 2612 94.1%
ov_SC04_006 2403 1744 0 2405 2454 98.0%
ov_SC04_007 2446 1744 0 2450 2569 95.4%
ov_SC04_008 2385 1744 0 2385 2415 98.8%
ov_SC04_009 2403 1744 0 2406 2441 98.6%
ov_SC04_010 2387 1744 0 2388 2419 98.7%
ov_SC04_011 2474 1749 0 2480 2803 88.5%
ov_SC04_012 2383 1744 0 2384 2420 98.5%
ov_SC04_015 2456 1745 0 2467 2611 94.5%
ov_SC04_016 2384 1744 0 2386 2440 97.8%
ov_SC04_018 2558 1780 0 2558 2857 89.5%
ov_SC04_019 2558 1780 0 2558 2857 89.5%
ov_SC04_020 2422 1744 0 2434 2567 94.8%
ov_SC04_021 2387 1746 0 2387 2423 98.5%
ov_SC05_000 2388 1748 0 2391 2422 98.7%
ov_SC05_001 2438 1744 0 2443 2574 94.9%
ov_SC05_002 2402 1744 0 2405 2442 98.5%
ov_SC05_003 2394 1744 0 2395 2481 96.5%
ov_SC05_004 2389 1744 0 2391 2464 97.0%
ov_SC05_005 2408 1749 0 2409 2491 96.7%
ov_SC05_006 2398 1744 0 2398 2430 98.7%
ov_SC05_007 2404 1744 0 2409 2482 97.1%
ov_SC05_008 2412 1744 0 2414 2543 94.9%
ov_SC05_009 2393 1744 0 2397 2438 98.3%
ov_SC05_010 2425 1744 0 2429 2588 93.9%
ov_SC05_011 2383 1744 0 2384 2409 99.0%
ov_SC05_017 2541 1741 0 2552 2842 89.8%
ov_SC05_018 2453 1744 0 2466 2673 92.3%
ov_SC05_019 2387 1746 0 2387 2423 98.5%
ov_SC06_000 2487 1753 0 2490 2691 92.5%
ov_SC06_006 2408 1744 0 2409 2511 95.9%
ov_SC06_008 2442 1746 0 2448 2542 96.3%
ov_SC06_010 2420 1744 0 2425 2517 96.3%
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 2417 1744 0 2419 2549 94.9%
ov_SC06_018 2445 1746 0 2452 2665 92.0%
ov_SC06_020 2413 1746 0 2414 2518 95.9%
ov_SC06_022 2441 1744 0 2449 2642 92.7%
ov_SC06_024 2453 1744 0 2459 2667 92.2%
ov_SC06_025 2425 1744 0 2430 2572 94.5%
ov_SC06_027 2377 1744 0 2378 2408 98.8%
ov_SC06_029 2444 1744 0 2456 2662 92.3%
ov_SC06_030 2390 1744 0 2390 2456 97.3%
ov_SC06_032 2437 1745 0 2444 2658 91.9%
ov_SC06_033 2436 1745 0 2443 2631 92.9%
ov_SC07_000 2407 1748 0 2409 2521 95.6%
ov_SC07_001 2389 1744 0 2391 2454 97.4%
ov_SC07_002 2423 1744 0 2427 2579 94.1%
ov_SC07_006 2281 1560 0 2361 2456 96.1%
ov_SC07_007 2309 1592 0 2393 2613 91.6%
ov_SC07_008 2373 1744 0 2373 2386 99.5%
ov_SC07_009 2381 1744 0 2383 2430 98.1%
ov_SC07_010 2292 1614 0 2375 2524 94.1%
ov_SC07_011 2308 1591 0 2388 2449 97.5%
Reference in New Issue View Git Blame Copy Permalink