154 rules across 5 phasesAST-only math + redundancy, reflection-aware bindings, CFG-aware divergence, SM 6.7 / 6.8 / 6.9 surfaces.
Quick-fix in your editorVS Code extension + LSP server (sub-phase 5a-c). One-click rewrites where the fix is type-safe.
GPU reasoning per ruleEvery rule ships with a doc page explaining the hardware mechanism — RDNA / Turing / Ada / Xe-HPG.