Correct-by-construction TypeScript standards. Use for TypeScript engineering or when another skill needs the user's coding standards.