Terminal state validation Complete

Phase

Core Validation (Phase 3)

Dependencies

Langium grammar definition

Issue

Codeberg Issue #13

Milestone

Phase 3: Core Validation

View on Roadmap

Verify no decide clause targets a terminal state, and at least one non-terminal state exists per decider. Initial state is grammar-enforced (ADR-020).

In this phase

• Expression grammar
• Exhaustiveness check
• Evolve totality check
• Guard consistency
• Error messages with positions
• Dead code detection
• Postcondition verification

References

• Validation reference
• ADR-020: Declarative initial/terminal syntax