Skip to content

Match 2 functions byte-identical (mwccarm 1.2/sp2p3)#665

Closed
lunavyqo wants to merge 1 commit into
tangosdev:mainfrom
lunavyqo:match/batch8-ov062-ov006
Closed

Match 2 functions byte-identical (mwccarm 1.2/sp2p3)#665
lunavyqo wants to merge 1 commit into
tangosdev:mainfrom
lunavyqo:match/batch8-ov062-ov006

Conversation

@lunavyqo

Copy link
Copy Markdown
Contributor

Summary

Byte-identical matches for batch8 (mwccarm 1.2/sp2p3), author lunavyqo.

Function Module Addr Size Notes
func_ov062_02119af0 ov062 0x02119af0 0xf0 control-flow dot<=0 || dist; u64 counter ptr; GetNode(idx); #pragma opt_propagation off
func_ov006_020cc8c8 ov006 0x020cc8c8 0xf0 common SetAnim epilogue; G2 struct-copy; u64-laundered cur

Local verify: both MATCHING VERSIONS: 1.2/sp2p3.
Linkcheck: func_ov006_020cc8c8 VERIFIED; func_ov062_02119af0 BLIND-1 (one unresolved reloc).

Provenance + attempt trees appended to config/match_provenance.jsonl and config/match_attempts.jsonl.

Claims API

Claims API key in the agent prompt was expired/revoked (401). Coordination via CLAIMS.md only — please re-sign-in for live locks.

Test plan

  • python tools/match.py --c src/func_ov062_02119af0.c --func func_ov062_02119af0 --addr 0x2119af0 --size 0xf0 --version 1.2/sp2p3 --module ov062
  • python tools/match.py --c src/func_ov006_020cc8c8.c --func func_ov006_020cc8c8 --addr 0x20cc8c8 --size 0xf0 --version 1.2/sp2p3 --module ov006
  • CI validate green

- func_ov062_02119af0 @ 0x02119af0: control-flow (dot<=0 || dist), u64 counter
  pointer, GetNode with node index; #pragma opt_propagation off for r3/r6
- func_ov006_020cc8c8 @ 0x020cc8c8: common SetAnim epilogue + G2 struct-copy of
  data_ov006_0213b21c; u64-laundered cur pointer

Author: lunavyqo. Provenance + attempt tree logged.
@github-actions

Copy link
Copy Markdown
Contributor

✅ PR link validation — Passed

2 changed src file(s) compile to the ROM byte-for-byte with correct relocations

Per-file link-check detail

All 2 changed file(s) compile to the ROM byte-for-byte with correct relocation targets.

File Symbol Result Slots checked
src/func_ov006_020cc8c8.c func_ov006_020cc8c8 ✅ verified 1
src/func_ov062_02119af0.c func_ov062_02119af0 🔶 blind (a reloc slot could not be resolved) 1

Each changed src/*.c|*.cpp is compiled and its relocated bytes compared to the binary data on a private build box. Passing requires every changed file to reproduce the ROM byte-for-byte with correct relocation targets — this catches WRONG-DEST relocations and non-reproducing near-misses that ledger-scoped linkcheck skips.

tangosdev pushed a commit that referenced this pull request Jul 24, 2026
…arm 1.2/sp2p3)

Combined landing of PRs #663-666 (fork). Matches re-verified byte-identical:
  func_ov002_020aefb8 (#663), func_ov007_020b2bd4 (#664),
  func_ov006_020cc8c8 + func_ov062_02119af0 (#665),
  func_ov063_021162c8 (#666, .c -> .cpp rename).
Plus two tip improvements: func_ov075_02117d80 5->4, func_ov002_020d8944 15->10.
The five now-matched functions' near-miss entries were pruned.

Provenance: ai model=grok-4.5 reasoning=high harness=grok-build
@tangosdev

Copy link
Copy Markdown
Owner

Match landed on main as c31b271 with your authorship, combined with #663-666. All re-verified byte-identical; the now-matched functions' near-miss entries were pruned and two tip improvements (func_ov075_02117d80 5→4, func_ov002_020d8944 15→10) banked.

@tangosdev tangosdev closed this Jul 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants