Expand description
Shape cardinality analysis for query expressions.
Determines whether an expression matches a single node position (One)
or multiple sequential positions (Many). Used to validate field constraints:
field: expr requires expr to have ShapeCardinality::One.
Invalid marks nodes where cardinality cannot be determined (error nodes,
undefined refs, etc.).