valid

Create or refine a valid model from business rules or existing code. Use when the user wants help designing states, actions, properties, or a starter model implementation.

Verify a valid model or the current project model. Use when the user wants PASS/FAIL/UNKNOWN, automatic explain on failure, and concrete repair suggestions.

Manage valid contract snapshots and lock files. Use when the user wants contract lock/check workflows, drift explanations, or guidance on whether to refresh a lock file.

Review a valid model with inspect, lint/readiness, and coverage. Use when the user wants a capability summary, solver compatibility notes, and prioritized improvement advice.

Generate tests from a valid model and review their quality. Use when the user wants test vectors, generated test files, and coverage-gap analysis.