feat(ir)!: add Payload.Required and Parameter.Provenance - #437

Merged

fuad-daoud merged 9 commits into

stack/1-detectionfrom

stack/3-ir-fields

Sep 12, 2026

Commits on Sep 12, 2026

feat(ir)!: give Payload a Required field for body optionality

fuad-daoud
and
claude
committed
a773502
feat(ir)!: give Parameter a Provenance and promote its x-sunset

fuad-daoud
and
claude
committed
0abefbb
docs(ir-design): name rule 4's live instances

fuad-daoud
and
claude
committed
62b00a1
docs(ir): say what Parameter.Provenance records for a $ref'd entry

fuad-daoud
and
claude
committed
054951f
feat(pass): report a Payload.Required set outside a request

fuad-daoud
and
claude
committed
32cde54
test(compilers/openapi): hold the promotion carriers to the IR

fuad-daoud
and
claude
committed
13f0e69
refactor(compilers/openapi): unexport schema.Preserve

fuad-daoud
and
claude
committed
6d71aec
test(compilers/openapi): assert a shared body's required at both uses

fuad-daoud
and
claude
committed
b404af0
docs(ir): note the 0.4.0 shape changes in flight on IRVersion

fuad-daoud
and
claude
committed
a72c105