@crvouga/mockingbird-service-postgres 3.5.0 → 3.7.0

package/dist/wire/cli.js

@@ -744,9 +744,6 @@ function ownedTransport(policy) {
 
 // ../../adapters/node/dist/cli.js
 import { readFile as readFile5 } from "node:fs/promises";
-import { createRequire as createRequire3 } from "node:module";
-import { resolve as resolve3 } from "node:path";
-import { pathToFileURL } from "node:url";
 import { parseArgs } from "node:util";
 
 // ../../adapters/node/dist/fleet.js
@@ -760,6 +757,31 @@ import { createHash as createHash3, randomBytes, randomUUID as randomUUID3 } fro
 
 // ../../adapters/node/dist/fleet-archive.js
 import { createHash } from "node:crypto";
+function validateCompatibilityTags(tags) {
+  if (!tags || typeof tags !== "object" || Array.isArray(tags))
+    throw new Error("invalid archive compatibility tags");
+  const entries = Object.entries(tags);
+  if (entries.length > 32 || entries.some(([key, value]) => !/^[A-Za-z0-9_.-]{1,64}$/.test(key) || typeof value !== "string" || value.length < 1 || value.length > 256 || [...value].some((character) => character.charCodeAt(0) < 32 || character.charCodeAt(0) === 127)))
+    throw new Error("invalid archive compatibility tags");
+}
+function assertCompatibilityTags(tags, policy) {
+  if (tags !== void 0)
+    validateCompatibilityTags(tags);
+  if (!policy)
+    return;
+  validateCompatibilityTags(policy.tags);
+  if (policy.missing !== void 0 && !["allow", "reject"].includes(policy.missing))
+    throw new Error("invalid missing compatibility policy");
+  if (tags === void 0 && policy.missing === "allow")
+    return;
+  if (canonical(tags) !== canonical(policy.tags))
+    throw new Error("application archive compatibility mismatch");
+}
+function assertArchiveCompatibility(input, policy) {
+  const archive = validateArchive(input);
+  assertCompatibilityTags(archive.compatibility, policy);
+  return archive;
+}
 var canonical = (value) => {
   if (Array.isArray(value))
     return `[${value.map(canonical).join(",")}]`;
@@ -779,6 +801,8 @@ function validateArchive(value) {
   const { sha256: sha2563, ...content } = doc;
   if (doc.format !== "mockingbird.fleet/v1" || typeof doc.sourceId !== "string" || typeof doc.createdAt !== "string" || !doc.namespaces || typeof doc.namespaces !== "object" || Array.isArray(doc.namespaces) || sha2563 !== digest(content))
     throw new Error("unsupported or corrupt fleet archive");
+  if (doc.compatibility !== void 0)
+    validateCompatibilityTags(doc.compatibility);
   for (const [namespace, entry] of Object.entries(doc.namespaces)) {
     if (!/^[A-Za-z0-9_.-]{1,64}$/.test(namespace) || !entry || !Number.isFinite(entry.clock?.now) || typeof entry.clock?.frozen !== "boolean" || !entry.services || !Object.keys(entry.services).length)
       throw new Error("invalid archive namespace");
@@ -794,6 +818,7 @@ function inspectArchive(input) {
     format: archive.format,
     createdAt: archive.createdAt,
     sha256: archive.sha256,
+    ...archive.compatibility ? { compatibility: archive.compatibility } : {},
     namespaces: Object.fromEntries(Object.entries(archive.namespaces).map(([name2, ns]) => [
       name2,
       {
@@ -1436,11 +1461,28 @@ var ingressSupport = {
     streaming: true,
     signing: "vendor request signing is not used; webhook signatures remain payload based"
   },
+  cognito: {
+    publicOrigin: true,
+    pathPrefix: true,
+    namespaces: "path-or-header",
+    streaming: true,
+    signing: "JWT issuer and JWKS use the configured public namespace; SigV4 verification is not modelled"
+  },
+  medplum: {
+    publicOrigin: true,
+    pathPrefix: true,
+    namespaces: "path-or-header",
+    streaming: true,
+    signing: "FHIR, OAuth and storage URLs use the configured public namespace"
+  },
   other: {
     publicOrigin: false,
     reason: "host/path-sensitive signing and hosted URL rewriting are not certified; use a direct endpoint"
   }
 };
+function supportsPublicIngress(service) {
+  return service === "stripe" || service === "cognito" || service === "medplum";
+}
 function advertisedHttpBase(entry) {
   if (entry.publicPath !== void 0 && !entry.publicOrigin)
     throw new Error("publicPath requires publicOrigin");
@@ -1979,7 +2021,7 @@ data: ${JSON.stringify(data)}
         {
           protocol: c.protocol,
           coverage: c.coverage,
-          ingress: c.targetName === "stripe" ? ingressSupport.stripe : ingressSupport.other,
+          ingress: supportsPublicIngress(c.targetName ?? "") ? ingressSupport[c.targetName] : ingressSupport.other,
           target: c.targetName,
           outboundPolicy: c.outboundPolicy ?? "unsupported",
           version: 1,
@@ -3063,11 +3105,12 @@ data: ${JSON.stringify(data)}
       format: "mockingbird.fleet/v1",
       createdAt: (/* @__PURE__ */ new Date()).toISOString(),
       sourceId: this.ctx.id,
+      ...this.ctx.options.archiveCompatibility ? { compatibility: structuredClone(this.ctx.options.archiveCompatibility.tags) } : {},
       namespaces: contents
     });
   }
   async restoreArchive(input, selectedNamespace) {
-    const archive = validateArchive(input);
+    const archive = assertArchiveCompatibility(input, this.ctx.options.archiveCompatibility);
     const entries = Object.entries(archive.namespaces).filter(([ns]) => selectedNamespace === void 0 || ns === selectedNamespace);
     if (!entries.length)
       throw new Error("selected namespace absent from archive");
@@ -3651,7 +3694,7 @@ async function preflightFleet(config, options2) {
       if (entry.target !== void 0 && !/^[a-z0-9]+(?:-[a-z0-9]+)*$/.test(entry.target))
         throw new Error("target must name a supported service suffix");
       const service = entry.target ?? name2;
-      if (advertisedHttpBase(entry) && service !== "stripe")
+      if (advertisedHttpBase(entry) && !supportsPublicIngress(service))
         throw new Error(`public ingress unsupported for ${service}; use a direct endpoint to preserve signed targets`);
       const target = await options2.load(service);
       const protocol = "protocol" in target ? target.protocol : "http";
@@ -3702,7 +3745,7 @@ async function preflightFleet(config, options2) {
             break;
         }
       }
-      targets.set(name2, { ...target, packageVersion: packageVersion ?? "3.5.0" });
+      targets.set(name2, { ...target, packageVersion: packageVersion ?? "3.7.0" });
     } catch (error) {
       throw new Error(`service ${name2}: ${error instanceof Error ? error.message : String(error)}`, { cause: error });
     }
@@ -3746,6 +3789,11 @@ async function preflightFleet(config, options2) {
   return ordered;
 }
 function validateFleetPolicies(options2) {
+  if (options2.archiveCompatibility) {
+    validateCompatibilityTags(options2.archiveCompatibility.tags);
+    if (options2.archiveCompatibility.missing !== void 0 && !["allow", "reject"].includes(options2.archiveCompatibility.missing))
+      throw new Error("archiveCompatibility.missing must be allow or reject");
+  }
   if (options2.journal && !options2.repository)
     throw new Error("durable operation journal requires an archive repository");
   if (options2.cors) {
@@ -4738,10 +4786,44 @@ async function startFleet(config, options2) {
   }
 }
 
-// ../../adapters/node/dist/fleet-tools.js
-import { readFile as readFile4 } from "node:fs/promises";
+// ../../adapters/node/dist/fleet-loader.js
 import { createRequire as createRequire2 } from "node:module";
 import { resolve as resolve2 } from "node:path";
+import { pathToFileURL } from "node:url";
+var suffix = /^[a-z0-9]+(?:-[a-z0-9]+)*$/;
+function createInstalledServiceLoader(options2) {
+  if (!options2.projectRoot)
+    throw new Error("consumer projectRoot required");
+  const allowed = new Set(options2.services);
+  for (const name2 of allowed)
+    if (!suffix.test(name2))
+      throw new Error("invalid service suffix");
+  const require2 = createRequire2(resolve2(options2.projectRoot, "package.json"));
+  const targets = new Map((options2.targets ?? []).map((target) => [target.name, target]));
+  return async (name2) => {
+    if (!suffix.test(name2) || !allowed.has(name2))
+      throw new Error("service is not declared in loader allowlist");
+    const own2 = targets.get(name2);
+    if (own2)
+      return own2;
+    const specifier = `@crvouga/mockingbird-service-${name2}/server`;
+    let location;
+    try {
+      location = require2.resolve(specifier);
+    } catch {
+      throw new Error(`cannot load service "${name2}": install @crvouga/mockingbird-service-${name2} in the consumer project; its /server export is required`);
+    }
+    const mod = await import(pathToFileURL(location).href);
+    if (!mod.serveTarget || mod.serveTarget.name !== name2 || ("protocol" in mod.serveTarget ? typeof mod.serveTarget.start !== "function" : typeof mod.serveTarget.create !== "function"))
+      throw new Error(`${specifier} exports no matching serveTarget`);
+    return mod.serveTarget;
+  };
+}
+
+// ../../adapters/node/dist/fleet-tools.js
+import { readFile as readFile4 } from "node:fs/promises";
+import { createRequire as createRequire3 } from "node:module";
+import { resolve as resolve3 } from "node:path";
 
 // ../../adapters/node/dist/fleet-client.js
 import { randomUUID as randomUUID5 } from "node:crypto";
@@ -4755,6 +4837,14 @@ var FleetClientError = class extends Error {
     this.details = details;
   }
 };
+var FleetClientResponseError = class extends FleetClientError {
+  code;
+  constructor(code, status, origin) {
+    super(status, { code, body: "omitted", ...origin ? { origin } : {} });
+    this.code = code;
+    this.name = "FleetClientResponseError";
+  }
+};
 var FleetClient = class {
   base;
   options;
@@ -4767,7 +4857,14 @@ var FleetClient = class {
     if (url.username || url.password)
       throw new Error("fleet client URL must not contain credentials");
     url.searchParams.set("namespace", options2.namespace ?? this.options.namespace ?? "default");
+    const limit = options2.maxResponseBytes ?? this.options.maxResponseBytes ?? 64 * 1024 * 1024;
+    if (!Number.isSafeInteger(limit) || limit < 1)
+      throw new Error("invalid response byte limit");
+    const deadline = AbortSignal.timeout(this.options.timeoutMs ?? 3e4);
+    const signal = options2.signal ? AbortSignal.any([options2.signal, deadline]) : deadline;
+    signal.throwIfAborted();
     const response = await (this.options.fetch ?? fetch)(url, {
+      redirect: "manual",
       method: options2.method ?? (options2.body === void 0 ? "GET" : "POST"),
       headers: {
         "content-type": "application/json",
@@ -4775,11 +4872,71 @@ var FleetClient = class {
         ...options2.idempotencyKey ? { "idempotency-key": options2.idempotencyKey } : {}
       },
       ...options2.body !== void 0 ? { body: JSON.stringify(options2.body) } : {},
-      signal: options2.signal ?? AbortSignal.timeout(this.options.timeoutMs ?? 3e4)
+      signal
     });
-    const data = await response.json();
-    if (!response.ok)
-      throw new FleetClientError(response.status, data);
+    if (response.status >= 300 && response.status < 400) {
+      await response.body?.cancel();
+      throw new FleetClientResponseError("redirect", response.status, url.origin);
+    }
+    if (Number(response.headers.get("content-length")) > limit) {
+      await response.body?.cancel();
+      throw new FleetClientResponseError("response_too_large", response.status);
+    }
+    const reader = response.body?.getReader();
+    const chunks = [];
+    let size = 0;
+    const abort = () => {
+      void reader?.cancel(signal.reason).catch(() => {
+      });
+    };
+    signal.addEventListener("abort", abort, { once: true });
+    try {
+      if (reader)
+        while (true) {
+          signal.throwIfAborted();
+          const { done, value } = await reader.read();
+          signal.throwIfAborted();
+          if (done)
+            break;
+          size += value.byteLength;
+          if (size > limit) {
+            await reader.cancel();
+            throw new FleetClientResponseError("response_too_large", response.status);
+          }
+          chunks.push(value);
+        }
+    } finally {
+      signal.removeEventListener("abort", abort);
+      if (signal.aborted)
+        await reader?.cancel(signal.reason).catch(() => {
+        });
+      reader?.releaseLock();
+    }
+    const bytes = new Uint8Array(size);
+    let offset = 0;
+    for (const chunk of chunks) {
+      bytes.set(chunk, offset);
+      offset += chunk.byteLength;
+    }
+    const text = new TextDecoder().decode(bytes);
+    let data;
+    try {
+      data = text.length ? JSON.parse(text) : void 0;
+    } catch {
+      if (response.ok)
+        throw new FleetClientResponseError("invalid_json", response.status);
+    }
+    if (!response.ok) {
+      const error = data && typeof data === "object" ? data.error : void 0;
+      const detail = { body: "omitted" };
+      if (error && typeof error === "object")
+        for (const key of ["type", "code"]) {
+          const value = error[key];
+          if (typeof value === "string" && /^[A-Za-z0-9_.-]{1,128}$/.test(value))
+            detail[key] = value;
+        }
+      throw new FleetClientError(response.status, detail);
+    }
     return data;
   }
   discover() {
@@ -4845,17 +5002,52 @@ function renderConnections(manifest, privateManifest, namespace, mapping) {
     const child = manifest.services[entry.service], secret = privateManifest.services[entry.service];
     if (!child || !secret)
       throw new Error(`missing service mapping ${entry.service}`);
+    let endpoint;
     if (child.protocol === "http") {
       const template = child.namespaces.path;
       if (typeof template !== "string")
         throw new Error(`missing HTTP namespace mapping ${entry.service}`);
-      result[variable] = new URL(template.replace("{name}", encodeURIComponent(namespace)), secret.url).href;
+      endpoint = new URL(template.replace("{name}", encodeURIComponent(namespace)), secret.url).href;
     } else {
-      const endpoint = secret.namespaces?.[namespace];
-      if (!endpoint)
+      const selected = secret.namespaces?.[namespace];
+      if (!selected)
         throw new Error(`missing namespace mapping ${namespace}/${entry.service}`);
-      result[variable] = endpoint;
+      endpoint = selected;
+    }
+    const url = new URL(endpoint);
+    const field = entry.field ?? "url";
+    let value;
+    switch (field) {
+      case "url":
+        value = endpoint;
+        break;
+      case "hostname":
+        value = url.hostname.replace(/^\[|\]$/g, "");
+        break;
+      case "port":
+        value = url.port;
+        break;
+      case "username":
+        value = decodeURIComponent(url.username);
+        break;
+      case "password":
+        value = decodeURIComponent(url.password);
+        break;
+      case "pathname":
+        value = decodeURIComponent(url.pathname);
+        break;
+      case "database":
+        value = decodeURIComponent(url.pathname.replace(/^\//, ""));
+        break;
+      default:
+        throw new Error("unsupported connection field");
+    }
+    if (!value) {
+      if (typeof entry.fallback !== "string")
+        throw new Error(`missing connection component ${field}`);
+      value = entry.fallback;
     }
+    result[variable] = value;
   }
   return result;
 }
@@ -4879,7 +5071,7 @@ async function doctorFleet(config, options2, probes = []) {
   const plan = [];
   try {
     const targets = await preflightFleet(config, options2);
-    const require2 = createRequire2(resolve2(process.cwd(), "package.json"));
+    const require2 = createRequire3(resolve3(process.cwd(), "package.json"));
     for (const [service, target] of targets) {
       let version = "development";
       try {
@@ -4934,7 +5126,7 @@ async function doctorFleet(config, options2, probes = []) {
   };
 }
 async function rehearseFleet(config, options2, input, probes = [], timeoutMs = 3e4) {
-  const archive = validateArchive(input);
+  const archive = assertArchiveCompatibility(input, options2.archiveCompatibility);
   const startedAt = (/* @__PURE__ */ new Date()).toISOString();
   const isolated = {
     ...config,
@@ -4946,7 +5138,7 @@ async function rehearseFleet(config, options2, input, probes = [], timeoutMs = 3
   };
   let fleet;
   try {
-    fleet = await startFleet(isolated, { load: options2.load });
+    fleet = await startFleet(isolated, options2);
     const client = new FleetClient(fleet.manifest.adminBase, {
       ...config.adminKey ? { adminKey: config.adminKey } : {}
     });
@@ -5321,26 +5513,7 @@ var resolveServeControls = async (values, env = process.env, base) => {
   normalizeBootControls(document, "adminControls");
   return document;
 };
-var loadTarget = async (name2, own2) => {
-  if (name2 === own2.name)
-    return own2;
-  const specifier = `@crvouga/mockingbird-service-${name2}/server`;
-  try {
-    let mod;
-    try {
-      mod = await import(specifier);
-    } catch {
-      const fromProject = createRequire3(resolve3(process.cwd(), "package.json"));
-      mod = await import(pathToFileURL(fromProject.resolve(specifier)).href);
-    }
-    if (!mod.serveTarget)
-      throw new Error(`${specifier} exports no serveTarget`);
-    return mod.serveTarget;
-  } catch (error) {
-    const reason = error instanceof Error ? error.message : String(error);
-    throw new Error(`cannot load service "${name2}": ${reason}. Install @crvouga/mockingbird-service-${name2}.`);
-  }
-};
+var loadTarget = (name2, own2) => createInstalledServiceLoader({ projectRoot: process.cwd(), services: [name2], targets: [own2] })(name2);
 var start = async (target, values, config) => {
   const adminPrefix = resolveAdminPrefix(config.adminPrefix);
   const runtime = await target.create(values, {
@@ -5539,6 +5712,13 @@ function isPostgresError(err) {
   return typeof sqlState === "string" && /^[0-9A-Z]{5}$/.test(sqlState);
 }
 
+// src/storage/guc.ts
+function validateStorageSetting(name2, value) {
+  if (name2 === "default_table_access_method" && value !== "heap" || name2 === "default_tablespace" && value !== "" && value !== "pg_default") {
+    throw pgError("invalid_parameter_value", `invalid value for parameter "${name2}": "${value}"`, "22023");
+  }
+}
+
 // src/runtime/prng.ts
 var Prng = class _Prng {
   state;
@@ -5779,9 +5959,9 @@ function stemEnglish(input) {
     return false;
   })();
   if (!step1bDone) {
-    for (const suffix of ["ingly", "edly", "ing", "ed"]) {
-      if (w.endsWith(suffix)) {
-        const stem = w.slice(0, -suffix.length);
+    for (const suffix2 of ["ingly", "edly", "ing", "ed"]) {
+      if (w.endsWith(suffix2)) {
+        const stem = w.slice(0, -suffix2.length);
         if ([...stem].some(isVowel)) {
           w = stem;
           if (w.endsWith("at") || w.endsWith("bl") || w.endsWith("iz")) w += "e";
@@ -5819,9 +5999,9 @@ function stemEnglish(input) {
     ["alli", "al"],
     ["bli", "ble"]
   ];
-  for (const [suffix, repl] of step2) {
-    if (w.endsWith(suffix)) {
-      if (w.length - suffix.length >= r1) w = w.slice(0, -suffix.length) + repl;
+  for (const [suffix2, repl] of step2) {
+    if (w.endsWith(suffix2)) {
+      if (w.length - suffix2.length >= r1) w = w.slice(0, -suffix2.length) + repl;
       break;
     }
   }
@@ -5840,9 +6020,9 @@ function stemEnglish(input) {
     ["ness", ""],
     ["ful", ""]
   ];
-  for (const [suffix, repl] of step3) {
-    if (w.endsWith(suffix)) {
-      if (w.length - suffix.length >= r1) w = w.slice(0, -suffix.length) + repl;
+  for (const [suffix2, repl] of step3) {
+    if (w.endsWith(suffix2)) {
+      if (w.length - suffix2.length >= r1) w = w.slice(0, -suffix2.length) + repl;
       break;
     }
   }
@@ -5868,9 +6048,9 @@ function stemEnglish(input) {
     "er",
     "ic"
   ];
-  for (const suffix of step4) {
-    if (w.endsWith(suffix)) {
-      if (w.length - suffix.length >= r2) w = w.slice(0, -suffix.length);
+  for (const suffix2 of step4) {
+    if (w.endsWith(suffix2)) {
+      if (w.length - suffix2.length >= r2) w = w.slice(0, -suffix2.length);
       break;
     }
   }
@@ -8078,6 +8258,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 = [];
@@ -8113,8 +8299,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, name2) {
   if (oid === 0) return "-";
@@ -8187,6 +8373,7 @@ var TYPE_ALIASES = {
   regtype: "regtype",
   regproc: "regproc",
   regnamespace: "regnamespace",
+  xid: "xid",
   oid: "oid",
   void: "void",
   record: "record",
@@ -8263,6 +8450,7 @@ var TYPE_OIDS = {
   regproc: 24,
   text: 25,
   oid: 26,
+  xid: 28,
   json: 114,
   float4: 700,
   float8: 701,
@@ -8582,6 +8770,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);
@@ -8592,6 +8781,7 @@ function datumText(t, v, ctx) {
     case "int2":
     case "int4":
     case "oid":
+    case "xid":
       return String(v);
     case "int8":
       return String(v);
@@ -8656,6 +8846,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;
@@ -8677,6 +8873,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"));
@@ -8833,6 +9030,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;
@@ -8875,6 +9074,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;
   }
@@ -8908,6 +9112,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 }));
@@ -8993,7 +9201,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. */
@@ -9036,6 +9255,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++;
@@ -9195,10 +9416,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 [name2, overloads] of this.systemFunctions) s.systemFunctions.set(name2, overloads.slice());
     return s;
   }
@@ -9212,10 +9437,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 [name2, overloads] of this.systemFunctions) s.systemFunctions.set(name2, overloads.slice());
     return s;
   }
@@ -9284,11 +9513,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() {
@@ -9300,91 +9533,215 @@ 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;
+}
+function validateZone(zone) {
+  zoneOffsetAtUtc(zone, 0n);
+}
+
+// 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(name2) {
+    const oid = builtinNamespaceOid(name2) ?? this.state.schemas.get(name2)?.oid;
+    if (oid === void 0) throw pgError("undefined_object", `schema "${name2}" 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(name2) {
-    if (this.base === null) {
-      throw pgError("transaction_state", "SAVEPOINT can only be used in transaction blocks", "25P01");
-    }
-    this.savepoints.push({ name: name2, snap: this.takeSnapshot() });
+  zoneOffsetAt(utcMicros) {
+    return zoneOffsetAtUtc(this.timezone(), utcMicros);
   }
-  releaseSavepoint(name2) {
-    const idx = this.findSavepoint(name2);
-    this.savepoints.splice(idx);
+  zoneOffsetForNaive(naiveMicros) {
+    return zoneOffsetForNaive(this.timezone(), naiveMicros);
   }
-  rollbackToSavepoint(name2) {
-    const idx = this.findSavepoint(name2);
-    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(name2) {
-    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 === name2) return i;
-    }
-    throw pgError("invalid_savepoint_specification", `savepoint "${name2}" 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,
@@ -9580,7 +9937,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")) {
@@ -9861,259 +10218,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 name3 = parts[0];
-      let found2;
-      let count2 = 0;
-      for (let i = 0; i < this.columns.length; i++) {
-        const c = this.columns[i];
-        if (c.name === name3 && !c.hidden) {
-          count2++;
-          if (count2 > 1) {
-            throw pgError("ambiguous_column", `column reference "${name3}" is ambiguous`);
-          }
-          found2 = tv(c.type, this.row[i] ?? null);
-        }
-      }
-      if (found2 !== void 0) return found2;
-      if (this.rangeVars.has(name3)) {
-        return this.wholeRow(name3);
-      }
-      return this.parent?.lookup(parts);
-    }
-    const table = parts[parts.length - 2];
-    const name2 = 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 === name2) {
-        count++;
-        if (count > 1) {
-          throw pgError("ambiguous_column", `column reference "${name2}" 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(name2) {
-    if (this.rangeVars.has(name2)) return true;
-    return this.parent?.hasRangeVar(name2) ?? false;
-  }
-};
-function childEnv(env, outer) {
-  return {
-    ctx: env.ctx,
-    params: env.params,
-    ctes: env.ctes,
-    outer,
-    allowUnpopulatedMatviews: env.allowUnpopulatedMatviews
-  };
-}
-function relationResult(rel3, command2) {
-  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: command2,
-    rowCount: rel3.rows.length
-  };
-}
-function commandResult(command2, rowCount) {
-  return { columns: [], rows: [], command: command2, 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();
@@ -10534,6 +10638,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);
@@ -10653,6 +10759,8 @@ function datumKey(t, v) {
     case "int2":
     case "int4":
     case "oid":
+    case "regclass":
+    case "xid":
     case "date":
       return `i${v}`;
     case "float4":
@@ -11028,71 +11136,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;
-}
-function validateZone(zone) {
-  zoneOffsetAtUtc(zone, 0n);
-}
-
 // src/functions/datetime-registry.ts
 function getDatetimeFunctions() {
   const m = /* @__PURE__ */ new Map();
@@ -11601,8 +11644,8 @@ function toCharTimestamp(ctx, localMicros, fmt, tzOffsetSec) {
     else if (tryPat("TH") || tryPat("th")) {
       const prev = /(\d+)$/.exec(out);
       const n = prev ? Number.parseInt(prev[1], 10) : 0;
-      const suffix = ordinalSuffix(n);
-      out += rest.startsWith("TH") ? suffix.toUpperCase() : suffix;
+      const suffix2 = ordinalSuffix(n);
+      out += rest.startsWith("TH") ? suffix2.toUpperCase() : suffix2;
     } else {
       out += fmt[i];
       i++;
@@ -12692,6 +12735,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([
@@ -12720,6 +12785,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()) {
@@ -12797,7 +12864,7 @@ function claimConstraintIndexName(schema, constraint, explicit, reserved = /* @_
   if (used(constraint.name)) {
     if (explicit) throw pgError("duplicate_table", `relation "${constraint.name}" already exists`, "42P07");
     const base = constraint.name;
-    for (let suffix = 1; used(constraint.name); suffix++) constraint.name = `${base}${suffix}`;
+    for (let suffix2 = 1; used(constraint.name); suffix2++) constraint.name = `${base}${suffix2}`;
   }
   reserved.add(constraint.name);
 }
@@ -12917,6 +12984,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";
@@ -13553,7 +13669,7 @@ function setDatabaseCatalogContext(state, context) {
 var PG_VERSION_TEXT = "PostgreSQL 18.3 (postgres-mem) on TypeScript, in-memory engine";
 function findSequenceForCall(ctx, name2) {
   const parts = parseQualifiedName(name2);
-  const seq = ctx.state.findSequence(parts);
+  const seq = /^\d+$/.test(name2) ? [...ctx.state.schemas.values()].flatMap((schema) => [...schema.sequences.values()]).find((sequence) => sequence.oid === Number(name2)) : ctx.state.findSequence(parts);
   if (!seq) {
     throw pgError("undefined_table", `relation "${name2}" does not exist`, "42P01");
   }
@@ -13714,7 +13830,11 @@ function getMiscFunctions() {
     }
     const name2 = argText(ctx, args2[0]).toLowerCase();
     const value = args2[1].v === null ? "" : argText(ctx, args2[1]);
-    ctx.state.settings.set(name2, value);
+    if (!ctx.state.settings.has(name2) && !name2.includes("."))
+      throw pgError("undefined_object", `unrecognized configuration parameter "${name2}"`, "42704");
+    validateStorageSetting(name2, value);
+    const local = args2[2]?.v === true;
+    if (!local || ctx.state.inTransaction) (local ? ctx.state.localSettings : ctx.state.settings).set(name2, value);
     return tv("text", value);
   });
   m.set(
@@ -13773,17 +13893,16 @@ function getMiscFunctions() {
     "pg_get_serial_sequence",
     strict("text", (ctx, args2) => {
       const tableName2 = argText(ctx, args2[0]);
-      const column = argText(ctx, args2[1]).toLowerCase();
+      const column = argText(ctx, args2[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, args2) => {
@@ -18707,6 +18826,146 @@ function isSrfName(name2) {
   return SRFS.has(name2);
 }
 
+// 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 name3 = parts[0];
+      let found2;
+      let count2 = 0;
+      for (let i = 0; i < this.columns.length; i++) {
+        const c = this.columns[i];
+        if (c.name === name3 && (!c.hidden || c.system)) {
+          count2++;
+          if (count2 > 1) {
+            throw pgError("ambiguous_column", `column reference "${name3}" is ambiguous`);
+          }
+          found2 = tv(c.type, this.row[i] ?? null);
+        }
+      }
+      if (found2 !== void 0) return found2;
+      if (this.rangeVars.has(name3)) {
+        return this.wholeRow(name3);
+      }
+      return this.parent?.lookup(parts);
+    }
+    const table = parts[parts.length - 2];
+    const name2 = 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 === name2) {
+        count++;
+        if (count > 1) {
+          throw pgError("ambiguous_column", `column reference "${name2}" 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(name2) {
+    if (this.rangeVars.has(name2)) return true;
+    return this.parent?.hasRangeVar(name2) ?? false;
+  }
+};
+function childEnv(env, outer) {
+  return {
+    ctx: env.ctx,
+    params: env.params,
+    ctes: env.ctes,
+    outer,
+    allowUnpopulatedMatviews: env.allowUnpopulatedMatviews
+  };
+}
+function relationResult(rel3, command2) {
+  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: command2,
+    rowCount: rel3.rows.length
+  };
+}
+function commandResult(command2, rowCount) {
+  return { columns: [], rows: [], command: command2, 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;
@@ -18818,6 +19077,181 @@ function rebuildTableIndexes(env, table) {
   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
 function isRowIndependentExpr(expr) {
   return expr.type !== "colref";
@@ -18893,7 +19327,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 = [];
@@ -20701,10 +21135,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++;
@@ -21384,6 +21817,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);
@@ -21441,8 +21875,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");
@@ -21522,10 +21971,11 @@ var Parser = class {
       body,
       sqlBody,
       volatility,
-      strict: strict2
+      strict: strict2,
+      settings
     };
   }
-  parseCreateTrigger(orReplace) {
+  parseCreateTrigger(orReplace, constraint) {
     const name2 = this.ident();
     let timing;
     if (this.eatKw("before")) timing = "before";
@@ -21555,9 +22005,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");
@@ -21582,7 +22041,21 @@ var Parser = class {
       } while (this.eatPunct(","));
     }
     this.expectPunct(")");
-    return { type: "create_trigger", orReplace, name: name2, timing, events, table, forEachRow, when, funcName, funcArgs };
+    return {
+      type: "create_trigger",
+      constraint,
+      deferrable,
+      initiallyDeferred,
+      orReplace,
+      name: name2,
+      timing,
+      events,
+      table,
+      forEachRow,
+      when,
+      funcName,
+      funcArgs
+    };
   }
   // --- ALTER --------------------------------------------------------------------
   parseAlter() {
@@ -21608,8 +22081,8 @@ var Parser = class {
           type: "alter_sequence",
           name: name2,
           ifExists,
-          options: { ownedBy: void 0 },
-          ...{ renameTo: to }
+          options: {},
+          renameTo: to
         };
       }
       if (this.atKw("set") && (this.atKw("logged", 1) || this.atKw("unlogged", 1))) {
@@ -21927,9 +22400,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();
@@ -24179,7 +24658,20 @@ function runFunctionBody(env, fn, args2) {
   }
   return last;
 }
+function withFunctionSettings(env, fn, run) {
+  const state = env.ctx.state;
+  const saved = new Map(state.localSettings);
+  for (const [name2, value] of Object.entries(fn.settings ?? {})) state.localSettings.set(name2, value);
+  try {
+    return run();
+  } finally {
+    state.localSettings = saved;
+  }
+}
 function callSqlFunctionScalar(env, fn, args2) {
+  return withFunctionSettings(env, fn, () => callSqlFunctionScalarBody(env, fn, args2));
+}
+function callSqlFunctionScalarBody(env, fn, args2) {
   const retT = fn.returns ?? "text";
   if (fn.language === "plpgsql") {
     return callPlpgsqlScalar(env, fn, args2);
@@ -24209,6 +24701,9 @@ function callSqlFunctionScalar(env, fn, args2) {
   return castTo(env.ctx, tv(rawT, raw), retT, {});
 }
 function callSqlFunctionSet(env, fn, args2) {
+  return withFunctionSettings(env, fn, () => callSqlFunctionSetBody(env, fn, args2));
+}
+function callSqlFunctionSetBody(env, fn, args2) {
   if (fn.language === "plpgsql") {
     return callPlpgsqlSet(env, fn, args2);
   }
@@ -24304,12 +24799,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);
     }
@@ -24342,7 +24837,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);
       }
@@ -24363,15 +24858,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
   }));
@@ -24392,8 +24889,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]) };
       }
@@ -25023,7 +25523,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 === name3) {
+      if ((!c.hidden || c.system) && c.name === name3) {
         if (found !== -1) return null;
         found = i;
       }
@@ -25522,7 +26022,7 @@ function setOpRelation(env, op) {
   );
   const lrows = normalize2(left);
   const rrows = normalize2(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": {
@@ -25530,7 +26030,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;
@@ -25541,13 +26041,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) {
@@ -25563,13 +26063,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) {
@@ -25607,7 +26107,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 });
           }
@@ -26045,179 +26545,26 @@ 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"
-      );
-    }
-  }
-}
-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"
-      );
+// 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 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 });
-        }
-      }
+  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 out;
+  return new RowScope(cols, row, null, rangeVars);
 }
 
 // src/executor/triggers.ts
@@ -26233,6 +26580,18 @@ function fireRowTriggers(env, table, timing, event, oldRow, newRow) {
   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;
+    }
     const result = executor(env, table, t, event, oldRow, timing === "before" ? row : newRow);
     if (timing === "before") {
       if (result === null) return { row: null };
@@ -26241,6 +26600,170 @@ function fireRowTriggers(env, table, timing, event, oldRow, newRow) {
   }
   return { row };
 }
+var keyOf = (schema, name2) => JSON.stringify([schema, name2]);
+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 pending2 = state.pendingTriggers[i];
+    const table = state.schemas.get(pending2.schema)?.tables.get(pending2.table);
+    const trigger = table?.triggers.find((t) => t.name === pending2.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 }, pending2.event, pending2.oldRow, pending2.newRow);
+    } catch (error) {
+      state.pendingTriggers.splice(i, 0, pending2);
+      throw error;
+    } finally {
+      state.changes = changes;
+    }
+  }
+}
+function setConstraints(state, stmt) {
+  if (!state.inTransaction) return;
+  const matches2 = [];
+  if (stmt.names) {
+    for (const name2 of stmt.names) {
+      const schemas = name2.length > 1 ? [name2[name2.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 === name2[name2.length - 1])
+        );
+        if (items.length) {
+          for (const trigger of items) matches2.push({ schema, trigger });
+          found = true;
+          break;
+        }
+      }
+      if (!found) throw pgError("undefined_object", `constraint "${name2.join(".")}" does not exist`, "42704");
+    }
+  } 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--;
+    }
+  }
+  begin() {
+    if (this.base !== null) {
+      return;
+    }
+    this.base = this.takeSnapshot();
+    this.state.inTransaction = true;
+    assert(this.freezeDepth === 1, "BEGIN freeze depth");
+  }
+  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();
+  }
+  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(name2) {
+    if (this.base === null) {
+      throw pgError("transaction_state", "SAVEPOINT can only be used in transaction blocks", "25P01");
+    }
+    this.savepoints.push({ name: name2, snap: this.takeSnapshot() });
+  }
+  releaseSavepoint(name2) {
+    const idx = this.findSavepoint(name2);
+    this.savepoints.splice(idx);
+  }
+  rollbackToSavepoint(name2) {
+    const idx = this.findSavepoint(name2);
+    const sp = this.savepoints[idx];
+    this.restore(sp.snap);
+    this.savepoints.splice(idx + 1);
+  }
+  findSavepoint(name2) {
+    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 === name2) return i;
+    }
+    throw pgError("invalid_savepoint_specification", `savepoint "${name2}" 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) {
@@ -26441,6 +26964,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);
@@ -26526,6 +27050,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++;
@@ -26643,6 +27168,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);
@@ -26762,6 +27288,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);
@@ -26775,6 +27302,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);
@@ -26812,6 +27340,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);
           }
@@ -26821,6 +27350,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);
           }
@@ -26833,6 +27363,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);
           }
@@ -26930,6 +27461,7 @@ function executeSet(env, stmt) {
     else target.delete(name2);
     return commandResult("SET", 0);
   }
+  validateStorageSetting(name2, stmt.value);
   target.set(name2, stmt.value);
   return commandResult("SET", 0);
 }
@@ -27235,64 +27767,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(name2) {
-    const oid = builtinNamespaceOid(name2) ?? this.state.schemas.get(name2)?.oid;
-    if (oid === void 0) throw pgError("undefined_object", `schema "${name2}" 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) {
@@ -28260,7 +28734,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)
       );
@@ -28526,7 +29000,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,
@@ -28698,7 +29172,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,
@@ -29293,26 +29767,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)) {
@@ -29957,13 +30411,63 @@ function executeCreateSequence(env, stmt) {
   schema.sequences.set(name2, 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);
@@ -30021,7 +30525,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) {
@@ -30274,7 +30778,11 @@ function executeCreateTableAs(env, stmt) {
   const table = new TableData(schema.name, name2, 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(name2, table);
   const count = stmt.withData ? table.rowCount() : 0;
@@ -30282,7 +30790,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");
   }
@@ -30394,13 +30903,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) {
@@ -30533,6 +31051,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()
   };
@@ -30542,6 +31066,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) {
@@ -30560,6 +31086,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,
@@ -30712,6 +31241,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;
@@ -30813,6 +31343,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);
@@ -30849,6 +31384,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);
@@ -31328,7 +31868,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 {
@@ -31387,6 +31936,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":
@@ -32710,6 +33262,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,
@@ -32807,8 +33360,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));
@@ -33252,6 +33811,8 @@ function validateTableMetaBjv(value) {
   if (!isRecord2(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 (!isRecord2(value) || typeof value.name !== "string" || typeof value.schema !== "string") throw snapshotError();
@@ -33345,6 +33906,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,
@@ -33825,11 +34387,13 @@ var ScramServer = class {
 var splitStatements = (script) => {
   const out = [];
   let start3 = 0;
+  let hasSql = false;
   let i = 0;
   const n = script.length;
   const push = (end) => {
     const text = script.slice(start3, end).trim();
-    if (text.length > 0) out.push(text);
+    if (hasSql) out.push(text);
+    hasSql = false;
   };
   while (i < n) {
     const c = script[i];
@@ -33851,9 +34415,11 @@ var splitStatements = (script) => {
           i += 2;
         } else i++;
       }
+      if (depth > 0) hasSql = true;
       continue;
     }
     if (c === "'" || c === '"') {
+      hasSql = true;
       const escaped = c === "'" && /[eE]/.test(script[i - 1] ?? "") && !/[\w$]/.test(script[i - 2] ?? "");
       i++;
       while (i < n) {
@@ -33876,6 +34442,7 @@ var splitStatements = (script) => {
     if (c === "$") {
       const m = /^\$([A-Za-z_][A-Za-z0-9_]*)?\$/.exec(script.slice(i, i + 64));
       if (m) {
+        hasSql = true;
         const tag = m[0];
         const end = script.indexOf(tag, i + tag.length);
         i = end === -1 ? n : end + tag.length;
@@ -33886,6 +34453,7 @@ var splitStatements = (script) => {
       push(i);
       start3 = i + 1;
     }
+    if (c !== ";" && !/\s/.test(c)) hasSql = true;
     i++;
   }
   push(n);
@@ -34318,7 +34886,16 @@ var binaryValue = (type, text) => {
   }
 };
 var binaryEncodable = (type) => TEXT_TYPES2.has(type) || ["bool", "int2", "int4", "oid", "int8", "float4", "float8", "bytea", "uuid"].includes(type);
-var mutatesDatabase = (sql) => parse(sql).some((stmt) => !["select", "show", "explain", "transaction", "no_op"].includes(stmt.type));
+var setsSessionConfig = (node) => {
+  if (Array.isArray(node)) return node.some(setsSessionConfig);
+  if (typeof node !== "object" || node === null) return false;
+  const call = node;
+  if (call.type === "func" && call.name?.at(-1) === "set_config") return true;
+  return Object.values(node).some(setsSessionConfig);
+};
+var mutatesDatabase = (sql) => parse(sql).some(
+  (stmt) => !["select", "show", "explain", "transaction", "no_op"].includes(stmt.type) || stmt.type === "select" && setsSessionConfig(stmt)
+);
 var NEVER_WRITES = /* @__PURE__ */ new Set(["show", "set", "reset", "transaction", "no_op", "prepare", "deallocate"]);
 var WRITE_NODES = /* @__PURE__ */ new Set(["insert", "update", "delete"]);
 var containsWrite = (db, node) => {
@@ -34943,6 +35520,7 @@ var Connection = class {
       }
       return outcome;
     } finally {
+      workspace?.transactions.rollback();
       workspace?.close();
     }
   }
@@ -34959,7 +35537,7 @@ var Connection = class {
     if (stmt?.type !== "transaction") throw pgError2("syntax", "invalid transaction command", "42601");
     switch (stmt.action) {
       case "begin":
-        this.transaction ??= { statements: [], savepoints: [] };
+        this.transaction ??= { statements: [], savepoints: [], xid: this.database.state.allocateXid() };
         return command("BEGIN");
       case "commit": {
         const transaction = this.transaction;
@@ -34968,6 +35546,7 @@ var Connection = class {
           this.inSession(
             this.database,
             () => this.database.transaction(() => {
+              this.database.state.transactionXid = transaction.xid;
               for (const logged of transaction.statements) this.replay(this.database, logged);
             })
           );
@@ -35017,8 +35596,10 @@ var Connection = class {
     });
     workspace.state.settings = new Map(this.settings);
     workspace.state.settingDefaults = this.settingDefaults;
+    workspace.transactions.begin();
+    workspace.state.transactionXid = this.transaction?.xid ?? null;
     for (const logged of this.transaction?.statements ?? []) {
-      workspace.transaction(() => this.replay(workspace, logged));
+      this.replay(workspace, logged);
     }
     return workspace;
   }