mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-30 07:31:59 -04:00
feat(phase-30 S39/S4): 8/35 draft-exemplar heads re-gate and bank (+474 ins, 4 gate cycles, 0 agent tokens)
The 39 draft-exemplar families all have their exemplar still OPEN in ov_SC01_077 -- a
draft-exemplar family cannot propagate until its head banks. Re-gated the newest stored
ov077 draft per head, in 4 small batches (§61: a wide harvest broke a TU in S38).
Set aside the top 4 heads (65% of the pool's weight, all known-hard): func_801412A8 +
func_80178004 ARE S6's two giant walls (198x138 + 165x138 = 50,094 ins riding on 2 cracks),
func_8017C974 is today's byte-proven close=47, func_8017C294 its 246-ins neighbour.
batch 0 1/9 batch 1 3/9 batch 2 4/9 batch 3 0/8 = 8/35 (23%)
BANKED: func_8017EC7C func_8018281C func_801820DC func_80182988 func_80183BAC
func_80183AF0 func_80183CF4 func_80182E7C
(+474 ins x1 now; ~1,441 ins of templatable weight behind them once their families propagate.)
CALIBRATION REFINEMENT (docs/calibration.md, S39): this population re-gates at 23%, vs 8%
for the general stored pool and 4/6 for fresh post-repair drafts. Three different populations,
three different rates -- which is exactly why the rule is "re-gate what a repair plausibly
touched", not "re-gate the ledger". ov_SC01_077 is the split-heaviest overlay, so the S38
alias-deletion repair plausibly touched all of these.
VERIFIED: make clean && make extract-all && make check-all -> 140 passed, 0 failed of 140.
Fleet 12410275 -> 12410749 instr (+474), distinct +474 / +8 uniq, fn-count +8. audit-digest OK.
0 NON_MATCHING (G4).
This commit is contained in:
Drew T
+14
-10
@@ -1,27 +1,19 @@
|
||||
{"ts": "2026-06-22 03:29:53", "addr": "0x801758fc", "name": "func_801758FC", "reach": 134, "klass": "schedule", "nins": 55, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (55 ins)", "best_draft": ".run/backlog_drafts/func_801758FC.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-07-24 14:33:44", "addr": "0x80176144", "name": "func_80176144", "reach": 138, "klass": "schedule", "nins": 53, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH", "best_draft": ".run/backlog_drafts/func_80176144.c", "binary": "ov_SC07_006", "source": "t6-recover", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-22 09:27:07", "addr": "0x80178004", "name": "func_80178004", "reach": 134, "klass": "regalloc-order", "nins": 165, "status": "near", "closeness": 91, "where_stuck": "[Phase-27 T8 corrected] close=91 pure local-alloc regalloc wall (\u00a752 flagship; the 'MATCH' claim was a retracted myth \u2014 never a real match)", "best_draft": ".run/backlog_drafts/func_80178004.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 01:25:38", "addr": "0x80182988", "name": "func_80182988", "reach": 1, "klass": "plumbing", "nins": 22, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (u16 store of 0xAA10 forces ori, not sign-extended addiu)", "best_draft": ".run/backlog_drafts/func_80182988.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 02:02:42", "addr": "0x8017e224", "name": "func_8017E224", "reach": 1, "klass": "struct", "nins": 29, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (unaligned 8-byte memcpy of global onto stack + cond byte incr)", "best_draft": ".run/backlog_drafts/func_8017E224.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 02:02:42", "addr": "0x8017f714", "name": "func_8017F714", "reach": 1, "klass": "plumbing", "nins": 27, "status": "near", "closeness": 1, "where_stuck": "none \u2014 MATCH (27/27 ins, match_one verified)", "best_draft": ".run/backlog_drafts/func_8017F714.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 02:19:53", "addr": "0x80184a68", "name": "func_80184A68", "reach": 1, "klass": "regalloc-order", "nins": 33, "status": "failed", "closeness": null, "where_stuck": "none \u2014 MATCH", "best_draft": ".run/backlog_drafts/func_80184A68.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 03:07:27", "addr": "0x80183bac", "name": "func_80183BAC", "reach": 1, "klass": "struct", "nins": 41, "status": "near", "closeness": 0, "where_stuck": "switch jump-table dispatch (jtbl_801D9420); verifying case grouping 0,1,2,5,6/3,7/4 emits the target table + tail", "best_draft": ".run/backlog_drafts/func_80183BAC.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 03:07:27", "addr": "0x80183c50", "name": "func_80183C50", "reach": 1, "klass": "struct", "nins": 41, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (cross-jump exploit \u00a7cookbook L1543: dup func_8012C218 into case3/7 + case4 \u2192 merged jal;nop)", "best_draft": ".run/backlog_drafts/func_80183C50.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 03:36:04", "addr": "0x8017ec7c", "name": "func_8017EC7C", "reach": 1, "klass": "struct", "nins": 52, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (52 ins, relocation-masked)", "best_draft": ".run/backlog_drafts/func_8017EC7C.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 03:36:04", "addr": "0x801803b0", "name": "func_801803B0", "reach": 1, "klass": "other", "nins": 51, "status": "near", "closeness": 1, "where_stuck": "none \u2014 MATCH expected; simple if/else, no call-crossing locals beyond param in $s0", "best_draft": ".run/backlog_drafts/func_801803B0.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 03:36:04", "addr": "0x80183af0", "name": "func_80183AF0", "reach": 1, "klass": "regalloc-order", "nins": 47, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (mask pinned $a1/$5 + p pinned $v0/$2; switch w/ distributed func_8012C218 tail via dup calls + cross-jump merge)", "best_draft": ".run/backlog_drafts/func_80183AF0.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 03:36:04", "addr": "0x80184c0c", "name": "func_80184C0C", "reach": 1, "klass": "struct", "nins": 48, "status": "near", "closeness": 1, "where_stuck": "none \u2014 MATCH (array-of-struct %lo-fold for &D_8018AEB8[idx], stride 0x34)", "best_draft": ".run/backlog_drafts/func_80184C0C.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 10:33:31", "addr": "0x80183cf4", "name": "func_80183CF4", "reach": 1, "klass": "struct", "nins": 57, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (clean switch + jtbl; orchestrator owns jtbl/rodata migration)", "best_draft": ".run/backlog_drafts/func_80183CF4.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-23 11:09:10", "addr": "0x801842c8", "name": "func_801842C8", "reach": 1, "klass": "plumbing", "nins": 62, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH", "best_draft": ".run/backlog_drafts/func_801842C8.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-25 20:30:02", "addr": "0x8017f114", "name": "func_8017F114", "reach": 1, "klass": "regalloc-order", "nins": 75, "status": "near", "closeness": 1, "where_stuck": "none \u2014 MATCH", "best_draft": ".run/backlog_drafts/func_8017F114.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-25 20:30:02", "addr": "0x80180b64", "name": "func_80180B64", "reach": 1, "klass": "struct", "nins": 75, "status": "failed", "closeness": null, "where_stuck": "none \u2014 MATCH (75 ins, relocation-masked)", "best_draft": ".run/backlog_drafts/func_80180B64.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-25 20:30:03", "addr": "0x8018281c", "name": "func_8018281C", "reach": 1, "klass": "struct", "nins": 76, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (76 ins). jtbl forced via explicit case 4/6 (count>=5 over MIPS tablejump threshold); case-5 block placed between if-block and default via goto so the if-block emits j default w/ e2=0 in the delay slot", "best_draft": ".run/backlog_drafts/func_8018281C.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-25 20:30:03", "addr": "0x80182e7c", "name": "func_80182E7C", "reach": 1, "klass": "struct", "nins": 85, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (85 ins, relocation-masked). Two switch-codegen levers:", "best_draft": ".run/backlog_drafts/func_80182E7C.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-25 21:27:42", "addr": "0x801820dc", "name": "func_801820DC", "reach": 1, "klass": "struct", "nins": 94, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (switch on entity state at 0x34, inner jtbl on (s8)(u70>>8))", "best_draft": ".run/backlog_drafts/func_801820DC.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-25 21:27:42", "addr": "0x80183de0", "name": "func_80183DE0", "reach": 1, "klass": "regalloc-order", "nins": 91, "status": "failed", "closeness": null, "where_stuck": "testing if(!=1) layout + counter-before-pointer init order", "best_draft": ".run/backlog_drafts/func_80183DE0.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-25 21:27:42", "addr": "0x80184d50", "name": "func_80184D50", "reach": 1, "klass": "schedule", "nins": 98, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (98 ins, relocation-masked)", "best_draft": ".run/backlog_drafts/func_80184D50.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-29 12:47:20", "addr": "0x80182c9c", "name": "func_80182C9C", "reach": 1, "klass": "schedule", "nins": 101, "status": "failed", "closeness": null, "where_stuck": "none \u2014 MATCH (101 ins). Inner-switch break-to-shared-tail must be written as", "best_draft": ".run/backlog_drafts/func_80182C9C.c", "binary": null, "source": "ab-exp", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-29 12:47:21", "addr": "0x80183fb8", "name": "func_80183FB8", "reach": 1, "klass": "loose-typing", "nins": 101, "status": "failed", "closeness": null, "where_stuck": "none \u2014 MATCH (relocation-masked match_one, 101/101 ins)", "best_draft": ".run/backlog_drafts/func_80183FB8.c", "binary": null, "source": "ab-exp", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:12:26", "addr": "0x80182c9c", "name": "func_80182C9C", "reach": 1, "klass": "STRUCT", "nins": 101, "status": "near", "closeness": 18, "where_stuck": "STRUCT: 18 mismatch", "best_draft": ".run/backlog_drafts/func_80182C9C.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[27, "10400046 beqz\tv0,188 <func_80182C9C+0x188>", "10400044 beqz $v0, .L80182E1C"], [38, "1440003b bnez\tv0,188 <func_80182C9C+0x188>", "14400039 bnez $v0, .L80182E1C"], [55, "1040002a beqz\tv0,188 <func_80182C9C+0x188>", "10400028 beqz $v0, .L80182E1C"], [67, "1040001e beqz\tv0,188 <func_80182C9C+0x188>", "1040001c beqz $v0, .L80182E1C"], [74, "10400017 beqz\tv0,188 <func_80182C9C+0x188>", "10400015 beqz $v0, .L80182E1C"], [89, "00000000 nop", "8c4270cc lw $v0, %lo(D_801270CC)($v0)"], [90, "3c020000 lui\tv0,0x0", "02002021 addu $a0, $s0, $zero"], [91, "8c420000 lw\tv0,0(v0)", "2442ffff addiu $v0, $v0, -0x1"], [92, "00000000 nop", "3c018012 lui $at, %hi(D_801270CC)"], [93, "2442ffff addiu\tv0,v0,-1", "ac2270cc sw $v0, %lo(D_801270CC)($at)"], [94, "3c010000 lui\tat,0x0", "0c04b086 jal func_8012C218"], [95, "ac220000 sw\tv0,0(at)", "00000000 nop"], [97, "00000000 nop", "8fb00010 lw $s0, 0x10($sp)"], [98, "8fbf0014 lw\tra,20(sp)", "27bd0018 addiu $sp, $sp, 0x18"], [99, "8fb00010 lw\ts0,16(sp)", "03e00008 jr $ra"], [100, "27bd0018 addiu\tsp,sp,24", "00000000 nop"], [101, "03e00008 jr\tra", "--"], [102, "00000000 nop", "--"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:16:43", "addr": "0x80183fb8", "name": "func_80183FB8", "reach": 1, "klass": "WAVE", "nins": 101, "status": "near", "closeness": 82, "where_stuck": "WAVE: 82 mismatch", "best_draft": ".run/backlog_drafts/func_80183FB8.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[8, "3c040000 lui\ta0,0x0", "00000000 nop"], [9, "8c840000 lw\ta0,0(a0)", "00431021 addu $v0, $v0, $v1"], [10, "00431021 addu\tv0,v0,v1", "ae0200dc sw $v0, 0xDC($s0)"], [11, "ae0200dc sw\tv0,220(s0)", "3c038019 lui $v1, %hi(D_8018AE80)"], [12, "0082102a slt\tv0,a0,v0", "8c63ae80 lw $v1, %lo(D_8018AE80)($v1)"], [13, "10400002 beqz\tv0,40 <func_80183FB8+0x40>", "00000000 nop"], [14, "00000000 nop", "0062102a slt $v0, $v1, $v0"], [15, "ae0400dc sw\ta0,220(s0)", "10400002 beqz $v0, .L80184000"], [16, "96020034 lhu\tv0,52(s0)", "00000000 nop"], [17, "00000000 nop", "ae0300dc sw $v1, 0xDC($s0)"], [18, "14400004 bnez\tv0,5c <func_80183FB8+0x5c>", "96020034 lhu $v0, 0x34($s0)"], [20, "8e0200dc lw\tv0,220(s0)", "14400004 bnez $v0, .L8018401C"], [22, "ae020018 sw\tv0,24(s0)", "8e0200dc lw $v0, 0xDC($s0)"], [23, "8e0200dc lw\tv0,220(s0)", "0806100b j .L8018402C"], [24, "00000000 nop", "ae020018 sw $v0, 0x18($s0)"], [25, "00021023 negu\tv0,v0", "8e0200dc lw $v0, 0xDC($s0)"], [26, "ae020018 sw\tv0,24(s0)", "00000000 nop"], [27, "8e020014 lw\tv0,20(s0)", "00021023 negu $v0, $v0"], [28, "3c030060 lui\tv1,0x60", "ae020018 sw $v0, 0x18($s0)"], [29, "0062102a slt\tv0,v1,v0", "8e020014 lw $v0, 0x14($s0)"], [30, "10400002 beqz\tv0,84 <func_80183FB8+0x84>", "3c030060 lui $v1, (0x600000 >> 16)"], [31, "00000000 nop", "0062102a slt $v0, $v1, $v0"], [32, "ae030014 sw\tv1,20(s0)", "10400002 beqz $v0, .L80184044"], [33, "8e0700cc lw\ta3,204(s0)", "00000000 nop"]], "passes_tried": null}
|
||||
{"ts": "2026-06-29 22:31:26", "addr": "0x80185e68", "name": "func_80185E68", "reach": 1, "klass": "STRUCT", "nins": 132, "status": "near", "closeness": 131, "where_stuck": "STRUCT: 131 mismatch", "best_draft": ".run/backlog_drafts/func_80185E68.c", "binary": null, "source": "lora-grind", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-30 04:40:01", "addr": null, "name": "func_801815D8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 7, "where_stuck": "residual: 7 mismatch", "best_draft": ".run/backlog_drafts/func_801815D8.c", "binary": "ov_SC01_001", "source": "lora-grind", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-06-30 05:00:01", "addr": null, "name": "func_801807D8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 1, "where_stuck": "residual: 1 mismatch", "best_draft": ".run/backlog_drafts/func_801807D8.c", "binary": "ov_SC01_005", "source": "lora-grind", "residual": null, "passes_tried": null}
|
||||
@@ -847,3 +839,15 @@
|
||||
{"ts": "2026-08-04 22:34:16", "addr": "0x801457a4", "name": "func_801457A4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 74, "where_stuck": "residual: 74 mismatch", "best_draft": ".run/backlog_drafts/func_801457A4.c", "binary": "ov_SC07_010", "source": "worker", "residual": [[0, "2882201b slti\tv0,a0,8219", "27bdfff8 addiu $sp, $sp, -0x8"], [1, "10400014 beqz\tv0,58 <func_801457A4+0x58>", "afbe0000 sw $fp, 0x0($sp)"], [2, "28822015 slti\tv0,a0,8213", "03a0f021 addu $fp, $sp, $zero"], [3, "10400020 beqz\tv0,90 <func_801457A4+0x90>", "afc40008 sw $a0, 0x8($fp)"], [4, "24021077 li\tv0,4215", "8fc20008 lw $v0, 0x8($fp)"], [5, "1082001e beq\ta0,v0,90 <func_801457A4+0x90>", "00000000 nop"], [6, "28821078 slti\tv0,a0,4216", "2843201b slti $v1, $v0, 0x201B"], [7, "10400007 beqz\tv0,3c <func_801457A4+0x3c>", "1060001a beqz $v1, .L8014582C"], [8, "24021010 li\tv0,4112", "00000000 nop"], [9, "1082001a beq\ta0,v0,90 <func_801457A4+0x90>", "28432015 slti $v1, $v0, 0x2015"], [10, "24021052 li\tv0,4178", "1060002d beqz $v1, .L80145884"], [11, "10820019 beq\ta0,v0,94 <func_801457A4+0x94>", "00000000 nop"], [12, "3c02ffff lui\tv0,0xffff", "24031077 addiu $v1, $zero, 0x1077"], [15, "24021094 li\tv0,4244", "28431078 slti $v1, $v0, 0x1078"], [16, "10820013 beq\ta0,v0,90 <func_801457A4+0x90>", "10600009 beqz $v1, .L8014580C"], [17, "24022013 li\tv0,8211", "00000000 nop"], [18, "10820012 beq\ta0,v0,94 <func_801457A4+0x94>", "24031010 addiu $v1, $zero, 0x1010"], [19, "3c02ffff lui\tv0,0xffff", "10430024 beq $v0, $v1, .L80145884"], [21, "00000000 nop", "24031052 addiu $v1, $zero, 0x1052"], [22, "28822081 slti\tv0,a0,8321", "10430021 beq $v0, $v1, .L80145884"], [23, "10400007 beqz\tv0,7c <func_801457A4+0x7c>", "00000000 nop"], [24, "2882207a slti\tv0,a0,8314", "0805162d j .L801458B4"], [25, "1040000a beqz\tv0,90 <func_801457A4+0x90>", "00000000 nop"], [26, "2882205c slti\tv0,a0,8284", "24031094 addiu $v1, $zero, 0x1094"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 22:34:55", "addr": "0x80145cec", "name": "func_80145CEC", "reach": null, "klass": "struct", "nins": null, "status": "failed", "closeness": null, "where_stuck": "2 residuals \u2014 (1) target RELOADS global ptr ((s32 *)&D_80126B78) before each of its 5 field accesses (f28/f18/f1a/f1c/f2c); gcc-2.7.2 CSEs the single pointer load in every clean-C form I tried (int-cast, (s8*)/(s32) M2C_FIELD, struct*), keeping ONE load. volatile forces reloads but hoists them + leaves delay-slot nops the target fills (target is NOT volatile). (2) frame 0x20 not 0x18: target reserves an unused 8-byte stack local @0x10 (address-taken local \u2014 reproduced, but every code-free escape optimizes away and a visible escape corrupts the ((int (*)(void))func_80145EE8)(0) arg). Structure/order/values/callees all match; only the alias-driven reload chain + the phantom frame local remain. Family exemplar (~130 overlays).", "best_draft": ".run/backlog_drafts/func_80145CEC.c", "binary": "ov_SC07_010", "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-08-04 22:36:13", "addr": "0x8016bcc0", "name": "func_8016BCC0", "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_8016BCC0.c", "binary": "ov_SC07_010", "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:05:49", "addr": "0x8017daec", "name": "func_8017DAEC", "reach": 1, "klass": "WAVE", "nins": 113, "status": "near", "closeness": 98, "where_stuck": "WAVE: 98 mismatch", "best_draft": ".run/backlog_drafts/func_8017DAEC.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[0, "27bdffa8 addiu\tsp,sp,-88", "27bdffb0 addiu $sp, $sp, -0x50"], [3, "afbf0050 sw\tra,80(sp)", "afbf004c sw $ra, 0x4C($sp)"], [4, "afb3004c sw\ts3,76(sp)", "afb20048 sw $s2, 0x48($sp)"], [5, "afb20048 sw\ts2,72(sp)", "afb10044 sw $s1, 0x44($sp)"], [6, "afb10044 sw\ts1,68(sp)", "86040008 lh $a0, 0x8($s0)"], [7, "86040008 lh\ta0,8(s0)", "8605000c lh $a1, 0xC($s0)"], [8, "8605000c lh\ta1,12(s0)", "0c004b1b jal func_80012C6C"], [11, "24060004 li\ta2,4", "00021400 sll $v0, $v0, 16"], [12, "00021400 sll\tv0,v0,0x10", "86040010 lh $a0, 0x10($s0)"], [13, "86040010 lh\ta0,16(s0)", "86050014 lh $a1, 0x14($s0)"], [14, "86050014 lh\ta1,20(s0)", "00021403 sra $v0, $v0, 16"], [15, "00021403 sra\tv0,v0,0x10", "0c004b1b jal func_80012C6C"], [17, "ae020008 sw\tv0,8(s0)", "24060004 addiu $a2, $zero, 0x4"], [18, "24060004 li\ta2,4", "00021400 sll $v0, $v0, 16"], [19, "00021400 sll\tv0,v0,0x10", "86040018 lh $a0, 0x18($s0)"], [20, "86040018 lh\ta0,24(s0)", "86050020 lh $a1, 0x20($s0)"], [21, "86050020 lh\ta1,32(s0)", "00021403 sra $v0, $v0, 16"], [22, "00021403 sra\tv0,v0,0x10", "0c004aaf jal func_80012ABC"], [24, "ae020010 sw\tv0,16(s0)", "8604001a lh $a0, 0x1A($s0)"], [25, "8604001a lh\ta0,26(s0)", "86050022 lh $a1, 0x22($s0)"], [26, "86050022 lh\ta1,34(s0)", "24060004 addiu $a2, $zero, 0x4"], [27, "24060004 li\ta2,4", "0c004aaf jal func_80012ABC"], [29, "a6020018 sh\tv0,24(s0)", "8604001c lh $a0, 0x1C($s0)"], [30, "8604001c lh\ta0,28(s0)", "86050024 lh $a1, 0x24($s0)"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:05:49", "addr": "0x8017faac", "name": "func_8017FAAC", "reach": 1, "klass": "WAVE", "nins": 154, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_8017FAAC.c", "binary": "ov_SC01_077", "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:05:50", "addr": "0x8017fd14", "name": "func_8017FD14", "reach": 1, "klass": "STRUCT", "nins": 249, "status": "near", "closeness": 240, "where_stuck": "STRUCT: 240 mismatch", "best_draft": ".run/backlog_drafts/func_8017FD14.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[0, "27bdffb8 addiu\tsp,sp,-72", "27bdff80 addiu $sp, $sp, -0x80"], [1, "afb00030 sw\ts0,48(sp)", "afb10064 sw $s1, 0x64($sp)"], [2, "00808021 move\ts0,a0", "00808821 addu $s1, $a0, $zero"], [3, "afbf0040 sw\tra,64(sp)", "afb00060 sw $s0, 0x60($sp)"], [4, "afb3003c sw\ts3,60(sp)", "3c10800b lui $s0, %hi(D_800AF648)"], [5, "afb20038 sw\ts2,56(sp)", "2610f648 addiu $s0, $s0, %lo(D_800AF648)"], [6, "afb10034 sw\ts1,52(sp)", "02002021 addu $a0, $s0, $zero"], [7, "96020006 lhu\tv0,6(s0)", "afbf007c sw $ra, 0x7C($sp)"], [8, "00000000 nop", "afb60078 sw $s6, 0x78($sp)"], [9, "a7a20018 sh\tv0,24(sp)", "afb50074 sw $s5, 0x74($sp)"], [10, "9602000a lhu\tv0,10(s0)", "afb40070 sw $s4, 0x70($sp)"], [11, "00000000 nop", "afb3006c sw $s3, 0x6C($sp)"], [12, "a7a2001a sh\tv0,26(sp)", "0c012453 jal func_8004914C"], [13, "9602000e lhu\tv0,14(s0)", "afb20068 sw $s2, 0x68($sp)"], [14, "00002021 move\ta0,zero", "0c01246b jal func_800491AC"], [16, "a7a2001c sh\tv0,28(sp)", "27a40028 addiu $a0, $sp, 0x28"], [18, "00002021 move\ta0,zero", "27a50050 addiu $a1, $sp, 0x50"], [19, "27a40018 addiu\ta0,sp,24", "a7a20028 sh $v0, 0x28($sp)"], [20, "27a50020 addiu\ta1,sp,32", "9622000a lhu $v0, 0xA($s1)"], [21, "27a60024 addiu\ta2,sp,36", "27a60054 addiu $a2, $sp, 0x54"], [23, "27a70028 addiu\ta3,sp,40", "9622000e lhu $v0, 0xE($s1)"], [24, "00409021 move\ts2,v0", "27a70058 addiu $a3, $sp, 0x58"], [25, "1a40002d blez\ts2,11c <func_8017FD14+0x11c>", "0c012557 jal RotTransPers"], [26, "00000000 nop", "a7a2002c sh $v0, 0x2C($sp)"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:12:26", "addr": "0x80180c90", "name": "func_80180C90", "reach": 1, "klass": "STRUCT", "nins": 160, "status": "near", "closeness": 116, "where_stuck": "STRUCT: 116 mismatch", "best_draft": ".run/backlog_drafts/func_80180C90.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[8, "14400041 bnez\tv0,128 <func_80180C90+0x128>", "14400043 bnez $v0, .L80180DC0"], [25, "1040000d beqz\tv0,9c <func_80180C90+0x9c>", "10400014 beqz $v0, .L80180D48"], [26, "00031080 sll\tv0,v1,0x2", "02002021 addu $a0, $s0, $zero"], [27, "3c010000 lui\tat,0x0", "00031080 sll $v0, $v1, 2"], [28, "00220821 addu\tat,at,v0", "3c01801e lui $at, %hi(jtbl_801D9118)"], [29, "8c220000 lw\tv0,0(at)", "00220821 addu $at, $at, $v0"], [30, "00000000 nop", "8c229118 lw $v0, %lo(jtbl_801D9118)($at)"], [31, "00400008 jr\tv0", "00000000 nop"], [32, "00000000 nop", "00400008 jr $v0"], [33, "960200fe lhu\tv0,254(s0)", "00000000 nop"], [34, "00000000 nop", "960200fe lhu $v0, 0xFE($s0)"], [35, "30420002 andi\tv0,v0,0x2", "00000000 nop"], [36, "10400003 beqz\tv0,a0 <func_80180C90+0xa0>", "30420002 andi $v0, $v0, 0x2"], [37, "02002021 move\ta0,s0", "10400008 beqz $v0, .L80180D48"], [38, "a60000e2 sh\tzero,226(s0)", "02002021 addu $a0, $s0, $zero"], [39, "02002021 move\ta0,s0", "08060352 j .L80180D48"], [40, "2402001e li\tv0,30", "a60000e2 sh $zero, 0xE2($s0)"], [41, "a60200e4 sh\tv0,228(s0)", "0c060a5a jal func_80182968"], [42, "2402aa10 li\tv0,-22000", "02002021 addu $a0, $s0, $zero"], [43, "a600005e sh\tzero,94(s0)", "08060362 j .L80180D88"], [45, "a602005c sh\tv0,92(s0)", "02002021 addu $a0, $s0, $zero"], [47, "02002021 move\ta0,s0", "a60200e4 sh $v0, 0xE4($s0)"], [48, "3c050000 lui\ta1,0x0", "3402aa10 ori $v0, $zero, 0xAA10"], [49, "24a50000 addiu\ta1,a1,0", "a600005e sh $zero, 0x5E($s0)"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:12:26", "addr": "0x80181948", "name": "func_80181948", "reach": 1, "klass": "STRUCT", "nins": 132, "status": "near", "closeness": 111, "where_stuck": "STRUCT: 111 mismatch", "best_draft": ".run/backlog_drafts/func_80181948.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[4, "96060034 lhu\ta2,52(s0)", "96050034 lhu $a1, 0x34($s0)"], [6, "30c4ffff andi\ta0,a2,0xffff", "30a4ffff andi $a0, $a1, 0xFFFF"], [7, "10820022 beq\ta0,v0,a8 <func_80181948+0xa8>", "1082001f beq $a0, $v0, .L801819E4"], [16, "1082002b beq\ta0,v0,f0 <func_80181948+0xf0>", "10820028 beq $a0, $v0, .L80181A2C"], [17, "00002821 move\ta1,zero", "24050800 addiu $a1, $zero, 0x800"], [20, "3c020000 lui\tv0,0x0", "3c038012 lui $v1, %hi(D_80126B66)"], [21, "94420000 lhu\tv0,0(v0)", "84636b66 lh $v1, %lo(D_80126B66)($v1)"], [22, "9603000e lhu\tv1,14(s0)", "8602000e lh $v0, 0xE($s0)"], [24, "00431823 subu\tv1,v0,v1", "00621023 subu $v0, $v1, $v0"], [25, "00031400 sll\tv0,v1,0x10", "04410002 bgez $v0, .L801819B8"], [26, "04410002 bgez\tv0,74 <func_80181948+0x74>", "00000000 nop"], [27, "00602021 move\ta0,v1", "00021023 negu $v0, $v0"], [28, "00032023 negu\ta0,v1", "28420171 slti $v0, $v0, 0x171"], [29, "00041400 sll\tv0,a0,0x10", "10400061 beqz $v0, .L80181B44"], [30, "00021403 sra\tv0,v0,0x10", "24a20001 addiu $v0, $a1, 0x1"], [31, "28420171 slti\tv0,v0,369", "02002021 addu $a0, $s0, $zero"], [32, "10400066 beqz\tv0,21c <func_80181948+0x21c>", "3c05801b lui $a1, %hi(D_801B0AE0)"], [33, "02002021 move\ta0,s0", "24a50ae0 addiu $a1, $a1, %lo(D_801B0AE0)"], [34, "3c050000 lui\ta1,0x0", "0c04aa0a jal func_8012A828"], [35, "24a50000 addiu\ta1,a1,0", "a6020034 sh $v0, 0x34($s0)"], [36, "24c20001 addiu\tv0,a2,1", "2402001e addiu $v0, $zero, 0x1E"], [38, "a6020034 sh\tv0,52(s0)", "ae02001c sw $v0, 0x1C($s0)"], [39, "2402001e li\tv0,30", "8e03001c lw $v1, 0x1C($s0)"], [41, "ae02001c sw\tv0,28(s0)", "14620003 bne $v1, $v0, .L801819FC"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:12:26", "addr": "0x80181be4", "name": "func_80181BE4", "reach": 1, "klass": "STRUCT", "nins": 201, "status": "near", "closeness": 173, "where_stuck": "STRUCT: 173 mismatch", "best_draft": ".run/backlog_drafts/func_80181BE4.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[0, "27bdffd8 addiu\tsp,sp,-40", "27bdffc8 addiu $sp, $sp, -0x38"], [1, "afb1001c sw\ts1,28(sp)", "afb00030 sw $s0, 0x30($sp)"], [2, "00808821 move\ts1,a0", "00808021 addu $s0, $a0, $zero"], [3, "afbf0020 sw\tra,32(sp)", "afbf0034 sw $ra, 0x34($sp)"], [4, "afb00018 sw\ts0,24(sp)", "96030034 lhu $v1, 0x34($s0)"], [5, "96230034 lhu\tv1,52(s1)", "24020002 addiu $v0, $zero, 0x2"], [6, "24020002 li\tv0,2", "1062000f beq $v1, $v0, .L80181C3C"], [7, "1062000c beq\tv1,v0,50 <func_80181BE4+0x50>", "28620003 slti $v0, $v1, 0x3"], [8, "28620003 slti\tv0,v1,3", "10400005 beqz $v0, .L80181C1C"], [9, "10400005 beqz\tv0,3c <func_80181BE4+0x3c>", "00000000 nop"], [10, "00000000 nop", "10600008 beqz $v1, .L80181C30"], [11, "10600009 beqz\tv1,54 <func_80181BE4+0x54>", "00000000 nop"], [12, "24030007 li\tv1,7", "08060753 j .L80181D4C"], [14, "00000000 nop", "24020003 addiu $v0, $zero, 0x3"], [15, "24020003 li\tv0,3", "10620011 beq $v1, $v0, .L80181C68"], [16, "1062000f beq\tv1,v0,80 <func_80181BE4+0x80>", "00000000 nop"], [17, "00000000 nop", "08060753 j .L80181D4C"], [19, "00000000 nop", "8e03001c lw $v1, 0x1C($s0)"], [20, "2403000a li\tv1,10", "08060711 j .L80181C44"], [21, "8e22001c lw\tv0,28(s1)", "24020007 addiu $v0, $zero, 0x7"], [22, "00000000 nop", "8e03001c lw $v1, 0x1C($s0)"], [23, "14430032 bne\tv0,v1,128 <func_80181BE4+0x128>", "2402000a addiu $v0, $zero, 0xA"], [24, "02202021 move\ta0,s1", "14620041 bne $v1, $v0, .L80181D4C"], [25, "3c050000 lui\ta1,0x0", "02002021 addu $a0, $s0, $zero"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:12:26", "addr": "0x80181f08", "name": "func_80181F08", "reach": 1, "klass": "STRUCT", "nins": 117, "status": "near", "closeness": 90, "where_stuck": "STRUCT: 90 mismatch", "best_draft": ".run/backlog_drafts/func_80181F08.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[0, "27bdffe8 addiu\tsp,sp,-24", "27bdffd8 addiu $sp, $sp, -0x28"], [1, "afb00010 sw\ts0,16(sp)", "afb00020 sw $s0, 0x20($sp)"], [3, "afbf0014 sw\tra,20(sp)", "afbf0024 sw $ra, 0x24($sp)"], [4, "9203005e lbu\tv1,94(s0)", "3c05801e lui $a1, %hi(D_801D9204)"], [5, "24020005 li\tv0,5", "24a59204 addiu $a1, $a1, %lo(D_801D9204)"], [6, "14620009 bne\tv1,v0,40 <func_80181F08+0x40>", "8ca20000 lw $v0, 0x0($a1)"], [7, "2402001f li\tv0,31", "8ca30004 lw $v1, 0x4($a1)"], [8, "3c040000 lui\ta0,0x0", "8ca40008 lw $a0, 0x8($a1)"], [9, "24840000 addiu\ta0,a0,0", "afa20010 sw $v0, 0x10($sp)"], [10, "3c050000 lui\ta1,0x0", "afa30014 sw $v1, 0x14($sp)"], [11, "24a50000 addiu\ta1,a1,0", "afa40018 sw $a0, 0x18($sp)"], [14, "9203005e lbu\tv1,94(s0)", "afa2001c sw $v0, 0x1C($sp)"], [15, "2402001f li\tv0,31", "9203005e lbu $v1, 0x5E($s0)"], [16, "14620005 bne\tv1,v0,58 <func_80181F08+0x58>", "24020005 addiu $v0, $zero, 0x5"], [17, "02002021 move\ta0,s0", "14620005 bne $v1, $v0, .L80181F64"], [19, "02002021 move\ta0,s0", "3c048006 lui $a0, %hi(D_80062BDC)"], [21, "00000000 nop", "0c006419 jal func_80019064"], [23, "a20000c1 sb\tzero,193(s0)", "9603005e lhu $v1, 0x5E($s0)"], [24, "96020076 lhu\tv0,118(s0)", "2402001f addiu $v0, $zero, 0x1F"], [25, "96030060 lhu\tv1,96(s0)", "14620005 bne $v1, $v0, .L80181F84"], [27, "00431023 subu\tv0,v0,v1", "0c060c07 jal func_8018301C"], [28, "a6020076 sh\tv0,118(s0)", "02002021 addu $a0, $s0, $zero"], [29, "9602005c lhu\tv0,92(s0)", "08060832 j .L801820C8"], [30, "96030062 lhu\tv1,98(s0)", "00000000 nop"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:16:43", "addr": "0x8018308c", "name": "func_8018308C", "reach": 1, "klass": "STRUCT", "nins": 166, "status": "near", "closeness": 40, "where_stuck": "STRUCT: 40 mismatch", "best_draft": ".run/backlog_drafts/func_8018308C.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[16, "10800013 beqz\ta0,90 <func_8018308C+0x90>", "1080000a beqz $a0, .L801830F8"], [25, "1462000a bne\tv1,v0,90 <func_8018308C+0x90>", "10620003 beq $v1, $v0, .L80183100"], [27, "8483000e lh\tv1,14(a0)", "08060c48 j .L80183120"], [28, "8602000e lh\tv0,14(s0)", "00008821 addu $s1, $zero, $zero"], [29, "00000000 nop", "8483000e lh $v1, 0xE($a0)"], [30, "00621823 subu\tv1,v1,v0", "8602000e lh $v0, 0xE($s0)"], [31, "04610005 bgez\tv1,94 <func_8018308C+0x94>", "00000000 nop"], [32, "28710020 slti\ts1,v1,32", "00621823 subu $v1, $v1, $v0"], [33, "00038823 negu\ts1,v1", "04610003 bgez $v1, .L80183120"], [35, "2a310020 slti\ts1,s1,32", "00031823 negu $v1, $v1"], [36, "00008821 move\ts1,zero", "28710020 slti $s1, $v1, 0x20"], [73, "10400054 beqz\tv0,278 <func_8018308C+0x278>", "10400055 beqz $v0, .L80183308"], [105, "10400034 beqz\tv0,278 <func_8018308C+0x278>", "10400035 beqz $v0, .L80183308"], [123, "1040000d beqz\tv0,224 <func_8018308C+0x224>", "10400012 beqz $v0, .L801832C4"], [134, "10400003 beqz\tv0,228 <func_8018308C+0x228>", "10400007 beqz $v0, .L801832C4"], [135, "02002021 move\ta0,s0", "00000000 nop"], [136, "a60000e2 sh\tzero,226(s0)", "08060cb1 j .L801832C4"], [137, "02002021 move\ta0,s0", "a60000e2 sh $zero, 0xE2($s0)"], [138, "2402001e li\tv0,30", "0c060a5a jal func_80182968"], [139, "a60200e4 sh\tv0,228(s0)", "02002021 addu $a0, $s0, $zero"], [140, "2402aa10 li\tv0,-22000", "08060cc2 j .L80183308"], [141, "a600005e sh\tzero,94(s0)", "00000000 nop"], [143, "a602005c sh\tv0,92(s0)", "2402001e addiu $v0, $zero, 0x1E"], [145, "02002021 move\ta0,s0", "3402aa10 ori $v0, $zero, 0xAA10"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:16:43", "addr": "0x80183324", "name": "func_80183324", "reach": 1, "klass": "STRUCT", "nins": 324, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_80183324.c", "binary": "ov_SC01_077", "source": "worker", "residual": null, "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:16:43", "addr": "0x80183834", "name": "func_80183834", "reach": 1, "klass": "STRUCT", "nins": 135, "status": "near", "closeness": 35, "where_stuck": "STRUCT: 35 mismatch", "best_draft": ".run/backlog_drafts/func_80183834.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[28, "3c040000 lui\ta0,0x0", "a6020002 sh $v0, 0x2($s0)"], [29, "84840000 lh\ta0,0(a0)", "2402003c addiu $v0, $zero, 0x3C"], [30, "a6020002 sh\tv0,2(s0)", "a6000098 sh $zero, 0x98($s0)"], [31, "2402003c li\tv0,60", "ae02001c sw $v0, 0x1C($s0)"], [32, "ae02001c sw\tv0,28(s0)", "a600005c sh $zero, 0x5C($s0)"], [33, "3c020000 lui\tv0,0x0", "3c048019 lui $a0, %hi(D_8018AAD0)"], [34, "84420000 lh\tv0,0(v0)", "8484aad0 lh $a0, %lo(D_8018AAD0)($a0)"], [35, "86050006 lh\ta1,6(s0)", "3c028019 lui $v0, %hi(D_8018AACC)"], [36, "a6000098 sh\tzero,152(s0)", "8442aacc lh $v0, %lo(D_8018AACC)($v0)"], [37, "a600005c sh\tzero,92(s0)", "86050006 lh $a1, 0x6($s0)"], [52, "8e110020 lw\ts1,32(s0)", "8e120020 lw $s2, 0x20($s0)"], [54, "96320012 lhu\ts2,18(s1)", "86510012 lh $s1, 0x12($s2)"], [59, "2642fc00 addiu\tv0,s2,-1024", "2622fc00 addiu $v0, $s1, -0x400"], [60, "26420400 addiu\tv0,s2,1024", "26220400 addiu $v0, $s1, 0x400"], [61, "a6220012 sh\tv0,18(s1)", "a6420012 sh $v0, 0x12($s2)"], [76, "14620031 bne\tv1,v0,1f8 <func_80183834+0x1f8>", "14620033 bne $v1, $v0, .L80183A34"], [95, "1440001e bnez\tv0,1f8 <func_80183834+0x1f8>", "14400020 bnez $v0, .L80183A34"], [99, "1040001a beqz\tv0,1f8 <func_80183834+0x1f8>", "1040001c beqz $v0, .L80183A34"], [106, "10400013 beqz\tv0,1f8 <func_80183834+0x1f8>", "10400015 beqz $v0, .L80183A34"], [118, "3c020000 lui\tv0,0x0", "08060e8b j .L80183A2C"], [119, "8c420000 lw\tv0,0(v0)", "02002021 addu $a0, $s0, $zero"], [120, "00000000 nop", "3c028012 lui $v0, %hi(D_801270CC)"], [121, "2442ffff addiu\tv0,v0,-1", "8c4270cc lw $v0, %lo(D_801270CC)($v0)"], [122, "3c010000 lui\tat,0x0", "02002021 addu $a0, $s0, $zero"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:17:32", "addr": "0x80186078", "name": "func_80186078", "reach": 1, "klass": "WAVE", "nins": 174, "status": "near", "closeness": 141, "where_stuck": "WAVE: 141 mismatch", "best_draft": ".run/backlog_drafts/func_80186078.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[15, "a7a00014 sh\tzero,20(sp)", "8e02001c lw $v0, 0x1C($s0)"], [16, "a7a00012 sh\tzero,18(sp)", "02603021 addu $a2, $s3, $zero"], [17, "8e02001c lw\tv0,28(s0)", "a7a00014 sh $zero, 0x14($sp)"], [18, "02603021 move\ta2,s3", "a7a00012 sh $zero, 0x12($sp)"], [24, "8e030090 lw\tv1,144(s0)", "8e040090 lw $a0, 0x90($s0)"], [25, "8e040044 lw\ta0,68(s0)", "8e030044 lw $v1, 0x44($s0)"], [26, "8e050048 lw\ta1,72(s0)", "8e05004c lw $a1, 0x4C($s0)"], [27, "a6000098 sh\tzero,152(s0)", "a6020006 sh $v0, 0x6($s0)"], [28, "a6020006 sh\tv0,6(s0)", "97a2001c lhu $v0, 0x1C($sp)"], [29, "97a2001c lhu\tv0,28(sp)", "a6000098 sh $zero, 0x98($s0)"], [30, "00000000 nop", "a602000e sh $v0, 0xE($s0)"], [31, "a602000e sh\tv0,14(s0)", "8e020010 lw $v0, 0x10($s0)"], [32, "8c660000 lw\ta2,0(v1)", "8c860000 lw $a2, 0x0($a0)"], [33, "8e020010 lw\tv0,16(s0)", "8e040048 lw $a0, 0x48($s0)"], [34, "8e030014 lw\tv1,20(s0)", "00431021 addu $v0, $v0, $v1"], [35, "00441021 addu\tv0,v0,a0", "ae020010 sw $v0, 0x10($s0)"], [36, "ae020010 sw\tv0,16(s0)", "8e020014 lw $v0, 0x14($s0)"], [37, "8e020018 lw\tv0,24(s0)", "8e030018 lw $v1, 0x18($s0)"], [38, "8e04004c lw\ta0,76(s0)", "00441021 addu $v0, $v0, $a0"], [40, "ae030014 sw\tv1,20(s0)", "3c04801e lui $a0, %hi(D_801DA988)"], [41, "3c030000 lui\tv1,0x0", "2484a988 addiu $a0, $a0, %lo(D_801DA988)"], [42, "8c630000 lw\tv1,0(v1)", "ae020014 sw $v0, 0x14($s0)"], [43, "8e050010 lw\ta1,16(s0)", "ae030018 sw $v1, 0x18($s0)"], [44, "00441021 addu\tv0,v0,a0", "8c820000 lw $v0, 0x0($a0)"]], "passes_tried": null}
|
||||
{"ts": "2026-08-04 23:17:33", "addr": "0x801865ec", "name": "func_801865EC", "reach": 1, "klass": "WAVE", "nins": 125, "status": "near", "closeness": 65, "where_stuck": "WAVE: 65 mismatch", "best_draft": ".run/backlog_drafts/func_801865EC.c", "binary": "ov_SC01_077", "source": "worker", "residual": [[36, "00023023 negu\ta2,v0", "00022823 negu $a1, $v0"], [37, "24c40400 addiu\ta0,a2,1024", "24a30400 addiu $v1, $a1, 0x400"], [38, "00041040 sll\tv0,a0,0x1", "00031040 sll $v0, $v1, 1"], [39, "00442821 addu\ta1,v0,a0", "00432021 addu $a0, $v0, $v1"], [40, "00051100 sll\tv0,a1,0x4", "00041100 sll $v0, $a0, 4"], [42, "00401821 move\tv1,v0", "26260024 addiu $a2, $s1, 0x24"], [43, "244307ff addiu\tv1,v0,2047", "244207ff addiu $v0, $v0, 0x7FF"], [44, "000312c3 sra\tv0,v1,0xb", "000212c3 sra $v0, $v0, 11"], [46, "00051140 sll\tv0,a1,0x5", "00041140 sll $v0, $a0, 5"], [52, "00801021 move\tv0,a0", "00601021 addu $v0, $v1, $zero"], [55, "24c2043f addiu\tv0,a2,1087", "24a2043f addiu $v0, $a1, 0x43F"], [63, "8e230020 lw\tv1,32(s1)", "8e220020 lw $v0, 0x20($s1)"], [64, "26220024 addiu\tv0,s1,36", "00000000 nop"], [65, "ac620080 sw\tv0,128(v1)", "ac460080 sw $a2, 0x80($v0)"], [67, "00000000 nop", "02202021 addu $a0, $s1, $zero"], [69, "00000000 nop", "3c058018 lui $a1, %hi(D_80186E48)"], [70, "34420010 ori\tv0,v0,0x10", "24a56e48 addiu $a1, $a1, %lo(D_80186E48)"], [71, "a462002c sh\tv0,44(v1)", "34420010 ori $v0, $v0, 0x10"], [72, "8e230020 lw\tv1,32(s1)", "a462002c sh $v0, 0x2C($v1)"], [73, "24022000 li\tv0,8192", "8e230020 lw $v1, 0x20($s1)"], [74, "a462001c sh\tv0,28(v1)", "24022000 addiu $v0, $zero, 0x2000"], [75, "8e230020 lw\tv1,32(s1)", "a462001c sh $v0, 0x1C($v1)"], [76, "02202021 move\ta0,s1", "a462001a sh $v0, 0x1A($v1)"], [77, "a462001a sh\tv0,26(v1)", "0c04aa0a jal func_8012A828"]], "passes_tried": null}
|
||||
|
||||
+2
-1
@@ -21,7 +21,7 @@ ov_SC01_077_ELF := $(ov_SC01_077_OUT).elf
|
||||
ov_SC01_077_MAPFILE := $(ov_SC01_077_OUT).map
|
||||
ov_SC01_077_LD_SCRIPT := $(ov_SC01_077_OUT).ld
|
||||
ov_SC01_077_SPLAT_YAML := config/splat.ov_SC01_077.yaml
|
||||
ov_SC01_077_JTBL_INTERLEAVE := --order tail.data.o,ov_SC01_077_a.o,ov_SC01_077_jr_8012ACE0.o,tail2.data.o,ov_SC01_077_jr_80135888.o,tail3.data.o,ov_SC01_077_jr_80135A4C.o,tail4.data.o,ov_SC01_077_jr_80135D20.o,tail5.data.o,ov_SC01_077_jr_801380E0.o,ov_SC01_077_o0.o,tail6.data.o,ov_SC01_077.o,tail7.data.o,ov_SC01_077_jr_8015444C.o,ov_SC01_077_jr_80154C24.o,ov_SC01_077_jr_801588CC.o,ov_SC01_077_jr_80159C84.o,tail8.data.o,ov_SC01_077_jr_8015A3C8.o,tail9.data.o,ov_SC01_077_jr_8015AE2C.o,tail10.data.o,ov_SC01_077_jr_8015C32C.o,tail11.data.o,ov_SC01_077_jr_8016AB6C.o,tail12.data.o,ov_SC01_077_jr_80171B4C.o,ov_SC01_077_jr_801734BC.o,tail13.data.o,ov_SC01_077_jr_801789AC.o,ov_SC01_077_jr_80178D40.o,tail14.data.o,ov_SC01_077_jr_8017A4AC.o,tail15.data.o,ov_SC01_077_jr_8017AE2C.o,tail16.data.o,ov_SC01_077_jr_8018103C.o,tail17.data.o,ov_SC01_077_jr_80182268.o,tail18.data.o,trailing.o # Phase-26 §8 jtbl-rodata carve
|
||||
ov_SC01_077_JTBL_INTERLEAVE := --order tail.data.o,ov_SC01_077_a.o,ov_SC01_077_jr_8012ACE0.o,tail2.data.o,ov_SC01_077_jr_80135888.o,tail3.data.o,ov_SC01_077_jr_80135A4C.o,tail4.data.o,ov_SC01_077_jr_80135D20.o,tail5.data.o,ov_SC01_077_jr_801380E0.o,ov_SC01_077_o0.o,tail6.data.o,ov_SC01_077.o,tail7.data.o,ov_SC01_077_jr_8015444C.o,ov_SC01_077_jr_80154C24.o,ov_SC01_077_jr_801588CC.o,ov_SC01_077_jr_80159C84.o,tail8.data.o,ov_SC01_077_jr_8015A3C8.o,tail9.data.o,ov_SC01_077_jr_8015AE2C.o,tail10.data.o,ov_SC01_077_jr_8015C32C.o,tail11.data.o,ov_SC01_077_jr_8016AB6C.o,tail12.data.o,ov_SC01_077_jr_80171B4C.o,ov_SC01_077_jr_801734BC.o,tail13.data.o,ov_SC01_077_jr_801789AC.o,ov_SC01_077_jr_80178D40.o,tail14.data.o,ov_SC01_077_jr_8017A4AC.o,tail15.data.o,ov_SC01_077_jr_8017AE2C.o,tail16.data.o,ov_SC01_077_jr_8018103C.o,tail17.data.o,ov_SC01_077_jr_801820DC.o,ov_SC01_077_jr_80182268.o,tail18.data.o,ov_SC01_077_jr_80182E7C.o,tail19.data.o,ov_SC01_077_jr_80183AF0.o,ov_SC01_077_jr_80183BAC.o,tail20.data.o,ov_SC01_077_jr_80183CF4.o,tail21.data.o,trailing.o # Phase-26 §8 jtbl-rodata carve
|
||||
build/src/ov_SC01_077/ov_SC01_077.o: JTBL_PADS := 0,0,4,0,4,0,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x20,+0x38,+0x58,+0x70,+0x90,+0xa8
|
||||
build/src/ov_SC01_077/ov_SC01_077_a.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x14
|
||||
build/src/ov_SC01_077/ov_SC01_077_jr_8012ACE0.o: JTBL_PADS := 0,0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0xcc,+0xe0
|
||||
@@ -34,6 +34,7 @@ build/src/ov_SC01_077/ov_SC01_077_jr_8015AE2C.o: JTBL_PADS := 0,4 # §8e pads (
|
||||
build/src/ov_SC01_077/ov_SC01_077_jr_8016AB6C.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x20
|
||||
build/src/ov_SC01_077/ov_SC01_077_jr_80178D40.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x178
|
||||
build/src/ov_SC01_077/ov_SC01_077_jr_8018103C.o: JTBL_PADS := 0,4,0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x18,+0x38,+0x58
|
||||
build/src/ov_SC01_077/ov_SC01_077_jr_80182268.o: JTBL_PADS := 0,0 # §8e pads (jtbl_carve.py) tables=+0x0,+0x20
|
||||
build/src/ov_SC01_077/ov_SC01_077_o0.o: JTBL_PADS := 0,4,4,4 # §8e pads (jtbl_carve.py) tables=+0x0,+0x38,+0xa8,+0x118
|
||||
ov_SC01_077_CHECK_SHA := config/check.ov_SC01_077.sha
|
||||
ov_SC01_077_SYMBOLS := config/symbols.ov_SC01_077.txt
|
||||
|
||||
@@ -85,7 +85,12 @@ segments:
|
||||
- [0x52354, c, ov_SC01_077_jr_8017A4AC]
|
||||
- [0x52cd4, c, ov_SC01_077_jr_8017AE2C]
|
||||
- [0x58ee4, c, ov_SC01_077_jr_8018103C]
|
||||
- [0x59f84, c, ov_SC01_077_jr_801820DC]
|
||||
- [0x5a110, c, ov_SC01_077_jr_80182268]
|
||||
- [0x5ad24, c, ov_SC01_077_jr_80182E7C]
|
||||
- [0x5b998, c, ov_SC01_077_jr_80183AF0]
|
||||
- [0x5ba54, c, ov_SC01_077_jr_80183BAC]
|
||||
- [0x5bb9c, c, ov_SC01_077_jr_80183CF4]
|
||||
# Phase-26 §8 jtbl-rodata carve (cookbook §8, the LZSS precedent adapted to a flat overlay).
|
||||
# gcc emits each `switch` jump table into .rodata; this overlay's jtbl island sits at the TAIL
|
||||
# (vram 0x801D7F9C..~0x801D9460), between the .data globals and a tiny .data remnant. While every
|
||||
@@ -137,8 +142,16 @@ segments:
|
||||
- [0xb0f78, data, tail16]
|
||||
- [0xb1000, .rodata, ov_SC01_077_jr_8018103C] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
|
||||
- [0xb1078, data, tail17]
|
||||
- [0xb1128, .rodata, ov_SC01_077_jr_801820DC] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
|
||||
- [0xb1148, .rodata, ov_SC01_077_jr_80182268] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
|
||||
- [0xb1168, data, tail18]
|
||||
- [0xb1188, data, tail18]
|
||||
- [0xb11a8, .rodata, ov_SC01_077_jr_80182E7C] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
|
||||
- [0xb11c8, data, tail19]
|
||||
- [0xb12a8, .rodata, ov_SC01_077_jr_80183AF0] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
|
||||
- [0xb12c8, .rodata, ov_SC01_077_jr_80183BAC] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
|
||||
- [0xb12e8, data, tail20]
|
||||
- [0xb1308, .rodata, ov_SC01_077_jr_80183CF4] # Phase-26 §8 jtbl-rodata carve (jtbl_carve.py)
|
||||
- [0xb1328, data, tail21]
|
||||
- [0xB29D4, bin, trailing] # final 3 bytes (EOF 0xB29D7 not word-aligned; spimdisasm drops
|
||||
# a trailing partial word and a <4-byte `data` carve emits nothing,
|
||||
# so use `bin` = raw .incbin, byte-exact). Word-aligned overlays omit this.
|
||||
|
||||
+839
-835
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: 341198 / 353717 = 96.46% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
|
||||
FLEET instr-weighted : 12410275 / 13141652 = 94.4% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
|
||||
FLEET distinct-code(uniq): 5028621 / 5634875 = 89.2% (77960/87459 unique fns; the DISTINCT-RE number)
|
||||
FLEET fn-count byte-ident: 341206 / 353717 = 96.46% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
|
||||
FLEET instr-weighted : 12410749 / 13141652 = 94.4% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
|
||||
FLEET distinct-code(uniq): 5029095 / 5634875 = 89.2% (77968/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: 12409839 / 13081451 = 94.9%)
|
||||
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 12410313 / 13081451 = 94.9%)
|
||||
|
||||
FLEET REAL substantive : 339343 (of which dedup-shared 241142 via 1910 groups / 241216 instances)
|
||||
FLEET REAL substantive : 339351 (of which dedup-shared 241142 via 1910 groups / 241216 instances)
|
||||
FLEET LINKED PsyQ objs : 959
|
||||
FLEET NON_MATCHING : 7 (0 in any default build — G4)
|
||||
FLEET INCLUDE_ASM stubs : 12512
|
||||
FLEET INCLUDE_ASM stubs : 12504
|
||||
FLEET matchable : 353717
|
||||
|
||||
| binary | REAL | shared | LINKED | byte-ident | matchable | byte-ident % |
|
||||
@@ -28,7 +28,7 @@ FLEET matchable : 353717
|
||||
| ov_SC01_008 | 2390 | 1745 | 0 | 2392 | 2426 | 98.6% |
|
||||
| ov_SC01_009 | 2416 | 1746 | 0 | 2417 | 2507 | 96.4% |
|
||||
| ov_SC01_074 | 2392 | 1746 | 0 | 2394 | 2425 | 98.7% |
|
||||
| ov_SC01_077 | 2543 | 1711 | 0 | 2545 | 2586 | 98.4% |
|
||||
| ov_SC01_077 | 2551 | 1711 | 0 | 2553 | 2586 | 98.7% |
|
||||
| ov_SC01_080 | 2420 | 1749 | 0 | 2420 | 2512 | 96.3% |
|
||||
| ov_SC01_084 | 2445 | 1754 | 0 | 2450 | 2579 | 95.0% |
|
||||
| ov_SC02_000 | 2511 | 1793 | 0 | 2511 | 2683 | 93.6% |
|
||||
|
||||
@@ -4331,7 +4331,38 @@ s32 func_8017EC40(s16 *a0) {
|
||||
return D_8018A7B8[(u16)a0[1]]();
|
||||
}
|
||||
|
||||
INCLUDE_ASM("asm/ov_SC01_077/nonmatchings/ov_SC01_077_jr_8017AE2C", func_8017EC7C);
|
||||
// @class: struct
|
||||
// @stuck: none — MATCH (52 ins, relocation-masked)
|
||||
#include "common.h"
|
||||
|
||||
|
||||
|
||||
extern s32 rand(void);
|
||||
extern void RotMatrixY(s32 a0, void *a1);
|
||||
extern void func_800484EC(s32 a0, s32 a1, s32 a2);
|
||||
extern Blk20 D_800AE620;
|
||||
|
||||
s32 func_8017EC7C(s32 param_1)
|
||||
{
|
||||
s32 vec[3];
|
||||
Blk20 mat;
|
||||
u32 uVar1;
|
||||
|
||||
*(s32 *)(param_1 + 0x10) = 0;
|
||||
*(s32 *)(param_1 + 0x14) = 0x10000;
|
||||
*(s32 *)(param_1 + 0x18) = 0;
|
||||
uVar1 = rand();
|
||||
mat = D_800AE620;
|
||||
RotMatrixY(uVar1 & 0xFFF, &mat);
|
||||
vec[0] = 0x4000;
|
||||
vec[2] = 0;
|
||||
vec[1] = 0;
|
||||
func_800484EC((s32)&mat, (s32)vec, (s32)vec);
|
||||
*(s32 *)(param_1 + 0x2C) = vec[0];
|
||||
*(s32 *)(param_1 + 0x30) = vec[2];
|
||||
*(s16 *)(param_1 + 0x34) = 0;
|
||||
}
|
||||
|
||||
|
||||
extern s32 (*D_8018A7F0[])();
|
||||
|
||||
|
||||
@@ -3579,16 +3579,3 @@ void func_80181B9C(s32 param_1) {
|
||||
INCLUDE_ASM("asm/ov_SC01_077/nonmatchings/ov_SC01_077_jr_8018103C", func_80181BE4);
|
||||
|
||||
INCLUDE_ASM("asm/ov_SC01_077/nonmatchings/ov_SC01_077_jr_8018103C", func_80181F08);
|
||||
|
||||
INCLUDE_ASM("asm/ov_SC01_077/nonmatchings/ov_SC01_077_jr_8018103C", func_801820DC);
|
||||
|
||||
void func_80182254(s32 a0) {
|
||||
*(s16 *)(a0 + 0x2) = 4;
|
||||
*(s16 *)(a0 + 0x98) = 0;
|
||||
*(s32 *)(a0 + 0x1C) = 0;
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user