walking-skeleton

Goal

Thread a single call-site generic call end-to-end (parse -> typeck -> run) to prove the speculative-parse + instantiation seam before per-phase depth.

Implementation Sketch

Pick value.is<int>() as the minimal call-site generic. Land the smallest parser dispatch + typeck wiring that parses it, instantiates the method scheme, and runs it under the interpreter; defer breadth to the phase sections.

Spec References

Proposal Summary + Motivation; canon.md §1 pipeline order.

Work Items

• Walking skeleton: value.is<int>() parses, type-checks, and runs end-to-end through interp on a single fixture.