@visorcraft/mongreldb-kit 0.7.0

package/dist/constraints.d.ts

@@ -0,0 +1,35 @@
+import type { Database as NativeDatabase, Transaction, Cell, RowJs } from '@visorcraft/mongreldb/native.js';
+import type { Schema } from './schema.js';
+import type { TableSpec, PkValue } from './types.js';
+export interface ConstraintKit {
+    db: MongrelDatabase;
+    schema: Schema;
+}
+type MongrelDatabase = NativeDatabase & {
+    transaction(fn: (txn: Transaction) => void | Promise<void>, opts?: {
+        maxRetries?: number;
+        baseDelayMs?: number;
+    }): Promise<bigint>;
+};
+/** True when some table in the schema has a foreign key referencing `tableName`. */
+export declare function isReferencedTable(schema: Schema, tableName: string): boolean;
+export declare function toCells(table: TableSpec, row: Record<string, unknown>): Cell[];
+export declare function findByPk(db: NativeDatabase, table: TableSpec, pkValue: PkValue): RowJs | null;
+export declare function pkValueFromRow(table: TableSpec, row: Record<string, unknown>): PkValue;
+export declare function pkValuesEqual(a: PkValue, b: PkValue): boolean;
+export declare function stageUniqueGuards(kit: ConstraintKit, txn: Transaction, table: TableSpec, row: Record<string, unknown>, pkValue: PkValue): void;
+export declare function stagePkGuard(kit: ConstraintKit, txn: Transaction, table: TableSpec, pkValue: PkValue, pkExplicit: boolean, pkSeen?: Set<string>): void;
+export declare function deletePkGuard(kit: ConstraintKit, txn: Transaction, table: TableSpec, pkValue: PkValue): void;
+export declare function deleteUniqueGuards(kit: ConstraintKit, txn: Transaction, table: TableSpec, pkValue: PkValue, onlyConstraints?: string[]): void;
+export declare function touchRowGuard(kit: ConstraintKit, txn: Transaction, tableName: string, pkValue: PkValue): void;
+export declare function deleteRowGuard(kit: ConstraintKit, txn: Transaction, tableName: string, pkValue: PkValue): void;
+export declare function parentExists(kit: ConstraintKit, tableName: string, pkValue: PkValue): boolean;
+export declare function enforceForeignKeys(kit: ConstraintKit, txn: Transaction, table: TableSpec, row: Record<string, unknown>): void;
+export declare function planDelete(kit: ConstraintKit, txn: Transaction, table: TableSpec, pkValue: PkValue, known?: {
+    row: Record<string, unknown>;
+    rowId: bigint;
+}): void;
+/** Delete every Kit guard row owned by `tableName` (used by `truncateTable`). */
+export declare function deleteGuardsForTable(kit: ConstraintKit, txn: Transaction, tableName: string): void;
+export {};
+//# sourceMappingURL=constraints.d.ts.map

package/dist/constraints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.d.ts","sourceRoot":"","sources":["../src/constraints.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,IAAI,cAAc,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AAC5G,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,SAAS,EAA8B,OAAO,EAAE,MAAM,YAAY,CAAC;AAajF,MAAM,WAAW,aAAa;IAC7B,EAAE,EAAE,eAAe,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CACf;AAED,KAAK,eAAe,GAAG,cAAc,GAAG;IACvC,WAAW,CACV,EAAE,EAAE,CAAC,GAAG,EAAE,WAAW,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EAC9C,IAAI,CAAC,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,GAClD,OAAO,CAAC,MAAM,CAAC,CAAC;CACnB,CAAC;AAcF,oFAAoF;AACpF,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAI5E;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EAAE,CAsC9E;AAED,wBAAgB,QAAQ,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,GAAG,KAAK,GAAG,IAAI,CA4B7F;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAmBtF;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAQ7D;AA+DD,wBAAgB,iBAAiB,CAChC,GAAG,EAAE,aAAa,EAClB,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,SAAS,EAChB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,OAAO,EAAE,OAAO,GACd,IAAI,CAmCN;AAMD,wBAAgB,YAAY,CAC3B,GAAG,EAAE,aAAa,EAClB,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,OAAO,EACnB,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAClB,IAAI,CAyCN;AAED,wBAAgB,aAAa,CAC5B,GAAG,EAAE,aAAa,EAClB,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,OAAO,GACd,IAAI,CAWN;AAED,wBAAgB,kBAAkB,CACjC,GAAG,EAAE,aAAa,EAClB,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,OAAO,EAChB,eAAe,CAAC,EAAE,MAAM,EAAE,GACxB,IAAI,CA0BN;AAED,wBAAgB,aAAa,CAC5B,GAAG,EAAE,aAAa,EAClB,GAAG,EAAE,WAAW,EAChB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,GACd,IAAI,CAeN;AAED,wBAAgB,cAAc,CAC7B,GAAG,EAAE,aAAa,EAClB,GAAG,EAAE,WAAW,EAChB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,GACd,IAAI,CAMN;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAG7F;AAED,wBAAgB,kBAAkB,CACjC,GAAG,EAAE,aAAa,EAClB,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,SAAS,EAChB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC1B,IAAI,CAaN;AAED,wBAAgB,UAAU,CACzB,GAAG,EAAE,aAAa,EAClB,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,OAAO,EAChB,KAAK,CAAC,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACrD,IAAI,CAEN;AA8ED,iFAAiF;AACjF,wBAAgB,oBAAoB,CACnC,GAAG,EAAE,aAAa,EAClB,GAAG,EAAE,WAAW,EAChB,SAAS,EAAE,MAAM,GACf,IAAI,CAgBN"}

package/dist/constraints.js

@@ -0,0 +1,404 @@
+import { validateRow } from './validation.js';
+import { kitUniqueKeys, kitRowGuards } from './internalTables.js';
+import { KitDuplicateError, KitForeignKeyError, KitNotFoundError, KitRestrictError, KitError } from './errors.js';
+import { KIT_KEY_VERSION, encodedPk, encodeRowGuardKey, encodeUniqueKey } from './keys.js';
+import { cellValue, rowFromRowJs } from './rows.js';
+function columnId(table, name) {
+    const col = table.columns.find((c) => c.name === name);
+    if (!col) {
+        throw new Error(`Column "${name}" not found in table "${table.name}"`);
+    }
+    return col.id;
+}
+function isoNow() {
+    return new Date().toISOString();
+}
+/** True when some table in the schema has a foreign key referencing `tableName`. */
+export function isReferencedTable(schema, tableName) {
+    return schema
+        .tablesList()
+        .some((t) => t.foreignKeys.some((fk) => fk.referencesTable === tableName));
+}
+export function toCells(table, row) {
+    return table.columns.map((col) => {
+        const value = row[col.name];
+        if (value === null || value === undefined) {
+            // A cell with only `columnId` (no typed value) stores SQL NULL, so a
+            // nullable column reads back as null rather than a zero/empty sentinel.
+            return { columnId: col.id };
+        }
+        switch (col.storageType) {
+            case 'bool':
+                return { columnId: col.id, boolean: value };
+            case 'int64':
+                return { columnId: col.id, int64: value };
+            case 'float64':
+                return { columnId: col.id, float64: value };
+            case 'text':
+            case 'timestamp':
+            case 'date':
+            case 'json':
+                return { columnId: col.id, text: value };
+            case 'bytes':
+                return { columnId: col.id, bytes: Buffer.from(value) };
+            case 'embedding':
+                return { columnId: col.id, embedding: value.map(Number) };
+            case 'sparse': {
+                const terms = value;
+                return {
+                    columnId: col.id,
+                    sparseTokens: terms.map((p) => p[0]),
+                    sparseWeights: terms.map((p) => p[1])
+                };
+            }
+            default: {
+                const _exhaustive = col.storageType;
+                throw new Error(`Unsupported storage type for cell conversion: ${_exhaustive}`);
+            }
+        }
+    });
+}
+export function findByPk(db, table, pkValue) {
+    if (table.primaryKey.length === 1) {
+        const scalar = Array.isArray(pkValue) ? pkValue[0] : pkValue;
+        if (scalar === null) {
+            throw new Error(`Primary key value cannot be null in table "${table.name}"`);
+        }
+        const pkCol = table.columns.find((c) => c.name === table.primaryKey[0]);
+        if (!pkCol) {
+            throw new Error(`Primary key column not found in table "${table.name}"`);
+        }
+        const results = db.table(table.name).query([equalityCondition(pkCol, scalar)]);
+        return results[0] ?? null;
+    }
+    if (!Array.isArray(pkValue) || pkValue.length !== table.primaryKey.length) {
+        throw new Error(`Primary key value for "${table.name}" must be an array with ${table.primaryKey.length} components`);
+    }
+    const conditions = table.primaryKey.map((name, i) => {
+        const col = table.columns.find((c) => c.name === name);
+        if (!col) {
+            throw new Error(`Primary key column "${name}" not found in table "${table.name}"`);
+        }
+        return equalityCondition(col, pkValue[i]);
+    });
+    const results = db.table(table.name).query(conditions);
+    return results[0] ?? null;
+}
+export function pkValueFromRow(table, row) {
+    if (table.primaryKey.length === 1) {
+        const value = row[table.primaryKey[0]];
+        if (typeof value !== 'string' && typeof value !== 'bigint') {
+            throw new Error(`Primary key value must be string or bigint`);
+        }
+        return value;
+    }
+    return table.primaryKey.map((name) => {
+        const value = row[name];
+        if (value === null || value === undefined) {
+            return null;
+        }
+        if (typeof value !== 'string' && typeof value !== 'bigint') {
+            throw new Error(`Primary key component "${name}" must be string, bigint, or null`);
+        }
+        return value;
+    });
+}
+export function pkValuesEqual(a, b) {
+    const left = Array.isArray(a) ? a : [a];
+    const right = Array.isArray(b) ? b : [b];
+    if (left.length !== right.length)
+        return false;
+    for (let i = 0; i < left.length; i++) {
+        if (left[i] !== right[i])
+            return false;
+    }
+    return true;
+}
+function buildParentPk(parentTable, referencesColumns, fkValues) {
+    if (referencesColumns.length !== parentTable.primaryKey.length) {
+        throw new Error(`Foreign key references ${referencesColumns.length} columns but parent primary key has ${parentTable.primaryKey.length} columns`);
+    }
+    if (referencesColumns.length === 1) {
+        const value = fkValues[0];
+        if (typeof value !== 'string' && typeof value !== 'bigint') {
+            throw new Error(`Foreign key value must be string or bigint`);
+        }
+        return value;
+    }
+    return fkValues.map((value) => {
+        if (value === null || value === undefined) {
+            return null;
+        }
+        if (typeof value !== 'string' && typeof value !== 'bigint') {
+            throw new Error(`Foreign key value must be string, bigint, or null`);
+        }
+        return value;
+    });
+}
+function equalityCondition(col, value) {
+    if (col.storageType === 'int64') {
+        return {
+            kind: 2 /* ConditionKind.RangeInt */,
+            columnId: col.id,
+            int64Lo: value,
+            int64Hi: value
+        };
+    }
+    return {
+        kind: 1 /* ConditionKind.BitmapEq */,
+        columnId: col.id,
+        text: String(value)
+    };
+}
+function queryChildren(db, childTable, fk, parentRow) {
+    const conditions = fk.columns.map((colName, i) => {
+        const col = childTable.columns.find((c) => c.name === colName);
+        if (!col) {
+            throw new Error(`FK column "${colName}" not found in table "${childTable.name}"`);
+        }
+        const refCol = fk.referencesColumns[i];
+        return equalityCondition(col, parentRow[refCol]);
+    });
+    return db.table(childTable.name).query(conditions);
+}
+export function stageUniqueGuards(kit, txn, table, row, pkValue) {
+    const ownerPk = encodedPk(pkValue);
+    const now = isoNow();
+    for (const uq of table.unique) {
+        const values = uq.columns.map((colName) => row[colName] === undefined ? null : row[colName]);
+        if (values.some((value) => value === null || value === undefined)) {
+            continue;
+        }
+        const encodedKey = encodeUniqueKey(KIT_KEY_VERSION, uq.name, values);
+        const existing = findByPk(kit.db, kitUniqueKeys, encodedKey);
+        if (existing) {
+            const ownerTableCell = existing.cells.find((c) => c.columnId === columnId(kitUniqueKeys, 'owner_table'));
+            const ownerPkCell = existing.cells.find((c) => c.columnId === columnId(kitUniqueKeys, 'owner_pk'));
+            const existingTable = String(cellValue(ownerTableCell) ?? '');
+            const existingPk = String(cellValue(ownerPkCell) ?? '');
+            if (existingTable !== table.name || existingPk !== ownerPk) {
+                throw new KitDuplicateError(table.name, uq.name);
+            }
+            continue;
+        }
+        txn.put('__kit_unique_keys', [
+            { columnId: columnId(kitUniqueKeys, 'encoded_key'), text: encodedKey },
+            { columnId: columnId(kitUniqueKeys, 'constraint_name'), text: uq.name },
+            { columnId: columnId(kitUniqueKeys, 'owner_table'), text: table.name },
+            { columnId: columnId(kitUniqueKeys, 'owner_pk'), text: ownerPk },
+            { columnId: columnId(kitUniqueKeys, 'created_at'), text: now }
+        ]);
+    }
+}
+function pkGuardConstraintName(table) {
+    return `__pk_${table.name}`;
+}
+export function stagePkGuard(kit, txn, table, pkValue, pkExplicit, pkSeen) {
+    // An auto-assigned (sequence) primary key is guaranteed unique, so it needs
+    // no duplicate check — this keeps inserts (and bulk loads) cheap.
+    if (!pkExplicit)
+        return;
+    // A single-column explicit PK is checked for duplicates. A batch passes a
+    // pre-loaded set of existing + already-staged PKs so the check stays O(1) per
+    // row (one scan up front) instead of a per-row lookup; a single insert checks
+    // the table directly.
+    if (table.primaryKey.length === 1) {
+        if (pkSeen) {
+            const k = encodedPk(pkValue);
+            if (pkSeen.has(k)) {
+                throw new KitDuplicateError(table.name, pkGuardConstraintName(table));
+            }
+            pkSeen.add(k);
+        }
+        else if (findByPk(kit.db, table, pkValue)) {
+            throw new KitDuplicateError(table.name, pkGuardConstraintName(table));
+        }
+        return;
+    }
+    // A composite explicit PK has no single native key to check, so it uses a
+    // guard row (conflict-safe) like the unique-constraint machinery.
+    const pkValues = pkValue;
+    if (pkValues.some((value) => value === null || value === undefined)) {
+        throw new Error(`Primary key components cannot be null in table "${table.name}"`);
+    }
+    const constraintName = pkGuardConstraintName(table);
+    const encodedKey = encodeUniqueKey(KIT_KEY_VERSION, constraintName, pkValues);
+    const existing = findByPk(kit.db, kitUniqueKeys, encodedKey);
+    if (existing) {
+        throw new KitDuplicateError(table.name, constraintName);
+    }
+    txn.put('__kit_unique_keys', [
+        { columnId: columnId(kitUniqueKeys, 'encoded_key'), text: encodedKey },
+        { columnId: columnId(kitUniqueKeys, 'constraint_name'), text: constraintName },
+        { columnId: columnId(kitUniqueKeys, 'owner_table'), text: table.name },
+        { columnId: columnId(kitUniqueKeys, 'owner_pk'), text: encodedPk(pkValue) },
+        { columnId: columnId(kitUniqueKeys, 'created_at'), text: isoNow() }
+    ]);
+}
+export function deletePkGuard(kit, txn, table, pkValue) {
+    // Single-column PKs use a native existence check (no guard row to delete).
+    if (table.primaryKey.length === 1)
+        return;
+    const pkValues = pkValue;
+    if (pkValues.some((value) => value === null || value === undefined))
+        return;
+    const constraintName = pkGuardConstraintName(table);
+    const encodedKey = encodeUniqueKey(KIT_KEY_VERSION, constraintName, pkValues);
+    const existing = findByPk(kit.db, kitUniqueKeys, encodedKey);
+    if (existing) {
+        txn.delete('__kit_unique_keys', existing.rowId);
+    }
+}
+export function deleteUniqueGuards(kit, txn, table, pkValue, onlyConstraints) {
+    // No unique constraints means no guard rows to clean up — skip the per-row
+    // query on __kit_unique_keys entirely (a hot cost in bulk deletes).
+    if (table.unique.length === 0)
+        return;
+    const ownerPk = encodedPk(pkValue);
+    const ownerTableCol = columnId(kitUniqueKeys, 'owner_table');
+    const allowed = onlyConstraints
+        ? new Set(onlyConstraints)
+        : new Set(table.unique.map((uq) => uq.name));
+    const existing = kit.db.table('__kit_unique_keys').query([
+        { kind: 1 /* ConditionKind.BitmapEq */, columnId: ownerTableCol, text: table.name }
+    ]);
+    for (const guard of existing) {
+        const constraintCell = guard.cells.find((c) => c.columnId === columnId(kitUniqueKeys, 'constraint_name'));
+        if (!allowed.has(String(cellValue(constraintCell) ?? ''))) {
+            continue;
+        }
+        const ownerPkCell = guard.cells.find((c) => c.columnId === columnId(kitUniqueKeys, 'owner_pk'));
+        if (cellValue(ownerPkCell) === ownerPk) {
+            txn.delete('__kit_unique_keys', guard.rowId);
+        }
+    }
+}
+export function touchRowGuard(kit, txn, tableName, pkValue) {
+    const encodedKey = encodeRowGuardKey(tableName, pkValue);
+    const existing = findByPk(kit.db, kitRowGuards, encodedKey);
+    const version = existing
+        ? (existing.cells.find((c) => c.columnId === columnId(kitRowGuards, 'version'))?.int64 ??
+            0n) + 1n
+        : 1n;
+    const now = isoNow();
+    txn.put('__kit_row_guards', [
+        { columnId: columnId(kitRowGuards, 'encoded_guard_key'), text: encodedKey },
+        { columnId: columnId(kitRowGuards, 'table_name'), text: tableName },
+        { columnId: columnId(kitRowGuards, 'primary_key'), text: encodedPk(pkValue) },
+        { columnId: columnId(kitRowGuards, 'version'), int64: version },
+        { columnId: columnId(kitRowGuards, 'updated_at'), text: now }
+    ]);
+}
+export function deleteRowGuard(kit, txn, tableName, pkValue) {
+    const encodedKey = encodeRowGuardKey(tableName, pkValue);
+    const existing = findByPk(kit.db, kitRowGuards, encodedKey);
+    if (existing) {
+        txn.delete('__kit_row_guards', existing.rowId);
+    }
+}
+export function parentExists(kit, tableName, pkValue) {
+    const table = kit.schema.table(tableName);
+    return findByPk(kit.db, table, pkValue) !== null;
+}
+export function enforceForeignKeys(kit, txn, table, row) {
+    for (const fk of table.foreignKeys) {
+        const values = fk.columns.map((colName) => row[colName]);
+        if (values.some((v) => v === null || v === undefined)) {
+            continue;
+        }
+        const parentTable = kit.schema.table(fk.referencesTable);
+        const parentPk = buildParentPk(parentTable, fk.referencesColumns, values);
+        if (!parentExists(kit, parentTable.name, parentPk)) {
+            throw new KitForeignKeyError(table.name, fk.name);
+        }
+        touchRowGuard(kit, txn, parentTable.name, parentPk);
+    }
+}
+export function planDelete(kit, txn, table, pkValue, known) {
+    planDeleteRecursive(kit, txn, table, pkValue, new Set(), new Set(), known);
+}
+function planDeleteRecursive(kit, txn, table, pkValue, currentPath, deleted, known) {
+    const visitKey = `${table.name}:${encodedPk(pkValue)}`;
+    if (deleted.has(visitKey))
+        return;
+    if (currentPath.has(visitKey)) {
+        throw new KitError(`Circular delete detected involving ${table.name}`);
+    }
+    currentPath.add(visitKey);
+    // The caller (e.g. a bulk delete) often already has the row from its scan;
+    // reuse it instead of re-reading per row, which would be O(n^2) on a delete.
+    let row;
+    let rowId;
+    if (known) {
+        row = known.row;
+        rowId = known.rowId;
+    }
+    else {
+        const rowJs = findByPk(kit.db, table, pkValue);
+        if (!rowJs) {
+            throw new KitNotFoundError(table.name, pkValue);
+        }
+        row = rowFromRowJs(table, rowJs);
+        rowId = rowJs.rowId;
+    }
+    for (const childTable of kit.schema.tablesList()) {
+        for (const fk of childTable.foreignKeys) {
+            if (fk.referencesTable !== table.name) {
+                continue;
+            }
+            const children = queryChildren(kit.db, childTable, fk, row);
+            if (children.length === 0) {
+                continue;
+            }
+            if (fk.onDelete === 'restrict') {
+                throw new KitRestrictError(childTable.name, fk.name);
+            }
+            if (fk.onDelete === 'set null') {
+                for (const childJs of children) {
+                    const childRow = rowFromRowJs(childTable, childJs);
+                    const childPk = pkValueFromRow(childTable, childRow);
+                    const patched = { ...childRow };
+                    for (const colName of fk.columns) {
+                        patched[colName] = null;
+                    }
+                    validateRow(childTable, patched);
+                    deleteUniqueGuards(kit, txn, childTable, childPk);
+                    txn.delete(childTable.name, childJs.rowId);
+                    txn.put(childTable.name, toCells(childTable, patched));
+                    stageUniqueGuards(kit, txn, childTable, patched, childPk);
+                }
+            }
+            else if (fk.onDelete === 'cascade') {
+                for (const childJs of children) {
+                    const childRow = rowFromRowJs(childTable, childJs);
+                    const childPk = pkValueFromRow(childTable, childRow);
+                    planDeleteRecursive(kit, txn, childTable, childPk, currentPath, deleted);
+                }
+            }
+        }
+    }
+    txn.delete(table.name, rowId);
+    deleteUniqueGuards(kit, txn, table, pkValue);
+    deletePkGuard(kit, txn, table, pkValue);
+    deleteRowGuard(kit, txn, table.name, pkValue);
+    deleted.add(visitKey);
+    currentPath.delete(visitKey);
+}
+/** Delete every Kit guard row owned by `tableName` (used by `truncateTable`). */
+export function deleteGuardsForTable(kit, txn, tableName) {
+    const ownerTableCol = columnId(kitUniqueKeys, 'owner_table');
+    const uniqueKeys = kit.db.table('__kit_unique_keys').query([
+        { kind: 1 /* ConditionKind.BitmapEq */, columnId: ownerTableCol, text: tableName }
+    ]);
+    for (const row of uniqueKeys) {
+        txn.delete('__kit_unique_keys', row.rowId);
+    }
+    const tableNameCol = columnId(kitRowGuards, 'table_name');
+    const rowGuards = kit.db.table('__kit_row_guards').query([
+        { kind: 1 /* ConditionKind.BitmapEq */, columnId: tableNameCol, text: tableName }
+    ]);
+    for (const row of rowGuards) {
+        txn.delete('__kit_row_guards', row.rowId);
+    }
+}
+//# sourceMappingURL=constraints.js.map

package/dist/constraints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.js","sourceRoot":"","sources":["../src/constraints.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,EACN,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,QAAQ,EACR,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAC3F,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAcpD,SAAS,QAAQ,CAAC,KAAgB,EAAE,IAAY;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,GAAG,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,yBAAyB,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,GAAG,CAAC,EAAE,CAAC;AACf,CAAC;AAED,SAAS,MAAM;IACd,OAAO,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AACjC,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,SAAiB;IAClE,OAAO,MAAM;SACX,UAAU,EAAE;SACZ,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAgB,EAAE,GAA4B;IACrE,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAChC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC3C,qEAAqE;YACrE,wEAAwE;YACxE,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;QAC7B,CAAC;QACD,QAAQ,GAAG,CAAC,WAAW,EAAE,CAAC;YACzB,KAAK,MAAM;gBACV,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,KAAgB,EAAE,CAAC;YACxD,KAAK,OAAO;gBACX,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,KAAe,EAAE,CAAC;YACrD,KAAK,SAAS;gBACb,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,KAAe,EAAE,CAAC;YACvD,KAAK,MAAM,CAAC;YACZ,KAAK,WAAW,CAAC;YACjB,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM;gBACV,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,KAAe,EAAE,CAAC;YACpD,KAAK,OAAO;gBACX,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAmB,CAAC,EAAE,CAAC;YACtE,KAAK,WAAW;gBACf,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,EAAG,KAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzE,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACf,MAAM,KAAK,GAAG,KAA2B,CAAC;gBAC1C,OAAO;oBACN,QAAQ,EAAE,GAAG,CAAC,EAAE;oBAChB,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACpC,aAAa,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBACrC,CAAC;YACH,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACT,MAAM,WAAW,GAAU,GAAG,CAAC,WAAW,CAAC;gBAC3C,MAAM,IAAI,KAAK,CAAC,iDAAiD,WAAW,EAAE,CAAC,CAAC;YACjF,CAAC;QACF,CAAC;IACF,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,EAAkB,EAAE,KAAgB,EAAE,OAAgB;IAC9E,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC7D,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,8CAA8C,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,KAAK,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,0CAA0C,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/E,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CACd,0BAA0B,KAAK,CAAC,IAAI,2BAA2B,KAAK,CAAC,UAAU,CAAC,MAAM,aAAa,CACnG,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACnD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,GAAG,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,yBAAyB,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QACpF,CAAC;QACD,OAAO,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACvD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAgB,EAAE,GAA4B;IAC5E,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACpC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC3C,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,mCAAmC,CAAC,CAAC;QACpF,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,CAAU,EAAE,CAAU;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CACrB,WAAsB,EACtB,iBAA2B,EAC3B,QAAmB;IAEnB,IAAI,iBAAiB,CAAC,MAAM,KAAK,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CACd,0BAA0B,iBAAiB,CAAC,MAAM,uCAAuC,WAAW,CAAC,UAAU,CAAC,MAAM,UAAU,CAChI,CAAC;IACH,CAAC;IACD,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC7B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC3C,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAe,EAAE,KAAc;IACzD,IAAI,GAAG,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC;QACjC,OAAO;YACN,IAAI,gCAAwB;YAC5B,QAAQ,EAAE,GAAG,CAAC,EAAE;YAChB,OAAO,EAAE,KAAe;YACxB,OAAO,EAAE,KAAe;SACxB,CAAC;IACH,CAAC;IACD,OAAO;QACN,IAAI,gCAAwB;QAC5B,QAAQ,EAAE,GAAG,CAAC,EAAE;QAChB,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC;KACnB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACrB,EAAkB,EAClB,UAAqB,EACrB,EAAkB,EAClB,SAAkC;IAElC,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE;QAChD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAC/D,IAAI,CAAC,GAAG,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,cAAc,OAAO,yBAAyB,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,MAAM,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACvC,OAAO,iBAAiB,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAChC,GAAkB,EAClB,GAAgB,EAChB,KAAgB,EAChB,GAA4B,EAC5B,OAAgB;IAEhB,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IAErB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACzC,GAAG,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAClB,CAAC;QAChC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;YACnE,SAAS;QACV,CAAC;QACD,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;QAC7D,IAAI,QAAQ,EAAE,CAAC;YACd,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,CAC5D,CAAC;YACF,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,CACzD,CAAC;YACF,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;YACxD,IAAI,aAAa,KAAK,KAAK,CAAC,IAAI,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;gBAC5D,MAAM,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC;YACD,SAAS;QACV,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE;YAC5B,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;YACtE,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE;YACvE,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;YACtE,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;YAChE,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;SAC9D,CAAC,CAAC;IACJ,CAAC;AACF,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAgB;IAC9C,OAAO,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,YAAY,CAC3B,GAAkB,EAClB,GAAgB,EAChB,KAAgB,EAChB,OAAgB,EAChB,UAAmB,EACnB,MAAoB;IAEpB,4EAA4E;IAC5E,kEAAkE;IAClE,IAAI,CAAC,UAAU;QAAE,OAAO;IAExB,0EAA0E;IAC1E,8EAA8E;IAC9E,8EAA8E;IAC9E,sBAAsB;IACtB,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,IAAI,MAAM,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;YAC7B,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC;YACvE,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,OAAO;IACR,CAAC;IAED,0EAA0E;IAC1E,kEAAkE;IAClE,MAAM,QAAQ,GAAG,OAAqC,CAAC;IACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,mDAAmD,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAC7D,IAAI,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACzD,CAAC;IACD,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE;QAC5B,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;QACtE,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE;QAC9E,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QACtE,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE;QAC3E,EAAE,QAAQ,EAAE,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;KACnE,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC5B,GAAkB,EAClB,GAAgB,EAChB,KAAgB,EAChB,OAAgB;IAEhB,2EAA2E;IAC3E,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC1C,MAAM,QAAQ,GAAG,OAAqC,CAAC;IACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC;QAAE,OAAO;IAC5E,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAC7D,IAAI,QAAQ,EAAE,CAAC;QACd,GAAG,CAAC,MAAM,CAAC,mBAAmB,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;AACF,CAAC;AAED,MAAM,UAAU,kBAAkB,CACjC,GAAkB,EAClB,GAAgB,EAChB,KAAgB,EAChB,OAAgB,EAChB,eAA0B;IAE1B,2EAA2E;IAC3E,oEAAoE;IACpE,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACtC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,aAAa,GAAG,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,eAAe;QAC9B,CAAC,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC;QAC1B,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,KAAK,CAAC;QACxD,EAAE,IAAI,gCAAwB,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;KAC3E,CAAC,CAAC;IACH,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAChE,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YAC3D,SAAS;QACV,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,CACzD,CAAC;QACF,IAAI,SAAS,CAAC,WAAW,CAAC,KAAK,OAAO,EAAE,CAAC;YACxC,GAAG,CAAC,MAAM,CAAC,mBAAmB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9C,CAAC;IACF,CAAC;AACF,CAAC;AAED,MAAM,UAAU,aAAa,CAC5B,GAAkB,EAClB,GAAgB,EAChB,SAAiB,EACjB,OAAgB;IAEhB,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,QAAQ;QACvB,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,EAAE,KAAK;YACpF,EAAE,CAAC,GAAG,EAAE;QACV,CAAC,CAAC,EAAE,CAAC;IACN,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,GAAG,CAAC,kBAAkB,EAAE;QAC3B,EAAE,QAAQ,EAAE,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;QAC3E,EAAE,QAAQ,EAAE,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;QACnE,EAAE,QAAQ,EAAE,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE;QAC7E,EAAE,QAAQ,EAAE,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE;QAC/D,EAAE,QAAQ,EAAE,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;KAC7D,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC7B,GAAkB,EAClB,GAAgB,EAChB,SAAiB,EACjB,OAAgB;IAEhB,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;IAC5D,IAAI,QAAQ,EAAE,CAAC;QACd,GAAG,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;AACF,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAkB,EAAE,SAAiB,EAAE,OAAgB;IACnF,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1C,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,kBAAkB,CACjC,GAAkB,EAClB,GAAgB,EAChB,KAAgB,EAChB,GAA4B;IAE5B,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACzD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;YACvD,SAAS;QACV,CAAC;QACD,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,EAAE,EAAE,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;QAC1E,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC;QACD,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrD,CAAC;AACF,CAAC;AAED,MAAM,UAAU,UAAU,CACzB,GAAkB,EAClB,GAAgB,EAChB,KAAgB,EAChB,OAAgB,EAChB,KAAuD;IAEvD,mBAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,mBAAmB,CAC3B,GAAkB,EAClB,GAAgB,EAChB,KAAgB,EAChB,OAAgB,EAChB,WAAwB,EACxB,OAAoB,EACpB,KAAuD;IAEvD,MAAM,QAAQ,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;IACvD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO;IAClC,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,QAAQ,CAAC,sCAAsC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAE1B,2EAA2E;IAC3E,6EAA6E;IAC7E,IAAI,GAA4B,CAAC;IACjC,IAAI,KAAa,CAAC;IAClB,IAAI,KAAK,EAAE,CAAC;QACX,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;QAChB,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IACrB,CAAC;SAAM,CAAC;QACP,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;YACZ,MAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;QACD,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IACrB,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YACzC,IAAI,EAAE,CAAC,eAAe,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;gBACvC,SAAS;YACV,CAAC;YACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YAC5D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,SAAS;YACV,CAAC;YACD,IAAI,EAAE,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAChC,MAAM,IAAI,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,EAAE,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAChC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;oBAChC,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBACnD,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;oBACrD,MAAM,OAAO,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC;oBAChC,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;wBAClC,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;oBACzB,CAAC;oBACD,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBACjC,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;oBAClD,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;oBAC3C,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;oBACvD,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAC3D,CAAC;YACF,CAAC;iBAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;oBAChC,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBACnD,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;oBACrD,mBAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBAC1E,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7C,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtB,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC9B,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,oBAAoB,CACnC,GAAkB,EAClB,GAAgB,EAChB,SAAiB;IAEjB,MAAM,aAAa,GAAG,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,KAAK,CAAC;QAC1D,EAAE,IAAI,gCAAwB,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE;KAC1E,CAAC,CAAC;IACH,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC9B,GAAG,CAAC,MAAM,CAAC,mBAAmB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC;QACxD,EAAE,IAAI,gCAAwB,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;KACzE,CAAC,CAAC;IACH,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC7B,GAAG,CAAC,MAAM,CAAC,kBAAkB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;AACF,CAAC"}

package/dist/db.d.ts

@@ -0,0 +1,135 @@
+import type { Database as NativeDatabase, Transaction } from '@visorcraft/mongreldb/native.js';
+import { Schema } from './schema.js';
+import { type Migration } from './migrate.js';
+/** A reservoir-sampled approximate aggregate with a confidence interval. */
+export interface ApproxAggregate {
+    point: number;
+    ci_low: number;
+    ci_high: number;
+    n_population: number;
+    n_sample_live: number;
+    n_passing: number;
+}
+type MongrelColumnSpec = {
+    id: number;
+    name: string;
+    ty: number;
+    primaryKey: boolean;
+    nullable: boolean;
+    autoIncrement?: boolean;
+    embeddingDim?: number;
+    encrypted?: boolean;
+    encryptedIndexable?: boolean;
+};
+type MongrelDatabase = NativeDatabase & {
+    transaction(fn: (txn: Transaction) => void | Promise<void>, opts?: {
+        maxRetries?: number;
+        baseDelayMs?: number;
+    }): Promise<bigint>;
+    alterColumn(table: string, columnName: string, column: MongrelColumnSpec): bigint;
+};
+/**
+ * Run `fn` inside a fresh transaction, retrying bounded-exponentially on
+ * retryable conflicts. Exported so query builders and `KitDatabase` methods
+ * can share one implementation.
+ */
+export declare function runSyncTxn(kit: KitDatabase, fn: (txn: Transaction) => void, opts?: {
+    maxRetries?: number;
+    baseDelayMs?: number;
+}): void;
+export declare class KitDatabase {
+    private readonly db;
+    readonly schema: Schema;
+    private constructor();
+    static open(path: string, schema: Schema): Promise<KitDatabase>;
+    static openSync(path: string, schema: Schema, options?: {
+        encryption?: {
+            passphrase: string;
+        };
+    }): KitDatabase;
+    static createEncryptedSync(path: string, schema: Schema, passphrase: string): KitDatabase;
+    static openEncryptedSync(path: string, schema: Schema, passphrase: string): KitDatabase;
+    private static initialize;
+    private ensureInternalTables;
+    private ensureAppTable;
+    private writeSchemaCatalog;
+    migrateSync(schema: Schema, migrations: Migration[]): void;
+    close(): void;
+    get nativeDb(): MongrelDatabase;
+    tableNames(): string[];
+    /** Verify run footer checksums; returns integrity issues grouped by table. */
+    check(): unknown;
+    /** Drop corrupt runs; returns the doctor report. */
+    doctor(): unknown;
+    /**
+     * Flush every table's in-memory writes to durable sorted runs. Besides
+     * durability, this empties the memtable, which enables the engine's
+     * incremental-aggregate fast path (see `incrementalAggregate`).
+     */
+    flush(): void;
+    /** The current visible commit epoch (monotonically increasing version). */
+    snapshotEpoch(): bigint;
+    /** Export every visible row of `table` as a TSV document. */
+    exportTsv(table: string): string;
+    /** Read every row of `table` visible at commit `epoch` (MVCC time-travel). */
+    rowsAtEpoch(table: string, epoch: bigint): Record<string, unknown>[];
+    /**
+     * Reservoir-sampled approximate aggregate (`count`/`sum`/`avg`) with a
+     * `z`-score confidence interval (default ~95%). Returns
+     * `{ point, ci_low, ci_high, n_population, n_sample_live, n_passing }`, or
+     * `null` when the reservoir is empty. `column` is required for `sum`/`avg`.
+     */
+    approxAggregate(table: string, agg: 'count' | 'sum' | 'avg', column?: string, z?: number): ApproxAggregate | null;
+    /**
+     * Stream `table` in batches of at most `batchSize` rows, invoking `cb` once
+     * per batch. Implemented with `limit`/`offset` pagination, so memory stays
+     * bounded to one batch. (Not snapshot-consistent across batches, and O(n·
+     * pages) — the Rust/Python kit's `scan_batched` uses the engine's native
+     * single-pass cursor.)
+     */
+    scanBatched(table: string, batchSize: number, cb: (rows: Record<string, unknown>[]) => void): void;
+    /**
+     * Rank rows of `table` by Jaccard set-similarity between `query` and the
+     * string set stored (as a JSON array) in `column`, returning the top `k`
+     * with similarity `> 0`, highest first. The set-similarity / dedup-join
+     * primitive the `MinHash` index kind is meant to serve; an exact linear scan
+     * (a sub-linear MinHash/LSH index remains engine future-work).
+     */
+    setSimilarity(table: string, column: string, query: string[], k: number): {
+        row: Record<string, unknown>;
+        similarity: number;
+    }[];
+    /** Import a TSV document into `table`; returns the number of rows inserted. */
+    importTsv(table: string, text: string): number;
+    /**
+     * Rename a live table from `oldName` to `newName`. The source must exist and
+     * be live; the target must not collide with an existing table (the engine
+     * enforces both). The rename is durable: it is logged to the WAL and applied
+     * again on reopen. The `table_id`, schema, and on-disk layout are unchanged,
+     * so outstanding handles and indexes remain valid.
+     *
+     * Internal `__kit_`-prefixed names are off-limits in both directions: an app
+     * table cannot be renamed to a `__kit_` name (it would vanish from
+     * {@link KitDatabase.tableNames}, which filters that prefix) and an internal
+     * table cannot be renamed away from its expected name (the Kit looks internal
+     * tables up by name). This keeps the internal-table namespace invariant
+     * intact without the engine needing to know about Kit conventions.
+     */
+    renameTable(oldName: string, newName: string): void;
+    begin(): Transaction;
+    /**
+     * Reserve (without inserting) the next engine-native AUTO_INCREMENT value for
+     * `tableName`, advancing the engine's per-table counter. Returns `null` when
+     * the table has no auto-increment column.
+     *
+     * This is the replacement for the legacy `allocateSequenceSync` hot-row
+     * scheme: it is a pure in-memory counter bump (no `__kit_sequences` row, no
+     * extra commit) that becomes durable when a row carrying the reserved id
+     * commits. An aborted reservation simply leaves a gap, which the never-reuse
+     * rule permits. Used by `prepareInsertRowSync` so a transaction can stage the
+     * row with an explicit id and still return it from `executeSync()`.
+     */
+    reserveAutoIncSync(tableName: string): bigint | null;
+}
+export {};
+//# sourceMappingURL=db.d.ts.map

package/dist/db.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"db.d.ts","sourceRoot":"","sources":["../src/db.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACX,QAAQ,IAAI,cAAc,EAC1B,WAAW,EAIX,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAQrC,OAAO,EAAiC,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AAwB7E,4EAA4E;AAC5E,MAAM,WAAW,eAAe;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CAClB;AAED,KAAK,iBAAiB,GAAG;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC7B,CAAC;AAEF,KAAK,eAAe,GAAG,cAAc,GAAG;IACvC,WAAW,CACV,EAAE,EAAE,CAAC,GAAG,EAAE,WAAW,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EAC9C,IAAI,CAAC,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,GAClD,OAAO,CAAC,MAAM,CAAC,CAAC;IACnB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAAC;CAClF,CAAC;AAwIF;;;;GAIG;AACH,wBAAgB,UAAU,CACzB,GAAG,EAAE,WAAW,EAChB,EAAE,EAAE,CAAC,GAAG,EAAE,WAAW,KAAK,IAAI,EAC9B,IAAI,GAAE;IAAE,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAO,GACtD,IAAI,CAgCN;AAED,qBAAa,WAAW;IAEtB,OAAO,CAAC,QAAQ,CAAC,EAAE;aACH,MAAM,EAAE,MAAM;IAF/B,OAAO;WAKM,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;IAiBrE,MAAM,CAAC,QAAQ,CACd,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE;QAAE,UAAU,CAAC,EAAE;YAAE,UAAU,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,GAC/C,WAAW;IAmBd,MAAM,CAAC,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,WAAW;IAQzF,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,WAAW;IAQvF,OAAO,CAAC,MAAM,CAAC,UAAU;IAUzB,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,cAAc;IAKtB,OAAO,CAAC,kBAAkB;IAqC1B,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAAI;IAI1D,KAAK,IAAI,IAAI;IAIb,IAAI,QAAQ,IAAI,eAAe,CAE9B;IAED,UAAU,IAAI,MAAM,EAAE;IAItB,8EAA8E;IAC9E,KAAK,IAAI,OAAO;IAIhB,oDAAoD;IACpD,MAAM,IAAI,OAAO;IAIjB;;;;OAIG;IACH,KAAK,IAAI,IAAI;IAMb,2EAA2E;IAC3E,aAAa,IAAI,MAAM;IAIvB,6DAA6D;IAC7D,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAMhC,8EAA8E;IAC9E,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;IAQpE;;;;;OAKG;IACH,eAAe,CACd,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,OAAO,GAAG,KAAK,GAAG,KAAK,EAC5B,MAAM,CAAC,EAAE,MAAM,EACf,CAAC,SAAO,GACN,eAAe,GAAG,IAAI;IAczB;;;;;;OAMG;IACH,WAAW,CACV,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,MAAM,EACjB,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,IAAI,GAC3C,IAAI;IAgBP;;;;;;OAMG;IACH,aAAa,CACZ,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EAAE,EACf,CAAC,EAAE,MAAM,GACP;QAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,EAAE;IA2CzD,+EAA+E;IAC/E,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAU9C;;;;;;;;;;;;;OAaG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IASnD,KAAK,IAAI,WAAW;IAIpB;;;;;;;;;;;OAWG;IACH,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;CA8BpD"}