v0.5.0

Requires ata-validator 0.18.0, whose Infer resolves anyOf/oneOf to unions, allOf to an intersection, prefixItems to tuples, and local $ref.

Request bodies now narrow to those shapes through AtaTypeProvider with no manual annotation. Type tests cover the union, the referenced type, and the intersection cases. No code change to the provider itself: it builds on Infer and inherits the wider inference.