mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-28 14:59:48 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
cc3c49d7afb5223d552f8e29e4c971174b773dce
BFM-decomp/docs/progress.fleet.md
T
Drew T cc3c49d7af feat(phase-30 S7): wave 4b batch 1 — 32 heads + 365 members; §136b (a DIFF verdict is not evidence) 
- WAVE 4b BATCH 1 (37 volume-lane targets, 10-19 members, <=60 ins; wave 4a's §136 idioms promoted
  into the drafting prompt per the measured 83%->93% law): 50 agents / 4.35M tokens / 32 min ->
  34 claimed MATCH -> gate BANKED 32 -> family_sweep propagated 365 member-matches / 4 failed
  across 84 overlays (3 STRUCT skipped by design). 397 function-instances from 37 targets.
- §136b — THE FINDING THAT CHANGES THE BACKLOG: all FOUR functions wave 3 ledgered as "genuine
  byte-DIFF" BANKED on redraft. The recorded causes were never codegen:
    func_801845B0  a branch to the EPILOGUE misread as an inner early-exit -> the whole tail was
                   hoisted out of its enclosing if (control-flow misread)
    func_80184A94  a declaration conflict on a symbol declared BELOW the splice point; closed by
                   copying an already-banked family sibling's decl forms verbatim (§71)
    func_8017BEBC  the cached Ghidra seed was an ENTIRELY DIFFERENT body and the prior draft
                   followed it; the .s was the only usable source
    func_8018480C  re-derived clean
  => a DIFF verdict describes THE DRAFT THAT WAS ATTEMPTED, never the function's matchability.
  Never retire a target on one; route it to REDRAFT. And re-GATING an unchanged draft is not a
  retry — which is exactly why wave 4a's 3 DIFFs stayed stubs through this gate (same bytes
  resubmitted); they still owe an actual redraft and are now likely winnable.
  Corollary: backlog entries carrying an old closeness/class are stale by construction (P29
  measured 77% of stored drafts decayed) — re-verify before valuing one.
- The wave-4b prompt handed each retry its prior verdict EXPLICITLY LABELLED "a data point, not a
  verdict — re-derive from the .s". Every retry agent did exactly that and refuted it.
- R22 clean-fleet 140/140 (fourth time this session). FLEET 95.63% fn / 92.8% instr / 86.3% distinct
  (76,499 unique fns); dedup 1905/0; C1 240496/240496; 0 NON_MATCHING (G4).
- Orchestration: this batch's workflow script was GENERATED from the manifest files rather than
  hand-pasted — transcription had already cost this session one dead launch (args-as-string) and
  cost the prior session three agents' time (hand-typed _jr_* paths). Generate the artifact; do not
  ask yourself to be careful. cookbook-index 371 -> 372 sections.
2026-08-03 10:29:21 -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: 338271 / 353721 = 95.63% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12193441 / 13141652 = 92.8% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4860384 / 5634875 = 86.3% (76499/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: 12193005 / 13081451 = 93.2%)

FLEET REAL substantive : 336416 (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 : 15443 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 2519 1740 0 2529 2927 86.4%
ov_SC02_011 2590 1747 0 2601 2893 89.9%
ov_SC02_015 2387 1746 0 2387 2414 98.9%
ov_SC02_016 2460 1746 0 2463 2545 96.8%
ov_SC02_017 2530 1746 0 2538 2732 92.9%
ov_SC02_021 2392 1746 0 2392 2437 98.2%
ov_SC02_026 2469 1744 0 2475 2572 96.2%
ov_SC02_027 2523 1744 0 2532 2692 94.1%
ov_SC02_028 2522 1744 0 2532 2701 93.7%
ov_SC02_031 2471 1745 0 2476 2562 96.6%
ov_SC02_035 2452 1744 0 2455 2520 97.4%
ov_SC02_039 2381 1744 0 2381 2416 98.6%
ov_SC02_041 2451 1744 0 2454 2561 95.8%
ov_SC03_001 2586 1745 0 2603 2869 90.7%
ov_SC03_002 2477 1749 0 2492 2631 94.7%
ov_SC03_003 2386 1744 0 2387 2423 98.5%
ov_SC03_006 2523 1750 0 2532 2767 91.5%
ov_SC03_007 2448 1744 0 2452 2623 93.5%
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 2538 1772 0 2538 2685 94.5%
ov_SC03_015 2540 1772 0 2540 2685 94.6%
ov_SC03_023 2388 1744 0 2389 2435 98.1%
ov_SC03_024 2488 1749 0 2495 2641 94.5%
ov_SC03_028 2435 1744 0 2439 2664 91.6%
ov_SC03_029 2478 1746 0 2488 2644 94.1%
ov_SC03_030 2404 1749 0 2406 2495 96.4%
ov_SC03_031 2431 1744 0 2434 2514 96.8%
ov_SC03_089 2477 1749 0 2484 2581 96.2%
ov_SC03_090 2486 1749 0 2494 2625 95.0%
ov_SC03_091 2498 1744 0 2506 2640 94.9%
ov_SC03_092 2481 1749 0 2493 2587 96.4%
ov_SC03_093 2483 1744 0 2487 2563 97.0%
ov_SC03_094 2468 1744 0 2474 2577 96.0%
ov_SC03_095 2412 1744 0 2415 2474 97.6%
ov_SC03_096 2409 1744 0 2412 2465 97.8%
ov_SC03_097 2495 1744 0 2502 2603 96.1%
ov_SC03_098 2471 1744 0 2474 2541 97.4%
ov_SC03_099 2453 1744 0 2456 2504 98.1%
ov_SC03_100 2486 1744 0 2490 2539 98.1%
ov_SC03_101 2453 1749 0 2457 2528 97.2%
ov_SC03_102 2438 1744 0 2441 2492 98.0%
ov_SC03_103 2460 1746 0 2463 2510 98.1%
ov_SC03_104 2501 1749 0 2508 2616 95.9%
ov_SC03_105 2421 1744 0 2428 2597 93.5%
ov_SC03_108 2384 1744 0 2384 2443 97.6%
ov_SC03_109 2392 1744 0 2394 2424 98.8%
ov_SC03_110 2422 1744 0 2422 2468 98.1%
ov_SC03_111 2445 1744 0 2448 2510 97.5%
ov_SC03_112 2412 1746 0 2414 2526 95.6%
ov_SC03_113 2412 1746 0 2415 2468 97.9%
ov_SC03_114 2376 1744 0 2378 2415 98.5%
ov_SC03_115 2416 1744 0 2418 2472 97.8%
ov_SC03_116 2384 1744 0 2387 2438 97.9%
ov_SC03_117 2448 1744 0 2454 2557 96.0%
ov_SC03_118 2510 1768 0 2511 2685 93.5%
ov_SC03_119 2506 1768 0 2507 2685 93.4%
ov_SC03_121 2391 1744 0 2394 2459 97.4%
ov_SC03_124 2509 1740 0 2529 2741 92.3%
ov_SC03_125 2464 1744 0 2476 2588 95.7%
ov_SC03_126 2387 1746 0 2387 2423 98.5%
ov_SC04_000 2456 1748 0 2465 2546 96.8%
ov_SC04_002 2476 1744 0 2480 2636 94.1%
ov_SC04_003 2422 1744 0 2426 2502 97.0%
ov_SC04_004 2451 1744 0 2453 2558 95.9%
ov_SC04_005 2472 1744 0 2478 2612 94.9%
ov_SC04_006 2414 1744 0 2416 2454 98.5%
ov_SC04_007 2465 1744 0 2469 2569 96.1%
ov_SC04_008 2387 1744 0 2387 2415 98.8%
ov_SC04_009 2413 1744 0 2416 2441 99.0%
ov_SC04_010 2389 1744 0 2390 2419 98.8%
ov_SC04_011 2488 1749 0 2494 2803 89.0%
ov_SC04_012 2385 1744 0 2386 2420 98.6%
ov_SC04_015 2475 1745 0 2486 2611 95.2%
ov_SC04_016 2385 1744 0 2387 2440 97.8%
ov_SC04_018 2590 1780 0 2590 2857 90.7%
ov_SC04_019 2587 1780 0 2587 2857 90.5%
ov_SC04_020 2451 1744 0 2463 2567 95.9%
ov_SC04_021 2387 1746 0 2387 2423 98.5%
ov_SC05_000 2391 1748 0 2394 2422 98.8%
ov_SC05_001 2457 1744 0 2462 2574 95.6%
ov_SC05_002 2416 1744 0 2419 2442 99.1%
ov_SC05_003 2396 1744 0 2397 2481 96.6%
ov_SC05_004 2400 1744 0 2402 2464 97.5%
ov_SC05_005 2419 1749 0 2420 2491 97.1%
ov_SC05_006 2407 1744 0 2407 2430 99.1%
ov_SC05_007 2415 1744 0 2420 2482 97.5%
ov_SC05_008 2430 1744 0 2432 2543 95.6%
ov_SC05_009 2395 1744 0 2399 2438 98.4%
ov_SC05_010 2428 1744 0 2432 2588 94.0%
ov_SC05_011 2384 1744 0 2385 2409 99.0%
ov_SC05_017 2568 1741 0 2579 2842 90.7%
ov_SC05_018 2484 1744 0 2497 2673 93.4%
ov_SC05_019 2387 1746 0 2387 2423 98.5%
ov_SC06_000 2502 1753 0 2505 2691 93.1%
ov_SC06_006 2408 1744 0 2409 2511 95.9%
ov_SC06_008 2453 1746 0 2459 2542 96.7%
ov_SC06_010 2428 1744 0 2433 2517 96.7%
ov_SC06_011 2398 1744 0 2402 2468 97.3%
ov_SC06_013 2389 1744 0 2390 2425 98.6%
ov_SC06_014 2400 1744 0 2402 2453 97.9%
ov_SC06_015 2394 1744 0 2394 2421 98.9%
ov_SC06_016 2427 1744 0 2429 2549 95.3%
ov_SC06_018 2447 1746 0 2454 2665 92.1%
ov_SC06_020 2419 1746 0 2420 2518 96.1%
ov_SC06_022 2441 1744 0 2449 2642 92.7%
ov_SC06_024 2455 1744 0 2461 2667 92.3%
ov_SC06_025 2434 1744 0 2439 2572 94.8%
ov_SC06_027 2378 1744 0 2379 2408 98.8%
ov_SC06_029 2449 1744 0 2461 2662 92.4%
ov_SC06_030 2393 1744 0 2393 2456 97.4%
ov_SC06_032 2439 1745 0 2446 2658 92.0%
ov_SC06_033 2440 1745 0 2447 2631 93.0%
ov_SC07_000 2414 1748 0 2416 2521 95.8%
ov_SC07_001 2390 1744 0 2392 2454 97.5%
ov_SC07_002 2433 1744 0 2437 2579 94.5%
ov_SC07_006 2284 1560 0 2364 2456 96.3%
ov_SC07_007 2313 1592 0 2397 2613 91.7%
ov_SC07_008 2373 1744 0 2373 2386 99.5%
ov_SC07_009 2382 1744 0 2384 2430 98.1%
ov_SC07_010 2295 1614 0 2378 2524 94.2%
ov_SC07_011 2314 1591 0 2394 2449 97.8%
Reference in New Issue View Git Blame Copy Permalink