Skip to content

Match func_ov002_020aefb8 byte-identical (mwccarm 1.2/sp2p3) #663

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_ov002_020aefb8 byte-identical (mwccarm 1.2/sp2p3) #663

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,11 +19,11 @@ it is fair to take over: ping the claimant first.

| Range | Who | Claimed | Status |
|---|---|---|---|
| ov002 func_ov002_020aefb8 (0x020aefb8, size 0x108) | lunavyqo (Grok) | 2026-07-24 | **done** — verified byte-identical (mwccarm 1.2/sp2p3); u64-mask materialize 0xa4/0xac |
| ov075 func_ov075_02117d80 (0x02117d80, size 0x104) | lunavyqo (Grok) | 2026-07-24 | **released** — batch4 improved tip div=5→4 (enum Bool); load/flag interleave regperm floor; tip 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 |
Expand Down
5 changes: 5 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,8 @@
{"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":"ov002:0x020aefb8","id":"ov002:0x020aefb8","attemptId":"a43a1dab2e894d7c8d07406dc161f1ec","parentAttemptId":null,"module":"ov002","addr":34271160,"name":"func_ov002_020aefb8","status":"matched","kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build","author":"lunavyqo","divergences":0,"prevBestDivergences":24,"improvedNearMiss":true,"srcPath":"src/func_ov002_020aefb8.c","note":"u64-mask launder materialize self+0xa4 and self+0xac for mla RMW bases","usedNearMissDraft":true,"usedGhidraDraft":false,"base":{"kind":"near_miss_draft","divergences":24},"sessionScope":"batch","batchSize":2}
{"schemaVersion":1,"functionId":"ov075:0x02117d80","id":"ov075:0x02117d80","attemptId":"ba70408a34c646d79d8ac4e53fa70cf5","parentAttemptId":null,"module":"ov075","addr":34700672,"name":"func_ov075_02117d80","status":"near_miss","kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build","author":"lunavyqo","divergences":4,"prevBestDivergences":5,"improvedNearMiss":true,"srcPath":"scratch/batch4/ov075_e2.c","note":"enum Bool cond != FALSE fixes ands->cmp r0,#0; pool load/flag interleave still diverges","usedNearMissDraft":true,"usedGhidraDraft":false,"base":{"kind":"near_miss_draft","divergences":5},"sessionScope":"batch","batchSize":2}
{"schemaVersion":1,"functionId":"ov075:0x02117d80","id":"ov075:0x02117d80","attemptId":"0740ba676d984b17b10158496b99150d","parentAttemptId":"ba70408a34c646d79d8ac4e53fa70cf5","module":"ov075","addr":34700672,"name":"func_ov075_02117d80","status":"no_progress","kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build","author":"lunavyqo","divergences":9,"prevBestDivergences":4,"improvedNearMiss":false,"srcPath":"scratch/batch4/ov075_e3.c","note":"fake-dep ternary batches loads correctly but regperm floor div=9","usedNearMissDraft":true,"usedGhidraDraft":false,"base":{"kind":"previous_attempt","attemptId":"ba70408a34c646d79d8ac4e53fa70cf5","divergences":4},"sessionScope":"batch","batchSize":2}
{"schemaVersion":1,"functionId":"ov075:0x02117d80","id":"ov075:0x02117d80","attemptId":"420a0d4d2222484680f050eec89a4e6f","parentAttemptId":"ba70408a34c646d79d8ac4e53fa70cf5","module":"ov075","addr":34700672,"name":"func_ov075_02117d80","status":"no_progress","kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build","author":"lunavyqo","divergences":4,"prevBestDivergences":4,"improvedNearMiss":false,"note":"permuter 120s from e3 shape stuck at base score 70; regperm floor","usedNearMissDraft":true,"usedGhidraDraft":false,"base":{"kind":"previous_attempt","attemptId":"ba70408a34c646d79d8ac4e53fa70cf5","divergences":4},"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","improvedNearMiss":false,"srcPath":"src/func_ov063_021162c8.cpp","note":"banked","base":{"kind":"scratch"},"sessionScope":"batch","batchSize":2}
2 changes: 2 additions & 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,5 @@
{"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":"ov002:0x020aefb8","module":"ov002","addr":34271160,"name":"func_ov002_020aefb8","matchProvenance":{"kind":"ai","model":"grok-4.5","reasoning":"high","harness":"grok-build"},"author":"lunavyqo","srcPath":"src/func_ov002_020aefb8.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"}
30 changes: 15 additions & 15 deletions nearmiss/db.jsonl
View file
Open in desktop

Large diffs are not rendered by default.

11 changes: 6 additions & 5 deletions src/func_ov002_020aefb8.c
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,4 @@
//cpp
// NONMATCHING: base materialization / addressing (div=24). Logic verified correct vs ROM; not
// byte-matchable from C at mwccarm 1.2/sp2p3 (see notes/matching-style.md).
// Counts as decompiled, not matched.
struct CylinderClsn;
struct WithMeshClsn {
int IsOnGround() const;
Expand All @@ -20,10 +17,14 @@ extern "C" int Vec3_HorzLen(void*);

extern "C" void func_ov002_020aefb8(char* self);
void func_ov002_020aefb8(char* self) {
int *px;
int *pz;
((Actor*)self)->UpdatePosWithHorzSpeedAndAng();
if (((WithMeshClsn*)(self + 0x144))->IsOnGround()) {
*(int*)(self + 0xa4) += *(int*)(self + 0xd4) * 0xa;
*(int*)(self + 0xac) += *(int*)(self + 0xdc) * 0xa;
px = (int*)(int)(((long long)(int)(self + 0xa4)) & 0xFFFFFFFFFFFFFFFFLL);
*px += *(int*)(self + 0xd4) * 0xa;
pz = (int*)(int)(((long long)(int)(self + 0xac)) & 0xFFFFFFFFFFFFFFFFLL);
*pz += *(int*)(self + 0xdc) * 0xa;
if (((WithMeshClsn*)(self + 0x144))->JustHitGround()) {
*(int*)(self + 0xa8) = -(*(int*)(self + 0xa8) << 2) / 10;
} else {
Expand Down
Loading