📄️ No Catch Unknown Annotation
Disallow redundant unknown type annotations on catch clause variables because TypeScript defaults them to unknown.
📄️ No Inline Type Annotation
Disallow inline type annotations in code files and require named type aliases from definition files instead.
📄️ No Shared Type Import
Disallow importing shared type files in code files to enforce type layering where shared types flow through domain type files.