ir!: the validation constraints WA Web enforces, not just field shapes (schemaVersion 2.0.0) - #36

Merged

jlucaso1 merged 37 commits into

mainfrom

ir-validation-constraints

Jul 28, 2026

Commits on Jul 27, 2026

ir: extract the validation constraints WA Web enforces, not just field shapes
jlucaso1
committed
ced8322
scan: enforce that a reference echo reads the request, not just any node
jlucaso1
committed
5500115
review: fix the constraint-layer defects found in review
jlucaso1
committed
08c01ed
review: pair the error vocabulary, and fix the losses round 2 surfaced
jlucaso1
committed
28b8b14
review: inherit outer error pins, and fix the accessor/scope gaps round 3 left
jlucaso1
committed
bd585b6
review: per-return scopes, and call the schema bump what it is (2.0.0)
jlucaso1
committed
1bf091c
review: branch-merge value-position helpers, and stop `||` weakening a required read
jlucaso1
committed
f71f94a
review: classify wire errors by the root discriminator, merge mapped-child branches
jlucaso1
committed
3552d0d
review: drop phantom actions, model the two-level error, and stop overclaiming the guard
jlucaso1
committed
f529bd7
ir: model the error vocabulary correctly, breaking 1.x rather than working around it
jlucaso1
committed
5830753
review: place presence-flag pins on their node, and stop three ambiguities guessing
jlucaso1
committed
058a959
wap: derive `maybe*` accessor types instead of enumerating them
jlucaso1
committed
632eb30
docs: note the accessor-type classification in the constraints section
jlucaso1
committed
90cd7d6
review: refuse conflicting field sources, and key drops per parser site
jlucaso1
committed
accb9b9

Commits on Jul 28, 2026