A TypeScript-first schema validation library that parses untrusted data into strongly typed, validated results with static inference.