validate

Overview ¶

Package validate resolves a parsed widget document into the typed IR and reports every finding of the error catalogue.

Two passes, and both run to completion. The first declares every identifier, so a reference can be told apart from a name that is merely written later; the second builds the IR in canonical block order, resolving each reference against the declaration table and reporting the invariants that can be decided locally. A third, whole-document sweep reports the relations no single statement can be wrong about on its own — an unreferenced role, a channel carried by no edge, a state field written by nothing, a cycle in the predicate graph.

Nothing here stops at the first finding. An author who fixes one error and re-runs to discover the next learns that the tool tells them a fraction of the truth, and starts guessing ahead of it.