SpecsModelExplore
IOModel Compiler
IOModel Compiler

Checks the model for internal consistency, producing diagnostics in Studio, the IDE Extension, and CI.

The IOModel Compiler checks that the model itself is internally consistent — valid structure, resolvable references, unique slugs — and reports problems as diagnostics. It runs in Studio, the IDE Extension, and CI.

What it checks

The Compiler is tolerant by design: it always returns a usable tree and reports issues as diagnostics rather than failing outright.

DiagnosticMeaning
invalid-yamlA file is not valid YAML
invalid-slugA model or object slug is not allowed
duplicate-slugTwo siblings share the same slug
unknown-referenceA link target cannot be resolved
inline-and-file-collisionAn object is defined both inline and in its own file

Compiler vs Validator

The Compiler answers “is the model internally consistent?”. The Validator answers “does the model match the real system?” using the digital twin.

Where it runs

  • Studio — diagnostics banner while you edit.
  • IDE Extension — inline editor problems with file and line locations.
  • CI — exit codes gate merges on invalid model or spec changes.

Pro plan

The Compiler is part of the IOModel Pro plan. See Plans for the full breakdown.

Model Validation

The full list of diagnostics and how to resolve them.

CI Validation

Run the Compiler in pre-commit hooks and CI.

IOModel Validator

Compare the model against the running system.

Last updated on