@prisma-next/family-sql 0.5.0-dev.2 → 0.5.0-dev.21

package/package.json

@@ -1,33 +1,32 @@
 {
   "name": "@prisma-next/family-sql",
-  "version": "0.5.0-dev.2",
+  "version": "0.5.0-dev.21",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/emitter": "0.5.0-dev.2",
-    "@prisma-next/contract": "0.5.0-dev.2",
-    "@prisma-next/operations": "0.5.0-dev.2",
-    "@prisma-next/migration-tools": "0.5.0-dev.2",
-    "@prisma-next/sql-contract": "0.5.0-dev.2",
-    "@prisma-next/sql-contract-emitter": "0.5.0-dev.2",
-    "@prisma-next/sql-contract-ts": "0.5.0-dev.2",
-    "@prisma-next/runtime-executor": "0.5.0-dev.2",
-    "@prisma-next/sql-operations": "0.5.0-dev.2",
-    "@prisma-next/sql-relational-core": "0.5.0-dev.2",
-    "@prisma-next/framework-components": "0.5.0-dev.2",
-    "@prisma-next/sql-runtime": "0.5.0-dev.2",
-    "@prisma-next/utils": "0.5.0-dev.2",
-    "@prisma-next/sql-schema-ir": "0.5.0-dev.2"
+    "@prisma-next/contract": "0.5.0-dev.21",
+    "@prisma-next/emitter": "0.5.0-dev.21",
+    "@prisma-next/framework-components": "0.5.0-dev.21",
+    "@prisma-next/operations": "0.5.0-dev.21",
+    "@prisma-next/sql-contract": "0.5.0-dev.21",
+    "@prisma-next/migration-tools": "0.5.0-dev.21",
+    "@prisma-next/sql-contract-emitter": "0.5.0-dev.21",
+    "@prisma-next/sql-contract-ts": "0.5.0-dev.21",
+    "@prisma-next/sql-operations": "0.5.0-dev.21",
+    "@prisma-next/sql-relational-core": "0.5.0-dev.21",
+    "@prisma-next/sql-runtime": "0.5.0-dev.21",
+    "@prisma-next/utils": "0.5.0-dev.21",
+    "@prisma-next/sql-schema-ir": "0.5.0-dev.21"
   },
   "devDependencies": {
     "tsdown": "0.18.4",
     "typescript": "5.9.3",
     "vitest": "4.0.17",
-    "@prisma-next/driver-postgres": "0.5.0-dev.2",
-    "@prisma-next/psl-parser": "0.5.0-dev.2",
-    "@prisma-next/sql-contract-psl": "0.5.0-dev.2",
+    "@prisma-next/driver-postgres": "0.5.0-dev.21",
+    "@prisma-next/sql-contract-psl": "0.5.0-dev.21",
+    "@prisma-next/psl-parser": "0.5.0-dev.21",
     "@prisma-next/test-utils": "0.0.1",
     "@prisma-next/tsconfig": "0.0.0",
     "@prisma-next/tsdown": "0.0.0"

package/src/core/control-adapter.ts

@@ -1,3 +1,4 @@
+import type { ContractMarkerRecord } from '@prisma-next/contract/types';
 import type {
   ControlAdapterInstance,
   ControlDriverInstance,
@@ -19,6 +20,17 @@ import type { DefaultNormalizer, NativeTypeNormalizer } from './schema-verify/ve
  */
 export interface SqlControlAdapter<TTarget extends string = string>
   extends ControlAdapterInstance<'sql', TTarget> {
+  /**
+   * Reads the contract marker from the database, returning `null` if the marker
+   * table or its row is missing. Implementations are responsible for the
+   * dialect-specific existence probe (e.g. Postgres `information_schema.tables`
+   * vs SQLite `sqlite_master`) and parameter placeholders.
+   *
+   * @param driver - ControlDriverInstance for executing queries (target-specific)
+   * @returns Resolved marker record, or `null` if not yet stamped.
+   */
+  readMarker(driver: ControlDriverInstance<'sql', TTarget>): Promise<ContractMarkerRecord | null>;
+
   /**
    * Introspects a database schema and returns a raw SqlSchemaIR.
    *

package/src/core/control-instance.ts

@@ -38,7 +38,7 @@ import type {
   SqlControlExtensionDescriptor,
 } from './migrations/types';
 import { verifySqlSchema } from './schema-verify/verify-sql-schema';
-import { collectSupportedCodecTypeIds, readMarker } from './verify';
+import { collectSupportedCodecTypeIds } from './verify';
 
 function extractCodecTypeIdsFromContract(contract: unknown): readonly string[] {
   const typeIds = new Set<string>();
@@ -217,7 +217,9 @@ function isSqlControlAdapter<TTargetId extends string>(
     typeof value === 'object' &&
     value !== null &&
     'introspect' in value &&
-    typeof (value as { introspect: unknown }).introspect === 'function'
+    typeof (value as { introspect: unknown }).introspect === 'function' &&
+    'readMarker' in value &&
+    typeof (value as { readMarker: unknown }).readMarker === 'function'
   );
 }
 
@@ -293,6 +295,20 @@ export function createSqlFamilyInstance<TTargetId extends string>(
     extensionPacks: extensions,
   });
 
+  // Family-instance methods accept `ControlDriverInstance<'sql', string>` —
+  // the family API isn't generic on the target id. Letting `isSqlControlAdapter`
+  // default its type parameter narrows the adapter to `SqlControlAdapter<string>`,
+  // which matches the family-level driver type without any cast at call sites.
+  const getControlAdapter = () => {
+    const controlAdapter = adapter.create(stack);
+    if (!isSqlControlAdapter(controlAdapter)) {
+      throw new Error(
+        'Adapter does not implement SqlControlAdapter (missing introspect or readMarker)',
+      );
+    }
+    return controlAdapter;
+  };
+
   return {
     familyId: 'sql',
     codecTypeImports,
@@ -326,7 +342,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
       const contractProfileHash = contract.profileHash;
       const contractTarget = contract.target;
 
-      const marker = await readMarker(driver);
+      const marker = await getControlAdapter().readMarker(driver);
 
       let missingCodecs: readonly string[] | undefined;
       let codecCoverageSkipped = false;
@@ -435,10 +451,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
 
       const contract = sqlValidateContract<Contract<SqlStorage>>(contractInput, emptyCodecLookup);
 
-      const controlAdapter = adapter.create(stack);
-      if (!isSqlControlAdapter(controlAdapter)) {
-        throw new Error('Adapter does not implement SqlControlAdapter.introspect()');
-      }
+      const controlAdapter = getControlAdapter();
       const schemaIR = await controlAdapter.introspect(driver, contractInput);
 
       return verifySqlSchema({
@@ -474,7 +487,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
       await driver.query(ensureSchemaStatement.sql, ensureSchemaStatement.params);
       await driver.query(ensureTableStatement.sql, ensureTableStatement.params);
 
-      const existingMarker = await readMarker(driver);
+      const existingMarker = await getControlAdapter().readMarker(driver);
 
       let markerCreated = false;
       let markerUpdated = false;
@@ -551,19 +564,13 @@ export function createSqlFamilyInstance<TTargetId extends string>(
     async readMarker(options: {
       readonly driver: ControlDriverInstance<'sql', string>;
     }): Promise<ContractMarkerRecord | null> {
-      return readMarker(options.driver);
+      return getControlAdapter().readMarker(options.driver);
     },
     async introspect(options: {
       readonly driver: ControlDriverInstance<'sql', string>;
       readonly contract?: unknown;
     }): Promise<SqlSchemaIR> {
-      const { driver, contract } = options;
-
-      const controlAdapter = adapter.create(stack);
-      if (!isSqlControlAdapter(controlAdapter)) {
-        throw new Error('Adapter does not implement SqlControlAdapter.introspect()');
-      }
-      return controlAdapter.introspect(driver, contract);
+      return getControlAdapter().introspect(options.driver, options.contract);
     },
 
     toSchemaView(schema: SqlSchemaIR): CoreSchemaView {

package/src/core/migrations/types.ts

@@ -296,6 +296,12 @@ export interface SqlMigrationRunnerExecuteOptions<TTargetDetails> {
    * All components must have matching familyId ('sql') and targetId.
    */
   readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+  /**
+   * Invariant ids contributed by this apply (the migration's `providedInvariants`).
+   * The runner unions these into `marker.invariants` atomically with the marker write.
+   * Defaults to `[]` for marker-only flows (`db update`, `db init`).
+   */
+  readonly invariants?: readonly string[];
 }
 
 export type SqlMigrationRunnerErrorCode =
@@ -305,6 +311,7 @@ export type SqlMigrationRunnerErrorCode =
   | 'PRECHECK_FAILED'
   | 'POSTCHECK_FAILED'
   | 'SCHEMA_VERIFY_FAILED'
+  | 'FOREIGN_KEY_VIOLATION'
   | 'EXECUTION_FAILED';
 
 export interface SqlMigrationRunnerFailure extends MigrationRunnerFailure {

package/src/core/verify.ts

@@ -1,5 +1,4 @@
 import type { ContractMarkerRecord } from '@prisma-next/contract/types';
-import type { ControlDriverInstance } from '@prisma-next/framework-components/control';
 import { type } from 'arktype';
 
 const MetaSchema = type({ '[string]': 'unknown' });
@@ -28,6 +27,40 @@ function parseMeta(meta: unknown): Record<string, unknown> {
   return result as Record<string, unknown>;
 }
 
+/**
+ * SQLite stores `contract_json` as TEXT, so the wire shape is a JSON string;
+ * Postgres uses `jsonb` and returns an already-parsed value. Normalize both
+ * here so `ContractMarkerRecord.contractJson` is always the structured form.
+ */
+function parseContractJson(value: unknown): unknown {
+  if (value === null || value === undefined) return null;
+  if (typeof value !== 'string') return value;
+  try {
+    return JSON.parse(value);
+  } catch {
+    return null;
+  }
+}
+
+/**
+ * Wire shape of a `prisma_contract.marker` row as it comes out of a SQL
+ * driver. Snake-cased to match the on-disk column names. Shared by every
+ * SQL target's `readMarker` so each runner doesn't redeclare it inline.
+ */
+export type ContractMarkerRow = {
+  core_hash: string;
+  profile_hash: string;
+  contract_json: unknown | null;
+  canonical_version: number | null;
+  updated_at: Date | string;
+  app_tag: string | null;
+  meta: unknown | null;
+  // SQLite stores arrays as JSON-TEXT, so this is `string` on the wire from
+  // a SQLite driver and `string[]` from a Postgres driver. Targets normalize
+  // before passing to `parseContractMarkerRow`.
+  invariants: unknown;
+};
+
 const ContractMarkerRowSchema = type({
   core_hash: 'string',
   profile_hash: 'string',
@@ -36,6 +69,7 @@ const ContractMarkerRowSchema = type({
   'updated_at?': 'Date | string',
   'app_tag?': 'string | null',
   'meta?': 'unknown | null',
+  invariants: type('string').array(),
 });
 
 /**
@@ -49,120 +83,24 @@ export function parseContractMarkerRow(row: unknown): ContractMarkerRecord {
     throw new Error(`Invalid contract marker row: ${messages}`);
   }
 
-  const validatedRow = result as {
-    core_hash: string;
-    profile_hash: string;
-    contract_json?: unknown | null;
-    canonical_version?: number | null;
-    updated_at?: Date | string;
-    app_tag?: string | null;
-    meta?: unknown | null;
-  };
-
-  const updatedAt = validatedRow.updated_at
-    ? validatedRow.updated_at instanceof Date
-      ? validatedRow.updated_at
-      : new Date(validatedRow.updated_at)
+  const updatedAt = result.updated_at
+    ? result.updated_at instanceof Date
+      ? result.updated_at
+      : new Date(result.updated_at)
     : new Date();
 
   return {
-    storageHash: validatedRow.core_hash,
-    profileHash: validatedRow.profile_hash,
-    contractJson: validatedRow.contract_json ?? null,
-    canonicalVersion: validatedRow.canonical_version ?? null,
+    storageHash: result.core_hash,
+    profileHash: result.profile_hash,
+    contractJson: parseContractJson(result.contract_json),
+    canonicalVersion: result.canonical_version ?? null,
     updatedAt,
-    appTag: validatedRow.app_tag ?? null,
-    meta: parseMeta(validatedRow.meta),
+    appTag: result.app_tag ?? null,
+    meta: parseMeta(result.meta),
+    invariants: result.invariants,
   };
 }
 
-/**
- * Returns the SQL statement to read the contract marker.
- * This is a migration-plane helper (no runtime imports).
- * @internal - Used internally by readMarker(). Prefer readMarker() for Control Plane usage.
- */
-export function readMarkerSql(): { readonly sql: string; readonly params: readonly unknown[] } {
-  return {
-    sql: `select
-      core_hash,
-      profile_hash,
-      contract_json,
-      canonical_version,
-      updated_at,
-      app_tag,
-      meta
-    from prisma_contract.marker
-    where id = $1`,
-    params: [1],
-  };
-}
-
-/**
- * Returns the SQL statement that probes for the existence of the marker table.
- * Uses the SQL-standard `information_schema.tables` view so the query succeeds
- * (returning zero rows) when the table has not been created yet — avoiding a
- * `relation does not exist` error. Some Postgres wire-protocol implementations
- * (e.g. PGlite's TCP proxy) do not fully recover from an extended-protocol
- * parse error, so we probe first instead of relying on an error signal.
- * @internal - Used internally by readMarker().
- */
-export function markerTableExistsSql(): {
-  readonly sql: string;
-  readonly params: readonly unknown[];
-} {
-  return {
-    sql: `select 1
-    from information_schema.tables
-    where table_schema = $1 and table_name = $2`,
-    params: ['prisma_contract', 'marker'],
-  };
-}
-
-/**
- * Reads the contract marker from the database using the provided driver.
- * Returns the parsed marker record or null if no marker is found.
- * This abstracts SQL-specific details from the Control Plane.
- *
- * @param driver - ControlDriverInstance instance for executing queries
- * @returns Promise resolving to ContractMarkerRecord or null if marker not found
- */
-export async function readMarker(
-  driver: ControlDriverInstance<'sql', string>,
-): Promise<ContractMarkerRecord | null> {
-  // Probe for the marker table first so that a fresh database (no
-  // `prisma_contract` schema) returns null cleanly instead of surfacing a
-  // `relation does not exist` error. This keeps the control connection in a
-  // predictable state for driver implementations that are sensitive to
-  // extended-protocol parse errors.
-  const existsStatement = markerTableExistsSql();
-  const existsResult = await driver.query(existsStatement.sql, existsStatement.params);
-  if (existsResult.rows.length === 0) {
-    return null;
-  }
-
-  const markerStatement = readMarkerSql();
-  const queryResult = await driver.query<{
-    core_hash: string;
-    profile_hash: string;
-    contract_json: unknown | null;
-    canonical_version: number | null;
-    updated_at: Date | string;
-    app_tag: string | null;
-    meta: unknown | null;
-  }>(markerStatement.sql, markerStatement.params);
-
-  if (queryResult.rows.length === 0) {
-    return null;
-  }
-
-  const markerRow = queryResult.rows[0];
-  if (!markerRow) {
-    throw new Error('Database query returned unexpected result structure');
-  }
-
-  return parseContractMarkerRow(markerRow);
-}
-
 /**
  * Collects supported codec type IDs from adapter and extension manifests.
  * Returns a sorted, unique array of type IDs that are declared in the manifests.

package/src/exports/verify.ts

@@ -1 +1 @@
-export { parseContractMarkerRow, readMarker, readMarkerSql } from '../core/verify';
+export { type ContractMarkerRow, parseContractMarkerRow } from '../core/verify';

package/dist/verify-4GshvY4p.mjs

@@ -1,122 +0,0 @@
-import { type } from "arktype";
-
-//#region src/core/verify.ts
-const MetaSchema = type({ "[string]": "unknown" });
-function parseMeta(meta) {
-	if (meta === null || meta === void 0) return {};
-	let parsed;
-	if (typeof meta === "string") try {
-		parsed = JSON.parse(meta);
-	} catch {
-		return {};
-	}
-	else parsed = meta;
-	const result = MetaSchema(parsed);
-	if (result instanceof type.errors) return {};
-	return result;
-}
-const ContractMarkerRowSchema = type({
-	core_hash: "string",
-	profile_hash: "string",
-	"contract_json?": "unknown | null",
-	"canonical_version?": "number | null",
-	"updated_at?": "Date | string",
-	"app_tag?": "string | null",
-	"meta?": "unknown | null"
-});
-/**
-* Parses a contract marker row from database query result.
-* This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).
-*/
-function parseContractMarkerRow(row) {
-	const result = ContractMarkerRowSchema(row);
-	if (result instanceof type.errors) {
-		const messages = result.map((p) => p.message).join("; ");
-		throw new Error(`Invalid contract marker row: ${messages}`);
-	}
-	const validatedRow = result;
-	const updatedAt = validatedRow.updated_at ? validatedRow.updated_at instanceof Date ? validatedRow.updated_at : new Date(validatedRow.updated_at) : /* @__PURE__ */ new Date();
-	return {
-		storageHash: validatedRow.core_hash,
-		profileHash: validatedRow.profile_hash,
-		contractJson: validatedRow.contract_json ?? null,
-		canonicalVersion: validatedRow.canonical_version ?? null,
-		updatedAt,
-		appTag: validatedRow.app_tag ?? null,
-		meta: parseMeta(validatedRow.meta)
-	};
-}
-/**
-* Returns the SQL statement to read the contract marker.
-* This is a migration-plane helper (no runtime imports).
-* @internal - Used internally by readMarker(). Prefer readMarker() for Control Plane usage.
-*/
-function readMarkerSql() {
-	return {
-		sql: `select
-      core_hash,
-      profile_hash,
-      contract_json,
-      canonical_version,
-      updated_at,
-      app_tag,
-      meta
-    from prisma_contract.marker
-    where id = $1`,
-		params: [1]
-	};
-}
-/**
-* Returns the SQL statement that probes for the existence of the marker table.
-* Uses the SQL-standard `information_schema.tables` view so the query succeeds
-* (returning zero rows) when the table has not been created yet — avoiding a
-* `relation does not exist` error. Some Postgres wire-protocol implementations
-* (e.g. PGlite's TCP proxy) do not fully recover from an extended-protocol
-* parse error, so we probe first instead of relying on an error signal.
-* @internal - Used internally by readMarker().
-*/
-function markerTableExistsSql() {
-	return {
-		sql: `select 1
-    from information_schema.tables
-    where table_schema = $1 and table_name = $2`,
-		params: ["prisma_contract", "marker"]
-	};
-}
-/**
-* Reads the contract marker from the database using the provided driver.
-* Returns the parsed marker record or null if no marker is found.
-* This abstracts SQL-specific details from the Control Plane.
-*
-* @param driver - ControlDriverInstance instance for executing queries
-* @returns Promise resolving to ContractMarkerRecord or null if marker not found
-*/
-async function readMarker(driver) {
-	const existsStatement = markerTableExistsSql();
-	if ((await driver.query(existsStatement.sql, existsStatement.params)).rows.length === 0) return null;
-	const markerStatement = readMarkerSql();
-	const queryResult = await driver.query(markerStatement.sql, markerStatement.params);
-	if (queryResult.rows.length === 0) return null;
-	const markerRow = queryResult.rows[0];
-	if (!markerRow) throw new Error("Database query returned unexpected result structure");
-	return parseContractMarkerRow(markerRow);
-}
-/**
-* Collects supported codec type IDs from adapter and extension manifests.
-* Returns a sorted, unique array of type IDs that are declared in the manifests.
-* This enables coverage checks by comparing contract column types against supported types.
-*
-* Note: This extracts type IDs from manifest type imports, not from runtime codec registries.
-* The manifests declare which codec types are available, but the actual type IDs
-* are defined in the codec-types TypeScript modules that are imported.
-*
-* For MVP, we return an empty array since extracting type IDs from TypeScript modules
-* would require runtime evaluation or static analysis. This can be enhanced later.
-*/
-function collectSupportedCodecTypeIds(descriptors) {
-	return [];
-}
-
-//#endregion
-export { readMarkerSql as i, parseContractMarkerRow as n, readMarker as r, collectSupportedCodecTypeIds as t };
-//# sourceMappingURL=verify-4GshvY4p.mjs.map

package/dist/verify-4GshvY4p.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-4GshvY4p.mjs","names":["parsed: unknown"],"sources":["../src/core/verify.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type { ControlDriverInstance } from '@prisma-next/framework-components/control';\nimport { type } from 'arktype';\n\nconst MetaSchema = type({ '[string]': 'unknown' });\n\nfunction parseMeta(meta: unknown): Record<string, unknown> {\n  if (meta === null || meta === undefined) {\n    return {};\n  }\n\n  let parsed: unknown;\n  if (typeof meta === 'string') {\n    try {\n      parsed = JSON.parse(meta);\n    } catch {\n      return {};\n    }\n  } else {\n    parsed = meta;\n  }\n\n  const result = MetaSchema(parsed);\n  if (result instanceof type.errors) {\n    return {};\n  }\n\n  return result as Record<string, unknown>;\n}\n\nconst ContractMarkerRowSchema = type({\n  core_hash: 'string',\n  profile_hash: 'string',\n  'contract_json?': 'unknown | null',\n  'canonical_version?': 'number | null',\n  'updated_at?': 'Date | string',\n  'app_tag?': 'string | null',\n  'meta?': 'unknown | null',\n});\n\n/**\n * Parses a contract marker row from database query result.\n * This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).\n */\nexport function parseContractMarkerRow(row: unknown): ContractMarkerRecord {\n  const result = ContractMarkerRowSchema(row);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Invalid contract marker row: ${messages}`);\n  }\n\n  const validatedRow = result as {\n    core_hash: string;\n    profile_hash: string;\n    contract_json?: unknown | null;\n    canonical_version?: number | null;\n    updated_at?: Date | string;\n    app_tag?: string | null;\n    meta?: unknown | null;\n  };\n\n  const updatedAt = validatedRow.updated_at\n    ? validatedRow.updated_at instanceof Date\n      ? validatedRow.updated_at\n      : new Date(validatedRow.updated_at)\n    : new Date();\n\n  return {\n    storageHash: validatedRow.core_hash,\n    profileHash: validatedRow.profile_hash,\n    contractJson: validatedRow.contract_json ?? null,\n    canonicalVersion: validatedRow.canonical_version ?? null,\n    updatedAt,\n    appTag: validatedRow.app_tag ?? null,\n    meta: parseMeta(validatedRow.meta),\n  };\n}\n\n/**\n * Returns the SQL statement to read the contract marker.\n * This is a migration-plane helper (no runtime imports).\n * @internal - Used internally by readMarker(). Prefer readMarker() for Control Plane usage.\n */\nexport function readMarkerSql(): { readonly sql: string; readonly params: readonly unknown[] } {\n  return {\n    sql: `select\n      core_hash,\n      profile_hash,\n      contract_json,\n      canonical_version,\n      updated_at,\n      app_tag,\n      meta\n    from prisma_contract.marker\n    where id = $1`,\n    params: [1],\n  };\n}\n\n/**\n * Returns the SQL statement that probes for the existence of the marker table.\n * Uses the SQL-standard `information_schema.tables` view so the query succeeds\n * (returning zero rows) when the table has not been created yet — avoiding a\n * `relation does not exist` error. Some Postgres wire-protocol implementations\n * (e.g. PGlite's TCP proxy) do not fully recover from an extended-protocol\n * parse error, so we probe first instead of relying on an error signal.\n * @internal - Used internally by readMarker().\n */\nexport function markerTableExistsSql(): {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n} {\n  return {\n    sql: `select 1\n    from information_schema.tables\n    where table_schema = $1 and table_name = $2`,\n    params: ['prisma_contract', 'marker'],\n  };\n}\n\n/**\n * Reads the contract marker from the database using the provided driver.\n * Returns the parsed marker record or null if no marker is found.\n * This abstracts SQL-specific details from the Control Plane.\n *\n * @param driver - ControlDriverInstance instance for executing queries\n * @returns Promise resolving to ContractMarkerRecord or null if marker not found\n */\nexport async function readMarker(\n  driver: ControlDriverInstance<'sql', string>,\n): Promise<ContractMarkerRecord | null> {\n  // Probe for the marker table first so that a fresh database (no\n  // `prisma_contract` schema) returns null cleanly instead of surfacing a\n  // `relation does not exist` error. This keeps the control connection in a\n  // predictable state for driver implementations that are sensitive to\n  // extended-protocol parse errors.\n  const existsStatement = markerTableExistsSql();\n  const existsResult = await driver.query(existsStatement.sql, existsStatement.params);\n  if (existsResult.rows.length === 0) {\n    return null;\n  }\n\n  const markerStatement = readMarkerSql();\n  const queryResult = await driver.query<{\n    core_hash: string;\n    profile_hash: string;\n    contract_json: unknown | null;\n    canonical_version: number | null;\n    updated_at: Date | string;\n    app_tag: string | null;\n    meta: unknown | null;\n  }>(markerStatement.sql, markerStatement.params);\n\n  if (queryResult.rows.length === 0) {\n    return null;\n  }\n\n  const markerRow = queryResult.rows[0];\n  if (!markerRow) {\n    throw new Error('Database query returned unexpected result structure');\n  }\n\n  return parseContractMarkerRow(markerRow);\n}\n\n/**\n * Collects supported codec type IDs from adapter and extension manifests.\n * Returns a sorted, unique array of type IDs that are declared in the manifests.\n * This enables coverage checks by comparing contract column types against supported types.\n *\n * Note: This extracts type IDs from manifest type imports, not from runtime codec registries.\n * The manifests declare which codec types are available, but the actual type IDs\n * are defined in the codec-types TypeScript modules that are imported.\n *\n * For MVP, we return an empty array since extracting type IDs from TypeScript modules\n * would require runtime evaluation or static analysis. This can be enhanced later.\n */\nexport function collectSupportedCodecTypeIds(\n  descriptors: ReadonlyArray<{ readonly id: string }>,\n): readonly string[] {\n  // For MVP, return empty array\n  // Future enhancement: Extract type IDs from codec-types modules via static analysis\n  // or require manifests to explicitly list supported type IDs\n  void descriptors;\n  return [];\n}\n"],"mappings":";;;AAIA,MAAM,aAAa,KAAK,EAAE,YAAY,WAAW,CAAC;AAElD,SAAS,UAAU,MAAwC;AACzD,KAAI,SAAS,QAAQ,SAAS,OAC5B,QAAO,EAAE;CAGX,IAAIA;AACJ,KAAI,OAAO,SAAS,SAClB,KAAI;AACF,WAAS,KAAK,MAAM,KAAK;SACnB;AACN,SAAO,EAAE;;KAGX,UAAS;CAGX,MAAM,SAAS,WAAW,OAAO;AACjC,KAAI,kBAAkB,KAAK,OACzB,QAAO,EAAE;AAGX,QAAO;;AAGT,MAAM,0BAA0B,KAAK;CACnC,WAAW;CACX,cAAc;CACd,kBAAkB;CAClB,sBAAsB;CACtB,eAAe;CACf,YAAY;CACZ,SAAS;CACV,CAAC;;;;;AAMF,SAAgB,uBAAuB,KAAoC;CACzE,MAAM,SAAS,wBAAwB,IAAI;AAC3C,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,gCAAgC,WAAW;;CAG7D,MAAM,eAAe;CAUrB,MAAM,YAAY,aAAa,aAC3B,aAAa,sBAAsB,OACjC,aAAa,aACb,IAAI,KAAK,aAAa,WAAW,mBACnC,IAAI,MAAM;AAEd,QAAO;EACL,aAAa,aAAa;EAC1B,aAAa,aAAa;EAC1B,cAAc,aAAa,iBAAiB;EAC5C,kBAAkB,aAAa,qBAAqB;EACpD;EACA,QAAQ,aAAa,WAAW;EAChC,MAAM,UAAU,aAAa,KAAK;EACnC;;;;;;;AAQH,SAAgB,gBAA+E;AAC7F,QAAO;EACL,KAAK;;;;;;;;;;EAUL,QAAQ,CAAC,EAAE;EACZ;;;;;;;;;;;AAYH,SAAgB,uBAGd;AACA,QAAO;EACL,KAAK;;;EAGL,QAAQ,CAAC,mBAAmB,SAAS;EACtC;;;;;;;;;;AAWH,eAAsB,WACpB,QACsC;CAMtC,MAAM,kBAAkB,sBAAsB;AAE9C,MADqB,MAAM,OAAO,MAAM,gBAAgB,KAAK,gBAAgB,OAAO,EACnE,KAAK,WAAW,EAC/B,QAAO;CAGT,MAAM,kBAAkB,eAAe;CACvC,MAAM,cAAc,MAAM,OAAO,MAQ9B,gBAAgB,KAAK,gBAAgB,OAAO;AAE/C,KAAI,YAAY,KAAK,WAAW,EAC9B,QAAO;CAGT,MAAM,YAAY,YAAY,KAAK;AACnC,KAAI,CAAC,UACH,OAAM,IAAI,MAAM,sDAAsD;AAGxE,QAAO,uBAAuB,UAAU;;;;;;;;;;;;;;AAe1C,SAAgB,6BACd,aACmB;AAKnB,QAAO,EAAE"}