Dead code detection Complete
Detect commands and events declared but not referenced by any decider. 6 property-based tests, 100% mutation score.
In this phase
- Expression grammar
- Exhaustiveness check
- Evolve totality check
- Guard consistency
- Error messages with positions
- Terminal state validation
- Postcondition verification