@descryy/ir 0.1.0

package/dist/normalise.js

@@ -0,0 +1,603 @@
+/**
+ * The Normaliser — the only door into the graph.
+ *
+ * Everything an adapter emits passes through here before anything is written.
+ * It exists because of one ordering rule in the build plan: **the Normaliser
+ * comes before the writer.** Build the writer first and "reject at the boundary"
+ * silently becomes "clean up in SQL", which is unrecoverable — once a bad edge
+ * is in the store, a dropped bad edge and a missing good one look identical, and
+ * §11B.6 recall has no denominator.
+ *
+ * Two rules govern the whole file:
+ *
+ *   1. **Drop and log, never repair.** A repair changes what an adapter claimed
+ *      without telling anyone. The one exception is confidence, which is clamped
+ *      *down* to a per-resolution ceiling and recorded — lowering a claim cannot
+ *      manufacture a fact, and every clamp appears in the result.
+ *   2. **Trust nothing.** Adapters live in a different repo, on a different
+ *      release cadence (DEC-001), and are third-party as far as this package is
+ *      concerned. TypeScript types do not survive that boundary at runtime, so
+ *      the input is `unknown` and every field is checked structurally.
+ *
+ * This package has zero dependencies, so it cannot see the store. The "edge
+ * references a node that does not exist" check therefore takes a `nodeExists`
+ * predicate: the caller supplies the store lookup, and the IR boundary stays
+ * dependency-free.
+ */
+import { isEdgeType, isFilelessNodeType, isNodeType } from "./vocabulary.js";
+import { SKIP_REASONS, UNRESOLVED_REF_CLASSES } from "./ir.js";
+import { NODE_ID_PREFIX } from "./identity.js";
+// ---------------------------------------------------------------------------
+// Result shape
+// ---------------------------------------------------------------------------
+/**
+ * Every way a batch, node, edge or reference can be turned away.
+ *
+ * Typed rather than free-text because these are counted, not just printed:
+ * §20.2's "not analysable" category and §11B.6's recall denominator are both
+ * aggregates over this list. A rejection whose reason is a sentence cannot be
+ * aggregated.
+ */
+export const REJECTION_CODES = [
+    // envelope (DEC-015) — any of these rejects the whole batch
+    "BATCH_MALFORMED",
+    "BATCH_FIELD_INVALID",
+    "BATCH_SOURCE_FILES_EMPTY",
+    // identity and vocabulary
+    "UNKNOWN_NODE_TYPE",
+    "UNKNOWN_EDGE_TYPE",
+    "MALFORMED_NODE_ID",
+    "DUPLICATE_NODE_ID",
+    "EMPTY_NAME",
+    // provenance
+    "MALFORMED_PRODUCED_BY",
+    "PRODUCED_BY_MISMATCH",
+    "RESOLUTION_OUT_OF_RANGE",
+    "RESOLUTION_EXCEEDS_BATCH",
+    "R4_WITHOUT_OBSERVED_RUN",
+    "OBSERVED_RUN_WITHOUT_R4",
+    "CONFIDENCE_INVALID",
+    // location
+    "ABSOLUTE_PATH",
+    "NON_PORTABLE_PATH",
+    "FILE_OUTSIDE_SOURCE_FILES",
+    "MISSING_FILE",
+    "FILE_ON_FILELESS_TYPE",
+    "RANGE_WITHOUT_FILE",
+    "INVALID_RANGE",
+    // skipped files (amends DEC-022)
+    "MALFORMED_SKIPPED_FILE",
+    "FILE_IN_SOURCE_AND_SKIPPED",
+    // the cross-language join node (DEC-014)
+    "LANGUAGE_ON_JOIN_NODE",
+    // identity scope (DEC-054)
+    "UNKNOWN_WORKSPACE",
+    // structure
+    "MALFORMED_ATTRS",
+    "MALFORMED_UNRESOLVED_REF",
+    // cascade
+    "DANGLING_EDGE_ENDPOINT",
+    "EDGE_ENDPOINT_DROPPED",
+];
+// ---------------------------------------------------------------------------
+// Confidence ceilings
+// ---------------------------------------------------------------------------
+/**
+ * The maximum confidence an edge may claim at each resolution level.
+ *
+ * **The numbers for R0–R2 are provisional.** Architecture §32 item 13 lists
+ * `EdgeConfidence` per resolution level as open *tuning*, to be set "once two
+ * adapters exist and can be compared" — which is Step 14 of this build, not
+ * Step 5. Only two of the five values are actually pinned by the architecture:
+ * §12.4 states 1.0 for R3 and R4.
+ *
+ * What is NOT provisional is the shape, and that is what the tests assert:
+ * monotonically non-decreasing in resolution, never above 1.0, and 1.0 exactly
+ * at R3 and R4. Tuning the middle three later cannot violate any of those, so
+ * measuring them later does not invalidate anything built on this now.
+ *
+ * Override via `NormaliseOptions.confidenceCeilings` rather than editing here —
+ * the accuracy benchmark (§11B.6) will want to sweep them.
+ */
+export const DEFAULT_CONFIDENCE_CEILINGS = {
+    0: 0.5,
+    1: 0.75,
+    2: 0.9,
+    3: 1.0,
+    4: 1.0,
+};
+// ---------------------------------------------------------------------------
+// Primitive validators
+// ---------------------------------------------------------------------------
+// Derived from the constant rather than restated, so an id-scheme bump cannot
+// leave the validator matching the previous scheme. DEC-054's n1: -> n2: move
+// found this: a hard-coded pattern would have accepted only stale ids.
+const NODE_ID_PATTERN = new RegExp(`^${NODE_ID_PREFIX}[0-9a-f]{32}$`);
+/** `adapterId@version`, exactly one `@`. */
+const PRODUCED_BY_PATTERN = /^[A-Za-z0-9][A-Za-z0-9._-]*@[A-Za-z0-9][A-Za-z0-9._+-]*$/;
+const DRIVE_LETTER_PATTERN = /^[A-Za-z]:[\\/]/;
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function isResolution(value) {
+    return value === 0 || value === 1 || value === 2 || value === 3 || value === 4;
+}
+/**
+ * Repo-relative, forward-slashed, no `.`/`..`, no trailing slash.
+ *
+ * Absolute paths get their own code because they are the measured failure, not
+ * a hypothetical one: the prior-art graphs on this machine store absolute paths,
+ * which makes a graph non-portable between developers and — because `FILE`
+ * identity is the path (DEC-004's documented fallback) — gives the same file a
+ * different node id on every machine.
+ *
+ * The rest are rejected rather than rewritten for the same reason. `src\a.ts`
+ * and `src/a.ts` hash to different ids, so quietly rewriting one into the other
+ * would change an identity the adapter already committed to.
+ */
+function pathProblem(p) {
+    if (p === "")
+        return { code: "NON_PORTABLE_PATH", detail: "path is empty" };
+    if (p.startsWith("/") || p.startsWith("\\") || DRIVE_LETTER_PATTERN.test(p)) {
+        return { code: "ABSOLUTE_PATH", detail: `"${p}" is absolute; paths must be repo-relative` };
+    }
+    if (p.includes("\\")) {
+        return { code: "NON_PORTABLE_PATH", detail: `"${p}" uses backslashes; use forward slashes` };
+    }
+    if (p.endsWith("/"))
+        return { code: "NON_PORTABLE_PATH", detail: `"${p}" has a trailing slash` };
+    if (p.includes("//")) {
+        return { code: "NON_PORTABLE_PATH", detail: `"${p}" has an empty path segment` };
+    }
+    const segments = p.split("/");
+    if (segments.includes(".") || segments.includes("..")) {
+        return { code: "NON_PORTABLE_PATH", detail: `"${p}" is not normalised` };
+    }
+    return null;
+}
+function validRange(value) {
+    if (!isRecord(value))
+        return false;
+    const { startLine, endLine } = value;
+    return (Number.isInteger(startLine) &&
+        Number.isInteger(endLine) &&
+        startLine >= 1 &&
+        endLine >= startLine);
+}
+// ---------------------------------------------------------------------------
+// The Normaliser
+// ---------------------------------------------------------------------------
+/**
+ * Validate and normalise one `IRBatch`.
+ *
+ * Never throws on bad input — a malformed batch is a result, not an exception,
+ * because a run over 40 adapters must report all of them rather than die on the
+ * first. It throws only on programmer error in the options.
+ */
+export function normaliseBatch(input, options = {}) {
+    const rejections = [];
+    const clamps = [];
+    const ceilings = options.confidenceCeilings ?? DEFAULT_CONFIDENCE_CEILINGS;
+    const nodeExists = options.nodeExists ?? (() => false);
+    const rejectBatch = (code, subject, detail) => {
+        rejections.push({ code, scope: "batch", subject, detail });
+        return { batch: null, rejections, clamps };
+    };
+    // --- envelope -------------------------------------------------------------
+    // Rejected whole, never partially. `sourceFiles` is the invalidation key
+    // (DEC-015): the writer deletes everything previously written by `producedBy`
+    // for those paths, then inserts. A batch whose key cannot be trusted cannot be
+    // written at all, because the delete half would silently do the wrong thing.
+    if (!isRecord(input)) {
+        return rejectBatch("BATCH_MALFORMED", "<batch>", `expected an object, got ${typeof input}`);
+    }
+    const { repo, workspace, commitSha, producedBy, sourceFiles, skippedFiles, reachedResolution, nodes, edges, unresolved, } = input;
+    if (typeof repo !== "string" || repo === "") {
+        return rejectBatch("BATCH_FIELD_INVALID", "<batch>", "repo must be a non-empty string");
+    }
+    if (workspace !== undefined && (typeof workspace !== "string" || workspace === "")) {
+        return rejectBatch("BATCH_FIELD_INVALID", repo, "workspace must be a non-empty string when present");
+    }
+    if (workspace !== undefined &&
+        options.knownWorkspaces !== undefined &&
+        !options.knownWorkspaces.includes(workspace)) {
+        return rejectBatch("UNKNOWN_WORKSPACE", repo, `workspace ${JSON.stringify(workspace)} is not one of ${JSON.stringify(options.knownWorkspaces)} — ` +
+            "an unrecognised workspace id is a typo, and a typo here joins nothing while reporting nothing");
+    }
+    if (typeof commitSha !== "string" || commitSha === "") {
+        return rejectBatch("BATCH_FIELD_INVALID", repo, "commitSha must be a non-empty string");
+    }
+    if (typeof producedBy !== "string" || !PRODUCED_BY_PATTERN.test(producedBy)) {
+        return rejectBatch("MALFORMED_PRODUCED_BY", repo, `batch producedBy must match adapterId@version, got ${JSON.stringify(producedBy)}`);
+    }
+    if (!isResolution(reachedResolution)) {
+        return rejectBatch("RESOLUTION_OUT_OF_RANGE", repo, `reachedResolution must be 0-4, got ${JSON.stringify(reachedResolution)}`);
+    }
+    if (!Array.isArray(sourceFiles) || !Array.isArray(nodes) || !Array.isArray(edges)) {
+        return rejectBatch("BATCH_FIELD_INVALID", repo, "sourceFiles, nodes and edges must all be arrays");
+    }
+    const unresolvedList = unresolved ?? [];
+    if (!Array.isArray(unresolvedList)) {
+        return rejectBatch("BATCH_FIELD_INVALID", repo, "unresolved must be an array when present");
+    }
+    // Absent, not `[]`, is what every producer not yet updated to report
+    // skipped files sends — treated the same as `unresolved`'s existing
+    // absent-means-none default, not as a rejection. A producer that DOES
+    // populate the field is held to it fully below.
+    const skippedFilesList = skippedFiles ?? [];
+    if (!Array.isArray(skippedFilesList)) {
+        return rejectBatch("BATCH_FIELD_INVALID", repo, "skippedFiles must be an array when present");
+    }
+    for (const f of sourceFiles) {
+        if (typeof f !== "string") {
+            return rejectBatch("BATCH_FIELD_INVALID", repo, "sourceFiles must contain only strings");
+        }
+        const problem = pathProblem(f);
+        if (problem)
+            return rejectBatch(problem.code, repo, `sourceFiles: ${problem.detail}`);
+    }
+    const sourceFileSet = new Set(sourceFiles);
+    if (sourceFileSet.size === 0 && (nodes.length > 0 || edges.length > 0)) {
+        // Nothing to delete means nothing is ever invalidated: these rows would
+        // outlive the code they describe, with no way to reach them.
+        return rejectBatch("BATCH_SOURCE_FILES_EMPTY", repo, "a batch carrying nodes or edges must declare the sourceFiles it was derived from");
+    }
+    const outSkippedFiles = [];
+    for (const raw of skippedFilesList) {
+        if (!isRecord(raw)) {
+            return rejectBatch("MALFORMED_SKIPPED_FILE", repo, `skippedFiles: expected an object, got ${typeof raw}`);
+        }
+        const file = raw["file"];
+        if (typeof file !== "string") {
+            return rejectBatch("MALFORMED_SKIPPED_FILE", repo, "skippedFiles: file must be a string");
+        }
+        const problem = pathProblem(file);
+        if (problem)
+            return rejectBatch(problem.code, repo, `skippedFiles: ${problem.detail}`);
+        const reason = raw["reason"];
+        if (typeof reason !== "string" || !SKIP_REASONS.includes(reason)) {
+            return rejectBatch("MALFORMED_SKIPPED_FILE", repo, `skippedFiles: reason must be one of ${JSON.stringify(SKIP_REASONS)}, got ${JSON.stringify(reason)}`);
+        }
+        const detail = raw["detail"];
+        if (typeof detail !== "string" || detail === "") {
+            return rejectBatch("MALFORMED_SKIPPED_FILE", repo, `skippedFiles: detail must be a non-empty string for "${file}"`);
+        }
+        if (sourceFileSet.has(file)) {
+            // Rejected whole, same register as BATCH_SOURCE_FILES_EMPTY: a batch
+            // that cannot say whether a file was analysed or skipped cannot be
+            // trusted to invalidate it correctly either way.
+            return rejectBatch("FILE_IN_SOURCE_AND_SKIPPED", repo, `"${file}" is in both sourceFiles and skippedFiles — a file is either analysed or skipped, never both`);
+        }
+        outSkippedFiles.push({ file, reason: reason, detail });
+    }
+    // --- nodes ----------------------------------------------------------------
+    const accepted = new Map();
+    for (const [index, raw] of nodes.entries()) {
+        const node = normaliseNode(raw, index, {
+            repo,
+            producedBy,
+            reachedResolution,
+            sourceFileSet,
+            seen: accepted,
+            rejections,
+        });
+        if (node !== null)
+            accepted.set(node.id, node);
+    }
+    // --- edges ----------------------------------------------------------------
+    // Ordered after nodes on purpose: an edge whose endpoint was just dropped must
+    // be reported as EDGE_ENDPOINT_DROPPED, not as a dangling reference. Those are
+    // different failures — one is a knock-on effect of a node the adapter got
+    // wrong, the other is the adapter pointing at something that was never there —
+    // and collapsing them is exactly the ambiguity this whole step exists to avoid.
+    const droppedNodeIds = new Set(rejections.filter((r) => r.scope === "node").map((r) => r.subject));
+    const outEdges = [];
+    for (const [index, raw] of edges.entries()) {
+        const edge = normaliseEdge(raw, index, {
+            producedBy,
+            reachedResolution,
+            ceilings,
+            accepted,
+            droppedNodeIds,
+            nodeExists,
+            rejections,
+            clamps,
+        });
+        if (edge !== null)
+            outEdges.push(edge);
+    }
+    // --- unresolved refs ------------------------------------------------------
+    const outUnresolved = [];
+    for (const [index, raw] of unresolvedList.entries()) {
+        const ref = normaliseUnresolved(raw, index, { producedBy, rejections });
+        if (ref !== null)
+            outUnresolved.push(ref);
+    }
+    return {
+        batch: {
+            repo,
+            ...(workspace === undefined ? {} : { workspace }),
+            commitSha,
+            producedBy,
+            sourceFiles: sourceFiles,
+            skippedFiles: outSkippedFiles,
+            reachedResolution,
+            nodes: [...accepted.values()],
+            edges: outEdges,
+            unresolved: outUnresolved,
+        },
+        rejections,
+        clamps,
+    };
+}
+function normaliseNode(raw, index, ctx) {
+    const fallbackSubject = `<node #${index}>`;
+    const reject = (code, subject, detail) => {
+        ctx.rejections.push({ code, scope: "node", subject, detail });
+        return null;
+    };
+    if (!isRecord(raw)) {
+        return reject("BATCH_MALFORMED", fallbackSubject, `expected an object, got ${typeof raw}`);
+    }
+    const id = raw["id"];
+    if (typeof id !== "string" || !NODE_ID_PATTERN.test(id)) {
+        return reject("MALFORMED_NODE_ID", fallbackSubject, `id must be n1: followed by 32 hex characters, got ${JSON.stringify(id)}`);
+    }
+    if (ctx.seen.has(id)) {
+        // Which of the two is correct is unknowable here, and picking one silently
+        // would make the graph depend on adapter emission order. Merge across
+        // batches is the Graph Builder's job (DEC-012); a collision *within* one
+        // batch is an adapter bug.
+        return reject("DUPLICATE_NODE_ID", id, "id already present earlier in this batch");
+    }
+    const type = raw["type"];
+    if (typeof type !== "string" || !isNodeType(type)) {
+        return reject("UNKNOWN_NODE_TYPE", id, `not one of the 15 node types: ${JSON.stringify(type)}`);
+    }
+    const nodeType = type;
+    const name = raw["name"];
+    if (typeof name !== "string" || name === "") {
+        return reject("EMPTY_NAME", id, "name must be a non-empty string");
+    }
+    if (raw["producedBy"] !== ctx.producedBy) {
+        // The writer invalidates by (producedBy, sourceFiles). A node carrying a
+        // different producedBy would be inserted by this batch and then never
+        // deleted by it.
+        return reject("PRODUCED_BY_MISMATCH", id, `node producedBy ${JSON.stringify(raw["producedBy"])} differs from batch ${ctx.producedBy}`);
+    }
+    const resolution = raw["resolution"];
+    if (!isResolution(resolution)) {
+        return reject("RESOLUTION_OUT_OF_RANGE", id, `resolution must be 0-4, got ${String(resolution)}`);
+    }
+    if (resolution > ctx.reachedResolution) {
+        // "Reported a resolution it did not reach" — the same failure the
+        // conformance harness looks for, caught one layer earlier and cheaper.
+        return reject("RESOLUTION_EXCEEDS_BATCH", id, `claims R${resolution} in a batch that reached R${ctx.reachedResolution}`);
+    }
+    const attrs = raw["attrs"] ?? {};
+    if (!isRecord(attrs))
+        return reject("MALFORMED_ATTRS", id, "attrs must be an object when present");
+    // --- location -------------------------------------------------------------
+    const fileless = isFilelessNodeType(nodeType);
+    const file = raw["file"] ?? null;
+    const range = raw["range"] ?? null;
+    if (fileless) {
+        if (file !== null) {
+            return reject("FILE_ON_FILELESS_TYPE", id, `${nodeType} has no source file (DEC-014), got ${JSON.stringify(file)}`);
+        }
+    }
+    else {
+        if (typeof file !== "string") {
+            return reject("MISSING_FILE", id, `${nodeType} requires a repo-relative file path`);
+        }
+        const problem = pathProblem(file);
+        if (problem)
+            return reject(problem.code, id, problem.detail);
+        if (!ctx.sourceFileSet.has(file)) {
+            // Outside the invalidation key, so the writer's delete would miss it and
+            // this node would survive forever after its file stopped producing it.
+            return reject("FILE_OUTSIDE_SOURCE_FILES", id, `file "${file}" is not among the batch sourceFiles`);
+        }
+    }
+    if (range !== null) {
+        if (file === null)
+            return reject("RANGE_WITHOUT_FILE", id, "range requires a file");
+        if (!validRange(range)) {
+            return reject("INVALID_RANGE", id, `range must be 1-based with endLine >= startLine`);
+        }
+    }
+    // --- provenance -----------------------------------------------------------
+    const rawLanguage = raw["language"] ?? null;
+    if (rawLanguage !== null && typeof rawLanguage !== "string") {
+        return reject("BATCH_FIELD_INVALID", id, "language must be a string or null");
+    }
+    // The cross-language join node belongs to no single language: it is written by
+    // two adapters that never share a line of code, and XL-2 asserts it carries no
+    // language. Checking whether one was claimed is not itself a language branch —
+    // no language is named here, and the boundary lint distinguishes the two.
+    if (nodeType === "API_ENDPOINT" && rawLanguage !== null) {
+        return reject("LANGUAGE_ON_JOIN_NODE", id, `API_ENDPOINT is the cross-language join node and must carry no language (DEC-014); got ${JSON.stringify(rawLanguage)}`);
+    }
+    return {
+        id,
+        type: nodeType,
+        name,
+        file: typeof file === "string" ? file : null,
+        range: range === null ? null : range,
+        language: rawLanguage,
+        producedBy: ctx.producedBy,
+        resolution,
+        attrs,
+    };
+}
+function normaliseEdge(raw, index, ctx) {
+    const fallbackSubject = `<edge #${index}>`;
+    const reject = (code, subject, detail) => {
+        ctx.rejections.push({ code, scope: "edge", subject, detail });
+        return null;
+    };
+    if (!isRecord(raw)) {
+        return reject("BATCH_MALFORMED", fallbackSubject, `expected an object, got ${typeof raw}`);
+    }
+    const from = raw["from"];
+    const to = raw["to"];
+    const type = raw["type"];
+    if (typeof from !== "string" || !NODE_ID_PATTERN.test(from)) {
+        return reject("MALFORMED_NODE_ID", fallbackSubject, `from is not a node id: ${String(from)}`);
+    }
+    if (typeof to !== "string" || !NODE_ID_PATTERN.test(to)) {
+        return reject("MALFORMED_NODE_ID", fallbackSubject, `to is not a node id: ${String(to)}`);
+    }
+    if (typeof type !== "string" || !isEdgeType(type)) {
+        return reject("UNKNOWN_EDGE_TYPE", `${from}→${to}`, `not one of the 15 edge types: ${JSON.stringify(type)}`);
+    }
+    const edgeType = type;
+    const subject = `${from}→${to}:${edgeType}`;
+    if (raw["producedBy"] !== ctx.producedBy) {
+        return reject("PRODUCED_BY_MISMATCH", subject, `edge producedBy ${JSON.stringify(raw["producedBy"])} differs from batch ${ctx.producedBy}`);
+    }
+    const resolution = raw["resolution"];
+    if (!isResolution(resolution)) {
+        return reject("RESOLUTION_OUT_OF_RANGE", subject, `resolution must be 0-4, got ${String(resolution)}`);
+    }
+    if (resolution > ctx.reachedResolution) {
+        return reject("RESOLUTION_EXCEEDS_BATCH", subject, `claims R${resolution} in a batch that reached R${ctx.reachedResolution}`);
+    }
+    const observedByRun = raw["observedByRun"];
+    if (resolution === 4) {
+        // R4 is the product's core moat: this edge was witnessed, not inferred. An
+        // R4 edge with no run behind it is an unfalsifiable claim, and R4 expiry
+        // (§32 item 19) has nothing to key on.
+        if (typeof observedByRun !== "string" || observedByRun === "") {
+            return reject("R4_WITHOUT_OBSERVED_RUN", subject, "R4 requires a non-empty observedByRun");
+        }
+    }
+    else if (observedByRun !== undefined && observedByRun !== null) {
+        return reject("OBSERVED_RUN_WITHOUT_R4", subject, `observedByRun is meaningless below R4; edge claims R${resolution}`);
+    }
+    const rawConfidence = raw["confidence"];
+    if (typeof rawConfidence !== "number" || !Number.isFinite(rawConfidence)) {
+        return reject("CONFIDENCE_INVALID", subject, `confidence must be a finite number`);
+    }
+    if (rawConfidence < 0 || rawConfidence > 1) {
+        return reject("CONFIDENCE_INVALID", subject, `confidence must be within 0-1, got ${rawConfidence}`);
+    }
+    const attrs = raw["attrs"] ?? undefined;
+    if (attrs !== undefined && !isRecord(attrs)) {
+        return reject("MALFORMED_ATTRS", subject, "attrs must be an object when present");
+    }
+    // --- endpoints ------------------------------------------------------------
+    // A node written by an earlier batch is fine — a call into an unchanged file
+    // is the normal case. A node that never existed is not.
+    for (const [role, endpoint] of [
+        ["from", from],
+        ["to", to],
+    ]) {
+        if (ctx.accepted.has(endpoint) || ctx.nodeExists(endpoint))
+            continue;
+        if (ctx.droppedNodeIds.has(endpoint)) {
+            return reject("EDGE_ENDPOINT_DROPPED", subject, `${role} node ${endpoint} was rejected earlier in this batch`);
+        }
+        return reject("DANGLING_EDGE_ENDPOINT", subject, `${role} node ${endpoint} is in neither the batch nor the store — record it as an unresolved reference (DEC-016) instead of guessing an edge`);
+    }
+    // --- confidence clamp -----------------------------------------------------
+    // The only value this function changes. Lowering a claim cannot manufacture a
+    // fact; raising one could, so `Math.min` is load-bearing rather than defensive.
+    const ceiling = ctx.ceilings[resolution];
+    const confidence = Math.min(rawConfidence, ceiling);
+    if (confidence !== rawConfidence) {
+        ctx.clamps.push({ subject, resolution, from: rawConfidence, to: confidence });
+    }
+    return {
+        from,
+        to,
+        type: edgeType,
+        resolution,
+        confidence,
+        producedBy: ctx.producedBy,
+        ...(typeof observedByRun === "string" ? { observedByRun } : {}),
+        ...(attrs === undefined ? {} : { attrs }),
+    };
+}
+/**
+ * Unresolved references are deliberately NOT held to the endpoint check: the
+ * whole point of the ledger is to record a reference that resolved to nothing.
+ * `fromNodeId` still has to be real, or the entry cannot be attributed.
+ *
+ * Note what does not happen here: a rejected edge does not become an unresolved
+ * reference. The ledger measures what the *adapter* could not resolve — an
+ * analysis gap, disclosed under §20.2. A rejected edge is an adapter defect.
+ * Folding one into the other would inflate the recall denominator with bugs.
+ */
+function normaliseUnresolved(raw, index, ctx) {
+    const subject = `<unresolved #${index}>`;
+    const reject = (detail) => {
+        ctx.rejections.push({ code: "MALFORMED_UNRESOLVED_REF", scope: "unresolved", subject, detail });
+        return null;
+    };
+    if (!isRecord(raw))
+        return reject(`expected an object, got ${typeof raw}`);
+    const fromNodeId = raw["fromNodeId"];
+    if (typeof fromNodeId !== "string" || !NODE_ID_PATTERN.test(fromNodeId)) {
+        return reject(`fromNodeId is not a node id: ${String(fromNodeId)}`);
+    }
+    const edgeType = raw["edgeType"];
+    if (typeof edgeType !== "string" || !isEdgeType(edgeType)) {
+        return reject(`edgeType is not one of the 15 edge types: ${JSON.stringify(edgeType)}`);
+    }
+    const rawTarget = raw["rawTarget"];
+    if (typeof rawTarget !== "string" || rawTarget === "") {
+        return reject("rawTarget must be a non-empty string");
+    }
+    const reason = raw["reason"];
+    if (typeof reason !== "string" || reason === "") {
+        return reject("reason must be a non-empty string — it is what gets reported as not analysable");
+    }
+    if (raw["producedBy"] !== ctx.producedBy) {
+        return reject(`producedBy differs from the batch (${ctx.producedBy})`);
+    }
+    const file = raw["file"] ?? null;
+    if (file !== null) {
+        if (typeof file !== "string")
+            return reject("file must be a string or null");
+        const problem = pathProblem(file);
+        if (problem)
+            return reject(problem.detail);
+    }
+    const line = raw["line"] ?? null;
+    if (line !== null && (!Number.isInteger(line) || line < 1)) {
+        return reject("line must be a positive integer or null");
+    }
+    // attrs.blockedBy / attrs.refusalClass (DEC-223) — both optional, neither
+    // defaulted. Shape is checked when present; absence is never an error, the
+    // same "drop and log, never repair" rule as everywhere else in this file —
+    // a wrong type here is dropped rather than coerced, because coercing
+    // `42` into `"42"` would manufacture a handle the producer never claimed.
+    const attrs = raw["attrs"] ?? undefined;
+    if (attrs !== undefined) {
+        if (!isRecord(attrs))
+            return reject("attrs must be an object when present");
+        const blockedBy = attrs["blockedBy"];
+        if (blockedBy !== undefined &&
+            blockedBy !== null &&
+            (typeof blockedBy !== "string" || blockedBy === "")) {
+            return reject(`attrs.blockedBy must be a non-empty string or null when present, got ${JSON.stringify(blockedBy)}`);
+        }
+        const refusalClass = attrs["refusalClass"];
+        if (refusalClass !== undefined &&
+            !UNRESOLVED_REF_CLASSES.includes(refusalClass)) {
+            return reject(`attrs.refusalClass must be one of ${JSON.stringify(UNRESOLVED_REF_CLASSES)} when present, got ${JSON.stringify(refusalClass)}`);
+        }
+    }
+    return {
+        fromNodeId,
+        edgeType,
+        rawTarget,
+        file: typeof file === "string" ? file : null,
+        line: typeof line === "number" ? line : null,
+        producedBy: ctx.producedBy,
+        reason,
+        ...(attrs === undefined ? {} : { attrs: attrs }),
+    };
+}
+//# sourceMappingURL=normalise.js.map

package/dist/normalise.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalise.js","sourceRoot":"","sources":["../src/normalise.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAU7E,OAAO,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,4DAA4D;IAC5D,iBAAiB;IACjB,qBAAqB;IACrB,0BAA0B;IAC1B,0BAA0B;IAC1B,mBAAmB;IACnB,mBAAmB;IACnB,mBAAmB;IACnB,mBAAmB;IACnB,YAAY;IACZ,aAAa;IACb,uBAAuB;IACvB,sBAAsB;IACtB,yBAAyB;IACzB,0BAA0B;IAC1B,yBAAyB;IACzB,yBAAyB;IACzB,oBAAoB;IACpB,WAAW;IACX,eAAe;IACf,mBAAmB;IACnB,2BAA2B;IAC3B,cAAc;IACd,uBAAuB;IACvB,oBAAoB;IACpB,eAAe;IACf,iCAAiC;IACjC,wBAAwB;IACxB,4BAA4B;IAC5B,yCAAyC;IACzC,uBAAuB;IACvB,2BAA2B;IAC3B,mBAAmB;IACnB,YAAY;IACZ,iBAAiB;IACjB,0BAA0B;IAC1B,UAAU;IACV,wBAAwB;IACxB,uBAAuB;CACf,CAAC;AA2BX,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAA8C;IACpF,CAAC,EAAE,GAAG;IACN,CAAC,EAAE,IAAI;IACP,CAAC,EAAE,GAAG;IACN,CAAC,EAAE,GAAG;IACN,CAAC,EAAE,GAAG;CACP,CAAC;AAiCF,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,8EAA8E;AAC9E,8EAA8E;AAC9E,uEAAuE;AACvE,MAAM,eAAe,GAAG,IAAI,MAAM,CAAC,IAAI,cAAc,eAAe,CAAC,CAAC;AACtE,4CAA4C;AAC5C,MAAM,mBAAmB,GAAG,0DAA0D,CAAC;AACvF,MAAM,oBAAoB,GAAG,iBAAiB,CAAC;AAE/C,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,WAAW,CAAC,CAAS;IAC5B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAC5E,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,IAAI,CAAC,4CAA4C,EAAE,CAAC;IAC9F,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,IAAI,CAAC,yCAAyC,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,IAAI,CAAC,wBAAwB,EAAE,CAAC;IACjG,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,IAAI,CAAC,6BAA6B,EAAE,CAAC;IACnF,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,IAAI,CAAC,qBAAqB,EAAE,CAAC;IAC3E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACrC,OAAO,CACL,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC;QAC3B,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QACxB,SAAoB,IAAI,CAAC;QACzB,OAAkB,IAAK,SAAoB,CAC7C,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc,EAAE,UAA4B,EAAE;IAC3E,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,IAAI,2BAA2B,CAAC;IAC3E,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAEvD,MAAM,WAAW,GAAG,CAClB,IAAmB,EACnB,OAAe,EACf,MAAc,EACG,EAAE;QACnB,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3D,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;IAC7C,CAAC,CAAC;IAEF,6EAA6E;IAC7E,yEAAyE;IACzE,8EAA8E;IAC9E,+EAA+E;IAC/E,6EAA6E;IAE7E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,WAAW,CAAC,iBAAiB,EAAE,SAAS,EAAE,2BAA2B,OAAO,KAAK,EAAE,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,EACJ,IAAI,EACJ,SAAS,EACT,SAAS,EACT,UAAU,EACV,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,KAAK,EACL,KAAK,EACL,UAAU,GACX,GAAG,KAAK,CAAC;IAEV,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAC5C,OAAO,WAAW,CAAC,qBAAqB,EAAE,SAAS,EAAE,iCAAiC,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,EAAE,CAAC,EAAE,CAAC;QACnF,OAAO,WAAW,CAChB,qBAAqB,EACrB,IAAI,EACJ,mDAAmD,CACpD,CAAC;IACJ,CAAC;IACD,IACE,SAAS,KAAK,SAAS;QACvB,OAAO,CAAC,eAAe,KAAK,SAAS;QACrC,CAAC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC5C,CAAC;QACD,OAAO,WAAW,CAChB,mBAAmB,EACnB,IAAI,EACJ,aAAa,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK;YAClG,+FAA+F,CAClG,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACtD,OAAO,WAAW,CAAC,qBAAqB,EAAE,IAAI,EAAE,sCAAsC,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5E,OAAO,WAAW,CAChB,uBAAuB,EACvB,IAAI,EACJ,sDAAsD,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACrC,OAAO,WAAW,CAChB,yBAAyB,EACzB,IAAI,EACJ,sCAAsC,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,EAAE,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,OAAO,WAAW,CAChB,qBAAqB,EACrB,IAAI,EACJ,iDAAiD,CAClD,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,IAAI,EAAE,CAAC;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QACnC,OAAO,WAAW,CAAC,qBAAqB,EAAE,IAAI,EAAE,0CAA0C,CAAC,CAAC;IAC9F,CAAC;IACD,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,gDAAgD;IAChD,MAAM,gBAAgB,GAAG,YAAY,IAAI,EAAE,CAAC;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACrC,OAAO,WAAW,CAAC,qBAAqB,EAAE,IAAI,EAAE,4CAA4C,CAAC,CAAC;IAChG,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,WAAW,CAAC,qBAAqB,EAAE,IAAI,EAAE,uCAAuC,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,OAAO;YAAE,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,gBAAgB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,WAAuB,CAAC,CAAC;IAEvD,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACvE,wEAAwE;QACxE,6DAA6D;QAC7D,OAAO,WAAW,CAChB,0BAA0B,EAC1B,IAAI,EACJ,kFAAkF,CACnF,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAkB,EAAE,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,WAAW,CAChB,wBAAwB,EACxB,IAAI,EACJ,yCAAyC,OAAO,GAAG,EAAE,CACtD,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,WAAW,CAAC,wBAAwB,EAAE,IAAI,EAAE,qCAAqC,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,OAAO;YAAE,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,iBAAiB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACvF,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAE,YAAkC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACxF,OAAO,WAAW,CAChB,wBAAwB,EACxB,IAAI,EACJ,uCAAuC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CACrG,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;YAChD,OAAO,WAAW,CAChB,wBAAwB,EACxB,IAAI,EACJ,wDAAwD,IAAI,GAAG,CAChE,CAAC;QACJ,CAAC;QACD,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,qEAAqE;YACrE,mEAAmE;YACnE,iDAAiD;YACjD,OAAO,WAAW,CAChB,4BAA4B,EAC5B,IAAI,EACJ,IAAI,IAAI,8FAA8F,CACvG,CAAC;QACJ,CAAC;QACD,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAA+B,EAAE,MAAM,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,6EAA6E;IAE7E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE3C,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAK,KAAmB,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE;YACrC,IAAI;YACJ,UAAU;YACV,iBAAiB;YACjB,aAAa;YACb,IAAI,EAAE,QAAQ;YACd,UAAU;SACX,CAAC,CAAC;QACH,IAAI,IAAI,KAAK,IAAI;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,6EAA6E;IAC7E,+EAA+E;IAC/E,+EAA+E;IAC/E,0EAA0E;IAC1E,+EAA+E;IAC/E,gFAAgF;IAEhF,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CACnE,CAAC;IAEF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAK,KAAmB,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE;YACrC,UAAU;YACV,iBAAiB;YACjB,QAAQ;YACR,QAAQ;YACR,cAAc;YACd,UAAU;YACV,UAAU;YACV,MAAM;SACP,CAAC,CAAC;QACH,IAAI,IAAI,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,6EAA6E;IAE7E,MAAM,aAAa,GAAoB,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAK,cAA4B,CAAC,OAAO,EAAE,EAAE,CAAC;QACnE,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC;QACxE,IAAI,GAAG,KAAK,IAAI;YAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO;QACL,KAAK,EAAE;YACL,IAAI;YACJ,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;YACjD,SAAS;YACT,UAAU;YACV,WAAW,EAAE,WAAuB;YACpC,YAAY,EAAE,eAAe;YAC7B,iBAAiB;YACjB,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC7B,KAAK,EAAE,QAAQ;YACf,UAAU,EAAE,aAAa;SAC1B;QACD,UAAU;QACV,MAAM;KACP,CAAC;AACJ,CAAC;AAaD,SAAS,aAAa,CAAC,GAAY,EAAE,KAAa,EAAE,GAAgB;IAClE,MAAM,eAAe,GAAG,UAAU,KAAK,GAAG,CAAC;IAC3C,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAE,OAAe,EAAE,MAAc,EAAQ,EAAE;QAC5E,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,iBAAiB,EAAE,eAAe,EAAE,2BAA2B,OAAO,GAAG,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACxD,OAAO,MAAM,CACX,mBAAmB,EACnB,eAAe,EACf,qDAAqD,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACrB,2EAA2E;QAC3E,sEAAsE;QACtE,yEAAyE;QACzE,2BAA2B;QAC3B,OAAO,MAAM,CAAC,mBAAmB,EAAE,EAAE,EAAE,0CAA0C,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC,mBAAmB,EAAE,EAAE,EAAE,iCAAiC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,QAAQ,GAAa,IAAI,CAAC;IAEhC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC,YAAY,EAAE,EAAE,EAAE,iCAAiC,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,GAAG,CAAC,YAAY,CAAC,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;QACzC,yEAAyE;QACzE,sEAAsE;QACtE,iBAAiB;QACjB,OAAO,MAAM,CACX,sBAAsB,EACtB,EAAE,EACF,mBAAmB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,uBAAuB,GAAG,CAAC,UAAU,EAAE,CAC5F,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,yBAAyB,EAAE,EAAE,EAAE,+BAA+B,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,UAAU,GAAG,GAAG,CAAC,iBAAiB,EAAE,CAAC;QACvC,kEAAkE;QAClE,uEAAuE;QACvE,OAAO,MAAM,CACX,0BAA0B,EAC1B,EAAE,EACF,WAAW,UAAU,6BAA6B,GAAG,CAAC,iBAAiB,EAAE,CAC1E,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,iBAAiB,EAAE,EAAE,EAAE,sCAAsC,CAAC,CAAC;IAEnG,6EAA6E;IAE7E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;IACjC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;IAEnC,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,MAAM,CACX,uBAAuB,EACvB,EAAE,EACF,GAAG,QAAQ,sCAAsC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CACxE,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,GAAG,QAAQ,qCAAqC,CAAC,CAAC;QACtF,CAAC;QACD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,OAAO;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,yEAAyE;YACzE,uEAAuE;YACvE,OAAO,MAAM,CACX,2BAA2B,EAC3B,EAAE,EACF,SAAS,IAAI,sCAAsC,CACpD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC,oBAAoB,EAAE,EAAE,EAAE,uBAAuB,CAAC,CAAC;QACpF,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,MAAM,CAAC,eAAe,EAAE,EAAE,EAAE,iDAAiD,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IAED,6EAA6E;IAE7E,MAAM,WAAW,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IAC5C,IAAI,WAAW,KAAK,IAAI,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;QAC5D,OAAO,MAAM,CAAC,qBAAqB,EAAE,EAAE,EAAE,mCAAmC,CAAC,CAAC;IAChF,CAAC;IAED,+EAA+E;IAC/E,+EAA+E;IAC/E,+EAA+E;IAC/E,0EAA0E;IAC1E,IAAI,QAAQ,KAAK,cAAc,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACxD,OAAO,MAAM,CACX,uBAAuB,EACvB,EAAE,EACF,0FAA0F,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CACxH,CAAC;IACJ,CAAC;IAED,OAAO;QACL,EAAE;QACF,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,IAAI,EAAE,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;QAC5C,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,KAAe;QAC/C,QAAQ,EAAE,WAAW;QACrB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,UAAU;QACV,KAAK;KACN,CAAC;AACJ,CAAC;AAeD,SAAS,aAAa,CAAC,GAAY,EAAE,KAAa,EAAE,GAAgB;IAClE,MAAM,eAAe,GAAG,UAAU,KAAK,GAAG,CAAC;IAC3C,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAE,OAAe,EAAE,MAAc,EAAQ,EAAE;QAC5E,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,iBAAiB,EAAE,eAAe,EAAE,2BAA2B,OAAO,GAAG,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAEzB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5D,OAAO,MAAM,CAAC,mBAAmB,EAAE,eAAe,EAAE,0BAA0B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACxD,OAAO,MAAM,CAAC,mBAAmB,EAAE,eAAe,EAAE,wBAAwB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,MAAM,CACX,mBAAmB,EACnB,GAAG,IAAI,IAAI,EAAE,EAAE,EACf,iCAAiC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CACxD,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAa,IAAI,CAAC;IAChC,MAAM,OAAO,GAAG,GAAG,IAAI,IAAI,EAAE,IAAI,QAAQ,EAAE,CAAC;IAE5C,IAAI,GAAG,CAAC,YAAY,CAAC,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;QACzC,OAAO,MAAM,CACX,sBAAsB,EACtB,OAAO,EACP,mBAAmB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,uBAAuB,GAAG,CAAC,UAAU,EAAE,CAC5F,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CACX,yBAAyB,EACzB,OAAO,EACP,+BAA+B,MAAM,CAAC,UAAU,CAAC,EAAE,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,GAAG,GAAG,CAAC,iBAAiB,EAAE,CAAC;QACvC,OAAO,MAAM,CACX,0BAA0B,EAC1B,OAAO,EACP,WAAW,UAAU,6BAA6B,GAAG,CAAC,iBAAiB,EAAE,CAC1E,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC;IAC3C,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,2EAA2E;QAC3E,yEAAyE;QACzE,uCAAuC;QACvC,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,aAAa,KAAK,EAAE,EAAE,CAAC;YAC9D,OAAO,MAAM,CAAC,yBAAyB,EAAE,OAAO,EAAE,uCAAuC,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;SAAM,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QACjE,OAAO,MAAM,CACX,yBAAyB,EACzB,OAAO,EACP,uDAAuD,UAAU,EAAE,CACpE,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;IACxC,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACzE,OAAO,MAAM,CAAC,oBAAoB,EAAE,OAAO,EAAE,oCAAoC,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,aAAa,GAAG,CAAC,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,MAAM,CAAC,oBAAoB,EAAE,OAAO,EAAE,sCAAsC,aAAa,EAAE,CAAC,CAAC;IACtG,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC;IACxC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC,iBAAiB,EAAE,OAAO,EAAE,sCAAsC,CAAC,CAAC;IACpF,CAAC;IAED,6EAA6E;IAC7E,6EAA6E;IAC7E,wDAAwD;IAExD,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI;QAC7B,CAAC,MAAM,EAAE,IAAI,CAAC;QACd,CAAC,IAAI,EAAE,EAAE,CAAC;KACF,EAAE,CAAC;QACX,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,SAAS;QACrE,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrC,OAAO,MAAM,CACX,uBAAuB,EACvB,OAAO,EACP,GAAG,IAAI,SAAS,QAAQ,qCAAqC,CAC9D,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CACX,wBAAwB,EACxB,OAAO,EACP,GAAG,IAAI,SAAS,QAAQ,qHAAqH,CAC9I,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,8EAA8E;IAC9E,gFAAgF;IAEhF,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;QACjC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,OAAO;QACL,IAAI;QACJ,EAAE;QACF,IAAI,EAAE,QAAQ;QACd,UAAU;QACV,UAAU;QACV,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,CAAC,OAAO,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC;AASD;;;;;;;;;GASG;AACH,SAAS,mBAAmB,CAC1B,GAAY,EACZ,KAAa,EACb,GAAsB;IAEtB,MAAM,OAAO,GAAG,gBAAgB,KAAK,GAAG,CAAC;IACzC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAQ,EAAE;QACtC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,2BAA2B,OAAO,GAAG,EAAE,CAAC,CAAC;IAE3E,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;IACrC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,gCAAgC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;IACjC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC,6CAA6C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC;IACnC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACtD,OAAO,MAAM,CAAC,sCAAsC,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,gFAAgF,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,GAAG,CAAC,YAAY,CAAC,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC,sCAAsC,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;IACjC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,+BAA+B,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,OAAO;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;IACjC,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAK,IAAe,GAAG,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,MAAM,CAAC,yCAAyC,CAAC,CAAC;IAC3D,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,2EAA2E;IAC3E,qEAAqE;IACrE,0EAA0E;IAC1E,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC;IACxC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,sCAAsC,CAAC,CAAC;QAE5E,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;QACrC,IACE,SAAS,KAAK,SAAS;YACvB,SAAS,KAAK,IAAI;YAClB,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,EAAE,CAAC,EACnD,CAAC;YACD,OAAO,MAAM,CACX,wEAAwE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CACpG,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC;QAC3C,IACE,YAAY,KAAK,SAAS;YAC1B,CAAE,sBAA6C,CAAC,QAAQ,CAAC,YAAY,CAAC,EACtE,CAAC;YACD,OAAO,MAAM,CACX,qCAAqC,IAAI,CAAC,SAAS,CAAC,sBAAsB,CAAC,sBAAsB,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAChI,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,UAAU;QACV,QAAQ;QACR,SAAS;QACT,IAAI,EAAE,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;QAC5C,IAAI,EAAE,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;QAC5C,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,MAAM;QACN,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAA0C,EAAE,CAAC;KACtF,CAAC;AACJ,CAAC"}