Module value

Composite shapes and cardinality factories.

Defines the shape hierarchy for describing the expected structure of linked data values, along with cardinality factories for constraining how many values a property may hold.

Shape Hierarchy

• Shape — discriminated union of all value and union shapes
• ValuesShape — value shapes plus localised DictionaryShape language-tagged maps
• ValueShape — the concrete value shapes:
  • BooleanShape — boolean values
  • NumberShape — numeric values
  • StringShape — textual values
  • ReferenceShape — resource references
  • ResourceShape — linked data resources
• UnionShape — a disjunction of value-shape variants for a polymorphic value
• SetShape — a cardinality-constrained value set
• RangeShape — value range a Probe resolves to via effective: bounds and variants

Type Inference

Two companion types project a shape into the relevant TypeScript view:

• Schema — the complete template declared by the shape, describing every property and carrying cardinality-driven optionality both on the value types and, for properties admitting absence, as an optional key (template side).
• State — the runtime state value matching the template, recovered through the Instance; entries admitting absence may be undefined or omitted outright (state side).

Ancillary helpers Resolved, Bounds, and Boxed factor the internal projections (narrowing the eager unwrap of a Lazy shape to the Shape or RangeShape bound, resolving union branches, conditioning a shape's model on cardinality, and boxing values into singleton tuples for multi-valued ranges) and are exported for tests and downstream shape extensions.

Factories

• The cardinality factories wrap a shape in a SetShape with fixed bounds: required (exactly one), optional (at most one), repeatable (at least one), and multiple (any number).
• cardinality is the general form, returning a factory for an arbitrary minCount / maxCount pair that the four named factories specialise.

Utilities

• eager resolves a Lazy shape factory to its concrete Shape, caching results and flattening ResourceShape entries; a resolved RangeShape passes through unchanged.
• model extracts the runtime Schema of a shape, an ergonomic shortcut for eager(shape).model.
• effective resolves the effective RangeShape type for a Probe against a Shape, or re-probes a previously resolved RangeShape whose bounds compose into the traversal, walking property paths through nested resources, branching across UnionShape variants at the entry or at any property range, and applying each transform pipe stage. It yields an atomic Trace string when the probe cannot be resolved or its transform pipe cannot be applied to any resolved variant.