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