Expression grammar Complete
Replace opaque ExpressionFragment with operator-precedence expression grammar. Unblocks guard consistency, postcondition verification, and multi-field evolve.
In this phase
- Exhaustiveness check
- Evolve totality check
- Guard consistency
- Error messages with positions
- Dead code detection
- Terminal state validation
- Postcondition verification