Module validate 

Public cross-domain canonical validation over crate::Program.

Functions

validate_canonical_ids

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

validate_canonical_ids_tolerating_residuals

Same contract as validate_canonical_ids, except that catalog-unknown action and value calls — the constructs crate::Program::semantic_issues reports as completeness residuals — are tolerated rather than rejected. An unknown call’s signature is unknowable and is not checked, but its argument values are still validated recursively and validation continues to later siblings, so a residual cannot mask a canonical violation elsewhere in the program. Every other canonical check is unchanged and the first real violation still aborts validation.