Expand description
Semantic validation (SPEC §5.5.1 choices, §7 contracts). Structural validation
(unknown fields, required fields) is enforced by serde’s deny_unknown_fields
during loading; reference resolution happens in crate::machine::build. This
module adds the checks the JSON schema cannot express.
Structs§
Functions§
- validate
- Fully validate a set of machine definitions (the first is the root). Returns the list of errors (empty => valid).