@_linked/core 2.15.1 → 2.16.0-next.20260816080201

package/lib/esm/shapes/validation.js

@@ -0,0 +1,586 @@
+/*
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ */
+/**
+ * SHACL-aligned validation of plain data objects against a node shape.
+ *
+ * One entry point — {@link validate} — used by the create and update pipelines
+ * (via `MutationQueryFactory.describe()`) and directly by callers that want to
+ * know how well an object fits a shape without building a mutation.
+ *
+ * **Shape of the output.** This library has no triple/Turtle layer and this
+ * module does not add one: a {@link ValidationReport} is plain JavaScript. It is
+ * however 1-1 with the SHACL vocabulary — one key per SHACL property, named
+ * after it, holding a value the mutation pipeline accepts (a literal, or a
+ * `{id}` node reference for IRI-valued properties). So a report can be
+ * materialized by an ordinary create query as soon as shape classes for
+ * `sh:ValidationReport` / `sh:ValidationResult` exist, with no transform step:
+ *
+ * ```ts
+ * const report = validate(Slide, data);
+ * await ValidationReport.create(report);   // once those shape classes exist
+ * ```
+ *
+ * Two deliberate departures, both documented on the types: `results` is plural
+ * where SHACL's repeated property is `sh:result`, and `propertyPath` is a
+ * non-SHACL locator. Both map cleanly — a shape class chooses its own labels for
+ * SHACL paths, and an extension property is legal on a SHACL report.
+ *
+ * **Coverage.** Cardinality (`sh:minCount` / `sh:maxCount`), node kind (literal
+ * vs relation), undeclared properties (as `sh:closed`), `sh:datatype`, the four
+ * `sh:min/maxInclusive/Exclusive` bounds, `sh:min/maxLength`, `sh:pattern` and
+ * `sh:in`. Each is one entry in {@link CARDINALITY_CONSTRAINTS} or
+ * {@link VALUE_CONSTRAINTS}, so adding another is one function and one test.
+ *
+ * Not covered: `sh:languageIn` / `sh:uniqueLang` (skipped at serialization time
+ * too, so there is no metadata to check against) and `sh:hasValue`.
+ */
+import { shacl } from '../ontologies/shacl.js';
+import { xsd } from '../ontologies/xsd.js';
+import { isNodeReferenceValue } from '../utils/NodeReference.js';
+import { getUniquePropertyShapes } from './nodeShapeData.js';
+import { getShapeClass } from '../utils/ShapeClass.js';
+import { isExpressionNode } from '../expressions/ExpressionNode.js';
+import { asContextRef } from '../queries/QueryContext.js';
+/** Thrown by {@link assertValid} — carries the full report, not just the first violation. */
+export class ShapeValidationError extends Error {
+    constructor(report) {
+        super(report.results.map((r) => r.resultMessage).join('\n'));
+        this.name = 'ShapeValidationError';
+        this.report = report;
+    }
+}
+/**
+ * Keys that carry metadata about the node rather than a property value: `id` /
+ * `__id` name it, and `shape` names the shape of a nested value when the
+ * property shape itself doesn't declare one (see `convertUpdateValue`).
+ */
+const RESERVED_KEYS = new Set(['id', '__id', 'shape']);
+/**
+ * The message for an undeclared property key. Shared with the normalization path
+ * in `MutationQuery`, which needs the same guard to build a field at all.
+ */
+export function undeclaredPropertyMessage(key, shape) {
+    var _a;
+    const shapeName = shape.label || ((_a = shape.id) === null || _a === void 0 ? void 0 : _a.split('/').pop());
+    return (`Invalid property key: ${key}. The shape ${shapeName} does not have a registered ` +
+        `property with this name. Make sure the get/set method exists, and that it uses a ` +
+        `@objectProperty or @literalProperty decorator.`);
+}
+/**
+ * `sh:value` must be an RDF term. A literal or a node reference is one; a plain
+ * object, array or function is not, so it is left off rather than emitted as
+ * something no store could materialize — the message still names it.
+ */
+function asTerm(value) {
+    if (isScalarValue(value))
+        return value;
+    if (isNodeReference(value))
+        return { id: value.id };
+    return undefined;
+}
+/**
+ * A violation about the node itself rather than one of its property shapes —
+ * `sh:sourceShape` is the node shape, and there is no `sh:resultPath` (an
+ * undeclared key has no property IRI to point at).
+ */
+function nodeViolation(shape, ctx, component, message, propertyPath, value) {
+    const result = {
+        sourceConstraintComponent: component,
+        resultSeverity: shacl.Violation,
+        resultMessage: message,
+    };
+    if (ctx.focusNode)
+        result.focusNode = { id: ctx.focusNode };
+    if (propertyPath)
+        result.propertyPath = propertyPath;
+    const term = asTerm(value);
+    if (term !== undefined)
+        result.value = term;
+    if (shape.id)
+        result.sourceShape = { id: shape.id };
+    return result;
+}
+/**
+ * Build a result, omitting absent keys entirely — an `undefined` value is not a
+ * property the create pipeline should see.
+ */
+function violation(ctx, component, message, value) {
+    const result = {
+        sourceConstraintComponent: component,
+        resultSeverity: shacl.Violation,
+        resultMessage: message,
+    };
+    if (ctx.focusNode)
+        result.focusNode = { id: ctx.focusNode };
+    const path = ctx.propertyShape.path;
+    if (path === null || path === void 0 ? void 0 : path.id)
+        result.resultPath = { id: path.id };
+    if (ctx.property)
+        result.propertyPath = ctx.property;
+    const term = asTerm(value);
+    if (term !== undefined)
+        result.value = term;
+    const sourceShape = ctx.propertyShape.id || ctx.shape.id;
+    if (sourceShape)
+        result.sourceShape = { id: sourceShape };
+    return result;
+}
+/** The label used in messages — the property's own label, not its nested path. */
+function labelOf(ps) {
+    return ps.label || ps.id;
+}
+/** `sh:maxCount` — no more values than the shape allows. */
+const maxCountCheck = (values, ctx) => {
+    const { maxCount } = ctx.propertyShape;
+    if (typeof maxCount !== 'number' || values.length <= maxCount)
+        return [];
+    return [
+        violation(ctx, shacl.MaxCountConstraintComponent, `Property '${labelOf(ctx.propertyShape)}' allows at most ${maxCount} value(s), but ${values.length} were provided.`),
+    ];
+};
+/** `sh:minCount` — at least as many values as the shape requires. */
+const minCountCheck = (values, ctx) => {
+    const { minCount } = ctx.propertyShape;
+    if (typeof minCount !== 'number' || minCount <= 0 || values.length >= minCount)
+        return [];
+    return [
+        violation(ctx, shacl.MinCountConstraintComponent, `Property '${labelOf(ctx.propertyShape)}' requires at least ${minCount} value(s), but ${values.length} were provided.`),
+    ];
+};
+/** True when the property clearly accepts only literal values. */
+function expectsLiteral(ps) {
+    if (ps.nodeKind)
+        return ps.nodeKind.id === shacl.Literal.id;
+    return !!ps.datatype && !ps.valueShape;
+}
+/** True when the property clearly accepts only nodes (IRIs/blank nodes). */
+function expectsNode(ps) {
+    if (ps.nodeKind) {
+        return (ps.nodeKind.id === shacl.IRI.id ||
+            ps.nodeKind.id === shacl.BlankNode.id ||
+            ps.nodeKind.id === shacl.BlankNodeOrIRI.id);
+    }
+    return !!ps.valueShape;
+}
+function isScalarValue(value) {
+    return (typeof value === 'string' ||
+        typeof value === 'number' ||
+        typeof value === 'boolean' ||
+        value instanceof Date);
+}
+/**
+ * `sh:nodeKind` — literal properties reject nodes/objects, relation properties
+ * reject bare scalars. Ambiguous kinds (`sh:IRIOrLiteral`, or no `nodeKind` and
+ * no `datatype`/`valueShape` to infer from) are not enforced.
+ */
+const nodeKindCheck = (values, ctx) => {
+    const ps = ctx.propertyShape;
+    const literalExpected = expectsLiteral(ps);
+    const nodeExpected = expectsNode(ps);
+    if (!literalExpected && !nodeExpected)
+        return [];
+    const results = [];
+    for (const el of values) {
+        if (!isCheckableElement(el))
+            continue;
+        const scalar = isScalarValue(el);
+        if (literalExpected && !scalar) {
+            results.push(violation(ctx, shacl.NodeKindConstraintComponent, `Property '${labelOf(ps)}' is a literal property but was given a ${typeof el === 'object' ? 'node/object' : typeof el} value.`, el));
+        }
+        else if (nodeExpected && scalar) {
+            results.push(violation(ctx, shacl.NodeKindConstraintComponent, `Property '${labelOf(ps)}' is a relation (object) property but was given a literal (${typeof el}). Provide a {id} reference or a nested object.`, el));
+        }
+    }
+    return results;
+};
+/**
+ * An element worth checking: a concrete value rather than something whose final
+ * form is decided elsewhere (an expression, a context ref, an absent value).
+ */
+function isCheckableElement(el) {
+    return el !== null && el !== undefined && !isExpressionNode(el) && !asContextRef(el);
+}
+const XSD_BASE = xsd.string.id.slice(0, -'string'.length);
+/** `xsd:integer` rather than the full IRI, when the datatype is an XSD one. */
+function datatypeLabel(datatype) {
+    return datatype.id.startsWith(XSD_BASE)
+        ? `xsd:${datatype.id.slice(XSD_BASE.length)}`
+        : datatype.id;
+}
+/** How a value reads in a message — its JS kind, which is what went wrong. */
+function describeValue(value) {
+    if (value instanceof Date)
+        return 'a Date';
+    if (Array.isArray(value))
+        return 'an array';
+    if (typeof value === 'number')
+        return Number.isInteger(value) ? 'a whole number' : 'a decimal number';
+    if (typeof value === 'object')
+        return 'a node/object';
+    return `a ${typeof value}`;
+}
+const isFiniteNumber = (v) => typeof v === 'number' && Number.isFinite(v);
+/**
+ * What each XSD datatype accepts as a JavaScript value.
+ *
+ * This matters more than a normal type check: mutation literals are typed from
+ * the *JavaScript* type when they reach SPARQL (`irToAlgebra`), not from the
+ * declared datatype — a number becomes `xsd:integer`/`xsd:double`, a boolean
+ * `xsd:boolean`, a `Date` `xsd:dateTime`, and a string an untyped literal. So a
+ * string handed to an `xsd:integer` property does not merely skip a check, it
+ * writes the wrong RDF term. Rejecting it is a correctness fix.
+ *
+ * Temporal properties take a `Date` and nothing else — one representation for a
+ * point in time, rather than a JS object and a hand-written lexical string that
+ * behave differently. The serializer derives the right lexical form from the
+ * declared datatype (`irToAlgebra.dateToTerm`), so an `xsd:date` property gets
+ * `"2020-06-15"^^xsd:date` from the same `Date` an `xsd:dateTime` property gets
+ * a full timestamp from.
+ *
+ * Datatypes with no obvious JS counterpart (`xsd:duration`, `xsd:gYear`,
+ * `xsd:Bytes`) are not checked.
+ */
+const DATATYPE_RULES = {
+    [xsd.string.id]: { accepts: (v) => typeof v === 'string', expected: 'a string' },
+    [xsd.boolean.id]: { accepts: (v) => typeof v === 'boolean', expected: 'a boolean' },
+    [xsd.integer.id]: { accepts: (v) => isFiniteNumber(v) && Number.isInteger(v), expected: 'a whole number' },
+    [xsd.long.id]: { accepts: (v) => isFiniteNumber(v) && Number.isInteger(v), expected: 'a whole number' },
+    [xsd.decimal.id]: { accepts: isFiniteNumber, expected: 'a number' },
+    [xsd.float.id]: { accepts: isFiniteNumber, expected: 'a number' },
+    [xsd.double.id]: { accepts: isFiniteNumber, expected: 'a number' },
+    [xsd.date.id]: { accepts: (v) => v instanceof Date, expected: 'a Date' },
+    [xsd.dateTime.id]: { accepts: (v) => v instanceof Date, expected: 'a Date' },
+    [xsd.time.id]: { accepts: (v) => v instanceof Date, expected: 'a Date' },
+};
+/** `sh:datatype` — the value's JavaScript type must match the declared datatype. */
+const datatypeCheck = (values, ctx) => {
+    const ps = ctx.propertyShape;
+    if (!ps.datatype)
+        return [];
+    const rule = DATATYPE_RULES[ps.datatype.id];
+    if (!rule)
+        return [];
+    const results = [];
+    for (const el of values) {
+        // A node reference is a node-kind problem, not a datatype one — one
+        // violation per mistake, reported by the check that owns it.
+        if (!isCheckableElement(el) || isNodeReference(el) || rule.accepts(el))
+            continue;
+        results.push(violation(ctx, shacl.DatatypeConstraintComponent, `Property '${labelOf(ps)}' expects ${datatypeLabel(ps.datatype)} (${rule.expected}), but was given ${describeValue(el)}.`, el));
+    }
+    return results;
+};
+/** The four `sh:min/maxInclusive/Exclusive` range constraints, on numbers. */
+const rangeCheck = (values, ctx) => {
+    const ps = ctx.propertyShape;
+    const bounds = [
+        { limit: ps.minInclusive, component: shacl.MinInclusiveConstraintComponent, ok: (v, l) => v >= l, phrase: 'at least' },
+        { limit: ps.maxInclusive, component: shacl.MaxInclusiveConstraintComponent, ok: (v, l) => v <= l, phrase: 'at most' },
+        { limit: ps.minExclusive, component: shacl.MinExclusiveConstraintComponent, ok: (v, l) => v > l, phrase: 'greater than' },
+        { limit: ps.maxExclusive, component: shacl.MaxExclusiveConstraintComponent, ok: (v, l) => v < l, phrase: 'less than' },
+    ];
+    const active = bounds.filter((b) => typeof b.limit === 'number');
+    if (!active.length)
+        return [];
+    const results = [];
+    for (const el of values) {
+        // Non-numbers are the datatype check's business.
+        if (!isCheckableElement(el) || typeof el !== 'number')
+            continue;
+        for (const bound of active) {
+            if (bound.ok(el, bound.limit))
+                continue;
+            results.push(violation(ctx, bound.component, `Property '${labelOf(ps)}' must be ${bound.phrase} ${bound.limit}, but was given ${el}.`, el));
+        }
+    }
+    return results;
+};
+/** `sh:minLength` / `sh:maxLength`, on strings. */
+const lengthCheck = (values, ctx) => {
+    const ps = ctx.propertyShape;
+    if (typeof ps.minLength !== 'number' && typeof ps.maxLength !== 'number')
+        return [];
+    const results = [];
+    for (const el of values) {
+        if (!isCheckableElement(el) || typeof el !== 'string')
+            continue;
+        if (typeof ps.minLength === 'number' && el.length < ps.minLength) {
+            results.push(violation(ctx, shacl.MinLengthConstraintComponent, `Property '${labelOf(ps)}' must be at least ${ps.minLength} character(s), but was given ${el.length}.`, el));
+        }
+        if (typeof ps.maxLength === 'number' && el.length > ps.maxLength) {
+            results.push(violation(ctx, shacl.MaxLengthConstraintComponent, `Property '${labelOf(ps)}' must be at most ${ps.maxLength} character(s), but was given ${el.length}.`, el));
+        }
+    }
+    return results;
+};
+/** `sh:pattern` — the string form of the value must match the shape's regex. */
+const patternCheck = (values, ctx) => {
+    const ps = ctx.propertyShape;
+    if (!ps.pattern)
+        return [];
+    // Rebuild without `g`/`y`: those carry `lastIndex` between calls, so a shared
+    // shape regex would match every other value.
+    const regex = new RegExp(ps.pattern.source, ps.pattern.flags.replace(/[gy]/g, ''));
+    const results = [];
+    for (const el of values) {
+        if (!isCheckableElement(el) || typeof el !== 'string')
+            continue;
+        if (regex.test(el))
+            continue;
+        results.push(violation(ctx, shacl.PatternConstraintComponent, `Property '${labelOf(ps)}' must match ${String(ps.pattern)}, but was given "${el}".`, el));
+    }
+    return results;
+};
+/** `sh:in` — the value must be one of the shape's allowed values. */
+const inCheck = (values, ctx) => {
+    var _a;
+    const ps = ctx.propertyShape;
+    if (!((_a = ps.in) === null || _a === void 0 ? void 0 : _a.length))
+        return [];
+    const allowed = ps.in;
+    const matches = (el) => allowed.some((a) => isNodeReferenceValue(a)
+        ? isNodeReference(el) && el.id === a.id
+        : a === el);
+    const results = [];
+    for (const el of values) {
+        if (!isCheckableElement(el) || matches(el))
+            continue;
+        const rendered = allowed
+            .map((a) => (isNodeReferenceValue(a) ? a.id : JSON.stringify(a)))
+            .join(', ');
+        results.push(violation(ctx, shacl.InConstraintComponent, `Property '${labelOf(ps)}' must be one of [${rendered}].`, el));
+    }
+    return results;
+};
+/**
+ * The registry. Every property-level constraint the library enforces lives here;
+ * adding another SHACL component is one more entry plus its test.
+ *
+ * Split by what each kind of check needs to see. **Cardinality** needs the
+ * property's whole value set, so it cannot run against a set modification —
+ * `{add: […]}` changes a count that lives in the store. **Value** checks need
+ * only the value in hand, so they run everywhere a concrete value appears,
+ * including inside `add`.
+ *
+ * Cardinality runs first when it runs at all: a count problem explains itself
+ * better than the per-value violations that would follow it.
+ */
+const CARDINALITY_CONSTRAINTS = [maxCountCheck, minCountCheck];
+const VALUE_CONSTRAINTS = [
+    nodeKindCheck,
+    datatypeCheck,
+    rangeCheck,
+    lengthCheck,
+    patternCheck,
+    inCheck,
+];
+const PROPERTY_CONSTRAINTS = [
+    ...CARDINALITY_CONSTRAINTS,
+    ...VALUE_CONSTRAINTS,
+];
+// ---------------------------------------------------------------------------
+// Value classification
+// ---------------------------------------------------------------------------
+/**
+ * A `{add, remove}` set modification. The resulting value count depends on the
+ * node's current state, so cardinality and kind are unknowable here.
+ */
+function isSetModification(value) {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const obj = value;
+    const expected = (obj.add ? 1 : 0) + (obj.remove ? 1 : 0);
+    return expected > 0 && Object.getOwnPropertyNames(obj).length === expected;
+}
+/** An object carrying only an `id` — a reference to an existing node, not a description. */
+function isNodeReference(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        'id' in value &&
+        Object.keys(value).length === 1);
+}
+/**
+ * A value that stands for something resolved later — an expression, a query
+ * context reference, a callback, or nothing at all.
+ *
+ * Must be ruled out *before* anything reads properties off the value: a resolved
+ * context ref is a query proxy that throws on any undecorated key, so probing it
+ * for `.add` is not a safe way to ask what it is.
+ */
+function isDeferredValue(value) {
+    return (value === undefined ||
+        typeof value === 'function' ||
+        isExpressionNode(value) ||
+        !!asContextRef(value));
+}
+/** Values whose final shape isn't knowable without the store or a lowering pass. */
+function isOpaqueValue(value) {
+    return isDeferredValue(value) || isSetModification(value);
+}
+/** A nested node description — an object to descend into, rather than a leaf value. */
+function isNodeDescription(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        !Array.isArray(value) &&
+        !(value instanceof Date) &&
+        !isNodeReference(value) &&
+        !isOpaqueValue(value));
+}
+function resolveShapeData(shape) {
+    const resolved = 'propertyShapes' in shape ? shape : shape.shape;
+    if (!resolved) {
+        throw new Error('validate() requires a node shape or a shape class with a static `shape`. ' +
+            'Did you pass an unregistered class (missing @linkedShape)?');
+    }
+    return resolved;
+}
+/**
+ * Validate a plain data object against a node shape.
+ *
+ * Never throws for invalid *data* — a violation is a result, not an exception.
+ * (It does throw when the *shape* argument itself is unusable.)
+ *
+ * ```ts
+ * const report = validate(Person, {name: ['a', 'b']});
+ * report.conforms; // false
+ * report.results[0].sourceConstraintComponent.id; // …shacl#MaxCountConstraintComponent
+ * ```
+ */
+export function validate(shape, data, options = {}) {
+    const { mode = 'complete', maxDepth = 10 } = options;
+    const results = validateNode(resolveShapeData(shape), data, {
+        mode,
+        maxDepth,
+        depth: 0,
+        prefix: '',
+    });
+    return {
+        conforms: !results.some((r) => r.resultSeverity.id === shacl.Violation.id),
+        results,
+    };
+}
+/** {@link validate}, but throws a {@link ShapeValidationError} when the data doesn't conform. */
+export function assertValid(shape, data, options = {}) {
+    const report = validate(shape, data, options);
+    if (!report.conforms)
+        throw new ShapeValidationError(report);
+}
+function validateNode(shape, data, ctx) {
+    if (typeof data !== 'object' || data === null || Array.isArray(data)) {
+        return [
+            nodeViolation(shape, ctx, shacl.NodeConstraintComponent, `Expected an object describing '${shape.label || shape.id}', but got ${data === null ? 'null' : typeof data}.`, ctx.prefix, data),
+        ];
+    }
+    const obj = data;
+    const propertyShapes = getUniquePropertyShapes(shape);
+    const byLabel = new Map(propertyShapes.map((ps) => [ps.label, ps]));
+    const focusNode = typeof obj.__id === 'string'
+        ? obj.__id
+        : typeof obj.id === 'string'
+            ? obj.id
+            : ctx.focusNode;
+    const results = [];
+    // Presence of required properties — only decidable for a complete description.
+    if (ctx.mode === 'complete') {
+        for (const ps of propertyShapes) {
+            if (typeof ps.minCount !== 'number' || ps.minCount <= 0)
+                continue;
+            if (ps.label in obj)
+                continue;
+            results.push(violation({ shape, propertyShape: ps, property: join(ctx.prefix, ps.label), focusNode, mode: ctx.mode }, shacl.MinCountConstraintComponent, `Property '${labelOf(ps)}' requires at least ${ps.minCount} value(s), but none were provided.`));
+        }
+    }
+    // The values actually provided.
+    for (const [key, value] of Object.entries(obj)) {
+        if (RESERVED_KEYS.has(key))
+            continue;
+        const propertyShape = byLabel.get(key);
+        if (!propertyShape) {
+            results.push(nodeViolation(shape, Object.assign(Object.assign({}, ctx), { focusNode }), shacl.ClosedConstraintComponent, undeclaredPropertyMessage(key, shape), join(ctx.prefix, key), value));
+            continue;
+        }
+        results.push(...validateProperty(value, {
+            shape,
+            propertyShape,
+            property: join(ctx.prefix, key),
+            focusNode,
+            mode: ctx.mode,
+        }, ctx));
+    }
+    return results;
+}
+function validateProperty(value, propCtx, walk) {
+    const ps = propCtx.propertyShape;
+    // `null` clears the property — the same as providing zero values, so clearing
+    // a required one is a cardinality violation (both spellings behave alike).
+    if (value === null) {
+        if (typeof ps.minCount === 'number' && ps.minCount > 0) {
+            return [
+                violation(propCtx, shacl.MinCountConstraintComponent, `Property '${labelOf(ps)}' requires at least ${ps.minCount} value(s) and cannot be cleared.`),
+            ];
+        }
+        return [];
+    }
+    // Ruled out first: reading `.add` off a resolved context proxy would throw.
+    if (isDeferredValue(value))
+        return [];
+    // A set modification adds to and removes from what the store already holds,
+    // so the resulting *count* is unknowable here — but each added value is as
+    // checkable as any other, and skipping them let mistyped literals through the
+    // one door the rest of this module closes. `remove` takes `{id}` references
+    // only, which normalization enforces on its own.
+    if (isSetModification(value)) {
+        const { add } = value;
+        if (add === undefined)
+            return [];
+        return runChecks(VALUE_CONSTRAINTS, toValues(add), propCtx, walk);
+    }
+    return runChecks(PROPERTY_CONSTRAINTS, toValues(value), propCtx, walk);
+}
+/** A property's value(s) as an array — a single value becomes a one-element one. */
+function toValues(value) {
+    return Array.isArray(value) ? value : [value];
+}
+/**
+ * Run a set of constraint checks over a property's values, then descend into any
+ * nested node descriptions among them (`sh:node`-style recursion). A bare `{id}`
+ * is a reference to an existing node and has nothing to validate; an object with
+ * an id *and* data is a nested create with a predefined id.
+ */
+function runChecks(checks, values, propCtx, walk) {
+    const results = [];
+    for (const check of checks) {
+        results.push(...check(values, propCtx));
+    }
+    if (walk.depth < walk.maxDepth) {
+        for (const el of values) {
+            if (!isNodeDescription(el))
+                continue;
+            const nestedShape = resolveValueShape(propCtx.propertyShape, el);
+            if (!nestedShape)
+                continue;
+            results.push(...validateNode(nestedShape, el, Object.assign(Object.assign({}, walk), { depth: walk.depth + 1, prefix: propCtx.property, focusNode: undefined })));
+        }
+    }
+    return results;
+}
+/**
+ * The shape a nested value should be validated against: the property's declared
+ * `valueShape`, or — for properties that declare none — the shape class carried
+ * in the value's reserved `shape` key. Mirrors `convertUpdateValue`; returns
+ * undefined when neither is available (normalization reports that itself).
+ */
+function resolveValueShape(ps, value) {
+    var _a;
+    if (ps.valueShape)
+        return (_a = getShapeClass(ps.valueShape)) === null || _a === void 0 ? void 0 : _a.shape;
+    const declared = value.shape;
+    return declared === null || declared === void 0 ? void 0 : declared.shape;
+}
+function join(prefix, label) {
+    return prefix ? `${prefix}.${label}` : label;
+}
+//# sourceMappingURL=validation.js.map

package/lib/esm/shapes/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../src/shapes/validation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,OAAO,EAAC,KAAK,EAAC,MAAM,wBAAwB,CAAC;AAC7C,OAAO,EAAC,GAAG,EAAC,MAAM,sBAAsB,CAAC;AACzC,OAAO,EAAC,oBAAoB,EAA0B,MAAM,2BAA2B,CAAC;AACxF,OAAO,EAAC,uBAAuB,EAAC,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EAAC,aAAa,EAAC,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAC,gBAAgB,EAAC,MAAM,kCAAkC,CAAC;AAClE,OAAO,EAAC,YAAY,EAAC,MAAM,4BAA4B,CAAC;AAgFxD,6FAA6F;AAC7F,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAE7C,YAAY,MAAwB;QAClC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;QACnC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvD;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAAW,EAAE,KAAoB;;IACzE,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,KAAI,MAAA,KAAK,CAAC,EAAE,0CAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAA,CAAC;IAC5D,OAAO,CACL,yBAAyB,GAAG,eAAe,SAAS,8BAA8B;QAClF,mFAAmF;QACnF,gDAAgD,CACjD,CAAC;AACJ,CAAC;AAsBD;;;;GAIG;AACH,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAoB,CAAC;IACtD,IAAI,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,EAAC,EAAE,EAAG,KAA4B,CAAC,EAAE,EAAC,CAAC;IAC1E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CACpB,KAAoB,EACpB,GAAyB,EACzB,SAA6B,EAC7B,OAAe,EACf,YAAqB,EACrB,KAAe;IAEf,MAAM,MAAM,GAAqB;QAC/B,yBAAyB,EAAE,SAAS;QACpC,cAAc,EAAE,KAAK,CAAC,SAAS;QAC/B,aAAa,EAAE,OAAO;KACvB,CAAC;IACF,IAAI,GAAG,CAAC,SAAS;QAAE,MAAM,CAAC,SAAS,GAAG,EAAC,EAAE,EAAE,GAAG,CAAC,SAAS,EAAC,CAAC;IAC1D,IAAI,YAAY;QAAE,MAAM,CAAC,YAAY,GAAG,YAAY,CAAC;IACrD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;IAC5C,IAAI,KAAK,CAAC,EAAE;QAAE,MAAM,CAAC,WAAW,GAAG,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAC,CAAC;IAClD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAChB,GAAoB,EACpB,SAA6B,EAC7B,OAAe,EACf,KAAe;IAEf,MAAM,MAAM,GAAqB;QAC/B,yBAAyB,EAAE,SAAS;QACpC,cAAc,EAAE,KAAK,CAAC,SAAS;QAC/B,aAAa,EAAE,OAAO;KACvB,CAAC;IACF,IAAI,GAAG,CAAC,SAAS;QAAE,MAAM,CAAC,SAAS,GAAG,EAAC,EAAE,EAAE,GAAG,CAAC,SAAS,EAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC,IAAsC,CAAC;IACtE,IAAI,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,EAAE;QAAE,MAAM,CAAC,UAAU,GAAG,EAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAC,CAAC;IAChD,IAAI,GAAG,CAAC,QAAQ;QAAE,MAAM,CAAC,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC;IACrD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;IAC5C,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;IACzD,IAAI,WAAW;QAAE,MAAM,CAAC,WAAW,GAAG,EAAC,EAAE,EAAE,WAAW,EAAC,CAAC;IACxD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kFAAkF;AAClF,SAAS,OAAO,CAAC,EAAqB;IACpC,OAAO,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;AAC3B,CAAC;AAED,4DAA4D;AAC5D,MAAM,aAAa,GAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IACrD,MAAM,EAAC,QAAQ,EAAC,GAAG,GAAG,CAAC,aAAa,CAAC;IACrC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,IAAI,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzE,OAAO;QACL,SAAS,CACP,GAAG,EACH,KAAK,CAAC,2BAA2B,EACjC,aAAa,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,oBAAoB,QAAQ,kBAAkB,MAAM,CAAC,MAAM,iBAAiB,CACpH;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,qEAAqE;AACrE,MAAM,aAAa,GAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IACrD,MAAM,EAAC,QAAQ,EAAC,GAAG,GAAG,CAAC,aAAa,CAAC;IACrC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,IAAI,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC1F,OAAO;QACL,SAAS,CACP,GAAG,EACH,KAAK,CAAC,2BAA2B,EACjC,aAAa,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,uBAAuB,QAAQ,kBAAkB,MAAM,CAAC,MAAM,iBAAiB,CACvH;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,kEAAkE;AAClE,SAAS,cAAc,CAAC,EAAqB;IAC3C,IAAI,EAAE,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;IAC5D,OAAO,CAAC,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC;AACzC,CAAC;AAED,4EAA4E;AAC5E,SAAS,WAAW,CAAC,EAAqB;IACxC,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;QAChB,OAAO,CACL,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,GAAG,CAAC,EAAE;YAC/B,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,SAAS,CAAC,EAAE;YACrC,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,cAAc,CAAC,EAAE,CAC3C,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC;AACzB,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS;QAC1B,KAAK,YAAY,IAAI,CACtB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,aAAa,GAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IACrD,MAAM,EAAE,GAAG,GAAG,CAAC,aAAa,CAAC;IAC7B,MAAM,eAAe,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAC3C,MAAM,YAAY,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,eAAe,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,CAAC;IAEjD,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAAE,SAAS;QACtC,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,eAAe,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CACV,SAAS,CACP,GAAG,EACH,KAAK,CAAC,2BAA2B,EACjC,aAAa,OAAO,CAAC,EAAE,CAAC,2CAA2C,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,EAC9H,EAAE,CACH,CACF,CAAC;QACJ,CAAC;aAAM,IAAI,YAAY,IAAI,MAAM,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CACV,SAAS,CACP,GAAG,EACH,KAAK,CAAC,2BAA2B,EACjC,aAAa,OAAO,CAAC,EAAE,CAAC,8DAA8D,OAAO,EAAE,iDAAiD,EAChJ,EAAE,CACH,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;GAGG;AACH,SAAS,kBAAkB,CAAC,EAAW;IACrC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;AACvF,CAAC;AAED,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAE1D,+EAA+E;AAC/E,SAAS,aAAa,CAAC,QAA4B;IACjD,OAAO,QAAQ,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;QACrC,CAAC,CAAC,OAAO,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;QAC7C,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB,CAAC;IACtG,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,eAAe,CAAC;IACtD,OAAO,KAAK,OAAO,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEnF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,cAAc,GAAyE;IAC3F,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAC;IAC9E,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAC;IACjF,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAC;IACxG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAC;IACrG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAC;IACjE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAC;IAC/D,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAC;IAChE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAC;IACtE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAC;IAC1E,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAC;CACvE,CAAC;AAEF,oFAAoF;AACpF,MAAM,aAAa,GAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IACrD,MAAM,EAAE,GAAG,GAAG,CAAC,aAAa,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAErB,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,oEAAoE;QACpE,6DAA6D;QAC7D,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,SAAS;QACjF,OAAO,CAAC,IAAI,CACV,SAAS,CACP,GAAG,EACH,KAAK,CAAC,2BAA2B,EACjC,aAAa,OAAO,CAAC,EAAE,CAAC,aAAa,aAAa,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,QAAQ,oBAAoB,aAAa,CAAC,EAAE,CAAC,GAAG,EACzH,EAAE,CACH,CACF,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,MAAM,UAAU,GAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IAClD,MAAM,EAAE,GAAG,GAAG,CAAC,aAAa,CAAC;IAC7B,MAAM,MAAM,GAKN;QACJ,EAAC,KAAK,EAAE,EAAE,CAAC,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC,+BAA+B,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAC;QACpH,EAAC,KAAK,EAAE,EAAE,CAAC,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC,+BAA+B,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAC;QACnH,EAAC,KAAK,EAAE,EAAE,CAAC,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC,+BAA+B,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,cAAc,EAAC;QACvH,EAAC,KAAK,EAAE,EAAE,CAAC,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC,+BAA+B,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,WAAW,EAAC;KACrH,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;IACjE,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAE9B,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,iDAAiD;QACjD,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,SAAS;QAChE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,KAAe,CAAC;gBAAE,SAAS;YAClD,OAAO,CAAC,IAAI,CACV,SAAS,CACP,GAAG,EACH,KAAK,CAAC,SAAS,EACf,aAAa,OAAO,CAAC,EAAE,CAAC,aAAa,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,mBAAmB,EAAE,GAAG,EACxF,EAAE,CACH,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,mDAAmD;AACnD,MAAM,WAAW,GAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IACnD,MAAM,EAAE,GAAG,GAAG,CAAC,aAAa,CAAC;IAC7B,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAEpF,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,SAAS;QAChE,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;YACjE,OAAO,CAAC,IAAI,CACV,SAAS,CACP,GAAG,EACH,KAAK,CAAC,4BAA4B,EAClC,aAAa,OAAO,CAAC,EAAE,CAAC,sBAAsB,EAAE,CAAC,SAAS,gCAAgC,EAAE,CAAC,MAAM,GAAG,EACtG,EAAE,CACH,CACF,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;YACjE,OAAO,CAAC,IAAI,CACV,SAAS,CACP,GAAG,EACH,KAAK,CAAC,4BAA4B,EAClC,aAAa,OAAO,CAAC,EAAE,CAAC,qBAAqB,EAAE,CAAC,SAAS,gCAAgC,EAAE,CAAC,MAAM,GAAG,EACrG,EAAE,CACH,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,gFAAgF;AAChF,MAAM,YAAY,GAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IACpD,MAAM,EAAE,GAAG,GAAG,CAAC,aAAa,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC3B,8EAA8E;IAC9E,6CAA6C;IAC7C,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;IAEnF,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,SAAS;QAChE,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QAC7B,OAAO,CAAC,IAAI,CACV,SAAS,CACP,GAAG,EACH,KAAK,CAAC,0BAA0B,EAChC,aAAa,OAAO,CAAC,EAAE,CAAC,gBAAgB,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,EAAE,IAAI,EACpF,EAAE,CACH,CACF,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,qEAAqE;AACrE,MAAM,OAAO,GAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;;IAC/C,MAAM,EAAE,GAAG,GAAG,CAAC,aAAa,CAAC;IAC7B,IAAI,CAAC,CAAA,MAAA,EAAE,CAAC,EAAE,0CAAE,MAAM,CAAA;QAAE,OAAO,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC;IACtB,MAAM,OAAO,GAAG,CAAC,EAAW,EAAE,EAAE,CAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACjB,oBAAoB,CAAC,CAAC,CAAC;QACrB,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,IAAK,EAAyB,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;QAC/D,CAAC,CAAC,CAAC,KAAK,EAAE,CACb,CAAC;IAEJ,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC;YAAE,SAAS;QACrD,MAAM,QAAQ,GAAG,OAAO;aACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;aAChE,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,CAAC,IAAI,CACV,SAAS,CACP,GAAG,EACH,KAAK,CAAC,qBAAqB,EAC3B,aAAa,OAAO,CAAC,EAAE,CAAC,qBAAqB,QAAQ,IAAI,EACzD,EAAE,CACH,CACF,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,uBAAuB,GAAsB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;AAElF,MAAM,iBAAiB,GAAsB;IAC3C,aAAa;IACb,aAAa;IACb,UAAU;IACV,WAAW;IACX,YAAY;IACZ,OAAO;CACR,CAAC;AAEF,MAAM,oBAAoB,GAAsB;IAC9C,GAAG,uBAAuB;IAC1B,GAAG,iBAAiB;CACrB,CAAC;AAEF,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;GAGG;AACH,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,OAAO,QAAQ,GAAG,CAAC,IAAI,MAAM,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC;AAC7E,CAAC;AAED,4FAA4F;AAC5F,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,IAAI,IAAI,KAAK;QACb,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAChC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,OAAO,KAAK,KAAK,UAAU;QAC3B,gBAAgB,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CACtB,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,eAAe,CAAC,KAAK,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,uFAAuF;AACvF,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,CAAC,CAAC,KAAK,YAAY,IAAI,CAAC;QACxB,CAAC,eAAe,CAAC,KAAK,CAAC;QACvB,CAAC,aAAa,CAAC,KAAK,CAAC,CACtB,CAAC;AACJ,CAAC;AASD,SAAS,gBAAgB,CAAC,KAAuB;IAC/C,MAAM,QAAQ,GAAG,gBAAgB,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,KAAgC,CAAC,KAAK,CAAC;IAC7F,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CACb,2EAA2E;YACzE,4DAA4D,CAC/D,CAAC;IACJ,CAAC;IACD,OAAO,QAAyB,CAAC;AACnC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,QAAQ,CACtB,KAAuB,EACvB,IAAa,EACb,UAA2B,EAAE;IAE7B,MAAM,EAAC,IAAI,GAAG,UAAU,EAAE,QAAQ,GAAG,EAAE,EAAC,GAAG,OAAO,CAAC;IACnD,MAAM,OAAO,GAAG,YAAY,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE;QAC1D,IAAI;QACJ,QAAQ;QACR,KAAK,EAAE,CAAC;QACR,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IACH,OAAO;QACL,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,KAAK,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1E,OAAO;KACR,CAAC;AACJ,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,WAAW,CACzB,KAAuB,EACvB,IAAa,EACb,UAA2B,EAAE;IAE7B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ;QAAE,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;AAC/D,CAAC;AAeD,SAAS,YAAY,CACnB,KAAoB,EACpB,IAAa,EACb,GAAgB;IAEhB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,OAAO;YACL,aAAa,CACX,KAAK,EACL,GAAG,EACH,KAAK,CAAC,uBAAuB,EAC7B,kCAAkC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,cAAc,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,EAC9G,GAAG,CAAC,MAAM,EACV,IAAI,CACL;SACF,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,cAAc,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,SAAS,GACb,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC1B,CAAC,CAAC,GAAG,CAAC,IAAI;QACV,CAAC,CAAC,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ;YAC1B,CAAC,CAAC,GAAG,CAAC,EAAE;YACR,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;IACtB,MAAM,OAAO,GAAuB,EAAE,CAAC;IAEvC,+EAA+E;IAC/E,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;YAChC,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,IAAI,EAAE,CAAC,QAAQ,IAAI,CAAC;gBAAE,SAAS;YAClE,IAAI,EAAE,CAAC,KAAK,IAAI,GAAG;gBAAE,SAAS;YAC9B,OAAO,CAAC,IAAI,CACV,SAAS,CACP,EAAC,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAC,EAC3F,KAAK,CAAC,2BAA2B,EACjC,aAAa,OAAO,CAAC,EAAE,CAAC,uBAAuB,EAAE,CAAC,QAAQ,oCAAoC,CAC/F,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gCAAgC;IAChC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACrC,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,CAAC,IAAI,CACV,aAAa,CACX,KAAK,kCACD,GAAG,KAAE,SAAS,KAClB,KAAK,CAAC,yBAAyB,EAC/B,yBAAyB,CAAC,GAAG,EAAE,KAAK,CAAC,EACrC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,EACrB,KAAK,CACN,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,OAAO,CAAC,IAAI,CACV,GAAG,gBAAgB,CAAC,KAAK,EAAE;YACzB,KAAK;YACL,aAAa;YACb,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC;YAC/B,SAAS;YACT,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,EAAE,GAAG,CAAC,CACR,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAc,EACd,OAAwB,EACxB,IAAiB;IAEjB,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC;IAEjC,8EAA8E;IAC9E,2EAA2E;IAC3E,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,IAAI,EAAE,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YACvD,OAAO;gBACL,SAAS,CACP,OAAO,EACP,KAAK,CAAC,2BAA2B,EACjC,aAAa,OAAO,CAAC,EAAE,CAAC,uBAAuB,EAAE,CAAC,QAAQ,kCAAkC,CAC7F;aACF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,4EAA4E;IAC5E,IAAI,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,4EAA4E;IAC5E,iDAAiD;IACjD,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,EAAC,GAAG,EAAC,GAAG,KAAwB,CAAC;QACvC,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC,iBAAiB,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;IAED,OAAO,SAAS,CAAC,oBAAoB,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,oFAAoF;AACpF,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAChB,MAAyB,EACzB,MAAiB,EACjB,OAAwB,EACxB,IAAiB;IAEjB,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC/B,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBAAE,SAAS;YACrC,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;YACjE,IAAI,CAAC,WAAW;gBAAE,SAAS;YAC3B,OAAO,CAAC,IAAI,CACV,GAAG,YAAY,CAAC,WAAW,EAAE,EAAE,kCAC1B,IAAI,KACP,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,EACrB,MAAM,EAAE,OAAO,CAAC,QAAQ,EACxB,SAAS,EAAE,SAAS,IACpB,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,EAAqB,EACrB,KAAc;;IAEd,IAAI,EAAE,CAAC,UAAU;QAAE,OAAO,MAAA,aAAa,CAAC,EAAE,CAAC,UAAU,CAAC,0CAAE,KAAK,CAAC;IAC9D,MAAM,QAAQ,GAAI,KAA2C,CAAC,KAAK,CAAC;IACpE,OAAO,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,KAAK,CAAC;AACzB,CAAC;AAED,SAAS,IAAI,CAAC,MAAc,EAAE,KAAa;IACzC,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AAC/C,CAAC"}