Parent: #366 Related: #267, #142 Roadmap: #134
The exact wg-3.0 typed-function-reference boundary is implemented without weakening the profile.
Acceptance:
- Decode both opcodes and preserve their type-index immediates.
- Validate operand/reference subtyping, nullability, result types, and tail-call result compatibility exactly.
- Execute direct typed references with null and signature-mismatch traps.
- Cover GC relocation and cross-module canonical function-reference identity.
- Pass every command in the exact
wg-3.0typed-function-reference files, includingcall_ref.wastandreturn_call_ref.wast. - Add focused unit and bounded upstream-corpus CI evidence.