[GH-ISSUE #342] Real-Hopper verifier for caller/callee chains #189

New issue

Open

opened 2026-10-15 18:22:14 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-15 18:22:14 +00:00

Owner

Originally created by @morluto on GitHub (Jul 20, 2026).
Original GitHub issue: https://github.com/morluto/rea/issues/342

Run the licensed real-Hopper verifier to prove caller/callee chains across main, entry, branch, and leaf functions, including typed identities and instruction-level string/name reference edges.

Acceptance:

Assertion layer rejects value-only reference matches from another procedure.
Global-name references are bound to the queried procedure address.
Results survive npm run check.

Part of #54.

Originally created by @morluto on GitHub (Jul 20, 2026). Original GitHub issue: https://github.com/morluto/rea/issues/342 Run the licensed real-Hopper verifier to prove caller/callee chains across main, entry, branch, and leaf functions, including typed identities and instruction-level string/name reference edges. Acceptance: - Assertion layer rejects value-only reference matches from another procedure. - Global-name references are bound to the queried procedure address. - Results survive `npm run check`. Part of #54.

bsakaguchi added the

area: native

P0: critical

enhancement

labels

2026-10-15 18:22:14 +00:00

bsakaguchi added

enhancement

and removed

enhancement

labels

2026-10-31 00:28:49 +00:00