@json-schema-engine/core 0.0.1

package/dist/registry.js

@@ -0,0 +1,407 @@
+// Schema registration and static reference resolution.
+//
+// The registration walk descends only into *schema positions*, so `$id` or
+// `$anchor` inside `enum` data or an unknown keyword's value is never treated
+// as an identifier. Unlike the F2 prototype, the positions are not hard-coded:
+// the walk asks each keyword behavior's analyze() for its subschema positions
+// (DESIGN.md D1/D2), so a custom applicator registered through the dialect
+// registry gets correct identifier handling for free.
+import { isObject, escapeSegment, unescapeSegment } from "./json.js";
+import { resolveUri, splitFragment, UnresolvableRefError } from "./uri.js";
+import { ReadOnlyRegistryError } from "./dialect.js";
+/**
+ * A value that is not a schema (neither an object nor a boolean) was found
+ * where a schema is required (D19): in a keyword-claimed schema position at
+ * registration, or applied as a schema during evaluation. Keyword-value
+ * validity beyond schema shape is not checked here — that is metaschema
+ * validation's job ({@link EngineOptions.validateSchemas}).
+ *
+ * When thrown during registration, the document may be partially indexed;
+ * re-register a corrected document under the same URI, or discard the
+ * engine.
+ */
+export class InvalidSchemaError extends Error {
+}
+/**
+ * Schema nesting (at registration) or schema-application nesting (at
+ * evaluation) exceeded {@link EngineOptions.maxDepth}. A bounded, catchable
+ * failure that replaces the native stack overflow deep input would otherwise
+ * cause; the engine remains usable afterward (each evaluation runs in fresh
+ * state). Raise `maxDepth` for legitimately deep documents, within what the
+ * runtime's own stack allows.
+ */
+export class MaxDepthExceededError extends Error {
+}
+/**
+ * Default schema/application nesting bound. Chosen below the native
+ * call-stack ceiling so the typed {@link MaxDepthExceededError} fires before
+ * a `RangeError`, while staying generous for real-world documents.
+ */
+export const DEFAULT_MAX_DEPTH = 512;
+/** One-line description of a non-schema value for error messages. */
+export function describeNonSchema(node) {
+    if (node === null)
+        return "null";
+    return Array.isArray(node) ? "array" : typeof node;
+}
+/** Schema registration, identifier indexing, and reference resolution. */
+export class SchemaRegistry {
+    dialectRegistry;
+    defaultDialectUri;
+    maxDepth;
+    documents = new Map(); // resource URI -> schema node
+    anchors = new Map(); // "resource#anchor"
+    dynamicAnchors = new Map(); // $dynamicAnchor only (D8)
+    recursiveRoots = new Set(); // 2019-09 $recursiveAnchor at root
+    // Unions of StaticFacts.produces / consumes over every registered keyword
+    // occurrence: produce()'s declaration guard and the elision predicate's
+    // "someone might read this" side (D5/M5.5).
+    producedBehaviorIds = new Set();
+    consumedBehaviorIds = new Set();
+    // Consumed ids whose producer declares evaluated coverage (D9a facts): the
+    // only dependency data the coverage channel's shape-dispatching folds
+    // understand (coverage.ts).
+    coverageProducerIds = new Set();
+    coverageConsumedIds = new Set();
+    documentDialects = new Map(); // resource URI -> dialect URI
+    resourceLocations = new Map();
+    // Retrieval URI -> declared $id base, when they differ: the document must
+    // be reachable under both, but anchors and lexical bases live under $id.
+    aliases = new Map();
+    // External resources seen in reference values during registration walks,
+    // drained by the load closure (D7).
+    pendingResources = new Set();
+    documentRanges = new Map();
+    /**
+     * Called for each `pattern`/`patternProperties` regex during a
+     * registration walk, when set. The Engine installs this (after registering
+     * its trusted metaschemas) to enforce `rejectUnsafeRegex`.
+     */
+    onRegex;
+    // Snapshots share the indexes above copy-on-write: the source copies them
+    // before its first registration after a snapshot, so a view stays frozen
+    // at no cost until the source changes.
+    shared = false;
+    readOnly = false;
+    constructor(dialectRegistry, defaultDialectUri, maxDepth = DEFAULT_MAX_DEPTH) {
+        this.dialectRegistry = dialectRegistry;
+        this.defaultDialectUri = defaultDialectUri;
+        this.maxDepth = maxDepth;
+    }
+    /**
+     * A read-only view of the registry's current contents, over a view of the
+     * dialect registry. Later registrations on this registry are invisible to
+     * the view, and registering into the view throws
+     * {@link ReadOnlyRegistryError}. A compiled artifact binds to one so that
+     * a compilation boundary cannot change reference resolution (E1).
+     */
+    snapshot() {
+        const view = new SchemaRegistry(this.dialectRegistry.snapshot(), this.defaultDialectUri, this.maxDepth);
+        view.documents = this.documents;
+        view.anchors = this.anchors;
+        view.dynamicAnchors = this.dynamicAnchors;
+        view.recursiveRoots = this.recursiveRoots;
+        view.producedBehaviorIds = this.producedBehaviorIds;
+        view.consumedBehaviorIds = this.consumedBehaviorIds;
+        view.coverageProducerIds = this.coverageProducerIds;
+        view.coverageConsumedIds = this.coverageConsumedIds;
+        view.documentDialects = this.documentDialects;
+        view.resourceLocations = this.resourceLocations;
+        view.aliases = this.aliases;
+        view.documentRanges = this.documentRanges;
+        view.readOnly = true;
+        this.shared = true;
+        return view;
+    }
+    mutable() {
+        if (this.readOnly) {
+            throw new ReadOnlyRegistryError("a registry snapshot is read-only");
+        }
+        if (!this.shared)
+            return;
+        this.documents = new Map(this.documents);
+        this.anchors = new Map(this.anchors);
+        this.dynamicAnchors = new Map(this.dynamicAnchors);
+        this.recursiveRoots = new Set(this.recursiveRoots);
+        this.producedBehaviorIds = new Set(this.producedBehaviorIds);
+        this.consumedBehaviorIds = new Set(this.consumedBehaviorIds);
+        this.coverageProducerIds = new Set(this.coverageProducerIds);
+        this.coverageConsumedIds = new Set(this.coverageConsumedIds);
+        this.documentDialects = new Map(this.documentDialects);
+        this.resourceLocations = new Map(this.resourceLocations);
+        this.aliases = new Map(this.aliases);
+        this.documentRanges = new Map(this.documentRanges);
+        this.shared = false;
+    }
+    /**
+     * Register a schema document. The dialect comes from `$schema` when present
+     * (and must already be registered), else `dialectUri`, else the default.
+     * Returns the document's canonical base URI.
+     */
+    register(schema, retrievalUri, dialectUri, getRange) {
+        this.mutable();
+        // Dialect URIs are compared fragment-free: "…/draft-07/schema#" (the
+        // canonical in-the-wild $schema spelling) names the same dialect.
+        let effectiveDialect = splitFragment(dialectUri ?? this.defaultDialectUri).resource;
+        if (isObject(schema) && typeof schema.$schema === "string") {
+            effectiveDialect = splitFragment(resolveUri(schema.$schema, retrievalUri)).resource;
+        }
+        const dialect = this.dialectRegistry.getDialect(effectiveDialect);
+        const retrievalResource = splitFragment(retrievalUri).resource;
+        let baseUri = retrievalResource;
+        const rootIds = isObject(schema) ? dialect.identifiers(schema) : {};
+        if (rootIds.baseId !== undefined) {
+            baseUri = splitFragment(resolveUri(rootIds.baseId, baseUri)).resource;
+        }
+        if (baseUri !== retrievalResource)
+            this.aliases.set(retrievalResource, baseUri);
+        this.documents.set(baseUri, schema);
+        this.documentDialects.set(baseUri, effectiveDialect);
+        this.resourceLocations.set(baseUri, { documentUri: baseUri, pointer: "" });
+        if (getRange)
+            this.documentRanges.set(baseUri, getRange);
+        this.walk(schema, baseUri, "", baseUri, "", dialect, 0);
+        return baseUri;
+    }
+    walk(node, baseUri, pointer, documentUri, docPointer, // pointer from the registered document's root
+    dialect, depth) {
+        if (depth > this.maxDepth) {
+            throw new MaxDepthExceededError(`schema nesting exceeds maxDepth (${this.maxDepth}) at ` +
+                `'${baseUri}#${pointer}'`);
+        }
+        if (typeof node === "boolean")
+            return;
+        if (!isObject(node)) {
+            throw new InvalidSchemaError(`non-schema value (${describeNonSchema(node)}) in schema position ` +
+                `'${baseUri}#${pointer}'`);
+        }
+        const ids = dialect.identifiers(node);
+        if (pointer !== "" && ids.baseId !== undefined) {
+            baseUri = splitFragment(resolveUri(ids.baseId, baseUri)).resource;
+            pointer = "";
+            this.documents.set(baseUri, node);
+            this.documentDialects.set(baseUri, dialect.uri);
+            this.resourceLocations.set(baseUri, { documentUri, pointer: docPointer });
+        }
+        for (const anchor of ids.anchors ?? []) {
+            this.anchors.set(`${baseUri}#${anchor}`, { node, baseUri, pointer });
+        }
+        // A dynamic anchor is also a plain anchor for $ref purposes; only the
+        // dynamic-anchor index participates in $dynamicRef rebinding (D8).
+        if (ids.dynamicAnchor !== undefined) {
+            const ref = { node, baseUri, pointer };
+            this.anchors.set(`${baseUri}#${ids.dynamicAnchor}`, ref);
+            this.dynamicAnchors.set(`${baseUri}#${ids.dynamicAnchor}`, ref);
+        }
+        // $recursiveAnchor participates in rebinding only at a resource root.
+        if (ids.recursiveAnchor === true && pointer === "") {
+            this.recursiveRoots.add(baseUri);
+        }
+        for (const [name, value] of Object.entries(node)) {
+            const behavior = dialect.keywords.get(name)?.behavior;
+            const facts = behavior?.analyze?.(value, { schema: node });
+            if (!facts)
+                continue;
+            for (const p of facts.produces ?? [])
+                this.producedBehaviorIds.add(p);
+            for (const c of facts.consumes ?? []) {
+                this.consumedBehaviorIds.add(c);
+                if (this.coverageProducerIds.has(c))
+                    this.coverageConsumedIds.add(c);
+            }
+            if (facts.evaluatesNames !== undefined ||
+                facts.evaluatesIndexes !== undefined) {
+                this.coverageProducerIds.add(behavior.id);
+                if (this.consumedBehaviorIds.has(behavior.id)) {
+                    this.coverageConsumedIds.add(behavior.id);
+                }
+            }
+            if (this.onRegex) {
+                const keywordLocation = `${baseUri}#${pointer}/${escapeSegment(name)}`;
+                for (const rx of facts.regexes ?? [])
+                    this.onRegex(rx, keywordLocation);
+            }
+            for (const ref of facts.references ?? []) {
+                try {
+                    this.pendingResources.add(splitFragment(resolveUri(ref, baseUri)).resource);
+                }
+                catch {
+                    // Unresolvable now is not an error: evaluation reports it if the
+                    // reference is actually followed.
+                }
+            }
+            const positions = facts.subschemas;
+            if (!positions)
+                continue;
+            for (const relPath of positions) {
+                let child = value;
+                let suffix = "/" + escapeSegment(name);
+                for (const seg of relPath) {
+                    child = (Array.isArray(child)
+                        ? child[seg]
+                        : child[seg]);
+                    suffix += "/" + escapeSegment(String(seg));
+                }
+                this.walk(child, baseUri, pointer + suffix, documentUri, docPointer + suffix, dialect, depth + 1);
+            }
+        }
+    }
+    /**
+     * The registered document containing a schema resource, and the resource
+     * root's pointer from that document's root (D17 bridge; see loader.ts).
+     * Undefined for resources the registration walk never saw (e.g. an `$id`
+     * inside an unknown keyword reached only by pointer navigation).
+     */
+    documentLocation(resourceUri) {
+        return this.resourceLocations.get(this.canonical(resourceUri));
+    }
+    /** Source range for a document-rooted pointer, when the loader supplied one (D17). */
+    range(documentUri, pointer) {
+        return this.documentRanges.get(documentUri)?.(pointer);
+    }
+    /** True if a resource is registered, directly or via a retrieval-URI alias. */
+    has(resourceUri) {
+        return this.documents.has(resourceUri) || this.aliases.has(resourceUri);
+    }
+    /** The schema node at a resource's root, if registered. */
+    document(resourceUri) {
+        return this.documents.get(this.canonical(resourceUri));
+    }
+    /** External resources referenced but not yet registered; drained per call. */
+    takeUnresolved() {
+        const missing = [...this.pendingResources].filter((r) => !this.has(r));
+        this.pendingResources.clear();
+        return missing;
+    }
+    /** The `$dynamicAnchor` target for a name in a resource, if one was registered (D8). */
+    dynamicAnchor(resourceUri, name) {
+        return this.dynamicAnchors.get(`${this.canonical(resourceUri)}#${name}`);
+    }
+    /** True if a resource's root carries 2019-09 `$recursiveAnchor: true`. */
+    hasRecursiveRoot(resourceUri) {
+        return this.recursiveRoots.has(this.canonical(resourceUri));
+    }
+    /** Behavior ids some registered keyword declares it produces dependency data under. */
+    producedIds() {
+        return this.producedBehaviorIds;
+    }
+    /** Behavior ids some registered keyword declares it consumes. */
+    consumedIds() {
+        return this.consumedBehaviorIds;
+    }
+    /** The consumed subset of {@link consumedIds} whose producer declares evaluated coverage: what the coverage channel carries. */
+    coverageIds() {
+        return this.coverageConsumedIds;
+    }
+    canonical(resourceUri) {
+        return this.aliases.get(resourceUri) ?? resourceUri;
+    }
+    /**
+     * The dialect URI a resource was registered under.
+     * @throws UnresolvableRefError if the resource is not registered.
+     */
+    dialectUriFor(baseUri) {
+        const uri = this.documentDialects.get(this.canonical(baseUri));
+        if (uri === undefined)
+            throw new UnresolvableRefError(`unknown schema '${baseUri}'`);
+        return uri;
+    }
+    /**
+     * The dialect a resource was registered under.
+     * @throws UnresolvableRefError if the resource is not registered.
+     */
+    dialectFor(baseUri) {
+        return this.dialectRegistry.getDialect(this.dialectUriFor(baseUri));
+    }
+    /**
+     * Resolves a URI to its resource's root schema.
+     * @throws UnresolvableRefError if the resource is not registered.
+     */
+    rootRef(uri) {
+        const { resource: rawResource, fragment } = splitFragment(uri);
+        const resource = this.canonical(rawResource);
+        if (fragment !== null && fragment !== "") {
+            return this.resolveRef(uri, resource);
+        }
+        const node = this.documents.get(resource);
+        if (node === undefined)
+            throw new UnresolvableRefError(`unknown schema '${resource}'`);
+        return { node, baseUri: resource, pointer: "" };
+    }
+    /**
+     * Resolves a reference value against the referring schema's base URI.
+     * @throws UnresolvableRefError if the resource, anchor, or pointer target
+     * does not exist.
+     */
+    resolveRef(ref, currentBase) {
+        const resolved = splitFragment(resolveUri(ref, currentBase));
+        const resource = this.canonical(resolved.resource);
+        const fragment = resolved.fragment;
+        if (fragment !== null && fragment !== "" && !fragment.startsWith("/")) {
+            const hit = this.anchors.get(`${resource}#${fragment}`);
+            if (!hit)
+                throw new UnresolvableRefError(`unknown anchor '${resource}#${fragment}'`);
+            return hit;
+        }
+        const root = this.documents.get(resource);
+        if (root === undefined)
+            throw new UnresolvableRefError(`unknown schema '${resource}'`);
+        if (fragment === null || fragment === "") {
+            return { node: root, baseUri: resource, pointer: "" };
+        }
+        // JSON Pointer navigation, tracking identifier-induced base changes on
+        // the way, per the target document's dialect (D18).
+        const identifiers = this.dialectFor(resource).identifiers;
+        let node = root;
+        let baseUri = resource;
+        let pointer = "";
+        for (const rawSeg of fragment.slice(1).split("/")) {
+            const seg = unescapeSegment(rawSeg);
+            if (Array.isArray(node)) {
+                node = node[Number(seg)];
+            }
+            else if (isObject(node) && Object.hasOwn(node, seg)) {
+                node = node[seg];
+            }
+            else {
+                node = undefined;
+            }
+            if (node === undefined) {
+                throw new UnresolvableRefError(`pointer '${fragment}' not found in '${resource}'`);
+            }
+            pointer += "/" + escapeSegment(seg);
+            if (isObject(node)) {
+                const baseId = identifiers(node).baseId;
+                if (baseId !== undefined) {
+                    baseUri = splitFragment(resolveUri(baseId, baseUri)).resource;
+                    pointer = "";
+                }
+            }
+        }
+        return { node, baseUri, pointer };
+    }
+    /**
+     * Descend from a schema position into keyword/index children, maintaining
+     * canonical location and lexical base.
+     */
+    child(ref, segments) {
+        const identifiers = this.dialectFor(ref.baseUri).identifiers;
+        let node = ref.node;
+        let { baseUri, pointer } = ref;
+        for (const seg of segments) {
+            node = (Array.isArray(node)
+                ? node[seg]
+                : node[seg]);
+            pointer += "/" + escapeSegment(String(seg));
+            if (isObject(node)) {
+                const baseId = identifiers(node).baseId;
+                if (baseId !== undefined) {
+                    baseUri = splitFragment(resolveUri(baseId, baseUri)).resource;
+                    pointer = "";
+                }
+            }
+        }
+        return { node, baseUri, pointer };
+    }
+}
+//# sourceMappingURL=registry.js.map

package/dist/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,EAAE;AACF,2EAA2E;AAC3E,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,2EAA2E;AAC3E,sDAAsD;AAEtD,OAAO,EAAa,QAAQ,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAE3E,OAAO,EAA4B,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAa/E;;;;;;;;;;GAUG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;CAAG;AAEhD;;;;;;;GAOG;AACH,MAAM,OAAO,qBAAsB,SAAQ,KAAK;CAAG;AAEnD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAErC,qEAAqE;AACrE,MAAM,UAAU,iBAAiB,CAAC,IAAe;IAC/C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC;AACrD,CAAC;AAED,0EAA0E;AAC1E,MAAM,OAAO,cAAc;IAwCf;IACA;IACA;IAzCF,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC,CAAC,8BAA8B;IACxE,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC,CAAC,oBAAoB;IAC5D,cAAc,GAAG,IAAI,GAAG,EAAqB,CAAC,CAAC,2BAA2B;IAC1E,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC,CAAC,mCAAmC;IAC/E,0EAA0E;IAC1E,wEAAwE;IACxE,4CAA4C;IACpC,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAChD,2EAA2E;IAC3E,sEAAsE;IACtE,4BAA4B;IACpB,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,8BAA8B;IAC5E,iBAAiB,GAAG,IAAI,GAAG,EAA4B,CAAC;IAChE,0EAA0E;IAC1E,yEAAyE;IACjE,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,yEAAyE;IACzE,oCAAoC;IAC5B,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,cAAc,GAAG,IAAI,GAAG,EAG7B,CAAC;IACJ;;;;OAIG;IACH,OAAO,CAA+C;IACtD,0EAA0E;IAC1E,yEAAyE;IACzE,uCAAuC;IAC/B,MAAM,GAAG,KAAK,CAAC;IACf,QAAQ,GAAG,KAAK,CAAC;IAEzB,YACU,eAAgC,EAChC,iBAAyB,EACzB,WAAmB,iBAAiB;QAFpC,oBAAe,GAAf,eAAe,CAAiB;QAChC,sBAAiB,GAAjB,iBAAiB,CAAQ;QACzB,aAAQ,GAAR,QAAQ,CAA4B;IAC3C,CAAC;IAEJ;;;;;;OAMG;IACH,QAAQ;QACN,MAAM,IAAI,GAAG,IAAI,cAAc,CAC7B,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,EAC/B,IAAI,CAAC,iBAAiB,EACtB,IAAI,CAAC,QAAQ,CACd,CAAC;QACF,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;QAC1C,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;QAC1C,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC,mBAAmB,CAAC;QACpD,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC,mBAAmB,CAAC;QACpD,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC,mBAAmB,CAAC;QACpD,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC,mBAAmB,CAAC;QACpD,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QAC9C,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;QAChD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;QAC1C,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,OAAO;QACb,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,IAAI,qBAAqB,CAAC,kCAAkC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO;QACzB,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACnD,IAAI,CAAC,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACnD,IAAI,CAAC,mBAAmB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC7D,IAAI,CAAC,mBAAmB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC7D,IAAI,CAAC,mBAAmB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC7D,IAAI,CAAC,mBAAmB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC7D,IAAI,CAAC,gBAAgB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACvD,IAAI,CAAC,iBAAiB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACtB,CAAC;IAED;;;;OAIG;IACH,QAAQ,CACN,MAAiB,EACjB,YAAoB,EACpB,UAAmB,EACnB,QAAuD;QAEvD,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,qEAAqE;QACrE,kEAAkE;QAClE,IAAI,gBAAgB,GAAG,aAAa,CAClC,UAAU,IAAI,IAAI,CAAC,iBAAiB,CACrC,CAAC,QAAQ,CAAC;QACX,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC3D,gBAAgB,GAAG,aAAa,CAC9B,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,CACzC,CAAC,QAAQ,CAAC;QACb,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QAElE,MAAM,iBAAiB,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC;QAC/D,IAAI,OAAO,GAAG,iBAAiB,CAAC;QAChC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QACxE,CAAC;QACD,IAAI,OAAO,KAAK,iBAAiB;YAC/B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QACrD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3E,IAAI,QAAQ;YAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACzD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACxD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,IAAI,CACV,IAAe,EACf,OAAe,EACf,OAAe,EACf,WAAmB,EACnB,UAAkB,EAAE,8CAA8C;IAClE,OAAgB,EAChB,KAAa;QAEb,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC1B,MAAM,IAAI,qBAAqB,CAC7B,oCAAoC,IAAI,CAAC,QAAQ,OAAO;gBACtD,IAAI,OAAO,IAAI,OAAO,GAAG,CAC5B,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,IAAI,KAAK,SAAS;YAAE,OAAO;QACtC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,kBAAkB,CAC1B,qBAAqB,iBAAiB,CAAC,IAAI,CAAC,uBAAuB;gBACjE,IAAI,OAAO,IAAI,OAAO,GAAG,CAC5B,CAAC;QACJ,CAAC;QAED,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/C,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;YAClE,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YAChD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5E,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,sEAAsE;QACtE,mEAAmE;QACnE,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;YACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,GAAG,CAAC,aAAa,EAAE,EAAE,GAAG,CAAC,CAAC;YACzD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,GAAG,CAAC,aAAa,EAAE,EAAE,GAAG,CAAC,CAAC;QAClE,CAAC;QACD,sEAAsE;QACtE,IAAI,GAAG,CAAC,eAAe,KAAK,IAAI,IAAI,OAAO,KAAK,EAAE,EAAE,CAAC;YACnD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;YACtD,MAAM,KAAK,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3D,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE;gBAAE,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACrC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACvE,CAAC;YACD,IACE,KAAK,CAAC,cAAc,KAAK,SAAS;gBAClC,KAAK,CAAC,gBAAgB,KAAK,SAAS,EACpC,CAAC;gBACD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAS,CAAC,EAAE,CAAC,CAAC;gBAC3C,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAS,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAS,CAAC,EAAE,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,MAAM,eAAe,GAAG,GAAG,OAAO,IAAI,OAAO,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE;oBAAE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;YAC1E,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBACzC,IAAI,CAAC;oBACH,IAAI,CAAC,gBAAgB,CAAC,GAAG,CACvB,aAAa,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CACjD,CAAC;gBACJ,CAAC;gBAAC,MAAM,CAAC;oBACP,iEAAiE;oBACjE,kCAAkC;gBACpC,CAAC;YACH,CAAC;YACD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC;YACnC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;gBAChC,IAAI,KAAK,GAAc,KAAK,CAAC;gBAC7B,IAAI,MAAM,GAAG,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBACvC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;oBAC1B,KAAK,GAAG,CACN,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;wBAClB,CAAC,CAAC,KAAK,CAAC,GAAa,CAAC;wBACtB,CAAC,CAAE,KAAmC,CAAC,GAAa,CAAC,CAC3C,CAAC;oBACf,MAAM,IAAI,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC7C,CAAC;gBACD,IAAI,CAAC,IAAI,CACP,KAAK,EACL,OAAO,EACP,OAAO,GAAG,MAAM,EAChB,WAAW,EACX,UAAU,GAAG,MAAM,EACnB,OAAO,EACP,KAAK,GAAG,CAAC,CACV,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,gBAAgB,CAAC,WAAmB;QAClC,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,sFAAsF;IACtF,KAAK,CAAC,WAAmB,EAAE,OAAe;QACxC,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC;IAED,+EAA+E;IAC/E,GAAG,CAAC,WAAmB;QACrB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC1E,CAAC;IAED,2DAA2D;IAC3D,QAAQ,CAAC,WAAmB;QAC1B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,8EAA8E;IAC9E,cAAc;QACZ,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,wFAAwF;IACxF,aAAa,CAAC,WAAmB,EAAE,IAAY;QAC7C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,0EAA0E;IAC1E,gBAAgB,CAAC,WAAmB;QAClC,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED,uFAAuF;IACvF,WAAW;QACT,OAAO,IAAI,CAAC,mBAAmB,CAAC;IAClC,CAAC;IAED,iEAAiE;IACjE,WAAW;QACT,OAAO,IAAI,CAAC,mBAAmB,CAAC;IAClC,CAAC;IAED,gIAAgI;IAChI,WAAW;QACT,OAAO,IAAI,CAAC,mBAAmB,CAAC;IAClC,CAAC;IAEO,SAAS,CAAC,WAAmB;QACnC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC;IACtD,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,OAAe;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,IAAI,GAAG,KAAK,SAAS;YACnB,MAAM,IAAI,oBAAoB,CAAC,mBAAmB,OAAO,GAAG,CAAC,CAAC;QAChE,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,OAAe;QACxB,OAAO,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;IACtE,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,GAAW;QACjB,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,SAAS;YACpB,MAAM,IAAI,oBAAoB,CAAC,mBAAmB,QAAQ,GAAG,CAAC,CAAC;QACjE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,GAAW,EAAE,WAAmB;QACzC,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QAEnC,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACtE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,QAAQ,EAAE,CAAC,CAAC;YACxD,IAAI,CAAC,GAAG;gBACN,MAAM,IAAI,oBAAoB,CAC5B,mBAAmB,QAAQ,IAAI,QAAQ,GAAG,CAC3C,CAAC;YACJ,OAAO,GAAG,CAAC;QACb,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,SAAS;YACpB,MAAM,IAAI,oBAAoB,CAAC,mBAAmB,QAAQ,GAAG,CAAC,CAAC;QACjE,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;YACzC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACxD,CAAC;QAED,uEAAuE;QACvE,oDAAoD;QACpD,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC;QAC1D,IAAI,IAAI,GAA0B,IAAI,CAAC;QACvC,IAAI,OAAO,GAAG,QAAQ,CAAC;QACvB,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAClD,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBACtD,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,IAAI,GAAG,SAAS,CAAC;YACnB,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,IAAI,oBAAoB,CAC5B,YAAY,QAAQ,mBAAmB,QAAQ,GAAG,CACnD,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;gBACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAC9D,OAAO,GAAG,EAAE,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACpC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,GAAc,EAAE,QAAsC;QAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC;QAC7D,IAAI,IAAI,GAAc,GAAG,CAAC,IAAI,CAAC;QAC/B,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,CACL,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBACjB,CAAC,CAAC,IAAI,CAAC,GAAa,CAAC;gBACrB,CAAC,CAAE,IAAkC,CAAC,GAAa,CAAC,CAC1C,CAAC;YACf,OAAO,IAAI,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;gBACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAC9D,OAAO,GAAG,EAAE,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACpC,CAAC;CACF"}

package/dist/result.d.ts

@@ -0,0 +1,109 @@
+import { type AnnotationSelection, type AnnotationUnit, type BasicOutputDocument, type DetailedOutputUnit, type ErrorUnit, type ListOutputDocument, type OutputUnit, type RenderNode, type TraceUnit } from "./output.js";
+/**
+ * Output format names (ADR 0003), each fixing a document structure and field
+ * vocabulary: `flag`, `basic`, `detailed`, `verbose` from IETF draft-03 §13;
+ * `list`, `hierarchical` from the machines-oriented output proposal.
+ */
+export type OutputFormat = "flag" | "basic" | "detailed" | "verbose" | "list" | "hierarchical";
+/** Thrown by `evaluate` for an unsupported combination of output options (ADR 0003: no silent no-ops). */
+export declare class OutputOptionsError extends Error {
+}
+/** Options for `Engine.evaluate`. */
+export interface EvaluateOptions {
+    /**
+     * Output format, by name; default `"flag"` (the minimal level: `valid`
+     * only). Every other name populates the flat `Result.errors`/
+     * `Result.annotations` surface and renders `Result.outputDocument` in the
+     * format's own structure ({@link OutputDocuments}).
+     */
+    output?: OutputFormat;
+    /**
+     * Request the verbose level for `list` or `hierarchical`: every unit is
+     * kept and irrelevant records (draft-03 §12.2) render marked, as
+     * `droppedErrors`/`droppedAnnotations` in the document and as
+     * `Result.droppedErrors`/`Result.droppedAnnotations`. `basic` and
+     * `detailed` are relevant-level by definition and reject it; `verbose` is
+     * the verbose level by definition.
+     */
+    verbose?: boolean;
+    /**
+     * Which annotations reach output: `false` (default) none, `true` all, or
+     * an {@link AnnotationSelection}. Independent of format and level; never
+     * affects dependency data or validation.
+     */
+    annotations?: boolean | AnnotationSelection;
+    /** Include `keyword`, `vocabulary`, and structured `params` on each flat error unit (D13). */
+    errorParams?: boolean;
+    /** Decorate flat units with schema-side source positions when available (D17). */
+    positions?: boolean;
+    /** Render the evaluation trace into `Result.trace`. */
+    trace?: boolean;
+}
+/** The document type each non-minimal {@link OutputFormat} renders. */
+export interface OutputDocuments {
+    basic: BasicOutputDocument;
+    detailed: DetailedOutputUnit;
+    verbose: DetailedOutputUnit;
+    list: ListOutputDocument;
+    hierarchical: OutputUnit;
+}
+/** The result of an evaluation. */
+export interface Result {
+    valid: boolean;
+    /** relevant errors, native field names; present on an invalid result of any non-flag format */
+    errors?: ErrorUnit[];
+    /** relevant annotations per the selection; present on a valid result when annotations are selected */
+    annotations?: AnnotationUnit[];
+    /** irrelevant errors (draft-03 §12.2); present at the verbose level */
+    droppedErrors?: ErrorUnit[];
+    /** irrelevant annotations per the selection; present at the verbose level when annotations are selected */
+    droppedAnnotations?: AnnotationUnit[];
+    /** the output document, in the requested format's structure ({@link OutputDocuments}) */
+    outputDocument?: OutputDocuments[keyof OutputDocuments];
+    /** the evaluation trace, present with `trace: true`; `errorIndexes` reference `errors` on this result */
+    trace?: TraceUnit;
+}
+/**
+ * {@link Result} narrowed by literal options: `outputDocument` takes the
+ * requested format's document type and `trace` is present when requested.
+ * A widened {@link EvaluateOptions} yields the plain `Result`.
+ */
+export type ResultFor<O extends EvaluateOptions> = Result & ([O["output"]] extends [infer F extends keyof OutputDocuments] ? {
+    outputDocument: OutputDocuments[F];
+} : unknown) & ([O["trace"]] extends [true] ? {
+    trace: TraceUnit;
+} : unknown);
+/** What an evaluation must produce for a resolved set of output options. */
+export interface OutputDemand {
+    format: OutputFormat;
+    /** the verbose level: irrelevant records are rendered, marked */
+    verbose: boolean;
+    /** the located tree is built: every format but flag and basic, or `trace: true` */
+    tracing: boolean;
+    annotations: boolean | AnnotationSelection;
+}
+/**
+ * Every combination of controls is supported or rejected here, before any
+ * evaluation (ADR 0003).
+ */
+export declare function resolveOutputDemand(options: EvaluateOptions): OutputDemand;
+/**
+ * The flat surface as one evaluation produced it. The arrays are placed on
+ * the {@link Result} as they are; `annotations` is empty on an invalid run
+ * or when none are selected, and the dropped pair is empty unless
+ * irrelevant records were retained (verbose demand).
+ */
+export interface ResultUnits {
+    errors: ErrorUnit[];
+    droppedErrors: ErrorUnit[];
+    annotations: AnnotationUnit[];
+    droppedAnnotations: AnnotationUnit[];
+}
+/**
+ * Assembles a {@link Result} from the flat surface and, when the demand
+ * built one, the located tree. `root` is required whenever
+ * `demand.tracing`; `rootLocation` is the root schema's canonical location
+ * (the `basic` document's own).
+ */
+export declare function assembleResult(demand: OutputDemand, valid: boolean, units: ResultUnits, root: RenderNode | null, rootLocation: string, trace: boolean): Result;
+//# sourceMappingURL=result.d.ts.map

package/dist/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACvB,KAAK,SAAS,EAEd,KAAK,kBAAkB,EACvB,KAAK,UAAU,EAEf,KAAK,UAAU,EACf,KAAK,SAAS,EAOf,MAAM,aAAa,CAAC;AAErB;;;;GAIG;AACH,MAAM,MAAM,YAAY,GACtB,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,GAAG,MAAM,GAAG,cAAc,CAAC;AAWtE,0GAA0G;AAC1G,qBAAa,kBAAmB,SAAQ,KAAK;CAAG;AAEhD,qCAAqC;AACrC,MAAM,WAAW,eAAe;IAC9B;;;;;OAKG;IACH,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB;;;;;;;OAOG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;;OAIG;IACH,WAAW,CAAC,EAAE,OAAO,GAAG,mBAAmB,CAAC;IAC5C,8FAA8F;IAC9F,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,kFAAkF;IAClF,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,uDAAuD;IACvD,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,uEAAuE;AACvE,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,mBAAmB,CAAC;IAC3B,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,OAAO,EAAE,kBAAkB,CAAC;IAC5B,IAAI,EAAE,kBAAkB,CAAC;IACzB,YAAY,EAAE,UAAU,CAAC;CAC1B;AAED,mCAAmC;AACnC,MAAM,WAAW,MAAM;IACrB,KAAK,EAAE,OAAO,CAAC;IACf,+FAA+F;IAC/F,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;IACrB,sGAAsG;IACtG,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAC/B,uEAAuE;IACvE,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC;IAC5B,2GAA2G;IAC3G,kBAAkB,CAAC,EAAE,cAAc,EAAE,CAAC;IACtC,yFAAyF;IACzF,cAAc,CAAC,EAAE,eAAe,CAAC,MAAM,eAAe,CAAC,CAAC;IACxD,yGAAyG;IACzG,KAAK,CAAC,EAAE,SAAS,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,eAAe,IAAI,MAAM,GACvD,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,eAAe,CAAC,GAC1D;IAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC,CAAA;CAAE,GACtC,OAAO,CAAC,GACZ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG;IAAE,KAAK,EAAE,SAAS,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC;AAEjE,4EAA4E;AAC5E,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,YAAY,CAAC;IACrB,iEAAiE;IACjE,OAAO,EAAE,OAAO,CAAC;IACjB,mFAAmF;IACnF,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,OAAO,GAAG,mBAAmB,CAAC;CAC5C;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,eAAe,GAAG,YAAY,CA8C1E;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,aAAa,EAAE,SAAS,EAAE,CAAC;IAC3B,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,kBAAkB,EAAE,cAAc,EAAE,CAAC;CACtC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,WAAW,EAClB,IAAI,EAAE,UAAU,GAAG,IAAI,EACvB,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,OAAO,GACb,MAAM,CAgDR"}

package/dist/result.js

@@ -0,0 +1,112 @@
+// Result assembly (ADR 0003): the option checks that admit or reject a
+// combination of controls before any evaluation, and the assembly of a
+// Result from the flat surface and the located tree. Both tiers use it —
+// the interpreter after rendering its records, a compiled evaluator after
+// recording its tree — so presence rules and key order have one owner.
+import { renderBasic, renderDetailed, renderHierarchical, renderList, renderTrace, renderVerbose, } from "./output.js";
+const OUTPUT_FORMATS = new Set([
+    "flag",
+    "basic",
+    "detailed",
+    "verbose",
+    "list",
+    "hierarchical",
+]);
+/** Thrown by `evaluate` for an unsupported combination of output options (ADR 0003: no silent no-ops). */
+export class OutputOptionsError extends Error {
+}
+/**
+ * Every combination of controls is supported or rejected here, before any
+ * evaluation (ADR 0003).
+ */
+export function resolveOutputDemand(options) {
+    const format = options.output ?? "flag";
+    if (!OUTPUT_FORMATS.has(format)) {
+        throw new OutputOptionsError(`unknown output format '${format}'`);
+    }
+    const annotations = options.annotations ?? false;
+    if (format === "flag") {
+        const requested = [
+            ["verbose", options.verbose === true],
+            ["annotations", annotations !== false],
+            ["errorParams", options.errorParams === true],
+            ["positions", options.positions === true],
+            ["trace", options.trace === true],
+        ];
+        for (const [name, on] of requested) {
+            if (on) {
+                throw new OutputOptionsError(`'${name}' has no effect with output "flag", which carries no ` +
+                    `records (the minimal level); choose "basic" or another format`);
+            }
+        }
+    }
+    if (options.verbose === true &&
+        (format === "basic" || format === "detailed")) {
+        throw new OutputOptionsError(`'verbose' does not apply to output "${format}", a relevant-level ` +
+            `format by definition (IETF draft-03 §13.4); use "verbose", or ` +
+            `"list"/"hierarchical" with verbose: true`);
+    }
+    if (options.verbose === false && format === "verbose") {
+        throw new OutputOptionsError(`output "verbose" is the verbose level by definition; ` +
+            `'verbose: false' contradicts it`);
+    }
+    return {
+        format,
+        verbose: format === "verbose" || options.verbose === true,
+        tracing: format !== "flag" && (format !== "basic" || options.trace === true),
+        annotations,
+    };
+}
+/**
+ * Assembles a {@link Result} from the flat surface and, when the demand
+ * built one, the located tree. `root` is required whenever
+ * `demand.tracing`; `rootLocation` is the root schema's canonical location
+ * (the `basic` document's own).
+ */
+export function assembleResult(demand, valid, units, root, rootLocation, trace) {
+    const result = { valid };
+    if (demand.format === "flag")
+        return result;
+    if (!valid)
+        result.errors = units.errors;
+    if (valid && demand.annotations !== false) {
+        result.annotations = units.annotations;
+    }
+    if (demand.verbose) {
+        result.droppedErrors = units.droppedErrors;
+        if (demand.annotations !== false) {
+            result.droppedAnnotations = units.droppedAnnotations;
+        }
+    }
+    const input = demand.tracing
+        ? {
+            errors: units.errors,
+            droppedErrors: units.droppedErrors,
+            annotations: units.annotations,
+            droppedAnnotations: units.droppedAnnotations,
+            root: root,
+        }
+        : null;
+    if (trace)
+        result.trace = renderTrace(input.root);
+    const irrelevant = demand.verbose ? "mark" : "omit";
+    switch (demand.format) {
+        case "basic":
+            result.outputDocument = renderBasic(valid, rootLocation, units.errors, units.annotations);
+            break;
+        case "list":
+            result.outputDocument = renderList(input, irrelevant);
+            break;
+        case "hierarchical":
+            result.outputDocument = renderHierarchical(input, irrelevant);
+            break;
+        case "detailed":
+            result.outputDocument = renderDetailed(input);
+            break;
+        case "verbose":
+            result.outputDocument = renderVerbose(input);
+            break;
+    }
+    return result;
+}
+//# sourceMappingURL=result.js.map