Execute the Quint Specification

When you have a Quint spec and want to make a change to the codebase, this skill grounds the work in the spec. The spec is not advisory — it is the formal statement of what the system must do. All changes must satisfy it. The spec is reviewed, then the code follows.

When to use this skill

• Refactor: restructure code while preserving behavior (spec stays fixed; code must still satisfy it)
• New feature: add functionality described by or consistent with the spec
• Gap closure: code has drifted from the spec; bring it back into alignment
• Spec-first change: update the spec first, then implement to satisfy it

If no spec exists yet, use quint-modeling first to create the grounding artifact.

Core principle: spec is ground truth