soundness-traps
Installation
SKILL.md
Avoid Soundness Traps
Overview
TypeScript is not sound - runtime values can diverge from static types.
"Soundness" means static types always match runtime values. TypeScript intentionally trades some soundness for convenience. Know the common traps.
When to Use This Skill
- Debugging "impossible" runtime errors
- Understanding TypeScript's limitations
- Writing defensive code
- Evaluating trade-offs of strict options