@sequenceholdings/orm 2.1.1 → 2.2.0

package/dist/compiler.cjs

@@ -3,6 +3,7 @@
 var crypto = require('crypto');
 var zod = require('zod');
 var graphql = require('graphql');
+var pgParser = require('@supabase/pg-parser');
 
 // src/compiler-gql/artifact.ts
 
@@ -10,6 +11,7 @@ var graphql = require('graphql');
 var COLUMN_IDENTIFIER_PATTERN = /^_?[a-z][a-z0-9_]*$/;
 var MAX_IDENTIFIER_LENGTH = 63;
 var CAPABILITY_KEY_PATTERN = /^(?:org\/|app\/[a-z][a-z0-9-]{0,63}\/)?[a-z0-9-]{1,64}$/;
+var QUALIFIED_TABLE_PATTERN = /^[a-z][a-z0-9_]{0,62}\.[a-z][a-z0-9_]{0,62}$/;
 var ORM_SCHEMA_PREFIX = "orm_";
 var ormSchemaName = (namespace) => `${ORM_SCHEMA_PREFIX}${namespace}`;
 var CELL_PARTS = ["at", "by", "rev", "source", "conflicts"];
@@ -35,8 +37,18 @@ function stableJson(value) {
   const entries = Object.entries(value).filter(([, entryValue]) => entryValue !== void 0).sort(([a], [b]) => a < b ? -1 : 1).map(([key, entryValue]) => `${JSON.stringify(key)}:${stableJson(entryValue)}`);
   return `{${entries.join(",")}}`;
 }
-var quoteIdentifier = (name) => `"${name.replaceAll('"', '""')}"`;
+
+// src/compiler/sql.ts
+var CLAIMS_SETTING = "request.jwt.claims";
+var CAPABILITIES_CLAIM_KEY = "capabilities";
+var ROLES_CLAIM_KEY = "roles";
+var quoteIdentifier = (name2) => `"${name2.replaceAll('"', '""')}"`;
 var quoteLiteral = (value) => `'${value.replaceAll("'", "''")}'`;
+var CLAIMS_SOURCE = `nullif(current_setting('${CLAIMS_SETTING}', true), '')::jsonb`;
+var claimExpression = (key) => `(${CLAIMS_SOURCE} ->> ${quoteLiteral(key)})`;
+var scopedClaimsSource = (namespace) => namespace ? `(CASE WHEN ${CLAIMS_SOURCE} ? 'namespaces' THEN ${CLAIMS_SOURCE} -> 'namespaces' -> ${quoteLiteral(namespace)} ELSE ${CLAIMS_SOURCE} END)` : CLAIMS_SOURCE;
+var capabilityExpression = (key, namespace) => `coalesce(${scopedClaimsSource(namespace)} -> '${CAPABILITIES_CLAIM_KEY}' ? ${quoteLiteral(key)}, false)`;
+var roleExpression = (key, namespace) => `coalesce(${scopedClaimsSource(namespace)} -> '${ROLES_CLAIM_KEY}' ? ${quoteLiteral(key)}, false)`;
 
 // src/checks/compile.ts
 function tokenize(source) {
@@ -342,10 +354,10 @@ function validateResolvedView({ view, tables, views = [] }) {
   const resolved = view.resolved;
   if (!resolved) return [];
   const errors = [];
-  const fail3 = (message) => errors.push(`resolved table '${view.view}': ${message}`);
+  const fail4 = (message) => errors.push(`resolved table '${view.view}': ${message}`);
   const pkColumn = view.primaryKey?.length === 1 ? view.columns.find((c) => c.columnName === view.primaryKey?.[0]) : void 0;
   if (!pkColumn) {
-    fail3("requires exactly one primary-key column");
+    fail4("requires exactly one primary-key column");
     return errors;
   }
   const systemNames = new Set(Object.values(RESOLVED_VIEW_SYSTEM_COLUMNS).map((c) => c.name));
@@ -355,92 +367,92 @@ function validateResolvedView({ view, tables, views = [] }) {
     pkColumn,
     dataColumns: new Map(view.columns.filter((c) => !systemNames.has(c.name) && c.cell === void 0).map((c) => [c.name, c])),
     sourceByName: /* @__PURE__ */ new Map(),
-    fail: fail3
+    fail: fail4
   };
-  if (resolved.sources.filter((source) => source.kind === "manual").length !== 1) fail3("requires exactly one manual source");
+  if (resolved.sources.filter((source) => source.kind === "manual").length !== 1) fail4("requires exactly one manual source");
   const tableByName = new Map(tables.map((table) => [table.table, table]));
   for (const source of resolved.sources) {
-    if (scope.sourceByName.has(source.name)) fail3(`duplicate source '${source.name}'`);
+    if (scope.sourceByName.has(source.name)) fail4(`duplicate source '${source.name}'`);
     scope.sourceByName.set(source.name, source);
     const table = tableByName.get(source.table);
-    if (!table) fail3(`source '${source.name}' references unknown table '${source.table}'`);
+    if (!table) fail4(`source '${source.name}' references unknown table '${source.table}'`);
     else validateSource({ scope, source, table });
   }
   validateRules(scope);
   validateViewCells(scope);
   if (resolved.materialized) validateMaterialized({ scope, tableByName, views });
-  for (const name of resolved.deletedBy) {
-    if (scope.sourceByName.get(name)?.kind !== "manual") fail3(`deletedBy '${name}' must be the manual source`);
+  for (const name2 of resolved.deletedBy) {
+    if (scope.sourceByName.get(name2)?.kind !== "manual") fail4(`deletedBy '${name2}' must be the manual source`);
   }
   return errors;
 }
 function validateSource({ scope, source, table }) {
-  const { fail: fail3 } = scope;
-  if (source.kind === "etl" && table.source === void 0) fail3(`etl source '${source.name}' must reference a synced table`);
+  const { fail: fail4 } = scope;
+  if (source.kind === "etl" && table.source === void 0) fail4(`etl source '${source.name}' must reference a synced table`);
   if (source.kind !== "etl" && (table.internal !== true || table.cellMetadata !== true)) {
-    fail3(`${source.kind} source '${source.name}' must reference an internal table with cell metadata`);
+    fail4(`${source.kind} source '${source.name}' must reference an internal table with cell metadata`);
   }
   const hasRev = table.columns.some((column) => column.cell?.part === "rev");
-  if (source.kind === "manual" && !hasRev) fail3(`manual source '${source.name}' must carry '__rev' cell columns`);
-  if (source.kind === "prefetch" && hasRev) fail3(`prefetch source '${source.name}' must not carry '__rev' cell columns`);
+  if (source.kind === "manual" && !hasRev) fail4(`manual source '${source.name}' must carry '__rev' cell columns`);
+  if (source.kind === "prefetch" && hasRev) fail4(`prefetch source '${source.name}' must not carry '__rev' cell columns`);
   const byName = new Map(table.columns.map((c) => [c.name, c]));
   validateSourceColumns({ scope, source, byName });
   if (source.kind === "etl") {
     const updatedAt = source.updatedAt === void 0 ? void 0 : byName.get(source.updatedAt);
     if (source.updatedAt !== void 0 && updatedAt?.type !== "timestamptz" && updatedAt?.type !== "date") {
-      fail3(`etl source '${source.name}' updatedAt must name a timestamptz/date column on '${source.table}'`);
+      fail4(`etl source '${source.name}' updatedAt must name a timestamptz/date column on '${source.table}'`);
     }
   }
   validatePrefetchFields({ scope, source });
 }
 function validatePrefetchFields({ scope, source }) {
-  const { fail: fail3, pkColumn } = scope;
+  const { fail: fail4, pkColumn } = scope;
   if (source.kind !== "prefetch") {
     if (source.key || source.fetch || source.function || source.prefetchDefaults || source.writeback) {
-      fail3(`only prefetch sources may declare key/fetch/function/prefetchDefaults/writeback ('${source.name}')`);
+      fail4(`only prefetch sources may declare key/fetch/function/prefetchDefaults/writeback ('${source.name}')`);
     }
     return;
   }
   if (!source.key || !source.fetch || !source.function || !source.prefetchDefaults) {
-    fail3(`prefetch source '${source.name}' requires key, fetch, function and prefetchDefaults`);
+    fail4(`prefetch source '${source.name}' requires key, fetch, function and prefetchDefaults`);
   } else if (source.key !== pkColumn.name && !source.columns.includes(source.key)) {
-    fail3(`prefetch source '${source.name}' key '${source.key}' must be the primary key or one of its columns`);
+    fail4(`prefetch source '${source.name}' key '${source.key}' must be the primary key or one of its columns`);
   }
   for (const column of source.writeback?.columns ?? []) {
-    if (!source.columns.includes(column)) fail3(`prefetch source '${source.name}' writes back '${column}', which it does not supply`);
+    if (!source.columns.includes(column)) fail4(`prefetch source '${source.name}' writes back '${column}', which it does not supply`);
   }
 }
 function validateSourceColumns({ scope, source, byName }) {
-  const { fail: fail3, pkColumn, dataColumns } = scope;
+  const { fail: fail4, pkColumn, dataColumns } = scope;
   for (const column of [pkColumn.name, ...source.columns]) {
     const own = column === pkColumn.name ? pkColumn : dataColumns.get(column);
     const theirs = byName.get(column);
-    if (!own) fail3(`source '${source.name}' supplies unknown column '${column}'`);
-    else if (!theirs) fail3(`source '${source.name}' table '${source.table}' has no column '${column}'`);
-    else if (JSON.stringify(theirs.type) !== JSON.stringify(own.type)) fail3(`column '${column}' has a different type on source '${source.name}'`);
+    if (!own) fail4(`source '${source.name}' supplies unknown column '${column}'`);
+    else if (!theirs) fail4(`source '${source.name}' table '${source.table}' has no column '${column}'`);
+    else if (JSON.stringify(theirs.type) !== JSON.stringify(own.type)) fail4(`column '${column}' has a different type on source '${source.name}'`);
   }
 }
-function validateRules({ resolved, pkColumn, dataColumns, sourceByName, fail: fail3 }) {
+function validateRules({ resolved, pkColumn, dataColumns, sourceByName, fail: fail4 }) {
   const ruled = /* @__PURE__ */ new Set();
   for (const rule of resolved.resolve) {
     if (!dataColumns.has(rule.column) || rule.column === pkColumn.name) {
-      fail3(`resolve rule targets unknown column '${rule.column}'`);
+      fail4(`resolve rule targets unknown column '${rule.column}'`);
       continue;
     }
-    if (ruled.has(rule.column)) fail3(`column '${rule.column}' has more than one resolve rule`);
+    if (ruled.has(rule.column)) fail4(`column '${rule.column}' has more than one resolve rule`);
     ruled.add(rule.column);
     if (rule.comparator === "custom" !== (rule.orderBy !== void 0)) {
-      fail3(`column '${rule.column}': orderBy is required for custom comparators and only allowed there`);
+      fail4(`column '${rule.column}': orderBy is required for custom comparators and only allowed there`);
     }
-    if (new Set(rule.candidates).size !== rule.candidates.length) fail3(`column '${rule.column}' repeats a candidate`);
+    if (new Set(rule.candidates).size !== rule.candidates.length) fail4(`column '${rule.column}' repeats a candidate`);
     for (const candidate of rule.candidates) {
       const source = sourceByName.get(candidate);
-      if (!source) fail3(`column '${rule.column}' names unknown candidate source '${candidate}'`);
-      else if (!source.columns.includes(rule.column)) fail3(`column '${rule.column}' candidate '${candidate}' does not supply it`);
+      if (!source) fail4(`column '${rule.column}' names unknown candidate source '${candidate}'`);
+      else if (!source.columns.includes(rule.column)) fail4(`column '${rule.column}' candidate '${candidate}' does not supply it`);
     }
   }
   for (const column of dataColumns.keys()) {
-    if (column !== pkColumn.name && !ruled.has(column)) fail3(`column '${column}' has no resolve rule`);
+    if (column !== pkColumn.name && !ruled.has(column)) fail4(`column '${column}' has no resolve rule`);
   }
 }
 var VIEW_CELL_TYPES = {
@@ -449,7 +461,7 @@ var VIEW_CELL_TYPES = {
   by: "text",
   conflicts: "jsonb"
 };
-function validateViewCells({ view, dataColumns, pkColumn, fail: fail3 }) {
+function validateViewCells({ view, dataColumns, pkColumn, fail: fail4 }) {
   const expected = /* @__PURE__ */ new Map();
   for (const column of dataColumns.values()) {
     if (column.name === pkColumn.name) continue;
@@ -461,34 +473,34 @@ function validateViewCells({ view, dataColumns, pkColumn, fail: fail3 }) {
     if (!column.cell) continue;
     const want = expected.get(column.name);
     if (!want || want.part !== column.cell.part || want.columnName !== column.columnName || cellColumnName(column.cell.of, column.cell.part) !== column.name) {
-      fail3(`unexpected cell column '${column.name}'`);
+      fail4(`unexpected cell column '${column.name}'`);
       continue;
     }
-    if (column.type !== VIEW_CELL_TYPES[column.cell.part]) fail3(`cell column '${column.name}' must be ${VIEW_CELL_TYPES[column.cell.part]}`);
+    if (column.type !== VIEW_CELL_TYPES[column.cell.part]) fail4(`cell column '${column.name}' must be ${VIEW_CELL_TYPES[column.cell.part]}`);
     expected.delete(column.name);
   }
-  for (const name of expected.keys()) fail3(`missing cell column '${name}'`);
+  for (const name2 of expected.keys()) fail4(`missing cell column '${name2}'`);
 }
 var columnSignature = (columns) => JSON.stringify(columns.map((column) => [column.name, column.columnName, column.type]));
 function validateMaterialized({ scope, tableByName, views }) {
-  const { view, resolved, fail: fail3 } = scope;
+  const { view, resolved, fail: fail4 } = scope;
   const { table: tableName, compute: computeName } = resolved.materialized;
   const table = tableByName.get(tableName);
   if (!table || table.internal !== true || table.materializes !== view.view) {
-    fail3(`materialized table '${tableName}' must be an internal table that materializes '${view.view}'`);
+    fail4(`materialized table '${tableName}' must be an internal table that materializes '${view.view}'`);
   } else {
-    if (columnSignature(table.columns) !== columnSignature(view.columns)) fail3(`materialized table '${tableName}' must have exactly the view's columns`);
-    if (JSON.stringify(table.primaryKey ?? []) !== JSON.stringify(view.primaryKey ?? [])) fail3(`materialized table '${tableName}' must share the view's primary key`);
+    if (columnSignature(table.columns) !== columnSignature(view.columns)) fail4(`materialized table '${tableName}' must have exactly the view's columns`);
+    if (JSON.stringify(table.primaryKey ?? []) !== JSON.stringify(view.primaryKey ?? [])) fail4(`materialized table '${tableName}' must share the view's primary key`);
   }
   const compute = views.find((candidate) => candidate.view === computeName);
-  if (!compute || compute.internal !== true) fail3(`compute view '${computeName}' must be an internal view`);
-  else if (columnSignature(compute.columns) !== columnSignature(view.columns)) fail3(`compute view '${computeName}' must have exactly the view's columns`);
+  if (!compute || compute.internal !== true) fail4(`compute view '${computeName}' must be an internal view`);
+  else if (columnSignature(compute.columns) !== columnSignature(view.columns)) fail4(`compute view '${computeName}' must have exactly the view's columns`);
   for (const source of resolved.sources) {
     if (source.kind !== "etl") continue;
     const read = tableByName.get(source.table)?.policies?.read;
     const unconditional = typeof read === "string" ? read.trim() === "true" : read !== void 0 && read.default.trim() === "true" && read.variants.length === 0;
     if (!unconditional) {
-      fail3(`etl source '${source.name}' must have read policy 'true' to be materialized (the copy is shared by every caller)`);
+      fail4(`etl source '${source.name}' must have read policy 'true' to be materialized (the copy is shared by every caller)`);
     }
   }
 }
@@ -558,6 +570,8 @@ var canonicalLinkSchema = zod.z.object({
   kind: zod.z.enum(["toOne", "toMany", "toPlatformUser"]),
   /** Target table name (namespace-local). Absent for toPlatformUser. */
   target: identifier2.optional(),
+  /** Owning namespace of an imported target; omitted for local links. */
+  namespace: identifier2.max(41).optional(),
   /** FK column on the owning side (toOne/toPlatformUser: on this table; toMany: on the target). */
   on: columnIdentifier,
   /** Referenced column on the target (default: target's PK / platform user `sub`). */
@@ -659,11 +673,12 @@ var canonicalForeignKeySchema = zod.z.object({
 }).strict();
 var canonicalTableSchema = zod.z.object({
   table: identifier2,
+  displayName: zod.z.string().trim().min(1).max(120).optional(),
   description: zod.z.string().max(2e3).optional(),
   /** Table-level rename hint (new in v2). */
   renamedFrom: identifier2.optional(),
-  /** Synced/reflected read-only tables (`source: gold.*`) — v1 semantics. */
-  source: zod.z.string().regex(/^gold\.[a-z][a-z0-9_]*$/).optional(),
+  /** Synced/reflected read-only tables (`source: schema.table`) — v1 semantics. */
+  source: zod.z.string().regex(QUALIFIED_TABLE_PATTERN).optional(),
   columns: zod.z.array(canonicalColumnSchema).default([]),
   primaryKey: zod.z.array(columnIdentifier).min(1).max(8).optional(),
   links: zod.z.array(canonicalLinkSchema).default([]),
@@ -770,53 +785,55 @@ function trackedCellColumns(table) {
 }
 var SUFFIXES = Object.values(CELL_PART_SUFFIX);
 function validateCellMetadata(table, index, ctx) {
-  const fail3 = (message, path = ["tables", index]) => ctx.addIssue({ code: "custom", path, message });
+  const fail4 = (message, path = ["tables", index]) => ctx.addIssue({ code: "custom", path, message });
   const cells = table.columns.flatMap((column, position) => column.cell ? [{ column, position, cell: column.cell }] : []);
   if (table.materializes !== void 0) return;
   if (table.cellMetadata !== true) {
-    for (const { position } of cells) fail3(`cell-metadata columns require cellMetadata on table '${table.table}'`, ["tables", index, "columns", position]);
+    for (const { position } of cells) fail4(`cell-metadata columns require cellMetadata on table '${table.table}'`, ["tables", index, "columns", position]);
     return;
   }
   if (table.source !== void 0) {
-    fail3(`synced table '${table.table}' cannot track cell metadata`);
+    fail4(`synced table '${table.table}' cannot track cell metadata`);
     return;
   }
   const tracked = trackedCellColumns(table);
   const byName = new Map(tracked.map((column) => [column.name, column]));
   const withRev = cells.some(({ cell }) => cell.part === "rev");
-  if (withRev && table.internal !== true) fail3(`only a resolved table's internal sources carry '__rev' cell columns ('${table.table}')`);
+  if (withRev && table.internal !== true) fail4(`only a resolved table's internal sources carry '__rev' cell columns ('${table.table}')`);
   const seen = /* @__PURE__ */ new Set();
   for (const { column, position, cell } of cells) {
     const path = ["tables", index, "columns", position];
     const owner = byName.get(cell.of);
     if (!owner) {
-      fail3(`cell column '${column.name}' belongs to '${cell.of}', which is not a tracked column`, path);
+      fail4(`cell column '${column.name}' belongs to '${cell.of}', which is not a tracked column`, path);
       continue;
     }
-    if (cell.part !== "at" && cell.part !== "by" && cell.part !== "rev") fail3(`a table cell column must be part at/by/rev, not '${cell.part}'`, path);
+    if (cell.part !== "at" && cell.part !== "by" && cell.part !== "rev") fail4(`a table cell column must be part at/by/rev, not '${cell.part}'`, path);
     if (column.name !== cellColumnName(owner.name, cell.part) || column.columnName !== cellColumnName(owner.columnName, cell.part)) {
-      fail3(`cell column for '${owner.name}' ${cell.part} must be named '${cellColumnName(owner.name, cell.part)}' / '${cellColumnName(owner.columnName, cell.part)}'`, path);
+      fail4(`cell column for '${owner.name}' ${cell.part} must be named '${cellColumnName(owner.name, cell.part)}' / '${cellColumnName(owner.columnName, cell.part)}'`, path);
     }
     if (column.type !== CELL_PART_TYPES[cell.part] || !column.nullable || column.unique || column.default !== void 0 || column.defaultFn !== void 0) {
-      fail3(`cell column '${column.name}' must be a nullable, default-less ${CELL_PART_TYPES[cell.part]}`, path);
+      fail4(`cell column '${column.name}' must be a nullable, default-less ${CELL_PART_TYPES[cell.part]}`, path);
     }
     const key = `${cell.of}:${cell.part}`;
-    if (seen.has(key)) fail3(`duplicate cell column '${column.name}'`, path);
+    if (seen.has(key)) fail4(`duplicate cell column '${column.name}'`, path);
     seen.add(key);
   }
   for (const column of tracked) {
     if (column.columnName.length > MAX_TRACKED_COLUMN_NAME) {
-      fail3(`column '${column.columnName}' is too long to track cell metadata (max ${MAX_TRACKED_COLUMN_NAME} characters)`);
+      fail4(`column '${column.columnName}' is too long to track cell metadata (max ${MAX_TRACKED_COLUMN_NAME} characters)`);
     }
     if (SUFFIXES.some((suffix) => column.columnName.endsWith(suffix))) {
-      fail3(`column '${column.columnName}' ends in a reserved cell-metadata suffix (${SUFFIXES.join(", ")})`);
+      fail4(`column '${column.columnName}' ends in a reserved cell-metadata suffix (${SUFFIXES.join(", ")})`);
     }
     for (const part of withRev ? ["at", "by", "rev"] : ["at", "by"]) {
-      if (!seen.has(`${column.name}:${part}`)) fail3(`tracked column '${column.name}' is missing its '${cellColumnName(column.columnName, part)}' cell column`);
+      if (!seen.has(`${column.name}:${part}`)) fail4(`tracked column '${column.name}' is missing its '${cellColumnName(column.columnName, part)}' cell column`);
     }
   }
 }
-var canonicalDefinitionSchema = zod.z.object({
+var exportGateSchema = zod.z.union([zod.z.literal(true), zod.z.object({ capability: zod.z.string().min(1) }).strict(), zod.z.object({ role: zod.z.string().min(1) }).strict()]);
+var relationExportSchema = zod.z.object({ read: exportGateSchema, write: exportGateSchema.optional() }).strict();
+var localDefinitionSchema = zod.z.object({
   definition_format: zod.z.literal(CANONICAL_FORMAT),
   namespace: identifier2.max(41),
   description: zod.z.string().max(2e3).optional(),
@@ -824,6 +841,8 @@ var canonicalDefinitionSchema = zod.z.object({
   tables: zod.z.array(canonicalTableSchema).min(0).max(500),
   /** Optional to preserve byte-identical hashes for pre-view canonical v2 documents. */
   views: zod.z.array(canonicalViewSchema).max(500).optional(),
+  /** Target-owned cross-namespace access contract, using existing namespace grants. */
+  exports: zod.z.record(identifier2, relationExportSchema).optional(),
   /** Verbatim custom-roles grammar (@sequenceholdings/custom-roles-manifest). */
   capabilities: zod.z.object({
     roles: zod.z.unknown().optional(),
@@ -850,7 +869,16 @@ var canonicalDefinitionSchema = zod.z.object({
     }
   }
   const fkTables = new Map(definition.tables.map((table) => [table.table, table]));
+  const relations = /* @__PURE__ */ new Set([...fkTables.keys(), ...(definition.views ?? []).map((view) => view.view)]);
+  for (const name2 of Object.keys(definition.exports ?? {})) {
+    if (!relations.has(name2)) ctx.addIssue({ code: "custom", path: ["exports", name2], message: `export '${name2}' is not a local object` });
+  }
   for (const [tableIndex, table] of definition.tables.entries()) {
+    for (const [linkIndex, link] of table.links.entries()) {
+      if (link.enforce && link.namespace !== void 0 && link.namespace !== definition.namespace) {
+        ctx.addIssue({ code: "custom", path: ["tables", tableIndex, "links", linkIndex], message: "physical foreign keys require a local target; use an ORM link without enforce" });
+      }
+    }
     const names = /* @__PURE__ */ new Set([
       ...table.primaryKey?.length ? [`${table.table}_pkey`] : [],
       ...table.columns.filter((column) => column.unique && !(table.primaryKey?.length === 1 && table.primaryKey[0] === column.columnName)).map((column) => `${table.table}_${column.columnName}_unique`),
@@ -866,38 +894,38 @@ var canonicalDefinitionSchema = zod.z.object({
       }
     }
     for (const [index, check] of (table.checks ?? []).entries()) {
-      const fail3 = (message) => ctx.addIssue({ code: "custom", path: ["tables", tableIndex, "checks", index], message });
-      if (table.source) fail3("synced tables cannot declare checks");
-      if (names.has(check.name)) fail3(`duplicate constraint '${check.name}'`);
+      const fail4 = (message) => ctx.addIssue({ code: "custom", path: ["tables", tableIndex, "checks", index], message });
+      if (table.source) fail4("synced tables cannot declare checks");
+      if (names.has(check.name)) fail4(`duplicate constraint '${check.name}'`);
       names.add(check.name);
       try {
         compileCheckExpression(check.expression, table.columns);
       } catch (error) {
-        fail3(error instanceof Error ? error.message : String(error));
+        fail4(error instanceof Error ? error.message : String(error));
       }
     }
     for (const [index, fk] of (table.foreignKeys ?? []).entries()) {
-      const fail3 = (message) => ctx.addIssue({ code: "custom", path: ["tables", tableIndex, "foreignKeys", index], message });
-      if (names.has(fk.name)) fail3(`duplicate foreign key '${fk.name}'`);
+      const fail4 = (message) => ctx.addIssue({ code: "custom", path: ["tables", tableIndex, "foreignKeys", index], message });
+      if (names.has(fk.name)) fail4(`duplicate foreign key '${fk.name}'`);
       names.add(fk.name);
       const target = fkTables.get(fk.target);
       if (table.source || !target || target.source) {
-        fail3("foreign keys must connect owned tables in the same namespace");
+        fail4("foreign keys must connect owned tables in the same namespace");
         continue;
       }
-      if (fk.columns.length !== fk.references.length) fail3("foreign key columns and references must have the same number of columns");
-      if (new Set(fk.columns).size !== fk.columns.length || new Set(fk.references).size !== fk.references.length) fail3("foreign key columns must not repeat");
-      for (const [position, name] of fk.columns.entries()) {
-        const sourceColumn = table.columns.find((column) => column.columnName === name);
+      if (fk.columns.length !== fk.references.length) fail4("foreign key columns and references must have the same number of columns");
+      if (new Set(fk.columns).size !== fk.columns.length || new Set(fk.references).size !== fk.references.length) fail4("foreign key columns must not repeat");
+      for (const [position, name2] of fk.columns.entries()) {
+        const sourceColumn = table.columns.find((column) => column.columnName === name2);
         const targetColumn = target.columns.find((column) => column.columnName === fk.references[position]);
-        if (!sourceColumn || !targetColumn) fail3("foreign key references an unknown column");
-        else if (JSON.stringify(sourceColumn.type) !== JSON.stringify(targetColumn.type)) fail3("foreign key column types must match");
+        if (!sourceColumn || !targetColumn) fail4("foreign key references an unknown column");
+        else if (JSON.stringify(sourceColumn.type) !== JSON.stringify(targetColumn.type)) fail4("foreign key column types must match");
       }
       if (fk.onDelete === "set null" || fk.onUpdate === "set null") {
-        if (fk.columns.some((name) => table.columns.find((column) => column.columnName === name)?.nullable === false || table.primaryKey?.includes(name))) fail3("SET NULL requires nullable source columns");
+        if (fk.columns.some((name2) => table.columns.find((column) => column.columnName === name2)?.nullable === false || table.primaryKey?.includes(name2))) fail4("SET NULL requires nullable source columns");
       }
       const uniqueKeys = [target.primaryKey ?? [], ...target.indexes.filter((index2) => index2.unique).map((index2) => index2.columns), ...target.columns.filter((column) => column.unique).map((column) => [column.columnName])];
-      if (!uniqueKeys.some((key) => key.length === fk.references.length && key.every((column) => fk.references.includes(column)))) fail3("foreign key target columns must form a unique key");
+      if (!uniqueKeys.some((key) => key.length === fk.references.length && key.every((column) => fk.references.includes(column)))) fail4("foreign key target columns must form a unique key");
     }
   }
   for (const [viewIndex, view] of (definition.views ?? []).entries()) {
@@ -999,27 +1027,31 @@ var canonicalDefinitionSchema = zod.z.object({
   const visiting = /* @__PURE__ */ new Set();
   const visited = /* @__PURE__ */ new Set();
   let cycleReported = false;
-  const visit2 = (name, path) => {
-    if (visited.has(name) || cycleReported) return;
-    if (visiting.has(name)) {
+  const visit2 = (name2, path) => {
+    if (visited.has(name2) || cycleReported) return;
+    if (visiting.has(name2)) {
       cycleReported = true;
       ctx.addIssue({
         code: "custom",
         path: ["views"],
-        message: `view dependencies form a cycle: ${[...path, name].join(" -> ")}`
+        message: `view dependencies form a cycle: ${[...path, name2].join(" -> ")}`
       });
       return;
     }
-    visiting.add(name);
-    const view = viewByName.get(name);
+    visiting.add(name2);
+    const view = viewByName.get(name2);
     for (const dependency of view?.dependencies ?? []) {
-      if (viewByName.has(dependency)) visit2(dependency, [...path, name]);
+      if (viewByName.has(dependency)) visit2(dependency, [...path, name2]);
     }
-    visiting.delete(name);
-    visited.add(name);
+    visiting.delete(name2);
+    visited.add(name2);
   };
   for (const view of views) visit2(view.view, []);
 });
+var canonicalDefinitionSchema = localDefinitionSchema.safeExtend({
+  /** Flattened, pinned snapshots. Imported relations never participate in this namespace's DDL. */
+  imports: zod.z.array(localDefinitionSchema).max(32).optional()
+});
 function canonicalRelations(definition) {
   const views = (definition.views ?? []).map((view) => ({
     table: view.view,
@@ -1063,13 +1095,22 @@ function normalizeCanonical(definition) {
       dependencies: [...view.dependencies].sort()
     }));
   }
+  if (definition.imports?.length) {
+    normalized.imports = definition.imports.map(normalizeCanonical).sort((a, b) => a.namespace.localeCompare(b.namespace));
+  } else {
+    delete normalized.imports;
+  }
   return normalized;
 }
 
 // src/ir/index.ts
-var IR_VERSION = 2;
+var IR_VERSION = 5;
 var LEGACY_IR_VERSION = 1;
-var irVersionSchema = zod.z.union([zod.z.literal(LEGACY_IR_VERSION), zod.z.literal(IR_VERSION)]);
+var GUARDED_IR_VERSION = 2;
+var COMPOSED_IR_VERSION = 3;
+var SQL_IR_VERSION = 4;
+var RUNTIME_SQL_IR_VERSION = 5;
+var irVersionSchema = zod.z.union([zod.z.literal(LEGACY_IR_VERSION), zod.z.literal(GUARDED_IR_VERSION), zod.z.literal(COMPOSED_IR_VERSION), zod.z.literal(SQL_IR_VERSION), zod.z.literal(RUNTIME_SQL_IR_VERSION)]);
 var operationVersionSchema = zod.z.object({ irVersion: irVersionSchema });
 function requiredArtifactIrVersion(operations) {
   let required = LEGACY_IR_VERSION;
@@ -1121,8 +1162,8 @@ var predIrSchema = zod.z.lazy(
       value: zod.z.number(),
       where: predIrSchema.optional()
     }),
-    zod.z.object({ kind: zod.z.literal("capability"), key: zod.z.string() }),
-    zod.z.object({ kind: zod.z.literal("role"), key: zod.z.string() }),
+    zod.z.object({ kind: zod.z.literal("capability"), key: zod.z.string(), namespace: zod.z.string().optional() }),
+    zod.z.object({ kind: zod.z.literal("role"), key: zod.z.string(), namespace: zod.z.string().optional() }),
     zod.z.object({ kind: zod.z.literal("dynamicFilter"), slot: zod.z.string() }),
     zod.z.object({ kind: zod.z.literal("const"), value: zod.z.boolean() })
   ])
@@ -1349,7 +1390,31 @@ var variableIrSchema = zod.z.object({
   /** Absent = no default declared; see {@link variableDefaultIrSchema}. */
   defaultValue: variableDefaultIrSchema.optional()
 });
+var sqlColumnSchema = zod.z.object({ name: zod.z.string(), type: zod.z.enum(["text", "boolean", "integer", "bigint", "numeric", "double", "uuid", "date", "timestamptz"]), nullable: zod.z.boolean() });
 var compiledOperationSchema = zod.z.object({
+  language: zod.z.literal("sql").optional(),
+  /** Server-compiled object catalog and permission ceiling, never caller SQL. */
+  sqlQuery: zod.z.object({
+    catalog: zod.z.object({
+      identity: zod.z.string(),
+      objects: zod.z.array(zod.z.object({
+        ref: zod.z.string(),
+        table: zod.z.string(),
+        columns: zod.z.array(sqlColumnSchema.extend({ type: zod.z.string() })).min(1),
+        scan: zod.z.string().min(1),
+        read: zod.z.array(zod.z.string()).min(1)
+      }).strict()).min(1).max(256)
+    }).strict(),
+    read: zod.z.array(zod.z.string()).min(1).max(256),
+    maxRows: zod.z.number().int().min(1).max(1e4)
+  }).strict().optional(),
+  sql: zod.z.object({
+    text: zod.z.string().min(1).max(1048576),
+    columns: zod.z.array(sqlColumnSchema).min(1).max(256),
+    parameters: zod.z.array(zod.z.string()).max(128),
+    read: zod.z.array(zod.z.string()).min(1).max(256),
+    maxRows: zod.z.number().int().min(1).max(1e4)
+  }).strict().optional(),
   irVersion: irVersionSchema,
   name: zod.z.string(),
   opHash: zod.z.string().regex(/^sha256:[0-9a-f]{64}$/),
@@ -1361,8 +1426,16 @@ var compiledOperationSchema = zod.z.object({
   variables: zod.z.array(variableIrSchema),
   /** Every table the op touches — data-token scoping + audit. */
   tableSet: zod.z.array(zod.z.string()).min(1),
-  roots: zod.z.array(rootIrSchema).min(1)
+  roots: zod.z.array(rootIrSchema)
 }).superRefine((operation, ctx) => {
+  if (operation.language === "sql") {
+    const validPlan = operation.sqlQuery ? !operation.sql && operation.irVersion === RUNTIME_SQL_IR_VERSION : !!operation.sql && operation.irVersion === SQL_IR_VERSION;
+    if (!validPlan || operation.kind !== "query" || operation.roots.length !== 0 || !operation.requires?.capability) {
+      ctx.addIssue({ code: "custom", message: "SQL operations require a query-only v4 plan or v5 runtime contract, capability, and no GraphQL roots" });
+    }
+  } else if (operation.sql || operation.sqlQuery || operation.roots.length === 0) {
+    ctx.addIssue({ code: "custom", message: "GraphQL operations require roots and cannot carry SQL" });
+  }
   for (const [index, root] of operation.roots.entries()) {
     if (root.kind !== "mutation" || root.assertAffectedRows === void 0) continue;
     if (operation.irVersion < 2 || operation.kind !== "mutation" || root.includeIf !== void 0) {
@@ -1409,11 +1482,16 @@ var resolvedMetaIrSchema = zod.z.object({
 });
 var tableMetaIrSchema = zod.z.object({
   table: zod.z.string(),
+  namespace: zod.z.string().optional(),
+  dependencies: zod.z.array(zod.z.string()).optional(),
+  foreignReferences: zod.z.array(zod.z.object({ column: zod.z.string(), target: zod.z.string(), targetColumn: zod.z.string() })).optional(),
+  exportRead: zod.z.union([zod.z.literal(true), zod.z.object({ capability: zod.z.string() }), zod.z.object({ role: zod.z.string() })]).optional(),
+  exportWrite: zod.z.union([zod.z.literal(true), zod.z.object({ capability: zod.z.string() }), zod.z.object({ role: zod.z.string() })]).optional(),
   schema: zod.z.string(),
   typename: zod.z.string(),
   /**
    * True when statements over this relation evaluate a claims-gated synced
-   * view: synced twins (`source: gold.*`) materialize as views whose baked
+   * view: synced twins (`source: schema.table`) materialize as views whose baked
    * policy reads `current_setting('request.jwt.claims')`, and namespace views
    * inherit the gate transitively through their declared dependencies. The
    * executor must stamp that GUC (transaction-scoped) before any statement
@@ -1472,13 +1550,21 @@ var compiledArtifactSchema = zod.z.object({
   irVersion: irVersionSchema,
   namespace: zod.z.string(),
   schemaHash: zod.z.string(),
+  ownSchemaHash: zod.z.string().optional(),
+  dependencies: zod.z.record(zod.z.string(), zod.z.string()).optional(),
+  readPolicies: zod.z.record(zod.z.string(), predIrSchema).optional(),
   opsHash: zod.z.string(),
+  /** Apply-observed synced objects without a serving backing; not part of the authored schema hash. */
+  unbackedTables: zod.z.array(zod.z.string()).optional(),
   tables: zod.z.record(zod.z.string(), tableMetaIrSchema),
   operations: zod.z.record(zod.z.string(), compiledOperationSchema)
 }).superRefine((artifact, ctx) => {
-  for (const [name, operation] of Object.entries(artifact.operations)) {
+  if (Object.keys(artifact.dependencies ?? {}).length > 0 && artifact.irVersion < COMPOSED_IR_VERSION) {
+    ctx.addIssue({ code: "custom", path: ["irVersion"], message: "cross-namespace dependencies require IR v3" });
+  }
+  for (const [name2, operation] of Object.entries(artifact.operations)) {
     if (operation.irVersion > artifact.irVersion) {
-      ctx.addIssue({ code: "custom", path: ["operations", name, "irVersion"], message: "operation requires a newer IR version than its artifact" });
+      ctx.addIssue({ code: "custom", path: ["operations", name2, "irVersion"], message: "operation requires a newer IR version than its artifact" });
     }
   }
 });
@@ -1491,20 +1577,20 @@ var IrVersionError = class extends Error {
 function normalizeIr(raw) {
   if (!raw || typeof raw !== "object") throw new IrVersionError(void 0);
   const version = raw.irVersion;
-  if (version !== LEGACY_IR_VERSION && version !== IR_VERSION) throw new IrVersionError(version);
+  if (!irVersionSchema.safeParse(version).success) throw new IrVersionError(version);
   return compiledArtifactSchema.parse(raw);
 }
 
 // src/sdl/naming.ts
-function camelCase(name) {
-  const segments = name.split("_").filter((segment) => segment.length > 0);
+function camelCase(name2) {
+  const segments = name2.split("_").filter((segment) => segment.length > 0);
   const first = segments[0];
-  if (first === void 0) return name;
+  if (first === void 0) return name2;
   const head = first.charAt(0).toLowerCase() + first.slice(1);
   return head + segments.slice(1).map(capitalizeFirst).join("");
 }
-function pascalCase(name) {
-  return capitalizeFirst(camelCase(name));
+function pascalCase(name2) {
+  return capitalizeFirst(camelCase(name2));
 }
 function capitalizeFirst(segment) {
   return segment.charAt(0).toUpperCase() + segment.slice(1);
@@ -1524,8 +1610,8 @@ function typeName(table) {
   if (last === void 0) return pascalCase(table);
   return [...segments.slice(0, -1), singularizeWord(last)].map(capitalizeFirst).join("");
 }
-function enumTypeName(name) {
-  return pascalCase(name);
+function enumTypeName(name2) {
+  return pascalCase(name2);
 }
 var SCALAR_FOR_COLUMN_TYPE = {
   uuid: "uuid",
@@ -2316,7 +2402,7 @@ var PolicyInjector = class {
     const updatePolicy = this.update(table);
     const where = andPred(updatePolicy, root.where ? this.injectDocPred(root.where, table) : void 0);
     if (root.op === "update" || root.op === "updateByPk") {
-      const check = predContainsExists(updatePolicy) ? {} : { insertCheck: updatePolicy };
+      const check = predContainsExists(updatePolicy) && !this.ctx.composed ? {} : { insertCheck: updatePolicy };
       return { ...root, where, ...check, returning };
     }
     if (root.op === "cowOverride") {
@@ -2330,7 +2416,7 @@ var PolicyInjector = class {
       const pins = (this.ctx.pins.get(table) ?? []).map(
         (pin) => ({ column: pin.column, value: { kind: "claim", key: pin.claim } })
       );
-      const check = predContainsExists(updatePolicy) ? {} : { insertCheck: updatePolicy };
+      const check = predContainsExists(updatePolicy) && !this.ctx.composed ? {} : { insertCheck: updatePolicy };
       return { ...root, pinnedColumns: pins, cowCopyCheck: insertPolicy, where, ...check, returning };
     }
     return { ...root, where, returning };
@@ -2481,16 +2567,92 @@ var NAME_KEY_BY_KIND = {
 function inputTypeName(table, kind) {
   return tableNames(table)[NAME_KEY_BY_KIND[kind]];
 }
-function classifyInputType(name, tableByTypename) {
+function classifyInputType(name2, tableByTypename) {
   for (const [suffix, input] of INPUT_TYPE_SUFFIXES) {
-    if (!name.endsWith(suffix) || name.length <= suffix.length) continue;
-    const table = tableByTypename.get(name.slice(0, -suffix.length));
+    if (!name2.endsWith(suffix) || name2.length <= suffix.length) continue;
+    const table = tableByTypename.get(name2.slice(0, -suffix.length));
     if (table !== void 0) return { input, table };
   }
   return void 0;
 }
 
+// src/errors.ts
+var OrmDefinitionError = class extends Error {
+  constructor(message, file) {
+    super(file ? `${file}: ${message}` : message);
+    this.file = file;
+  }
+  name = "OrmDefinitionError";
+};
+
+// src/canonical/composition.ts
+function localContract(definition) {
+  return normalizeCanonical(localDefinitionSchema.parse(definition));
+}
+function composeNamespace(definition) {
+  const all = [localContract(definition), ...definition.imports ?? []];
+  const owners = /* @__PURE__ */ new Map();
+  const namespaces = /* @__PURE__ */ new Set();
+  const enums = /* @__PURE__ */ new Map();
+  for (const owner of all) {
+    if (namespaces.has(owner.namespace)) throw new OrmDefinitionError(`duplicate imported namespace '${owner.namespace}'`);
+    namespaces.add(owner.namespace);
+    for (const value of owner.enums) {
+      const previous = enums.get(value.name);
+      if (previous && stableJson(previous) !== stableJson(value)) {
+        throw new OrmDefinitionError(`conflicting imported enum '${value.name}'`);
+      }
+      enums.set(value.name, value);
+    }
+    for (const relation of canonicalRelations(owner)) {
+      if (owners.has(relation.table)) throw new OrmDefinitionError(`ambiguous imported relation '${relation.table}'`);
+      owners.set(relation.table, owner);
+    }
+  }
+  for (const owner of definition.imports?.length ? all : []) {
+    for (const relation of canonicalRelations(owner)) {
+      for (const link of relation.links) {
+        if (link.kind === "toPlatformUser") continue;
+        const target = owners.get(link.target ?? "");
+        if (!target || target.namespace !== (link.namespace ?? owner.namespace)) {
+          throw new OrmDefinitionError(`link '${owner.namespace}/${relation.table}.${link.name}' has no matching imported target`);
+        }
+        if (target.namespace !== owner.namespace && !target.exports?.[link.target ?? ""]) {
+          throw new OrmDefinitionError(`target '${target.namespace}/${link.target}' is not exported`);
+        }
+      }
+    }
+  }
+  return {
+    owners,
+    definition: {
+      ...localContract(definition),
+      tables: all.flatMap((item) => item.tables),
+      views: all.flatMap((item) => item.views ?? []),
+      enums: [...enums.values()]
+    }
+  };
+}
+
 // src/compiler-gql/context.ts
+function scopePolicy(pred, namespace) {
+  switch (pred.kind) {
+    case "capability":
+    case "role":
+      return { ...pred, namespace };
+    case "and":
+    case "or":
+      return { ...pred, operands: pred.operands.map((p) => scopePolicy(p, namespace)) };
+    case "not":
+      return { ...pred, operand: scopePolicy(pred.operand, namespace) };
+    case "exists":
+      return { ...pred, where: scopePolicy(pred.where, namespace) };
+    case "aggPredicate":
+      return pred.where ? { ...pred, where: scopePolicy(pred.where, namespace) } : pred;
+    default:
+      return pred;
+  }
+}
 function platformUserMeta() {
   const columns = [
     // `sub` is the view's key (auth0_id, filtered NOT NULL in the view).
@@ -2555,7 +2717,8 @@ function logicalColumn(entries, ref) {
   return entries.find((c) => c.name === ref || c.columnName === ref)?.name;
 }
 function buildCompileContext(rawCanonical) {
-  const canonical = normalizeCanonical(canonicalDefinitionSchema.parse(rawCanonical));
+  const normalized = normalizeCanonical(canonicalDefinitionSchema.parse(rawCanonical));
+  const { definition: canonical, owners } = composeNamespace(normalized);
   const diagnostics = [];
   const enums = new Map(canonical.enums.map((e) => [e.name, e]));
   const relations = canonicalRelations(canonical);
@@ -2568,17 +2731,18 @@ function buildCompileContext(rawCanonical) {
   const syncedTableNames = new Set(canonical.tables.filter((t) => t.source !== void 0).map((t) => t.table));
   const viewDependencies = new Map((canonical.views ?? []).map((view) => [view.view, view.dependencies]));
   const claimsGatedMemo = /* @__PURE__ */ new Map();
-  const relationIsClaimsGated = (name) => {
-    if (syncedTableNames.has(name)) return true;
-    const memo = claimsGatedMemo.get(name);
+  const relationIsClaimsGated = (name2) => {
+    if (syncedTableNames.has(name2)) return true;
+    const memo = claimsGatedMemo.get(name2);
     if (memo !== void 0) return memo;
-    claimsGatedMemo.set(name, false);
-    const gated = (viewDependencies.get(name) ?? []).some(relationIsClaimsGated);
-    claimsGatedMemo.set(name, gated);
+    claimsGatedMemo.set(name2, false);
+    const gated = (viewDependencies.get(name2) ?? []).some(relationIsClaimsGated);
+    claimsGatedMemo.set(name2, gated);
     return gated;
   };
   for (const table of relations) {
     const isView = viewNames.has(table.table);
+    const owner = owners.get(table.table);
     const entries = resolveColumnEntries(table, enums, diagnostics);
     columnEntries.set(table.table, entries);
     const pkRefs = table.primaryKey ?? (isView ? [] : ["id"]);
@@ -2616,7 +2780,10 @@ function buildCompileContext(rawCanonical) {
     }
     tables[table.table] = {
       table: table.table,
-      schema: ormSchemaName(canonical.namespace),
+      schema: ormSchemaName(owner.namespace),
+      namespace: owner.namespace,
+      ...viewDependencies.has(table.table) ? { dependencies: viewDependencies.get(table.table) } : {},
+      ...owner.exports?.[table.table] ? { exportRead: owner.exports[table.table].read, exportWrite: owner.exports[table.table].write } : {},
       typename: typeNameForTable(table.table),
       // Synced twins (and views reading them, resolved transitively below)
       // are claims-gated — see tableMetaIrSchema.claimsGated.
@@ -2627,7 +2794,7 @@ function buildCompileContext(rawCanonical) {
       filterable: data.map((c) => c.name),
       orderable: data.filter((c) => c.type !== "jsonb").map((c) => c.name),
       insertable: resolved ? resolvedWritable(data) : isView ? [] : active.map((c) => c.name),
-      settable: resolved ? resolvedWritable(data).filter((name) => !primaryKey.includes(name)) : isView ? [] : active.filter((c) => !c.onUpdateFn).map((c) => c.name),
+      settable: resolved ? resolvedWritable(data).filter((name2) => !primaryKey.includes(name2)) : isView ? [] : active.filter((c) => !c.onUpdateFn).map((c) => c.name),
       appendable: isView ? [] : active.filter((c) => c.type === "jsonb").map((c) => c.name),
       ...touchOnUpdate.length > 0 ? { touchOnUpdate } : {},
       ...cells ? { cells } : {},
@@ -2643,7 +2810,7 @@ function buildCompileContext(rawCanonical) {
     for (const link of table.links) {
       const targetName = link.kind === "toPlatformUser" ? PLATFORM_USER_TABLE : link.target;
       const target = targetName === void 0 ? void 0 : tables[targetName];
-      if (!targetName || !target) {
+      if (!targetName || !target || link.namespace !== void 0 && link.namespace !== target.namespace) {
         diagnostics.push({
           severity: "error",
           code: "unknown-link-target",
@@ -2668,6 +2835,11 @@ function buildCompileContext(rawCanonical) {
         continue;
       }
       meta.links.push({ name: link.name, kind: link.kind, target: targetName, on, references });
+      if (link.kind !== "toPlatformUser" && meta.namespace !== target.namespace) {
+        const fkOwner = link.kind === "toMany" ? target : meta;
+        const referenced = link.kind === "toMany" ? table.table : targetName;
+        (fkOwner.foreignReferences ??= []).push({ column: on, target: referenced, targetColumn: references });
+      }
     }
   }
   const readPolicies = /* @__PURE__ */ new Map();
@@ -2685,7 +2857,8 @@ function buildCompileContext(rawCanonical) {
         return;
       }
       try {
-        store.set(table.table, compilePolicy({ expression, table: table.table, resolver }));
+        const pred = compilePolicy({ expression, table: table.table, resolver });
+        store.set(table.table, normalized.imports?.length ? scopePolicy(pred, owners.get(table.table).namespace) : pred);
       } catch (error) {
         if (error instanceof PolicyCompileError || error instanceof PolicyParseError) {
           diagnostics.push({
@@ -2739,6 +2912,42 @@ function buildCompileContext(rawCanonical) {
     updatePolicies.set(PLATFORM_USER_TABLE, { kind: "const", value: false });
     pins.set(PLATFORM_USER_TABLE, []);
   }
+  if (normalized.imports?.length) {
+    const originalReads = new Map(readPolicies);
+    const protect = (pred, table, path) => {
+      switch (pred.kind) {
+        case "and":
+        case "or":
+          return { ...pred, operands: pred.operands.map((p) => protect(p, table, path)) };
+        case "not":
+          return { ...pred, operand: protect(pred.operand, table, path) };
+        case "exists":
+        case "aggPredicate": {
+          const target = tables[table]?.links.find((link) => link.name === pred.link)?.target;
+          if (!target) return pred;
+          let where = pred.where ? protect(pred.where, target, path) : CONST_TRUE;
+          if (tables[table]?.namespace !== tables[target]?.namespace) {
+            if (path.includes(target)) {
+              diagnostics.push({
+                severity: "error",
+                code: "cyclic-cross-namespace-policy",
+                table,
+                message: `cross-namespace read policies form a cycle through '${target}'`
+              });
+              return CONST_FALSE;
+            }
+            where = andPred(where, protect(originalReads.get(target) ?? CONST_TRUE, target, [...path, target]));
+          }
+          return { ...pred, where };
+        }
+        default:
+          return pred;
+      }
+    };
+    for (const policies of [readPolicies, writePolicies, insertPolicies, updatePolicies]) {
+      for (const [table, policy] of policies) policies.set(table, protect(policy, table, [table]));
+    }
+  }
   const tableByTypename = new Map(Object.entries(tables).map(([key, meta]) => [meta.typename, key]));
   const queryRoots = /* @__PURE__ */ new Map();
   const mutationRoots = /* @__PURE__ */ new Map();
@@ -2815,6 +3024,7 @@ function buildCompileContext(rawCanonical) {
   return {
     ctx: {
       namespace: canonical.namespace,
+      composed: !!normalized.imports?.length,
       tables,
       tableByTypename,
       queryRoots,
@@ -2883,18 +3093,18 @@ function flattenSelectionSet(selectionSet, fragments, stack) {
       continue;
     }
     if (selection.kind === graphql.Kind.FRAGMENT_SPREAD) {
-      const name = selection.name.value;
+      const name2 = selection.name.value;
       if (selection.directives && selection.directives.length > 0) {
-        throw new DocumentCompileError(`directives on fragment spread '...${name}' are not supported`, "fragment-directive");
+        throw new DocumentCompileError(`directives on fragment spread '...${name2}' are not supported`, "fragment-directive");
       }
-      if (stack.includes(name)) {
-        throw new DocumentCompileError(`fragment cycle detected through '${name}'`, "fragment-cycle");
+      if (stack.includes(name2)) {
+        throw new DocumentCompileError(`fragment cycle detected through '${name2}'`, "fragment-cycle");
       }
-      const fragment = fragments.get(name);
+      const fragment = fragments.get(name2);
       if (!fragment) {
-        throw new DocumentCompileError(`unknown fragment '${name}'`, "unknown-fragment");
+        throw new DocumentCompileError(`unknown fragment '${name2}'`, "unknown-fragment");
       }
-      const inlined2 = flattenSelectionSet(fragment.selectionSet, fragments, [...stack, name]);
+      const inlined2 = flattenSelectionSet(fragment.selectionSet, fragments, [...stack, name2]);
       selections.push(...inlined2.selections);
       continue;
     }
@@ -2934,40 +3144,40 @@ var SOURCE_DIRECTIVES = /* @__PURE__ */ new Set(["prefetch", "writeback", "local
 var fail = (message, code) => {
   throw new DocumentCompileError(message, code);
 };
-function readArgs(node, name) {
-  return (node.directives ?? []).filter((directive) => directive.name.value === name).map((directive) => {
+function readArgs(node, name2) {
+  return (node.directives ?? []).filter((directive) => directive.name.value === name2).map((directive) => {
     const args = {};
     for (const arg of directive.arguments ?? []) {
       const key = arg.name.value;
       if (key === "source" || key === "maxStaleness") {
-        if (arg.value.kind !== graphql.Kind.STRING) fail(`@${name}(${key}:) must be a string literal`, "invalid-source-directive");
+        if (arg.value.kind !== graphql.Kind.STRING) fail(`@${name2}(${key}:) must be a string literal`, "invalid-source-directive");
         args[key] = arg.value.value;
-      } else if (key === "mode" && name === "writeback") {
+      } else if (key === "mode" && name2 === "writeback") {
         if (arg.value.kind !== graphql.Kind.ENUM || !["SYNC", "ASYNC"].includes(arg.value.value)) {
           fail("@writeback(mode:) must be SYNC or ASYNC", "invalid-source-directive");
         }
         args.mode = arg.value.value === "SYNC" ? "sync" : "async";
       } else {
-        fail(`@${name} does not take argument '${key}'`, "invalid-source-directive");
+        fail(`@${name2} does not take argument '${key}'`, "invalid-source-directive");
       }
     }
-    if (!args.source) fail(`@${name} needs a source: argument`, "invalid-source-directive");
+    if (!args.source) fail(`@${name2} needs a source: argument`, "invalid-source-directive");
     return args;
   });
 }
-function prefetchSourceFor({ resolved, name, directive, table }) {
+function prefetchSourceFor({ resolved, name: name2, directive, table }) {
   if (!resolved) return fail(`@${directive} is only valid on resolved tables \u2014 '${table}' is not one`, "invalid-source-directive");
-  const source = resolved.sources.find((entry) => entry.name === name);
+  const source = resolved.sources.find((entry) => entry.name === name2);
   if (!source || source.kind !== "prefetch") {
     const options = resolved.sources.filter((entry) => entry.kind === "prefetch").map((entry) => entry.name);
-    return fail(`@${directive}(source: "${name}") on '${table}' must name a prefetch source (${options.join(", ") || "none declared"})`, "invalid-source-directive");
+    return fail(`@${directive}(source: "${name2}") on '${table}' must name a prefetch source (${options.join(", ") || "none declared"})`, "invalid-source-directive");
   }
   return source;
 }
 function applyPrefetchDirectives({ node, root, meta }) {
   const directives = readArgs(node, "prefetch");
-  for (const name of ["writeback", "localOnly"]) {
-    if (readArgs(node, name).length > 0) fail(`@${name} is only valid on resolved-table mutation roots`, "invalid-source-directive");
+  for (const name2 of ["writeback", "localOnly"]) {
+    if (readArgs(node, name2).length > 0) fail(`@${name2} is only valid on resolved-table mutation roots`, "invalid-source-directive");
   }
   if (directives.length === 0) return root;
   if (root.kind !== "select" && root.kind !== "byPk") {
@@ -3128,13 +3338,13 @@ var OperationLowerer = class {
     return this.ctx.tables[table];
   }
   /** A data column — cell-metadata columns are reachable only through `cells { … }`. */
-  column(table, name) {
+  column(table, name2) {
     const meta = this.meta(table);
-    const column = meta.columns.find((c) => c.name === name);
-    return column && !isCellColumn(meta, name) ? column : void 0;
+    const column = meta.columns.find((c) => c.name === name2);
+    return column && !isCellColumn(meta, name2) ? column : void 0;
   }
-  link(table, name) {
-    return this.meta(table).links.find((l) => l.name === name);
+  link(table, name2) {
+    return this.meta(table).links.find((l) => l.name === name2);
   }
   fieldCandidates(table) {
     const meta = this.meta(table);
@@ -3146,12 +3356,12 @@ var OperationLowerer = class {
     ];
   }
   /** Validate that a whole-variable argument is the declared §4f slot for this table. */
-  slot(name, input, table) {
-    const variable = this.variables.get(name);
+  slot(name2, input, table) {
+    const variable = this.variables.get(name2);
     if (!variable || variable.type.kind !== "inputRef" || variable.type.input !== input || variable.type.table !== table) {
-      fail2(`variable $${name} must be declared as the ${input} input type for table '${table}'`, "slot-mismatch");
+      fail2(`variable $${name2} must be declared as the ${input} input type for table '${table}'`, "slot-mismatch");
     }
-    return name;
+    return name2;
   }
   // -------------------------------------------------------------------------
   // Values
@@ -3327,13 +3537,13 @@ var OperationLowerer = class {
     });
   }
   lowerLimit(node) {
-    const base = { default: DEFAULT_LIMIT, max: MAX_LIMIT };
-    if (!node) return base;
-    if (node.kind === graphql.Kind.VARIABLE) return { ...base, variable: node.name.value };
+    const base2 = { default: DEFAULT_LIMIT, max: MAX_LIMIT };
+    if (!node) return base2;
+    if (node.kind === graphql.Kind.VARIABLE) return { ...base2, variable: node.name.value };
     if (node.kind === graphql.Kind.INT) {
       const value = Number(node.value);
       if (value < 1) fail2("limit must be a positive integer", "invalid-limit");
-      return { ...base, value: Math.min(value, MAX_LIMIT) };
+      return { ...base2, value: Math.min(value, MAX_LIMIT) };
     }
     fail2("limit must be an integer literal or a variable", "invalid-limit");
   }
@@ -3354,28 +3564,28 @@ var OperationLowerer = class {
       if (node.directives && node.directives.length > 0) {
         fail2(`@include/@skip are supported on root fields only ('${node.name.value}' is nested)`, "nested-directive");
       }
-      const name = node.name.value;
-      if (name === "__typename") continue;
-      const alias = node.alias?.value ?? name;
-      const column = this.column(table, name);
+      const name2 = node.name.value;
+      if (name2 === "__typename") continue;
+      const alias = node.alias?.value ?? name2;
+      const column = this.column(table, name2);
       if (column) {
         if (node.arguments !== void 0 && node.arguments.length > 0 || node.selectionSet !== void 0) {
-          fail2(`column '${table}.${name}' takes no arguments or sub-selection`, "invalid-selection");
+          fail2(`column '${table}.${name2}' takes no arguments or sub-selection`, "invalid-selection");
         }
-        selection.columns.push({ alias, column: name });
+        selection.columns.push({ alias, column: name2 });
         continue;
       }
-      if (name === CELLS_FIELD && meta.cells) {
+      if (name2 === CELLS_FIELD && meta.cells) {
         if (selection.cells) fail2(`'${CELLS_FIELD}' may be selected once per object`, "invalid-selection");
         selection.cells = this.lowerCells(node, table, alias);
         continue;
       }
-      const link = this.link(table, name);
+      const link = this.link(table, name2);
       if (link) {
-        if (!node.selectionSet) fail2(`link '${table}.${name}' needs a selection set`, "invalid-selection");
+        if (!node.selectionSet) fail2(`link '${table}.${name2}' needs a selection set`, "invalid-selection");
         const relation = {
           alias,
-          link: name,
+          link: name2,
           selection: this.lowerSelection(node.selectionSet, link.target)
         };
         if (link.kind === "toMany") {
@@ -3391,15 +3601,15 @@ var OperationLowerer = class {
             if (offset) relation.offset = offset;
           }
         } else if (node.arguments && node.arguments.length > 0) {
-          fail2(`to-one link '${table}.${name}' takes no arguments`, "invalid-selection");
+          fail2(`to-one link '${table}.${name2}' takes no arguments`, "invalid-selection");
         }
         selection.relations.push(relation);
         continue;
       }
-      if (name.endsWith("Aggregate")) {
-        const aggLink = this.link(table, name.slice(0, -"Aggregate".length));
+      if (name2.endsWith("Aggregate")) {
+        const aggLink = this.link(table, name2.slice(0, -"Aggregate".length));
         if (aggLink && aggLink.kind === "toMany") {
-          if (!node.selectionSet) fail2(`'${name}' needs a selection set`, "invalid-selection");
+          if (!node.selectionSet) fail2(`'${name2}' needs a selection set`, "invalid-selection");
           assertKnownArgs(node, ["where"]);
           const whereArg = argsByName(node).get("where");
           const aggregate = this.lowerAggregateSelection(node.selectionSet, aggLink.target);
@@ -3412,7 +3622,7 @@ var OperationLowerer = class {
           continue;
         }
       }
-      fail2(`unknown field '${name}' on '${table}'`, "unknown-field", this.fieldCandidates(table));
+      fail2(`unknown field '${name2}' on '${table}'`, "unknown-field", this.fieldCandidates(table));
     }
     return selection;
   }
@@ -3468,13 +3678,13 @@ var OperationLowerer = class {
     const result = {};
     let sawAggregate = false;
     for (const node of aggregateBlockFields(selectionSet)) {
-      const name = node.name.value;
-      if (name === "nodes") {
+      const name2 = node.name.value;
+      if (name2 === "nodes") {
         if (!node.selectionSet) fail2("'nodes' needs a selection set", "invalid-aggregate");
         result.nodes = this.lowerSelection(node.selectionSet, table);
         continue;
       }
-      if (name !== "aggregate") fail2(`unknown aggregate field '${name}'`, "invalid-aggregate", ["aggregate", "nodes"]);
+      if (name2 !== "aggregate") fail2(`unknown aggregate field '${name2}'`, "invalid-aggregate", ["aggregate", "nodes"]);
       if (sawAggregate) fail2("one aggregate block per field \u2014 alias the root instead", "invalid-aggregate");
       sawAggregate = true;
       if (!node.selectionSet) fail2("'aggregate' needs a selection set", "invalid-aggregate");
@@ -3495,18 +3705,18 @@ var OperationLowerer = class {
     let sawAggregate = false;
     let sawKey = false;
     for (const node of aggregateBlockFields(selectionSet)) {
-      const name = node.name.value;
-      if (name === "key") {
+      const name2 = node.name.value;
+      if (name2 === "key") {
         if (sawKey) fail2("one key block per grouped aggregate", "invalid-aggregate");
         sawKey = true;
         if (!node.selectionSet) fail2("'key' needs a selection set", "invalid-aggregate");
         result.key = this.lowerGroupKeySelection(node.selectionSet, table, groupColumns);
         continue;
       }
-      if (name === "nodes") {
+      if (name2 === "nodes") {
         fail2("'nodes' is not available on a grouped aggregate \u2014 query the rows separately", "invalid-aggregate", ["key", "aggregate"]);
       }
-      if (name !== "aggregate") fail2(`unknown grouped-aggregate field '${name}'`, "invalid-aggregate", ["key", "aggregate"]);
+      if (name2 !== "aggregate") fail2(`unknown grouped-aggregate field '${name2}'`, "invalid-aggregate", ["key", "aggregate"]);
       if (sawAggregate) fail2("one aggregate block per field \u2014 alias the root instead", "invalid-aggregate");
       sawAggregate = true;
       if (!node.selectionSet) fail2("'aggregate' needs a selection set", "invalid-aggregate");
@@ -3532,19 +3742,19 @@ var OperationLowerer = class {
     const key = [];
     for (const node of selectionSet.selections) {
       if (node.kind !== graphql.Kind.FIELD) fail2("fragments must be flattened before lowering", "internal");
-      const name = node.name.value;
-      if (name === "__typename") continue;
-      if (!this.column(table, name)) {
-        fail2(`unknown key column '${name}' on '${table}'`, "unknown-column", [...groupColumns]);
+      const name2 = node.name.value;
+      if (name2 === "__typename") continue;
+      if (!this.column(table, name2)) {
+        fail2(`unknown key column '${name2}' on '${table}'`, "unknown-column", [...groupColumns]);
       }
-      if (!groupColumns.has(name)) {
+      if (!groupColumns.has(name2)) {
         fail2(
-          `key column '${name}' is not one of this query's groupBy keys \u2014 it has no single value within a group`,
+          `key column '${name2}' is not one of this query's groupBy keys \u2014 it has no single value within a group`,
           "invalid-group-key",
           [...groupColumns]
         );
       }
-      key.push({ alias: node.alias?.value ?? name, column: name });
+      key.push({ alias: node.alias?.value ?? name2, column: name2 });
     }
     return key;
   }
@@ -3640,35 +3850,35 @@ var OperationLowerer = class {
     let includeIf;
     let omit = false;
     for (const directive of node.directives ?? []) {
-      const name = directive.name.value;
-      if (name === "assertAffectedRows") continue;
-      if (SOURCE_DIRECTIVES.has(name)) continue;
-      if (name !== "include" && name !== "skip") {
-        fail2(`directive @${name} is not supported on fields`, "unknown-directive", ["include", "skip"]);
+      const name2 = directive.name.value;
+      if (name2 === "assertAffectedRows") continue;
+      if (SOURCE_DIRECTIVES.has(name2)) continue;
+      if (name2 !== "include" && name2 !== "skip") {
+        fail2(`directive @${name2} is not supported on fields`, "unknown-directive", ["include", "skip"]);
       }
       const ifArg = directive.arguments?.find((a) => a.name.value === "if");
-      if (!ifArg) fail2(`@${name} needs an if: argument`, "invalid-directive");
+      if (!ifArg) fail2(`@${name2} needs an if: argument`, "invalid-directive");
       if (ifArg.value.kind === graphql.Kind.BOOLEAN) {
-        const keep = name === "include" ? ifArg.value.value : !ifArg.value.value;
+        const keep = name2 === "include" ? ifArg.value.value : !ifArg.value.value;
         if (!keep) omit = true;
         continue;
       }
-      if (ifArg.value.kind !== graphql.Kind.VARIABLE) fail2(`@${name}(if:) must be a boolean literal or variable`, "invalid-directive");
+      if (ifArg.value.kind !== graphql.Kind.VARIABLE) fail2(`@${name2}(if:) must be a boolean literal or variable`, "invalid-directive");
       if (includeIf) fail2("at most one of @include/@skip per root field", "invalid-directive");
-      includeIf = { variable: ifArg.value.name.value, negated: name === "skip" };
+      includeIf = { variable: ifArg.value.name.value, negated: name2 === "skip" };
     }
     return omit ? { omit: true } : { includeIf, omit: false };
   }
   lowerQueryRoot(node) {
-    const name = node.name.value;
-    const alias = node.alias?.value ?? name;
-    const rootInfo = this.ctx.queryRoots.get(name);
-    if (!rootInfo) fail2(`unknown query root '${name}'`, "unknown-root", [...this.ctx.queryRoots.keys()]);
+    const name2 = node.name.value;
+    const alias = node.alias?.value ?? name2;
+    const rootInfo = this.ctx.queryRoots.get(name2);
+    if (!rootInfo) fail2(`unknown query root '${name2}'`, "unknown-root", [...this.ctx.queryRoots.keys()]);
     const { table } = rootInfo;
     const args = argsByName(node);
     if (rootInfo.kind === "select") {
       assertKnownArgs(node, ["where", "orderBy", "distinctOn", "limit", "offset"]);
-      if (!node.selectionSet) fail2(`'${name}' needs a selection set`, "invalid-selection");
+      if (!node.selectionSet) fail2(`'${name2}' needs a selection set`, "invalid-selection");
       const where = args.get("where");
       const orderBy = args.get("orderBy");
       const distinctOn = args.get("distinctOn");
@@ -3687,7 +3897,7 @@ var OperationLowerer = class {
       };
     }
     if (rootInfo.kind === "byPk") {
-      if (!node.selectionSet) fail2(`'${name}' needs a selection set`, "invalid-selection");
+      if (!node.selectionSet) fail2(`'${name2}' needs a selection set`, "invalid-selection");
       const pk = this.lowerPkArgs(node, table);
       return { kind: "byPk", alias, table, selection: this.lowerSelection(node.selectionSet, table), pk, where: CONST_TRUE };
     }
@@ -3695,7 +3905,7 @@ var OperationLowerer = class {
       return this.lowerAggregateGroupsRoot(node, { alias, table });
     }
     assertKnownArgs(node, ["where"]);
-    if (!node.selectionSet) fail2(`'${name}' needs a selection set`, "invalid-selection");
+    if (!node.selectionSet) fail2(`'${name2}' needs a selection set`, "invalid-selection");
     const whereArg = args.get("where");
     const aggregate = this.lowerAggregateSelection(node.selectionSet, table);
     return {
@@ -3798,13 +4008,13 @@ var OperationLowerer = class {
   }
   /** Like lowerLimit, but bounded by MAX_GROUPS and defaulting to it. */
   lowerGroupLimit(node) {
-    const base = { default: MAX_GROUPS, max: MAX_GROUPS };
-    if (!node) return base;
-    if (node.kind === graphql.Kind.VARIABLE) return { ...base, variable: node.name.value };
+    const base2 = { default: MAX_GROUPS, max: MAX_GROUPS };
+    if (!node) return base2;
+    if (node.kind === graphql.Kind.VARIABLE) return { ...base2, variable: node.name.value };
     if (node.kind === graphql.Kind.INT) {
       const value = Number(node.value);
       if (value < 1) fail2("limit must be a positive integer", "invalid-limit");
-      return { ...base, value: Math.min(value, MAX_GROUPS) };
+      return { ...base2, value: Math.min(value, MAX_GROUPS) };
     }
     fail2("limit must be an integer literal or a variable", "invalid-limit");
   }
@@ -3823,10 +4033,10 @@ var OperationLowerer = class {
   // Mutations
   // -------------------------------------------------------------------------
   lowerMutationRoot(node) {
-    const name = node.name.value;
-    const alias = node.alias?.value ?? name;
-    const rootInfo = this.ctx.mutationRoots.get(name);
-    if (!rootInfo) fail2(`unknown mutation root '${name}'`, "unknown-root", [...this.ctx.mutationRoots.keys()]);
+    const name2 = node.name.value;
+    const alias = node.alias?.value ?? name2;
+    const rootInfo = this.ctx.mutationRoots.get(name2);
+    if (!rootInfo) fail2(`unknown mutation root '${name2}'`, "unknown-root", [...this.ctx.mutationRoots.keys()]);
     if (rootInfo.op === "cowOverride" || rootInfo.op === "cowRevert") {
       return this.lowerCowRoot(node, rootInfo);
     }
@@ -3835,16 +4045,16 @@ var OperationLowerer = class {
     }
     const { op, table } = rootInfo;
     const args = argsByName(node);
-    if (!node.selectionSet) fail2(`'${name}' needs a selection set`, "invalid-selection");
-    const base = { kind: "mutation", op, alias, table, pinnedColumns: [], affectedRows: false };
+    if (!node.selectionSet) fail2(`'${name2}' needs a selection set`, "invalid-selection");
+    const base2 = { kind: "mutation", op, alias, table, pinnedColumns: [], affectedRows: false };
     switch (op) {
       case "insert": {
         assertKnownArgs(node, ["objects", "onConflict"]);
         const objects = args.get("objects");
-        if (!objects) fail2(`'${name}' needs objects:`, "missing-argument");
+        if (!objects) fail2(`'${name2}' needs objects:`, "missing-argument");
         const response = this.lowerMutationResponse(node.selectionSet, table);
         return {
-          ...base,
+          ...base2,
           ...response,
           objects: this.lowerInsertObjects(objects.value, table, { list: true }),
           ...this.lowerOnConflictArg(args.get("onConflict"), table)
@@ -3853,9 +4063,9 @@ var OperationLowerer = class {
       case "insertOne": {
         assertKnownArgs(node, ["object", "onConflict"]);
         const object = args.get("object");
-        if (!object) fail2(`'${name}' needs object:`, "missing-argument");
+        if (!object) fail2(`'${name2}' needs object:`, "missing-argument");
         return {
-          ...base,
+          ...base2,
           objects: this.lowerInsertObjects(object.value, table, { list: false }),
           ...this.lowerOnConflictArg(args.get("onConflict"), table),
           returning: this.lowerSelection(node.selectionSet, table)
@@ -3864,9 +4074,9 @@ var OperationLowerer = class {
       case "update": {
         assertKnownArgs(node, ["where", "_set", "_append", "_inc"]);
         const where = args.get("where");
-        if (!where) fail2(`'${name}' needs where: (bulk updates without a filter are not allowed)`, "missing-argument");
+        if (!where) fail2(`'${name2}' needs where: (bulk updates without a filter are not allowed)`, "missing-argument");
         return {
-          ...base,
+          ...base2,
           ...this.lowerMutationResponse(node.selectionSet, table),
           where: this.lowerBoolExp(where.value, table),
           ...this.lowerWriteValues(args, table)
@@ -3875,9 +4085,9 @@ var OperationLowerer = class {
       case "updateByPk": {
         assertKnownArgs(node, ["pkColumns", "_set", "_append", "_inc"]);
         const pkColumns = args.get("pkColumns");
-        if (!pkColumns) fail2(`'${name}' needs pkColumns:`, "missing-argument");
+        if (!pkColumns) fail2(`'${name2}' needs pkColumns:`, "missing-argument");
         return {
-          ...base,
+          ...base2,
           pk: this.lowerPkColumnsArg(pkColumns.value, table),
           ...this.lowerWriteValues(args, table),
           returning: this.lowerSelection(node.selectionSet, table)
@@ -3886,16 +4096,16 @@ var OperationLowerer = class {
       case "delete": {
         assertKnownArgs(node, ["where"]);
         const where = args.get("where");
-        if (!where) fail2(`'${name}' needs where: (bulk deletes without a filter are not allowed)`, "missing-argument");
+        if (!where) fail2(`'${name2}' needs where: (bulk deletes without a filter are not allowed)`, "missing-argument");
         return {
-          ...base,
+          ...base2,
           ...this.lowerMutationResponse(node.selectionSet, table),
           where: this.lowerBoolExp(where.value, table)
         };
       }
       case "deleteByPk": {
         return {
-          ...base,
+          ...base2,
           pk: this.lowerPkArgs(node, table),
           returning: this.lowerSelection(node.selectionSet, table)
         };
@@ -3910,16 +4120,16 @@ var OperationLowerer = class {
    * the structured fields, never from authored statements.
    */
   lowerCowRoot(node, rootInfo) {
-    const name = node.name.value;
-    const alias = node.alias?.value ?? name;
+    const name2 = node.name.value;
+    const alias = node.alias?.value ?? name2;
     const { table } = rootInfo;
-    if (!node.selectionSet) fail2(`'${name}' needs a selection set`, "invalid-selection");
+    if (!node.selectionSet) fail2(`'${name2}' needs a selection set`, "invalid-selection");
     const meta = this.meta(table);
     const args = argsByName(node);
     const pkArg = args.get(rootInfo.pk);
-    if (!pkArg) fail2(`'${name}' is missing primary-key argument '${rootInfo.pk}'`, "missing-pk-argument", [rootInfo.pk]);
+    if (!pkArg) fail2(`'${name2}' is missing primary-key argument '${rootInfo.pk}'`, "missing-pk-argument", [rootInfo.pk]);
     const pk = [{ column: rootInfo.pk, value: this.lowerValue(pkArg.value) }];
-    const base = {
+    const base2 = {
       kind: "mutation",
       op: rootInfo.op,
       alias,
@@ -3932,14 +4142,14 @@ var OperationLowerer = class {
     };
     if (rootInfo.op === "cowRevert") {
       assertKnownArgs(node, [rootInfo.pk]);
-      return base;
+      return base2;
     }
     assertKnownArgs(node, [rootInfo.pk, ...rootInfo.set]);
     const entries = rootInfo.set.map((column) => {
       const arg = args.get(column);
       if (!arg) {
         fail2(
-          `'${name}' is missing set argument '${column}' \u2014 a cow override writes every declared set column (pass null to clear a nullable one)`,
+          `'${name2}' is missing set argument '${column}' \u2014 a cow override writes every declared set column (pass null to clear a nullable one)`,
           "missing-argument",
           [...rootInfo.set]
         );
@@ -3949,7 +4159,7 @@ var OperationLowerer = class {
       }
       return { column, value: this.lowerValue(arg.value) };
     });
-    return { ...base, set: { entries }, cowCopyColumns: [...rootInfo.copyColumns] };
+    return { ...base2, set: { entries }, cowCopyColumns: [...rootInfo.copyColumns] };
   }
   /**
    * Resolved-table roots: insertOne(object), updateByPk(pkColumns, _set),
@@ -3957,12 +4167,12 @@ var OperationLowerer = class {
    * the touched cells into the manual source; `returning` reads the view.
    */
   lowerResolvedRoot(node, rootInfo) {
-    const name = node.name.value;
-    const alias = node.alias?.value ?? name;
+    const name2 = node.name.value;
+    const alias = node.alias?.value ?? name2;
     const { table, action } = rootInfo;
-    if (!node.selectionSet) fail2(`'${name}' needs a selection set`, "invalid-selection");
+    if (!node.selectionSet) fail2(`'${name2}' needs a selection set`, "invalid-selection");
     const args = argsByName(node);
-    const base = {
+    const base2 = {
       kind: "mutation",
       op: "resolvedWrite",
       resolvedAction: action,
@@ -3976,32 +4186,32 @@ var OperationLowerer = class {
       case "insert": {
         assertKnownArgs(node, ["object"]);
         const object = args.get("object");
-        if (!object) fail2(`'${name}' needs object:`, "missing-argument");
-        return { ...base, objects: this.lowerInsertObjects(object.value, table, { list: false }) };
+        if (!object) fail2(`'${name2}' needs object:`, "missing-argument");
+        return { ...base2, objects: this.lowerInsertObjects(object.value, table, { list: false }) };
       }
       case "update": {
         assertKnownArgs(node, ["pkColumns", "_set"]);
         const pkColumns = args.get("pkColumns");
-        if (!pkColumns || !args.get("_set")) fail2(`'${name}' needs pkColumns: and _set:`, "missing-argument");
-        return { ...base, pk: this.lowerPkColumnsArg(pkColumns.value, table), ...this.lowerWriteValues(args, table) };
+        if (!pkColumns || !args.get("_set")) fail2(`'${name2}' needs pkColumns: and _set:`, "missing-argument");
+        return { ...base2, pk: this.lowerPkColumnsArg(pkColumns.value, table), ...this.lowerWriteValues(args, table) };
       }
       case "delete":
-        return { ...base, pk: this.lowerPkArgs(node, table) };
+        return { ...base2, pk: this.lowerPkArgs(node, table) };
       case "revert": {
         assertKnownArgs(node, ["pkColumns", "columns"]);
         const pkColumns = args.get("pkColumns");
         const columns = args.get("columns");
-        if (!pkColumns || !columns) fail2(`'${name}' needs pkColumns: and columns:`, "missing-argument");
+        if (!pkColumns || !columns) fail2(`'${name2}' needs pkColumns: and columns:`, "missing-argument");
         const items = columns.value.kind === graphql.Kind.LIST ? columns.value.values : [columns.value];
         const meta = this.meta(table);
         const revertColumns = items.map((item) => {
           if (item.kind !== graphql.Kind.ENUM || !meta.settable.includes(item.value)) {
-            fail2(`'${name}' columns: must list update-column enum values written in the document`, "invalid-revert-columns", meta.settable);
+            fail2(`'${name2}' columns: must list update-column enum values written in the document`, "invalid-revert-columns", meta.settable);
           }
           return item.value;
         });
-        if (revertColumns.length === 0) fail2(`'${name}' columns: must name at least one column`, "invalid-revert-columns");
-        return { ...base, pk: this.lowerPkColumnsArg(pkColumns.value, table), revertColumns: [...new Set(revertColumns)] };
+        if (revertColumns.length === 0) fail2(`'${name2}' columns: must name at least one column`, "invalid-revert-columns");
+        return { ...base2, pk: this.lowerPkColumnsArg(pkColumns.value, table), revertColumns: [...new Set(revertColumns)] };
       }
     }
   }
@@ -4010,24 +4220,24 @@ var OperationLowerer = class {
     let returning = null;
     for (const node of selectionSet.selections) {
       if (node.kind !== graphql.Kind.FIELD) fail2("fragments must be flattened before lowering", "internal");
-      const name = node.name.value;
-      if (name === "__typename") continue;
-      if (name === "affectedRows") {
+      const name2 = node.name.value;
+      if (name2 === "__typename") continue;
+      if (name2 === "affectedRows") {
         affectedRows = true;
         continue;
       }
-      if (name === "returning") {
+      if (name2 === "returning") {
         if (!node.selectionSet) fail2("'returning' needs a selection set", "invalid-selection");
         returning = this.lowerSelection(node.selectionSet, table);
         continue;
       }
-      fail2(`unknown mutation-response field '${name}'`, "invalid-selection", ["affectedRows", "returning"]);
+      fail2(`unknown mutation-response field '${name2}'`, "invalid-selection", ["affectedRows", "returning"]);
     }
     return { affectedRows, returning };
   }
-  lowerInsertObjects(node, table, { list }) {
+  lowerInsertObjects(node, table, { list: list2 }) {
     if (node.kind === graphql.Kind.VARIABLE) return { slot: this.slot(node.name.value, "insertInput", table) };
-    if (list) {
+    if (list2) {
       if (node.kind !== graphql.Kind.LIST) fail2(`objects: must be a list literal or a variable`, "invalid-insert");
       return { rows: node.values.map((item) => this.lowerInsertRow(item, table)) };
     }
@@ -4134,9 +4344,9 @@ function lowerOperation({ restricted, ctx }) {
   const lowerer = new OperationLowerer(ctx, restricted);
   return lowerer.lowerRoots(restricted.definition, restricted.kind);
 }
-function isCellColumn(meta, name) {
+function isCellColumn(meta, name2) {
   if (!meta.cells) return false;
-  return Object.values(meta.cells).some((parts) => Object.values(parts).includes(name));
+  return Object.values(meta.cells).some((parts) => Object.values(parts).includes(name2));
 }
 function fieldNodes(selectionSet) {
   const out = [];
@@ -4193,7 +4403,7 @@ function parseDocuments({
 }
 function unwrapType(node, variable) {
   let nullable = true;
-  let list = false;
+  let list2 = false;
   let current = node;
   for (; ; ) {
     if (current.kind === graphql.Kind.NON_NULL_TYPE) {
@@ -4202,17 +4412,17 @@ function unwrapType(node, variable) {
       continue;
     }
     if (current.kind === graphql.Kind.LIST_TYPE) {
-      if (list) {
+      if (list2) {
         throw new DocumentCompileError(`variable $${variable}: nested list types are not supported`, "unsupported-variable-type");
       }
-      list = true;
+      list2 = true;
       current = current.type;
       continue;
     }
-    return { named: current.name.value, list, nullable };
+    return { named: current.name.value, list: list2, nullable };
   }
 }
-function classifyVariableType({ named, list }, variable, ctx) {
+function classifyVariableType({ named, list: list2 }, variable, ctx) {
   const inputRef = classifyInputType(named, ctx.tableByTypename);
   if (inputRef) {
     const listable = {
@@ -4225,13 +4435,13 @@ function classifyVariableType({ named, list }, variable, ctx) {
       insertInput: "either"
     };
     const rule = listable[inputRef.input];
-    if (rule === "must" && !list) {
+    if (rule === "must" && !list2) {
       throw new DocumentCompileError(
         `variable $${variable}: ${named} must be used as a list (e.g. [${named}!])`,
         "unsupported-variable-type"
       );
     }
-    if (rule === "never" && list) {
+    if (rule === "never" && list2) {
       throw new DocumentCompileError(
         `variable $${variable}: ${named} cannot be used as a list`,
         "unsupported-variable-type"
@@ -4268,7 +4478,7 @@ function restrictDefault({
   node,
   variable,
   type,
-  list,
+  list: list2,
   nullable
 }) {
   if (type.kind === "inputRef") {
@@ -4288,7 +4498,7 @@ function restrictDefault({
     return { value: null };
   }
   if (Array.isArray(value)) {
-    if (!list) {
+    if (!list2) {
       throw new DocumentCompileError(
         `variable $${variable}: default for a non-list variable must not be a list`,
         "unsupported-variable-default"
@@ -4296,7 +4506,7 @@ function restrictDefault({
     }
     return { value: value.map((item) => restrictDefaultLiteral(item, variable, type)) };
   }
-  if (list) {
+  if (list2) {
     throw new DocumentCompileError(
       `variable $${variable}: default for a list variable must be a list`,
       "unsupported-variable-default"
@@ -4331,8 +4541,8 @@ function restrictOperation({
   if (operation.operation === "subscription") {
     throw new DocumentCompileError("subscriptions are not supported in v2.0 \u2014 poll a query instead", "subscription-unsupported");
   }
-  const name = operation.name?.value;
-  if (!name) {
+  const name2 = operation.name?.value;
+  if (!name2) {
     throw new DocumentCompileError(
       "anonymous operations are not supported \u2014 every operation must be named (the name keys the registry)",
       "anonymous-operation"
@@ -4341,14 +4551,14 @@ function restrictOperation({
   const variables = (operation.variableDefinitions ?? []).map((definition) => {
     const variable = definition.variable.name.value;
     const unwrapped = unwrapType(definition.type, variable);
-    const { list, nullable } = unwrapped;
+    const { list: list2, nullable } = unwrapped;
     const type = classifyVariableType(unwrapped, variable, ctx);
-    const ir = { name: variable, type, nullable, list };
+    const ir = { name: variable, type, nullable, list: list2 };
     if (definition.defaultValue === void 0) return ir;
-    return { ...ir, defaultValue: restrictDefault({ node: definition.defaultValue, variable, type, list, nullable }) };
+    return { ...ir, defaultValue: restrictDefault({ node: definition.defaultValue, variable, type, list: list2, nullable }) };
   });
   return {
-    name,
+    name: name2,
     kind: operation.operation === "mutation" ? "mutation" : "query",
     requires: parseRequires(operation),
     variables,
@@ -4386,8 +4596,20 @@ function compileNamespace({ canonical, sdl, documents }) {
         }
         const loweredRoots = lowerOperation({ restricted: { ...restricted, definition: flattened }, ctx });
         const { roots, tableSet } = injectPolicies({ roots: loweredRoots, ctx });
+        for (const table of tableSet) {
+          const meta = ctx.tables[table];
+          if (meta.namespace && meta.namespace !== ctx.namespace && !meta.exportRead) {
+            throw new DocumentCompileError(`object '${meta.namespace}/${table}' is not exported for reads`, "unexported-object");
+          }
+        }
+        for (const root of roots) {
+          const meta = ctx.tables[root.table];
+          if (root.kind === "mutation" && meta.namespace && meta.namespace !== ctx.namespace && !meta.exportWrite) {
+            throw new DocumentCompileError(`object '${meta.namespace}/${root.table}' is not exported for writes`, "unexported-object");
+          }
+        }
         operations[restricted.name] = {
-          irVersion: roots.some((root) => root.kind === "mutation" && root.assertAffectedRows !== void 0) ? IR_VERSION : LEGACY_IR_VERSION,
+          irVersion: canonical.imports?.length ? COMPOSED_IR_VERSION : roots.some((root) => root.kind === "mutation" && root.assertAffectedRows !== void 0) ? GUARDED_IR_VERSION : LEGACY_IR_VERSION,
           name: restricted.name,
           opHash: computeOpHash({ definition: flattened, schemaHash }),
           kind: restricted.kind,
@@ -4414,9 +4636,14 @@ function compileNamespace({ canonical, sdl, documents }) {
   }
   if (diagnostics.some((d) => d.severity === "error")) return { ok: false, diagnostics };
   const artifact = {
-    irVersion: requiredArtifactIrVersion(Object.values(operations)),
+    irVersion: canonical.imports?.length ? COMPOSED_IR_VERSION : requiredArtifactIrVersion(Object.values(operations)),
     namespace: ctx.namespace,
     schemaHash,
+    ownSchemaHash: computeSchemaHash(localContract(canonical)),
+    ...canonical.imports?.length ? {
+      dependencies: Object.fromEntries(canonical.imports.map((owner) => [owner.namespace, computeSchemaHash(localContract(owner))]))
+    } : {},
+    readPolicies: Object.fromEntries(ctx.readPolicies),
     opsHash: computeOpsHash(Object.values(operations).map((op) => op.opHash)),
     tables: ctx.tables,
     operations
@@ -4479,9 +4706,10 @@ function allowedOps(type) {
     case "text":
       return ["eq", "neq", "gt", "gte", "lt", "lte", "in", "nin", "like", "ilike", "isNull"];
     case "uuid":
-      return ["eq", "neq", "in", "nin", "isNull"];
+      return ["eq", "neq", "in", "nin", "like", "ilike", "isNull"];
     case "integer":
     case "bigint":
+      return ["eq", "neq", "gt", "gte", "lt", "lte", "in", "nin", "like", "ilike", "isNull"];
     case "numeric":
     case "double":
     case "timestamptz":
@@ -4699,12 +4927,12 @@ function validateSelectColumns({ table, value }) {
 function validateInsertInput({
   table,
   value,
-  list,
+  list: list2,
   maxRows
 }) {
   const collector = new IssueCollector();
   const rowCap = maxRows ?? 1e3;
-  const rows = list ? value : [value];
+  const rows = list2 ? value : [value];
   if (!Array.isArray(rows)) {
     collector.add("invalid-shape", "$", "objects must be an array of rows");
     return { ok: false, issues: collector.issues };
@@ -4715,7 +4943,7 @@ function validateInsertInput({
   }
   const normalized = [];
   rows.forEach((row, index) => {
-    const path = list ? `$[${index}]` : "$";
+    const path = list2 ? `$[${index}]` : "$";
     if (!isPlainObject(row)) {
       collector.add("invalid-shape", path, "insert rows must be objects");
       return;
@@ -4825,8 +5053,747 @@ function validateOnConflictInput({
   return finish(collector, { constraint, updateColumns });
 }
 
+// src/engine/types.ts
+var SQL_TYPE_NAMES = {
+  double: "double precision",
+  timestamptz: "timestamp with time zone"
+};
+var sqlTypeName = (type) => SQL_TYPE_NAMES[type] ?? type;
+
+// src/compiler/pred-ir-sql.ts
+function compilePredIrToSql(pred, options = {}) {
+  switch (pred.kind) {
+    case "const":
+      return pred.value ? "TRUE" : "FALSE";
+    case "and":
+      return `(${pred.operands.map((operand) => compilePredIrToSql(operand, options)).join(" AND ")})`;
+    case "or":
+      return `(${pred.operands.map((operand) => compilePredIrToSql(operand, options)).join(" OR ")})`;
+    case "not":
+      return `(NOT ${compilePredIrToSql(pred.operand, options)})`;
+    case "cmp":
+      return compileCmp(pred.op, pred.column, pred.value, options);
+    case "capability":
+      return `(${capabilityExpression(pred.key, pred.namespace ?? options.namespace)})`;
+    case "role":
+      return `(${roleExpression(pred.key, pred.namespace ?? options.namespace)})`;
+    case "exists":
+      if (options.exists) return options.exists(pred);
+      throw new OrmDefinitionError("synced view read policy cannot use 'exists' without a relationship resolver");
+    case "aggPredicate":
+    case "dynamicFilter":
+      throw new OrmDefinitionError(
+        `synced view read policy cannot use '${pred.kind}' \u2014 use row filters and claim/capability/role checks only`
+      );
+    default: {
+      const exhausted = pred;
+      throw new OrmDefinitionError(`unsupported synced view predicate kind '${String(exhausted)}'`);
+    }
+  }
+}
+function physicalColumn(logical, options) {
+  return options.columnNames?.[logical] ?? logical;
+}
+function compileCmp(op, column, value, options) {
+  const physical = physicalColumn(column, options);
+  const declared = options.columnTypes?.[physical] ?? options.columnTypes?.[column];
+  const isEnum = typeof declared === "object" && declared !== null;
+  const qualified = options.alias ? `${quoteIdentifier(options.alias)}.${quoteIdentifier(physical)}` : quoteIdentifier(physical);
+  const col = isEnum ? `${qualified}::text` : qualified;
+  const columnType = isEnum ? "text" : declared;
+  switch (op) {
+    case "eq":
+      return compileEquality(col, value, columnType, false);
+    case "neq":
+      return compileEquality(col, value, columnType, true);
+    case "gt":
+      return `${col} > ${compileValue(value, columnType)}`;
+    case "gte":
+      return `${col} >= ${compileValue(value, columnType)}`;
+    case "lt":
+      return `${col} < ${compileValue(value, columnType)}`;
+    case "lte":
+      return `${col} <= ${compileValue(value, columnType)}`;
+    case "in":
+      return `${col} = ANY(${compileArrayValue(value, columnType)})`;
+    case "nin":
+      return `${col} <> ALL(${compileArrayValue(value, columnType)})`;
+    case "like":
+      return `${col} LIKE ${compileValue(value, columnType)}`;
+    case "ilike":
+      return `${col} ILIKE ${compileValue(value, columnType)}`;
+    case "isNull":
+      return value.kind === "literal" && value.value === true ? `${col} IS NULL` : `${col} IS NOT NULL`;
+    case "contains":
+    case "hasKey":
+      throw new OrmDefinitionError(`synced view read policy cannot use json operator '${op}'`);
+    default: {
+      const exhausted = op;
+      throw new OrmDefinitionError(`unsupported synced view comparison '${String(exhausted)}'`);
+    }
+  }
+}
+function compileEquality(col, value, columnType, negated, options) {
+  if (value.kind === "literal" && value.value === null) {
+    return negated ? `${col} IS NOT NULL` : `${col} IS NULL`;
+  }
+  const rhs = compileValue(value, columnType);
+  return negated ? `${col} <> ${rhs}` : `${col} = ${rhs}`;
+}
+function compileValue(value, columnType, _options) {
+  switch (value.kind) {
+    case "literal": {
+      const literal = value.value;
+      if (literal === null) return "NULL";
+      if (typeof literal === "string") return quoteLiteral(literal);
+      if (typeof literal === "boolean") return literal ? "TRUE" : "FALSE";
+      return String(literal);
+    }
+    case "claim": {
+      const expression = claimExpression(value.key);
+      return columnType && columnType !== "text" ? `(${expression})::${sqlTypeName(columnType)}` : expression;
+    }
+    case "variable":
+      throw new OrmDefinitionError("synced view read policy cannot reference operation variables");
+    default: {
+      const exhausted = value;
+      throw new OrmDefinitionError(`unsupported synced view value kind '${String(exhausted)}'`);
+    }
+  }
+}
+function compileArrayValue(value, columnType, _options) {
+  if (value.kind !== "literal" || !Array.isArray(value.value)) {
+    throw new OrmDefinitionError("synced view IN/NIN comparisons require literal arrays");
+  }
+  const entries = value.value.map((entry) => {
+    if (entry === null) return "NULL";
+    if (typeof entry === "string") return quoteLiteral(entry);
+    if (typeof entry === "boolean") return entry ? "TRUE" : "FALSE";
+    return String(entry);
+  });
+  const array = `ARRAY[${entries.join(", ")}]`;
+  return columnType ? `${array}::${sqlTypeName(columnType)}[]` : array;
+}
+
+// src/sql/catalog.ts
+function sqlHash(value) {
+  return `sha256:${crypto.createHash("sha256").update(value).digest("hex")}`;
+}
+function createSqlCatalog({ canonical, publishedObjects, executionTarget }) {
+  if (!publishedObjects.length || new Set(publishedObjects).size !== publishedObjects.length) throw new Error("SQL objects must be explicitly declared and unique");
+  const { ctx, diagnostics } = buildCompileContext(canonical);
+  if (diagnostics.some((d) => d.severity === "error")) throw new Error(diagnostics.map((d) => d.message).join("; "));
+  const identity = sqlHash(`ontology-sql-v1\0${computeSchemaHash(canonical)}\0${executionTarget}`);
+  const refOf = (meta) => `${meta.namespace ?? canonical.namespace}/${meta.table}`;
+  const definitions = [canonical, ...canonical.imports ?? []];
+  const internal = new Set(definitions.flatMap((owner) => [
+    ...owner.tables.filter((t) => t.internal).map((t) => `${owner.namespace}/${t.table}`),
+    ...(owner.views ?? []).filter((v) => v.internal).map((v) => `${owner.namespace}/${v.view}`)
+  ]));
+  const objects = publishedObjects.map((ref) => {
+    const meta = Object.values(ctx.tables).find((table) => refOf(table) === ref);
+    if (!meta || internal.has(ref) || meta.namespace !== canonical.namespace && !meta.exportRead) throw new Error(`SQL object not published: ${ref}`);
+    const reads = /* @__PURE__ */ new Set([ref]);
+    let sequence = 0;
+    const predicate = (table, pred, alias) => compilePredIrToSql(pred, {
+      alias,
+      namespace: table.namespace ?? canonical.namespace,
+      columnNames: Object.fromEntries(table.columns.map((c) => [c.name, c.columnName])),
+      columnTypes: Object.fromEntries(table.columns.map((c) => [c.name, c.type])),
+      exists: (node) => {
+        const link = table.links.find((candidate) => candidate.name === node.link);
+        const target = link?.target ? ctx.tables[link.target] : void 0;
+        if (!link || !target) throw new Error("SQL policy link is unavailable");
+        reads.add(refOf(target));
+        const child = `p${++sequence}`;
+        const col = (t, a, name2) => {
+          const c = t.columns.find((c2) => c2.name === name2 || c2.columnName === name2);
+          if (!c) throw new Error("SQL policy column is unavailable");
+          return `${quoteIdentifier(a)}.${quoteIdentifier(c.columnName)}`;
+        };
+        const join = link.kind === "toMany" ? `${col(target, child, link.on)} = ${col(table, alias, link.references)}` : `${col(table, alias, link.on)} = ${col(target, child, link.references)}`;
+        return `EXISTS (SELECT 1 FROM ${quoteIdentifier(target.schema)}.${quoteIdentifier(target.table)} AS ${quoteIdentifier(child)} WHERE ${join} AND (${predicate(target, node.where, child)}))`;
+      }
+    });
+    const columns = meta.columns.filter((c) => meta.filterable.includes(c.name)).map((c) => ({
+      name: c.name,
+      type: typeof c.type === "string" ? c.type : "text",
+      nullable: c.nullable
+    }));
+    const projection = columns.map((c) => {
+      const physical = meta.columns.find((m) => m.name === c.name);
+      return `${quoteIdentifier("p0")}.${quoteIdentifier(physical.columnName)}${typeof physical.type === "object" ? "::text" : ""} AS ${quoteIdentifier(c.name)}`;
+    }).join(", ");
+    const policy = ctx.readPolicies.get(meta.table) ?? { kind: "const", value: true };
+    const scan = `SELECT ${projection} FROM ${quoteIdentifier(meta.schema)}.${quoteIdentifier(meta.table)} AS ${quoteIdentifier("p0")} WHERE ${predicate(meta, policy, "p0")}`;
+    return { ref, table: meta.table, columns, scan, read: [...reads].sort() };
+  });
+  return { identity, objects };
+}
+
+// src/sql/ast.ts
+function obj(value) {
+  if (!value || typeof value !== "object" || Array.isArray(value)) throw new Error("unsupported SQL node");
+  return value;
+}
+function list(value) {
+  return value === void 0 ? [] : Array.isArray(value) ? value : fail3("expected SQL list");
+}
+function str(value) {
+  return typeof value === "string" ? value : fail3("expected SQL name");
+}
+function fail3(message) {
+  throw new Error(message);
+}
+function strings(value) {
+  return list(value).map((v) => str(obj(obj(v).String).sval));
+}
+function only(node, keys) {
+  for (const [key, value] of Object.entries(node)) {
+    if (!keys.includes(key) && value !== void 0 && value !== null && value !== false && value !== "" && value !== 0 && !(Array.isArray(value) && value.length === 0)) {
+      fail3(`unsupported SQL clause: ${key}`);
+    }
+  }
+}
+
+// src/sql/compiler.ts
+var parser;
+var SQL_TYPES = ["text", "boolean", "integer", "bigint", "numeric", "double", "uuid", "date", "timestamptz"];
+var pgType = (type) => type === "double" ? "double precision" : SQL_TYPES.some((t) => t === type) ? type : fail3("unsupported SQL type");
+async function compileOntologySql({ catalog, sql, parameterTypes = [], maxRows = 1e3 }) {
+  if (!Number.isInteger(maxRows) || maxRows < 1 || maxRows > 1e4 || Buffer.byteLength(sql) > 65536) fail3("SQL limit exceeded");
+  parser ??= new pgParser.PgParser({ version: 17 });
+  const parsed = await parser.parse(sql);
+  if (parsed.error || !parsed.tree) fail3("invalid SQL");
+  const statements = list(obj(parsed.tree).stmts);
+  if (statements.length !== 1) fail3("one SQL SELECT is required");
+  const emitter = new SqlEmitter({ catalog, parameterTypes });
+  const result = emitter.select(obj(obj(statements[0]).stmt), { relations: [], ctes: /* @__PURE__ */ new Map() });
+  if (emitter.used.size !== parameterTypes.length) fail3("SQL parameters must be used exactly as declared");
+  if (!emitter.read.size) fail3("SQL operation must read an ontology object");
+  return {
+    ...result,
+    read: [...emitter.read].sort(),
+    maxRows,
+    queryHash: sqlHash(JSON.stringify(["ontology-sql-v1", catalog.identity, result.text, parameterTypes, maxRows]))
+  };
+}
+var SqlEmitter = class {
+  constructor(input) {
+    this.input = input;
+  }
+  read = /* @__PURE__ */ new Set();
+  used = /* @__PURE__ */ new Set();
+  nodes = 0;
+  depth = 0;
+  budget() {
+    if (++this.nodes > 5e3 || this.depth > 48) fail3("SQL complexity limit exceeded");
+  }
+  select(wrapper, parent, resolveUnknown = true) {
+    this.budget();
+    this.depth++;
+    const node = obj(wrapper.SelectStmt);
+    only(node, ["targetList", "fromClause", "whereClause", "groupClause", "havingClause", "sortClause", "limitCount", "limitOffset", "limitOption", "op", "withClause", "all", "larg", "rarg"]);
+    if (!["SETOP_NONE", "SETOP_UNION"].includes(str(node.op))) fail3("unsupported SQL set operation");
+    if (node.op === "SETOP_NONE" && (node.all || node.larg || node.rarg)) fail3("invalid SQL set operation");
+    if (node.limitOption && !["LIMIT_OPTION_DEFAULT", "LIMIT_OPTION_COUNT"].includes(str(node.limitOption))) fail3("unsupported SQL limit");
+    const scope = { relations: [], parent, ctes: new Map(parent.ctes) };
+    const ctes = [];
+    if (node.withClause) {
+      const withNode = obj(node.withClause);
+      only(withNode, ["ctes", "location"]);
+      for (const entry of list(withNode.ctes)) {
+        const cte = obj(obj(entry).CommonTableExpr);
+        only(cte, ["ctename", "ctequery", "ctematerialized", "location"]);
+        const name2 = str(cte.ctename);
+        if (scope.ctes.has(name2)) fail3("duplicate CTE");
+        const result2 = this.select(obj(cte.ctequery), { ...parent, ctes: scope.ctes });
+        scope.ctes.set(name2, result2);
+        ctes.push(`${quoteIdentifier(name2)} AS (${result2.text})`);
+      }
+    }
+    const result = node.op === "SETOP_UNION" ? this.union(node, scope) : this.projection(node, scope);
+    const { columns } = result;
+    let text = `${ctes.length ? `WITH ${ctes.join(", ")} ` : ""}${result.text}`;
+    if (list(node.sortClause).length) text += ` ORDER BY ${list(node.sortClause).map((n) => {
+      const sort = obj(obj(n).SortBy);
+      only(sort, ["node", "sortby_dir", "sortby_nulls", "location"]);
+      const direction = sort.sortby_dir === "SORTBY_DESC" ? "DESC" : sort.sortby_dir === "SORTBY_ASC" || sort.sortby_dir === "SORTBY_DEFAULT" ? "ASC" : fail3("unsupported SQL sort");
+      const nulls = sort.sortby_nulls === "SORTBY_NULLS_FIRST" ? " NULLS FIRST" : sort.sortby_nulls === "SORTBY_NULLS_LAST" ? " NULLS LAST" : "";
+      const value = obj(sort.node);
+      const reference = value.ColumnRef ? strings(obj(value.ColumnRef).fields) : [];
+      const projected = reference.length === 1 ? columns.filter((c) => c.name === reference[0]) : [];
+      return `${projected.length === 1 ? quoteIdentifier(projected[0].name) : this.expr(value, scope).text} ${direction}${nulls}`;
+    }).join(", ")}`;
+    for (const [key, keyword] of [["limitCount", "LIMIT"], ["limitOffset", "OFFSET"]]) {
+      if (node[key]) text += ` ${keyword} ${this.expr(obj(node[key]), scope).text}`;
+    }
+    this.depth--;
+    return { text, columns: resolveUnknown ? columns.map((c) => c.type === "unknown" ? { ...c, type: "text" } : c) : columns };
+  }
+  union(node, scope) {
+    for (const key of ["targetList", "fromClause", "whereClause", "groupClause", "havingClause"]) {
+      if (node[key]) fail3("unsupported UNION clause");
+    }
+    const left = this.select({ SelectStmt: obj(node.larg) }, scope, false);
+    const right = this.select({ SelectStmt: obj(node.rarg) }, scope, false);
+    if (left.columns.length !== right.columns.length) fail3("UNION branches must have the same column count");
+    const numeric = ["integer", "bigint", "numeric", "double"];
+    const columns = left.columns.map((column, index) => {
+      const other = right.columns[index];
+      const type = column.type === "unknown" && other.type === "unknown" ? "text" : column.type === "unknown" ? other.type : other.type === "unknown" ? column.type : column.type === other.type ? column.type : numeric.includes(column.type) && numeric.includes(other.type) ? numeric[Math.max(numeric.indexOf(column.type), numeric.indexOf(other.type))] : fail3("UNION columns require compatible types; use explicit casts");
+      return { name: column.name, type, nullable: column.nullable || other.nullable };
+    });
+    return { text: `(${left.text}) UNION${node.all ? " ALL" : ""} (${right.text})`, columns };
+  }
+  projection(node, scope) {
+    const from = list(node.fromClause).map((n) => this.from(obj(n), scope)).join(", ");
+    const columns = [];
+    const targets = [];
+    for (const item of list(node.targetList)) {
+      const target = obj(obj(item).ResTarget);
+      only(target, ["name", "val", "location"]);
+      const value = obj(target.val);
+      const fields = value.ColumnRef ? list(obj(value.ColumnRef).fields) : [];
+      if (fields.length && obj(fields[fields.length - 1]).A_Star) {
+        const matches = fields.length === 1 ? scope.relations : scope.relations.filter((r) => r.alias === strings(fields.slice(0, -1))[0]);
+        if (!matches.length || fields.length > 2 || target.name) fail3("invalid wildcard");
+        for (const relation of matches) for (const column of relation.columns) {
+          columns.push(column);
+          targets.push(`${quoteIdentifier(relation.alias)}.${quoteIdentifier(column.name)}`);
+        }
+      } else {
+        const expression = this.expr(value, scope);
+        const name2 = typeof target.name === "string" && target.name ? target.name : expression.name ?? `column${columns.length + 1}`;
+        columns.push({ name: name2, type: expression.type, nullable: true });
+        targets.push(`${expression.text} AS ${quoteIdentifier(name2)}`);
+      }
+    }
+    if (!targets.length || targets.length > 256) fail3("invalid SQL projection");
+    let text = `SELECT ${targets.join(", ")}${from ? ` FROM ${from}` : ""}`;
+    if (node.whereClause) text += ` WHERE ${this.expr(obj(node.whereClause), scope).text}`;
+    if (list(node.groupClause).length) text += ` GROUP BY ${list(node.groupClause).map((n) => this.expr(obj(n), scope).text).join(", ")}`;
+    if (node.havingClause) text += ` HAVING ${this.expr(obj(node.havingClause), scope).text}`;
+    return { text, columns };
+  }
+  from(node, scope) {
+    this.budget();
+    this.depth++;
+    try {
+      return this.relation(node, scope);
+    } finally {
+      this.depth--;
+    }
+  }
+  relation(node, scope) {
+    if (node.RangeVar) {
+      const range = obj(node.RangeVar);
+      only(range, ["schemaname", "relname", "inh", "relpersistence", "alias", "location"]);
+      if (range.inh !== true) fail3("ONLY is not supported for ontology objects");
+      const name2 = str(range.relname);
+      const alias = range.alias ? str(obj(range.alias).aliasname) : name2;
+      if (range.alias) only(obj(range.alias), ["aliasname"]);
+      if (scope.relations.some((r) => r.alias === alias)) fail3("duplicate SQL alias");
+      const cte = !range.schemaname ? scope.ctes.get(name2) : void 0;
+      if (cte) {
+        scope.relations.push({ alias, columns: cte.columns });
+        return `${quoteIdentifier(name2)} AS ${quoteIdentifier(alias)}`;
+      }
+      const object = this.input.catalog.objects.find((o) => o.ref === `${range.schemaname}/${name2}`);
+      if (!object) fail3("SQL object is not declared or available");
+      for (const ref of object.read) this.read.add(ref);
+      scope.relations.push({ alias, columns: object.columns });
+      const source = `(WITH ${quoteIdentifier("__orm_scan")} AS MATERIALIZED (${object.scan}) SELECT * FROM ${quoteIdentifier("__orm_scan")})`;
+      return `${source} AS ${quoteIdentifier(alias)}`;
+    }
+    if (node.JoinExpr) {
+      const join = obj(node.JoinExpr);
+      only(join, ["jointype", "larg", "rarg", "quals"]);
+      if (!["JOIN_INNER", "JOIN_LEFT", "JOIN_RIGHT", "JOIN_FULL"].includes(str(join.jointype))) fail3("unsupported SQL join");
+      const start = scope.relations.length;
+      const left = this.from(obj(join.larg), scope);
+      const middle = scope.relations.length;
+      const right = this.from(obj(join.rarg), scope);
+      const nullable = (relations) => {
+        for (const relation of relations) relation.columns = relation.columns.map((c) => ({ ...c, nullable: true }));
+      };
+      if (["JOIN_RIGHT", "JOIN_FULL"].includes(str(join.jointype))) nullable(scope.relations.slice(start, middle));
+      if (["JOIN_LEFT", "JOIN_FULL"].includes(str(join.jointype))) nullable(scope.relations.slice(middle));
+      const kind = str(join.jointype).slice("JOIN_".length);
+      return `(${left} ${kind} JOIN ${right} ON ${join.quals ? this.expr(obj(join.quals), scope).text : "TRUE"})`;
+    }
+    if (node.RangeSubselect) {
+      const range = obj(node.RangeSubselect);
+      only(range, ["subquery", "alias"]);
+      const alias = str(obj(range.alias).aliasname);
+      only(obj(range.alias), ["aliasname"]);
+      if (scope.relations.some((r) => r.alias === alias)) fail3("duplicate SQL alias");
+      const result = this.select(obj(range.subquery), { relations: [], ctes: scope.ctes });
+      scope.relations.push({ alias, columns: result.columns });
+      return `(${result.text}) AS ${quoteIdentifier(alias)}`;
+    }
+    return fail3("unsupported SQL relation");
+  }
+  column(fields, scope) {
+    if (fields.length !== 1 && fields.length !== 2) fail3("unsupported column reference");
+    const name2 = fields[fields.length - 1];
+    const matches = scope.relations.flatMap((r) => fields.length === 2 && r.alias !== fields[0] ? [] : r.columns.filter((c) => c.name === name2).map((c) => ({ r, c })));
+    if (matches.length > 1) fail3("ambiguous SQL column");
+    if (matches.length === 1) return { text: `${quoteIdentifier(matches[0].r.alias)}.${quoteIdentifier(name2)}`, type: matches[0].c.type, name: name2 };
+    if (scope.parent && !(fields.length === 2 && scope.relations.some((r) => r.alias === fields[0]))) return this.column(fields, scope.parent);
+    return fail3("unknown ontology property");
+  }
+  expr(node, scope) {
+    this.budget();
+    this.depth++;
+    try {
+      return this.expression(node, scope);
+    } finally {
+      this.depth--;
+    }
+  }
+  expression(node, scope) {
+    if (node.ColumnRef) return this.column(strings(obj(node.ColumnRef).fields), scope);
+    if (node.ParamRef) {
+      const number = obj(node.ParamRef).number;
+      if (typeof number !== "number" || !Number.isInteger(number) || number < 1 || number > this.input.parameterTypes.length) fail3("undeclared SQL parameter");
+      this.used.add(number);
+      const type = this.input.parameterTypes[number - 1];
+      return { text: `$${number}::${pgType(type)}`, type };
+    }
+    if (node.A_Const) {
+      const literal = obj(node.A_Const);
+      if (literal.isnull) return { text: "NULL", type: "unknown" };
+      if (literal.sval) return { text: quoteLiteral(str(obj(literal.sval).sval)), type: "unknown" };
+      if (literal.boolval) return { text: obj(literal.boolval).boolval ? "TRUE" : "FALSE", type: "boolean" };
+      const value = literal.ival ? obj(literal.ival).ival : obj(literal.fval).fval;
+      if (!/^-?\d+(\.\d+)?([eE][+-]?\d+)?$/.test(String(value))) fail3("unsupported SQL constant");
+      return { text: String(value), type: literal.ival ? "integer" : "numeric" };
+    }
+    if (node.A_Expr) {
+      const value = obj(node.A_Expr);
+      only(value, ["kind", "name", "lexpr", "rexpr", "location"]);
+      const names = strings(value.name);
+      if (names.length !== 1 || value.kind !== "AEXPR_OP") fail3("unsupported SQL operator");
+      const operator = names[0];
+      if (!["=", "<>", "!=", "<", ">", "<=", ">=", "+", "-", "*", "/"].includes(operator)) fail3("unsupported SQL operator");
+      const left = this.expr(obj(value.lexpr), scope), right = this.expr(obj(value.rexpr), scope);
+      const numericTypes = ["integer", "bigint", "numeric", "double"];
+      const arithmetic = ["+", "-", "*", "/"].includes(operator);
+      if (arithmetic && (!numericTypes.includes(left.type) || !numericTypes.includes(right.type))) fail3("arithmetic requires numeric operands");
+      const type = arithmetic ? numericTypes[Math.max(numericTypes.indexOf(left.type), numericTypes.indexOf(right.type))] : "boolean";
+      return { text: `(${left.text} OPERATOR(pg_catalog.${operator}) ${right.text})`, type };
+    }
+    if (node.BoolExpr) {
+      const value = obj(node.BoolExpr);
+      const args = list(value.args).map((a) => this.expr(obj(a), scope).text);
+      if (value.boolop === "NOT_EXPR" && args.length === 1) return { text: `(NOT ${args[0]})`, type: "boolean" };
+      if (!["AND_EXPR", "OR_EXPR"].includes(str(value.boolop))) fail3("unsupported boolean expression");
+      return { text: `(${args.join(value.boolop === "AND_EXPR" ? " AND " : " OR ")})`, type: "boolean" };
+    }
+    if (node.NullTest) {
+      const value = obj(node.NullTest);
+      only(value, ["arg", "nulltesttype", "location"]);
+      if (!["IS_NULL", "IS_NOT_NULL"].includes(str(value.nulltesttype))) fail3("invalid null comparison");
+      return { text: `(${this.expr(obj(value.arg), scope).text} IS ${value.nulltesttype === "IS_NOT_NULL" ? "NOT " : ""}NULL)`, type: "boolean" };
+    }
+    if (node.SubLink) {
+      const value = obj(node.SubLink);
+      only(value, ["subLinkType", "subselect", "location"]);
+      if (value.subLinkType !== "EXISTS_SUBLINK") fail3("only EXISTS subqueries are supported");
+      return { text: `EXISTS (${this.select(obj(value.subselect), scope).text})`, type: "boolean" };
+    }
+    if (node.TypeCast) {
+      const value = obj(node.TypeCast), typeName2 = obj(value.typeName);
+      only(typeName2, ["names", "typemod", "location"]);
+      const names = strings(typeName2.names);
+      if (names.length > 2 || names.length === 2 && names[0] !== "pg_catalog") fail3("unsupported SQL cast");
+      const aliases = { int4: "integer", int8: "bigint", float8: "double", bool: "boolean" };
+      const name2 = names[names.length - 1], type = aliases[name2] ?? name2;
+      return { text: `(${this.expr(obj(value.arg), scope).text})::${pgType(type)}`, type };
+    }
+    if (node.FuncCall) {
+      const value = obj(node.FuncCall);
+      only(value, ["funcname", "args", "agg_star", "agg_distinct", "funcformat", "location"]);
+      const names = strings(value.funcname);
+      if (names.length !== 1) fail3("SQL function qualification is not supported");
+      const name2 = names[0];
+      if (!["count", "sum", "avg", "min", "max", "lower", "upper", "length"].includes(name2)) fail3("SQL function is not allowed");
+      const args = list(value.args).map((a) => this.expr(obj(a), scope));
+      if (value.agg_star && (name2 !== "count" || args.length) || !value.agg_star && args.length !== 1) fail3("unsupported SQL function arguments");
+      const argType = args[0]?.type ?? "integer";
+      if (["lower", "upper", "length"].includes(name2) && !["text", "unknown"].includes(argType)) fail3("text function requires text");
+      if (["sum", "avg"].includes(name2) && !["integer", "bigint", "numeric", "double"].includes(argType)) fail3("aggregate requires numeric input");
+      const type = name2 === "count" ? "bigint" : name2 === "length" ? "integer" : ["lower", "upper"].includes(name2) ? "text" : name2 === "avg" ? argType === "double" ? "double" : "numeric" : name2 === "sum" ? argType === "integer" ? "bigint" : argType === "bigint" ? "numeric" : argType : argType;
+      return { text: `pg_catalog.${name2}(${value.agg_distinct ? "DISTINCT " : ""}${value.agg_star ? "*" : args.map((a) => a.text).join(", ")})`, type, name: name2 };
+    }
+    return fail3(`unsupported SQL expression: ${Object.keys(node).join(",")}`);
+  }
+};
+var sqlScalarSchema = zod.z.enum(["text", "boolean", "integer", "bigint", "numeric", "double", "uuid", "date", "timestamptz"]);
+var name = zod.z.string().regex(/^[A-Za-z_][A-Za-z0-9_]*$/).max(63).refine((value) => !["__proto__", "prototype", "constructor"].includes(value), "reserved name");
+var base = zod.z.object({
+  name,
+  namespace: name,
+  language: zod.z.literal("sql"),
+  kind: zod.z.literal("query"),
+  requires: zod.z.object({ capability: zod.z.string().min(1).max(128) }).strict(),
+  ontology: zod.z.object({ read: zod.z.array(zod.z.string().regex(/^[A-Za-z_][A-Za-z0-9_]*\/[A-Za-z_][A-Za-z0-9_]*$/)).min(1).max(256) }).strict(),
+  maxRows: zod.z.number().int().min(1).max(1e4).default(1e3)
+});
+var fixed = base.extend({
+  parameters: zod.z.record(name, zod.z.object({ type: sqlScalarSchema, required: zod.z.boolean().default(true) }).strict()).default({}),
+  sql: zod.z.string().min(1).max(65536)
+}).strict();
+var runtime = base.extend({ mode: zod.z.literal("runtime") }).strict();
+var sqlOperationDefinitionSchema = zod.z.union([fixed, runtime]);
+function defineOperation(input) {
+  return sqlOperationDefinitionSchema.parse(input);
+}
+
+// src/sql/parameters.ts
+function bindNamedParameters({ sql, names }) {
+  let result = "", i = 0;
+  while (i < sql.length) {
+    const start = i;
+    if (sql.startsWith("--", i)) {
+      i = sql.indexOf("\n", i);
+      if (i < 0) i = sql.length;
+    } else if (sql.startsWith("/*", i)) {
+      i += 2;
+      let depth = 1;
+      while (i < sql.length && depth) {
+        if (sql.startsWith("/*", i)) {
+          depth++;
+          i += 2;
+        } else if (sql.startsWith("*/", i)) {
+          depth--;
+          i += 2;
+        } else i++;
+      }
+      if (depth) throw new Error("unterminated SQL comment");
+    } else if (sql[i] === "'" || sql[i] === '"') {
+      const escapes = sql[i] === "'" && /[eE]/.test(sql[i - 1] ?? "") && !/[A-Za-z0-9_$]/.test(sql[i - 2] ?? "");
+      const quote = sql[i++];
+      while (i < sql.length) {
+        if (sql[i] === quote) {
+          if (sql[i + 1] === quote) i += 2;
+          else {
+            i++;
+            break;
+          }
+        } else if (escapes && sql[i] === "\\") i += 2;
+        else i++;
+      }
+    } else if (sql[i] === "$" && /^\$(?:[A-Za-z_][A-Za-z0-9_]*)?\$/.test(sql.slice(i))) {
+      const marker = /^\$(?:[A-Za-z_][A-Za-z0-9_]*)?\$/.exec(sql.slice(i))[0];
+      const end = sql.indexOf(marker, i + marker.length);
+      if (end < 0) throw new Error("unterminated SQL string");
+      i = end + marker.length;
+    } else if (sql[i] === ":" && sql[i - 1] !== ":" && sql[i + 1] !== ":") {
+      const name2 = /^[A-Za-z_][A-Za-z0-9_]*/.exec(sql.slice(i + 1))?.[0];
+      if (!name2 || !names.includes(name2)) throw new Error("undeclared named SQL parameter");
+      result += `$${names.indexOf(name2) + 1}`;
+      i += name2.length + 1;
+      continue;
+    } else i++;
+    result += sql.slice(start, i);
+  }
+  return result;
+}
+
+// src/sql/operations.ts
+function isSqlOperationDocument(path, contents) {
+  if (path.endsWith(".operation.json")) return true;
+  if (!contents?.trimStart().startsWith("{")) return false;
+  try {
+    const value = JSON.parse(contents);
+    return !!value && typeof value === "object" && "language" in value && value.language === "sql";
+  } catch {
+    return false;
+  }
+}
+async function compileOperationDocuments(input) {
+  const sqlDocuments = input.documents.filter((d) => isSqlOperationDocument(d.path, d.contents));
+  const result = compileNamespace({ ...input, documents: input.documents.filter((d) => !isSqlOperationDocument(d.path, d.contents)) });
+  if (!result.ok || !sqlDocuments.length) return result;
+  for (const document of sqlDocuments) {
+    try {
+      const definition = defineOperation(JSON.parse(document.contents));
+      if (definition.namespace !== input.canonical.namespace) throw new Error("SQL operation namespace does not match its owner");
+      if (result.artifact.operations[definition.name]) throw new Error("duplicate operation name");
+      const roles = input.canonical.capabilities.roles;
+      const localCapabilities = roles && typeof roles === "object" && "capabilities" in roles ? roles.capabilities : void 0;
+      const declaredLocally = localCapabilities && typeof localCapabilities === "object" && Object.hasOwn(localCapabilities, definition.requires.capability);
+      if (!declaredLocally && !input.canonical.capabilities.uses.includes(definition.requires.capability)) throw new Error("SQL operation capability is not declared by its namespace");
+      const read = [...definition.ontology.read].sort();
+      const catalog = createSqlCatalog({ canonical: input.canonical, publishedObjects: read, executionTarget: "registered-operation" });
+      if ("mode" in definition) {
+        if (catalog.objects.some((object) => object.read.some((ref) => !read.includes(ref)))) throw new Error("SQL policy accesses an undeclared ontology object");
+        const opHash2 = sqlHash(JSON.stringify([
+          "sequence-runtime-sql-operation-v1",
+          definition.name,
+          definition.namespace,
+          definition.requires.capability,
+          read,
+          catalog.identity,
+          definition.maxRows
+        ]));
+        result.artifact.operations[definition.name] = compiledOperationSchema.parse({
+          irVersion: RUNTIME_SQL_IR_VERSION,
+          language: "sql",
+          name: definition.name,
+          opHash: opHash2,
+          kind: "query",
+          requires: definition.requires,
+          variables: [
+            { name: "sql", type: { kind: "scalar", scalar: "text" }, nullable: false, list: false },
+            { name: "parameters", type: { kind: "scalar", scalar: "jsonb" }, nullable: true, list: false }
+          ],
+          roots: [],
+          tableSet: read.map((ref) => ref.split("/")[1]).sort(),
+          sqlQuery: { catalog, read, maxRows: definition.maxRows }
+        });
+        result.manifest.operations[definition.name] = { opHash: opHash2, kind: "query", requires: definition.requires };
+        continue;
+      }
+      const names = Object.keys(definition.parameters).sort();
+      if (names.length > 128) throw new Error("too many SQL parameters");
+      const plan = await compileOntologySql({
+        catalog,
+        sql: bindNamedParameters({ sql: definition.sql, names }),
+        parameterTypes: names.map((name2) => definition.parameters[name2].type),
+        maxRows: definition.maxRows
+      });
+      if (plan.read.some((ref) => !read.includes(ref))) throw new Error("SQL policy/query accesses an undeclared ontology object");
+      const variables = names.map((name2) => ({
+        name: name2,
+        type: { kind: "scalar", scalar: definition.parameters[name2].type },
+        nullable: !definition.parameters[name2].required,
+        list: false
+      }));
+      const opHash = sqlHash(JSON.stringify([
+        "sequence-sql-operation-v1",
+        definition.name,
+        definition.namespace,
+        definition.requires.capability,
+        read,
+        variables,
+        plan.queryHash
+      ]));
+      const operation = compiledOperationSchema.parse({
+        irVersion: SQL_IR_VERSION,
+        language: "sql",
+        name: definition.name,
+        opHash,
+        kind: "query",
+        requires: definition.requires,
+        variables,
+        roots: [],
+        tableSet: plan.read.map((ref) => ref.split("/")[1]).sort(),
+        sql: { text: plan.text, columns: plan.columns, parameters: names, read, maxRows: plan.maxRows }
+      });
+      result.artifact.operations[definition.name] = operation;
+      result.manifest.operations[definition.name] = { opHash, kind: "query", requires: definition.requires };
+    } catch (error) {
+      return { ok: false, diagnostics: [...result.diagnostics, {
+        severity: "error",
+        code: "invalid-sql-operation",
+        document: document.path,
+        message: error instanceof Error ? error.message : "invalid SQL operation"
+      }] };
+    }
+  }
+  const required = requiredArtifactIrVersion(Object.values(result.artifact.operations));
+  if (required > result.artifact.irVersion) result.artifact.irVersion = required;
+  result.artifact.opsHash = computeOpsHash(Object.values(result.artifact.operations).map((op) => op.opHash));
+  result.manifest.opsHash = result.artifact.opsHash;
+  return { ...result, artifact: normalizeIr(result.artifact) };
+}
+var parameterName = zod.z.string().regex(/^[A-Za-z_][A-Za-z0-9_]*$/).max(63).refine((value) => !["__proto__", "prototype", "constructor"].includes(value), "reserved parameter name");
+var parameter = zod.z.discriminatedUnion("type", [
+  zod.z.object({ type: zod.z.literal("text"), value: zod.z.string().nullable() }).strict(),
+  zod.z.object({ type: zod.z.literal("uuid"), value: zod.z.guid().nullable() }).strict(),
+  zod.z.object({ type: zod.z.literal("date"), value: zod.z.string().nullable() }).strict(),
+  zod.z.object({ type: zod.z.literal("timestamptz"), value: zod.z.string().nullable() }).strict(),
+  zod.z.object({ type: zod.z.literal("numeric"), value: zod.z.string().regex(/^-?\d+(\.\d+)?$/).nullable() }).strict(),
+  zod.z.object({ type: zod.z.literal("bigint"), value: zod.z.string().regex(/^-?\d+$/).nullable() }).strict(),
+  zod.z.object({ type: zod.z.literal("integer"), value: zod.z.number().int().min(-2147483648).max(2147483647).nullable() }).strict(),
+  zod.z.object({ type: zod.z.literal("double"), value: zod.z.number().nullable() }).strict(),
+  zod.z.object({ type: zod.z.literal("boolean"), value: zod.z.boolean().nullable() }).strict()
+]);
+var sqlQueryInputSchema = zod.z.object({
+  sql: zod.z.string().min(1).max(65536).refine((value) => Buffer.byteLength(value) <= 65536, "SQL exceeds 64 KiB"),
+  parameters: zod.z.record(parameterName, parameter).refine((value) => Object.keys(value).length <= 128, "too many SQL parameters").default({})
+}).strict();
+async function compileRuntimeSql({ operation, input }) {
+  const contract = operation.sqlQuery;
+  if (!contract) throw new Error("missing runtime SQL contract");
+  const names = Object.keys(input.parameters).sort();
+  const plan = await compileOntologySql({
+    catalog: contract.catalog,
+    sql: bindNamedParameters({ sql: input.sql, names }),
+    parameterTypes: names.map((name2) => input.parameters[name2].type),
+    maxRows: contract.maxRows
+  });
+  if (plan.read.some((ref) => !contract.read.includes(ref))) throw new Error("SQL accesses an undeclared ontology object");
+  return compiledOperationSchema.parse({
+    ...operation,
+    sqlQuery: void 0,
+    irVersion: SQL_IR_VERSION,
+    variables: names.map((name2) => ({ name: name2, type: { kind: "scalar", scalar: input.parameters[name2].type }, nullable: true, list: false })),
+    tableSet: plan.read.map((ref) => ref.split("/")[1]).sort(),
+    sql: { text: plan.text, columns: plan.columns, parameters: names, read: plan.read, maxRows: plan.maxRows }
+  });
+}
+var DATASET_PREVIEW_LIMIT = 100;
+function compileDatasetPreviews(input) {
+  const canonical = normalizeCanonical(input);
+  const { ctx, diagnostics } = buildCompileContext(canonical);
+  if (diagnostics.some((diagnostic) => diagnostic.severity === "error")) throw new NamespaceCompileError(diagnostics);
+  const schemaHash = computeSchemaHash(canonical);
+  const operations = {};
+  for (const relation of canonicalRelations(canonical)) {
+    if (relation.internal || relation.source !== void 0) continue;
+    const columns = relation.columns.filter((column) => column.cell === void 0);
+    const { roots, tableSet } = injectPolicies({ ctx, roots: [{
+      kind: "select",
+      table: relation.table,
+      alias: "rows",
+      where: { kind: "const", value: true },
+      orderBy: [],
+      limit: { value: DATASET_PREVIEW_LIMIT, default: DATASET_PREVIEW_LIMIT, max: DATASET_PREVIEW_LIMIT },
+      selection: {
+        typename: ctx.tables[relation.table].typename,
+        columns: columns.map((column) => ({ column: column.name, alias: column.name })),
+        relations: [],
+        aggregates: []
+      }
+    }] });
+    for (const table of tableSet) {
+      const meta = ctx.tables[table];
+      if (meta.namespace && meta.namespace !== ctx.namespace && !meta.exportRead) {
+        throw new DocumentCompileError(`object '${meta.namespace}/${table}' is not exported for reads`, "unexported-object");
+      }
+    }
+    const hash = crypto.createHash("sha256").update("sequence-orm-dataset-preview-v1\0").update(stableJson({ schemaHash, roots, tableSet })).digest("hex");
+    operations[relation.table] = compiledOperationSchema.parse({
+      irVersion: canonical.imports?.length ? COMPOSED_IR_VERSION : LEGACY_IR_VERSION,
+      name: `DatasetPreview_${relation.table}`,
+      opHash: `sha256:${hash}`,
+      kind: "query",
+      requires: null,
+      variables: [],
+      tableSet,
+      roots
+    });
+  }
+  return operations;
+}
+
 exports.COMPILER_MAJOR = COMPILER_MAJOR;
 exports.CONST_TRUE = CONST_TRUE;
+exports.DATASET_PREVIEW_LIMIT = DATASET_PREVIEW_LIMIT;
 exports.DEFAULT_LIMIT = DEFAULT_LIMIT;
 exports.DocumentCompileError = DocumentCompileError;
 exports.MAX_LIMIT = MAX_LIMIT;
@@ -4848,18 +5815,23 @@ exports.camelCase = camelCase;
 exports.canonicalOperationText = canonicalOperationText;
 exports.classifyInputType = classifyInputType;
 exports.collectPinnedColumns = collectPinnedColumns;
+exports.compileDatasetPreviews = compileDatasetPreviews;
 exports.compileNamespace = compileNamespace;
 exports.compileNamespaceOrThrow = compileNamespaceOrThrow;
+exports.compileOperationDocuments = compileOperationDocuments;
 exports.compilePolicy = compilePolicy;
 exports.compilePredicateV2 = compilePredicateV2;
+exports.compileRuntimeSql = compileRuntimeSql;
 exports.computeOpHash = computeOpHash;
 exports.computeOpsHash = computeOpsHash;
 exports.computePinnedColumnsByTable = computePinnedColumnsByTable;
 exports.computeSchemaHash = computeSchemaHash;
+exports.defineOperation = defineOperation;
 exports.enumTypeName = enumTypeName;
 exports.flattenOperation = flattenOperation;
 exports.injectPolicies = injectPolicies;
 exports.inputTypeName = inputTypeName;
+exports.isSqlOperationDocument = isSqlOperationDocument;
 exports.lowerOperation = lowerOperation;
 exports.mutationRootNames = mutationRootNames;
 exports.parseDocuments = parseDocuments;
@@ -4871,6 +5843,8 @@ exports.predContains = predContains;
 exports.predContainsExists = predContainsExists;
 exports.queryRootNames = queryRootNames;
 exports.restrictOperation = restrictOperation;
+exports.sqlOperationDefinitionSchema = sqlOperationDefinitionSchema;
+exports.sqlQueryInputSchema = sqlQueryInputSchema;
 exports.typeNameForTable = typeNameForTable;
 exports.validateAppendInput = validateAppendInput;
 exports.validateBoolExpInput = validateBoolExpInput;