Representations and Infrastructure

These chapters define the semantic values and storage mechanisms shared across the compilation pipeline. They are not sequential phases.

• Symbols provide stable identities for local and external definitions.
• Typed IR is the output contract for completed body checking.
• Stash owns compact hash-consed trees at query boundaries.
• Spans retain source provenance without making unrelated text movement invalidate semantic content.
• Incrementality and Query Boundaries explains how Salsa identities, query keys, backdating, and execution traces isolate changes.

Together these pages define the reusable data and computation boundaries used by every pipeline phase.