@quereus/quereus 2.9.0 → 3.0.1

package/dist/src/runtime/foreign-key-actions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"foreign-key-actions.d.ts","sourceRoot":"","sources":["../../../src/runtime/foreign-key-actions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAA8B,MAAM,oBAAoB,CAAC;AAElF,OAAO,KAAK,EAAE,GAAG,EAAY,MAAM,oBAAoB,CAAC;AAQxD;;;;;;;;;GASG;AACH,wBAAsB,wBAAwB,CAC7C,EAAE,EAAE,QAAQ,EACZ,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,QAAQ,GAAG,QAAQ,EAC9B,MAAM,EAAE,GAAG,EACX,MAAM,CAAC,EAAE,GAAG,EACZ,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GACzB,OAAO,CAAC,IAAI,CAAC,CAmDf"}
+{"version":3,"file":"foreign-key-actions.d.ts","sourceRoot":"","sources":["../../../src/runtime/foreign-key-actions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAA8B,MAAM,oBAAoB,CAAC;AAElF,OAAO,KAAK,EAAE,GAAG,EAAY,MAAM,oBAAoB,CAAC;AASxD;;;;;;;;;GASG;AACH,wBAAsB,wBAAwB,CAC7C,EAAE,EAAE,QAAQ,EACZ,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,QAAQ,GAAG,QAAQ,EAC9B,MAAM,EAAE,GAAG,EACX,MAAM,CAAC,EAAE,GAAG,EACZ,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GACzB,OAAO,CAAC,IAAI,CAAC,CAmDf;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,0CAA0C,CAC/D,EAAE,EAAE,QAAQ,EACZ,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,QAAQ,GAAG,QAAQ,EAC9B,MAAM,EAAE,GAAG,EACX,MAAM,CAAC,EAAE,GAAG,EACZ,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GACnB,OAAO,CAAC,IAAI,CAAC,CAoHf;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,2CAA2C,CAChE,EAAE,EAAE,QAAQ,EACZ,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,QAAQ,GAAG,QAAQ,EAC9B,MAAM,EAAE,GAAG,EACX,MAAM,CAAC,EAAE,GAAG,GACV,OAAO,CAAC,IAAI,CAAC,CAmEf"}

package/dist/src/runtime/foreign-key-actions.js

@@ -2,7 +2,8 @@ import { resolveReferencedColumns } from '../schema/table.js';
 import { QuereusError } from '../common/errors.js';
 import { StatusCode } from '../common/types.js';
 import { createLogger } from '../common/logger.js';
-import { expressionToString } from '../emit/ast-stringify.js';
+import { expressionToString, quoteIdentifier } from '../emit/ast-stringify.js';
+import { sqlValuesEqual } from '../util/comparison.js';
 const log = createLogger('runtime:fk-actions');
 /**
  * Executes cascading foreign key actions when a parent row is deleted or updated.
@@ -56,6 +57,223 @@ export async function executeForeignKeyActions(db, parentTable, operation, oldRo
         visited.delete(parentKey);
     }
 }
+/**
+ * Pre-walk the FK action graph rooted at `parentTable` and assert that no
+ * RESTRICT child anywhere in the transitive cascade closure blocks the
+ * mutation. Reads happen at call time — the caller is responsible for
+ * invoking this BEFORE `vtab.update` runs, so OLD-value scans still resolve
+ * for backends with rowid-mode FK columns (lamina) where post-mutation
+ * scans would dereference through the new parent value.
+ *
+ * The walk:
+ *   1. Runs the existing direct RESTRICT scan
+ *      (`assertNoRestrictedChildrenForParentMutation`) for `parentTable`.
+ *   2. For each child FK with action `cascade` / `setNull` / `setDefault`
+ *      that would propagate a column change (UPDATE: parent's referenced
+ *      column changed; DELETE: always), enumerates the matching child
+ *      rows and computes the would-be post-cascade row. Recurses with the
+ *      child as the new "parent" — for UPDATE with `cascade` the recursion
+ *      carries the new FK column values forward; for DELETE the recursion
+ *      treats the cascade as another DELETE; SET NULL recurses with the
+ *      child's projected new row.
+ *   3. Cycle detection via a `visited` set keyed by
+ *      `${schemaName}.${tableName}` (matches the existing walker's key).
+ */
+export async function assertTransitiveRestrictsForParentMutation(db, parentTable, operation, oldRow, newRow, visited) {
+    log('TRANSITIVE entry: parent=%s op=%s fk-pragma=%o', parentTable.name, operation, db.options.getBooleanOption('foreign_keys'));
+    if (!db.options.getBooleanOption('foreign_keys'))
+        return;
+    const visitedSet = visited ?? new Set();
+    const parentKey = `${parentTable.schemaName}.${parentTable.name}`.toLowerCase();
+    if (visitedSet.has(parentKey))
+        return;
+    visitedSet.add(parentKey);
+    try {
+        // Step 1: direct RESTRICT scan for this parent.
+        log('TRANSITIVE step1: parent=%s op=%s', parentTable.name, operation);
+        await assertNoRestrictedChildrenForParentMutation(db, parentTable, operation, oldRow, newRow);
+        // Step 2: recurse through cascading children that would propagate a
+        // referenced-column change. For each FK whose action would rewrite or
+        // delete child rows, scan the matching children NOW (pre-mutation, so
+        // the parent's OLD values still resolve), compute the projected child
+        // row, and recurse with that child as the new "parent".
+        const parentSchemaLower = parentTable.schemaName.toLowerCase();
+        const parentTableLower = parentTable.name.toLowerCase();
+        for (const schema of db.schemaManager._getAllSchemas()) {
+            for (const childTable of schema.getAllTables()) {
+                if (!childTable.foreignKeys)
+                    continue;
+                for (const fk of childTable.foreignKeys) {
+                    if (fk.referencedTable.toLowerCase() !== parentTableLower)
+                        continue;
+                    const targetSchema = fk.referencedSchema ?? childTable.schemaName;
+                    if (targetSchema.toLowerCase() !== parentSchemaLower)
+                        continue;
+                    const action = operation === 'delete' ? fk.onDelete : fk.onUpdate;
+                    if (action !== 'cascade' && action !== 'setNull' && action !== 'setDefault')
+                        continue;
+                    const parentColIndices = resolveReferencedColumns(fk, parentTable);
+                    if (parentColIndices.length !== fk.columns.length)
+                        continue;
+                    // MATCH SIMPLE: NULL parent values cannot be referenced.
+                    const oldParentValues = parentColIndices.map(idx => oldRow[idx]);
+                    if (oldParentValues.some(v => v === null || v === undefined))
+                        continue;
+                    // UPDATE-only short-circuit: skip if no referenced parent column changed.
+                    let newParentValues;
+                    if (operation === 'update' && newRow !== undefined) {
+                        let anyChanged = false;
+                        for (const idx of parentColIndices) {
+                            if (!sqlValuesEqual(oldRow[idx], newRow[idx])) {
+                                anyChanged = true;
+                                break;
+                            }
+                        }
+                        if (!anyChanged)
+                            continue;
+                        newParentValues = parentColIndices.map(idx => newRow[idx]);
+                    }
+                    // Scan child rows that match the OLD parent values.
+                    const childColQuoted = fk.columns.map(idx => quoteIdentifier(childTable.columns[idx].name));
+                    const whereClause = childColQuoted.map(c => `${c} = ?`).join(' AND ');
+                    const schemaPrefix = childTable.schemaName.toLowerCase() !== 'main'
+                        ? `${quoteIdentifier(childTable.schemaName)}.`
+                        : '';
+                    const sql = `select * from ${schemaPrefix}${quoteIdentifier(childTable.name)} where ${whereClause}`;
+                    log('TRANSITIVE pre-walk: %s with params %o', sql, oldParentValues);
+                    const stmt = db.prepare(sql);
+                    try {
+                        stmt.bindAll(oldParentValues);
+                        for await (const childOldRow of stmt._iterateRowsRaw()) {
+                            let childNewRow;
+                            let childOp;
+                            if (action === 'cascade' && operation === 'delete') {
+                                childOp = 'delete';
+                                childNewRow = undefined;
+                            }
+                            else if (action === 'cascade' && operation === 'update' && newParentValues) {
+                                childOp = 'update';
+                                const next = [...childOldRow];
+                                for (let i = 0; i < fk.columns.length; i++) {
+                                    next[fk.columns[i]] = newParentValues[i];
+                                }
+                                childNewRow = next;
+                            }
+                            else if (action === 'setNull') {
+                                childOp = 'update';
+                                const next = [...childOldRow];
+                                for (let i = 0; i < fk.columns.length; i++) {
+                                    next[fk.columns[i]] = null;
+                                }
+                                childNewRow = next;
+                            }
+                            else if (action === 'setDefault') {
+                                // SET DEFAULT recursion: pass the child OLD row as both
+                                // old and new. The recursion's column-change short-circuit
+                                // will treat this as "no FK column moved" and the per-target
+                                // cascade SQL (executeSingleFKAction) still fires its own
+                                // RESTRICT enforcement for non-rowid-chained backends. This
+                                // matches the coverage gap SET DEFAULT already has in
+                                // rowid-chained backends — no regression beyond status quo.
+                                childOp = 'update';
+                                childNewRow = childOldRow;
+                            }
+                            else {
+                                continue;
+                            }
+                            await assertTransitiveRestrictsForParentMutation(db, childTable, childOp, childOldRow, childNewRow, visitedSet);
+                        }
+                    }
+                    finally {
+                        await stmt.finalize();
+                    }
+                }
+            }
+        }
+    }
+    finally {
+        visitedSet.delete(parentKey);
+    }
+}
+/**
+ * Backend-agnostic RESTRICT pre-check fired by the runtime DML executor BEFORE
+ * a parent DELETE or UPDATE hits the vtab. Mirrors the plan-time `NOT EXISTS`
+ * synthesized by `buildParentSideFKChecks`, but uses a direct `select 1 ... limit 1`
+ * against the child table so any vtab module sees a consistent enforcement path.
+ *
+ * The plan-time check remains in force; this runtime pass is defense-in-depth
+ * for vtab modules where the embedded subquery's evaluation diverges from a
+ * plain row scan (correlation handling, isolation snapshots, predicate
+ * pushdown quirks, etc.).
+ *
+ * No-op when `foreign_keys` is off, when no FK references this parent table
+ * with action `'restrict'`, when any old referenced value is NULL (MATCH SIMPLE),
+ * or — for UPDATE — when no referenced parent column changed.
+ */
+export async function assertNoRestrictedChildrenForParentMutation(db, parentTable, operation, oldRow, newRow) {
+    if (!db.options.getBooleanOption('foreign_keys'))
+        return;
+    const parentSchemaLower = parentTable.schemaName.toLowerCase();
+    const parentTableLower = parentTable.name.toLowerCase();
+    for (const schema of db.schemaManager._getAllSchemas()) {
+        for (const childTable of schema.getAllTables()) {
+            if (!childTable.foreignKeys)
+                continue;
+            for (const fk of childTable.foreignKeys) {
+                if (fk.referencedTable.toLowerCase() !== parentTableLower)
+                    continue;
+                const targetSchema = fk.referencedSchema ?? childTable.schemaName;
+                if (targetSchema.toLowerCase() !== parentSchemaLower)
+                    continue;
+                const action = operation === 'delete' ? fk.onDelete : fk.onUpdate;
+                if (action !== 'restrict')
+                    continue;
+                const parentColIndices = resolveReferencedColumns(fk, parentTable);
+                if (parentColIndices.length !== fk.columns.length)
+                    continue;
+                // UPDATE: only enforce when at least one referenced parent column changed.
+                if (operation === 'update' && newRow !== undefined) {
+                    let anyChanged = false;
+                    for (const idx of parentColIndices) {
+                        if (!sqlValuesEqual(oldRow[idx], newRow[idx])) {
+                            anyChanged = true;
+                            break;
+                        }
+                    }
+                    if (!anyChanged)
+                        continue;
+                }
+                // MATCH SIMPLE: NULL parent values cannot be referenced.
+                const oldParentValues = parentColIndices.map(idx => oldRow[idx]);
+                if (oldParentValues.some(v => v === null || v === undefined))
+                    continue;
+                const childColNames = fk.columns.map(idx => quoteIdentifier(childTable.columns[idx].name));
+                const whereClause = childColNames.map(c => `${c} = ?`).join(' AND ');
+                const schemaPrefix = childTable.schemaName.toLowerCase() !== 'main'
+                    ? `${quoteIdentifier(childTable.schemaName)}.`
+                    : '';
+                const sql = `select 1 from ${schemaPrefix}${quoteIdentifier(childTable.name)} where ${whereClause} limit 1`;
+                log('RESTRICT check (%s): %s with params %o', operation, sql, oldParentValues);
+                const stmt = db.prepare(sql);
+                try {
+                    stmt.bindAll(oldParentValues);
+                    let referenced = false;
+                    for await (const _row of stmt._iterateRowsRaw()) {
+                        referenced = true;
+                        break;
+                    }
+                    if (referenced) {
+                        const opName = operation === 'delete' ? 'DELETE' : 'UPDATE';
+                        throw new QuereusError(`FOREIGN KEY constraint failed: ${opName} on '${parentTable.name}' violates RESTRICT from '${childTable.name}'`, StatusCode.CONSTRAINT);
+                    }
+                }
+                finally {
+                    await stmt.finalize();
+                }
+            }
+        }
+    }
+}
 async function executeSingleFKAction(db, childTable, fk, action, parentTable, parentColIndices, oldParentValues, newRow, _visited) {
     const childColNames = fk.columns.map(idx => childTable.columns[idx].name);
     const whereClause = childColNames

package/dist/src/runtime/foreign-key-actions.js.map

@@ -1 +1 @@
-{"version":3,"file":"foreign-key-actions.js","sourceRoot":"","sources":["../../../src/runtime/foreign-key-actions.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAE9D,MAAM,GAAG,GAAG,YAAY,CAAC,oBAAoB,CAAC,CAAC;AAE/C;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC7C,EAAY,EACZ,WAAwB,EACxB,SAA8B,EAC9B,MAAW,EACX,MAAY,EACZ,aAA2B;IAE3B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC;QAAE,OAAO;IAEzD,MAAM,OAAO,GAAG,aAAa,IAAI,IAAI,GAAG,EAAU,CAAC;IACnD,MAAM,SAAS,GAAG,GAAG,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAEhF,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,YAAY,CACrB,uDAAuD,WAAW,CAAC,IAAI,GAAG,EAC1E,UAAU,CAAC,UAAU,CACrB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAEvB,IAAI,CAAC;QACJ,yDAAyD;QACzD,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC;YACxD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAChD,IAAI,CAAC,UAAU,CAAC,WAAW;oBAAE,SAAS;gBAEtC,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;oBACzC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE;wBAAE,SAAS;oBAElF,MAAM,YAAY,GAAG,EAAE,CAAC,gBAAgB,IAAI,UAAU,CAAC,UAAU,CAAC;oBAClE,IAAI,YAAY,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE;wBAAE,SAAS;oBAElF,MAAM,MAAM,GAAG,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC;oBAElE,oEAAoE;oBACpE,IAAI,MAAM,KAAK,UAAU;wBAAE,SAAS;oBAEpC,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;oBACnE,IAAI,gBAAgB,CAAC,MAAM,KAAK,EAAE,CAAC,OAAO,CAAC,MAAM;wBAAE,SAAS;oBAE5D,mDAAmD;oBACnD,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;oBAEjE,yEAAyE;oBACzE,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC;wBAAE,SAAS;oBAEvE,MAAM,qBAAqB,CAC1B,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,gBAAgB,EACzD,eAAe,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAC5D,OAAO,CACP,CAAC;gBACH,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;YAAS,CAAC;QACV,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC;AACF,CAAC;AAED,KAAK,UAAU,qBAAqB,CACnC,EAAY,EACZ,UAAuB,EACvB,EAA8B,EAC9B,MAA4C,EAC5C,WAAwB,EACxB,gBAA0B,EAC1B,eAA2B,EAC3B,MAAuB,EACvB,QAAqB;IAErB,MAAM,aAAa,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,aAAa;SAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,CAAC;SAC5B,IAAI,CAAC,OAAO,CAAC,CAAC;IAChB,MAAM,mBAAmB,GAAG,IAAI,UAAU,CAAC,UAAU,MAAM,UAAU,CAAC,IAAI,GAAG,CAAC;IAE9E,QAAQ,MAAM,EAAE,CAAC;QAChB,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC1B,6CAA6C;gBAC7C,MAAM,GAAG,GAAG,eAAe,mBAAmB,UAAU,WAAW,EAAE,CAAC;gBACtE,GAAG,CAAC,mCAAmC,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC;gBAC/D,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YACvD,CAAC;iBAAM,CAAC;gBACP,+DAA+D;gBAC/D,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBACjE,MAAM,UAAU,GAAG,aAAa;qBAC9B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,CAAC;qBAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;gBACb,MAAM,iBAAiB,GAAG,aAAa;qBACrC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,CAAC;qBAC5B,IAAI,CAAC,OAAO,CAAC,CAAC;gBAChB,MAAM,GAAG,GAAG,UAAU,mBAAmB,QAAQ,UAAU,UAAU,iBAAiB,EAAE,CAAC;gBACzF,MAAM,MAAM,GAAG,CAAC,GAAG,eAAe,EAAE,GAAG,eAAe,CAAC,CAAC;gBACxD,GAAG,CAAC,mCAAmC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;gBACtD,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAC9C,CAAC;YACD,MAAM;QACP,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5E,MAAM,GAAG,GAAG,UAAU,mBAAmB,QAAQ,UAAU,UAAU,WAAW,EAAE,CAAC;YACnF,GAAG,CAAC,6BAA6B,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC;YACzD,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YACtD,MAAM;QACP,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YACnB,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAChD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY,CAAC;gBACpC,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBACrD,OAAO,IAAI,IAAI,UAAU,CAAC;gBAC3B,CAAC;gBACD,0DAA0D;gBAC1D,OAAO,IAAI,IAAI,QAAQ,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC;YAC1D,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,UAAU,mBAAmB,QAAQ,UAAU,UAAU,WAAW,EAAE,CAAC;YACnF,GAAG,CAAC,gCAAgC,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC;YAC5D,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YACtD,MAAM;QACP,CAAC;IACF,CAAC;AACF,CAAC"}
+{"version":3,"file":"foreign-key-actions.js","sourceRoot":"","sources":["../../../src/runtime/foreign-key-actions.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,oBAAoB,CAAC,CAAC;AAE/C;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC7C,EAAY,EACZ,WAAwB,EACxB,SAA8B,EAC9B,MAAW,EACX,MAAY,EACZ,aAA2B;IAE3B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC;QAAE,OAAO;IAEzD,MAAM,OAAO,GAAG,aAAa,IAAI,IAAI,GAAG,EAAU,CAAC;IACnD,MAAM,SAAS,GAAG,GAAG,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAEhF,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,YAAY,CACrB,uDAAuD,WAAW,CAAC,IAAI,GAAG,EAC1E,UAAU,CAAC,UAAU,CACrB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAEvB,IAAI,CAAC;QACJ,yDAAyD;QACzD,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC;YACxD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAChD,IAAI,CAAC,UAAU,CAAC,WAAW;oBAAE,SAAS;gBAEtC,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;oBACzC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE;wBAAE,SAAS;oBAElF,MAAM,YAAY,GAAG,EAAE,CAAC,gBAAgB,IAAI,UAAU,CAAC,UAAU,CAAC;oBAClE,IAAI,YAAY,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE;wBAAE,SAAS;oBAElF,MAAM,MAAM,GAAG,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC;oBAElE,oEAAoE;oBACpE,IAAI,MAAM,KAAK,UAAU;wBAAE,SAAS;oBAEpC,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;oBACnE,IAAI,gBAAgB,CAAC,MAAM,KAAK,EAAE,CAAC,OAAO,CAAC,MAAM;wBAAE,SAAS;oBAE5D,mDAAmD;oBACnD,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;oBAEjE,yEAAyE;oBACzE,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC;wBAAE,SAAS;oBAEvE,MAAM,qBAAqB,CAC1B,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,gBAAgB,EACzD,eAAe,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAC5D,OAAO,CACP,CAAC;gBACH,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;YAAS,CAAC;QACV,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,KAAK,UAAU,0CAA0C,CAC/D,EAAY,EACZ,WAAwB,EACxB,SAA8B,EAC9B,MAAW,EACX,MAAY,EACZ,OAAqB;IAErB,GAAG,CAAC,gDAAgD,EAAE,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC,CAAC;IAChI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC;QAAE,OAAO;IAEzD,MAAM,UAAU,GAAG,OAAO,IAAI,IAAI,GAAG,EAAU,CAAC;IAChD,MAAM,SAAS,GAAG,GAAG,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAChF,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO;IACtC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAE1B,IAAI,CAAC;QACJ,gDAAgD;QAChD,GAAG,CAAC,mCAAmC,EAAE,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACtE,MAAM,2CAA2C,CAAC,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAE9F,oEAAoE;QACpE,sEAAsE;QACtE,sEAAsE;QACtE,sEAAsE;QACtE,wDAAwD;QACxD,MAAM,iBAAiB,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC/D,MAAM,gBAAgB,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAExD,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC;YACxD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAChD,IAAI,CAAC,UAAU,CAAC,WAAW;oBAAE,SAAS;gBAEtC,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;oBACzC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,gBAAgB;wBAAE,SAAS;oBACpE,MAAM,YAAY,GAAG,EAAE,CAAC,gBAAgB,IAAI,UAAU,CAAC,UAAU,CAAC;oBAClE,IAAI,YAAY,CAAC,WAAW,EAAE,KAAK,iBAAiB;wBAAE,SAAS;oBAE/D,MAAM,MAAM,GAAG,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC;oBAClE,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY;wBAAE,SAAS;oBAEtF,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;oBACnE,IAAI,gBAAgB,CAAC,MAAM,KAAK,EAAE,CAAC,OAAO,CAAC,MAAM;wBAAE,SAAS;oBAE5D,yDAAyD;oBACzD,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAe,CAAC;oBAC/E,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC;wBAAE,SAAS;oBAEvE,0EAA0E;oBAC1E,IAAI,eAAuC,CAAC;oBAC5C,IAAI,SAAS,KAAK,QAAQ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACpD,IAAI,UAAU,GAAG,KAAK,CAAC;wBACvB,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;4BACpC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAa,EAAE,MAAM,CAAC,GAAG,CAAa,CAAC,EAAE,CAAC;gCACvE,UAAU,GAAG,IAAI,CAAC;gCAClB,MAAM;4BACP,CAAC;wBACF,CAAC;wBACD,IAAI,CAAC,UAAU;4BAAE,SAAS;wBAC1B,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAe,CAAC;oBAC1E,CAAC;oBAED,oDAAoD;oBACpD,MAAM,cAAc,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC5F,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACtE,MAAM,YAAY,GAAG,UAAU,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,MAAM;wBAClE,CAAC,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG;wBAC9C,CAAC,CAAC,EAAE,CAAC;oBACN,MAAM,GAAG,GAAG,iBAAiB,YAAY,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,WAAW,EAAE,CAAC;oBAEpG,GAAG,CAAC,wCAAwC,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC;oBAEpE,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;oBAC7B,IAAI,CAAC;wBACJ,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;wBAC9B,IAAI,KAAK,EAAE,MAAM,WAAW,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;4BACxD,IAAI,WAA4B,CAAC;4BACjC,IAAI,OAA4B,CAAC;4BAEjC,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;gCACpD,OAAO,GAAG,QAAQ,CAAC;gCACnB,WAAW,GAAG,SAAS,CAAC;4BACzB,CAAC;iCAAM,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,KAAK,QAAQ,IAAI,eAAe,EAAE,CAAC;gCAC9E,OAAO,GAAG,QAAQ,CAAC;gCACnB,MAAM,IAAI,GAAG,CAAC,GAAI,WAAmB,CAAe,CAAC;gCACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oCAC5C,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;gCAC1C,CAAC;gCACD,WAAW,GAAG,IAAW,CAAC;4BAC3B,CAAC;iCAAM,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gCACjC,OAAO,GAAG,QAAQ,CAAC;gCACnB,MAAM,IAAI,GAAG,CAAC,GAAI,WAAmB,CAAe,CAAC;gCACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oCAC5C,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;gCAC5B,CAAC;gCACD,WAAW,GAAG,IAAW,CAAC;4BAC3B,CAAC;iCAAM,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;gCACpC,wDAAwD;gCACxD,2DAA2D;gCAC3D,6DAA6D;gCAC7D,0DAA0D;gCAC1D,4DAA4D;gCAC5D,sDAAsD;gCACtD,4DAA4D;gCAC5D,OAAO,GAAG,QAAQ,CAAC;gCACnB,WAAW,GAAG,WAAkB,CAAC;4BAClC,CAAC;iCAAM,CAAC;gCACP,SAAS;4BACV,CAAC;4BAED,MAAM,0CAA0C,CAC/C,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,WAAkB,EAAE,WAAW,EAAE,UAAU,CACpE,CAAC;wBACH,CAAC;oBACF,CAAC;4BAAS,CAAC;wBACV,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACvB,CAAC;gBACF,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;YAAS,CAAC;QACV,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9B,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,2CAA2C,CAChE,EAAY,EACZ,WAAwB,EACxB,SAA8B,EAC9B,MAAW,EACX,MAAY;IAEZ,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC;QAAE,OAAO;IAEzD,MAAM,iBAAiB,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAC/D,MAAM,gBAAgB,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAExD,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC;QACxD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,UAAU,CAAC,WAAW;gBAAE,SAAS;YAEtC,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;gBACzC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,gBAAgB;oBAAE,SAAS;gBACpE,MAAM,YAAY,GAAG,EAAE,CAAC,gBAAgB,IAAI,UAAU,CAAC,UAAU,CAAC;gBAClE,IAAI,YAAY,CAAC,WAAW,EAAE,KAAK,iBAAiB;oBAAE,SAAS;gBAE/D,MAAM,MAAM,GAAG,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC;gBAClE,IAAI,MAAM,KAAK,UAAU;oBAAE,SAAS;gBAEpC,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;gBACnE,IAAI,gBAAgB,CAAC,MAAM,KAAK,EAAE,CAAC,OAAO,CAAC,MAAM;oBAAE,SAAS;gBAE5D,2EAA2E;gBAC3E,IAAI,SAAS,KAAK,QAAQ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACpD,IAAI,UAAU,GAAG,KAAK,CAAC;oBACvB,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;wBACpC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAa,EAAE,MAAM,CAAC,GAAG,CAAa,CAAC,EAAE,CAAC;4BACvE,UAAU,GAAG,IAAI,CAAC;4BAClB,MAAM;wBACP,CAAC;oBACF,CAAC;oBACD,IAAI,CAAC,UAAU;wBAAE,SAAS;gBAC3B,CAAC;gBAED,yDAAyD;gBACzD,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAe,CAAC;gBAC/E,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC;oBAAE,SAAS;gBAEvE,MAAM,aAAa,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC3F,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrE,MAAM,YAAY,GAAG,UAAU,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,MAAM;oBAClE,CAAC,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG;oBAC9C,CAAC,CAAC,EAAE,CAAC;gBACN,MAAM,GAAG,GAAG,iBAAiB,YAAY,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,WAAW,UAAU,CAAC;gBAE5G,GAAG,CAAC,wCAAwC,EAAE,SAAS,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC;gBAE/E,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,CAAC;oBACJ,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;oBAC9B,IAAI,UAAU,GAAG,KAAK,CAAC;oBACvB,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;wBACjD,UAAU,GAAG,IAAI,CAAC;wBAClB,MAAM;oBACP,CAAC;oBACD,IAAI,UAAU,EAAE,CAAC;wBAChB,MAAM,MAAM,GAAG,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;wBAC5D,MAAM,IAAI,YAAY,CACrB,kCAAkC,MAAM,QAAQ,WAAW,CAAC,IAAI,6BAA6B,UAAU,CAAC,IAAI,GAAG,EAC/G,UAAU,CAAC,UAAU,CACrB,CAAC;oBACH,CAAC;gBACF,CAAC;wBAAS,CAAC;oBACV,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACvB,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED,KAAK,UAAU,qBAAqB,CACnC,EAAY,EACZ,UAAuB,EACvB,EAA8B,EAC9B,MAA4C,EAC5C,WAAwB,EACxB,gBAA0B,EAC1B,eAA2B,EAC3B,MAAuB,EACvB,QAAqB;IAErB,MAAM,aAAa,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,aAAa;SAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,CAAC;SAC5B,IAAI,CAAC,OAAO,CAAC,CAAC;IAChB,MAAM,mBAAmB,GAAG,IAAI,UAAU,CAAC,UAAU,MAAM,UAAU,CAAC,IAAI,GAAG,CAAC;IAE9E,QAAQ,MAAM,EAAE,CAAC;QAChB,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC1B,6CAA6C;gBAC7C,MAAM,GAAG,GAAG,eAAe,mBAAmB,UAAU,WAAW,EAAE,CAAC;gBACtE,GAAG,CAAC,mCAAmC,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC;gBAC/D,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YACvD,CAAC;iBAAM,CAAC;gBACP,+DAA+D;gBAC/D,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBACjE,MAAM,UAAU,GAAG,aAAa;qBAC9B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,CAAC;qBAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;gBACb,MAAM,iBAAiB,GAAG,aAAa;qBACrC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,CAAC;qBAC5B,IAAI,CAAC,OAAO,CAAC,CAAC;gBAChB,MAAM,GAAG,GAAG,UAAU,mBAAmB,QAAQ,UAAU,UAAU,iBAAiB,EAAE,CAAC;gBACzF,MAAM,MAAM,GAAG,CAAC,GAAG,eAAe,EAAE,GAAG,eAAe,CAAC,CAAC;gBACxD,GAAG,CAAC,mCAAmC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;gBACtD,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAC9C,CAAC;YACD,MAAM;QACP,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5E,MAAM,GAAG,GAAG,UAAU,mBAAmB,QAAQ,UAAU,UAAU,WAAW,EAAE,CAAC;YACnF,GAAG,CAAC,6BAA6B,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC;YACzD,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YACtD,MAAM;QACP,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YACnB,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAChD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY,CAAC;gBACpC,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBACrD,OAAO,IAAI,IAAI,UAAU,CAAC;gBAC3B,CAAC;gBACD,0DAA0D;gBAC1D,OAAO,IAAI,IAAI,QAAQ,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC;YAC1D,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,UAAU,mBAAmB,QAAQ,UAAU,UAAU,WAAW,EAAE,CAAC;YACnF,GAAG,CAAC,gCAAgC,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC;YAC5D,MAAM,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YACtD,MAAM;QACP,CAAC;IACF,CAAC;AACF,CAAC"}

package/dist/src/runtime/register.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"register.d.ts","sourceRoot":"","sources":["../../../src/runtime/register.ts"],"names":[],"mappings":"AAkEA,wBAAgB,gBAAgB,SAoG/B"}
+{"version":3,"file":"register.d.ts","sourceRoot":"","sources":["../../../src/runtime/register.ts"],"names":[],"mappings":"AAmEA,wBAAgB,gBAAgB,SAqG/B"}

package/dist/src/runtime/register.js

@@ -60,6 +60,7 @@ import { emitBetween } from './emit/between.js';
 import { emitRetrieve } from './emit/retrieve.js';
 import { emitRemoteQuery } from './emit/remote-query.js';
 import { emitEmptyResult } from './emit/empty-result.js';
+import { emitEmptyRelation } from './emit/empty-relation.js';
 import { emitDeclareSchema, emitDiffSchema, emitApplySchema, emitExplainSchema } from './emit/schema-declarative.js';
 let registered = false;
 export function registerEmitters() {
@@ -92,6 +93,7 @@ export function registerEmitters() {
     registerEmitter(PlanNodeType.IndexScan, emitSeqScan); // Reuse for now
     registerEmitter(PlanNodeType.IndexSeek, emitSeqScan); // Reuse for now
     registerEmitter(PlanNodeType.EmptyResult, emitEmptyResult);
+    registerEmitter(PlanNodeType.EmptyRelation, emitEmptyRelation);
     registerEmitter(PlanNodeType.RemoteQuery, emitRemoteQuery);
     registerEmitter(PlanNodeType.Values, emitValues);
     registerEmitter(PlanNodeType.TableLiteral, emitTableLiteral);

package/dist/src/runtime/register.js.map

@@ -1 +1 @@
-{"version":3,"file":"register.js","sourceRoot":"","sources":["../../../src/runtime/register.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,eAAe,EAAoB,MAAM,eAAe,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAErH,IAAI,UAAU,GAAG,KAAK,CAAC;AAEvB,MAAM,UAAU,gBAAgB;IAC/B,IAAI,UAAU,EAAE,CAAC;QAChB,OAAO;IACR,CAAC;IACD,UAAU,GAAG,IAAI,CAAC;IAElB,6BAA6B;IAC7B,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IACpE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,eAAe,EAAE,mBAAkC,CAAC,CAAC;IAClF,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,kBAAkB,EAAE,sBAAqC,CAAC,CAAC;IACxF,eAAe,CAAC,YAAY,CAAC,kBAAkB,EAAE,sBAAqC,CAAC,CAAC;IACxF,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IACpE,eAAe,CAAC,YAAY,CAAC,IAAI,EAAE,QAAuB,CAAC,CAAC;IAC5D,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,cAAc,EAAE,kBAAiC,CAAC,CAAC;IAChF,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAEhE,4DAA4D;IAC5D,eAAe,CAAC,YAAY,CAAC,KAAK,EAAE,SAAwB,CAAC,CAAC;IAC9D,eAAe,CAAC,YAAY,CAAC,KAAK,EAAE,SAAwB,CAAC,CAAC;IAC9D,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAC5E,eAAe,CAAC,YAAY,CAAC,uBAAuB,EAAE,2BAA0C,CAAC,CAAC;IAClG,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IAEpE,0CAA0C;IAC1C,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,WAA0B,CAAC,CAAC,CAAC,gBAAgB;IACrF,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,WAA0B,CAAC,CAAC,CAAC,gBAAgB;IACrF,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAE1E,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAC5E,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IACtE,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IACpE,eAAe,CAAC,YAAY,CAAC,IAAI,EAAE,QAAuB,CAAC,CAAC;IAC5D,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAC5E,eAAe,CAAC,YAAY,CAAC,iBAAiB,EAAE,2BAA0C,CAAC,CAAC;IAC5F,eAAe,CAAC,YAAY,CAAC,EAAE,EAAE,MAAqB,CAAC,CAAC;IACxD,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,GAAG,EAAE,OAAsB,CAAC,CAAC;IAC1D,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAE5E,8BAA8B;IAC9B,eAAe,CAAC,YAAY,CAAC,eAAe,EAAE,mBAAkC,CAAC,CAAC;IAClF,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAC9E,oEAAoE;IACpE,mFAAmF;IAEnF,mBAAmB;IACnB,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IACtE,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IACtE,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IACpE,eAAe,CAAC,YAAY,CAAC,eAAe,EAAE,mBAAkC,CAAC,CAAC;IAClF,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAC9E,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,cAAc,EAAE,eAA8B,CAAC,CAAC;IAC7E,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,eAAe,EAAE,mBAAkC,CAAC,CAAC;IAClF,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAC9E,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IAEtE,+BAA+B;IAC/B,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAElE,qBAAqB;IACrB,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAC9E,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAE9E,wBAAwB;IACxB,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAE5E,gBAAgB;IAChB,eAAe,CAAC,YAAY,CAAC,IAAI,EAAE,YAA2B,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,aAA4B,CAAC,CAAC;IACrE,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IACtE,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IAEpE,gBAAgB;IAChB,eAAe,CAAC,YAAY,CAAC,KAAK,EAAE,SAAwB,CAAC,CAAC;IAE9D,eAAe;IACf,eAAe,CAAC,YAAY,CAAC,IAAI,EAAE,QAAuB,CAAC,CAAC;AAC7D,CAAC"}
+{"version":3,"file":"register.js","sourceRoot":"","sources":["../../../src/runtime/register.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,eAAe,EAAoB,MAAM,eAAe,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAErH,IAAI,UAAU,GAAG,KAAK,CAAC;AAEvB,MAAM,UAAU,gBAAgB;IAC/B,IAAI,UAAU,EAAE,CAAC;QAChB,OAAO;IACR,CAAC;IACD,UAAU,GAAG,IAAI,CAAC;IAElB,6BAA6B;IAC7B,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IACpE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,eAAe,EAAE,mBAAkC,CAAC,CAAC;IAClF,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,kBAAkB,EAAE,sBAAqC,CAAC,CAAC;IACxF,eAAe,CAAC,YAAY,CAAC,kBAAkB,EAAE,sBAAqC,CAAC,CAAC;IACxF,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IACpE,eAAe,CAAC,YAAY,CAAC,IAAI,EAAE,QAAuB,CAAC,CAAC;IAC5D,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,cAAc,EAAE,kBAAiC,CAAC,CAAC;IAChF,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAEhE,4DAA4D;IAC5D,eAAe,CAAC,YAAY,CAAC,KAAK,EAAE,SAAwB,CAAC,CAAC;IAC9D,eAAe,CAAC,YAAY,CAAC,KAAK,EAAE,SAAwB,CAAC,CAAC;IAC9D,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAC5E,eAAe,CAAC,YAAY,CAAC,uBAAuB,EAAE,2BAA0C,CAAC,CAAC;IAClG,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IAEpE,0CAA0C;IAC1C,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,WAA0B,CAAC,CAAC,CAAC,gBAAgB;IACrF,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,WAA0B,CAAC,CAAC,CAAC,gBAAgB;IACrF,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAC9E,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAE1E,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAC5E,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IACtE,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAClE,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IACpE,eAAe,CAAC,YAAY,CAAC,IAAI,EAAE,QAAuB,CAAC,CAAC;IAC5D,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAC5E,eAAe,CAAC,YAAY,CAAC,iBAAiB,EAAE,2BAA0C,CAAC,CAAC;IAC5F,eAAe,CAAC,YAAY,CAAC,EAAE,EAAE,MAAqB,CAAC,CAAC;IACxD,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,GAAG,EAAE,OAAsB,CAAC,CAAC;IAC1D,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAE5E,8BAA8B;IAC9B,eAAe,CAAC,YAAY,CAAC,eAAe,EAAE,mBAAkC,CAAC,CAAC;IAClF,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAC9E,oEAAoE;IACpE,mFAAmF;IAEnF,mBAAmB;IACnB,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IACtE,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IACtE,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IACpE,eAAe,CAAC,YAAY,CAAC,eAAe,EAAE,mBAAkC,CAAC,CAAC;IAClF,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAC9E,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,cAAc,EAAE,eAA8B,CAAC,CAAC;IAC7E,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,eAAe,EAAE,mBAAkC,CAAC,CAAC;IAClF,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAC9E,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IAEtE,+BAA+B;IAC/B,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,MAAM,EAAE,UAAyB,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAA0B,CAAC,CAAC;IAElE,qBAAqB;IACrB,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAC9E,eAAe,CAAC,YAAY,CAAC,UAAU,EAAE,cAA6B,CAAC,CAAC;IACxE,eAAe,CAAC,YAAY,CAAC,WAAW,EAAE,eAA8B,CAAC,CAAC;IAC1E,eAAe,CAAC,YAAY,CAAC,aAAa,EAAE,iBAAgC,CAAC,CAAC;IAE9E,wBAAwB;IACxB,eAAe,CAAC,YAAY,CAAC,YAAY,EAAE,gBAA+B,CAAC,CAAC;IAE5E,gBAAgB;IAChB,eAAe,CAAC,YAAY,CAAC,IAAI,EAAE,YAA2B,CAAC,CAAC;IAChE,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,aAA4B,CAAC,CAAC;IACrE,eAAe,CAAC,YAAY,CAAC,SAAS,EAAE,aAA4B,CAAC,CAAC;IACtE,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE,YAA2B,CAAC,CAAC;IAEpE,gBAAgB;IAChB,eAAe,CAAC,YAAY,CAAC,KAAK,EAAE,SAAwB,CAAC,CAAC;IAE9D,eAAe;IACf,eAAe,CAAC,YAAY,CAAC,IAAI,EAAE,QAAuB,CAAC,CAAC;AAC7D,CAAC"}

package/dist/src/schema/assertion.d.ts

@@ -1,3 +1,4 @@
+import type * as AST from '../parser/ast.js';
 export interface AssertionDependentTable {
     /** Instance-unique table reference key, e.g. schema.table#nodeId */
     relationKey: string;
@@ -15,5 +16,12 @@ export interface IntegrityAssertionSchema {
     initiallyDeferred: boolean;
     /** Base tables referenced; filled during assertion preparation/creation. */
     dependentTables?: AssertionDependentTable[];
+    /**
+     * Original CHECK expression AST. Populated when the assertion is created
+     * via CREATE ASSERTION; absent for assertions reconstructed from persisted
+     * `violationSql` alone. Consumed by the optimizer's assertion-hoist analysis
+     * — assertions without it fall through to commit-time enforcement only.
+     */
+    checkExpression?: AST.Expression;
 }
 //# sourceMappingURL=assertion.d.ts.map

package/dist/src/schema/assertion.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assertion.d.ts","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,uBAAuB;IACtC,oEAAoE;IACpE,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,wBAAwB;IACvC,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,yFAAyF;IACzF,YAAY,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,UAAU,EAAE,OAAO,CAAC;IACpB,4DAA4D;IAC5D,iBAAiB,EAAE,OAAO,CAAC;IAC3B,4EAA4E;IAC5E,eAAe,CAAC,EAAE,uBAAuB,EAAE,CAAC;CAC7C"}
+{"version":3,"file":"assertion.d.ts","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAE7C,MAAM,WAAW,uBAAuB;IACtC,oEAAoE;IACpE,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,wBAAwB;IACvC,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,yFAAyF;IACzF,YAAY,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,UAAU,EAAE,OAAO,CAAC;IACpB,4DAA4D;IAC5D,iBAAiB,EAAE,OAAO,CAAC;IAC3B,4EAA4E;IAC5E,eAAe,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAC5C;;;;;OAKG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;CAClC"}

package/dist/src/schema/change-events.d.ts

@@ -1,5 +1,6 @@
 import type { TableSchema } from './table.js';
 import type { FunctionSchema } from './function.js';
+import type { IntegrityAssertionSchema } from './assertion.js';
 interface SchemaObjectAdded<Type extends string, T> {
     type: Type;
     schemaName: string;
@@ -25,6 +26,9 @@ export type TableModifiedEvent = SchemaObjectModified<'table_modified', TableSch
 export type FunctionAddedEvent = SchemaObjectAdded<'function_added', FunctionSchema>;
 export type FunctionRemovedEvent = SchemaObjectRemoved<'function_removed', FunctionSchema>;
 export type FunctionModifiedEvent = SchemaObjectModified<'function_modified', FunctionSchema>;
+export type AssertionAddedEvent = SchemaObjectAdded<'assertion_added', IntegrityAssertionSchema>;
+export type AssertionRemovedEvent = SchemaObjectRemoved<'assertion_removed', IntegrityAssertionSchema>;
+export type AssertionModifiedEvent = SchemaObjectModified<'assertion_modified', IntegrityAssertionSchema>;
 interface SchemaNameEvent<Type extends string> {
     type: Type;
     schemaName: string;
@@ -34,7 +38,7 @@ export type ModuleAddedEvent = SchemaNameEvent<'module_added'>;
 export type ModuleRemovedEvent = SchemaNameEvent<'module_removed'>;
 export type CollationAddedEvent = SchemaNameEvent<'collation_added'>;
 export type CollationRemovedEvent = SchemaNameEvent<'collation_removed'>;
-export type SchemaChangeEvent = TableAddedEvent | TableRemovedEvent | TableModifiedEvent | FunctionAddedEvent | FunctionRemovedEvent | FunctionModifiedEvent | ModuleAddedEvent | ModuleRemovedEvent | CollationAddedEvent | CollationRemovedEvent;
+export type SchemaChangeEvent = TableAddedEvent | TableRemovedEvent | TableModifiedEvent | FunctionAddedEvent | FunctionRemovedEvent | FunctionModifiedEvent | AssertionAddedEvent | AssertionRemovedEvent | AssertionModifiedEvent | ModuleAddedEvent | ModuleRemovedEvent | CollationAddedEvent | CollationRemovedEvent;
 /**
  * Function that handles schema change events.
  */

package/dist/src/schema/change-events.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-events.d.ts","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAOpD,UAAU,iBAAiB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACjD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,mBAAmB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,oBAAoB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACpD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;IACb,SAAS,EAAE,CAAC,CAAC;CACb;AAID,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;AAClF,MAAM,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;AAIrF,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;AACrF,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,kBAAkB,EAAE,cAAc,CAAC,CAAC;AAC3F,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AAI9F,UAAU,eAAe,CAAC,IAAI,SAAS,MAAM;IAC5C,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,gBAAgB,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;AAC/D,MAAM,MAAM,kBAAkB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;AACnE,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC,iBAAiB,CAAC,CAAC;AACrE,MAAM,MAAM,qBAAqB,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC;AAIzE,MAAM,MAAM,iBAAiB,GAC1B,eAAe,GACf,iBAAiB,GACjB,kBAAkB,GAClB,kBAAkB,GAClB,oBAAoB,GACpB,qBAAqB,GACrB,gBAAgB,GAChB,kBAAkB,GAClB,mBAAmB,GACnB,qBAAqB,CAAC;AAEzB;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;AAEtE;;GAEG;AACH,qBAAa,oBAAoB;IAChC,OAAO,CAAC,SAAS,CAAmC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,IAAI;IAMvD;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,oBAAoB,GAAG,IAAI;IAOpD;;OAEG;IACH,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAa5C;;OAEG;IACH,gBAAgB,IAAI,MAAM;IAI1B;;OAEG;IACH,cAAc,IAAI,IAAI;CAKtB"}
+{"version":3,"file":"change-events.d.ts","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAO/D,UAAU,iBAAiB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACjD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,mBAAmB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,oBAAoB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACpD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;IACb,SAAS,EAAE,CAAC,CAAC;CACb;AAID,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;AAClF,MAAM,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;AAIrF,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;AACrF,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,kBAAkB,EAAE,cAAc,CAAC,CAAC;AAC3F,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AAI9F,MAAM,MAAM,mBAAmB,GAAG,iBAAiB,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,CAAC;AACjG,MAAM,MAAM,qBAAqB,GAAG,mBAAmB,CAAC,mBAAmB,EAAE,wBAAwB,CAAC,CAAC;AACvG,MAAM,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,oBAAoB,EAAE,wBAAwB,CAAC,CAAC;AAI1G,UAAU,eAAe,CAAC,IAAI,SAAS,MAAM;IAC5C,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,gBAAgB,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;AAC/D,MAAM,MAAM,kBAAkB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;AACnE,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC,iBAAiB,CAAC,CAAC;AACrE,MAAM,MAAM,qBAAqB,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC;AAIzE,MAAM,MAAM,iBAAiB,GAC1B,eAAe,GACf,iBAAiB,GACjB,kBAAkB,GAClB,kBAAkB,GAClB,oBAAoB,GACpB,qBAAqB,GACrB,mBAAmB,GACnB,qBAAqB,GACrB,sBAAsB,GACtB,gBAAgB,GAChB,kBAAkB,GAClB,mBAAmB,GACnB,qBAAqB,CAAC;AAEzB;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;AAEtE;;GAEG;AACH,qBAAa,oBAAoB;IAChC,OAAO,CAAC,SAAS,CAAmC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,IAAI;IAMvD;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,oBAAoB,GAAG,IAAI;IAOpD;;OAEG;IACH,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAa5C;;OAEG;IACH,gBAAgB,IAAI,MAAM;IAI1B;;OAEG;IACH,cAAc,IAAI,IAAI;CAKtB"}

package/dist/src/schema/change-events.js.map

@@ -1 +1 @@
-{"version":3,"file":"change-events.js","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,GAAG,GAAG,YAAY,CAAC,sBAAsB,CAAC,CAAC;AAsEjD;;GAEG;AACH,MAAM,OAAO,oBAAoB;IACxB,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAA8B;QACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,GAAG,CAAC,mDAAmD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,QAA8B;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qDAAqD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,KAAwB;QACpC,GAAG,CAAC,gDAAgD,EACnD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAEpD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACvC,IAAI,CAAC;gBACJ,QAAQ,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,GAAG,CAAC,qCAAqC,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;QACF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,gBAAgB;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,cAAc;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAClC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,wCAAwC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;CACD"}
+{"version":3,"file":"change-events.js","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,GAAG,GAAG,YAAY,CAAC,sBAAsB,CAAC,CAAC;AA+EjD;;GAEG;AACH,MAAM,OAAO,oBAAoB;IACxB,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAA8B;QACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,GAAG,CAAC,mDAAmD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,QAA8B;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qDAAqD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,KAAwB;QACpC,GAAG,CAAC,gDAAgD,EACnD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAEpD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACvC,IAAI,CAAC;gBACJ,QAAQ,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,GAAG,CAAC,qCAAqC,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;QACF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,gBAAgB;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,cAAc;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAClC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,wCAAwC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;CACD"}

package/dist/src/schema/function.d.ts

@@ -1,12 +1,13 @@
 import type { MaybePromise, Row, SqlValue, DeepReadonly } from '../common/types.js';
 import { FunctionFlags } from '../common/constants.js';
 import type { Database } from '../core/database.js';
-import type { BaseType, ScalarType, RelationType } from '../common/datatype.js';
+import type { BaseType, ScalarType, RelationType, ColRef } from '../common/datatype.js';
 import type { AggValue } from '../func/registration.js';
 import type { LogicalType } from '../types/logical-type.js';
 import type { ScalarFunctionCallNode } from '../planner/nodes/function.js';
 import type { EmissionContext } from '../runtime/emission-context.js';
 import type { Instruction } from '../runtime/types.js';
+import type { ScalarPlanNode, ConstantBinding, FunctionalDependency, MonotonicOnInfo, PhysicalProperties } from '../planner/nodes/plan-node.js';
 /**
  * Type for a scalar function implementation.
  */
@@ -103,6 +104,67 @@ export interface ScalarFunctionSchema extends BaseFunctionSchema {
      */
     validateArgTypes?: (argTypes: ReadonlyArray<DeepReadonly<LogicalType>>) => boolean;
 }
+/**
+ * Function form for parameter-dependent advertisements. Receives the call
+ * operands so the implementation can read literal values, parameter slots, or
+ * operand types. Return `undefined` to decline (no property advertised).
+ */
+export type TVFAdvertiseFn<T> = (operands: ReadonlyArray<ScalarPlanNode>, schema: TableValuedFunctionSchema) => T | undefined;
+/**
+ * Column-keyed monotonicity declaration. The TVF schema author talks in column
+ * indices; `TableFunctionCallNode` translates these to live attribute IDs when
+ * it builds physical properties.
+ */
+export interface MonotonicOnColumnInfo {
+    readonly column: number;
+    readonly direction: 'asc' | 'desc';
+    readonly strict?: boolean;
+}
+/**
+ * Optional advertisement of a TVF's relational and physical properties.
+ * Each field may be a static value or a function of the call's operands.
+ * Bad advertisements (invalid indices, wrong shape) are dropped at use time
+ * with a single warning rather than throwing.
+ */
+export interface TVFAdvertisement {
+    isSet?: boolean | TVFAdvertiseFn<boolean>;
+    keys?: ReadonlyArray<ReadonlyArray<ColRef>> | TVFAdvertiseFn<ReadonlyArray<ReadonlyArray<ColRef>>>;
+    fds?: ReadonlyArray<FunctionalDependency> | TVFAdvertiseFn<ReadonlyArray<FunctionalDependency>>;
+    equivClasses?: ReadonlyArray<ReadonlyArray<number>> | TVFAdvertiseFn<ReadonlyArray<ReadonlyArray<number>>>;
+    ordering?: ReadonlyArray<{
+        column: number;
+        desc: boolean;
+    }> | TVFAdvertiseFn<ReadonlyArray<{
+        column: number;
+        desc: boolean;
+    }>>;
+    monotonicOn?: ReadonlyArray<MonotonicOnInfo> | TVFAdvertiseFn<ReadonlyArray<MonotonicOnInfo>>;
+    /**
+     * Column-keyed monotonicOn declarations. Preferred over `monotonicOn` for
+     * schema-time annotations because attribute IDs are per-call and only the
+     * node knows them.
+     */
+    monotonicOnColumns?: ReadonlyArray<MonotonicOnColumnInfo> | TVFAdvertiseFn<ReadonlyArray<MonotonicOnColumnInfo>>;
+    constantBindings?: ReadonlyArray<ConstantBinding> | TVFAdvertiseFn<ReadonlyArray<ConstantBinding>>;
+    estimatedRows?: number | TVFAdvertiseFn<number>;
+    accessCapabilities?: PhysicalProperties['accessCapabilities'];
+    deterministic?: boolean;
+    readonly?: boolean;
+    idempotent?: boolean;
+}
+/**
+ * Resolves a possibly-functional advertisement spec to a concrete value.
+ * Returns `undefined` when the spec is absent or when the closure throws —
+ * a broken closure must never break planning.
+ */
+export declare function resolveAdvertisement<T>(spec: T | TVFAdvertiseFn<T> | undefined, operands: ReadonlyArray<ScalarPlanNode>, schema: TableValuedFunctionSchema): T | undefined;
+/**
+ * Returns the literal value of a scalar operand, or `undefined` when the
+ * operand is not a literal. Used by advertisement closures that want to read
+ * compile-time operand values (e.g. `generate_series(1, 100)` advertising
+ * `estimatedRows: 100`).
+ */
+export declare function evaluateLiteralOperand(operand: ScalarPlanNode): SqlValue | undefined;
 /**
  * Schema for table-valued functions that return rows.
  */
@@ -112,6 +174,8 @@ export interface TableValuedFunctionSchema extends BaseFunctionSchema {
     implementation: TableValuedFunc | IntegratedTableValuedFunc;
     /** Whether this TVF requires database access as first parameter */
     isIntegrated?: boolean;
+    /** Optional advertisement of relational / physical properties. */
+    relationalAdvertisement?: TVFAdvertisement;
 }
 /**
  * Schema for aggregate functions.

package/dist/src/schema/function.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAExF;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAEhH;;GAEG;AAIH,MAAM,MAAM,gBAAgB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AAEnF;;GAEG;AAGH,MAAM,MAAM,kBAAkB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,QAAQ,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAC/B,IAAI,EAAE,sBAAsB,EAC5B,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,KAAK,WAAW,KAC5E,WAAW,CAAC;AAEjB;;GAEG;AACH,UAAU,kBAAkB;IAC3B,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,KAAK,EAAE,aAAa,CAAC;IACrB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,8BAA8B;IAC9B,UAAU,EAAE,QAAQ,CAAC;IACrB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC;;;;OAIG;IACH,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;OAGG;IACH,cAAc,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAAA;KAAE,CAAC;IAC9E;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;CAC/E;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC/D,UAAU,EAAE,UAAU,CAAC;IACvB,4CAA4C;IAC5C,cAAc,EAAE,UAAU,CAAC;IAC3B;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;GAEG;AACH,MAAM,WAAW,yBAA0B,SAAQ,kBAAkB;IACpE,UAAU,EAAE,YAAY,CAAC;IACzB,2CAA2C;IAC3C,cAAc,EAAE,eAAe,GAAG,yBAAyB,CAAC;IAC5D,mEAAmE;IACnE,YAAY,CAAC,EAAE,OAAO,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAwB,SAAQ,kBAAkB;IAClE,UAAU,EAAE,UAAU,CAAC;IACvB,8BAA8B;IAC9B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,mCAAmC;IACnC,gBAAgB,EAAE,kBAAkB,CAAC;IACrC,+CAA+C;IAC/C,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GACvB,oBAAoB,GACpB,yBAAyB,GACzB,uBAAuB,CAAC;AAE3B;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,oBAAoB,CAE7F;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,yBAAyB,CAEvG;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,uBAAuB,CAEnG;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpE"}
+{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACxF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EACX,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,eAAe,EACf,kBAAkB,EAClB,MAAM,+BAA+B,CAAC;AAEvC;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAExF;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAEhH;;GAEG;AAIH,MAAM,MAAM,gBAAgB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AAEnF;;GAEG;AAGH,MAAM,MAAM,kBAAkB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,QAAQ,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAC/B,IAAI,EAAE,sBAAsB,EAC5B,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,KAAK,WAAW,KAC5E,WAAW,CAAC;AAEjB;;GAEG;AACH,UAAU,kBAAkB;IAC3B,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,KAAK,EAAE,aAAa,CAAC;IACrB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,8BAA8B;IAC9B,UAAU,EAAE,QAAQ,CAAC;IACrB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC;;;;OAIG;IACH,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;OAGG;IACH,cAAc,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAAA;KAAE,CAAC;IAC9E;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;CAC/E;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC/D,UAAU,EAAE,UAAU,CAAC;IACvB,4CAA4C;IAC5C,cAAc,EAAE,UAAU,CAAC;IAC3B;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAC/B,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,EACvC,MAAM,EAAE,yBAAyB,KAC7B,CAAC,GAAG,SAAS,CAAC;AAEnB;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAChC,KAAK,CAAC,EAAE,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnG,GAAG,CAAC,EAAE,aAAa,CAAC,oBAAoB,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAChG,YAAY,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3G,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,CAAC;IAC/H,WAAW,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IAC9F;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,aAAa,CAAC,qBAAqB,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACjH,gBAAgB,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IACnG,aAAa,CAAC,EAAE,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAChD,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,CAAC;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EACrC,IAAI,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,SAAS,EACvC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,EACvC,MAAM,EAAE,yBAAyB,GAC/B,CAAC,GAAG,SAAS,CAUf;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,cAAc,GAAG,QAAQ,GAAG,SAAS,CAMpF;AAED;;GAEG;AACH,MAAM,WAAW,yBAA0B,SAAQ,kBAAkB;IACpE,UAAU,EAAE,YAAY,CAAC;IACzB,2CAA2C;IAC3C,cAAc,EAAE,eAAe,GAAG,yBAAyB,CAAC;IAC5D,mEAAmE;IACnE,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,kEAAkE;IAClE,uBAAuB,CAAC,EAAE,gBAAgB,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,uBAAwB,SAAQ,kBAAkB;IAClE,UAAU,EAAE,UAAU,CAAC;IACvB,8BAA8B;IAC9B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,mCAAmC;IACnC,gBAAgB,EAAE,kBAAkB,CAAC;IACrC,+CAA+C;IAC/C,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GACvB,oBAAoB,GACpB,yBAAyB,GACzB,uBAAuB,CAAC;AAE3B;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,oBAAoB,CAE7F;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,yBAAyB,CAEvG;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,uBAAuB,CAEnG;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpE"}

package/dist/src/schema/function.js

@@ -1,3 +1,34 @@
+/**
+ * Resolves a possibly-functional advertisement spec to a concrete value.
+ * Returns `undefined` when the spec is absent or when the closure throws —
+ * a broken closure must never break planning.
+ */
+export function resolveAdvertisement(spec, operands, schema) {
+    if (spec === undefined)
+        return undefined;
+    if (typeof spec === 'function') {
+        try {
+            return spec(operands, schema);
+        }
+        catch {
+            return undefined;
+        }
+    }
+    return spec;
+}
+/**
+ * Returns the literal value of a scalar operand, or `undefined` when the
+ * operand is not a literal. Used by advertisement closures that want to read
+ * compile-time operand values (e.g. `generate_series(1, 100)` advertising
+ * `estimatedRows: 100`).
+ */
+export function evaluateLiteralOperand(operand) {
+    const candidate = operand;
+    if (candidate.expression && candidate.expression.type === 'literal') {
+        return candidate.expression.value;
+    }
+    return undefined;
+}
 /**
  * Type guards for function schema types.
  */

package/dist/src/schema/function.js.map

@@ -1 +1 @@
-{"version":3,"file":"function.js","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AAkKA;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC5D,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,QAAQ,IAAI,gBAAgB,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,UAAU,CAAC;AAC9H,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAAsB;IACjE,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,UAAU,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAAsB;IAC/D,OAAO,cAAc,IAAI,MAAM,IAAI,kBAAkB,IAAI,MAAM,CAAC;AACjE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAAe;IAC3D,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,OAAO,EAAE,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"function.js","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AA6KA;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CACnC,IAAuC,EACvC,QAAuC,EACvC,MAAiC;IAEjC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC;YACJ,OAAQ,IAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,SAAS,CAAC;QAClB,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAuB;IAC7D,MAAM,SAAS,GAAG,OAAyF,CAAC;IAC5G,IAAI,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAgDD;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC5D,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,QAAQ,IAAI,gBAAgB,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,UAAU,CAAC;AAC9H,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAAsB;IACjE,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,UAAU,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAAsB;IAC/D,OAAO,cAAc,IAAI,MAAM,IAAI,kBAAkB,IAAI,MAAM,CAAC;AACjE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAAe;IAC3D,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,OAAO,EAAE,CAAC;AAC3C,CAAC"}

package/dist/src/schema/manager.d.ts

@@ -30,6 +30,15 @@ export declare class SchemaManager {
     private defaultVTabModuleArgs;
     private db;
     private changeNotifier;
+    /**
+     * Re-entrancy guard: when truthy, optimizer-side assertion hoisting is
+     * suppressed. Set by `AssertionEvaluator` while compiling an assertion's
+     * own violation query — without this guard, the hoist would make the
+     * violation query plan to empty (the optimizer would trust the assertion
+     * to prove its own non-violation), defeating commit-time enforcement.
+     * See `assertion-hoist-cache.ts` and `core/database-assertions.ts`.
+     */
+    private assertionHoistSuppressed;
     /**
      * Creates a new schema manager
      *
@@ -125,10 +134,34 @@ export declare class SchemaManager {
      * Returns all assertions across all schemas
      */
     getAllAssertions(): IntegrityAssertionSchema[];
+    /**
+     * Adds (or replaces) an assertion in the named schema, firing
+     * `assertion_added` or `assertion_modified` events as appropriate.
+     * The Schema object itself does not hold a notifier; this wrapper exists
+     * so optimizer caches (e.g. assertion-hoist) can invalidate on change.
+     */
+    addAssertion(schemaName: string, assertion: IntegrityAssertionSchema): void;
+    /**
+     * Removes an assertion from the named schema, firing `assertion_removed`
+     * on success. Returns true iff the assertion existed and was removed.
+     */
+    removeAssertion(schemaName: string, name: string): boolean;
     /**
      * Gets the schema change notifier for listening to schema changes
      */
     getChangeNotifier(): SchemaChangeNotifier;
+    /**
+     * True when assertion-hoisting must be suppressed (the caller is currently
+     * planning an assertion's own violation query). Read by
+     * `getAssertionHoistedConstraints`.
+     */
+    isAssertionHoistSuppressed(): boolean;
+    /**
+     * Run `fn` with assertion-hoisting suppressed. Re-entrant via a depth
+     * counter so nested suppressions compose. Always restores the previous
+     * state, even when `fn` throws.
+     */
+    withSuppressedAssertionHoist<T>(fn: () => T): T;
     /**
      * Adds a new schema (e.g., for ATTACH)
      *