@crvouga/mockingbird-service-postgres 3.5.0 → 3.7.0

package/dist/index.js

@@ -254,6 +254,13 @@ function isPostgresError(err) {
   return typeof sqlState === "string" && /^[0-9A-Z]{5}$/.test(sqlState);
 }
 
+// src/storage/guc.ts
+function validateStorageSetting(name, value) {
+  if (name === "default_table_access_method" && value !== "heap" || name === "default_tablespace" && value !== "" && value !== "pg_default") {
+    throw pgError("invalid_parameter_value", `invalid value for parameter "${name}": "${value}"`, "22023");
+  }
+}
+
 // src/runtime/prng.ts
 var Prng = class _Prng {
   state;
@@ -2793,6 +2800,12 @@ var invalidName = () => {
   throw pgError("syntax", "invalid name syntax", "42602");
 };
 function parseNamespaceInput(text) {
+  const parsed = parseRelationInput(text);
+  if ("oid" in parsed) return parsed;
+  if (parsed.parts.length !== 1) invalidName();
+  return { name: parsed.parts[0] };
+}
+function parseRelationInput(text) {
   if (text === "-") return { oid: 0 };
   if (/^\d+$/.test(text)) return { oid: parseOidText(text) };
   const names = [];
@@ -2828,8 +2841,8 @@ function parseNamespaceInput(text) {
     skipSpace();
     if (at === text.length) invalidName();
   }
-  if (names.length !== 1) invalidName();
-  return { name: names[0] };
+  if (names.length === 0 || names.length > 3) invalidName();
+  return { parts: names };
 }
 function namespaceText(oid, name) {
   if (oid === 0) return "-";
@@ -2902,6 +2915,7 @@ var TYPE_ALIASES = {
   regtype: "regtype",
   regproc: "regproc",
   regnamespace: "regnamespace",
+  xid: "xid",
   oid: "oid",
   void: "void",
   record: "record",
@@ -2978,6 +2992,7 @@ var TYPE_OIDS = {
   regproc: 24,
   text: 25,
   oid: 26,
+  xid: 28,
   json: 114,
   float4: 700,
   float8: 701,
@@ -3296,6 +3311,7 @@ function recordText(rec, ctx) {
   return `(${parts.join(",")})`;
 }
 function datumText(t, v, ctx) {
+  if (t === "regclass") return v === 0 ? "-" : ctx.relationName?.(v) ?? String(v);
   if (t === "regnamespace") return namespaceText(v, ctx.namespaceName?.(v));
   if (v === null) throw pgError("internal", "datumText called with null");
   if (isArrayType(t)) return arrayText(v, ctx);
@@ -3306,6 +3322,7 @@ function datumText(t, v, ctx) {
     case "int2":
     case "int4":
     case "oid":
+    case "xid":
       return String(v);
     case "int8":
       return String(v);
@@ -3370,6 +3387,12 @@ function datumText(t, v, ctx) {
 }
 var UTC_INPUT = { zoneOffsetForNaive: () => 0 };
 function datumFromText(t, text, ctx) {
+  if (t === "regclass") {
+    const parsed = parseRelationInput(text);
+    if ("oid" in parsed) return parsed.oid;
+    if (!ctx.relationOid) throw unsupported("regclass input without a catalog");
+    return ctx.relationOid(parsed.parts);
+  }
   if (t === "regnamespace") {
     const parsed = parseNamespaceInput(text);
     if ("oid" in parsed) return parsed.oid;
@@ -3391,6 +3414,7 @@ function datumFromText(t, text, ctx) {
     case "int8":
       return parseIntegerText(text, t);
     case "oid":
+    case "xid":
       return parseOidText(text);
     case "float4":
       return Math.fround(parseFloatText(text, "float4"));
@@ -3547,6 +3571,8 @@ var TableData = class _TableData {
   schema;
   columns;
   rows;
+  rowXmins = /* @__PURE__ */ new WeakMap();
+  slabXmins = null;
   /** Frozen columnar storage after snapshot hydrate; `rows` stays empty until materialized. */
   slab = null;
   constraints;
@@ -3589,6 +3615,11 @@ var TableData = class _TableData {
   materializeSlab() {
     if (!this.slab) return;
     this.rows = this.slab.materialize();
+    if (this.slabXmins)
+      this.rows.forEach((row, index) => {
+        this.rowXmins.set(row, this.slabXmins[index] ?? 2);
+      });
+    this.slabXmins = null;
     this.slab = null;
     this.indexStores = null;
   }
@@ -3622,6 +3653,10 @@ var TableData = class _TableData {
     } else {
       t.rows = this.rows.map((r) => r.slice());
     }
+    t.rows.forEach((row, index) => {
+      const xmin = this.slabXmins?.[index] ?? this.rowXmins.get(this.rows[index]);
+      if (xmin !== void 0) t.rowXmins.set(row, xmin);
+    });
     t.unlogged = this.unlogged;
     t.constraints = this.constraints.map((c) => ({ ...c }));
     t.triggers = this.triggers.map((tr) => ({ ...tr }));
@@ -3707,7 +3742,18 @@ var DatabaseState = class _DatabaseState {
   clock;
   changes = 0;
   oidCounter = 16384;
+  /** Local monotonic xid allocator; 2 denotes a row from a legacy snapshot without metadata. */
+  xidCounter = 3;
+  transactionXid = null;
+  allocateXid() {
+    if (this.xidCounter > 4294967295)
+      throw pgError("program_limit_exceeded", "transaction ID space exhausted; xid wraparound is not modeled", "54000");
+    return this.xidCounter++;
+  }
   inTransaction = false;
+  /** Transaction-only events: included in rollback clones, never in exported snapshots. */
+  pendingTriggers = [];
+  constraintModes = /* @__PURE__ */ new Map();
   /** most recent sequence touched by nextval/setval, for lastval() */
   lastSequence = null;
   /** Session currval per sequence; absent entry means currval is undefined. */
@@ -3750,6 +3796,8 @@ var DatabaseState = class _DatabaseState {
     this.settings.set("row_security", "on");
     this.settings.set("array_nulls", "on");
     this.settings.set("backslash_quote", "safe_encoding");
+    this.settings.set("default_tablespace", "");
+    this.settings.set("default_table_access_method", "heap");
   }
   nextOid() {
     return this.oidCounter++;
@@ -3909,10 +3957,14 @@ var DatabaseState = class _DatabaseState {
     s.prepared = new Map(this.prepared);
     s.changes = this.changes;
     s.inTransaction = this.inTransaction;
+    s.pendingTriggers = this.pendingTriggers.slice();
+    s.constraintModes = new Map(this.constraintModes);
     s.lastSequence = this.lastSequence ? { ...this.lastSequence } : null;
     s.sequenceCurrval = new Map(this.sequenceCurrval);
     s.tableStats = new Map(this.tableStats);
     s.oidCounter = this.oidCounter;
+    s.xidCounter = this.xidCounter;
+    s.transactionXid = this.transactionXid;
     for (const [name, overloads] of this.systemFunctions) s.systemFunctions.set(name, overloads.slice());
     return s;
   }
@@ -3926,10 +3978,14 @@ var DatabaseState = class _DatabaseState {
     s.prepared = new Map(this.prepared);
     s.changes = this.changes;
     s.inTransaction = this.inTransaction;
+    s.pendingTriggers = this.pendingTriggers.slice();
+    s.constraintModes = new Map(this.constraintModes);
     s.lastSequence = this.lastSequence ? { ...this.lastSequence } : null;
     s.sequenceCurrval = new Map(this.sequenceCurrval);
     s.tableStats = new Map(this.tableStats);
     s.oidCounter = this.oidCounter;
+    s.xidCounter = this.xidCounter;
+    s.transactionXid = this.transactionXid;
     for (const [name, overloads] of this.systemFunctions) s.systemFunctions.set(name, overloads.slice());
     return s;
   }
@@ -3998,11 +4054,15 @@ var DatabaseState = class _DatabaseState {
     this.settings = other.settings;
     this.localSettings = other.localSettings;
     this.prepared = other.prepared;
+    this.pendingTriggers = other.pendingTriggers.slice();
+    this.constraintModes = new Map(other.constraintModes);
     this.changes = other.changes;
     this.lastSequence = other.lastSequence;
     this.sequenceCurrval = other.sequenceCurrval;
     this.tableStats = other.tableStats;
     this.oidCounter = other.oidCounter;
+    this.xidCounter = Math.max(this.xidCounter, other.xidCounter);
+    this.transactionXid = other.transactionXid;
   }
   /** @internal Snapshot codec access to the oid allocator. */
   snapshotOidCounter() {
@@ -4014,91 +4074,212 @@ var DatabaseState = class _DatabaseState {
   }
 };
 
-// src/transactions/manager.ts
-var TransactionManager = class {
-  constructor(state) {
-    this.state = state;
+// src/types/timezone.ts
+var intlCache = /* @__PURE__ */ new Map();
+function intlFor(zone) {
+  const cached = intlCache.get(zone);
+  if (cached) return cached;
+  try {
+    const fmt = new Intl.DateTimeFormat("en-US", {
+      timeZone: zone,
+      timeZoneName: "longOffset",
+      year: "numeric"
+    });
+    intlCache.set(zone, fmt);
+    return fmt;
+  } catch {
+    return null;
+  }
+}
+function parseFixedOffset(zone) {
+  const m = /^([+-]?)(\d{1,2})(?::(\d{2}))?(?::(\d{2}))?$/.exec(zone.trim());
+  if (!m) return null;
+  const sign = m[1] === "-" ? -1 : 1;
+  return sign * (Number(m[2]) * 3600 + Number(m[3] ?? 0) * 60 + Number(m[4] ?? 0));
+}
+function parsePosixOffset(zone) {
+  const m = /^(?:utc|gmt)([+-])(\d{1,2})(?::(\d{2}))?$/i.exec(zone.trim());
+  if (!m) return null;
+  const sign = m[1] === "-" ? 1 : -1;
+  return sign * (Number(m[2]) * 3600 + Number(m[3] ?? 0) * 60);
+}
+function pgMicrosToUnixMs(utcMicros) {
+  return Number((utcMicros - UNIX_EPOCH_MICROS_FROM_PG) / 1000n);
+}
+function zoneOffsetAtUtc(zone, utcMicros) {
+  const z = zone.trim();
+  const lower = z.toLowerCase();
+  if (lower === "utc" || lower === "gmt" || lower === "z" || lower === "zulu" || lower === "universal") return 0;
+  const posix = parsePosixOffset(z);
+  if (posix !== null) return posix;
+  const fixed = parseFixedOffset(z);
+  if (fixed !== null) return fixed;
+  const fmt = intlFor(z);
+  if (fmt) {
+    const ms = clampDateMs(pgMicrosToUnixMs(utcMicros));
+    const parts = fmt.formatToParts(new Date(ms));
+    const tzName = parts.find((p) => p.type === "timeZoneName")?.value ?? "GMT";
+    const m = /GMT([+-])(\d{2}):(\d{2})(?::(\d{2}))?/.exec(tzName);
+    if (!m) return 0;
+    const sign = m[1] === "-" ? -1 : 1;
+    return sign * (Number(m[2]) * 3600 + Number(m[3]) * 60 + Number(m[4] ?? 0));
   }
+  throw pgError("invalid_parameter_value", `time zone "${zone}" not recognized`);
+}
+function clampDateMs(ms) {
+  const MAX = 864e13;
+  return Math.max(-MAX, Math.min(MAX, ms));
+}
+function zoneOffsetForNaive(zone, naiveMicros) {
+  const first = zoneOffsetAtUtc(zone, naiveMicros);
+  const second = zoneOffsetAtUtc(zone, naiveMicros - BigInt(first) * 1000000n);
+  return second;
+}
+
+// src/expressions/context.ts
+var EngineCtx = class {
   state;
-  base = null;
-  savepoints = [];
-  freezeDepth = 0;
-  get inTransaction() {
-    return this.base !== null;
+  writeXid = null;
+  rowVersionXid() {
+    if (this.state.inTransaction) return this.state.transactionXid ??= this.state.allocateXid();
+    return this.writeXid ??= this.state.allocateXid();
   }
-  takeSnapshot() {
-    this.state.freezeShared();
-    this.freezeDepth++;
-    return { state: this.state.cloneShallow(), prngState: this.state.prng.getState() };
+  /** transaction timestamp (now(), current_timestamp) — UTC micros since PG epoch */
+  txNow;
+  /** statement timestamp */
+  stmtNow;
+  constructor(state, txNow) {
+    this.state = state;
+    const nowMs = state.clock().getTime();
+    const nowMicros = BigInt(Math.round(nowMs)) * 1000n + UNIX_EPOCH_MICROS_FROM_PG;
+    this.txNow = txNow ?? nowMicros;
+    this.stmtNow = nowMicros;
   }
-  restore(snap) {
-    this.state.restoreFrom(snap.state);
-    this.state.prng.setState(snap.prngState);
+  timezone() {
+    return this.state.getSetting("timezone") ?? "UTC";
   }
-  thawOnce() {
-    if (this.freezeDepth > 0) {
-      this.state.thawShared();
-      this.freezeDepth--;
-    }
+  relationOid(parts) {
+    const target = this.state.resolveRelationSchema(parts);
+    const schema = target ? this.state.schemas.get(target.schema) : void 0;
+    const relation = target ? schema?.sequences.get(target.name) ?? schema?.tables.get(target.name) ?? schema?.views.get(target.name) : void 0;
+    if (!relation) throw pgError("undefined_table", `relation "${parts.join(".")}" does not exist`, "42P01");
+    return relation.oid;
   }
-  begin() {
-    if (this.base !== null) {
-      return;
+  relationName(oid) {
+    for (const schema of this.state.schemas.values()) {
+      for (const relation of [...schema.tables.values(), ...schema.sequences.values(), ...schema.views.values()]) {
+        if (relation.oid !== oid) continue;
+        const visible = this.state.resolveRelationSchema([relation.name])?.schema === schema.name;
+        return (visible ? [relation.name] : [schema.name, relation.name]).map(quoteIdentifier).join(".");
+      }
     }
-    this.base = this.takeSnapshot();
-    this.state.inTransaction = true;
-    assert(this.freezeDepth === 1, "BEGIN freeze depth");
+    return null;
   }
-  commit() {
-    this.base = null;
-    this.savepoints = [];
-    this.state.inTransaction = false;
-    this.state.localSettings.clear();
-    while (this.freezeDepth > 0) this.thawOnce();
+  namespaceOid(name) {
+    const oid = builtinNamespaceOid(name) ?? this.state.schemas.get(name)?.oid;
+    if (oid === void 0) throw pgError("undefined_object", `schema "${name}" does not exist`, "3F000");
+    return oid;
   }
-  rollback() {
-    if (this.base !== null) {
-      this.restore(this.base);
+  namespaceName(oid) {
+    const builtin = builtinNamespaceName(oid);
+    if (builtin !== void 0) return builtin;
+    for (const schema of this.state.schemas.values()) {
+      if (schema.oid === oid) return schema.name;
     }
-    this.base = null;
-    this.savepoints = [];
-    this.state.inTransaction = false;
-    this.state.localSettings.clear();
-    while (this.freezeDepth > 0) this.thawOnce();
+    return null;
   }
-  savepoint(name) {
-    if (this.base === null) {
-      throw pgError("transaction_state", "SAVEPOINT can only be used in transaction blocks", "25P01");
-    }
-    this.savepoints.push({ name, snap: this.takeSnapshot() });
+  zoneOffsetAt(utcMicros) {
+    return zoneOffsetAtUtc(this.timezone(), utcMicros);
   }
-  releaseSavepoint(name) {
-    const idx = this.findSavepoint(name);
-    this.savepoints.splice(idx);
+  zoneOffsetForNaive(naiveMicros) {
+    return zoneOffsetForNaive(this.timezone(), naiveMicros);
   }
-  rollbackToSavepoint(name) {
-    const idx = this.findSavepoint(name);
-    const sp = this.savepoints[idx];
-    this.restore(sp.snap);
-    this.savepoints.splice(idx + 1);
+  enumLabels(enumType) {
+    if (!isEnumType(enumType)) return null;
+    const e = this.state.findEnumByKey(enumType.slice(5));
+    return e?.labels ?? null;
   }
-  findSavepoint(name) {
-    if (this.base === null) {
-      throw pgError("transaction_state", `SAVEPOINT can only be used in transaction blocks`, "25P01");
-    }
-    for (let i = this.savepoints.length - 1; i >= 0; i--) {
-      if (this.savepoints[i].name === name) return i;
-    }
-    throw pgError("invalid_savepoint_specification", `savepoint "${name}" does not exist`, "3B001");
+  enumHasLabel(enumType, label) {
+    const labels = this.enumLabels(enumType);
+    return labels === null ? true : labels.includes(label);
   }
-  reset() {
-    this.base = null;
-    this.savepoints = [];
-    this.state.inTransaction = false;
-    this.freezeDepth = 0;
+  enumOrder(enumType, label) {
+    const labels = this.enumLabels(enumType);
+    if (!labels) return 0;
+    const idx = labels.indexOf(label);
+    return idx === -1 ? labels.length : idx;
+  }
+  requireEnum(enumType) {
+    const labels = this.enumLabels(enumType);
+    if (!labels) throw pgError("undefined_object", `type "${enumType.slice(5)}" does not exist`);
+    return labels;
   }
 };
 
+// src/api/bind.ts
+var INT4_MIN2 = -2147483648;
+var INT4_MAX2 = 2147483647;
+function bindValueToTyped(value, index) {
+  if (value === null || value === void 0) return tv(UNKNOWN, null);
+  switch (typeof value) {
+    case "boolean":
+      return tv("bool", value);
+    case "number":
+      if (Number.isInteger(value) && value >= INT4_MIN2 && value <= INT4_MAX2) {
+        return tv("int4", value);
+      }
+      if (Number.isInteger(value) && Number.isSafeInteger(value)) {
+        return tv("int8", BigInt(value));
+      }
+      return tv("float8", value);
+    case "bigint":
+      if (value < -9223372036854775808n || value > 9223372036854775807n) {
+        throw pgError("numeric_value_out_of_range", `bigint parameter $${index + 1} out of int8 range`, "22003");
+      }
+      return tv("int8", value);
+    case "string":
+      return tv(UNKNOWN, value);
+    case "object": {
+      if (value instanceof Uint8Array) return tv("bytea", value);
+      if (value instanceof Date) {
+        const ms = value.getTime();
+        if (Number.isNaN(ms)) {
+          throw pgError("invalid_datetime", `invalid Date parameter $${index + 1}`, "22008");
+        }
+        return tv("timestamptz", BigInt(Math.round(ms)) * 1000n + UNIX_EPOCH_MICROS_FROM_PG);
+      }
+      break;
+    }
+    default:
+      break;
+  }
+  throw pgError("misuse", `unsupported parameter type for $${index + 1}: ${typeof value}`, "XX000");
+}
+function datumToJs(t, v, ctx, int8 = "bigint") {
+  if (v === null) return null;
+  switch (t) {
+    case "bool":
+      return v;
+    case "int2":
+    case "int4":
+    case "oid":
+      return typeof v === "bigint" ? Number(v) : v;
+    case "int8": {
+      const n = typeof v === "bigint" ? v : BigInt(v);
+      if (int8 === "string") return n.toString();
+      if (int8 === "number") return Number(n);
+      return n;
+    }
+    case "float4":
+    case "float8":
+      return v;
+    case "bytea":
+      return v;
+    default:
+      return datumText(t === UNKNOWN ? "text" : t, v, ctx);
+  }
+}
+
 // src/types/cast.ts
 var UTC_CAST_ENV = {
   zoneOffsetAt: () => 0,
@@ -4294,7 +4475,7 @@ function castTo(env, value, target, opts = {}) {
     return tv(target, makeArray(toElem, items, arr.dims.slice(), arr.lbs.slice()));
   }
   if (from === "oid" && target === "regnamespace") return tv(target, v);
-  if (from === "regnamespace" && (target === "oid" || target === "int4" || target === "int8")) {
+  if ((from === "regnamespace" || from === "regclass") && (target === "oid" || target === "int4" || target === "int8")) {
     return tv(target, target === "int8" ? BigInt(v) : v);
   }
   if ((from === "int4" || from === "int8" || from === "int2") && (target === "oid" || target === "regnamespace")) {
@@ -4575,259 +4756,6 @@ function unifyTypes(a, b) {
   return null;
 }
 
-// src/types/resolve.ts
-var SERIALS = {
-  smallserial: "int2",
-  serial2: "int2",
-  serial: "int4",
-  serial4: "int4",
-  bigserial: "int8",
-  serial8: "int8"
-};
-function modOf(t, mods) {
-  if (mods.length === 0) return null;
-  if (t === "numeric") return { a: mods[0], b: mods[1] ?? 0 };
-  return { a: mods[0] };
-}
-function resolveTypeName(state, tn) {
-  const joined = tn.parts.join(".");
-  const bare = tn.parts.length === 1 ? tn.parts[0] : tn.parts.length === 2 && tn.parts[0] === "pg_catalog" ? tn.parts[1] : null;
-  if (bare !== null) {
-    const serial = SERIALS[bare];
-    if (serial !== void 0 && tn.arrayDims === 0) {
-      return { column: { id: serial, mod: null }, domain: null, serial };
-    }
-    const builtin = normalizeTypeName(bare);
-    if (builtin !== null) {
-      const id = tn.arrayDims > 0 ? arrayTypeOf(builtin) : builtin;
-      return { column: { id, mod: modOf(builtin, tn.mods) }, domain: null, serial: null };
-    }
-  }
-  const enumData = state.findEnum(tn.parts);
-  if (enumData) {
-    const elem = `enum:${enumData.schema}.${enumData.name}`;
-    const id = tn.arrayDims > 0 ? arrayTypeOf(elem) : elem;
-    return { column: { id, mod: null }, domain: null, serial: null };
-  }
-  const domainData = state.findDomain(tn.parts);
-  if (domainData) {
-    if (tn.arrayDims > 0) {
-      const id = arrayTypeOf(domainData.baseType.id);
-      return { column: { id, mod: domainData.baseType.mod }, domain: null, serial: null };
-    }
-    return {
-      column: domainData.baseType,
-      domain: `${domainData.schema}.${domainData.name}`,
-      serial: null
-    };
-  }
-  throw pgError("undefined_object", `type "${joined}" does not exist`);
-}
-
-// src/executor/relation.ts
-var RowScope = class {
-  constructor(columns, row, parent = null, rangeVars = /* @__PURE__ */ new Set()) {
-    this.columns = columns;
-    this.row = row;
-    this.parent = parent;
-    this.rangeVars = rangeVars;
-  }
-  columns;
-  row;
-  parent;
-  rangeVars;
-  /** Resolve a (possibly qualified) column reference. undefined = not found. */
-  lookup(parts) {
-    if (parts.length === 1) {
-      const name2 = parts[0];
-      let found2;
-      let count2 = 0;
-      for (let i = 0; i < this.columns.length; i++) {
-        const c = this.columns[i];
-        if (c.name === name2 && !c.hidden) {
-          count2++;
-          if (count2 > 1) {
-            throw pgError("ambiguous_column", `column reference "${name2}" is ambiguous`);
-          }
-          found2 = tv(c.type, this.row[i] ?? null);
-        }
-      }
-      if (found2 !== void 0) return found2;
-      if (this.rangeVars.has(name2)) {
-        return this.wholeRow(name2);
-      }
-      return this.parent?.lookup(parts);
-    }
-    const table = parts[parts.length - 2];
-    const name = parts[parts.length - 1];
-    let found;
-    let count = 0;
-    for (let i = 0; i < this.columns.length; i++) {
-      const c = this.columns[i];
-      if (c.table === table && c.name === name) {
-        count++;
-        if (count > 1) {
-          throw pgError("ambiguous_column", `column reference "${name}" is ambiguous`);
-        }
-        found = tv(c.type, this.row[i] ?? null);
-      }
-    }
-    if (found !== void 0) return found;
-    return this.parent?.lookup(parts);
-  }
-  /** Build a record value from all columns belonging to a range variable. */
-  wholeRow(rangeVar) {
-    const types = [];
-    const values = [];
-    const names = [];
-    for (let i = 0; i < this.columns.length; i++) {
-      const c = this.columns[i];
-      if (c.table === rangeVar) {
-        types.push(c.type);
-        values.push(this.row[i] ?? null);
-        names.push(c.name);
-      }
-    }
-    if (types.length === 0) return void 0;
-    return tv("record", { kind: "pgrecord", types, values, names });
-  }
-  hasRangeVar(name) {
-    if (this.rangeVars.has(name)) return true;
-    return this.parent?.hasRangeVar(name) ?? false;
-  }
-};
-function childEnv(env, outer) {
-  return {
-    ctx: env.ctx,
-    params: env.params,
-    ctes: env.ctes,
-    outer,
-    allowUnpopulatedMatviews: env.allowUnpopulatedMatviews
-  };
-}
-function relationResult(rel3, command) {
-  const visible = rel3.columns.map((c, i) => ({ i, c })).filter(({ c }) => !c.hidden);
-  return {
-    columns: visible.map(({ c }) => ({ name: c.name, type: c.type })),
-    rows: rel3.rows.map((r) => visible.map(({ i }) => r[i] ?? null)),
-    command,
-    rowCount: rel3.rows.length
-  };
-}
-function commandResult(command, rowCount) {
-  return { columns: [], rows: [], command, rowCount };
-}
-function inferColumnName(e) {
-  switch (e.type) {
-    case "colref":
-      return e.parts[e.parts.length - 1];
-    case "func":
-      return e.name[e.name.length - 1];
-    case "cast": {
-      const inner = inferColumnName(e.expr);
-      if (inner !== "?column?") return inner;
-      return e.target.parts[e.target.parts.length - 1];
-    }
-    case "collate":
-      return inferColumnName(e.expr);
-    case "case":
-      return "case";
-    case "array_ctor":
-    case "array_query":
-      return "array";
-    case "row":
-      return "row";
-    case "subquery_expr":
-      return e.kind === "exists" ? "exists" : "?column?";
-    case "bool_lit":
-      return "bool";
-    case "extract":
-      return "extract";
-    case "position":
-      return "position";
-    case "substring_sql":
-      return "substring";
-    case "overlay":
-      return "overlay";
-    case "trim":
-      return e.side === "leading" ? "ltrim" : e.side === "trailing" ? "rtrim" : "btrim";
-    case "field_select":
-      return e.field === "*" ? "?column?" : e.field;
-    case "at_time_zone":
-      return "timezone";
-    case "grouping_func":
-      return "grouping";
-    case "subscript":
-      return inferColumnName(e.base);
-    default:
-      return "?column?";
-  }
-}
-
-// src/api/bind.ts
-var INT4_MIN2 = -2147483648;
-var INT4_MAX2 = 2147483647;
-function bindValueToTyped(value, index) {
-  if (value === null || value === void 0) return tv(UNKNOWN, null);
-  switch (typeof value) {
-    case "boolean":
-      return tv("bool", value);
-    case "number":
-      if (Number.isInteger(value) && value >= INT4_MIN2 && value <= INT4_MAX2) {
-        return tv("int4", value);
-      }
-      if (Number.isInteger(value) && Number.isSafeInteger(value)) {
-        return tv("int8", BigInt(value));
-      }
-      return tv("float8", value);
-    case "bigint":
-      if (value < -9223372036854775808n || value > 9223372036854775807n) {
-        throw pgError("numeric_value_out_of_range", `bigint parameter $${index + 1} out of int8 range`, "22003");
-      }
-      return tv("int8", value);
-    case "string":
-      return tv(UNKNOWN, value);
-    case "object": {
-      if (value instanceof Uint8Array) return tv("bytea", value);
-      if (value instanceof Date) {
-        const ms = value.getTime();
-        if (Number.isNaN(ms)) {
-          throw pgError("invalid_datetime", `invalid Date parameter $${index + 1}`, "22008");
-        }
-        return tv("timestamptz", BigInt(Math.round(ms)) * 1000n + UNIX_EPOCH_MICROS_FROM_PG);
-      }
-      break;
-    }
-    default:
-      break;
-  }
-  throw pgError("misuse", `unsupported parameter type for $${index + 1}: ${typeof value}`, "XX000");
-}
-function datumToJs(t, v, ctx, int8 = "bigint") {
-  if (v === null) return null;
-  switch (t) {
-    case "bool":
-      return v;
-    case "int2":
-    case "int4":
-    case "oid":
-      return typeof v === "bigint" ? Number(v) : v;
-    case "int8": {
-      const n = typeof v === "bigint" ? v : BigInt(v);
-      if (int8 === "string") return n.toString();
-      if (int8 === "number") return Number(n);
-      return n;
-    }
-    case "float4":
-    case "float8":
-      return v;
-    case "bytea":
-      return v;
-    default:
-      return datumText(t === UNKNOWN ? "text" : t, v, ctx);
-  }
-}
-
 // src/functions/datetime-fns.ts
 function extractDatePart(ctx, field0, src0, asNumeric) {
   const field = field0.toLowerCase();
@@ -5248,6 +5176,8 @@ function datumCompare(t, a, b, ctx = DEFAULT_COMPARE_CTX) {
     case "int2":
     case "int4":
     case "oid":
+    case "regclass":
+    case "xid":
     case "regnamespace":
     case "date":
       return expectNumber(a, t) - expectNumber(b, t);
@@ -5367,6 +5297,8 @@ function datumKey(t, v) {
     case "int2":
     case "int4":
     case "oid":
+    case "regclass":
+    case "xid":
     case "date":
       return `i${v}`;
     case "float4":
@@ -5742,68 +5674,6 @@ function getArrayFunctions() {
   return m;
 }
 
-// src/types/timezone.ts
-var intlCache = /* @__PURE__ */ new Map();
-function intlFor(zone) {
-  const cached = intlCache.get(zone);
-  if (cached) return cached;
-  try {
-    const fmt = new Intl.DateTimeFormat("en-US", {
-      timeZone: zone,
-      timeZoneName: "longOffset",
-      year: "numeric"
-    });
-    intlCache.set(zone, fmt);
-    return fmt;
-  } catch {
-    return null;
-  }
-}
-function parseFixedOffset(zone) {
-  const m = /^([+-]?)(\d{1,2})(?::(\d{2}))?(?::(\d{2}))?$/.exec(zone.trim());
-  if (!m) return null;
-  const sign = m[1] === "-" ? -1 : 1;
-  return sign * (Number(m[2]) * 3600 + Number(m[3] ?? 0) * 60 + Number(m[4] ?? 0));
-}
-function parsePosixOffset(zone) {
-  const m = /^(?:utc|gmt)([+-])(\d{1,2})(?::(\d{2}))?$/i.exec(zone.trim());
-  if (!m) return null;
-  const sign = m[1] === "-" ? 1 : -1;
-  return sign * (Number(m[2]) * 3600 + Number(m[3] ?? 0) * 60);
-}
-function pgMicrosToUnixMs(utcMicros) {
-  return Number((utcMicros - UNIX_EPOCH_MICROS_FROM_PG) / 1000n);
-}
-function zoneOffsetAtUtc(zone, utcMicros) {
-  const z = zone.trim();
-  const lower = z.toLowerCase();
-  if (lower === "utc" || lower === "gmt" || lower === "z" || lower === "zulu" || lower === "universal") return 0;
-  const posix = parsePosixOffset(z);
-  if (posix !== null) return posix;
-  const fixed = parseFixedOffset(z);
-  if (fixed !== null) return fixed;
-  const fmt = intlFor(z);
-  if (fmt) {
-    const ms = clampDateMs(pgMicrosToUnixMs(utcMicros));
-    const parts = fmt.formatToParts(new Date(ms));
-    const tzName = parts.find((p) => p.type === "timeZoneName")?.value ?? "GMT";
-    const m = /GMT([+-])(\d{2}):(\d{2})(?::(\d{2}))?/.exec(tzName);
-    if (!m) return 0;
-    const sign = m[1] === "-" ? -1 : 1;
-    return sign * (Number(m[2]) * 3600 + Number(m[3]) * 60 + Number(m[4] ?? 0));
-  }
-  throw pgError("invalid_parameter_value", `time zone "${zone}" not recognized`);
-}
-function clampDateMs(ms) {
-  const MAX = 864e13;
-  return Math.max(-MAX, Math.min(MAX, ms));
-}
-function zoneOffsetForNaive(zone, naiveMicros) {
-  const first = zoneOffsetAtUtc(zone, naiveMicros);
-  const second = zoneOffsetAtUtc(zone, naiveMicros - BigInt(first) * 1000000n);
-  return second;
-}
-
 // src/functions/datetime-registry.ts
 function getDatetimeFunctions() {
   const m = /* @__PURE__ */ new Map();
@@ -7403,6 +7273,28 @@ function exactDegTan(x) {
   return Math.tan(x * Math.PI / 180);
 }
 
+// src/storage/indexable-relation.ts
+function materializedTable(view) {
+  const table = new TableData(
+    view.schema,
+    view.name,
+    (view.matColumns ?? []).map((c) => ({
+      name: c.name,
+      type: { id: c.type, mod: null },
+      notNull: false,
+      defaultExpr: null,
+      identity: null,
+      generated: null,
+      collate: null,
+      domain: null
+    })),
+    view.oid,
+    view.temp
+  );
+  table.rows = view.matRows ?? [];
+  return table;
+}
+
 // src/schema/index-catalog.ts
 var isKeyConstraint = (constraint) => constraint.kind === "primary_key" || constraint.kind === "unique";
 var ACCESS_METHODS = /* @__PURE__ */ new Map([
@@ -7431,6 +7323,8 @@ function syncIndexCatalog(state) {
   const tables = /* @__PURE__ */ new Map();
   for (const schema of state.schemas.values()) {
     for (const table of schema.tables.values()) tables.set(table.oid, { schema, table });
+    for (const view of schema.views.values())
+      if (view.materialized) tables.set(view.oid, { schema, table: materializedTable(view) });
   }
   const backing = /* @__PURE__ */ new Map();
   for (const { table } of tables.values()) {
@@ -7628,6 +7522,55 @@ function deparseExpr(e) {
   }
 }
 
+// src/types/resolve.ts
+var SERIALS = {
+  smallserial: "int2",
+  serial2: "int2",
+  serial: "int4",
+  serial4: "int4",
+  bigserial: "int8",
+  serial8: "int8"
+};
+function modOf(t, mods) {
+  if (mods.length === 0) return null;
+  if (t === "numeric") return { a: mods[0], b: mods[1] ?? 0 };
+  return { a: mods[0] };
+}
+function resolveTypeName(state, tn) {
+  const joined = tn.parts.join(".");
+  const bare = tn.parts.length === 1 ? tn.parts[0] : tn.parts.length === 2 && tn.parts[0] === "pg_catalog" ? tn.parts[1] : null;
+  if (bare !== null) {
+    const serial = SERIALS[bare];
+    if (serial !== void 0 && tn.arrayDims === 0) {
+      return { column: { id: serial, mod: null }, domain: null, serial };
+    }
+    const builtin = normalizeTypeName(bare);
+    if (builtin !== null) {
+      const id = tn.arrayDims > 0 ? arrayTypeOf(builtin) : builtin;
+      return { column: { id, mod: modOf(builtin, tn.mods) }, domain: null, serial: null };
+    }
+  }
+  const enumData = state.findEnum(tn.parts);
+  if (enumData) {
+    const elem = `enum:${enumData.schema}.${enumData.name}`;
+    const id = tn.arrayDims > 0 ? arrayTypeOf(elem) : elem;
+    return { column: { id, mod: null }, domain: null, serial: null };
+  }
+  const domainData = state.findDomain(tn.parts);
+  if (domainData) {
+    if (tn.arrayDims > 0) {
+      const id = arrayTypeOf(domainData.baseType.id);
+      return { column: { id, mod: domainData.baseType.mod }, domain: null, serial: null };
+    }
+    return {
+      column: domainData.baseType,
+      domain: `${domainData.schema}.${domainData.name}`,
+      serial: null
+    };
+  }
+  throw pgError("undefined_object", `type "${joined}" does not exist`);
+}
+
 // src/sql/ruleutils.ts
 var BOOL = "bool";
 var TEXT = "text";
@@ -8261,7 +8204,7 @@ function databaseCatalogContext(state) {
 var PG_VERSION_TEXT = "PostgreSQL 18.3 (postgres-mem) on TypeScript, in-memory engine";
 function findSequenceForCall(ctx, name) {
   const parts = parseQualifiedName(name);
-  const seq = ctx.state.findSequence(parts);
+  const seq = /^\d+$/.test(name) ? [...ctx.state.schemas.values()].flatMap((schema) => [...schema.sequences.values()]).find((sequence) => sequence.oid === Number(name)) : ctx.state.findSequence(parts);
   if (!seq) {
     throw pgError("undefined_table", `relation "${name}" does not exist`, "42P01");
   }
@@ -8422,7 +8365,11 @@ function getMiscFunctions() {
     }
     const name = argText(ctx, args[0]).toLowerCase();
     const value = args[1].v === null ? "" : argText(ctx, args[1]);
-    ctx.state.settings.set(name, value);
+    if (!ctx.state.settings.has(name) && !name.includes("."))
+      throw pgError("undefined_object", `unrecognized configuration parameter "${name}"`, "42704");
+    validateStorageSetting(name, value);
+    const local = args[2]?.v === true;
+    if (!local || ctx.state.inTransaction) (local ? ctx.state.localSettings : ctx.state.settings).set(name, value);
     return tv("text", value);
   });
   m.set(
@@ -8481,17 +8428,16 @@ function getMiscFunctions() {
     "pg_get_serial_sequence",
     strict("text", (ctx, args) => {
       const tableName2 = argText(ctx, args[0]);
-      const column = argText(ctx, args[1]).toLowerCase();
+      const column = argText(ctx, args[1]);
       const table = ctx.state.findTable(parseQualifiedName(tableName2));
       if (!table) throw pgError("undefined_table", `relation "${tableName2}" does not exist`, "42P01");
       const col = table.columns.find((c) => c.name === column);
       if (!col)
         throw pgError("undefined_column", `column "${column}" of relation "${table.name}" does not exist`, "42703");
-      if (!col.identity) return tv("text", null);
-      return tv(
-        "text",
-        col.identity.sequence.split(".").map(quoteIdent).join(".")
+      const seq = [...ctx.state.schemas.get(table.schema)?.sequences.values() ?? []].find(
+        (candidate) => candidate.ownedBy?.table === table.name && candidate.ownedBy.column === column
       );
+      return tv("text", seq ? [seq.schema, seq.name].map(quoteIdent).join(".") : null);
     })
   );
   m.set("format_type", (ctx, args) => {
@@ -13415,6 +13361,146 @@ function isSrfName(name) {
   return SRFS.has(name);
 }
 
+// src/executor/relation.ts
+var RowScope = class {
+  constructor(columns, row, parent = null, rangeVars = /* @__PURE__ */ new Set()) {
+    this.columns = columns;
+    this.row = row;
+    this.parent = parent;
+    this.rangeVars = rangeVars;
+  }
+  columns;
+  row;
+  parent;
+  rangeVars;
+  /** Resolve a (possibly qualified) column reference. undefined = not found. */
+  lookup(parts) {
+    if (parts.length === 1) {
+      const name2 = parts[0];
+      let found2;
+      let count2 = 0;
+      for (let i = 0; i < this.columns.length; i++) {
+        const c = this.columns[i];
+        if (c.name === name2 && (!c.hidden || c.system)) {
+          count2++;
+          if (count2 > 1) {
+            throw pgError("ambiguous_column", `column reference "${name2}" is ambiguous`);
+          }
+          found2 = tv(c.type, this.row[i] ?? null);
+        }
+      }
+      if (found2 !== void 0) return found2;
+      if (this.rangeVars.has(name2)) {
+        return this.wholeRow(name2);
+      }
+      return this.parent?.lookup(parts);
+    }
+    const table = parts[parts.length - 2];
+    const name = parts[parts.length - 1];
+    let found;
+    let count = 0;
+    for (let i = 0; i < this.columns.length; i++) {
+      const c = this.columns[i];
+      if (c.table === table && c.name === name) {
+        count++;
+        if (count > 1) {
+          throw pgError("ambiguous_column", `column reference "${name}" is ambiguous`);
+        }
+        found = tv(c.type, this.row[i] ?? null);
+      }
+    }
+    if (found !== void 0) return found;
+    return this.parent?.lookup(parts);
+  }
+  /** Build a record value from all columns belonging to a range variable. */
+  wholeRow(rangeVar) {
+    const types = [];
+    const values = [];
+    const names = [];
+    for (let i = 0; i < this.columns.length; i++) {
+      const c = this.columns[i];
+      if (c.table === rangeVar && !c.system) {
+        types.push(c.type);
+        values.push(this.row[i] ?? null);
+        names.push(c.name);
+      }
+    }
+    if (types.length === 0) return void 0;
+    return tv("record", { kind: "pgrecord", types, values, names });
+  }
+  hasRangeVar(name) {
+    if (this.rangeVars.has(name)) return true;
+    return this.parent?.hasRangeVar(name) ?? false;
+  }
+};
+function childEnv(env, outer) {
+  return {
+    ctx: env.ctx,
+    params: env.params,
+    ctes: env.ctes,
+    outer,
+    allowUnpopulatedMatviews: env.allowUnpopulatedMatviews
+  };
+}
+function relationResult(rel3, command) {
+  const visible = rel3.columns.map((c, i) => ({ i, c })).filter(({ c }) => !c.hidden);
+  return {
+    columns: visible.map(({ c }) => ({ name: c.name, type: c.type })),
+    rows: rel3.rows.map((r) => visible.map(({ i }) => r[i] ?? null)),
+    command,
+    rowCount: rel3.rows.length
+  };
+}
+function commandResult(command, rowCount) {
+  return { columns: [], rows: [], command, rowCount };
+}
+function inferColumnName(e) {
+  switch (e.type) {
+    case "colref":
+      return e.parts[e.parts.length - 1];
+    case "func":
+      return e.name[e.name.length - 1];
+    case "cast": {
+      const inner = inferColumnName(e.expr);
+      if (inner !== "?column?") return inner;
+      return e.target.parts[e.target.parts.length - 1];
+    }
+    case "collate":
+      return inferColumnName(e.expr);
+    case "case":
+      return "case";
+    case "array_ctor":
+    case "array_query":
+      return "array";
+    case "row":
+      return "row";
+    case "subquery_expr":
+      return e.kind === "exists" ? "exists" : "?column?";
+    case "bool_lit":
+      return "bool";
+    case "extract":
+      return "extract";
+    case "position":
+      return "position";
+    case "substring_sql":
+      return "substring";
+    case "overlay":
+      return "overlay";
+    case "trim":
+      return e.side === "leading" ? "ltrim" : e.side === "trailing" ? "rtrim" : "btrim";
+    case "field_select":
+      return e.field === "*" ? "?column?" : e.field;
+    case "at_time_zone":
+      return "timezone";
+    case "grouping_func":
+      return "grouping";
+    case "subscript":
+      return inferColumnName(e.base);
+    default:
+      return "?column?";
+  }
+}
+
 // src/indexes/index.ts
 var IndexStore = class _IndexStore {
   name;
@@ -13517,13 +13603,188 @@ function indexRemoveRow(env, table, rowIdx, row) {
     table.indexStores.get(spec.name)?.remove(key, rowIdx);
   }
 }
-function indexUpdateRow(env, table, rowIdx, oldRow, newRow) {
-  indexRemoveRow(env, table, rowIdx, oldRow);
-  indexInsertRow(env, table, rowIdx, newRow);
-}
-function rebuildTableIndexes(env, table) {
-  table.indexStores = null;
-  ensureIndexStores(env, table);
+function indexUpdateRow(env, table, rowIdx, oldRow, newRow) {
+  indexRemoveRow(env, table, rowIdx, oldRow);
+  indexInsertRow(env, table, rowIdx, newRow);
+}
+function rebuildTableIndexes(env, table) {
+  table.indexStores = null;
+  ensureIndexStores(env, table);
+}
+
+// src/constraints/enforce.ts
+function tableScope(table, row) {
+  const cols = table.columns.map((c) => ({ name: c.name, type: c.type.id, table: table.name }));
+  return new RowScope(cols, row, null, /* @__PURE__ */ new Set([table.name]));
+}
+function checkNotNull(env, table, row) {
+  void env;
+  for (let i = 0; i < table.columns.length; i++) {
+    const c = table.columns[i];
+    if (c.notNull && (row[i] ?? null) === null) {
+      throw pgError(
+        "not_null_violation",
+        `null value in column "${c.name}" of relation "${table.name}" violates not-null constraint`,
+        "23502"
+      );
+    }
+  }
+}
+function checkChecks(env, table, row) {
+  for (const con of table.constraints) {
+    if (con.kind !== "check") continue;
+    const scope = makeEvalScope(env, tableScope(table, row));
+    const v = evalExpr(env.ctx, scope, con.expr);
+    if (v.v === null) continue;
+    const b = castTo(env.ctx, v, "bool", {});
+    if (b.v !== true) {
+      throw pgError(
+        "check_violation",
+        `new row for relation "${table.name}" violates check constraint "${con.name}"`,
+        "23514"
+      );
+    }
+  }
+}
+function uniqueSpecsFor(env, table) {
+  const specs = [];
+  for (const con of table.constraints) {
+    if (con.kind !== "primary_key" && con.kind !== "unique") continue;
+    specs.push({
+      name: con.name,
+      keys: con.columns.map((c) => ({ colIdx: table.columnIndex(c), expr: null })),
+      columnNames: con.columns,
+      nullsNotDistinct: con.kind === "unique" ? con.nullsNotDistinct : false,
+      where: null,
+      isPrimary: con.kind === "primary_key"
+    });
+  }
+  const schema = env.ctx.state.schemas.get(table.schema);
+  if (schema) {
+    for (const idx of schema.indexes.values()) {
+      if (idx.table !== table.name || !idx.unique || idx.isConstraint || idx.valid === false) continue;
+      specs.push(uniqueSpecOfIndex(table, idx));
+    }
+  }
+  return specs;
+}
+function uniqueSpecOfIndex(table, idx) {
+  return {
+    name: idx.name,
+    keys: idx.columns.map((c) => ({
+      colIdx: c.column !== null ? table.columnIndex(c.column) : -1,
+      expr: c.expr
+    })),
+    columnNames: idx.columns.map((c) => c.column ?? "expr"),
+    nullsNotDistinct: idx.nullsNotDistinct,
+    where: idx.where,
+    isPrimary: false
+  };
+}
+function uniqueKeyOf(env, table, spec, row) {
+  if (spec.where) {
+    const scope = makeEvalScope(env, tableScope(table, row));
+    const v = evalExpr(env.ctx, scope, spec.where);
+    if (v.v !== true) return null;
+  }
+  const parts = [];
+  let hasNull = false;
+  for (const k of spec.keys) {
+    let value;
+    let type;
+    if (k.expr) {
+      const scope = makeEvalScope(env, tableScope(table, row));
+      const v = evalExpr(env.ctx, scope, k.expr);
+      value = v.v;
+      type = v.t === "unknown" ? "text" : v.t;
+    } else {
+      value = row[k.colIdx] ?? null;
+      type = table.columns[k.colIdx].type.id;
+    }
+    if (value === null) {
+      hasNull = true;
+      parts.push("\0N");
+    } else {
+      parts.push(datumKey(type, value));
+    }
+  }
+  if (hasNull && !spec.nullsNotDistinct) return null;
+  return parts.join("
");
+}
+function checkUnique(env, table, row, selfIdx) {
+  for (const spec of uniqueSpecsFor(env, table)) {
+    const key = uniqueKeyOf(env, table, spec, row);
+    if (key === null) continue;
+    indexStoreFor(env, table, spec).checkUnique(key, selfIdx);
+  }
+}
+function findConflict(env, table, spec, row) {
+  const key = uniqueKeyOf(env, table, spec, row);
+  if (key === null) return null;
+  const hits = indexStoreFor(env, table, spec).lookup(key);
+  return hits.length > 0 ? hits[0] : null;
+}
+function checkForeignKeys(env, table, row) {
+  const state = env.ctx.state;
+  for (const con of table.constraints) {
+    if (con.kind !== "foreign_key") continue;
+    const values = con.columns.map((c) => row[table.columnIndex(c)] ?? null);
+    const nulls = values.filter((v) => v === null).length;
+    if (con.match === "simple" && nulls > 0) continue;
+    if (con.match === "full") {
+      if (nulls === values.length) continue;
+      if (nulls > 0) {
+        throw pgError(
+          "constraint_foreign_key",
+          `insert or update on table "${table.name}" violates foreign key constraint "${con.name}"`,
+          "23503"
+        );
+      }
+    }
+    const refTable = state.schemas.get(con.refSchema)?.tables.get(con.refTable);
+    if (!refTable) {
+      throw pgError("undefined_table", `relation "${con.refSchema}.${con.refTable}" does not exist`, "42P01");
+    }
+    const refIdxs = con.refColumns.map((c) => refTable.columnIndex(c));
+    const keyTypes = con.refColumns.map((_c, i) => refTable.columns[refIdxs[i]].type.id);
+    const wanted = values.map((v, i) => {
+      const localT = table.columns[table.columnIndex(con.columns[i])].type.id;
+      const cast = castTo(env.ctx, tv(localT, v), keyTypes[i], {});
+      return cast.v === null ? "\0N" : datumKey(keyTypes[i], cast.v);
+    }).join("
");
+    let found = false;
+    for (let i = 0; i < refTable.rowCount(); i++) {
+      const r = refTable.rowAt(i);
+      const key = refIdxs.map((ri, j) => {
+        const v = r[ri] ?? null;
+        return v === null ? "\0N" : datumKey(keyTypes[j], v);
+      }).join("
");
+      if (key === wanted) {
+        found = true;
+        break;
+      }
+    }
+    if (!found) {
+      throw pgError(
+        "constraint_foreign_key",
+        `insert or update on table "${table.name}" violates foreign key constraint "${con.name}"`,
+        "23503"
+      );
+    }
+  }
+}
+function referencingConstraints(env, table) {
+  const out = [];
+  for (const schema of env.ctx.state.schemas.values()) {
+    for (const t of schema.tables.values()) {
+      for (const con of t.constraints) {
+        if (con.kind === "foreign_key" && con.refSchema === table.schema && con.refTable === table.name) {
+          out.push({ table: t, constraint: con });
+        }
+      }
+    }
+  }
+  return out;
 }
 
 // src/planner/access.ts
@@ -13601,7 +13862,7 @@ function tryIndexedFromItem(env, item, where) {
   if (!table) return null;
   const alias = item.alias ?? item.name[item.name.length - 1];
   table.materializeSlab();
-  return tryIndexedTableRows(env, table, alias, where);
+  return tryIndexedTableRows(env, table, alias, where)?.map((row) => [...row, table.rowXmins.get(row) ?? 2]) ?? null;
 }
 function joinKeyFromRow(row, colIdxs, srcTypes, unifiedTypes, ctx) {
   const parts = [];
@@ -15409,10 +15670,9 @@ var Parser = class {
       return this.parseCreateFunction(orReplace);
     }
     if (this.atKw("trigger") || this.atKw("constraint") && this.atKw("trigger", 1)) {
-      if (this.eatKw("constraint")) {
-      }
+      const constraint = this.eatKw("constraint");
       this.expectKw("trigger");
-      return this.parseCreateTrigger(orReplace);
+      return this.parseCreateTrigger(orReplace, constraint);
     }
     if (this.atKw("extension")) {
       this.pos++;
@@ -16092,6 +16352,7 @@ var Parser = class {
     let sqlBody = null;
     let volatility = null;
     let strict2 = false;
+    const settings = {};
     for (; ; ) {
       if (this.eatKw("language")) {
         language = this.peek().type === "string" ? this.next().value : this.ident(true);
@@ -16149,8 +16410,23 @@ var Parser = class {
         continue;
       }
       if (this.eatKw("set")) {
-        this.ident(true);
-        if (this.eatOp("=") || this.eatKw("to")) this.next();
+        const key = this.ident(true).toLowerCase();
+        if (this.eatKw("from")) {
+          this.expectKw("current");
+          settings[key] = "__from_current__";
+        } else {
+          if (!this.eatOp("=")) this.expectKw("to");
+          const values = [];
+          do {
+            const value = this.next();
+            if (!["string", "ident", "quoted_ident", "number"].includes(value.type))
+              this.errorAt(value, "expected setting value");
+            values.push(
+              key === "search_path" && /[^a-z0-9_]/.test(value.value) ? `"${value.value.replaceAll('"', '""')}"` : value.value
+            );
+          } while (this.eatPunct(","));
+          settings[key] = values.join(", ");
+        }
         continue;
       }
       if (this.eatKw("window")) throw unsupported("window functions via CREATE FUNCTION");
@@ -16230,10 +16506,11 @@ var Parser = class {
       body,
       sqlBody,
       volatility,
-      strict: strict2
+      strict: strict2,
+      settings
     };
   }
-  parseCreateTrigger(orReplace) {
+  parseCreateTrigger(orReplace, constraint) {
     const name = this.ident();
     let timing;
     if (this.eatKw("before")) timing = "before";
@@ -16263,9 +16540,18 @@ var Parser = class {
     this.expectKw("on");
     const table = this.qualifiedName();
     if (this.eatKw("referencing")) throw unsupported("trigger transition tables");
-    while (this.atKw("not") || this.atKw("deferrable") || this.atKw("initially")) {
-      this.pos++;
-    }
+    let deferrable = false;
+    let initiallyDeferred = false;
+    if (this.eatKw("not")) this.expectKw("deferrable");
+    else if (this.eatKw("deferrable")) deferrable = true;
+    if (this.eatKw("initially")) {
+      if (this.eatKw("deferred")) initiallyDeferred = true;
+      else this.expectKw("immediate");
+    }
+    if ((deferrable || initiallyDeferred) && !constraint)
+      this.errorAt(this.peek(), "only constraint triggers can be deferred");
+    if (initiallyDeferred && !deferrable)
+      this.errorAt(this.peek(), "constraint declared INITIALLY DEFERRED must be DEFERRABLE");
     let forEachRow = false;
     if (this.eatKw("for")) {
       this.eatKw("each");
@@ -16290,7 +16576,21 @@ var Parser = class {
       } while (this.eatPunct(","));
     }
     this.expectPunct(")");
-    return { type: "create_trigger", orReplace, name, timing, events, table, forEachRow, when, funcName, funcArgs };
+    return {
+      type: "create_trigger",
+      constraint,
+      deferrable,
+      initiallyDeferred,
+      orReplace,
+      name,
+      timing,
+      events,
+      table,
+      forEachRow,
+      when,
+      funcName,
+      funcArgs
+    };
   }
   // --- ALTER --------------------------------------------------------------------
   parseAlter() {
@@ -16316,8 +16616,8 @@ var Parser = class {
           type: "alter_sequence",
           name,
           ifExists,
-          options: { ownedBy: void 0 },
-          ...{ renameTo: to }
+          options: {},
+          renameTo: to
         };
       }
       if (this.atKw("set") && (this.atKw("logged", 1) || this.atKw("unlogged", 1))) {
@@ -16635,9 +16935,15 @@ var Parser = class {
       this.skipToStatementEnd();
       return { type: "no_op", what: "SET TRANSACTION" };
     }
-    if (this.atKw("constraints")) {
-      this.skipToStatementEnd();
-      return { type: "no_op", what: "SET CONSTRAINTS" };
+    if (this.eatKw("constraints")) {
+      const names = this.eatKw("all") ? null : [];
+      if (names)
+        do {
+          names.push(this.qualifiedName());
+        } while (this.eatPunct(","));
+      const deferred = this.eatKw("deferred");
+      if (!deferred) this.expectKw("immediate");
+      return { type: "set_constraints", names, deferred };
     }
     if (this.atKw("role") || this.atKw("session", 0) && this.atKw("authorization", 1)) {
       this.skipToStatementEnd();
@@ -18887,7 +19193,20 @@ function runFunctionBody(env, fn, args) {
   }
   return last;
 }
+function withFunctionSettings(env, fn, run) {
+  const state = env.ctx.state;
+  const saved = new Map(state.localSettings);
+  for (const [name, value] of Object.entries(fn.settings ?? {})) state.localSettings.set(name, value);
+  try {
+    return run();
+  } finally {
+    state.localSettings = saved;
+  }
+}
 function callSqlFunctionScalar(env, fn, args) {
+  return withFunctionSettings(env, fn, () => callSqlFunctionScalarBody(env, fn, args));
+}
+function callSqlFunctionScalarBody(env, fn, args) {
   const retT = fn.returns ?? "text";
   if (fn.language === "plpgsql") {
     return callPlpgsqlScalar(env, fn, args);
@@ -18917,6 +19236,9 @@ function callSqlFunctionScalar(env, fn, args) {
   return castTo(env.ctx, tv(rawT, raw), retT, {});
 }
 function callSqlFunctionSet(env, fn, args) {
+  return withFunctionSettings(env, fn, () => callSqlFunctionSetBody(env, fn, args));
+}
+function callSqlFunctionSetBody(env, fn, args) {
   if (fn.language === "plpgsql") {
     return callPlpgsqlSet(env, fn, args);
   }
@@ -19012,12 +19334,12 @@ function executeRecursiveCte(env, cte, query) {
     table: null
   }));
   const seen = /* @__PURE__ */ new Set();
-  const keyOf = (row) => row.map((v, i) => v === null ? "\0N" : datumKey(columns[i].type, v)).join("
");
+  const keyOf2 = (row) => row.map((v, i) => v === null ? "\0N" : datumKey(columns[i].type, v)).join("
");
   let result = [];
   let working = [];
   for (const row of base.rows) {
     if (!body.all) {
-      const k = keyOf(row);
+      const k = keyOf2(row);
       if (seen.has(k)) continue;
       seen.add(k);
     }
@@ -19050,7 +19372,7 @@ function executeRecursiveCte(env, cte, query) {
         return castTo(env.ctx, tv(srcT === UNKNOWN ? "text" : srcT, v), columns[i].type, {}).v;
       });
       if (!body.all) {
-        const k = keyOf(row);
+        const k = keyOf2(row);
         if (seen.has(k)) continue;
         seen.add(k);
       }
@@ -19071,15 +19393,17 @@ function executeRecursiveCte(env, cte, query) {
   return rel3;
 }
 function renameWithAliases(rel3, label, colAliases, what) {
-  if (colAliases && colAliases.length > rel3.columns.length) {
+  const visibleWidth = rel3.columns.filter((column) => !column.system).length;
+  if (colAliases && colAliases.length > visibleWidth) {
     throw pgError(
       "invalid_column_reference",
-      `table "${what}" has ${rel3.columns.length} columns available but ${colAliases.length} columns specified`,
+      `table "${what}" has ${visibleWidth} columns available but ${colAliases.length} columns specified`,
       "42P10"
     );
   }
   const columns = rel3.columns.map((c, i) => ({
-    name: colAliases?.[i] ?? c.name,
+    ...c,
+    name: c.system ? c.name : colAliases?.[i] ?? c.name,
     type: c.type === UNKNOWN ? "text" : c.type,
     table: label
   }));
@@ -19100,8 +19424,11 @@ function materializeItem(env, item, scope) {
       if (table) {
         table.materializeSlab();
         const rel3 = {
-          columns: table.columns.map((c) => ({ name: c.name, type: c.type.id, table: label })),
-          rows: table.rows
+          columns: [
+            ...table.columns.map((c) => ({ name: c.name, type: c.type.id, table: label })),
+            { name: "xmin", type: "xid", table: label, hidden: true, system: true }
+          ],
+          rows: table.rows.map((row) => [...row, table.rowXmins.get(row) ?? 2])
         };
         return { rel: renameWithAliases(rel3, label, item.colAliases, label), rangeVars: /* @__PURE__ */ new Set([label]) };
       }
@@ -19731,7 +20058,7 @@ function resolveColIdx(columns, parts) {
     let found = -1;
     for (let i = 0; i < columns.length; i++) {
       const c = columns[i];
-      if (!c.hidden && c.name === name2) {
+      if ((!c.hidden || c.system) && c.name === name2) {
         if (found !== -1) return null;
         found = i;
       }
@@ -20230,7 +20557,7 @@ function setOpRelation(env, op) {
   );
   const lrows = normalize(left);
   const rrows = normalize(right);
-  const keyOf = (row) => row.map((v, i) => v === null ? "\0N" : datumKey(types[i], v)).join("
");
+  const keyOf2 = (row) => row.map((v, i) => v === null ? "\0N" : datumKey(types[i], v)).join("
");
   let rows;
   switch (op.op) {
     case "union": {
@@ -20238,7 +20565,7 @@ function setOpRelation(env, op) {
       if (!op.all) {
         const seen = /* @__PURE__ */ new Set();
         rows = rows.filter((r) => {
-          const k = keyOf(r);
+          const k = keyOf2(r);
           if (seen.has(k)) return false;
           seen.add(k);
           return true;
@@ -20249,13 +20576,13 @@ function setOpRelation(env, op) {
     case "intersect": {
       const rightCounts = /* @__PURE__ */ new Map();
       for (const r of rrows) {
-        const k = keyOf(r);
+        const k = keyOf2(r);
         rightCounts.set(k, (rightCounts.get(k) ?? 0) + 1);
       }
       rows = [];
       const emitted = /* @__PURE__ */ new Set();
       for (const r of lrows) {
-        const k = keyOf(r);
+        const k = keyOf2(r);
         const avail = rightCounts.get(k) ?? 0;
         if (avail <= 0) continue;
         if (op.all) {
@@ -20271,13 +20598,13 @@ function setOpRelation(env, op) {
     case "except": {
       const rightCounts = /* @__PURE__ */ new Map();
       for (const r of rrows) {
-        const k = keyOf(r);
+        const k = keyOf2(r);
         rightCounts.set(k, (rightCounts.get(k) ?? 0) + 1);
       }
       rows = [];
       const emitted = /* @__PURE__ */ new Set();
       for (const r of lrows) {
-        const k = keyOf(r);
+        const k = keyOf2(r);
         if (op.all) {
           const avail = rightCounts.get(k) ?? 0;
           if (avail > 0) {
@@ -20315,7 +20642,7 @@ function expandTargets(core, columns) {
         let any = false;
         for (let i = 0; i < columns.length; i++) {
           const c = columns[i];
-          if (c.table === label) {
+          if (c.table === label && !c.system) {
             any = true;
             items.push({ name: c.name, kind: "col", colIdx: i, expr: null, hidden: false });
           }
@@ -20753,202 +21080,225 @@ function executeSelectStmt(env0, stmt) {
   return applyLimitOffset(env, rel3, stmt.limit, stmt.offset);
 }
 
-// src/constraints/enforce.ts
-function tableScope(table, row) {
-  const cols = table.columns.map((c) => ({ name: c.name, type: c.type.id, table: table.name }));
-  return new RowScope(cols, row, null, /* @__PURE__ */ new Set([table.name]));
-}
-function checkNotNull(env, table, row) {
-  void env;
-  for (let i = 0; i < table.columns.length; i++) {
-    const c = table.columns[i];
-    if (c.notNull && (row[i] ?? null) === null) {
-      throw pgError(
-        "not_null_violation",
-        `null value in column "${c.name}" of relation "${table.name}" violates not-null constraint`,
-        "23502"
-      );
+// src/executor/triggers-scope.ts
+function triggerScope(table, newRow, oldRow) {
+  const cols = [];
+  const row = [];
+  const rangeVars = /* @__PURE__ */ new Set();
+  if (newRow) {
+    rangeVars.add("new");
+    for (let i = 0; i < table.columns.length; i++) {
+      cols.push({ name: table.columns[i].name, type: table.columns[i].type.id, table: "new" });
+      row.push(newRow[i] ?? null);
     }
   }
-}
-function checkChecks(env, table, row) {
-  for (const con of table.constraints) {
-    if (con.kind !== "check") continue;
-    const scope = makeEvalScope(env, tableScope(table, row));
-    const v = evalExpr(env.ctx, scope, con.expr);
-    if (v.v === null) continue;
-    const b = castTo(env.ctx, v, "bool", {});
-    if (b.v !== true) {
-      throw pgError(
-        "check_violation",
-        `new row for relation "${table.name}" violates check constraint "${con.name}"`,
-        "23514"
-      );
+  if (oldRow) {
+    rangeVars.add("old");
+    for (let i = 0; i < table.columns.length; i++) {
+      cols.push({ name: table.columns[i].name, type: table.columns[i].type.id, table: "old" });
+      row.push(oldRow[i] ?? null);
     }
   }
+  return new RowScope(cols, row, null, rangeVars);
 }
-function uniqueSpecsFor(env, table) {
-  const specs = [];
-  for (const con of table.constraints) {
-    if (con.kind !== "primary_key" && con.kind !== "unique") continue;
-    specs.push({
-      name: con.name,
-      keys: con.columns.map((c) => ({ colIdx: table.columnIndex(c), expr: null })),
-      columnNames: con.columns,
-      nullsNotDistinct: con.kind === "unique" ? con.nullsNotDistinct : false,
-      where: null,
-      isPrimary: con.kind === "primary_key"
-    });
-  }
-  const schema = env.ctx.state.schemas.get(table.schema);
-  if (schema) {
-    for (const idx of schema.indexes.values()) {
-      if (idx.table !== table.name || !idx.unique || idx.isConstraint || idx.valid === false) continue;
-      specs.push(uniqueSpecOfIndex(table, idx));
-    }
-  }
-  return specs;
+
+// src/executor/triggers.ts
+function matches(t, event) {
+  return t.events.some((e) => e.event === event);
 }
-function uniqueSpecOfIndex(table, idx) {
-  return {
-    name: idx.name,
-    keys: idx.columns.map((c) => ({
-      colIdx: c.column !== null ? table.columnIndex(c.column) : -1,
-      expr: c.expr
-    })),
-    columnNames: idx.columns.map((c) => c.column ?? "expr"),
-    nullsNotDistinct: idx.nullsNotDistinct,
-    where: idx.where,
-    isPrimary: false
-  };
+var executor = null;
+function setTriggerExecutor(e) {
+  executor = e;
 }
-function uniqueKeyOf(env, table, spec, row) {
-  if (spec.where) {
-    const scope = makeEvalScope(env, tableScope(table, row));
-    const v = evalExpr(env.ctx, scope, spec.where);
-    if (v.v !== true) return null;
-  }
-  const parts = [];
-  let hasNull = false;
-  for (const k of spec.keys) {
-    let value;
-    let type;
-    if (k.expr) {
-      const scope = makeEvalScope(env, tableScope(table, row));
-      const v = evalExpr(env.ctx, scope, k.expr);
-      value = v.v;
-      type = v.t === "unknown" ? "text" : v.t;
-    } else {
-      value = row[k.colIdx] ?? null;
-      type = table.columns[k.colIdx].type.id;
+function fireRowTriggers(env, table, timing, event, oldRow, newRow) {
+  let row = newRow ?? oldRow;
+  for (const t of table.triggers) {
+    if (t.timing !== timing || !matches(t, event) || !t.forEachRow) continue;
+    if (!executor) throw unsupported(`trigger "${t.name}" execution`);
+    if (t.constraint && timing === "after") {
+      if (t.when && !evalPredicate(env, triggerScope(table, newRow, oldRow), t.when)) continue;
+      env.ctx.state.pendingTriggers.push({
+        schema: table.schema,
+        table: table.name,
+        trigger: t.name,
+        event,
+        oldRow: oldRow?.slice() ?? null,
+        newRow: newRow?.slice() ?? null
+      });
+      continue;
     }
-    if (value === null) {
-      hasNull = true;
-      parts.push("\0N");
-    } else {
-      parts.push(datumKey(type, value));
+    const result = executor(env, table, t, event, oldRow, timing === "before" ? row : newRow);
+    if (timing === "before") {
+      if (result === null) return { row: null };
+      row = result;
     }
   }
-  if (hasNull && !spec.nullsNotDistinct) return null;
-  return parts.join("
");
+  return { row };
 }
-function checkUnique(env, table, row, selfIdx) {
-  for (const spec of uniqueSpecsFor(env, table)) {
-    const key = uniqueKeyOf(env, table, spec, row);
-    if (key === null) continue;
-    indexStoreFor(env, table, spec).checkUnique(key, selfIdx);
+var keyOf = (schema, name) => JSON.stringify([schema, name]);
+function flushConstraintTriggers(state, all = false) {
+  const env = { ctx: new EngineCtx(state), params: null, ctes: /* @__PURE__ */ new Map(), outer: null };
+  for (let i = 0; i < state.pendingTriggers.length; ) {
+    const pending = state.pendingTriggers[i];
+    const table = state.schemas.get(pending.schema)?.tables.get(pending.table);
+    const trigger = table?.triggers.find((t) => t.name === pending.trigger);
+    if (!table || !trigger) {
+      state.pendingTriggers.splice(i, 1);
+      continue;
+    }
+    const deferred = trigger.deferrable && (state.constraintModes.get(keyOf(table.schema, trigger.name)) ?? trigger.initiallyDeferred);
+    if (!all && state.inTransaction && deferred) {
+      i++;
+      continue;
+    }
+    if (!executor) throw unsupported(`trigger "${trigger.name}" execution`);
+    state.pendingTriggers.splice(i, 1);
+    const changes = state.changes;
+    try {
+      executor(env, table, { ...trigger, when: null }, pending.event, pending.oldRow, pending.newRow);
+    } catch (error) {
+      state.pendingTriggers.splice(i, 0, pending);
+      throw error;
+    } finally {
+      state.changes = changes;
+    }
   }
 }
-function findConflict(env, table, spec, row) {
-  const key = uniqueKeyOf(env, table, spec, row);
-  if (key === null) return null;
-  const hits = indexStoreFor(env, table, spec).lookup(key);
-  return hits.length > 0 ? hits[0] : null;
-}
-function checkForeignKeys(env, table, row) {
-  const state = env.ctx.state;
-  for (const con of table.constraints) {
-    if (con.kind !== "foreign_key") continue;
-    const values = con.columns.map((c) => row[table.columnIndex(c)] ?? null);
-    const nulls = values.filter((v) => v === null).length;
-    if (con.match === "simple" && nulls > 0) continue;
-    if (con.match === "full") {
-      if (nulls === values.length) continue;
-      if (nulls > 0) {
-        throw pgError(
-          "constraint_foreign_key",
-          `insert or update on table "${table.name}" violates foreign key constraint "${con.name}"`,
-          "23503"
+function setConstraints(state, stmt) {
+  if (!state.inTransaction) return;
+  const matches2 = [];
+  if (stmt.names) {
+    for (const name of stmt.names) {
+      const schemas = name.length > 1 ? [name[name.length - 2]] : state.effectiveSearchPath();
+      let found = false;
+      for (const schema of schemas) {
+        const items = [...state.schemas.get(schema)?.tables.values() ?? []].flatMap(
+          (table) => table.triggers.filter((t) => t.constraint && t.name === name[name.length - 1])
         );
+        if (items.length) {
+          for (const trigger of items) matches2.push({ schema, trigger });
+          found = true;
+          break;
+        }
       }
+      if (!found) throw pgError("undefined_object", `constraint "${name.join(".")}" does not exist`, "42704");
     }
-    const refTable = state.schemas.get(con.refSchema)?.tables.get(con.refTable);
-    if (!refTable) {
-      throw pgError("undefined_table", `relation "${con.refSchema}.${con.refTable}" does not exist`, "42P01");
-    }
-    const refIdxs = con.refColumns.map((c) => refTable.columnIndex(c));
-    const keyTypes = con.refColumns.map((_c, i) => refTable.columns[refIdxs[i]].type.id);
-    const wanted = values.map((v, i) => {
-      const localT = table.columns[table.columnIndex(con.columns[i])].type.id;
-      const cast = castTo(env.ctx, tv(localT, v), keyTypes[i], {});
-      return cast.v === null ? "\0N" : datumKey(keyTypes[i], cast.v);
-    }).join("
");
-    let found = false;
-    for (let i = 0; i < refTable.rowCount(); i++) {
-      const r = refTable.rowAt(i);
-      const key = refIdxs.map((ri, j) => {
-        const v = r[ri] ?? null;
-        return v === null ? "\0N" : datumKey(keyTypes[j], v);
-      }).join("
");
-      if (key === wanted) {
-        found = true;
-        break;
-      }
+  } else {
+    for (const schema of state.schemas.values())
+      for (const table of schema.tables.values())
+        for (const trigger of table.triggers)
+          if (trigger.constraint && trigger.deferrable) matches2.push({ schema: schema.name, trigger });
+  }
+  for (const { trigger } of matches2)
+    if (stmt.deferred && !trigger.deferrable)
+      throw pgError("misuse", `constraint "${trigger.name}" is not deferrable`, "55000");
+  const previous = new Map(state.constraintModes);
+  for (const { schema, trigger } of matches2) state.constraintModes.set(keyOf(schema, trigger.name), stmt.deferred);
+  try {
+    if (!stmt.deferred) flushConstraintTriggers(state);
+  } catch (error) {
+    state.constraintModes = previous;
+    throw error;
+  }
+}
+
+// src/transactions/manager.ts
+var TransactionManager = class {
+  constructor(state) {
+    this.state = state;
+  }
+  state;
+  base = null;
+  savepoints = [];
+  freezeDepth = 0;
+  get inTransaction() {
+    return this.base !== null;
+  }
+  takeSnapshot() {
+    this.state.freezeShared();
+    this.freezeDepth++;
+    return { state: this.state.cloneShallow(), prngState: this.state.prng.getState() };
+  }
+  restore(snap) {
+    this.state.restoreFrom(snap.state);
+    this.state.prng.setState(snap.prngState);
+  }
+  thawOnce() {
+    if (this.freezeDepth > 0) {
+      this.state.thawShared();
+      this.freezeDepth--;
     }
-    if (!found) {
-      throw pgError(
-        "constraint_foreign_key",
-        `insert or update on table "${table.name}" violates foreign key constraint "${con.name}"`,
-        "23503"
-      );
+  }
+  begin() {
+    if (this.base !== null) {
+      return;
     }
+    this.base = this.takeSnapshot();
+    this.state.inTransaction = true;
+    assert(this.freezeDepth === 1, "BEGIN freeze depth");
   }
-}
-function referencingConstraints(env, table) {
-  const out = [];
-  for (const schema of env.ctx.state.schemas.values()) {
-    for (const t of schema.tables.values()) {
-      for (const con of t.constraints) {
-        if (con.kind === "foreign_key" && con.refSchema === table.schema && con.refTable === table.name) {
-          out.push({ table: t, constraint: con });
-        }
-      }
+  commit() {
+    try {
+      flushConstraintTriggers(this.state, true);
+    } catch (error) {
+      this.rollback();
+      throw error;
     }
+    this.base = null;
+    this.savepoints = [];
+    this.state.inTransaction = false;
+    this.state.transactionXid = null;
+    this.state.localSettings.clear();
+    this.state.pendingTriggers = [];
+    this.state.constraintModes.clear();
+    while (this.freezeDepth > 0) this.thawOnce();
   }
-  return out;
-}
-
-// src/executor/triggers.ts
-function matches(t, event) {
-  return t.events.some((e) => e.event === event);
-}
-var executor = null;
-function setTriggerExecutor(e) {
-  executor = e;
-}
-function fireRowTriggers(env, table, timing, event, oldRow, newRow) {
-  let row = newRow ?? oldRow;
-  for (const t of table.triggers) {
-    if (t.timing !== timing || !matches(t, event) || !t.forEachRow) continue;
-    if (!executor) throw unsupported(`trigger "${t.name}" execution`);
-    const result = executor(env, table, t, event, oldRow, timing === "before" ? row : newRow);
-    if (timing === "before") {
-      if (result === null) return { row: null };
-      row = result;
+  rollback() {
+    if (this.base !== null) {
+      this.restore(this.base);
+    }
+    this.base = null;
+    this.savepoints = [];
+    this.state.inTransaction = false;
+    this.state.transactionXid = null;
+    this.state.localSettings.clear();
+    this.state.pendingTriggers = [];
+    this.state.constraintModes.clear();
+    while (this.freezeDepth > 0) this.thawOnce();
+  }
+  savepoint(name) {
+    if (this.base === null) {
+      throw pgError("transaction_state", "SAVEPOINT can only be used in transaction blocks", "25P01");
     }
+    this.savepoints.push({ name, snap: this.takeSnapshot() });
   }
-  return { row };
-}
+  releaseSavepoint(name) {
+    const idx = this.findSavepoint(name);
+    this.savepoints.splice(idx);
+  }
+  rollbackToSavepoint(name) {
+    const idx = this.findSavepoint(name);
+    const sp = this.savepoints[idx];
+    this.restore(sp.snap);
+    this.savepoints.splice(idx + 1);
+  }
+  findSavepoint(name) {
+    if (this.base === null) {
+      throw pgError("transaction_state", `SAVEPOINT can only be used in transaction blocks`, "25P01");
+    }
+    for (let i = this.savepoints.length - 1; i >= 0; i--) {
+      if (this.savepoints[i].name === name) return i;
+    }
+    throw pgError("invalid_savepoint_specification", `savepoint "${name}" does not exist`, "3B001");
+  }
+  reset() {
+    this.base = null;
+    this.savepoints = [];
+    this.state.inTransaction = false;
+    this.state.transactionXid = null;
+    this.freezeDepth = 0;
+  }
+};
 
 // src/executor/dml.ts
 function withStatementRollback(env, fn) {
@@ -21149,6 +21499,7 @@ function applyOnConflictUpdate(env, table, label, existingIdx, newRow, sets, whe
   const updated = existing.slice();
   applyUpdateSets(env, table, sets, scope, updated);
   computeGeneratedColumns(env, table, updated);
+  table.rowXmins.set(updated, env.ctx.rowVersionXid());
   rows[existingIdx] = updated;
   indexUpdateRow(env, table, existingIdx, existing, updated);
   checkNotNull(env, table, updated);
@@ -21234,6 +21585,7 @@ function executeInsert(env0, stmt) {
       checkChecks(env, table, newRow);
       checkUnique(env, table, newRow, rows.length);
       checkForeignKeys(env, table, newRow);
+      table.rowXmins.set(newRow, env.ctx.rowVersionXid());
       rows.push(newRow);
       indexInsertRow(env, table, rows.length - 1, newRow);
       insertedCount++;
@@ -21351,6 +21703,7 @@ function executeUpdate(env0, stmt) {
     if (fired.row === null) continue;
     const finalRow = fired.row;
     computeGeneratedColumns(env, table, finalRow);
+    table.rowXmins.set(finalRow, env.ctx.rowVersionXid());
     rows[ri] = finalRow;
     try {
       checkNotNull(env, table, finalRow);
@@ -21470,6 +21823,7 @@ function handleReferencedDelete(env, table, row, depth) {
           for (const c of con.columns) {
             newRow[child.columnIndex(c)] = null;
           }
+          child.rowXmins.set(newRow, env.ctx.rowVersionXid());
           childRows[i] = newRow;
           checkNotNull(env, child, newRow);
           checkChecks(env, child, newRow);
@@ -21483,6 +21837,7 @@ function handleReferencedDelete(env, table, row, depth) {
             const ci = child.columnIndex(c);
             newRow[ci] = columnDefault(env, child, child.columns[ci]);
           }
+          child.rowXmins.set(newRow, env.ctx.rowVersionXid());
           childRows[i] = newRow;
           checkNotNull(env, child, newRow);
           checkChecks(env, child, newRow);
@@ -21520,6 +21875,7 @@ function handleReferencedUpdate(env, table, oldRows, newRows) {
               const refIdx = table.columnIndex(con.refColumns[c]);
               newRow[localIdx] = newRows[r][refIdx] ?? null;
             }
+            child.rowXmins.set(newRow, env.ctx.rowVersionXid());
             childRows[i] = newRow;
             checkChecks(env, child, newRow);
           }
@@ -21529,6 +21885,7 @@ function handleReferencedUpdate(env, table, oldRows, newRows) {
           for (const i of idxs) {
             const newRow = childRows[i].slice();
             for (const c of con.columns) newRow[child.columnIndex(c)] = null;
+            child.rowXmins.set(newRow, env.ctx.rowVersionXid());
             childRows[i] = newRow;
             checkNotNull(env, child, newRow);
           }
@@ -21541,6 +21898,7 @@ function handleReferencedUpdate(env, table, oldRows, newRows) {
               const ci = child.columnIndex(c);
               newRow[ci] = columnDefault(env, child, child.columns[ci]);
             }
+            child.rowXmins.set(newRow, env.ctx.rowVersionXid());
             childRows[i] = newRow;
             checkForeignKeys(env, child, newRow);
           }
@@ -21638,6 +21996,7 @@ function executeSet(env, stmt) {
     else target.delete(name);
     return commandResult("SET", 0);
   }
+  validateStorageSetting(name, stmt.value);
   target.set(name, stmt.value);
   return commandResult("SET", 0);
 }
@@ -21943,64 +22302,6 @@ function executeCopyFromData(env, stmt, data) {
   };
 }
 
-// src/expressions/context.ts
-var EngineCtx = class {
-  state;
-  /** transaction timestamp (now(), current_timestamp) — UTC micros since PG epoch */
-  txNow;
-  /** statement timestamp */
-  stmtNow;
-  constructor(state, txNow) {
-    this.state = state;
-    const nowMs = state.clock().getTime();
-    const nowMicros = BigInt(Math.round(nowMs)) * 1000n + UNIX_EPOCH_MICROS_FROM_PG;
-    this.txNow = txNow ?? nowMicros;
-    this.stmtNow = nowMicros;
-  }
-  timezone() {
-    return this.state.getSetting("timezone") ?? "UTC";
-  }
-  namespaceOid(name) {
-    const oid = builtinNamespaceOid(name) ?? this.state.schemas.get(name)?.oid;
-    if (oid === void 0) throw pgError("undefined_object", `schema "${name}" does not exist`, "3F000");
-    return oid;
-  }
-  namespaceName(oid) {
-    const builtin = builtinNamespaceName(oid);
-    if (builtin !== void 0) return builtin;
-    for (const schema of this.state.schemas.values()) {
-      if (schema.oid === oid) return schema.name;
-    }
-    return null;
-  }
-  zoneOffsetAt(utcMicros) {
-    return zoneOffsetAtUtc(this.timezone(), utcMicros);
-  }
-  zoneOffsetForNaive(naiveMicros) {
-    return zoneOffsetForNaive(this.timezone(), naiveMicros);
-  }
-  enumLabels(enumType) {
-    if (!isEnumType(enumType)) return null;
-    const e = this.state.findEnumByKey(enumType.slice(5));
-    return e?.labels ?? null;
-  }
-  enumHasLabel(enumType, label) {
-    const labels = this.enumLabels(enumType);
-    return labels === null ? true : labels.includes(label);
-  }
-  enumOrder(enumType, label) {
-    const labels = this.enumLabels(enumType);
-    if (!labels) return 0;
-    const idx = labels.indexOf(label);
-    return idx === -1 ? labels.length : idx;
-  }
-  requireEnum(enumType) {
-    const labels = this.enumLabels(enumType);
-    if (!labels) throw pgError("undefined_object", `type "${enumType.slice(5)}" does not exist`);
-    return labels;
-  }
-};
-
 // src/runtime/clock.ts
 var DEFAULT_NOW = /* @__PURE__ */ new Date("2000-01-01T00:00:00.000Z");
 function fixedClock(instant = DEFAULT_NOW) {
@@ -22968,7 +23269,7 @@ function pgClass(ctx) {
         v.materialized ? "m" : "v",
         v.columns?.length ?? 0,
         v.matRows?.length ?? 0,
-        false,
+        v.materialized && [...schemaData.indexes.values()].some((i) => i.tableOid === v.oid),
         !v.materialized || v.matRows !== null,
         relPersistence(v)
       );
@@ -23234,7 +23535,7 @@ function pgIndex(ctx) {
       const valid = i.valid !== false;
       rows.push([
         i.oid ?? 0,
-        table?.oid ?? 0,
+        table?.oid ?? i.tableOid ?? 0,
         indexAttributeCount(i),
         i.columns.length,
         i.unique,
@@ -23406,7 +23707,7 @@ function pgStatUserIndexes(ctx) {
     for (const index of schema.indexes.values()) {
       const table = schema.tables.get(index.table);
       rows.push([
-        table?.oid ?? 0,
+        table?.oid ?? index.tableOid ?? 0,
         index.oid ?? 0,
         schema.name,
         index.table,
@@ -24001,26 +24302,6 @@ function runTriggerBody(env, table, stmts, vars) {
     }
   }
 }
-function triggerScope(table, newRow, oldRow) {
-  const cols = [];
-  const row = [];
-  const rangeVars = /* @__PURE__ */ new Set();
-  if (newRow) {
-    rangeVars.add("new");
-    for (let i = 0; i < table.columns.length; i++) {
-      cols.push({ name: table.columns[i].name, type: table.columns[i].type.id, table: "new" });
-      row.push(newRow[i] ?? null);
-    }
-  }
-  if (oldRow) {
-    rangeVars.add("old");
-    for (let i = 0; i < table.columns.length; i++) {
-      cols.push({ name: table.columns[i].name, type: table.columns[i].type.id, table: "old" });
-      row.push(oldRow[i] ?? null);
-    }
-  }
-  return new RowScope(cols, row, null, rangeVars);
-}
 function executeTrigger(env, table, trigger, _event, oldRow, newRow) {
   const state = env.ctx.state;
   if (trigger.when !== null && !evalPredicate(env, triggerScope(table, newRow, oldRow), trigger.when)) {
@@ -24662,13 +24943,63 @@ function executeCreateSequence(env, stmt) {
   schema.sequences.set(name, seq);
   return commandResult("CREATE SEQUENCE", 0);
 }
+function renameSequenceReferences(env, seq, newName) {
+  const state = env.ctx.state;
+  const matches2 = (value) => {
+    try {
+      const input = parseRelationInput(value);
+      if ("oid" in input) return input.oid === seq.oid;
+      return state.findSequence(input.parts)?.oid === seq.oid;
+    } catch {
+      return false;
+    }
+  };
+  const rewrite = (value) => {
+    if (Array.isArray(value)) return value.map(rewrite);
+    if (value === null || typeof value !== "object") return value;
+    const node = value;
+    const updated = Object.fromEntries(Object.entries(node).map(([key, child]) => [key, rewrite(child)]));
+    const rewriteLiteral = (literal2) => {
+      if (literal2 && typeof literal2 === "object" && "type" in literal2 && literal2.type === "string_lit" && "value" in literal2 && typeof literal2.value === "string" && matches2(literal2.value)) {
+        return { ...literal2, value: [seq.schema, newName].map(quoteIdent).join(".") };
+      }
+      return literal2;
+    };
+    if (node.type === "func" && Array.isArray(node.name) && ["nextval", "currval", "setval"].includes(String(node.name.at(-1))) && Array.isArray(updated.args))
+      updated.args[0] = rewriteLiteral(updated.args[0]);
+    if (node.type === "cast" && node.target && typeof node.target === "object" && "parts" in node.target && Array.isArray(node.target.parts) && node.target.parts.at(-1) === "regclass")
+      updated.expr = rewriteLiteral(updated.expr);
+    return updated;
+  };
+  for (const schema of state.schemas.values()) {
+    for (const table of [...schema.tables.values()]) {
+      const writable = state.ensureWritableTable(table);
+      for (const column of writable.columns) {
+        if (column.defaultExpr) column.defaultExpr = rewrite(column.defaultExpr);
+        if (column.identity?.sequence === `${seq.schema}.${seq.name}`)
+          column.identity = { ...column.identity, sequence: `${seq.schema}.${newName}` };
+      }
+    }
+  }
+}
 function executeAlterSequence(env, stmt) {
   const state = env.ctx.state;
-  const seq = state.findSequence(stmt.name);
-  if (!seq) {
+  const foundSequence = state.findSequence(stmt.name);
+  if (!foundSequence) {
     if (stmt.ifExists) return commandResult("ALTER SEQUENCE", 0);
     throw pgError("undefined_table", `relation "${stmt.name.join(".")}" does not exist`, "42P01");
   }
+  const seq = state.ensureWritableSequence(foundSequence);
+  if (stmt.renameTo) {
+    const schema = state.getSchema(seq.schema);
+    if (schema.hasRelation(stmt.renameTo))
+      throw pgError("duplicate_table", `relation "${stmt.renameTo}" already exists`, "42P07");
+    renameSequenceReferences(env, seq, stmt.renameTo);
+    schema.sequences.delete(seq.name);
+    seq.name = stmt.renameTo;
+    schema.sequences.set(seq.name, seq);
+    return commandResult("ALTER SEQUENCE", 0);
+  }
   const o = stmt.options;
   if (o.logged !== void 0) {
     setSequenceLogged(state, seq, o.logged);
@@ -24726,7 +25057,7 @@ function buildColumn(env, schema, tableName2, def, out, taken) {
     col.defaultExpr = {
       type: "func",
       name: ["nextval"],
-      args: [{ type: "string_lit", value: `${schema.name}.${seqName}` }]
+      args: [{ type: "string_lit", value: [schema.name, seqName].map(quoteIdent).join(".") }]
     };
   }
   for (const c of def.constraints) {
@@ -24979,7 +25310,11 @@ function executeCreateTableAs(env, stmt) {
   const table = new TableData(schema.name, name, columns, state.nextOid(), stmt.temp);
   table.unlogged = stmt.unlogged === true;
   if (stmt.withData) {
-    for (const row of rel3.rows) table.mutableRows().push(row.slice());
+    for (const row of rel3.rows) {
+      const stored = row.slice();
+      table.rowXmins.set(stored, env.ctx.rowVersionXid());
+      table.mutableRows().push(stored);
+    }
   }
   schema.tables.set(name, table);
   const count = stmt.withData ? table.rowCount() : 0;
@@ -24987,7 +25322,8 @@ function executeCreateTableAs(env, stmt) {
 }
 function executeCreateIndex(env, stmt) {
   const state = env.ctx.state;
-  const table = state.findTable(stmt.table);
+  const view = state.findView(stmt.table);
+  const table = state.findTable(stmt.table) ?? (view?.materialized ? materializedTable(view) : void 0);
   if (!table) {
     throw pgError("undefined_table", `relation "${stmt.table.join(".")}" does not exist`, "42P01");
   }
@@ -25099,13 +25435,22 @@ function executeRefreshMatView(env, stmt) {
   if (!found?.materialized) {
     throw pgError("undefined_table", `materialized view "${stmt.name.join(".")}" does not exist`, "42P01");
   }
+  const rel3 = executeSelectStmt(matviewQueryEnv(env, !stmt.withData), found.query);
+  const next = {
+    ...found,
+    matColumns: rel3.columns.map((c, i) => ({
+      name: found.columns?.[i] ?? c.name,
+      type: c.type === UNKNOWN ? "text" : c.type
+    })),
+    matRows: stmt.withData ? rel3.rows : null
+  };
+  const table = materializedTable(next);
+  for (const index of env.ctx.state.getSchema(found.schema).indexes.values()) {
+    if (index.tableOid === found.oid && index.valid !== false) assertUniqueIndexBuildable(env, table, index);
+  }
   const view = env.ctx.state.ensureWritableView(found);
-  const rel3 = executeSelectStmt(matviewQueryEnv(env, !stmt.withData), view.query);
-  view.matColumns = rel3.columns.map((c, i) => ({
-    name: view.columns?.[i] ?? c.name,
-    type: c.type === UNKNOWN ? "text" : c.type
-  }));
-  view.matRows = stmt.withData ? rel3.rows : null;
+  view.matColumns = next.matColumns;
+  view.matRows = next.matRows;
   return commandResult("REFRESH MATERIALIZED VIEW", 0);
 }
 function executeCreateSchema(env, stmt) {
@@ -25238,6 +25583,12 @@ function executeCreateFunction(env, stmt) {
     language: lang,
     body,
     rawBody: stmt.body,
+    settings: Object.fromEntries(
+      Object.entries(stmt.settings ?? {}).map(([key, value]) => [
+        key,
+        value === "__from_current__" ? state.getSetting(key) ?? "" : value
+      ])
+    ),
     strict: stmt.strict,
     oid: state.nextOid()
   };
@@ -25247,6 +25598,8 @@ function executeCreateFunction(env, stmt) {
   return commandResult("CREATE FUNCTION", 0);
 }
 function executeCreateTrigger(env, stmt) {
+  if (stmt.constraint && (stmt.timing !== "after" || !stmt.forEachRow))
+    throw pgError("syntax", "constraint triggers must be AFTER ROW triggers", "42601");
   const state = env.ctx.state;
   const found = state.findTable(stmt.table);
   if (!found) {
@@ -25265,6 +25618,9 @@ function executeCreateTrigger(env, stmt) {
   }
   const meta = {
     name: stmt.name,
+    constraint: stmt.constraint,
+    deferrable: stmt.deferrable,
+    initiallyDeferred: stmt.initiallyDeferred,
     timing: stmt.timing,
     events: stmt.events,
     forEachRow: stmt.forEachRow,
@@ -25417,6 +25773,7 @@ function executeAlterTable(env, stmt) {
           }
           const next = row.slice();
           next[idx] = nv;
+          table.rowXmins.set(next, table.rowXmins.get(rows[i]) ?? 2);
           rows[i] = next;
         }
         col.type = resolved.column;
@@ -25518,6 +25875,11 @@ function executeAlterTable(env, stmt) {
           );
         }
         table.columns[idx].name = action.to;
+        for (const seq of [...schema.sequences.values()]) {
+          if (seq.ownedBy?.table === table.name && seq.ownedBy.column === action.from) {
+            state.ensureWritableSequence(seq).ownedBy = { table: table.name, column: action.to };
+          }
+        }
         for (const con of table.constraints) {
           if (con.kind === "primary_key" || con.kind === "unique" || con.kind === "foreign_key") {
             con.columns = con.columns.map((c) => c === action.from ? action.to : c);
@@ -25554,6 +25916,11 @@ function executeAlterTable(env, stmt) {
           throw pgError("duplicate_table", `relation "${action.to}" already exists`, "42P07");
         }
         const oldName = table.name;
+        for (const seq of [...schema.sequences.values()]) {
+          if (seq.ownedBy?.table === oldName) {
+            state.ensureWritableSequence(seq).ownedBy = { ...seq.ownedBy, table: action.to };
+          }
+        }
         schema.tables.delete(table.name);
         table.name = action.to;
         schema.tables.set(action.to, table);
@@ -26033,7 +26400,16 @@ function alterTableIsSelfContained(stmt) {
   return stmt.actions.length === 1 && action !== void 0 && SELF_CONTAINED_ALTER_ACTIONS.has(action.kind);
 }
 function executeStatement(env, stmt) {
-  if (!RESHAPES_TABLES.has(stmt.type)) return dispatchStatement(env, stmt);
+  if (!RESHAPES_TABLES.has(stmt.type)) {
+    if ((stmt.type === "insert" || stmt.type === "update" || stmt.type === "delete") && (env.ctx.state.pendingTriggers.length > 0 || env.ctx.state.findTable(stmt.table)?.triggers.some((t) => t.constraint))) {
+      return withStatementRollback(env, () => {
+        const result = dispatchStatement(env, stmt);
+        flushConstraintTriggers(env.ctx.state);
+        return result;
+      });
+    }
+    return dispatchStatement(env, stmt);
+  }
   try {
     return dispatchStatement(env, stmt);
   } finally {
@@ -26092,6 +26468,9 @@ function dispatchStatement(env, stmt) {
       return executeRefreshMatView(env, stmt);
     case "transaction":
       return executeTransaction(env, stmt);
+    case "set_constraints":
+      setConstraints(env.ctx.state, stmt);
+      return commandResult("SET CONSTRAINTS", 0);
     case "set":
       return executeSet(env, stmt);
     case "show":
@@ -27131,6 +27510,7 @@ function encodeDatabaseState(state, runtime) {
       writeBjv(
         w,
         {
+          xmins: table.allRows().map((row) => table.rowXmins.get(row) ?? 2),
           name: table.name,
           schema: table.schema,
           columns: table.columns,
@@ -27228,8 +27608,14 @@ function decodeInner(snapshot, prng, clock) {
       table.constraints = meta.constraints;
       table.triggers = meta.triggers;
       table.unlogged = meta.unlogged === true;
+      table.slabXmins = meta.xmins ?? null;
+      state.xidCounter = Math.max(
+        state.xidCounter,
+        (meta.xmins ?? []).reduce((max, xid) => Math.max(max, xid + 1), 3)
+      );
       if (meta.stats) state.tableStats.set(table.oid, meta.stats);
       const rowCount = readVarintU32(r);
+      if (meta.xmins && meta.xmins.length !== rowCount) throw snapshotError();
       const slabColumns = [];
       for (let c = 0; c < meta.columns.length; c++)
         slabColumns.push(readPackedColumn(r, rowCount, intern, meta.columns[c].type.id));
@@ -27673,6 +28059,8 @@ function validateTableMetaBjv(value) {
   if (!isRecord(value) || typeof value.name !== "string" || typeof value.schema !== "string") throw snapshotError();
   if (!Array.isArray(value.columns)) throw snapshotError();
   for (const col of value.columns) validateColumnMeta(col);
+  if (value.xmins !== void 0 && (!Array.isArray(value.xmins) || value.xmins.some((xid) => !Number.isInteger(xid) || xid < 2 || xid > 4294967295)))
+    throw snapshotError();
 }
 function validateViewMetaBjv(value) {
   if (!isRecord(value) || typeof value.name !== "string" || typeof value.schema !== "string") throw snapshotError();
@@ -27766,6 +28154,7 @@ function forceSchemaIntern(pool, state, schemas) {
       pool.forceId(table.name);
       pool.forceId(table.schema);
       forceBjvStrings(pool, {
+        xmins: table.allRows().map((row) => table.rowXmins.get(row) ?? 2),
         name: table.name,
         schema: table.schema,
         columns: table.columns,
@@ -27843,10 +28232,188 @@ function forceBjvStrings(pool, value) {
   }
 }
 registerCodec({ encodeDatabaseState, decodeDatabaseState });
+
+// src/api/schema-report.ts
+var bounded = (value, fallback2, max) => {
+  if (value === void 0) return fallback2;
+  if (!Number.isSafeInteger(value) || value < 1 || value > max)
+    throw new RangeError(`limit must be an integer between 1 and ${max}`);
+  return value;
+};
+function analyzeSchema(sql, options = {}) {
+  const inputLimit = bounded(options.maxInputBytes, 1024 * 1024, 4 * 1024 * 1024);
+  const statementLimit = bounded(options.maxStatements, 1e3, 1e4);
+  const diagnosticLimit = bounded(options.maxDiagnostics, 100, 1e3);
+  const report = {
+    engine: "mockingbird-postgres",
+    version: true ? "3.7.0" : "source-tree",
+    statements: 0,
+    accepted: 0,
+    compatible: null,
+    truncated: false,
+    diagnostics: []
+  };
+  const add = (diagnostic) => {
+    if (report.diagnostics.length >= diagnosticLimit) {
+      report.truncated = true;
+      return false;
+    }
+    report.diagnostics.push({
+      ...diagnostic,
+      ...diagnostic.object ? { object: diagnostic.object.slice(0, 200) } : {}
+    });
+    if (diagnostic.category !== "unknown") report.compatible = false;
+    return true;
+  };
+  const location = (offset) => {
+    const prefix = sql.slice(0, offset);
+    return { offset, line: prefix.split("\n").length, column: offset - prefix.lastIndexOf("\n") };
+  };
+  if (sql.length > inputLimit || new TextEncoder().encode(sql).length > inputLimit) {
+    add({
+      statement: 0,
+      ...location(0),
+      sqlstate: null,
+      category: "limit",
+      message: `Input exceeds ${inputLimit} bytes`
+    });
+    report.truncated = true;
+    return report;
+  }
+  let tokens;
+  try {
+    tokens = tokenize(sql);
+  } catch (error) {
+    add({
+      statement: 1,
+      ...location(0),
+      sqlstate: isPostgresError(error) ? error.code : null,
+      category: "syntax",
+      message: error instanceof Error ? error.message.slice(0, 500) : "Cannot tokenize input"
+    });
+    return report;
+  }
+  const db = new Database();
+  const failed = /* @__PURE__ */ new Map();
+  let start = 0;
+  let tokenStart = 0;
+  let atomicDepth = 0;
+  const run = (end, tokenEnd) => {
+    const statementTokens = tokens.slice(tokenStart, tokenEnd);
+    tokenStart = tokenEnd + 1;
+    const offset = statementTokens[0]?.pos;
+    const statementSql = sql.slice(start, end);
+    start = end + 1;
+    if (offset === void 0) return;
+    if (report.statements >= statementLimit) {
+      report.truncated = true;
+      add({
+        statement: report.statements + 1,
+        ...location(offset),
+        sqlstate: null,
+        category: "limit",
+        message: `Statement limit ${statementLimit} reached`
+      });
+      return;
+    }
+    report.statements++;
+    let object;
+    const candidate = statementTokens.findIndex(
+      (token) => ["table", "view", "function", "sequence", "schema", "type", "index"].includes(token.value)
+    );
+    if (candidate >= 0) {
+      const name = statementTokens[candidate + 1];
+      if (name?.type === "ident" || name?.type === "quoted_ident") object = name.value;
+    }
+    try {
+      const ast = parse(statementSql);
+      const statement = ast[0];
+      if (statement && "name" in statement && Array.isArray(statement.name)) object = statement.name.join(".");
+      if (statement && !/^(create_|alter_|comment|grant|revoke|set|reset)/.test(statement.type)) {
+        add({
+          statement: report.statements,
+          ...location(offset),
+          object,
+          sqlstate: null,
+          category: "unknown",
+          message: "Only schema statements are analyzed; data, queries and dynamic commands are unknown"
+        });
+        return;
+      }
+      const references = statementTokens.flatMap((token, index) => {
+        if (!["from", "join", "references"].includes(token.value)) return [];
+        const parts = [];
+        for (let at = index + 1; at < statementTokens.length; at += 2) {
+          const part = statementTokens[at];
+          if (!part || part.type !== "ident" && part.type !== "quoted_ident") break;
+          parts.push(part.value);
+          if (statementTokens[at + 1]?.value !== ".") break;
+        }
+        return parts.length ? [parts.join(".")] : [];
+      });
+      const missing = [...failed].find(
+        ([name]) => references.some(
+          (reference) => reference === name || !reference.includes(".") && reference === name.split(".").at(-1) || !name.includes(".") && name === reference.split(".").at(-1)
+        )
+      );
+      if (missing) {
+        add({
+          statement: report.statements,
+          ...location(offset),
+          object,
+          sqlstate: "42P01",
+          category: "prerequisite",
+          message: `Prerequisite ${missing[0]} was not created`,
+          prerequisiteStatement: missing[1]
+        });
+        if (object) failed.set(object, report.statements);
+        return;
+      }
+      db.exec(statementSql);
+      report.accepted++;
+      add({
+        statement: report.statements,
+        ...location(offset),
+        object,
+        sqlstate: null,
+        category: "unknown",
+        message: "Accepted by the ephemeral engine; semantics, function bodies and dynamic SQL require oracle verification"
+      });
+    } catch (error) {
+      const code = isPostgresError(error) ? error.code : null;
+      const message = error instanceof Error ? error.message.slice(0, 500) : "Schema analysis failed";
+      const prerequisite = code?.startsWith("42") ? [...failed].find(([name]) => message.includes(`"${name}"`) || message.includes(`"${name.split(".").at(-1)}"`)) : void 0;
+      add({
+        statement: report.statements,
+        ...location(offset),
+        object,
+        sqlstate: code,
+        category: prerequisite ? "prerequisite" : code === "0A000" ? "unsupported" : code?.startsWith("426") ? "syntax" : "execution",
+        message,
+        ...prerequisite ? { prerequisiteStatement: prerequisite[1] } : {}
+      });
+      if (object) failed.set(object, report.statements);
+    }
+  };
+  try {
+    for (let index = 0; index < tokens.length; index++) {
+      const token = tokens[index];
+      if (token.value === "begin" && tokens[index + 1]?.value === "atomic") atomicDepth++;
+      if (token.value === "end" && atomicDepth > 0) atomicDepth--;
+      if (token.type === "punct" && token.value === ";" && atomicDepth === 0 || token.type === "eof")
+        run(token.pos, index);
+      if (report.truncated) break;
+    }
+  } finally {
+    db.close();
+  }
+  return report;
+}
 export {
   Database,
   PostgresError,
   Snapshot,
-  Statement
+  Statement,
+  analyzeSchema
 };
 //# sourceMappingURL=index.js.map