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.
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:
npm run check.Part of #54.