Guard consistency Complete

Phase

Core Validation (Phase 3)

Dependencies

Expression grammar

Dependents

DSL mutation testing

Issue

Codeberg Issue #10

Milestone

Phase 3: Core Validation

View on Roadmap

Detect contradictory guards leading to unreachable code

In this phase

• Expression grammar
• Exhaustiveness check
• Evolve totality check
• Error messages with positions
• Dead code detection
• Terminal state validation
• Postcondition verification

References

• Business rule guards
• Decider reference
• ADR-006: Guard analysis via Galois connection
• ADR-015: Abstract interpretation for satisfiability