@elaraai/e3-ui 1.0.98 → 1.0.99

package/dist/src/plan/nested-checks.js

@@ -0,0 +1,468 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { reifyAccessor } from "@elaraai/east-ui/internal";
+import { drawsAsStored, planNestedSeriesFacts, planSeriesNestOf, } from "./series.js";
+/** A struct type's fields. */
+function fieldsOf(type) {
+    return type?.type === "Struct" ? type.fields : undefined;
+}
+/** The one name a marker's struct holds; none for the empty struct. */
+function nameOf(type) {
+    const fields = fieldsOf(type);
+    return fields === undefined ? undefined : Object.keys(fields)[0];
+}
+/** Each collection's declaration, by its field, from the marker the binding's type carries. */
+function collectionsOf(marker) {
+    return new Map(Object.entries(fieldsOf(marker) ?? {}).map(([field, declared]) => [field, declarationOf(declared)]));
+}
+/** One collection's declaration, from its marker. */
+function declarationOf(marker) {
+    const fields = fieldsOf(marker) ?? {};
+    const items = fieldsOf(fields.items);
+    if (items !== undefined) {
+        const times = items.at !== undefined ? { at: nameOf(items.at) } : { from: nameOf(items.from), to: nameOf(items.to) };
+        return { kind: "items", times, rollup: items.rollup !== undefined };
+    }
+    if (fields.values !== undefined) {
+        const rollups = fieldsOf(fieldsOf(fields.values)?.rollup) ?? {};
+        return {
+            kind: "values",
+            rollups: Object.entries(rollups).flatMap(([fold, aggregates]) => Object.keys(fieldsOf(aggregates) ?? {}).map((aggregate) => ({ fold, aggregate }))),
+        };
+    }
+    if (fields.rows !== undefined)
+        return { kind: "rows", collections: collectionsOf(fields.rows) };
+    return { kind: "recursive" };
+}
+/**
+ * Reads a source's nested series index at build, from its binding's nested
+ * part's type (`Data.bindPaged(record, { indexes })`): its name, each
+ * collection's place, what it holds, its times and its rollups, its tile and
+ * its summary's.
+ *
+ * @param nested - The nested part's type, as the binding's type, or its Slice's `rows` source's, holds it
+ * @returns The index's declaration; `undefined` for a binding listing none
+ */
+export function planNestedIndex(nested) {
+    if (nested?.type !== "Variant")
+        return undefined;
+    const part = fieldsOf(nested.cases.some);
+    const name = nameOf(part?.index);
+    if (part === undefined || name === undefined)
+        return undefined;
+    return { name, tile: nameOf(part.tile), summary: nameOf(part.summary), collections: collectionsOf(part.collections) };
+}
+/**
+ * The nested part a Plan's rows source carries in its type: an indexed
+ * binding's own (`Data.bindPaged(record, { indexes })` as `data`), or a
+ * Slice's `rows` source's.
+ *
+ * @param source - The `data` prop's East type, or the Slice handle's
+ * @returns The nested part's type; `undefined` for a source carrying none
+ */
+export function nestedPartOf(source) {
+    const fields = fieldsOf(source);
+    if (fields === undefined)
+        return undefined;
+    if (fields.defaultIndex !== undefined && fields.nested !== undefined)
+        return fields.nested;
+    const rows = fieldsOf(fieldsOf(fields.sources)?.rows);
+    return rows?.nested;
+}
+/** East's IR variants: what the walk treats as a node, and nothing else. */
+const IR_NODES = new Set([
+    "Error", "TryCatch", "Value", "Variable", "Let", "Assign", "As", "Function", "AsyncFunction", "Call", "CallAsync",
+    "NewRef", "NewArray", "NewSet", "NewDict", "NewVector", "NewMatrix", "Struct", "GetField", "Variant", "Block",
+    "IfElse", "Match", "UnwrapRecursive", "WrapRecursive", "While", "ForArray", "ForSet", "ForDict", "Return",
+    "Continue", "Break", "Builtin", "Platform",
+]);
+/** A node's own properties that hold no IR: its type, its location, its type arguments, a loop's label. */
+const NOT_IR = new Set(["type", "loc_id", "type_parameters", "label"]);
+/** Whether a value is an IR node. */
+function isNode(x) {
+    return typeof x === "object" && x !== null && typeof x.type === "string"
+        && IR_NODES.has(x.type) && typeof x.value === "object";
+}
+/** A variable's name. */
+function variableName(x) {
+    return isNode(x) && x.type === "Variable" ? x.value.name : undefined;
+}
+/** Whether a node is the row: a variable holding it, its node unwrapped, or it cast. */
+function isRow(x, rows) {
+    if (!isNode(x))
+        return false;
+    if (x.type === "Variable")
+        return rows.has(x.value.name);
+    if (x.type === "UnwrapRecursive" || x.type === "As")
+        return isRow(x.value.value, rows);
+    return false;
+}
+/** The first finding of a list of walks. */
+function firstOf(xs, walk) {
+    for (const x of xs) {
+        const found = walk(x);
+        if (found !== undefined)
+            return found;
+    }
+    return undefined;
+}
+/** The IR nodes a value holds: itself, or those of an array or a plain object of them (a struct's fields, a match's cases). */
+function nodesIn(x) {
+    if (isNode(x))
+        return [x];
+    if (Array.isArray(x))
+        return x.flatMap(nodesIn);
+    if (typeof x === "object" && x !== null)
+        return Object.values(x).flatMap(nodesIn);
+    return [];
+}
+/**
+ * Walks a node for a read of one of `fields` on the row, or a call the walk
+ * cannot follow given the row.
+ *
+ * @param node - The node
+ * @param rows - The variables holding the row, in scope
+ * @param fields - The fields a page of lean rows carries empty
+ * @returns What it found; `undefined` for nothing
+ */
+function walk(node, rows, fields) {
+    if (!isNode(node))
+        return undefined;
+    const value = node.value;
+    switch (node.type) {
+        case "GetField":
+            if (isRow(value.struct, rows) && fields.has(value.field))
+                return { kind: "reads", field: value.field };
+            return walk(value.struct, rows, fields);
+        case "Platform": {
+            const args = value.arguments;
+            if (args.some((arg) => isRow(arg, rows)))
+                return { kind: "opaque" };
+            return firstOf(args, (arg) => walk(arg, rows, fields));
+        }
+        case "Call":
+        case "CallAsync": {
+            const fn = value.function;
+            const args = value.arguments;
+            const found = firstOf(args, (arg) => walk(arg, rows, fields));
+            if (found !== undefined)
+                return found;
+            // An East function called in place is followed into, each parameter given the row holding it.
+            if (isNode(fn) && (fn.type === "Function" || fn.type === "AsyncFunction")) {
+                const params = fn.value.parameters.map(variableName);
+                const inner = new Set([...rows].filter((name) => !params.includes(name)));
+                params.forEach((param, i) => { if (param !== undefined && isRow(args[i], rows))
+                    inner.add(param); });
+                return walk(fn.value.body, inner, fields);
+            }
+            // Any other function given the row is one the walk cannot see into.
+            if (args.some((arg) => isRow(arg, rows)))
+                return { kind: "opaque" };
+            return walk(fn, rows, fields);
+        }
+        case "Function":
+        case "AsyncFunction": {
+            // A function's own parameters shadow the row's names; what it captures keeps them.
+            const params = value.parameters.map(variableName);
+            return walk(value.body, new Set([...rows].filter((name) => !params.includes(name))), fields);
+        }
+        case "Block": {
+            // A variable bound to the row holds it for the statements after.
+            const scope = new Set(rows);
+            for (const statement of value.statements) {
+                const found = walk(statement, scope, fields);
+                if (found !== undefined)
+                    return found;
+                if (isNode(statement) && statement.type === "Let" && isRow(statement.value.value, scope)) {
+                    const name = variableName(statement.value.variable);
+                    if (name !== undefined)
+                        scope.add(name);
+                }
+            }
+            return undefined;
+        }
+        default:
+            return firstOf(Object.entries(value).filter(([key]) => !NOT_IR.has(key)).flatMap(([, held]) => nodesIn(held)), (held) => walk(held, rows, fields));
+    }
+}
+/**
+ * Walks a function of the row (#1435) for a read of one of `fields` — the
+ * collections a page of lean rows carries empty — or a call the walk cannot
+ * follow given the row.
+ *
+ * @param rowType - The entry type
+ * @param keyType - Its key type
+ * @param fn - The function of the row (its node, when recursive) and its key
+ * @param fields - The fields a page of lean rows carries empty
+ * @returns What it found; `undefined` for nothing
+ */
+function findInFunction(rowType, keyType, fn, fields) {
+    const recursive = rowType.type === "Recursive";
+    const node = (row) => (recursive ? row.unwrap() : row);
+    const built = reifyAccessor([rowType, keyType], (row, key) => fn(node(row), key));
+    const ir = built.toIR().ir;
+    if (!isNode(ir))
+        return undefined;
+    const param = variableName(ir.value.parameters[0]);
+    return param === undefined ? undefined : walk(ir.value.body, new Set([param]), fields);
+}
+/** A place as a refusal names it: `"measures.readings"`. */
+const placeOf = (place) => place.join(".");
+/** Times as code: `{ from: "start", to: "end" }`. */
+const timesCode = (times) => ("at" in times ? `{ at: "${times.at}" }` : `{ from: "${times.from}", to: "${times.to}" }`);
+/** Times in words: `from "start" to "end"`. */
+const timesWords = (times) => ("at" in times ? `at "${times.at}"` : `from "${times.from}" to "${times.to}"`);
+/** A rollup in words: `sum`, or `{ fold: "sum", aggregate: "mean" }`. */
+const rollupWords = (r) => (r.fold === r.aggregate ? r.fold : `{ fold: "${r.fold}", aggregate: "${r.aggregate}" }`);
+/** A rollup as code: `"sum"`, or `{ fold: "sum", aggregate: "mean" }`. */
+const rollupCode = (r) => (r.fold === r.aggregate ? `"${r.fold}"` : `{ fold: "${r.fold}", aggregate: "${r.aggregate}" }`);
+/** Names in words: `"jobs", "stops" and "load"`. */
+const namesWords = (names) => names.length <= 1 ? names.map((n) => `"${n}"`).join("")
+    : `${names.slice(0, -1).map((n) => `"${n}"`).join(", ")} and "${names[names.length - 1]}"`;
+/** How an index declares a collection, as code. */
+function declarationCode(d) {
+    switch (d.kind) {
+        case "items": return `items(${timesCode(d.times)}${d.rollup ? ", { rollup: true }" : ""})`;
+        case "values": return d.rollups.length === 0 ? "values()" : `values({ rollup: [${d.rollups.map(rollupCode).join(", ")}] })`;
+        case "rows": return "rows({ … })";
+        case "recursive": return "recursive()";
+    }
+}
+/** The builder a read by name asks of the index. */
+function builderFor(use) {
+    if (use.read?.read.kind === "items")
+        return `items(${timesCode(use.read.read.times)})`;
+    if (use.kind === "values")
+        return "values()";
+    if (use.kind === "rows")
+        return "rows({ … })";
+    return "recursive()";
+}
+/** A series' element fields that draw things people drag: what a read of items gives. */
+const ITEM_FIELDS = new Set(["runs", "decisions", "events", "chips", "marks"]);
+/** Its element fields that draw a value an instant: what a read of values gives. */
+const VALUE_FIELDS = new Set(["ports", "markers"]);
+/** Its fields that consume values: cells, a strip's summary, a table's positions, a chart's layers. */
+const CONSUMER_FIELDS = new Set(["cells", "summary", "series", "layers"]);
+/** The fields a page of lean rows carries empty at a level: the items and values the index declares there; every Dict and Array field with no index. */
+function emptiedAt(rowType, level, index) {
+    if (index !== undefined) {
+        return new Set([...(level.collections ?? new Map()).entries()].filter(([, d]) => d.kind === "items" || d.kind === "values").map(([field]) => field));
+    }
+    const node = rowType.type === "Recursive" ? rowType.node : rowType;
+    const fields = fieldsOf(node) ?? {};
+    return new Set(Object.entries(fields).filter(([, t]) => t.type === "Dict" || t.type === "Array").map(([field]) => field));
+}
+/**
+ * Refuses a series' functions of the row that map a collection a page of its
+ * rows carries empty, or call a function the walk cannot see into.
+ */
+function checkFunctions(facts, level, context) {
+    const nest = facts.nest;
+    if (nest?.rowType === undefined)
+        return;
+    const fields = emptiedAt(nest.rowType, level, context.index);
+    const functions = [...nest.accessors, ...nest.steps.flatMap((step, i) => (step.of !== undefined ? [{ via: `children[${i}]`, fn: step.of }] : []))];
+    for (const { via, fn } of functions) {
+        const found = findInFunction(nest.rowType, nest.keyType, fn, fields);
+        if (found === undefined)
+            continue;
+        if (found.kind === "opaque") {
+            throw new Error(`Plan: series "${facts.key}"'s ${via} calls a function the Plan cannot see into, and its rows are paged without ` +
+                `${namesWords([...fields])} — read the row's own fields in ${via}`);
+        }
+        const declared = level.collections?.get(found.field);
+        const element = via.replace(/\[\d+\]$/, "");
+        if (context.index !== undefined && declared !== undefined) {
+            const give = declared.kind === "items" && ITEM_FIELDS.has(element) ? `give ${via} as Plan.items("${found.field}", ${timesCode(declared.times)}, (item) => ({ … }))`
+                : declared.kind === "values" && VALUE_FIELDS.has(element) ? `give ${via} as Plan.values("${found.field}", (value) => ({ … }))`
+                    : declared.kind === "values" && CONSUMER_FIELDS.has(element) ? `give ${via} through Plan.values("${found.field}", draw)`
+                        : `read the row's own fields in ${via}`;
+            throw new Error(`Plan: series "${facts.key}" reads "${found.field}" in a function (${via}), and its rows are paged — a page carries each ` +
+                `row without its collections: ${give}`);
+        }
+        throw new Error(`Plan: series "${facts.key}" reads "${found.field}" in a function (${via}), and its rows are paged — a row's collections are ` +
+            `read a cell at a time: ${ITEM_FIELDS.has(element) ? `give ${via} as Plan.items("${found.field}", { from, to }, (item) => ({ … })), and ` : ""}` +
+            `declare index.nested({ collections: { ${found.field}: index.nested.items({ from, to }) }, tile, summary }) ` +
+            "and list it in Data.bindPaged(record, { indexes })");
+    }
+}
+/**
+ * What a series reads by name at a level, and the series it steps down to
+ * and lists, each at its own level: a read with its subtotal and its rollup,
+ * a tree's field, a step-down's rows.
+ */
+function usesOf(facts, level, stepAggregate, out, context) {
+    const nest = facts.nest;
+    if (nest === undefined)
+        return;
+    checkFunctions(facts, level, context);
+    const at = (field) => ({ place: [...level.place, field], declared: level.collections?.get(field) });
+    for (const read of facts.reads) {
+        if (read.read.kind === "items") {
+            // A span's runs roll up into its bands where it has children or declares a rollup.
+            out.push({
+                series: facts.key, ...at(read.field), field: read.field, read, kind: "items", subtotal: undefined,
+                rolledUp: facts.arm === "span" && read.via === "runs" ? nest.rollup : undefined, rowType: nest.rowType,
+            });
+            continue;
+        }
+        // Its values are subtotalled where a parent derives its numbers from them: a step-down's by the parent's
+        // aggregate, a tree's own by the series' — each by the fold its consumer folds them by.
+        const aggregate = stepAggregate ?? (nest.tree !== undefined && nest.subtotalsOwn ? nest.aggregate : undefined);
+        const flaggedAny = facts.reads.some((r) => r.flagged === true);
+        const feeds = stepAggregate !== undefined || !flaggedAny || read.flagged === true;
+        const subtotal = aggregate !== undefined && read.fold !== undefined && feeds ? { fold: read.fold, aggregate } : undefined;
+        out.push({ series: facts.key, ...at(read.field), field: read.field, read, kind: "values", subtotal, rolledUp: undefined, rowType: nest.rowType });
+    }
+    if (nest.tree !== undefined) {
+        out.push({ series: facts.key, ...at(nest.tree), field: nest.tree, read: undefined, kind: "recursive", subtotal: undefined, rolledUp: undefined, rowType: nest.rowType });
+    }
+    const nested = planNestedSeriesFacts(nest);
+    for (const member of nested.members)
+        usesOf(member, level, undefined, out, context);
+    // A parent that is no tree derives its numbers from a step-down's by its aggregate.
+    const childAggregate = nest.tree === undefined ? nest.aggregate : undefined;
+    for (const step of nested.steps) {
+        if (step.field === undefined)
+            continue;
+        const { place, declared } = at(step.field);
+        out.push({ series: facts.key, place, declared, field: step.field, read: undefined, kind: "rows", subtotal: undefined, rolledUp: undefined, rowType: nest.rowType });
+        const child = { place, collections: declared?.kind === "rows" ? declared.collections : undefined };
+        for (const series of step.series)
+            usesOf(series, child, childAggregate, out, context);
+    }
+}
+/** Refuses a read by name the index does not serve as it is written. */
+function checkUse(use, index) {
+    const place = placeOf(use.place);
+    const series = `Plan: series "${use.series}"`;
+    const declared = use.declared;
+    if (declared === undefined) {
+        throw new Error(`${series} reads "${place}", and the rows source's nested series index "${index.name}" does not declare it — declare it: ` +
+            `collections: { ${use.field}: index.nested.${builderFor(use)} }`);
+    }
+    if (use.kind === "items") {
+        if (declared.kind !== "items") {
+            throw new Error(`${series} reads "${place}" as items, and "${index.name}" declares it ${declarationCode(declared)} — ` +
+                (declared.kind === "values" ? `read it with Plan.values("${use.field}", draw)` : "read it as it is declared"));
+        }
+        const times = use.read.read.times;
+        if (timesCode(times) !== timesCode(declared.times)) {
+            throw new Error(`${series} reads "${place}" ${timesWords(times)}, and "${index.name}" files it ${timesWords(declared.times)} — name the times it is filed by`);
+        }
+        if (use.rolledUp !== undefined && !declared.rollup) {
+            throw new Error(`${series} rolls its children's runs up by ${use.rolledUp}, and "${index.name}" files "${place}" under no parent — declare it ` +
+                `index.nested.items(${timesCode(declared.times)}, { rollup: true })`);
+        }
+        return;
+    }
+    if (use.kind === "values") {
+        if (declared.kind !== "values") {
+            throw new Error(`${series} reads "${place}" as values, and "${index.name}" declares it ${declarationCode(declared)} — ` +
+                (declared.kind === "items" ? `read it with Plan.items("${use.field}", ${timesCode(declared.times)}, draw)` : "read it as it is declared"));
+        }
+        const subtotal = use.subtotal;
+        if (subtotal === undefined)
+            return;
+        // A count is the index's count, whatever its values fold to; any other subtotal is a rollup it keeps.
+        const kept = subtotal.aggregate === "count"
+            ? declared.rollups.some((r) => r.aggregate === "count")
+            : declared.rollups.some((r) => r.fold === subtotal.fold && r.aggregate === subtotal.aggregate);
+        if (!kept) {
+            if (declared.rollups.length === 0) {
+                throw new Error(`${series} subtotals "${place}" by ${rollupWords(subtotal)}, and "${index.name}" keeps no subtotals of it — declare it ` +
+                    `index.nested.values({ rollup: ${rollupCode(subtotal)} })`);
+            }
+            const words = declared.rollups.map(rollupWords);
+            throw new Error(`${series} subtotals "${place}" by ${rollupWords(subtotal)}, and "${index.name}" keeps it by ${words.join(" and ")} — add the ` +
+                `rollup: index.nested.values({ rollup: [${[...declared.rollups.map(rollupCode), rollupCode(subtotal)].join(", ")}] }), or subtotal it by ${words[0]}`);
+        }
+        if (use.rowType !== undefined && !drawsAsStored(use.rowType, use.read.read, `Plan: series "${use.series}"`)) {
+            throw new Error(`${series} subtotals "${place}", and its cells draw another number than each value of it — e3 keeps the subtotals ` +
+                "of the values as stored: draw value: some(v), and show it another way through format");
+        }
+        return;
+    }
+    if (use.kind === "rows" && declared.kind !== "rows") {
+        throw new Error(`${series} steps down to "${place}"'s child rows, and "${index.name}" declares it ${declarationCode(declared)} — read it as it is declared`);
+    }
+    if (use.kind === "recursive" && declared.kind !== "recursive") {
+        throw new Error(`${series} reads "${place}" as more rows of its own, and "${index.name}" declares it ${declarationCode(declared)} — read it as it is declared`);
+    }
+}
+/** The levels a time axis offers, finest first: a tile's, and the hour below every tile. */
+const LEVELS = ["hour", "day", "week", "month", "quarter", "year"];
+/**
+ * Refuses a resolution the axis offers finer than the index keeps its
+ * subtotals from: `hour`, finer than every tile; `auto`, as each unit it may
+ * show — the day, the week and the month.
+ */
+function checkResolutions(series, index, resolutions) {
+    const tile = LEVELS.indexOf(index.tile);
+    for (const resolution of resolutions) {
+        const shown = resolution === "auto" ? ["day", "week", "month"] : [resolution];
+        const finer = shown.find((level) => LEVELS.indexOf(level) >= 0 && LEVELS.indexOf(level) < tile);
+        if (finer === undefined)
+            continue;
+        const shows = resolution === "auto" ? ", which auto shows," : ",";
+        const remedy = finer === "hour" ? `drop "${resolution}" from the axis's resolutions` : `declare tile: "${finer}", or drop "${resolution}" from the axis's resolutions`;
+        throw new Error(`Plan: series "${series}" subtotals its children at ${finer} resolution${shows} and "${index.name}" keeps its subtotals from ` +
+            `${index.tile} up — ${remedy}`);
+    }
+}
+/**
+ * Holds a Plan's series over paged rows to its rows' nested series index, as
+ * the Plan is built (#1435): every series a `Plan.series.*` builder made, in
+ * place or held in a variable, its step-downs' and its members' too. An East
+ * expression of a series list is held to it as nothing here: what it reads is
+ * known only as it runs.
+ *
+ * @param series - The `series` input
+ * @param context - The rows source's nested series index, and the axis
+ * @returns What the series read, each held to the index: what a Plan reads of it a cell at a time (#1438); none for an
+ *   East expression of a series list
+ * @throws {Error} The first refusal, in its words: a function mapping a collection of the paged rows, or one the Plan
+ *   cannot see into; a read by name with no nested series index; a read of a collection the index does not declare, by
+ *   other times than it files by, or as values where it declares items or items where values; a subtotal by a rollup it
+ *   does not keep, of values drawn as another number, or at a resolution finer than its tile; runs rolled up that it
+ *   files under no parent; a read by name on an axis other than time; and an index keeping no totals
+ */
+export function checkPlanNested(series, context) {
+    if (!Array.isArray(series))
+        return [];
+    const { index } = context;
+    const top = { place: [], collections: index?.collections };
+    const uses = [];
+    for (const one of series) {
+        const facts = planSeriesNestOf(one);
+        if (facts !== undefined)
+            usesOf(facts, top, undefined, uses, context);
+    }
+    const byName = uses.filter((use) => use.kind === "items" || use.kind === "values");
+    const first = byName[0];
+    if (first === undefined)
+        return uses;
+    if (index === undefined) {
+        throw new Error(`Plan: series "${first.series}" reads "${placeOf(first.place)}" a cell at a time, and the rows source lists no nested series ` +
+            `index — declare index.nested({ collections: { ${first.field}: index.nested.${builderFor(first)} }, ` +
+            "tile, summary }) and list it in Data.bindPaged(record, { indexes })");
+    }
+    if (context.axisKind !== undefined && context.axisKind !== "time") {
+        throw new Error(`Plan: series "${first.series}" reads "${placeOf(first.place)}" a cell at a time, which e3 files in time, and this is ` +
+            `${context.axisKind === "number" ? "a number" : "an ordinal"} axis — bind the rows whole, or use a time axis`);
+    }
+    for (const use of uses)
+        checkUse(use, index);
+    if (index.summary === undefined) {
+        throw new Error(`Plan: "${index.name}" keeps no totals — the Plan draws a view's items while they number 10,000 or fewer, and the ` +
+            'totals\' shading past that: declare summary: "month"');
+    }
+    const subtotalled = uses.find((use) => use.subtotal !== undefined);
+    if (subtotalled !== undefined && context.resolutions !== undefined)
+        checkResolutions(subtotalled.series, index, context.resolutions);
+    return uses;
+}
+//# sourceMappingURL=nested-checks.js.map

package/dist/src/plan/nested-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nested-checks.js","sourceRoot":"","sources":["../../../src/plan/nested-checks.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA2BH,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,EACH,aAAa,EAAE,qBAAqB,EAAE,gBAAgB,GAEzD,MAAM,aAAa,CAAC;AA2CrB,8BAA8B;AAC9B,SAAS,QAAQ,CAAC,IAA0B;IACxC,OAAO,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAA4C,CAAC,CAAC,CAAC,SAAS,CAAC;AACnG,CAAC;AAED,uEAAuE;AACvE,SAAS,MAAM,CAAC,IAA0B;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,+FAA+F;AAC/F,SAAS,aAAa,CAAC,MAA4B;IAC/C,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACxH,CAAC;AAED,qDAAqD;AACrD,SAAS,aAAa,CAAC,MAAgB;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,KAAK,GAAoB,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAE,EAAE,CAAC;QACzI,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;IACxE,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAChE,OAAO;YACH,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;SACtJ,CAAC;IACN,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAChG,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,MAA4B;IACxD,IAAI,MAAM,EAAE,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAE,MAAM,CAAC,KAA4C,CAAC,IAAI,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAE,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;AAC3H,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,MAA4B;IACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC;IAC3F,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACtD,OAAO,IAAI,EAAE,MAAM,CAAC;AACxB,CAAC;AAeD,4EAA4E;AAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACrB,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW;IACjH,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO;IAC7G,QAAQ,EAAE,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ;IACzG,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU;CAC7C,CAAC,CAAC;AAEH,2GAA2G;AAC3G,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvE,qCAAqC;AACrC,SAAS,MAAM,CAAC,CAAU;IACtB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAQ,CAAwB,CAAC,IAAI,KAAK,QAAQ;WACzF,QAAQ,CAAC,GAAG,CAAE,CAAsB,CAAC,IAAI,CAAC,IAAI,OAAQ,CAAyB,CAAC,KAAK,KAAK,QAAQ,CAAC;AAC9G,CAAC;AAED,yBAAyB;AACzB,SAAS,YAAY,CAAC,CAAU;IAC5B,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAc,CAAC,CAAC,CAAC,SAAS,CAAC;AACnF,CAAC;AAED,wFAAwF;AACxF,SAAS,KAAK,CAAC,CAAU,EAAE,IAAyB;IAChD,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAc,CAAC,CAAC;IACnE,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACvF,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,4CAA4C;AAC5C,SAAS,OAAO,CAAI,EAAgB,EAAE,IAAiC;IACnE,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IAC1C,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,+HAA+H;AAC/H,SAAS,OAAO,CAAC,CAAU;IACvB,IAAI,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClF,OAAO,EAAE,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,IAAI,CAAC,IAAa,EAAE,IAAyB,EAAE,MAA2B;IAC/E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,UAAU;YACX,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAe,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAe,EAAE,CAAC;YAC3H,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5C,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,KAAK,CAAC,SAA+B,CAAC;YACnD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACpE,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC;YAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,SAA+B,CAAC;YACnD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC9D,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YACtC,8FAA8F;YAC9F,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,CAAC;gBACxE,MAAM,MAAM,GAAI,EAAE,CAAC,KAAK,CAAC,UAAiC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACrG,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC9C,CAAC;YACD,oEAAoE;YACpE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACpE,OAAO,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,eAAe,CAAC,CAAC,CAAC;YACnB,mFAAmF;YACnF,MAAM,MAAM,GAAI,KAAK,CAAC,UAAiC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAC1E,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACjG,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,iEAAiE;YACjE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5B,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAgC,EAAE,CAAC;gBAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC7C,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;gBACtC,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;oBACvF,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;oBACpD,IAAI,IAAI,KAAK,SAAS;wBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC5C,CAAC;YACL,CAAC;YACD,OAAO,SAAS,CAAC;QACrB,CAAC;QACD;YACI,OAAO,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EACzG,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,cAAc,CAAC,OAAiB,EAAE,OAAiB,EAAE,EAAkE,EAC5H,MAA2B;IAC3B,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,GAAuB,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,GAAmD,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5H,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,GAAuB,EAAE,GAAuB,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1H,MAAM,EAAE,GAAI,KAAgD,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;IACvE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,KAAK,GAAG,YAAY,CAAE,EAAE,CAAC,KAAK,CAAC,UAAiC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAC3F,CAAC;AAgDD,4DAA4D;AAC5D,MAAM,OAAO,GAAG,CAAC,KAAwB,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9D,qDAAqD;AACrD,MAAM,SAAS,GAAG,CAAC,KAAsB,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,IAAI,WAAW,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;AACzI,+CAA+C;AAC/C,MAAM,UAAU,GAAG,CAAC,KAAsB,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;AAC9H,yEAAyE;AACzE,MAAM,WAAW,GAAG,CAAC,CAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,kBAAkB,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC;AACtI,0EAA0E;AAC1E,MAAM,UAAU,GAAG,CAAC,CAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,kBAAkB,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC;AAC5I,oDAAoD;AACpD,MAAM,UAAU,GAAG,CAAC,KAAwB,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACpG,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC;AAC/F,mDAAmD;AACnD,SAAS,eAAe,CAAC,CAAwB;IAC7C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACb,KAAK,OAAO,CAAC,CAAC,OAAO,SAAS,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC3F,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;QAC5H,KAAK,MAAM,CAAC,CAAC,OAAO,aAAa,CAAC;QAClC,KAAK,WAAW,CAAC,CAAC,OAAO,aAAa,CAAC;IAC3C,CAAC;AACL,CAAC;AACD,oDAAoD;AACpD,SAAS,UAAU,CAAC,GAAmB;IACnC,IAAI,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;IACvF,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC;IAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,aAAa,CAAC;IAC9C,OAAO,aAAa,CAAC;AACzB,CAAC;AAED,yFAAyF;AACzF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAC/E,oFAAoF;AACpF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AACnD,uGAAuG;AACvG,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE1E,wJAAwJ;AACxJ,SAAS,SAAS,CAAC,OAAiB,EAAE,KAAY,EAAE,KAAkC;IAClF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACzJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,IAAgB,CAAC,CAAC,CAAC,OAAO,CAAC;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACpC,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9H,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,KAA0B,EAAE,KAAY,EAAE,OAA0B;IACxF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,IAAI,IAAI,EAAE,OAAO,KAAK,SAAS;QAAE,OAAO;IACxC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnJ,KAAK,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,SAAS,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QACrE,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,OAAO,GAAG,6EAA6E;gBAC7H,GAAG,UAAU,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,mCAAmC,GAAG,EAAE,CAAC,CAAC;QAC5E,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACxD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,mBAAmB,KAAK,CAAC,KAAK,MAAM,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,sBAAsB;gBAC/J,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,oBAAoB,KAAK,CAAC,KAAK,wBAAwB;oBAC9H,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,yBAAyB,KAAK,CAAC,KAAK,UAAU;wBACxH,CAAC,CAAC,gCAAgC,GAAG,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,YAAY,KAAK,CAAC,KAAK,oBAAoB,GAAG,kDAAkD;gBACtI,gCAAgC,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,YAAY,KAAK,CAAC,KAAK,oBAAoB,GAAG,sDAAsD;YAC1I,0BAA0B,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,mBAAmB,KAAK,CAAC,KAAK,2CAA2C,CAAC,CAAC,CAAC,EAAE,EAAE;YAChJ,yCAAyC,KAAK,CAAC,KAAK,yDAAyD;YAC7G,oDAAoD,CAAC,CAAC;IAC9D,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,MAAM,CAAC,KAA0B,EAAE,KAAY,EAAE,aAAiC,EAAE,GAAqB,EAAE,OAA0B;IAC1I,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO;IAC/B,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC5G,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7B,mFAAmF;YACnF,GAAG,CAAC,IAAI,CAAC;gBACL,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;gBACjG,QAAQ,EAAE,KAAK,CAAC,GAAG,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO;aACzG,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QACD,yGAAyG;QACzG,wFAAwF;QACxF,MAAM,SAAS,GAAG,aAAa,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/G,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,aAAa,KAAK,SAAS,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC;QAClF,MAAM,QAAQ,GAAG,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1H,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACtJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7K,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC3C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO;QAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACpF,oFAAoF;IACpF,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,SAAS;QACvC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACpK,MAAM,KAAK,GAAU,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;QAC1G,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAC1F,CAAC;AACL,CAAC;AAED,wEAAwE;AACxE,SAAS,QAAQ,CAAC,GAAmB,EAAE,KAAsB;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,iBAAiB,GAAG,CAAC,MAAM,GAAG,CAAC;IAC9C,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,WAAW,KAAK,iDAAiD,KAAK,CAAC,IAAI,sCAAsC;YACtI,kBAAkB,GAAG,CAAC,KAAK,kBAAkB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,WAAW,KAAK,oBAAoB,KAAK,CAAC,IAAI,iBAAiB,eAAe,CAAC,QAAQ,CAAC,KAAK;gBAClH,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,6BAA6B,GAAG,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC;QACvH,CAAC;QACD,MAAM,KAAK,GAAI,GAAG,CAAC,IAAK,CAAC,IAA4C,CAAC,KAAK,CAAC;QAC5E,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,WAAW,KAAK,KAAK,UAAU,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,IAAI,cAAc,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACnK,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,oCAAoC,GAAG,CAAC,QAAQ,UAAU,KAAK,CAAC,IAAI,YAAY,KAAK,iCAAiC;gBAC3I,sBAAsB,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC9E,CAAC;QACD,OAAO;IACX,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,WAAW,KAAK,qBAAqB,KAAK,CAAC,IAAI,iBAAiB,eAAe,CAAC,QAAQ,CAAC,KAAK;gBACnH,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,4BAA4B,GAAG,CAAC,KAAK,MAAM,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC;QACnJ,CAAC;QACD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;QAC9B,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO;QACnC,sGAAsG;QACtG,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,KAAK,OAAO;YACvC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC;YACvD,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,CAAC,CAAC;QACnG,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,eAAe,KAAK,QAAQ,WAAW,CAAC,QAAQ,CAAC,UAAU,KAAK,CAAC,IAAI,0CAA0C;oBACpI,iCAAiC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACpE,CAAC;YACD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,eAAe,KAAK,QAAQ,WAAW,CAAC,QAAQ,CAAC,UAAU,KAAK,CAAC,IAAI,iBAAiB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa;gBAC3I,0CAA0C,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/J,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAK,CAAC,IAA0B,EAAE,iBAAiB,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjI,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,eAAe,KAAK,sFAAsF;gBAC/H,sFAAsF,CAAC,CAAC;QAChG,CAAC;QACD,OAAO;IACX,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,mBAAmB,KAAK,wBAAwB,KAAK,CAAC,IAAI,iBAAiB,eAAe,CAAC,QAAQ,CAAC,8BAA8B,CAAC,CAAC;IACjK,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,WAAW,KAAK,mCAAmC,KAAK,CAAC,IAAI,iBAAiB,eAAe,CAAC,QAAQ,CAAC,8BAA8B,CAAC,CAAC;IACpK,CAAC;AACL,CAAC;AAED,4FAA4F;AAC5F,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAU,CAAC;AAE5E;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,MAAc,EAAE,KAAsB,EAAE,WAA8B;IAC5F,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAA6B,CAAC,CAAC;IACjE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAA8B,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAA8B,CAAC,GAAG,IAAI,CAAC,CAAC;QAClJ,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,GAAG,CAAC;QAClE,MAAM,MAAM,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,UAAU,+BAA+B,CAAC,CAAC,CAAC,kBAAkB,KAAK,eAAe,UAAU,+BAA+B,CAAC;QACvK,MAAM,IAAI,KAAK,CAAC,iBAAiB,MAAM,+BAA+B,KAAK,cAAc,KAAK,SAAS,KAAK,CAAC,IAAI,6BAA6B;YAC1I,GAAG,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,CAAC;IACxC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,eAAe,CAAC,MAAe,EAAE,OAA0B;IACvE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1B,MAAM,GAAG,GAAU,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAClE,MAAM,IAAI,GAAqB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,MAAM,YAAY,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,iEAAiE;YAC1I,iDAAiD,KAAK,CAAC,KAAK,kBAAkB,UAAU,CAAC,KAAK,CAAC,MAAM;YACrG,qEAAqE,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,MAAM,YAAY,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,0DAA0D;YACnI,GAAG,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,iDAAiD,CAAC,CAAC;IACvH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC,IAAI,+FAA+F;YAC/H,sDAAsD,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACnE,IAAI,WAAW,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS;QAAE,gBAAgB,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACrI,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/src/plan/nested-patch.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * A Save's patch over rows read beside their nested series index, restated by
+ * key (#1438). East's diff of a Dict whose every key went one way is one whole
+ * `replace`: a machine whose only job moves off it sends `replace { before: {
+ * j-42 }, after: {} }`, which conflicts with another planner's job added to it
+ * meanwhile. The Plan restates each collection the index lists as the
+ * operations a `replace` stands for, key by key — a `delete` of each key it
+ * held, an `insert` of each it holds, an `update` of each in both that changed
+ * — down through child rows, so a commit's patch names only the items and
+ * values it changed, and e3 checks each against what it was. A node of a
+ * recursive tree is a whole value to East's patches, so its update replaces it
+ * whole, by its key.
+ *
+ * @packageDocumentation
+ */
+import { type EastType, type FunctionExpr } from "@elaraai/east";
+import type { PlanNestedIndex } from "./nested-checks.js";
+/** A patch's restatement: `(PatchType(T)) → PatchType(T)`. */
+type Restatement = FunctionExpr<[EastType], EastType>;
+/**
+ * A Plan's batch over rows read beside their nested series index, each
+ * change's patch restated by key (see the module docs).
+ *
+ * @param entryType - The rows' type
+ * @param keyType - Their key's type
+ * @param index - The nested series index the rows are read beside
+ * @returns `(ChangeSet(R, K)) → ChangeSet(R, K)`; `undefined` where the index lists no collection a patch reaches by key
+ */
+export declare function planNestedRestatement(entryType: EastType, keyType: EastType, index: PlanNestedIndex): Restatement | undefined;
+export {};
+//# sourceMappingURL=nested-patch.d.ts.map

package/dist/src/plan/nested-patch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nested-patch.d.ts","sourceRoot":"","sources":["../../../src/plan/nested-patch.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAEH,KAAK,QAAQ,EAAiB,KAAK,YAAY,EAClD,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EAAyB,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEjF,8DAA8D;AAC9D,KAAK,WAAW,GAAG,YAAY,CAAC,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AA4FtD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,GAAG,WAAW,GAAG,SAAS,CA0B7H"}