It seems to be true to me. And aside from the API stuff (because I am far from an expert user of Zod) all of this has been carefully verified.