Run the local gates before sending changes:
```powershell
cargo fmt --check
cargo test --locked
cargo clippy --locked --all-targets --all-features -- -D warnings
```
Keep new diagnostics receipt-backed. If a rule depends on expression semantics, use `gha-expression-proof` rather than duplicating parser behavior here.