Revision Sheet
Transformations
Utility and mapped types reduce duplication when derived shapes genuinely follow a source model.
Advanced Branching
Conditional types, infer, and template literal types are powerful for shared helpers, event contracts, route conventions, and library APIs.
Integration Boundaries
Declaration files should describe untyped packages, assets, globals, and SDKs narrowly while runtime validation handles real external data.