type-safety-rules
Installation
SKILL.md
TypeScript Type-Safety Rules
Review-oriented rule set for hunting type-system erosion in TypeScript codebases. 20 rules across 7 categories, prioritized by blast radius. Used as the audit checklist by the type-safety-auditor agent and usable standalone while writing or hardening TypeScript.
Rule Categories by Priority
| Priority | Category | Impact | Prefix |
|---|---|---|---|
| 1 | Any Erosion | CRITICAL | any- |
| 2 | Unsound Casts | CRITICAL | cast- |
| 3 | Boundary Validation | CRITICAL | boundary- |
| 4 | Assertion Abuse | HIGH | assert- |
| 5 | Compiler Configuration | HIGH | config- |
| 6 | Exhaustiveness | MEDIUM-HIGH | exhaust- |
| 7 | Generics Soundness | MEDIUM | generics- |