Union/intersection expressiveness improvements #3182
Description
Objective
Enhance the inference of unions/intersections (e.g., oneOf, anyOf, allOf) for more complex cases (distributive unions, exclusion of null/undefined, strict oneOf, etc.).
Details
- Add stricter type-level checks for oneOf semantics if feasible.
- Improve inference for nested or complex union/intersection arrays.
- Document limitations and provide usage patterns.
Parent Epic: schema-inference-epic