Elite TypeScript rigor for writing, reviewing, refactoring, or migrating any .ts/.tsx/.mts/.cts code. Enforces a ZERO-`any` policy, maximally-strict tsconfig, modern TS 5.x idioms (`satisfies`, `const` type params, `NoInfer`, `using`, `isolatedDeclarations`), and production-grade patterns (branded types, parse-don't-validate with Zod/Valibot/ArkType, `Result<T,E>`, exhaustive `never`, type-level state machines). Use whenever TypeScript code is involved or the user mentions types, tsconfig, generics, type-safety, "TS error", Zod, Valibot, tRPC, Effect, or migrating JS→TS.
2026-04-22