@quereus/quereus 4.5.0 → 4.7.0

package/dist/src/func/builtins/scalar.js

@@ -1,10 +1,11 @@
 import { createScalarFunction } from '../registration.js';
 import { compareSqlValues, getSqlDataTypeName } from '../../util/comparison.js';
-import { ANY_TYPE, INTEGER_TYPE, REAL_TYPE, TEXT_TYPE } from '../../types/builtin-types.js';
+import { ANY_TYPE, INTEGER_TYPE, NULL_TYPE, REAL_TYPE, isNumericOrUnknownType } from '../../types/builtin-types.js';
 import { asRun } from '../../runtime/types.js';
 import { emitPlanNode } from '../../runtime/emitters.js';
-import { effectiveComparisonCollation, effectiveGroupCollation } from '../../planner/analysis/comparison-collation.js';
-import { makeGroupComparator, makeOperandComparator, formatOperandCollationNote } from '../../runtime/emit/operand-comparator.js';
+import { BLOB_RETURN, INTEGER_RETURN_NOT_NULL, REAL_RETURN, TEXT_RETURN_NOT_NULL } from './return-types.js';
+import { effectiveCollationOfTypes, effectiveGroupCollation } from '../../planner/analysis/comparison-collation.js';
+import { makeComparisonGroup, makeGroupComparator, makeOperandComparator, formatOperandCollationNote } from '../../runtime/emit/operand-comparator.js';
 /**
  * Find the common type among multiple logical types.
  * This implements type promotion rules for polymorphic functions.
@@ -38,10 +39,17 @@ function findCommonType(types) {
         return INTEGER_TYPE;
     }
     // For non-numeric types, return the first type (conservative)
-    // In a more sophisticated implementation, we could:
-    // - Find a common supertype
-    // - Return ANY_TYPE if types are incompatible
-    // - Throw an error for incompatible types
+    // NOTE: this fallback is DISHONEST for a value-returning function over a
+    // mixed-category group — `coalesce(int_col, text_col)` advertises INTEGER while
+    // it can return the text. Benign today because the write path converts or
+    // rejects rather than storing the wrong storage class (`insert into int_col
+    // select coalesce(null, text_col)` converts; a VALUES insert of unconvertible
+    // text raises `Type conversion failed`), and no reader trusts the declared type
+    // over the runtime value. `greatest`/`least` opted out via `extremumReturnType`
+    // because their fix made the divergence newly *visible*. If a consumer ever
+    // starts trusting a declared type without re-checking the value — a storage
+    // encoder keyed off it, say — every caller here (coalesce, iif, choose) needs
+    // the same ANY_TYPE treatment.
     return firstType;
 }
 // --- abs(X) ---
@@ -56,8 +64,8 @@ export const absFunc = createScalarFunction({
         nullable: false,
         isReadOnly: true
     }),
-    // Validate that the argument is numeric
-    validateArgTypes: (argTypes) => argTypes[0].isNumeric === true
+    // Validate that the argument is numeric (or unclassifiable — see the helper)
+    validateArgTypes: (argTypes) => isNumericOrUnknownType(argTypes[0])
 }, (arg) => {
     if (arg === null)
         return null;
@@ -100,7 +108,7 @@ const roundSchemaBase = {
         nullable: false,
         isReadOnly: true
     }),
-    validateArgTypes: (argTypes) => argTypes[0].isNumeric === true
+    validateArgTypes: (argTypes) => isNumericOrUnknownType(argTypes[0])
 };
 export const roundFunc1 = createScalarFunction({ ...roundSchemaBase, numArgs: 1 }, roundImpl);
 export const roundFunc2 = createScalarFunction({ ...roundSchemaBase, numArgs: 2 }, roundImpl);
@@ -125,13 +133,28 @@ export const coalesceFunc = createScalarFunction({
     return null;
 });
 // --- nullif(X, Y) ---
+/**
+ * The call site's comparison group, with its cross-type coercion resolved at emit
+ * time. `nullif`/`greatest`/`least` declare `returnsArg`, so `buildFunctionCall`
+ * deliberately leaves their arguments un-rewritten (a plan-time cast would replace
+ * the RETURNED value); the group converts *copies* for the comparison instead. A
+ * schema that names no group yields an identity group — raw values, raw types.
+ */
+function callComparisonGroup(plan) {
+    return makeComparisonGroup(plan.operands.map(op => op.getType()), plan.functionSchema.comparesArgs ?? []);
+}
 /**
  * Emit `nullif(x, y)` deciding the match exactly as `x = y` would: the pair's
- * collation resolves through the shared provenance lattice and the comparator
- * routing (declared semantic-ordering type / storage class / runtime temporal
- * check) is the one `=`, BETWEEN and simple CASE share. Resolved ONCE at emit,
- * never per row. A same-rank explicit/declared collation conflict between the
- * two operands throws here, exactly as `x = y` throws for the same pair.
+ * cross-type coercion, collation (through the shared provenance lattice) and
+ * comparator routing (declared semantic-ordering type / storage class / runtime
+ * temporal check) are the ones `=`, BETWEEN and simple CASE share. All resolved
+ * ONCE at emit, never per row. A same-rank explicit/declared collation conflict
+ * between the two operands throws here, exactly as `x = y` throws for the same
+ * pair.
+ *
+ * The comparison runs over coerced KEYS while the returned value is the raw first
+ * argument — `nullif('abc', 1)` compares `0` against `1` (no match) and returns
+ * `'abc'`, not the `0` the conversion produced.
  *
  * NOTE: that throw happens at emit time, where `=` validates in
  * `BinaryOpNode.generateType` — the same deferral simple CASE has (see the
@@ -142,13 +165,13 @@ export const coalesceFunc = createScalarFunction({
  * here. Applies to `emitExtremum` below identically.
  */
 function emitNullif(plan, ctx, _defaultEmit) {
-    const [x, y] = plan.operands;
-    const collationName = effectiveComparisonCollation(x, y, plan.expression);
-    const comparator = makeOperandComparator(x.getType().logicalType, y.getType().logicalType, ctx.resolveCollation(collationName));
+    const group = callComparisonGroup(plan);
+    const collationName = effectiveCollationOfTypes(group.types[0], group.types[1], plan.expression);
+    const comparator = makeOperandComparator(group.types[0].logicalType, group.types[1].logicalType, ctx.resolveCollation(collationName));
     // Same shape as the unemitted default: every comparator route ranks NULL
     // first (NULL/NULL → 0), so NULL handling is unchanged.
     function run(_rctx, argX, argY) {
-        return comparator(argX, argY) === 0 ? null : argX;
+        return comparator(group.key(0, argX), group.key(1, argY)) === 0 ? null : argX;
     }
     return {
         params: plan.operands.map(op => emitPlanNode(op, ctx)),
@@ -161,7 +184,10 @@ export const nullifFunc = createScalarFunction({
     numArgs: 2,
     deterministic: true,
     comparesArgs: [0, 1],
-    // Type inference: return the type of the first argument (nullable)
+    returnsArg: true,
+    // Type inference: return the type of the first argument (nullable). Honest
+    // because `returnsArg` keeps the plan-time cast off that argument — the value
+    // handed back really is the first argument as written.
     inferReturnType: (argTypes) => ({
         typeClass: 'scalar',
         logicalType: argTypes[0],
@@ -169,8 +195,16 @@ export const nullifFunc = createScalarFunction({
         isReadOnly: true
     })
 }, 
-// BINARY default for any caller that reaches the implementation without
-// emitting; the custom emitter binds the call site's collation + type routing.
+// NOTE: BINARY and UNCOERCED — the plain fallback for any caller that reaches the
+// implementation without emitting; the custom emitter binds the call site's
+// cross-type coercion, collation and type routing. Unreachable today
+// (`emitScalarFunctionCall` always prefers `customEmitter`), and it used to be
+// coerced anyway because the plan-time cast rewrote the arguments before the
+// implementation saw them. If a path ever DOES evaluate a comparison builtin
+// without emitting — a folder that calls `implementation` directly, or a plugin
+// that re-registers one of these names without the emitter — it will silently
+// compare raw values; route it through the emitter instead of duplicating the
+// coercion here. Same applies to `greatest`/`least` below.
 (argX, argY) => {
     const comparison = compareSqlValues(argX, argY);
     return comparison === 0 ? null : argX;
@@ -186,22 +220,17 @@ export const typeofFunc = createScalarFunction({
     name: 'typeof',
     numArgs: 1,
     deterministic: true,
-    returnType: {
-        typeClass: 'scalar',
-        logicalType: TEXT_TYPE,
-        nullable: false,
-        isReadOnly: true
-    }
+    returnType: TEXT_RETURN_NOT_NULL
 }, (arg) => {
     return getSqlDataTypeName(arg);
 });
 // --- random() ---
-export const randomFunc = createScalarFunction({ name: 'random', numArgs: 0, deterministic: false }, () => {
+export const randomFunc = createScalarFunction({ name: 'random', numArgs: 0, deterministic: false, returnType: INTEGER_RETURN_NOT_NULL }, () => {
     const randomInt = Math.floor(Math.random() * (Number.MAX_SAFE_INTEGER - Number.MIN_SAFE_INTEGER + 1)) + Number.MIN_SAFE_INTEGER;
     return BigInt(randomInt);
 });
 // --- randomblob(N) ---
-export const randomblobFunc = createScalarFunction({ name: 'randomblob', numArgs: 1, deterministic: false }, (nVal) => {
+export const randomblobFunc = createScalarFunction({ name: 'randomblob', numArgs: 1, deterministic: false, returnType: BLOB_RETURN }, (nVal) => {
     if (typeof nVal !== 'number' && typeof nVal !== 'bigint')
         return null;
     const n = Number(nVal);
@@ -251,14 +280,13 @@ export const sqrtFunc = createScalarFunction({
     name: 'sqrt',
     numArgs: 1,
     deterministic: true,
-    // Type inference: sqrt always returns REAL (even for INTEGER input)
-    inferReturnType: (argTypes) => ({
-        typeClass: 'scalar',
-        logicalType: argTypes[0].name === 'INTEGER' ? argTypes[0] : argTypes[0], // Keep input type
-        nullable: false,
-        isReadOnly: true
-    }),
-    validateArgTypes: (argTypes) => argTypes[0].isNumeric === true
+    // REAL rather than inferred-from-input, for the same reason as pow/power below:
+    // Math.sqrt is not closed over the integers, so `sqrt(int_col)` claiming INTEGER
+    // is a lie the write path acts on — it would skip conversion and store
+    // 1.4142135623730951 in an INTEGER column. Nullable because a negative or NULL
+    // argument yields NULL.
+    returnType: REAL_RETURN,
+    validateArgTypes: (argTypes) => isNumericOrUnknownType(argTypes[0])
 }, (arg) => {
     if (arg === null)
         return null;
@@ -277,8 +305,10 @@ const pow = (base, exponent) => {
         return null;
     return Math.pow(numBase, numExp);
 };
-export const powFunc = createScalarFunction({ name: 'pow', numArgs: 2, deterministic: true }, pow);
-export const powerFunc = createScalarFunction({ name: 'power', numArgs: 2, deterministic: true }, pow);
+// REAL rather than inferred-from-input: unlike abs/round/floor/ceil, Math.pow is not
+// closed over the integers (`pow(2, -1)` is 0.5), so the input type is not the answer.
+export const powFunc = createScalarFunction({ name: 'pow', numArgs: 2, deterministic: true, returnType: REAL_RETURN }, pow);
+export const powerFunc = createScalarFunction({ name: 'power', numArgs: 2, deterministic: true, returnType: REAL_RETURN }, pow);
 // --- floor(X) ---
 export const floorFunc = createScalarFunction({
     name: 'floor',
@@ -291,7 +321,7 @@ export const floorFunc = createScalarFunction({
         nullable: false,
         isReadOnly: true
     }),
-    validateArgTypes: (argTypes) => argTypes[0].isNumeric === true
+    validateArgTypes: (argTypes) => isNumericOrUnknownType(argTypes[0])
 }, (arg) => {
     if (arg === null)
         return null;
@@ -316,7 +346,7 @@ const ceilTypeInference = {
         nullable: false,
         isReadOnly: true
     }),
-    validateArgTypes: (argTypes) => argTypes[0].isNumeric === true
+    validateArgTypes: (argTypes) => isNumericOrUnknownType(argTypes[0])
 };
 export const ceilFunc = createScalarFunction({ name: 'ceil', numArgs: 1, deterministic: true, ...ceilTypeInference }, ceil);
 export const ceilingFunc = createScalarFunction({ name: 'ceiling', numArgs: 1, deterministic: true, ...ceilTypeInference }, ceil);
@@ -332,8 +362,13 @@ export const clampFunc = createScalarFunction({
         nullable: true,
         isReadOnly: true
     }),
-    validateArgTypes: (argTypes) => argTypes[0].isNumeric === true && argTypes[1].isNumeric === true && argTypes[2].isNumeric === true
+    validateArgTypes: (argTypes) => argTypes.every(isNumericOrUnknownType)
 }, (value, min, max) => {
+    // Unlike the other numeric builtins, clamp's arguments reach Number() together,
+    // so the null short-circuit has to be explicit: Number(null) is 0, which would
+    // make clamp(null, 1, 2) return 1 instead of null.
+    if (value === null || min === null || max === null)
+        return null;
     const v = Number(value);
     const minVal = Number(min);
     const maxVal = Number(max);
@@ -344,34 +379,47 @@ export const clampFunc = createScalarFunction({
 // --- greatest(...) / least(...) ---
 /**
  * Emit `greatest`/`least` ranking the whole argument group the way `order by`
- * would rank a column of the group's declared type and collation. ONE collation
- * resolves for the group through the lattice's N-ary merge
- * (`effectiveGroupCollation` — a same-rank explicit/declared conflict among the
- * arguments throws, matching `=`), and ONE comparator serves the fold, routed by
- * `makeGroupComparator` — the N-ary form of the same rule `=`, BETWEEN and
- * simple CASE route through, so a TIMESPAN column ranked against a bare text
- * literal still compares by elapsed time. `direction` is +1 for greatest, -1
- * for least — sharing the comparator keeps the two directions mirror images.
+ * would rank a column of the group's declared type and collation. The group's
+ * cross-type coercion, ONE collation (through the lattice's N-ary merge
+ * `effectiveGroupCollation` — a same-rank explicit/declared conflict among the
+ * arguments throws, matching `=`) and ONE comparator (`makeGroupComparator`, the
+ * N-ary form of the rule `=`, BETWEEN and simple CASE route through, so a TIMESPAN
+ * column ranked against a bare text literal still compares by elapsed time) all
+ * resolve once at emit. `direction` is +1 for greatest, -1 for least — sharing the
+ * comparator keeps the two directions mirror images.
  *
- * The fold is byte-for-byte the unemitted default's reduce with only the
- * comparator swapped, so NULL handling is unchanged. Ties under a non-BINARY
- * comparator leave which raw value survives unspecified (same latitude as the
- * min/max aggregate, DISTINCT, and GROUP BY).
+ * The fold ranks coerced KEYS but tracks the winning INDEX and returns the raw
+ * argument there, so `greatest(t, 1)` over the stored text `'3'` hands back `'3'`
+ * rather than the integer the conversion produced. Arguments whose KEY is null
+ * are skipped entirely — the running best is never a NULL key — matching
+ * `min`/`max` and the window MIN/MAX, so `greatest`/`least` agree with each
+ * other and the answer never depends on where a NULL sits in the argument
+ * list. That is the argument itself for an uncoerced group; in a coerced one it
+ * also covers an argument the conversion nulls (`cast('' as integer)`), which
+ * `greatest` already skipped before this fold was made symmetric. A call with
+ * no surviving key (all-NULL, or no arguments) yields NULL. Ties under a non-BINARY
+ * comparator leave which argument survives unspecified (same latitude as the
+ * min/max aggregate, DISTINCT, and GROUP BY) — but it is always one of the
+ * arguments.
  */
 function emitExtremum(direction) {
     return (plan, ctx, _defaultEmit) => {
-        const types = plan.operands.map(op => op.getType());
-        const collationName = effectiveGroupCollation(types, plan.expression);
-        const compare = makeGroupComparator(types.map(t => t.logicalType), ctx.resolveCollation(collationName));
+        const group = callComparisonGroup(plan);
+        const collationName = effectiveGroupCollation(group.types, plan.expression);
+        const compare = makeGroupComparator(group.types.map(t => t.logicalType), ctx.resolveCollation(collationName));
         function run(_rctx, ...args) {
-            if (args.length === 0)
-                return null;
-            return args.reduce((best, current) => {
-                if (best === null || compare(current, best) * direction > 0) {
-                    return current;
+            let bestIndex = -1;
+            let bestKey = null;
+            for (let i = 0; i < args.length; i++) {
+                const currentKey = group.key(i, args[i]);
+                if (currentKey === null)
+                    continue;
+                if (bestIndex === -1 || compare(currentKey, bestKey) * direction > 0) {
+                    bestIndex = i;
+                    bestKey = currentKey;
                 }
-                return best;
-            }, args[0]);
+            }
+            return bestIndex === -1 ? null : args[bestIndex];
         }
         return {
             params: plan.operands.map(op => emitPlanNode(op, ctx)),
@@ -380,31 +428,54 @@ function emitExtremum(direction) {
         };
     };
 }
+/**
+ * Declared return type of `greatest`/`least`. The fold returns one of its
+ * arguments verbatim (`returnsArg`), so the declaration must cover every argument
+ * it could pick: only an all-same or an all-numeric group has a type that does.
+ * A mixed-category group (`greatest(int_col, '2')` can return the text `'2'`)
+ * declares ANY rather than {@link findCommonType}'s first-argument fallback, which
+ * would advertise INTEGER for a value that is text.
+ *
+ * A NULL-typed argument contributes no value the declaration has to cover — the
+ * only thing it can win with is NULL, which `nullable: true` already allows — so
+ * it is dropped before the test rather than dragged into a mixed-category ANY:
+ * `greatest(int_col, null)` stays INTEGER.
+ */
+function extremumReturnType(argTypes) {
+    const valued = argTypes.filter(t => t.name !== NULL_TYPE.name);
+    // Nothing but NULLs (or no arguments at all) — findCommonType already answers
+    // NULL / ANY respectively.
+    if (valued.length === 0)
+        return findCommonType(argTypes);
+    const allSame = valued.every(t => t.name === valued[0].name);
+    const allNumeric = valued.every(t => t.isNumeric === true);
+    return allSame || allNumeric ? findCommonType(valued) : ANY_TYPE;
+}
 // Greatest-of function
 export const greatestFunc = createScalarFunction({
     name: 'greatest',
     numArgs: -1,
     deterministic: true,
     comparesArgs: 'all',
-    // Type inference: find the common type among all arguments
+    returnsArg: true,
+    // Type inference: the common type when every argument shares one, else ANY
     inferReturnType: (argTypes) => ({
         typeClass: 'scalar',
-        logicalType: findCommonType(argTypes),
+        logicalType: extremumReturnType(argTypes),
         nullable: true,
         isReadOnly: true
     })
 }, 
-// BINARY default for any caller that reaches the implementation without
-// emitting; the custom emitter binds the group's collation + type routing.
+// BINARY, uncoerced fallback — see the NOTE on `nullif`'s implementation above.
 (...args) => {
-    if (args.length === 0)
-        return null;
     return args.reduce((max, current) => {
+        if (current === null)
+            return max;
         if (max === null || compareSqlValues(current, max) > 0) {
             return current;
         }
         return max;
-    }, args[0]);
+    }, null);
 });
 greatestFunc.customEmitter = emitExtremum(1);
 // Least-of function
@@ -413,25 +484,25 @@ export const leastFunc = createScalarFunction({
     numArgs: -1,
     deterministic: true,
     comparesArgs: 'all',
-    // Type inference: find the common type among all arguments
+    returnsArg: true,
+    // Type inference: the common type when every argument shares one, else ANY
     inferReturnType: (argTypes) => ({
         typeClass: 'scalar',
-        logicalType: findCommonType(argTypes),
+        logicalType: extremumReturnType(argTypes),
         nullable: true,
         isReadOnly: true
     })
 }, 
-// BINARY default for any caller that reaches the implementation without
-// emitting; the custom emitter binds the group's collation + type routing.
+// BINARY, uncoerced fallback — see the NOTE on `nullif`'s implementation above.
 (...args) => {
-    if (args.length === 0)
-        return null;
     return args.reduce((min, current) => {
+        if (current === null)
+            return min;
         if (min === null || compareSqlValues(current, min) < 0) {
             return current;
         }
         return min;
-    }, args[0]);
+    }, null);
 });
 leastFunc.customEmitter = emitExtremum(-1);
 // Choose function

package/dist/src/func/builtins/scalar.js.map

@@ -1 +1 @@
-{"version":3,"file":"scalar.js","sourceRoot":"","sources":["../../../../src/func/builtins/scalar.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEhF,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAK5F,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,4BAA4B,EAAE,uBAAuB,EAAE,MAAM,gDAAgD,CAAC;AACvH,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AAElI;;;;;;;;;;;GAWG;AACH,SAAS,cAAc,CAAC,KAA+C;IACtE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACxC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAExC,kCAAkC;IAClC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,OAAO;QAAE,OAAO,SAAS,CAAC;IAE9B,4DAA4D;IAC5D,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC;IAC1D,IAAI,UAAU,EAAE,CAAC;QAChB,mCAAmC;QACnC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACnD,IAAI,OAAO;YAAE,OAAO,SAAS,CAAC;QAC9B,cAAc;QACd,OAAO,YAAY,CAAC;IACrB,CAAC;IAED,8DAA8D;IAC9D,oDAAoD;IACpD,4BAA4B;IAC5B,8CAA8C;IAC9C,0CAA0C;IAC1C,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,iBAAiB;AACjB,MAAM,CAAC,MAAM,OAAO,GAAG,oBAAoB,CAC1C;IACC,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,sEAAsE;IACtE,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,wCAAwC;IACxC,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI;CAC9D,EACD,CAAC,GAAa,EAAY,EAAE;IAC3B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACtB,CAAC,CACD,CAAC;AAEF,uBAAuB;AACvB,MAAM,SAAS,GAAG,CAAC,MAAgB,EAAE,SAAoB,EAAY,EAAE;IACtE,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7B,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,IAAI,CAAC;IACb,CAAC;AACF,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG;IACvB,IAAI,EAAE,OAAO;IACb,aAAa,EAAE,IAAI;IACnB,sEAAsE;IACtE,eAAe,EAAE,CAAC,QAAkD,EAAE,EAAE,CAAC,CAAC;QACzE,SAAS,EAAE,QAAiB;QAC5B,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gBAAgB,EAAE,CAAC,QAAkD,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI;CACxG,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C,EAAE,GAAG,eAAe,EAAE,OAAO,EAAE,CAAC,EAAE,EAClC,SAAS,CACT,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C,EAAE,GAAG,eAAe,EAAE,OAAO,EAAE,CAAC,EAAE,EAClC,SAAS,CACT,CAAC;AAEF,wBAAwB;AACxB,MAAM,CAAC,MAAM,YAAY,GAAG,oBAAoB,CAC/C;IACC,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,IAAI;IACnB,2DAA2D;IAC3D,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;QACrC,QAAQ,EAAE,IAAI,EAAE,gDAAgD;QAChE,UAAU,EAAE,IAAI;KAChB,CAAC;CACF,EACD,CAAC,GAAG,IAAgB,EAAY,EAAE;IACjC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,GAAG,CAAC;QACZ,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC,CACD,CAAC;AAEF,uBAAuB;AAEvB;;;;;;;;;;;;;;;GAeG;AACH,SAAS,UAAU,CAClB,IAA4B,EAC5B,GAAoB,EACpB,YAAiF;IAEjF,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC7B,MAAM,aAAa,GAAG,4BAA4B,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,qBAAqB,CACvC,CAAC,CAAC,OAAO,EAAE,CAAC,WAAW,EACvB,CAAC,CAAC,OAAO,EAAE,CAAC,WAAW,EACvB,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CACnC,CAAC;IAEF,yEAAyE;IACzE,wDAAwD;IACxD,SAAS,GAAG,CAAC,KAAqB,EAAE,IAAc,EAAE,IAAc;QACjE,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,CAAC;IAED,OAAO;QACN,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACtD,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;QACf,IAAI,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,0BAA0B,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE;KACtG,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C;IACC,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACpB,mEAAmE;IACnE,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,IAAI,EAAE,gCAAgC;QAChD,UAAU,EAAE,IAAI;KAChB,CAAC;CACF;AACD,wEAAwE;AACxE,+EAA+E;AAC/E,CAAC,IAAc,EAAE,IAAc,EAAY,EAAE;IAC5C,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChD,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC,CACD,CAAC;AAEF,UAAU,CAAC,aAAa,GAAG,UAAU,CAAC;AAEtC,oBAAoB;AACpB,yEAAyE;AACzE,2EAA2E;AAC3E,yEAAyE;AACzE,0EAA0E;AAC1E,gCAAgC;AAChC,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C;IACC,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,UAAU,EAAE;QACX,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB;CACD,EACD,CAAC,GAAa,EAAY,EAAE;IAC3B,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC,CACD,CAAC;AAEF,mBAAmB;AACnB,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,EACpD,GAAa,EAAE;IACd,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAChI,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC;AAC1B,CAAC,CACD,CAAC;AAEF,wBAAwB;AACxB,MAAM,CAAC,MAAM,cAAc,GAAG,oBAAoB,CACjD,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,EACxD,CAAC,IAAc,EAAY,EAAE;IAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa;IAE1D,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC,CACD,CAAC;AAEF,uBAAuB;AACvB,MAAM,CAAC,MAAM,OAAO,GAAG,oBAAoB,CAC1C;IACC,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,yEAAyE;IACzE,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,yBAAyB;QAClF,QAAQ,EAAE,IAAI,EAAE,uDAAuD;QACvE,UAAU,EAAE,IAAI;KAChB,CAAC;CACF,EACD,CAAC,SAAmB,EAAE,OAAiB,EAAE,QAAkB,EAAY,EAAE;IACxE,IAAI,MAAe,CAAC;IACpB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,GAAG,KAAK,CAAC;IAChB,CAAC;SAAM,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,GAAG,SAAS,KAAK,CAAC,CAAC;IAC1B,CAAC;SAAM,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,GAAG,SAAS,KAAK,EAAE,CAAC;IAC3B,CAAC;SAAM,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACnC,CAAC;SAAM,CAAC;QACP,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AACpC,CAAC,CACD,CAAC;AAEF,kBAAkB;AAClB,MAAM,CAAC,MAAM,QAAQ,GAAG,oBAAoB,CAC3C;IACC,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,oEAAoE;IACpE,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,kBAAkB;QAC3F,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI;CAC9D,EACD,CAAC,GAAa,EAAY,EAAE;IAC3B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC,CACD,CAAC;AAEF,kCAAkC;AAElC,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,QAAkB,EAAY,EAAE;IAC5D,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,oBAAoB,CAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,EAChD,GAAG,CACH,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,oBAAoB,CAC5C,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,EAClD,GAAG,CACH,CAAC;AAEF,mBAAmB;AACnB,MAAM,CAAC,MAAM,SAAS,GAAG,oBAAoB,CAC5C;IACC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,sCAAsC;IACtC,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI;CAC9D,EACD,CAAC,GAAa,EAAY,EAAE;IAC3B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACxB,CAAC,CACD,CAAC;AAEF,+BAA+B;AAE/B,MAAM,IAAI,GAAG,CAAC,GAAa,EAAY,EAAE;IACxC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG;IACzB,eAAe,EAAE,CAAC,QAAkD,EAAE,EAAE,CAAC,CAAC;QACzE,SAAS,EAAE,QAAiB;QAC5B,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gBAAgB,EAAE,CAAC,QAAkD,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI;CACxG,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,oBAAoB,CAC3C,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,iBAAiB,EAAE,EACvE,IAAI,CACJ,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,oBAAoB,CAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,iBAAiB,EAAE,EAC1E,IAAI,CACJ,CAAC;AAEF,sBAAsB;AACtB,MAAM,CAAC,MAAM,SAAS,GAAG,oBAAoB,CAC5C;IACC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,gEAAgE;IAChE,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI;CAClI,EACD,CAAC,KAAe,EAAE,GAAa,EAAE,GAAa,EAAY,EAAE;IAC3D,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAE3B,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC,CACD,CAAC;AAEF,qCAAqC;AAErC;;;;;;;;;;;;;;;GAeG;AACH,SAAS,YAAY,CAAC,SAAiB;IACtC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,EAAE;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QACpD,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC;QAExG,SAAS,GAAG,CAAC,KAAqB,EAAE,GAAG,IAAgB;YACtD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;gBACpC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC;oBAC7D,OAAO,OAAO,CAAC;gBAChB,CAAC;gBACD,OAAO,IAAI,CAAC;YACb,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACb,CAAC;QAED,OAAO;YACN,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACtD,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;YACf,IAAI,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,0BAA0B,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE;SACtG,CAAC;IACH,CAAC,CAAC;AACH,CAAC;AAED,uBAAuB;AACvB,MAAM,CAAC,MAAM,YAAY,GAAG,oBAAoB,CAC/C;IACC,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,KAAK;IACnB,2DAA2D;IAC3D,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;QACrC,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;CACF;AACD,wEAAwE;AACxE,2EAA2E;AAC3E,CAAC,GAAG,IAAgB,EAAY,EAAE;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;QACnC,IAAI,GAAG,KAAK,IAAI,IAAI,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACb,CAAC,CACD,CAAC;AAEF,YAAY,CAAC,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;AAE7C,oBAAoB;AACpB,MAAM,CAAC,MAAM,SAAS,GAAG,oBAAoB,CAC5C;IACC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,KAAK;IACnB,2DAA2D;IAC3D,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;QACrC,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;CACF;AACD,wEAAwE;AACxE,2EAA2E;AAC3E,CAAC,GAAG,IAAgB,EAAY,EAAE;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;QACnC,IAAI,GAAG,KAAK,IAAI,IAAI,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACb,CAAC,CACD,CAAC;AAEF,SAAS,CAAC,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3C,kBAAkB;AAClB,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C;IACC,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,IAAI;IACnB,4FAA4F;IAC5F,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE;QAC7B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,oCAAoC;YACpC,OAAO;gBACN,SAAS,EAAE,QAAQ;gBACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ;gBACpC,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,IAAI;aAChB,CAAC;QACH,CAAC;QACD,4EAA4E;QAC5E,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,OAAO;YACN,SAAS,EAAE,QAAQ;YACnB,WAAW,EAAE,cAAc,CAAC,UAAU,CAAC;YACvC,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,IAAI;SAChB,CAAC;IACH,CAAC;CACD,EACD,CAAC,GAAG,IAAgB,EAAY,EAAE;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACnE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;AACpB,CAAC,CACD,CAAC"}
+{"version":3,"file":"scalar.js","sourceRoot":"","sources":["../../../../src/func/builtins/scalar.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEhF,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAKpH,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,uBAAuB,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAC5G,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gDAAgD,CAAC;AAEpH,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AAEvJ;;;;;;;;;;;GAWG;AACH,SAAS,cAAc,CAAC,KAA+C;IACtE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACxC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAExC,kCAAkC;IAClC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,OAAO;QAAE,OAAO,SAAS,CAAC;IAE9B,4DAA4D;IAC5D,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC;IAC1D,IAAI,UAAU,EAAE,CAAC;QAChB,mCAAmC;QACnC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACnD,IAAI,OAAO;YAAE,OAAO,SAAS,CAAC;QAC9B,cAAc;QACd,OAAO,YAAY,CAAC;IACrB,CAAC;IAED,8DAA8D;IAC9D,yEAAyE;IACzE,gFAAgF;IAChF,0EAA0E;IAC1E,4EAA4E;IAC5E,8EAA8E;IAC9E,gFAAgF;IAChF,gFAAgF;IAChF,4EAA4E;IAC5E,4EAA4E;IAC5E,8EAA8E;IAC9E,+BAA+B;IAC/B,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,iBAAiB;AACjB,MAAM,CAAC,MAAM,OAAO,GAAG,oBAAoB,CAC1C;IACC,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,sEAAsE;IACtE,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,6EAA6E;IAC7E,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CACnE,EACD,CAAC,GAAa,EAAY,EAAE;IAC3B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACtB,CAAC,CACD,CAAC;AAEF,uBAAuB;AACvB,MAAM,SAAS,GAAG,CAAC,MAAgB,EAAE,SAAoB,EAAY,EAAE;IACtE,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7B,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,IAAI,CAAC;IACb,CAAC;AACF,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG;IACvB,IAAI,EAAE,OAAO;IACb,aAAa,EAAE,IAAI;IACnB,sEAAsE;IACtE,eAAe,EAAE,CAAC,QAAkD,EAAE,EAAE,CAAC,CAAC;QACzE,SAAS,EAAE,QAAiB;QAC5B,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gBAAgB,EAAE,CAAC,QAAkD,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CAC7G,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C,EAAE,GAAG,eAAe,EAAE,OAAO,EAAE,CAAC,EAAE,EAClC,SAAS,CACT,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C,EAAE,GAAG,eAAe,EAAE,OAAO,EAAE,CAAC,EAAE,EAClC,SAAS,CACT,CAAC;AAEF,wBAAwB;AACxB,MAAM,CAAC,MAAM,YAAY,GAAG,oBAAoB,CAC/C;IACC,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,IAAI;IACnB,2DAA2D;IAC3D,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;QACrC,QAAQ,EAAE,IAAI,EAAE,gDAAgD;QAChE,UAAU,EAAE,IAAI;KAChB,CAAC;CACF,EACD,CAAC,GAAG,IAAgB,EAAY,EAAE;IACjC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,GAAG,CAAC;QACZ,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC,CACD,CAAC;AAEF,uBAAuB;AAEvB;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,IAA4B;IACxD,OAAO,mBAAmB,CACzB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,EACrC,IAAI,CAAC,cAAc,CAAC,YAAY,IAAI,EAAE,CACtC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,SAAS,UAAU,CAClB,IAA4B,EAC5B,GAAoB,EACpB,YAAiF;IAEjF,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,aAAa,GAAG,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,qBAAqB,CACvC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAC1B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAC1B,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CACnC,CAAC;IAEF,yEAAyE;IACzE,wDAAwD;IACxD,SAAS,GAAG,CAAC,KAAqB,EAAE,IAAc,EAAE,IAAc;QACjE,OAAO,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/E,CAAC;IAED,OAAO;QACN,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACtD,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;QACf,IAAI,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,0BAA0B,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE;KACtG,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C;IACC,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACpB,UAAU,EAAE,IAAI;IAChB,2EAA2E;IAC3E,8EAA8E;IAC9E,uDAAuD;IACvD,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,IAAI,EAAE,gCAAgC;QAChD,UAAU,EAAE,IAAI;KAChB,CAAC;CACF;AACD,kFAAkF;AAClF,4EAA4E;AAC5E,qEAAqE;AACrE,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,gFAAgF;AAChF,8EAA8E;AAC9E,8EAA8E;AAC9E,2DAA2D;AAC3D,CAAC,IAAc,EAAE,IAAc,EAAY,EAAE;IAC5C,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChD,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC,CACD,CAAC;AAEF,UAAU,CAAC,aAAa,GAAG,UAAU,CAAC;AAEtC,oBAAoB;AACpB,yEAAyE;AACzE,2EAA2E;AAC3E,yEAAyE;AACzE,0EAA0E;AAC1E,gCAAgC;AAChC,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C;IACC,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,UAAU,EAAE,oBAAoB;CAChC,EACD,CAAC,GAAa,EAAY,EAAE;IAC3B,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC,CACD,CAAC;AAEF,mBAAmB;AACnB,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,EAAE,uBAAuB,EAAE,EACzF,GAAa,EAAE;IACd,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAChI,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC;AAC1B,CAAC,CACD,CAAC;AAEF,wBAAwB;AACxB,MAAM,CAAC,MAAM,cAAc,GAAG,oBAAoB,CACjD,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,EACjF,CAAC,IAAc,EAAY,EAAE;IAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa;IAE1D,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC,CACD,CAAC;AAEF,uBAAuB;AACvB,MAAM,CAAC,MAAM,OAAO,GAAG,oBAAoB,CAC1C;IACC,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,yEAAyE;IACzE,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,yBAAyB;QAClF,QAAQ,EAAE,IAAI,EAAE,uDAAuD;QACvE,UAAU,EAAE,IAAI;KAChB,CAAC;CACF,EACD,CAAC,SAAmB,EAAE,OAAiB,EAAE,QAAkB,EAAY,EAAE;IACxE,IAAI,MAAe,CAAC;IACpB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,GAAG,KAAK,CAAC;IAChB,CAAC;SAAM,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,GAAG,SAAS,KAAK,CAAC,CAAC;IAC1B,CAAC;SAAM,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,GAAG,SAAS,KAAK,EAAE,CAAC;IAC3B,CAAC;SAAM,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACnC,CAAC;SAAM,CAAC;QACP,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AACpC,CAAC,CACD,CAAC;AAEF,kBAAkB;AAClB,MAAM,CAAC,MAAM,QAAQ,GAAG,oBAAoB,CAC3C;IACC,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,gFAAgF;IAChF,iFAAiF;IACjF,uEAAuE;IACvE,+EAA+E;IAC/E,wBAAwB;IACxB,UAAU,EAAE,WAAW;IACvB,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CACnE,EACD,CAAC,GAAa,EAAY,EAAE;IAC3B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC,CACD,CAAC;AAEF,kCAAkC;AAElC,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,QAAkB,EAAY,EAAE;IAC5D,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,qFAAqF;AACrF,uFAAuF;AACvF,MAAM,CAAC,MAAM,OAAO,GAAG,oBAAoB,CAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,EACzE,GAAG,CACH,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,oBAAoB,CAC5C,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,EAC3E,GAAG,CACH,CAAC;AAEF,mBAAmB;AACnB,MAAM,CAAC,MAAM,SAAS,GAAG,oBAAoB,CAC5C;IACC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,sCAAsC;IACtC,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CACnE,EACD,CAAC,GAAa,EAAY,EAAE;IAC3B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACxB,CAAC,CACD,CAAC;AAEF,+BAA+B;AAE/B,MAAM,IAAI,GAAG,CAAC,GAAa,EAAY,EAAE;IACxC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG;IACzB,eAAe,EAAE,CAAC,QAAkD,EAAE,EAAE,CAAC,CAAC;QACzE,SAAS,EAAE,QAAiB;QAC5B,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gBAAgB,EAAE,CAAC,QAAkD,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CAC7G,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,oBAAoB,CAC3C,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,iBAAiB,EAAE,EACvE,IAAI,CACJ,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,oBAAoB,CAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,iBAAiB,EAAE,EAC1E,IAAI,CACJ,CAAC;AAEF,sBAAsB;AACtB,MAAM,CAAC,MAAM,SAAS,GAAG,oBAAoB,CAC5C;IACC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,CAAC;IACV,aAAa,EAAE,IAAI;IACnB,gEAAgE;IAChE,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,sBAAsB,CAAC;CACtE,EACD,CAAC,KAAe,EAAE,GAAa,EAAE,GAAa,EAAY,EAAE;IAC3D,gFAAgF;IAChF,+EAA+E;IAC/E,mDAAmD;IACnD,IAAI,KAAK,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAE3B,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC,CACD,CAAC;AAEF,qCAAqC;AAErC;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,SAAS,YAAY,CAAC,SAAiB;IACtC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,EAAE;QAClC,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5E,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC;QAE9G,SAAS,GAAG,CAAC,KAAqB,EAAE,GAAG,IAAgB;YACtD,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;YACnB,IAAI,OAAO,GAAa,IAAI,CAAC;YAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACzC,IAAI,UAAU,KAAK,IAAI;oBAAE,SAAS;gBAClC,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC;oBACtE,SAAS,GAAG,CAAC,CAAC;oBACd,OAAO,GAAG,UAAU,CAAC;gBACtB,CAAC;YACF,CAAC;YACD,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClD,CAAC;QAED,OAAO;YACN,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACtD,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;YACf,IAAI,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,0BAA0B,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE;SACtG,CAAC;IACH,CAAC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,kBAAkB,CAC1B,QAAkD;IAElD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/D,8EAA8E;IAC9E,2BAA2B;IAC3B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC;IAC3D,OAAO,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AAClE,CAAC;AAED,uBAAuB;AACvB,MAAM,CAAC,MAAM,YAAY,GAAG,oBAAoB,CAC/C;IACC,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,KAAK;IACnB,UAAU,EAAE,IAAI;IAChB,2EAA2E;IAC3E,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QACzC,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;CACF;AACD,gFAAgF;AAChF,CAAC,GAAG,IAAgB,EAAY,EAAE;IACjC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAa,EAAE,OAAO,EAAE,EAAE;QAC7C,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,GAAG,CAAC;QACjC,IAAI,GAAG,KAAK,IAAI,IAAI,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC,EAAE,IAAI,CAAC,CAAC;AACV,CAAC,CACD,CAAC;AAEF,YAAY,CAAC,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;AAE7C,oBAAoB;AACpB,MAAM,CAAC,MAAM,SAAS,GAAG,oBAAoB,CAC5C;IACC,IAAI,EAAE,OAAO;IACb,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,KAAK;IACnB,UAAU,EAAE,IAAI;IAChB,2EAA2E;IAC3E,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QACzC,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;CACF;AACD,gFAAgF;AAChF,CAAC,GAAG,IAAgB,EAAY,EAAE;IACjC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAa,EAAE,OAAO,EAAE,EAAE;QAC7C,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,GAAG,CAAC;QACjC,IAAI,GAAG,KAAK,IAAI,IAAI,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC,EAAE,IAAI,CAAC,CAAC;AACV,CAAC,CACD,CAAC;AAEF,SAAS,CAAC,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3C,kBAAkB;AAClB,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAC7C;IACC,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,IAAI;IACnB,4FAA4F;IAC5F,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE;QAC7B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,oCAAoC;YACpC,OAAO;gBACN,SAAS,EAAE,QAAQ;gBACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ;gBACpC,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,IAAI;aAChB,CAAC;QACH,CAAC;QACD,4EAA4E;QAC5E,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,OAAO;YACN,SAAS,EAAE,QAAQ;YACnB,WAAW,EAAE,cAAc,CAAC,UAAU,CAAC;YACvC,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,IAAI;SAChB,CAAC;IACH,CAAC;CACD,EACD,CAAC,GAAG,IAAgB,EAAY,EAAE;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACnE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;AACpB,CAAC,CACD,CAAC"}

package/dist/src/func/builtins/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../../src/func/builtins/schema.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAwF/D,eAAO,MAAM,UAAU,8DAyHtB,CAAC;AAGF,eAAO,MAAM,aAAa,8DA4DzB,CAAC;AAGF,eAAO,MAAM,kBAAkB,8DAiF9B,CAAC;AAGF,eAAO,MAAM,aAAa,8DAoEzB,CAAC;AAGF,eAAO,MAAM,uBAAuB,8DAmDnC,CAAC;AAGF,eAAO,MAAM,wBAAwB,8DAwDpC,CAAC;AAGF,eAAO,MAAM,iBAAiB,8DAoC7B,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,cAAc,GAAG,MAAM,CAMnE;AAeD,eAAO,MAAM,gBAAgB,8DA4C5B,CAAC;AAmVF,eAAO,MAAM,YAAY,8DA0DxB,CAAC;AAiSF,eAAO,MAAM,cAAc,8DA4C1B,CAAC"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../../src/func/builtins/schema.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAyF/D,eAAO,MAAM,UAAU,8DAgItB,CAAC;AAGF,eAAO,MAAM,aAAa,8DA4DzB,CAAC;AAGF,eAAO,MAAM,kBAAkB,8DAiF9B,CAAC;AAGF,eAAO,MAAM,aAAa,8DAoEzB,CAAC;AAGF,eAAO,MAAM,uBAAuB,8DAmDnC,CAAC;AAGF,eAAO,MAAM,wBAAwB,8DAwDpC,CAAC;AAGF,eAAO,MAAM,iBAAiB,8DAwC7B,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,cAAc,GAAG,MAAM,CAMnE;AAeD,eAAO,MAAM,gBAAgB,8DA4C5B,CAAC;AAwWF,eAAO,MAAM,YAAY,8DA0DxB,CAAC;AAkSF,eAAO,MAAM,cAAc,8DA4C1B,CAAC"}

package/dist/src/func/builtins/schema.js

@@ -3,7 +3,7 @@ import { QuereusError } from "../../common/errors.js";
 import { StatusCode } from "../../common/types.js";
 import { isScalarFunctionSchema, isTableValuedFunctionSchema, isAggregateFunctionSchema } from "../../schema/function.js";
 import { isWindowFunction } from "../../schema/window-function.js";
-import { exposedImplicitIndexes } from "../../schema/catalog.js";
+import { exposedImplicitIndexes, isHiddenImplicitIndex } from "../../schema/catalog.js";
 import { isMaintainedTable } from "../../schema/derivation.js";
 import { generateMaintainedTableDDL } from "../../schema/ddl-generator.js";
 import { INTEGER_TYPE, TEXT_TYPE } from "../../types/builtin-types.js";
@@ -12,6 +12,7 @@ import { RowOpFlag } from "../../schema/table.js";
 import { jsonStringify } from "../../util/serialization.js";
 import { expressionToString } from "../../emit/ast-stringify.js";
 import { createLogger } from "../../common/logger.js";
+import { firstDataModifyingCte } from "../../parser/utils.js";
 import { TableReferenceNode } from "../../planner/nodes/reference.js";
 import { isJoinBody, isDecomposableJoinBody } from "../../planner/mutation/multi-source.js";
 import { isSetOpMembershipBody, isSetOpBranchWritable, setOpHasSubtreeOperand, setOpJoinLegsInsertable, surfacedInnerFlagNames, isSetOpFlaglessWritableBody, flaglessDiscriminatorColumnNames } from "../../planner/mutation/set-op.js";
@@ -132,9 +133,17 @@ export const schemaFunc = createIntegratedTableValuedFunction({
                     createSql,
                     tagsToJson(tableSchema.tags)
                 ];
-                // Process Indexes for this table
+                // Process Indexes for this table. A hidden implicit covering structure
+                // (a plain UNIQUE's auto-built index) is a backing detail, not a
+                // user-addressable index — same rule `collectSchemaCatalog` applies.
+                // NOTE: `isHiddenImplicitIndex` rebuilds the table's exposure map per
+                // call, so this is O(indexes × unique constraints) per table; if a
+                // table ever carries enough of both to matter, hoist the map the way
+                // `collectSchemaCatalog` does.
                 if (tableSchema.indexes) {
                     for (const indexSchema of tableSchema.indexes) {
+                        if (isHiddenImplicitIndex(tableSchema, indexSchema.name))
+                            continue;
                         yield [
                             schemaName,
                             'index',
@@ -371,7 +380,7 @@ export const indexInfoFunc = createIntegratedTableValuedFunction({
     // matches across backends. Synthetic descriptors carry no `unique` flag —
     // UNIQUE enforcement routes through `uniqueConstraints` — so they report
     // `unique = 0`, mirroring the memory materialized entry.
-    const realIndexes = table.indexes ?? [];
+    const realIndexes = (table.indexes ?? []).filter(idx => !isHiddenImplicitIndex(table, idx.name));
     const synthetic = exposedImplicitIndexes(table);
     if (realIndexes.length === 0 && synthetic.length === 0)
         return;
@@ -506,6 +515,7 @@ export const assertionInfoFunc = createIntegratedTableValuedFunction({
         isReadOnly: true,
         isSet: false,
         columns: [
+            { name: 'schema_name', type: { typeClass: 'scalar', logicalType: TEXT_TYPE, nullable: false, isReadOnly: true }, generated: true },
             { name: 'name', type: { typeClass: 'scalar', logicalType: TEXT_TYPE, nullable: false, isReadOnly: true }, generated: true },
             { name: 'violation_sql', type: { typeClass: 'scalar', logicalType: TEXT_TYPE, nullable: false, isReadOnly: true }, generated: true },
             { name: 'deferrable', type: { typeClass: 'scalar', logicalType: INTEGER_TYPE, nullable: false, isReadOnly: true }, generated: true },
@@ -517,12 +527,15 @@ export const assertionInfoFunc = createIntegratedTableValuedFunction({
     },
     relationalAdvertisement: {
         isSet: true,
-        keys: [[{ index: 0 }]],
+        // Assertion names are unique per schema, not globally — the honest key
+        // is the (schema_name, name) pair.
+        keys: [[{ index: 0 }, { index: 1 }]],
     },
 }, async function* (db) {
     for (const assertion of db.schemaManager.getAllAssertions()) {
         const deps = assertion.dependentTables ?? [];
         yield [
+            assertion.schemaName,
             assertion.name,
             assertion.violationSql,
             assertion.deferrable ? 1 : 0,
@@ -653,6 +666,18 @@ function buildTableRefsById(nodes) {
     }
     return tableRefsById;
 }
+/**
+ * True when the view body's own `WITH` clause defines a data-modifying block — an
+ * `insert`/`update`/`delete … returning` CTE. The static shadow of the dynamic write
+ * path's `rejectDataModifyingBodyCTE` gate, so `view_info` reports the conservative row
+ * for a shape every write through it rejects. Both read the same predicate
+ * (`firstDataModifyingCte`) so the two cannot drift apart.
+ */
+function hasDataModifyingBodyCte(selectAst) {
+    if (selectAst.type !== 'select' || !selectAst.withClause)
+        return false;
+    return firstDataModifyingCte(selectAst.withClause) !== undefined;
+}
 /** Record `baseColumn` (lowercased) as defaultable for base table `table`. */
 function addDefaultable(map, table, baseColumn) {
     const set = map.get(table) ?? new Set();
@@ -673,7 +698,16 @@ function addDefaultable(map, table, baseColumn) {
  * caching is a later optimization.
  */
 function deriveViewInfo(db, view) {
-    const { plan } = db._buildPlan([view.selectAst]);
+    // Data-modifying body `with` block (`with m as (insert … returning …)`): the body plans
+    // fine — and its lineage may look perfectly writable — but every write through the view
+    // is rejected up front (`unsupported-body-cte-dml`, `rejectDataModifyingBodyCTE` in
+    // `planner/building/view-mutation-builder.ts`), so reporting anything but the conservative
+    // row would over-claim. Mirrors the `isJoinBody && !isDecomposableJoinBody` shape gate below;
+    // answered from the AST alone, so it runs BEFORE the body re-plan below rather than after it.
+    if (hasDataModifyingBodyCte(view.selectAst))
+        return CONSERVATIVE_VIEW_INFO;
+    // Home-schema path: the body's unqualified names resolve next to the view.
+    const { plan } = db._buildPlan([view.selectAst], undefined, db._homeSchemaPath(view.schemaName));
     const root = plan.getRelations()[0];
     if (!root)
         return CONSERVATIVE_VIEW_INFO;
@@ -708,7 +742,7 @@ function deriveViewInfo(db, view) {
         // operand is a subtree: inserting into a multi-leaf subtree has no single deterministic
         // target leaf (product-coordinate addressing — `set-op-membership-nested`).
         const isInsertableInto = !setOpHasSubtreeOperand(view.selectAst)
-            && setOpJoinLegsInsertable(db._buildProbeContext(), viewAsMutable);
+            && setOpJoinLegsInsertable(db._buildProbeContext(undefined, db._homeSchemaPath(view.schemaName)), viewAsMutable);
         return { isInsertableInto, isUpdatable: true, isDeletable: true, effectiveTargets: targets };
     }
     // Flag-less predicate-honest set-op body (`set-op-flagless-predicate-honest-writes`): a
@@ -726,7 +760,7 @@ function deriveViewInfo(db, view) {
         // a body whose join legs are ALL insertable — re-derived dynamically by
         // `setOpJoinLegsInsertable` (NO for a composite-key / no-default / non-equi join leg) —
         // matching the dynamic `buildFlaglessInsert`; UPDATE / DELETE through the join leg stay YES.
-        const isInsertableInto = setOpJoinLegsInsertable(db._buildProbeContext(), viewAsMutable);
+        const isInsertableInto = setOpJoinLegsInsertable(db._buildProbeContext(undefined, db._homeSchemaPath(view.schemaName)), viewAsMutable);
         return { isInsertableInto, isUpdatable: true, isDeletable: true, effectiveTargets: targets };
     }
     // Non-decomposable join shape gate: cross / comma (implicit) / subquery- or
@@ -1071,7 +1105,8 @@ function deriveColumnInfo(db, name) {
  * attribute names the AST probes report.
  */
 function deriveBodyColumnRows(db, schemaName, objectName, selectAst, columnNames) {
-    const { plan } = db._buildPlan([selectAst]);
+    // Home-schema path: the body's unqualified names resolve next to the owner.
+    const { plan } = db._buildPlan([selectAst], undefined, db._homeSchemaPath(schemaName));
     const root = plan.getRelations()[0];
     if (!root)
         return [];