Strict TS conventions: no any, exhaustive switches, branded types for IDs, proper discriminated unions.