review-type-safety

Audit TypeScript code for type safety issues—any/unknown abuse, invalid states, missing narrowing.