4. Semantics and Graphs🔗

This section turns from "how do I run this?" to "what does this computation mean?". The graph IR, the spec layer, and GraphSpec are the pieces that let runtime code, verification code, and outside ecosystems talk about the same model.