Static Validation

Static validation

An implementation MUST reject a Workfile, before any action executes, for every condition that the error code registry lists outside the fault area. That registry is the single list of those conditions, and each entry names the rule it enforces. Some conditions concern a manifest or an overlay that the Workfile resolves against, rather than the Workfile itself.

Validation resolves first. An implementation MUST resolve the catalog, the connections, the overlays, the templates, and the callee of every call before it checks the conditions that depend on them.

Diagnostics MUST identify the offending construct by its path within the document, and by source location. Diagnostics MUST report the code that the registry assigns to the condition. Beyond that, presentation is implementation-defined.