mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-10-01 23:52:03 -04:00
docs(phase-29): item 1 — grinder 4 wins/2 banked (reach-1, R22 140/140); its targeting census is the real result
This commit is contained in:
Drew T
+1
-2
@@ -666,7 +666,6 @@
|
||||
{"ts": "2026-07-01 08:44:53", "addr": null, "name": "func_80187B80", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 3, "where_stuck": "residual: 3 mismatch", "best_draft": ".run/backlog_drafts/func_80187B80.c", "binary": "ov_SC05_010", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 08:44:39", "addr": null, "name": "func_8017EDA4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_8017EDA4.c", "binary": "ov_SC04_005", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 08:45:01", "addr": null, "name": "func_80186720", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 7, "where_stuck": "residual: 7 mismatch", "best_draft": ".run/backlog_drafts/func_80186720.c", "binary": "ov_SC06_022", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 08:44:03", "addr": null, "name": "func_80186B08", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 9, "where_stuck": "residual: 9 mismatch", "best_draft": ".run/backlog_drafts/func_80186B08.c", "binary": "ov_SC02_017", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 08:44:51", "addr": null, "name": "func_801812F0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 14, "where_stuck": "residual: 14 mismatch", "best_draft": ".run/backlog_drafts/func_801812F0.c", "binary": "ov_SC05_004", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 08:44:30", "addr": null, "name": "func_80185C2C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 12, "where_stuck": "residual: 12 mismatch", "best_draft": ".run/backlog_drafts/func_80185C2C.c", "binary": "ov_SC03_118", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 08:44:38", "addr": null, "name": "func_8017F4D4", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_8017F4D4.c", "binary": "ov_SC04_003", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
@@ -895,7 +894,6 @@
|
||||
{"ts": "2026-07-01 13:27:44", "addr": null, "name": "func_80181FA4", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_80181FA4.c", "binary": "ov_SC04_002", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 13:27:53", "addr": null, "name": "func_80184558", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_80184558.c", "binary": "ov_SC05_017", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 13:28:15", "addr": null, "name": "func_8017F098", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_8017F098.c", "binary": "ov_SC07_000", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 13:27:12", "addr": null, "name": "func_80188738", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 10, "where_stuck": "residual: 10 mismatch", "best_draft": ".run/backlog_drafts/func_80188738.c", "binary": "ov_SC03_006", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 13:27:25", "addr": null, "name": "func_801838EC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 14, "where_stuck": "residual: 14 mismatch", "best_draft": ".run/backlog_drafts/func_801838EC.c", "binary": "ov_SC03_029", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 13:28:06", "addr": null, "name": "func_80184010", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_80184010.c", "binary": "ov_SC06_016", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-01 13:27:09", "addr": null, "name": "func_80185E54", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 5, "where_stuck": "residual: 5 mismatch", "best_draft": ".run/backlog_drafts/func_80185E54.c", "binary": "ov_SC02_005", "source": "bulk-harvest", "residual": null, "passes_tried": null}
|
||||
@@ -1678,3 +1676,4 @@
|
||||
{"ts": "2026-07-26 21:01:40", "addr": null, "name": "func_80144B9C", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_80144B9C.c", "binary": "ov_SC07_006", "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-26 21:02:50", "addr": null, "name": "func_80166994", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_80166994.c", "binary": "ov_SC07_006", "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-26 21:04:59", "addr": null, "name": "func_8013DD68", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_8013DD68.c", "binary": "ov_SC07_006", "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-27 22:33:49", "addr": "0x80186b08", "name": "func_80186B08", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 43, "where_stuck": "residual: 43 mismatch", "best_draft": ".run/backlog_drafts/func_80186B08.c", "binary": "ov_SC02_005", "source": "grinder", "residual": [[0, "27bdffe8 addiu\tsp,sp,-24", "84830070 lh $v1, 0x70($a0)"], [1, "afbf0010 sw\tra,16(sp)", "00000000 nop"], [2, "00002821 move\ta1,zero", "2862000e slti $v0, $v1, 0xE"], [3, "3c070000 lui\ta3,0x0", "10400026 beqz $v0, .L80186BB0"], [4, "24e70000 addiu\ta3,a3,0", "00031040 sll $v0, $v1, 1"], [6, "24060014 li\ta2,20", "00220821 addu $at, $at, $v0"], [7, "8fbf0010 lw\tra,16(sp)", "94245b4c lhu $a0, %lo(D_80195B4C)($at)"], [8, "27bd0018 addiu\tsp,sp,24", "00000000 nop"], [9, "03e00008 jr\tra", "2c820016 sltiu $v0, $a0, 0x16"], [10, "00000000 nop", "14400005 bnez $v0, .L80186B48"], [11, "--", "00000000 nop"], [12, "--", "3c068019 lui $a2, %hi(D_801961E0)"], [13, "--", "24c661e0 addiu $a2, $a2, %lo(D_801961E0)"], [14, "--", "08061ad4 j .L80186B50"], [15, "--", "2484ffea addiu $a0, $a0, -0x16"], [16, "--", "3c068019 lui $a2, %hi(D_801961B8)"], [17, "--", "24c661b8 addiu $a2, $a2, %lo(D_801961B8)"], [18, "--", "00001821 addu $v1, $zero, $zero"], [19, "--", "3087ffff andi $a3, $a0, 0xFFFF"], [20, "--", "00c02021 addu $a0, $a2, $zero"], [21, "--", "84820006 lh $v0, 0x6($a0)"], [22, "--", "00000000 nop"], [23, "--", "1447000e bne $v0, $a3, .L80186BA0"], [24, "--", "000328c0 sll $a1, $v1, 3"]], "passes_tried": null}
|
||||
|
||||
+986
-987
File diff suppressed because it is too large
Load Diff
@@ -4,16 +4,16 @@
|
||||
# cross-binary collapsible-byte leverage: docs/duplicates.cross.md.
|
||||
|
||||
# THREE progress metrics (all matter — see the labels):
|
||||
FLEET fn-count byte-ident: 318857 / 353720 = 90.14% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
|
||||
FLEET instr-weighted : 11091343 / 13141652 = 84.4% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
|
||||
FLEET distinct-code(uniq): 4191270 / 5634875 = 74.4% (66759/87459 unique fns; the DISTINCT-RE number)
|
||||
FLEET fn-count byte-ident: 318859 / 353720 = 90.14% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
|
||||
FLEET instr-weighted : 11091367 / 13141652 = 84.4% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
|
||||
FLEET distinct-code(uniq): 4191294 / 5634875 = 74.4% (66761/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: 11090907 / 13081451 = 84.8%)
|
||||
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 11090931 / 13081451 = 84.8%)
|
||||
|
||||
FLEET REAL substantive : 317002 (of which dedup-shared 239530 via 1886 groups / 239604 instances)
|
||||
FLEET REAL substantive : 317004 (of which dedup-shared 239530 via 1886 groups / 239604 instances)
|
||||
FLEET LINKED PsyQ objs : 959
|
||||
FLEET NON_MATCHING : 7 (0 in any default build — G4)
|
||||
FLEET INCLUDE_ASM stubs : 34856
|
||||
FLEET INCLUDE_ASM stubs : 34854
|
||||
FLEET matchable : 353720
|
||||
|
||||
| binary | REAL | shared | LINKED | byte-ident | matchable | byte-ident % |
|
||||
@@ -38,7 +38,7 @@ FLEET matchable : 353720
|
||||
| ov_SC02_011 | 2395 | 1741 | 0 | 2406 | 2893 | 83.2% |
|
||||
| ov_SC02_015 | 2276 | 1740 | 0 | 2276 | 2414 | 94.3% |
|
||||
| ov_SC02_016 | 2310 | 1740 | 0 | 2313 | 2545 | 90.9% |
|
||||
| ov_SC02_017 | 2353 | 1740 | 0 | 2361 | 2732 | 86.4% |
|
||||
| ov_SC02_017 | 2354 | 1740 | 0 | 2362 | 2732 | 86.5% |
|
||||
| ov_SC02_021 | 2282 | 1740 | 0 | 2282 | 2437 | 93.6% |
|
||||
| ov_SC02_026 | 2297 | 1738 | 0 | 2303 | 2572 | 89.5% |
|
||||
| ov_SC02_027 | 2320 | 1738 | 0 | 2329 | 2692 | 86.5% |
|
||||
@@ -50,7 +50,7 @@ FLEET matchable : 353720
|
||||
| ov_SC03_001 | 2402 | 1739 | 0 | 2419 | 2869 | 84.3% |
|
||||
| ov_SC03_002 | 2328 | 1743 | 0 | 2343 | 2631 | 89.1% |
|
||||
| ov_SC03_003 | 2277 | 1738 | 0 | 2278 | 2423 | 94.0% |
|
||||
| ov_SC03_006 | 2344 | 1744 | 0 | 2353 | 2767 | 85.0% |
|
||||
| ov_SC03_006 | 2345 | 1744 | 0 | 2354 | 2767 | 85.1% |
|
||||
| ov_SC03_007 | 2322 | 1738 | 0 | 2326 | 2623 | 88.7% |
|
||||
| ov_SC03_010 | 2285 | 1738 | 0 | 2285 | 2471 | 92.5% |
|
||||
| ov_SC03_011 | 2291 | 1738 | 0 | 2297 | 2527 | 90.9% |
|
||||
|
||||
@@ -6374,3 +6374,23 @@ entry is not deferred work; it is UNMEASURED work.**
|
||||
directions — most of it banked (better than expected), and the remainder is DIFF/carve work (worse).
|
||||
Only **1 of the 3** is permuter-shaped; `func_80135260` joins the `structural` group that the
|
||||
grinder's admission rule correctly rejects (§60a: `partial` plateaus scored 0/12 in Task 13B).
|
||||
|
||||
## ✅ T28 — item 1: the grinder ran; 2 banked ×1, and its TARGETING is the real result
|
||||
|
||||
`grinder.py --once --batch 20 --permute-secs 180 -j14 --max-closeness 30`:
|
||||
**4 permuter WINS → 2 banked**, 2 blacklisted as **won-but-gate-rejected** (plumbing-bound — a
|
||||
permuter win is NOT a bank). It auto-commits per-binary (`commit:1118`, `commit:1117`); **R22 clean-fleet
|
||||
140/140**. Both banks are **reach<2** → `dedup_propagate` correctly refused ("nothing to propagate"),
|
||||
so this is the reach-1 tail Phase 21 measured as poor fleet-ROI: real matches, ×1 leverage.
|
||||
Measured: fn-count 318,857 → **318,859 (+2)**; instr/distinct unchanged at 84.4% / 74.4%.
|
||||
|
||||
**The genuinely useful output was its targeting census:**
|
||||
```
|
||||
1,601 classified; only bucket=permuter is admitted
|
||||
skipped 1,584: redraft 706 · structural 519 · integration 302 · unclassified 10 · unknown 3
|
||||
```
|
||||
Task 13A's classifier earning its keep — and an INDEPENDENT confirmation of this session's finding
|
||||
that the four `structural` DIFFs would have been wasted CPU (§60a: `partial` plateaus scored 0/12).
|
||||
|
||||
**Honest read: the grinder's fuel is thin** — ~17 admissible of 1,601 classified, mostly reach-1.
|
||||
Worth running unattended; **not worth waiting on**, and not the lever for the remaining frontier.
|
||||
|
||||
Reference in New Issue
Block a user