@quereus/quereus 4.20.3 → 4.21.1

package/dist/src/planner/analysis/value-provenance.js

@@ -0,0 +1,416 @@
+import { FunctionFlags } from '../../common/constants.js';
+import { createLogger } from '../../common/logger.js';
+import { PhysicalType } from '../../types/logical-type.js';
+import { ANY_TYPE, BLOB_TYPE, TEXT_TYPE } from '../../types/builtin-types.js';
+import { buildCellCoercion } from '../../types/validation.js';
+import { PlanNodeType } from '../nodes/plan-node-type.js';
+import { classifyNonDetFunction } from './non-det-functions.js';
+import { planTimeLiteralValue } from './predicate-shape.js';
+import { sqlValueIdentical } from '../../util/comparison.js';
+const log = createLogger('planner:analysis:value-provenance');
+/**
+ * Operators that keep a `fresh` operand fresh: injective over the values a fresh source
+ * produces, so a unique input stays unique. Holds only when the fresh operand is the
+ * operator's single non-literal operand (`||` qualifies only against a literal).
+ *
+ * Only `hex` is injective over a blob. The others render a blob operand as text first,
+ * and that decode is non-fatal — invalid UTF-8 collapses to U+FFFD (`util/value-text.ts`)
+ * — so over a statically blob-typed fresh operand they yield `other`. A `cast`, and the
+ * planner's write coercion (otherwise looked through, like `collate`), keep `fresh` only
+ * across a lossless conversion: see {@link conversionKeepsFresh}.
+ *
+ * NOTE: `lower` / `upper` are injective only over single-case text — they are listed for
+ * the common `lower(hex(randomblob(16)))` id spelling. Revisit when a module needs another
+ * wrapper recognised, or a case-mixed fresh text source makes lowercasing lossy.
+ */
+export const FRESH_PRESERVING_WRAPPERS = {
+    functions: new Set(['hex', 'lower', 'upper']),
+    /** The subset of `functions` injective over a blob operand too. */
+    blobSafeFunctions: new Set(['hex']),
+    nodeTypes: new Set([PlanNodeType.Cast]),
+    binaryOperators: new Set(['||']),
+};
+/** `randomblob(n)` is fresh only for a literal n of at least this many bytes (128 bits). */
+const FRESH_RANDOMBLOB_MIN_BYTES = 16;
+const OTHER = { kind: 'other' };
+const RANK = {
+    literal: 0, input: 1, fresh: 2, volatile: 3, self: 4, other: 5,
+};
+const OPERATOR_NODE_TYPES = new Set([
+    PlanNodeType.UnaryOp, PlanNodeType.BinaryOp, PlanNodeType.CaseExpr, PlanNodeType.Cast, PlanNodeType.Between,
+]);
+/* --- Expression classification ------------------------------------------------ */
+/** Classify one scalar expression bottom-up against `env`. */
+export function classifyExpression(expr, env) {
+    switch (expr.nodeType) {
+        case PlanNodeType.Literal: {
+            const value = planTimeLiteralValue(expr);
+            return value === undefined ? { kind: 'literal' } : { kind: 'literal', value };
+        }
+        case PlanNodeType.ParameterReference:
+            return { kind: 'input', parameters: [expr.nameOrIndex], contexts: [] };
+        case PlanNodeType.ColumnReference:
+            return classifyColumnReference(expr, env);
+        case PlanNodeType.ScalarFunctionCall:
+            return classifyFunctionCall(expr, env);
+        case PlanNodeType.WriteCoercion:
+            return classifyWriteCoercion(expr, env);
+        case PlanNodeType.Collate:
+            // Identity on the value: only the comparison collation changes.
+            return classifyExpression(expr.operand, env);
+        case PlanNodeType.In:
+            return expr.source ? OTHER : classifyOperator(expr, env);
+        default:
+            // ScalarSubquery / Exists read other rows; anything else is undescribable.
+            return OPERATOR_NODE_TYPES.has(expr.nodeType) ? classifyOperator(expr, env) : OTHER;
+    }
+}
+/**
+ * The planner's conversion of an inserted cell to its column's declared type. The insert
+ * builder wraps nearly every cell in one, so it is not an operator (that would strip
+ * `value` from almost every inserted literal). A source already in table shape gets no
+ * wrap; `classifyInsertColumns` applies the same conversion rule for that path.
+ */
+function classifyWriteCoercion(node, env) {
+    const operand = classifyExpression(node.operand, env);
+    return afterWriteConversion(operand, node.operand.getType().logicalType, node.targetType.logicalType, node.columnName);
+}
+/**
+ * `provenance` of a value of static type `from` once the write converts it to a column of
+ * declared type `to` (`buildCellCoercion` — the insert path's write coercion and the
+ * UPDATE / DO UPDATE assignment conversion alike): a literal's `value` becomes its stored
+ * form, and a fresh value stays fresh only across a lossless conversion.
+ */
+function afterWriteConversion(provenance, from, to, columnName) {
+    switch (provenance.kind) {
+        case 'fresh':
+            return conversionKeepsFresh(from, to) ? provenance : OTHER;
+        case 'literal':
+            return provenance.value === undefined ? provenance : writtenLiteral(provenance.value, from, to, columnName);
+        default:
+            return provenance;
+    }
+}
+function writtenLiteral(value, from, to, columnName) {
+    const coerce = buildCellCoercion(from, to, columnName);
+    if (!coerce)
+        return { kind: 'literal', value };
+    try {
+        return { kind: 'literal', value: coerce(value) };
+    }
+    catch (e) {
+        // The write raises this same mismatch when the statement runs; until then there is
+        // no stored value to report.
+        log('literal for column %s does not convert to its declared type: %s', columnName, e instanceof Error ? e.message : String(e));
+        return { kind: 'literal' };
+    }
+}
+/**
+ * Whether converting a fresh value of static type `from` to `to` keeps it unique. Identity
+ * and text→blob (UTF-8 encoding) do; blob→text decodes non-fatally, and a numeric,
+ * temporal or JSON parse normalizes, so neither does. A source of unknown type (`ANY` —
+ * e.g. a function registered without a return type) is trusted on the registrant's promise.
+ *
+ * NOTE: so an untyped fresh function returning a blob, written to a text column, stays
+ * `fresh` although the decode is lossy. Revisit if `fresh: true` comes to require a
+ * declared return type.
+ */
+function conversionKeepsFresh(from, to) {
+    if (from === to || from === ANY_TYPE || to === ANY_TYPE)
+        return true;
+    if (to === TEXT_TYPE)
+        return from.physicalType === PhysicalType.TEXT;
+    if (to === BLOB_TYPE)
+        return from.physicalType === PhysicalType.TEXT || from.physicalType === PhysicalType.BLOB;
+    return false;
+}
+function classifyColumnReference(ref, env) {
+    const binding = env.attributes.get(ref.attributeId);
+    switch (binding?.kind) {
+        case 'self': return { kind: 'self', columns: [binding.column] };
+        case 'context': return { kind: 'input', parameters: [], contexts: [binding.name] };
+        // A column this write has not classified yet (a cycle the builder's topological
+        // ordering should make impossible) has no known provenance.
+        case 'new': return env.newColumns?.get(binding.column) ?? OTHER;
+        case 'value': return binding.provenance;
+        default: return OTHER;
+    }
+}
+function classifyFunctionCall(call, env) {
+    const schema = call.functionSchema;
+    const name = schema.name.toLowerCase();
+    if ((schema.flags & FunctionFlags.FRESH) !== 0)
+        return { kind: 'fresh', function: name };
+    if ((schema.flags & FunctionFlags.DETERMINISTIC) !== 0)
+        return classifyOperator(call, env);
+    if (name === 'randomblob' && isFreshRandomblobLength(call.operands))
+        return { kind: 'fresh', function: name };
+    // A volatile call is itself a volatile operand over its arguments.
+    const operands = call.operands.map(operand => classifyExpression(operand, env));
+    return combineOperands([{ kind: 'volatile', sources: [classifyNonDetFunction(name)] }, ...operands], false);
+}
+function isFreshRandomblobLength(operands) {
+    if (operands.length !== 1)
+        return false;
+    const n = planTimeLiteralValue(operands[0]);
+    return (typeof n === 'number' && Number.isInteger(n) && n >= FRESH_RANDOMBLOB_MIN_BYTES)
+        || (typeof n === 'bigint' && n >= BigInt(FRESH_RANDOMBLOB_MIN_BYTES));
+}
+function classifyOperator(expr, env) {
+    const children = expr.getChildren();
+    const operands = children.map(child => classifyExpression(child, env));
+    const freshIndex = operands.findIndex(p => p.kind === 'fresh');
+    return combineOperands(operands, freshIndex >= 0 && wrapperKeepsFresh(expr, children[freshIndex]));
+}
+/** Whether `expr` is a fresh-preserving wrapper over its operand `freshOperand`. */
+function wrapperKeepsFresh(expr, freshOperand) {
+    const operandType = freshOperand.getType().logicalType;
+    const isBlob = operandType.physicalType === PhysicalType.BLOB;
+    switch (expr.nodeType) {
+        case PlanNodeType.ScalarFunctionCall: {
+            const name = expr.functionSchema.name.toLowerCase();
+            return FRESH_PRESERVING_WRAPPERS.functions.has(name)
+                && (!isBlob || FRESH_PRESERVING_WRAPPERS.blobSafeFunctions.has(name));
+        }
+        case PlanNodeType.BinaryOp:
+            return !isBlob && FRESH_PRESERVING_WRAPPERS.binaryOperators.has(expr.expression.operator);
+        default:
+            return FRESH_PRESERVING_WRAPPERS.nodeTypes.has(expr.nodeType)
+                && conversionKeepsFresh(operandType, expr.getType().logicalType);
+    }
+}
+/**
+ * Combine an operator's operand provenances: the highest rank wins and the detail
+ * arrays of that kind are unioned. A computed constant drops its literal `value`.
+ * A fresh operand survives only through a fresh-preserving wrapper whose single
+ * non-literal operand it is; otherwise a non-injective function of a unique value is
+ * not unique, so the result is `other`.
+ */
+function combineOperands(operands, preservesFresh) {
+    const fresh = operands.find(p => p.kind === 'fresh');
+    if (fresh) {
+        const nonLiteral = operands.filter(p => p.kind !== 'literal');
+        return preservesFresh && nonLiteral.length === 1 ? fresh : OTHER;
+    }
+    return joinByRank(operands);
+}
+/** Highest-rank kind among `parts` (no `fresh` among them), with that kind's details unioned. */
+function joinByRank(parts) {
+    let top = 'literal';
+    for (const part of parts) {
+        if (RANK[part.kind] > RANK[top])
+            top = part.kind;
+    }
+    switch (top) {
+        case 'literal':
+            return { kind: 'literal' };
+        case 'input':
+            return {
+                kind: 'input',
+                parameters: unionDetails(parts, p => p.kind === 'input' ? p.parameters : [], String),
+                contexts: unionDetails(parts, p => p.kind === 'input' ? p.contexts : [], String),
+            };
+        case 'volatile':
+            return { kind: 'volatile', sources: unionDetails(parts, p => p.kind === 'volatile' ? p.sources : [], nonDetSourceKey) };
+        case 'self':
+            return { kind: 'self', columns: unionDetails(parts, p => p.kind === 'self' ? p.columns : [], String) };
+        default:
+            return OTHER;
+    }
+}
+function unionDetails(parts, pick, keyOf) {
+    const seen = new Map();
+    for (const part of parts) {
+        for (const item of pick(part)) {
+            const key = keyOf(item);
+            if (!seen.has(key))
+                seen.set(key, item);
+        }
+    }
+    return [...seen.values()];
+}
+function nonDetSourceKey(source) {
+    switch (source.kind) {
+        case 'volatileUdf': return `udf:${source.name}`;
+        case 'parameter': return `param:${String(source.index)}`;
+        default: return source.kind;
+    }
+}
+/**
+ * Join one column's cells across the rows of a multi-row VALUES. Not an operator: each
+ * row's value is written as is, so a column stays fresh only when every row draws from
+ * the same fresh source, and stays a literal with a `value` only when every row agrees.
+ */
+function joinRows(cells) {
+    if (cells.length === 1)
+        return cells[0];
+    if (cells.some(cell => cell.kind === 'fresh')) {
+        const first = cells[0];
+        return first.kind === 'fresh' && cells.every(cell => cell.kind === 'fresh' && cell.function === first.function)
+            ? first
+            : OTHER;
+    }
+    const joined = joinByRank(cells);
+    if (joined.kind === 'literal') {
+        const first = cells[0];
+        const value = first?.kind === 'literal' ? first.value : undefined;
+        const agree = value !== undefined
+            && cells.every(cell => cell.kind === 'literal' && cell.value !== undefined && sqlValueIdentical(cell.value, value));
+        return agree ? { kind: 'literal', value } : joined;
+    }
+    return joined;
+}
+/* --- Relational walk (INSERT source) ------------------------------------------- */
+/**
+ * Provenance of each output attribute of an INSERT source: walks the ProjectNode chain
+ * the insert builder stacks (row expansion, expression defaults, generated columns) down
+ * to a ValuesNode. A chain that bottoms out in any other relational node contributes
+ * nothing, so references into it classify `other`.
+ */
+function relationProvenance(rel, env) {
+    switch (rel.nodeType) {
+        case PlanNodeType.Values:
+            return valuesProvenance(rel, env);
+        case PlanNodeType.Project:
+            return projectProvenance(rel, env);
+        default:
+            return new Map();
+    }
+}
+function valuesProvenance(values, env) {
+    const out = new Map();
+    values.getAttributes().forEach((attr, colIdx) => {
+        out.set(attr.id, joinRows(values.rows.map(row => classifyExpression(row[colIdx], env))));
+    });
+    return out;
+}
+function projectProvenance(project, env) {
+    const inner = relationProvenance(project.source, env);
+    const innerEnv = withValueBindings(env, inner);
+    const out = new Map();
+    const attributes = project.getAttributes();
+    project.projections.forEach((projection, i) => {
+        out.set(attributes[i].id, classifyExpression(projection.node, innerEnv));
+    });
+    return out;
+}
+function withValueBindings(env, provenances) {
+    if (provenances.size === 0)
+        return env;
+    const attributes = new Map(env.attributes);
+    for (const [id, provenance] of provenances)
+        attributes.set(id, { kind: 'value', provenance });
+    return { ...env, attributes };
+}
+/* --- Environments ---------------------------------------------------------------- */
+function contextBindings(contextAttributes) {
+    const out = new Map();
+    for (const attr of contextAttributes ?? []) {
+        out.set(attr.id, { kind: 'context', name: attr.name.toLowerCase() });
+    }
+    return out;
+}
+/** Each attribute id of a row descriptor, paired with the column name at its index. */
+function descriptorColumns(descriptor, columnNames) {
+    const out = new Map();
+    descriptor?.forEach((colIdx, attrId) => {
+        const column = columnNames[colIdx];
+        if (column !== undefined)
+            out.set(attrId, column);
+    });
+    return out;
+}
+/**
+ * Classify a list of assignments in order. A user assignment reads the target row's
+ * previous values (`baseEnv`); a generated-column recompute is evaluated against the
+ * post-assignment row, so its reference to a previous-value attribute of a column already
+ * assigned resolves to that assignment's provenance instead.
+ */
+function classifyAssignments(assignments, baseEnv, selfAttributeColumns) {
+    const written = [];
+    const assigned = new Map();
+    for (const { target, value, isGenerated } of assignments) {
+        const column = target.name.toLowerCase();
+        const env = isGenerated ? postAssignmentEnv(baseEnv, selfAttributeColumns, assigned) : baseEnv;
+        // Assignments carry no write-coercion node; the executor converts each value to
+        // the column's declared type before storing it (and before a generated column reads it).
+        const provenance = afterWriteConversion(classifyExpression(value, env), value.getType().logicalType, target.logicalType, target.name);
+        assigned.set(column, provenance);
+        written.push({ column, provenance });
+    }
+    return written;
+}
+function postAssignmentEnv(baseEnv, selfAttributeColumns, assigned) {
+    const attributes = new Map(baseEnv.attributes);
+    for (const [attrId, column] of selfAttributeColumns) {
+        const provenance = assigned.get(column);
+        if (provenance)
+            attributes.set(attrId, { kind: 'value', provenance });
+    }
+    return { ...baseEnv, attributes };
+}
+/* --- Entry points ---------------------------------------------------------------- */
+/** One entry per table column, in schema order: the value the INSERT writes there. */
+export function classifyInsertColumns(node) {
+    const env = { attributes: contextBindings(node.contextAttributes) };
+    const provenances = relationProvenance(node.source, env);
+    const sourceAttributes = node.source.getAttributes();
+    return node.table.tableSchema.columns.map((col, i) => {
+        const attr = sourceAttributes[i];
+        const provenance = attr && provenances.get(attr.id);
+        // emitInsert converts each cell from its source attribute's static type to the
+        // column's declared type, whether or not the builder planned a WriteCoercionNode
+        // (a source already in table shape gets none). Behind a planned coercion the
+        // attribute already carries the declared type, so a fresh label passes unchanged
+        // and a literal's converted value passes buildCellCoercion's identity guard as-is.
+        return {
+            column: col.name.toLowerCase(),
+            provenance: provenance ? afterWriteConversion(provenance, attr.type.logicalType, col.logicalType, col.name) : OTHER,
+        };
+    });
+}
+/** One entry per assignment (user SETs, then generated recomputes), in assignment order. */
+export function classifyUpdateColumns(node) {
+    const { columns, columnIndexMap } = node.table.tableSchema;
+    // SET and WHERE bind to the source relation's attributes — the target row's previous values.
+    const selfAttributeColumns = new Map();
+    node.source.getAttributes().forEach((attr, i) => {
+        selfAttributeColumns.set(attr.id, (columns[i]?.name ?? attr.name).toLowerCase());
+    });
+    const attributes = contextBindings(node.contextAttributes);
+    for (const [attrId, column] of selfAttributeColumns)
+        attributes.set(attrId, { kind: 'self', column });
+    const assignments = node.assignments.flatMap(a => {
+        const target = columns[columnIndexMap.get(a.targetColumn.name.toLowerCase()) ?? -1];
+        return target ? [{ target, value: a.value, isGenerated: a.isGenerated === true }] : [];
+    });
+    return classifyAssignments(assignments, { attributes }, selfAttributeColumns);
+}
+/**
+ * The DO UPDATE arm's assignments (empty for DO NOTHING) on `table`, the statement's
+ * target. `insertColumns` is the statement's {@link classifyInsertColumns} result: NEW
+ * references resolve to it; existing-row references are `self`.
+ */
+export function classifyUpsertUpdateColumns(clause, table, insertColumns) {
+    if (clause.action !== 'update' || !clause.assignments)
+        return [];
+    const columnNames = table.columns.map(c => c.name.toLowerCase());
+    const selfAttributeColumns = descriptorColumns(clause.existingRowDescriptor, columnNames);
+    const attributes = new Map();
+    for (const [attrId, column] of descriptorColumns(clause.newRowDescriptor, columnNames)) {
+        attributes.set(attrId, { kind: 'new', column });
+    }
+    for (const [attrId, column] of selfAttributeColumns)
+        attributes.set(attrId, { kind: 'self', column });
+    const env = {
+        attributes,
+        newColumns: new Map(insertColumns.map(c => [c.column, c.provenance])),
+    };
+    const generated = new Set(clause.generatedAssignmentColumns ?? []);
+    const assignments = [...clause.assignments].flatMap(([colIdx, value]) => {
+        const target = table.columns[colIdx];
+        return target ? [{ target, value, isGenerated: generated.has(colIdx) }] : [];
+    });
+    return classifyAssignments(assignments, env, selfAttributeColumns);
+}
+//# sourceMappingURL=value-provenance.js.map

package/dist/src/planner/analysis/value-provenance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-provenance.js","sourceRoot":"","sources":["../../../../src/planner/analysis/value-provenance.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAoB,MAAM,6BAA6B,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAc1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,MAAM,GAAG,GAAG,YAAY,CAAC,mCAAmC,CAAC,CAAC;AAuC9D;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACxC,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7C,mEAAmE;IACnE,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACnC,SAAS,EAAE,IAAI,GAAG,CAAe,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACrD,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;CACvB,CAAC;AAEX,4FAA4F;AAC5F,MAAM,0BAA0B,GAAG,EAAE,CAAC;AAEtC,MAAM,KAAK,GAAoB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAEjD,MAAM,IAAI,GAA4C;IACrD,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;CAC9D,CAAC;AAEF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAe;IACjD,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,OAAO;CAC3G,CAAC,CAAC;AAEH,oFAAoF;AAEpF,8DAA8D;AAC9D,MAAM,UAAU,kBAAkB,CAAC,IAAoB,EAAE,GAAkB;IAC1E,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvB,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;YAC3B,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACzC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QAC/E,CAAC;QACD,KAAK,YAAY,CAAC,kBAAkB;YACnC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAE,IAA+B,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACpG,KAAK,YAAY,CAAC,eAAe;YAChC,OAAO,uBAAuB,CAAC,IAA2B,EAAE,GAAG,CAAC,CAAC;QAClE,KAAK,YAAY,CAAC,kBAAkB;YACnC,OAAO,oBAAoB,CAAC,IAA8B,EAAE,GAAG,CAAC,CAAC;QAClE,KAAK,YAAY,CAAC,aAAa;YAC9B,OAAO,qBAAqB,CAAC,IAAyB,EAAE,GAAG,CAAC,CAAC;QAC9D,KAAK,YAAY,CAAC,OAAO;YACxB,gEAAgE;YAChE,OAAO,kBAAkB,CAAE,IAAoB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC/D,KAAK,YAAY,CAAC,EAAE;YACnB,OAAQ,IAAe,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACtE;YACC,2EAA2E;YAC3E,OAAO,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACtF,CAAC;AACF,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,IAAuB,EAAE,GAAkB;IACzE,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACtD,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;AACxH,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,UAA2B,EAAE,IAAiB,EAAE,EAAe,EAAE,UAAkB;IAChH,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,OAAO;YACX,OAAO,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;QAC5D,KAAK,SAAS;YACb,OAAO,UAAU,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QAC7G;YACC,OAAO,UAAU,CAAC;IACpB,CAAC;AACF,CAAC;AAED,SAAS,cAAc,CAAC,KAAe,EAAE,IAAiB,EAAE,EAAe,EAAE,UAAkB;IAC9F,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAC/C,IAAI,CAAC;QACJ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAClD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,mFAAmF;QACnF,6BAA6B;QAC7B,GAAG,CAAC,iEAAiE,EAAE,UAAU,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/H,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC5B,CAAC;AACF,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,oBAAoB,CAAC,IAAiB,EAAE,EAAe;IAC/D,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,QAAQ,IAAI,EAAE,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,YAAY,KAAK,YAAY,CAAC,IAAI,CAAC;IACrE,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,YAAY,KAAK,YAAY,CAAC,IAAI,IAAI,IAAI,CAAC,YAAY,KAAK,YAAY,CAAC,IAAI,CAAC;IAChH,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAwB,EAAE,GAAkB;IAC5E,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACpD,QAAQ,OAAO,EAAE,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAChE,KAAK,SAAS,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,gFAAgF;QAChF,4DAA4D;QAC5D,KAAK,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;QAChE,KAAK,OAAO,CAAC,CAAC,OAAO,OAAO,CAAC,UAAU,CAAC;QACxC,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;IACvB,CAAC;AACF,CAAC;AAED,SAAS,oBAAoB,CAAC,IAA4B,EAAE,GAAkB;IAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACzF,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3F,IAAI,IAAI,KAAK,YAAY,IAAI,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC9G,mEAAmE;IACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IAChF,OAAO,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,GAAG,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;AAC7G,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAuC;IACvE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC;WACpF,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,IAAI,MAAM,CAAC,0BAA0B,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAoB,EAAE,GAAkB;IACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAmC,CAAC;IACrE,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC/D,OAAO,eAAe,CAAC,QAAQ,EAAE,UAAU,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,oFAAoF;AACpF,SAAS,iBAAiB,CAAC,IAAoB,EAAE,YAA4B;IAC5E,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC;IACvD,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,KAAK,YAAY,CAAC,IAAI,CAAC;IAC9D,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvB,KAAK,YAAY,CAAC,kBAAkB,CAAC,CAAC,CAAC;YACtC,MAAM,IAAI,GAAI,IAA+B,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAChF,OAAO,yBAAyB,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;mBAChD,CAAC,CAAC,MAAM,IAAI,yBAAyB,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACxE,CAAC;QACD,KAAK,YAAY,CAAC,QAAQ;YACzB,OAAO,CAAC,MAAM,IAAI,yBAAyB,CAAC,eAAe,CAAC,GAAG,CAAE,IAAqB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC7G;YACC,OAAO,yBAAyB,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;mBACzD,oBAAoB,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,CAAC;IACpE,CAAC;AACF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,QAAwC,EAAE,cAAuB;IACzF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IACrD,IAAI,KAAK,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC9D,OAAO,cAAc,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAClE,CAAC;IACD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAED,iGAAiG;AACjG,SAAS,UAAU,CAAC,KAAqC;IACxD,IAAI,GAAG,GAA4B,SAAS,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;IAClD,CAAC;IACD,QAAQ,GAAG,EAAE,CAAC;QACb,KAAK,SAAS;YACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC5B,KAAK,OAAO;YACX,OAAO;gBACN,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC;gBACpF,QAAQ,EAAE,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC;aAChF,CAAC;QACH,KAAK,UAAU;YACd,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,eAAe,CAAC,EAAE,CAAC;QACzH,KAAK,MAAM;YACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;QACxG;YACC,OAAO,KAAK,CAAC;IACf,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CACpB,KAAqC,EACrC,IAAiD,EACjD,KAA0B;IAE1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAa,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC;IACF,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,eAAe,CAAC,MAAoB;IAC5C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,aAAa,CAAC,CAAC,OAAO,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;QAChD,KAAK,WAAW,CAAC,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO,CAAC,CAAC,OAAO,MAAM,CAAC,IAAI,CAAC;IAC7B,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,QAAQ,CAAC,KAAqC;IACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC;YAC9G,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC;IACV,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,KAAK,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAClE,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS;eAC7B,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACrH,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,qFAAqF;AAErF;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,GAAuB,EAAE,GAAkB;IACtE,QAAQ,GAAG,CAAC,QAAQ,EAAE,CAAC;QACtB,KAAK,YAAY,CAAC,MAAM;YACvB,OAAO,gBAAgB,CAAC,GAAiB,EAAE,GAAG,CAAC,CAAC;QACjD,KAAK,YAAY,CAAC,OAAO;YACxB,OAAO,iBAAiB,CAAC,GAAkB,EAAE,GAAG,CAAC,CAAC;QACnD;YACC,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAkB,EAAE,GAAkB;IAC/D,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC/C,MAAM,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QAC/C,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAoB,EAAE,GAAkB;IAClE,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC/C,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAC3C,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE;QAC7C,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,kBAAkB,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAkB,EAAE,WAAiD;IAC/F,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACvC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3C,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,WAAW;QAAE,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;IAC9F,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,CAAC;AAC/B,CAAC;AAED,uFAAuF;AAEvF,SAAS,eAAe,CAAC,iBAAuD;IAC/E,MAAM,GAAG,GAAG,IAAI,GAAG,EAA4B,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,iBAAiB,IAAI,EAAE,EAAE,CAAC;QAC5C,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,uFAAuF;AACvF,SAAS,iBAAiB,CAAC,UAAqC,EAAE,WAAkC;IACnG,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,UAAU,EAAE,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACtC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;GAKG;AACH,SAAS,mBAAmB,CAC3B,WAAsC,EACtC,OAAsB,EACtB,oBAAiD;IAEjD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,KAAK,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,WAAW,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,oBAAoB,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC/F,gFAAgF;QAChF,yFAAyF;QACzF,MAAM,UAAU,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QACtI,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAQD,SAAS,iBAAiB,CACzB,OAAsB,EACtB,oBAAiD,EACjD,QAA8C;IAE9C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/C,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,UAAU;YAAE,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAAC;AACnC,CAAC;AAED,uFAAuF;AAEvF,sFAAsF;AACtF,MAAM,UAAU,qBAAqB,CAAC,IAAgB;IACrD,MAAM,GAAG,GAAkB,EAAE,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;IACnF,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACzD,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;IACrD,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACpD,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAA0B,CAAC;QAC1D,MAAM,UAAU,GAAG,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpD,+EAA+E;QAC/E,iFAAiF;QACjF,6EAA6E;QAC7E,iFAAiF;QACjF,mFAAmF;QACnF,OAAO;YACN,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE;YAC9B,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK;SACnH,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,qBAAqB,CAAC,IAAgB;IACrD,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAC3D,6FAA6F;IAC7F,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvD,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC/C,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC3D,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,oBAAoB;QAAE,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACtG,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QAChD,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC,CAA6B,CAAC;QAChH,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,CAAC,CAAC,CAAC;IACH,OAAO,mBAAmB,CAAC,WAAW,EAAE,EAAE,UAAU,EAAE,EAAE,oBAAoB,CAAC,CAAC;AAC/E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CAC1C,MAAwB,EACxB,KAAkB,EAClB,aAA2C;IAE3C,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IACjE,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACjE,MAAM,oBAAoB,GAAG,iBAAiB,CAAC,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC,CAAC;IAC1F,MAAM,UAAU,GAAG,IAAI,GAAG,EAA4B,CAAC;IACvD,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,iBAAiB,CAAC,MAAM,CAAC,gBAAgB,EAAE,WAAW,CAAC,EAAE,CAAC;QACxF,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,oBAAoB;QAAE,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACtG,MAAM,GAAG,GAAkB;QAC1B,UAAU;QACV,UAAU,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;KACrE,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE;QACvE,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAA6B,CAAC;QACjE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9E,CAAC,CAAC,CAAC;IACH,OAAO,mBAAmB,CAAC,WAAW,EAAE,GAAG,EAAE,oBAAoB,CAAC,CAAC;AACpE,CAAC"}

package/dist/src/planner/analysis/write-scope.d.ts

@@ -0,0 +1,150 @@
+/**
+ * Public write-scope data contract.
+ *
+ * `WriteScope` describes a prepared write statement (INSERT, UPDATE, DELETE) for a
+ * host that will replay it later over state another writer may have changed: which
+ * rows it targets and how it chose them, where each written value comes from, what
+ * else it reads, which constraints could reject it, and whether re-applying it to its
+ * own result would change anything. It reuses change-scope's vocabulary
+ * (`QualifiedName`, `TableWatch`, `ScopeValue`, `NonDetSource`) so a host already
+ * consuming change scopes reads it without learning new shapes.
+ *
+ * The analysis itself runs on the write site's logical plan, captured at build time
+ * (`write-site-analysis.ts`); this module holds the contract, the parameter binder and
+ * the serializers. See docs/write-scope.md.
+ */
+import type { SqlParameters, SqlValue } from '../../common/types.js';
+import type { Database } from '../../core/database.js';
+import type { PlanNode } from '../nodes/plan-node.js';
+import { type NonDetSource, type QualifiedName, type ScopeValue, type SerializedTableWatch, type TableWatch } from './change-scope.js';
+import type { WrittenColumn } from './value-provenance.js';
+export type { ValueProvenance, WrittenColumn } from './value-provenance.js';
+export interface WriteScope {
+    /**
+     * One entry per write site in the statement, in plan order (a plain DML statement
+     * has one; a statement writing through a view that fans out to several base
+     * tables, or carrying data-modifying CTEs, has several).
+     */
+    readonly writes: ReadonlyArray<TableWrite>;
+    readonly nonDeterministicSources: ReadonlyArray<NonDetSource>;
+    readonly unboundParameters: ReadonlyArray<number | string>;
+}
+export interface TableWrite {
+    readonly table: QualifiedName;
+    readonly operation: 'insert' | 'update' | 'delete';
+    /** What happens on a constraint conflict. */
+    readonly disposition: WriteDisposition;
+    /** How existing target rows were chosen. INSERT: `none`. */
+    readonly selection: TargetSelection;
+    /**
+     * The values written, with provenance. INSERT: every table column in schema order.
+     * UPDATE: assigned columns in assignment order. DELETE: empty.
+     */
+    readonly columns: ReadonlyArray<WrittenColumn>;
+    /**
+     * Everything the write reads to decide its effect, other than the target rows' own
+     * key: WHERE and SET inputs, the INSERT source query, constraint-check subqueries.
+     * A watch on the target table itself appears here only for non-key columns it
+     * reads (`set n = n + 1` reads `n`; a predicate on a non-key column reads that
+     * column).
+     */
+    readonly reads: ReadonlyArray<TableWatch>;
+    /** The constraints this write is subject to, each classed by whether other rows can affect it. */
+    readonly constraints: ReadonlyArray<WriteConstraint>;
+    /**
+     * True when no written value depends on the target row's own previous values or
+     * on other rows — re-applying the write to its own result changes nothing.
+     * Distinct from `PhysicalProperties.idempotent` ("safe to evaluate twice in one
+     * transaction").
+     */
+    readonly selfIndependent: boolean;
+}
+export type WriteDisposition = {
+    readonly kind: 'abort';
+} | {
+    readonly kind: 'fail';
+} | {
+    readonly kind: 'rollback';
+} | {
+    readonly kind: 'ignore';
+} | {
+    readonly kind: 'replace';
+} | {
+    readonly kind: 'upsert';
+    readonly clauses: ReadonlyArray<UpsertClause>;
+};
+export interface UpsertClause {
+    /** Conflict-target columns, or `'primary-key'` when the clause named none. */
+    readonly target: ReadonlyArray<string> | 'primary-key';
+    readonly action: 'nothing' | 'update';
+    /** DO UPDATE assignments with provenance (empty for `nothing`). */
+    readonly columns: ReadonlyArray<WrittenColumn>;
+    /** True when the DO UPDATE arm carries a WHERE. */
+    readonly conditional: boolean;
+}
+export type TargetSelection = {
+    readonly kind: 'none';
+}
+/** Chosen by equality on a unique key; `values` as in `WatchScope.rows` (literals, or parameter placeholders until bound). */
+ | {
+    readonly kind: 'rows';
+    readonly key: ReadonlyArray<string>;
+    readonly values: ReadonlyArray<ReadonlyArray<ScopeValue>>;
+}
+/** Chosen by any other predicate, or no predicate, or a key the analysis could not decode. */
+ | {
+    readonly kind: 'global';
+};
+export interface WriteConstraint {
+    readonly name?: string;
+    readonly kind: 'primary-key' | 'unique' | 'not-null' | 'check' | 'foreign-key-child' | 'foreign-key-parent' | 'assertion';
+    /**
+     * Target-table columns the constraint involves (the key columns; the NOT NULL
+     * column; the columns an FK references or is referenced by; empty when unknown,
+     * e.g. an assertion).
+     */
+    readonly columns: ReadonlyArray<string>;
+    /**
+     * `row`: decidable from the written row alone. `cross-row`: other rows can make it
+     * pass or fail — every key, every FK, every assertion, and a CHECK that contains a
+     * subquery or a committed-state reference.
+     */
+    readonly locality: 'row' | 'cross-row';
+    /** When it is enforced. Assertions are always `deferred` (commit time). */
+    readonly timing: 'immediate' | 'deferred';
+    /** For `unique`: the constraint has a predicate. */
+    readonly partial?: boolean;
+    /** For FKs and assertions: the other table involved (an assertion lists its first other dependent table, if any). */
+    readonly references?: QualifiedName;
+}
+/**
+ * The write scope of a built plan: every write site's memoized analysis, in plan
+ * order, with the non-deterministic sources and unbound parameters unioned. A plan
+ * with no write site yields empty `writes`, never `undefined`.
+ */
+export declare function analyzeWriteScope(plan: PlanNode, db: Database): WriteScope;
+/**
+ * Substitute bound parameters into every selection and read watch, dropping the bound
+ * indices from `unboundParameters` and `nonDeterministicSources`. Same key spellings,
+ * and the same `MisuseError` on binding one parameter twice, as change-scope's
+ * `bindParameters` — which does the work, per watch.
+ */
+export declare function bindWriteParameters(scope: WriteScope, params: SqlParameters | SqlValue[]): WriteScope;
+/**
+ * Substitute bound parameters into one write's selection and read watches. The DML
+ * executor applies it per execution to the write it hands an opted-in module
+ * (`UpdateArgs.writeScope`).
+ */
+export declare function bindTableWrite(write: TableWrite, params: SqlParameters | SqlValue[]): TableWrite;
+export interface SerializedTableWrite extends Omit<TableWrite, 'reads'> {
+    readonly reads: ReadonlyArray<SerializedTableWatch>;
+}
+export interface SerializedWriteScope {
+    readonly writes: ReadonlyArray<SerializedTableWrite>;
+    readonly nonDeterministicSources: ReadonlyArray<NonDetSource>;
+    readonly unboundParameters: ReadonlyArray<number | string>;
+}
+/** The only non-plain field is `TableWatch.columns`; everything else is JSON already. */
+export declare function serializeWriteScope(scope: WriteScope): SerializedWriteScope;
+export declare function deserializeWriteScope(obj: SerializedWriteScope): WriteScope;
+//# sourceMappingURL=write-scope.d.ts.map

package/dist/src/planner/analysis/write-scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-scope.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/write-scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAGtD,OAAO,EAMN,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,oBAAoB,EACzB,KAAK,UAAU,EACf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE5E,MAAM,WAAW,UAAU;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC3C,QAAQ,CAAC,uBAAuB,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAC9D,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CAC3D;AAED,MAAM,WAAW,UAAU;IAC1B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACnD,6CAA6C;IAC7C,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IAC/C;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC1C,kGAAkG;IAClG,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACrD;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;CAClC;AAED,MAAM,MAAM,gBAAgB,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CAAE,CAAC;AAE9E,MAAM,WAAW,YAAY;IAC5B,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IACtC,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IAC/C,mDAAmD;IACnD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,MAAM,eAAe,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAC3B,8HAA8H;GAC5H;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAA;CAAE;AAC3H,8FAA8F;GAC5F;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE/B,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,mBAAmB,GAAG,oBAAoB,GAAG,WAAW,CAAC;IAC1H;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,WAAW,CAAC;IACvC,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,UAAU,CAAC;IAC1C,oDAAoD;IACpD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,qHAAqH;IACrH,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;CACpC;AAID;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,UAAU,CAG1E;AA+BD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,GAAG,QAAQ,EAAE,GAAG,UAAU,CAWrG;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,GAAG,QAAQ,EAAE,GAAG,UAAU,CAGhG;AAYD,MAAM,WAAW,oBAAqB,SAAQ,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;IACtE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;CACpD;AAED,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IACrD,QAAQ,CAAC,uBAAuB,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAC9D,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;CAC3D;AAED,yFAAyF;AACzF,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,UAAU,GAAG,oBAAoB,CAM3E;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,oBAAoB,GAAG,UAAU,CAM3E"}