Skip to content

Match func_ov063_021162c8 byte-identical (mwccarm 1.2/sp2p3) #666

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
lunavyqo wants to merge 1 commit into from
Closed

Match func_ov063_021162c8 byte-identical (mwccarm 1.2/sp2p3) #666

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions CLAIMS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,15 +19,15 @@ it is fair to take over: ping the claimant first.

| Range | Who | Claimed | Status |
|---|---|---|---|
| ov063 func_ov063_021162c8 (0x021162c8, size 0x108) | lunavyqo (Grok) | 2026-07-24 | **done** — verified byte-identical (mwccarm 1.2/sp2p3); long-long u64-launder on 0x5d4 bic |
| ov002 func_ov002_020d8944 (0x020d8944, size 0x10c) | lunavyqo (Grok) | 2026-07-24 | **released** — batch2 improved tip div=15→10 (LDM vs individual particle-call residual); banked in nearmiss/db.jsonl |
| ov002 batch7: func_ov002_020ae4cc (0x020ae4cc, size 0xfc) | lunavyqo (Grok) | 2026-07-24 | **active** — batch7 from near-miss div=9 |
| ov075 batch7: func_ov075_02116128 (0x02116128, size 0xf4) | lunavyqo (Grok) | 2026-07-24 | **active** — batch7 from near-miss div=29 |
| ov062+ov006 batch8: func_ov062_02119af0 (0x02119af0, 0xf0) + func_ov006_020cc8c8 (0x020cc8c8, 0xf0) | lunavyqo (Grok) | 2026-07-24 | **active** — batch8 match (CLAIMS.md only; API key expired/revoked) |
| ov002 func_ov002_020aefb8 (0x020aefb8, size 0x108) | lunavyqo (Grok) | 2026-07-24 | **active** — batch4 near-miss refine (prev div=24) |
| ov075 func_ov075_02117d80 (0x02117d80, size 0x104) | lunavyqo (Grok) | 2026-07-24 | **active** — batch4 near-miss refine (prev div=5) |
| ov002 func_ov002_020d708c (0x020d708c, size 0x100) | lunavyqo (Grok) | 2026-07-24 | **active** — batch6 near-miss div=19 |
| ov080 func_ov080_02125460 (0x02125460, size 0xfc) | lunavyqo (Grok) | 2026-07-24 | **active** — batch6 near-miss div=5 |
| ov002 func_ov002_020d8944 (0x020d8944, size 0x10c) | lunavyqo (Grok) | 2026-07-24 | **active** — batch2 match from near-miss div=15 |
| ov063 func_ov063_021162c8 (0x021162c8, size 0x108) | lunavyqo (Grok) | 2026-07-24 | **active** — batch2 match from near-miss div=12 |
| ov002 func_ov002_020f1468 (0x020f1468, size 0x110) + ov006 func_ov006_02124fd8 (0x02124fd8, size 0x10c) | lunavyqo (Grok) | 2026-07-24 | **done** — both verified byte-identical + linkcheck VERIFIED (mwccarm 1.2/sp2p3); batch1 |
| ov007 batch3: func_ov007_020c43bc (0x020c43bc, size 0x108) + func_ov007_020b2bd4 (0x020b2bd4, size 0x108) | lunavyqo (Grok) | 2026-07-24 | **active** — API key expired; CLAIMS.md only |
| ov007 func_ov007_020c55bc (0x020c55bc, size 0x100) | lunavyqo (Grok) | 2026-07-24 | **active** — batch5 match from near-miss div=9 |
Expand Down
2 changes: 2 additions & 0 deletions config/match_attempts.jsonl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -113,3 +113,5 @@
{"schemaVersion":1,"functionId":"ov002:0x020f1468","id":"ov002:0x020f1468","attemptId":"34bb8995b57b4fd6bf2e87415c97c5f7","parentAttemptId":"29e8a482e4514fe1a1c8747b3c86c6dc","module":"ov002","addr":34542696,"name":"func_ov002_020f1468","status":"matched","kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build","author":"lunavyqo","divergences":0,"prevBestDivergences":11,"improvedNearMiss":true,"srcPath":"src/func_ov002_020f1468.c","label":"batch1","note":"MATCH: direct *(c+0x32a) stores keep p out of mid-block so y=r1 base=r0; linkcheck VERIFIED","usedNearMissDraft":true,"usedGhidraDraft":false,"base":{"kind":"previous_attempt","attemptId":"29e8a482e4514fe1a1c8747b3c86c6dc","divergences":11},"sessionScope":"batch","batchSize":2}
{"schemaVersion":1,"functionId":"ov006:0x02124fd8","id":"ov006:0x02124fd8","attemptId":"5d99f84b3a0244b1ba1c1905eb0d47e2","parentAttemptId":null,"module":"ov006","addr":34754520,"name":"func_ov006_02124fd8","status":"no_progress","kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build","author":"lunavyqo","divergences":999,"prevBestDivergences":16,"improvedNearMiss":false,"label":"batch1","note":"root near-miss for-loop; size 0xf8 vs 0x10c; missing early ble + predicated return","usedNearMissDraft":true,"usedGhidraDraft":false,"base":{"kind":"near_miss_draft","divergences":16},"sessionScope":"batch","batchSize":2}
{"schemaVersion":1,"functionId":"ov006:0x02124fd8","id":"ov006:0x02124fd8","attemptId":"02a90f595e824792809fcdc7d06db8ac","parentAttemptId":"5d99f84b3a0244b1ba1c1905eb0d47e2","module":"ov006","addr":34754520,"name":"func_ov006_02124fd8","status":"matched","kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build","author":"lunavyqo","divergences":0,"prevBestDivergences":16,"improvedNearMiss":true,"srcPath":"src/func_ov006_02124fd8.c","label":"batch1","note":"MATCH: count<=0 early skip; do-while reloads count; if(fp<2)return; u64-mask 0x51b8++ ; linkcheck VERIFIED","usedNearMissDraft":true,"usedGhidraDraft":false,"base":{"kind":"previous_attempt","attemptId":"5d99f84b3a0244b1ba1c1905eb0d47e2","divergences":999},"sessionScope":"batch","batchSize":2}
{"schemaVersion": 1, "functionId": "ov063:0x021162c8", "id": "ov063:0x021162c8", "attemptId": "e0e41ae390644b6499db92cb29ff4eb2", "parentAttemptId": null, "module": "ov063", "addr": 34693832, "name": "func_ov063_021162c8", "status": "matched", "kind": "ai", "model": "grok-4.5", "reasoning": "high", "harness": "grok-build", "author": "lunavyqo", "divergences": 0, "prevBestDivergences": 12, "improvedNearMiss": true, "srcPath": "src/func_ov063_021162c8.cpp", "note": "long-long u64-launder on 0x5d4 bic forces pool materialization; CapEnemy/Actor C++ dispatch from near-miss", "usedNearMissDraft": true, "usedGhidraDraft": false, "base": {"kind": "near_miss_draft", "divergences": 12}, "sessionScope": "batch", "batchSize": 2}
{"schemaVersion": 1, "functionId": "ov002:0x020d8944", "id": "ov002:0x020d8944", "attemptId": "5031a15e7b7d405d8c3dcb24f56ac9fb", "parentAttemptId": null, "module": "ov002", "addr": 34441540, "name": "func_ov002_020d8944", "status": "near_miss", "kind": "ai", "model": "grok-4.5", "reasoning": "high", "harness": "grok-build", "author": "lunavyqo", "divergences": 10, "prevBestDivergences": 15, "improvedNearMiss": true, "srcPath": "src/func_ov002_020d8944.cpp", "note": "p,sum,asr decl order fixes stack; Vector3 by-value NewSimple for frame; residual LDM vs individual ldr for particle call (ABI)", "usedNearMissDraft": true, "usedGhidraDraft": false, "base": {"kind": "near_miss_draft", "divergences": 15}, "sessionScope": "batch", "batchSize": 2}
1 change: 1 addition & 0 deletions config/match_provenance.jsonl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,3 +23,4 @@
{"id":"ov002:0x020bb520","module":"ov002","addr":34321696,"name":"func_ov002_020bb520","matchProvenance":{"kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build"},"author":"lunavyqo","srcPath":"src/func_ov002_020bb520.c"}
{"id":"ov002:0x020f1468","module":"ov002","addr":34542696,"name":"func_ov002_020f1468","matchProvenance":{"kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build"},"author":"lunavyqo","srcPath":"src/func_ov002_020f1468.c"}
{"id":"ov006:0x02124fd8","module":"ov006","addr":34754520,"name":"func_ov006_02124fd8","matchProvenance":{"kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build"},"author":"lunavyqo","srcPath":"src/func_ov006_02124fd8.c"}
{"id": "ov063:0x021162c8", "module": "ov063", "addr": 34693832, "name": "func_ov063_021162c8", "matchProvenance": {"kind": "ai", "model": "grok-4.5", "reasoning": "high", "harness": "grok-build"}, "author": "lunavyqo", "srcPath": "src/func_ov063_021162c8.cpp"}
Loading
Loading