Module validate 

Catalog-backed validation of Workshop-origin WIR.

WIR builtin references are locale-independent canonical catalog ids. This module validates a Workshop IR program against the canonical catalog so an unknown, misspelled, or locale-tainted builtin is rejected deterministically instead of being stored as opaque unchecked text.

Functions

validate_canonical_ids

Validate every builtin reference in a Workshop-origin WIR program against the catalog: action/value call names must be known canonical ids, and enum references must resolve to a canonical member of a known domain.