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
25402b2eb469f21da0ff69df0803ef90c35ab013
BFM-decomp/docs/progress.fleet.md
T
Drew T e879ec6da2 feat(phase-30 S4-redo): SCAN don't SAMPLE — 14 matches found on disk, 7 banked (+1,338 ins) 
Answering "did we do S4?" honestly: NO, not properly. The earlier pass re-gated only the NEWEST
stored draft per draft-exemplar head (8 banked of 35). S6 then proved that is sampling, not scanning
-- its giant's match was the 9th of 31 drafts, and my first pass had reported "closeness 40".

Redone with EVERY stored draft run through match_one, over the 39 draft-exemplar heads + Drew's
named large-function list (38 targets, 33 with drafts on disk):

  14 of 33 targets MATCH from a stored draft   (some had 51-57 drafts each)
  -> 6 banked first pass, +1 after recover_giant = 7 banked
  -> including func_8018057C (897 ins), which was on the "needs an agent" list

The 14 came overwhelmingly from ov_SC01_077 -- exactly the heads where only the newest draft had
been tried. The winning drafts sit in .run/_a10_sample-cn-cast-rc/, .run/drafts-wave-cn-cast/,
.run/drafts-wave-cn/, .run/ab-exp/opus-cn/, .run/backlog_drafts/ -- i.e. spread across many
historical pipelines, which is precisely why "newest" is the wrong selector.

7 still open after recovery (5 near, 2 failed) -- integration classes, drafts kept in .run/s41/rec/.

VERIFIED: make clean && make extract-all && make check-all -> 140 passed, 0 failed of 140.
Fleet 12483035 -> 12484373 instr; distinct +1,338 / +7 uniq; fn-count +7. instr-weighted 94.9%.
audit-digest OK. 0 NON_MATCHING (G4).

STILL OPEN from S4: the 263x5 cluster (0x80182fd4 exemplar) sweeps 0/5 with `parse error before
'unsigned'` in the spliced draft -- NOT the missing-type class, undiagnosed, do not assume codegen.
And the 2 resident stubs with gate-rejected match_one-MATCH drafts remain untouched.

THE RULE (cookbook §146, now paid for twice): SCAN every stored draft, never sample. A head with 57
drafts has 57 chances, and the pipelines that produced them differ in ways that matter.
2026-08-05 13:11:10 -06:00

161 lines
9.1 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)
# 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: 341775 / 353717 = 96.62% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 12484373 / 13160961 = 94.9% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 5043472 / 5654184 = 89.2% (78081/87459 unique fns; the DISTINCT-RE number)
MAIN game-code weighted : 436 / 79510 = 0.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: 12483937 / 13081451 = 95.4%)
FLEET REAL substantive : 339920 (of which dedup-shared 241439 via 1919 groups / 241513 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 11935
FLEET matchable : 353717
| 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 | 2389 | 1755 | 0 | 2389 | 2403 | 99.4% |
| ov_SC01_001 | 2396 | 1756 | 0 | 2398 | 2466 | 97.2% |
| ov_SC01_004 | 2393 | 1747 | 0 | 2394 | 2414 | 99.2% |
| ov_SC01_005 | 2425 | 1770 | 0 | 2425 | 2503 | 96.9% |
| ov_SC01_006 | 2425 | 1770 | 0 | 2425 | 2503 | 96.9% |
| ov_SC01_008 | 2393 | 1747 | 0 | 2395 | 2426 | 98.7% |
| ov_SC01_009 | 2420 | 1748 | 0 | 2421 | 2507 | 96.6% |
| ov_SC01_074 | 2395 | 1748 | 0 | 2397 | 2425 | 98.8% |
| ov_SC01_077 | 2560 | 1713 | 0 | 2562 | 2586 | 99.1% |
| ov_SC01_080 | 2423 | 1751 | 0 | 2423 | 2512 | 96.5% |
| ov_SC01_084 | 2448 | 1756 | 0 | 2453 | 2579 | 95.1% |
| ov_SC02_000 | 2519 | 1795 | 0 | 2519 | 2683 | 93.9% |
| ov_SC02_003 | 2519 | 1795 | 0 | 2519 | 2683 | 93.9% |
| ov_SC02_004 | 2388 | 1751 | 0 | 2388 | 2401 | 99.5% |
| ov_SC02_005 | 2538 | 1747 | 0 | 2548 | 2927 | 87.1% |
| ov_SC02_011 | 2626 | 1754 | 0 | 2637 | 2893 | 91.2% |
| ov_SC02_015 | 2399 | 1753 | 0 | 2399 | 2414 | 99.4% |
| ov_SC02_016 | 2482 | 1754 | 0 | 2485 | 2545 | 97.6% |
| ov_SC02_017 | 2550 | 1754 | 0 | 2558 | 2732 | 93.6% |
| ov_SC02_021 | 2404 | 1753 | 0 | 2404 | 2437 | 98.6% |
| ov_SC02_026 | 2502 | 1751 | 0 | 2508 | 2572 | 97.5% |
| ov_SC02_027 | 2558 | 1751 | 0 | 2567 | 2692 | 95.4% |
| ov_SC02_028 | 2563 | 1751 | 0 | 2573 | 2701 | 95.3% |
| ov_SC02_031 | 2493 | 1752 | 0 | 2498 | 2562 | 97.5% |
| ov_SC02_035 | 2487 | 1751 | 0 | 2490 | 2520 | 98.8% |
| ov_SC02_039 | 2394 | 1751 | 0 | 2394 | 2416 | 99.1% |
| ov_SC02_041 | 2475 | 1751 | 0 | 2478 | 2561 | 96.8% |
| ov_SC03_001 | 2669 | 1752 | 0 | 2686 | 2869 | 93.6% |
| ov_SC03_002 | 2541 | 1756 | 0 | 2556 | 2631 | 97.1% |
| ov_SC03_003 | 2397 | 1751 | 0 | 2398 | 2423 | 99.0% |
| ov_SC03_006 | 2553 | 1758 | 0 | 2562 | 2767 | 92.6% |
| ov_SC03_007 | 2461 | 1751 | 0 | 2465 | 2623 | 94.0% |
| ov_SC03_010 | 2414 | 1751 | 0 | 2414 | 2471 | 97.7% |
| ov_SC03_011 | 2415 | 1751 | 0 | 2421 | 2527 | 95.8% |
| ov_SC03_012 | 2387 | 1751 | 0 | 2388 | 2406 | 99.3% |
| ov_SC03_013 | 2420 | 1751 | 0 | 2420 | 2493 | 97.1% |
| ov_SC03_014 | 2573 | 1782 | 0 | 2573 | 2685 | 95.8% |
| ov_SC03_015 | 2572 | 1782 | 0 | 2572 | 2685 | 95.8% |
| ov_SC03_023 | 2399 | 1751 | 0 | 2400 | 2435 | 98.6% |
| ov_SC03_024 | 2516 | 1756 | 0 | 2523 | 2641 | 95.5% |
| ov_SC03_028 | 2461 | 1752 | 0 | 2465 | 2664 | 92.5% |
| ov_SC03_029 | 2499 | 1754 | 0 | 2509 | 2644 | 94.9% |
| ov_SC03_030 | 2417 | 1756 | 0 | 2419 | 2495 | 97.0% |
| ov_SC03_031 | 2446 | 1751 | 0 | 2449 | 2514 | 97.4% |
| ov_SC03_089 | 2512 | 1756 | 0 | 2519 | 2581 | 97.6% |
| ov_SC03_090 | 2527 | 1756 | 0 | 2535 | 2625 | 96.6% |
| ov_SC03_091 | 2541 | 1751 | 0 | 2549 | 2640 | 96.6% |
| ov_SC03_092 | 2505 | 1756 | 0 | 2517 | 2587 | 97.3% |
| ov_SC03_093 | 2515 | 1751 | 0 | 2519 | 2563 | 98.3% |
| ov_SC03_094 | 2504 | 1751 | 0 | 2510 | 2577 | 97.4% |
| ov_SC03_095 | 2431 | 1751 | 0 | 2434 | 2474 | 98.4% |
| ov_SC03_096 | 2428 | 1751 | 0 | 2431 | 2465 | 98.6% |
| ov_SC03_097 | 2525 | 1751 | 0 | 2532 | 2603 | 97.3% |
| ov_SC03_098 | 2509 | 1751 | 0 | 2512 | 2541 | 98.9% |
| ov_SC03_099 | 2485 | 1751 | 0 | 2488 | 2504 | 99.4% |
| ov_SC03_100 | 2520 | 1751 | 0 | 2524 | 2539 | 99.4% |
| ov_SC03_101 | 2482 | 1756 | 0 | 2486 | 2528 | 98.3% |
| ov_SC03_102 | 2469 | 1751 | 0 | 2472 | 2492 | 99.2% |
| ov_SC03_103 | 2493 | 1753 | 0 | 2496 | 2510 | 99.4% |
| ov_SC03_104 | 2540 | 1756 | 0 | 2547 | 2616 | 97.4% |
| ov_SC03_105 | 2448 | 1752 | 0 | 2455 | 2597 | 94.5% |
| ov_SC03_108 | 2399 | 1751 | 0 | 2399 | 2443 | 98.2% |
| ov_SC03_109 | 2407 | 1751 | 0 | 2409 | 2424 | 99.4% |
| ov_SC03_110 | 2440 | 1751 | 0 | 2440 | 2468 | 98.9% |
| ov_SC03_111 | 2471 | 1751 | 0 | 2474 | 2510 | 98.6% |
| ov_SC03_112 | 2436 | 1753 | 0 | 2438 | 2526 | 96.5% |
| ov_SC03_113 | 2434 | 1753 | 0 | 2437 | 2468 | 98.7% |
| ov_SC03_114 | 2389 | 1751 | 0 | 2391 | 2415 | 99.0% |
| ov_SC03_115 | 2430 | 1751 | 0 | 2432 | 2472 | 98.4% |
| ov_SC03_116 | 2399 | 1751 | 0 | 2402 | 2438 | 98.5% |
| ov_SC03_117 | 2467 | 1751 | 0 | 2473 | 2557 | 96.7% |
| ov_SC03_118 | 2542 | 1776 | 0 | 2543 | 2685 | 94.7% |
| ov_SC03_119 | 2539 | 1776 | 0 | 2540 | 2685 | 94.6% |
| ov_SC03_121 | 2402 | 1751 | 0 | 2405 | 2459 | 97.8% |
| ov_SC03_124 | 2576 | 1747 | 0 | 2596 | 2741 | 94.7% |
| ov_SC03_125 | 2527 | 1751 | 0 | 2539 | 2588 | 98.1% |
| ov_SC03_126 | 2398 | 1753 | 0 | 2398 | 2423 | 99.0% |
| ov_SC04_000 | 2473 | 1755 | 0 | 2482 | 2546 | 97.5% |
| ov_SC04_002 | 2503 | 1751 | 0 | 2507 | 2636 | 95.1% |
| ov_SC04_003 | 2437 | 1751 | 0 | 2441 | 2502 | 97.6% |
| ov_SC04_004 | 2469 | 1751 | 0 | 2471 | 2558 | 96.6% |
| ov_SC04_005 | 2498 | 1751 | 0 | 2504 | 2612 | 95.9% |
| ov_SC04_006 | 2429 | 1751 | 0 | 2431 | 2454 | 99.1% |
| ov_SC04_007 | 2492 | 1751 | 0 | 2496 | 2569 | 97.2% |
| ov_SC04_008 | 2399 | 1751 | 0 | 2399 | 2415 | 99.3% |
| ov_SC04_009 | 2426 | 1751 | 0 | 2429 | 2441 | 99.5% |
| ov_SC04_010 | 2401 | 1751 | 0 | 2402 | 2419 | 99.3% |
| ov_SC04_011 | 2515 | 1756 | 0 | 2521 | 2803 | 89.9% |
| ov_SC04_012 | 2396 | 1751 | 0 | 2397 | 2420 | 99.0% |
| ov_SC04_015 | 2532 | 1752 | 0 | 2543 | 2611 | 97.4% |
| ov_SC04_016 | 2400 | 1751 | 0 | 2402 | 2440 | 98.4% |
| ov_SC04_018 | 2672 | 1788 | 0 | 2672 | 2857 | 93.5% |
| ov_SC04_019 | 2672 | 1788 | 0 | 2672 | 2857 | 93.5% |
| ov_SC04_020 | 2513 | 1751 | 0 | 2525 | 2567 | 98.4% |
| ov_SC04_021 | 2398 | 1753 | 0 | 2398 | 2423 | 99.0% |
| ov_SC05_000 | 2405 | 1755 | 0 | 2408 | 2422 | 99.4% |
| ov_SC05_001 | 2477 | 1751 | 0 | 2482 | 2574 | 96.4% |
| ov_SC05_002 | 2429 | 1751 | 0 | 2432 | 2442 | 99.6% |
| ov_SC05_003 | 2412 | 1751 | 0 | 2413 | 2481 | 97.3% |
| ov_SC05_004 | 2422 | 1751 | 0 | 2424 | 2464 | 98.4% |
| ov_SC05_005 | 2437 | 1756 | 0 | 2438 | 2491 | 97.9% |
| ov_SC05_006 | 2421 | 1751 | 0 | 2421 | 2430 | 99.6% |
| ov_SC05_007 | 2430 | 1751 | 0 | 2435 | 2482 | 98.1% |
| ov_SC05_008 | 2441 | 1751 | 0 | 2443 | 2543 | 96.1% |
| ov_SC05_009 | 2408 | 1751 | 0 | 2412 | 2438 | 98.9% |
| ov_SC05_010 | 2448 | 1752 | 0 | 2452 | 2588 | 94.7% |
| ov_SC05_011 | 2395 | 1751 | 0 | 2396 | 2409 | 99.5% |
| ov_SC05_017 | 2648 | 1748 | 0 | 2659 | 2842 | 93.6% |
| ov_SC05_018 | 2545 | 1751 | 0 | 2558 | 2673 | 95.7% |
| ov_SC05_019 | 2398 | 1753 | 0 | 2398 | 2423 | 99.0% |
| ov_SC06_000 | 2527 | 1760 | 0 | 2530 | 2691 | 94.0% |
| ov_SC06_006 | 2422 | 1751 | 0 | 2423 | 2511 | 96.5% |
| ov_SC06_008 | 2487 | 1753 | 0 | 2493 | 2542 | 98.1% |
| ov_SC06_010 | 2459 | 1751 | 0 | 2464 | 2517 | 97.9% |
| ov_SC06_011 | 2414 | 1751 | 0 | 2418 | 2468 | 98.0% |
| ov_SC06_013 | 2404 | 1751 | 0 | 2405 | 2425 | 99.2% |
| ov_SC06_014 | 2415 | 1751 | 0 | 2417 | 2453 | 98.5% |
| ov_SC06_015 | 2409 | 1751 | 0 | 2409 | 2421 | 99.5% |
| ov_SC06_016 | 2451 | 1752 | 0 | 2453 | 2549 | 96.2% |
| ov_SC06_018 | 2499 | 1753 | 0 | 2506 | 2665 | 94.0% |
| ov_SC06_020 | 2445 | 1753 | 0 | 2446 | 2518 | 97.1% |
| ov_SC06_022 | 2480 | 1751 | 0 | 2488 | 2642 | 94.2% |
| ov_SC06_024 | 2500 | 1751 | 0 | 2506 | 2667 | 94.0% |
| ov_SC06_025 | 2451 | 1751 | 0 | 2456 | 2572 | 95.5% |
| ov_SC06_027 | 2390 | 1751 | 0 | 2391 | 2408 | 99.3% |
| ov_SC06_029 | 2476 | 1752 | 0 | 2488 | 2662 | 93.5% |
| ov_SC06_030 | 2412 | 1752 | 0 | 2412 | 2456 | 98.2% |
| ov_SC06_032 | 2486 | 1752 | 0 | 2493 | 2658 | 93.8% |
| ov_SC06_033 | 2486 | 1752 | 0 | 2493 | 2631 | 94.8% |
| ov_SC07_000 | 2431 | 1755 | 0 | 2433 | 2521 | 96.5% |
| ov_SC07_001 | 2403 | 1751 | 0 | 2405 | 2454 | 98.0% |
| ov_SC07_002 | 2459 | 1752 | 0 | 2463 | 2579 | 95.5% |
| ov_SC07_006 | 2323 | 1575 | 0 | 2403 | 2455 | 97.9% |
| ov_SC07_007 | 2336 | 1607 | 0 | 2420 | 2612 | 92.6% |
| ov_SC07_008 | 2384 | 1751 | 0 | 2384 | 2386 | 99.9% |
| ov_SC07_009 | 2396 | 1751 | 0 | 2398 | 2430 | 98.7% |
| ov_SC07_010 | 2319 | 1628 | 0 | 2402 | 2523 | 95.2% |
| ov_SC07_011 | 2338 | 1606 | 0 | 2418 | 2448 | 98.8% |
Reference in New Issue View Git Blame Copy Permalink