Type Inference

z.infer turns a schema into a TypeScript type, so the runtime check and the compile-time type cannot drift apart. Interviewers ask about z.input versus z.output, because transforms make the before and after types genuinely different.