@prisma-next/family-sql 0.5.0-dev.4 → 0.5.0-dev.41

package/src/core/sql-migration.ts

@@ -1,3 +1,4 @@
+import { deriveProvidedInvariants } from '@prisma-next/migration-tools/invariants';
 import { Migration } from '@prisma-next/migration-tools/migration';
 import type { AnySqlMigrationOperation, SqlPlanTargetDetails } from './migrations/types';
 
@@ -31,4 +32,18 @@ import type { AnySqlMigrationOperation, SqlPlanTargetDetails } from './migration
 export abstract class SqlMigration<
   TDetails extends SqlPlanTargetDetails,
   TTargetId extends string = string,
-> extends Migration<AnySqlMigrationOperation<TDetails>, 'sql', TTargetId> {}
+> extends Migration<AnySqlMigrationOperation<TDetails>, 'sql', TTargetId> {
+  /**
+   * Sorted, deduplicated invariant ids declared by this migration's
+   * data-transform ops. Derived from `this.operations` so the field remains
+   * consistent with the operation list — planner-built plans (`db init`,
+   * `db update`) yield `[]` because they emit no data-transform ops.
+   *
+   * Required by `SqlMigrationPlan.providedInvariants` (tightened from
+   * optional at the SQL-family layer); the framework-level
+   * `MigrationPlan.providedInvariants?` stays optional.
+   */
+  get providedInvariants(): readonly string[] {
+    return deriveProvidedInvariants(this.operations);
+  }
+}

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/types-C6K4mxDM.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-C6K4mxDM.d.mts","names":[],"sources":["../src/core/control-instance.ts","../src/core/migrations/types.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;UAyJU,eAAA;;;;;AAzHsE;AAyHvD,KAOpB,uBAAA,GAA0B,GAAH,CAAA,MAAA,EAAe,eAAA,CAAZ;AAAG,UAExB,sBAAA,CAAsB;EACW,SAAA,gBAAA,EAAd,aAAc,CAAA,eAAA,CAAA;EAAd,SAAA,oBAAA,EACI,aADJ,CACkB,eADlB,CAAA;EACkB,SAAA,YAAA,EACtB,aADsB,CAAA,MAAA,CAAA;EAAd,SAAA,oBAAA,EAEA,uBAFA;;AAEA,UAGhB,mBAAA,CAHgB;EAAuB,SAAA,MAAA,EAIrC,qBAJqC,CAAA,KAAA,EAAA,MAAA,CAAA;EAGvC,SAAA,QAAA,EAAA,OAAmB;EACjB,SAAA,MAAA,EAAA,OAAA;EAGE,SAAA,OAAA,CAAA,EAAA,gBAAA;EAKyB;;;AAG9C;EACuC,SAAA,mBAAA,EAJP,aAIO,CAJO,8BAIP,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAGI,UAJ1B,wBAAA,SACP,qBAGiC,CAAA,KAAA,EAHJ,WAGI,CAAA,EAFvC,iBAEuC,CAFrB,WAEqB,CAAA,EADvC,sBACuC,CAAA;EAGtB,gBAAA,CAAA,YAAA,EAAA,OAAA,CAAA,EAHsB,QAGtB;EAKP,MAAA,CAAA,OAAA,EAAA;IAAR,SAAA,MAAA,EALe,qBAKf,CAAA,KAAA,EAAA,MAAA,CAAA;IAEkB,SAAA,QAAA,EAAA,OAAA;IAA8B,SAAA,gBAAA,EAAA,MAAA;IAAR,SAAA,YAAA,EAAA,MAAA;IAGzB,SAAA,UAAA,CAAA,EAAA,MAAA;EAIP,CAAA,CAAA,EATR,OASQ,CATA,oBASA,CAAA;EAAR,YAAA,CAAA,OAAA,EAPkB,mBAOlB,CAAA,EAPwC,OAOxC,CAPgD,0BAOhD,CAAA;EAGe,IAAA,CAAA,OAAA,EAAA;IAEP,SAAA,MAAA,EATO,qBASP,CAAA,KAAA,EAAA,MAAA,CAAA;IAAR,SAAA,QAAA,EAAA,OAAA;IAzBI,SAAA,YAAA,EAAA,MAAA;IACN,SAAA,UAAA,CAAA,EAAA,MAAA;EACA,CAAA,CAAA,EAkBE,OAlBF,CAkBU,kBAlBV,CAAA;EAAsB,UAAA,CAAA,OAAA,EAAA;qBAqBL;;MAEf,QAAQ;ACrLd;;;KAAY,SAAA,GAAY,SAAS;UAEhB;ED6HP,SAAA,EAAA,EAAA,MAAe;EAOpB,SAAA,KAAA,EAAA,MAAA;EAEK,SAAA,OAAA,EAAA,SCnImB,yBDmIG,CCnIuB,cDmIvB,CAAA,EAAA;;AACH,UCjIZ,6BDiIY,CAAA,cAAA,CAAA,CAAA;EACkB,SAAA,IAAA,CAAA,EAAA,SCjIpB,2BDiIoB,CCjIQ,cDiIR,CAAA,EAAA;;AACtB,UC/HR,0BAAA,CD+HQ;EACQ,SAAA,oBAAA,CAAA,EC/HC,6BD+HD,CAAA,OAAA,CAAA;;AAGhB,iBC/HD,4BAAA,CD+HoB,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IC/HmC,0BD+HnC;AACjB,iBC5HH,uBAAA,CD4HG,UAAA,EC3HL,aD2HK,CAAA,OAAA,CAAA,CAAA,EAAA,SC1HP,2BD0HO,CAAA,OAAA,CAAA,EAAA;AAGE,UClHJ,qBDkHI,CAAA,cAAA,CAAA,CAAA;EAKyB,SAAA,UAAA,EAAA,SCtHd,yBDsHc,CCtHY,cDsHZ,CAAA,EAAA;;;AAG9C;;AAEsB,UCrHL,qBAAA,CDqHK;EAEqB,SAAA,UAAA,EAAA,MAAA;EAGtB,SAAA,OAAA,CAAA,EAAA,MAAA;EAKP,SAAA,UAAA,CAAA,EC5HU,MD4HV,CAAA,MAAA,EAAA,OAAA,CAAA;;;;;;;;;AAcA,UChIG,yBAAA,CDgIH;EAAR,SAAA,UAAA,EAAA,MAAA;EAzBI,SAAA,OAAA,CAAA,EAAA,MAAA;EACN,SAAA,UAAA,CAAA,ECrGoB,MDqGpB,CAAA,MAAA,EAAA,OAAA,CAAA;;AACsB,UCnGT,iBDmGS,CAAA,iBAAA,OAAA,CAAA,CAAA;;;2BChGC;IA9Df,SAAS,QAAA,EA+DE,QA/DU,CA+DD,UA/DA,CAAA;IAEf,SAAA,MAAA,EA8DI,WA9DuB;IAM3B,SAAA,UAAA,CAAA,EAAA,MAA6B;IAI7B,SAAA,MAAA,EAsDI,wBArDa;EAGlB,CAAA,EAAA,GAmDR,qBAnDQ,CAmDc,cAnDc,CAA2B;EAIvD,UAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAaC,SAAA,QAAA,EAAA,MAAqB;IAOrB,SAAA,YAAqB,EA8BX,mBA3BG;IAUb,SAAA,MAAA,EAkBI,WAlBqB;IAMzB,SAAA,UAAiB,CAAA,EAAA,MAAA;EAGP,CAAA,EAAA,GAAA,SAWV,WAXU,EAAA;EACK,eAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAAT,SAAA,MAAA,EAYF,qBAZE,CAAA,KAAA,EAAA,MAAA,CAAA;IACF,SAAA,UAAA,CAAA,EAAA,MAAA;EAEA,CAAA,EAAA,GAWb,OAXa,CAWL,MAXK,CAAA,MAAA,EAWU,mBAXV,CAAA,CAAA;EACS;;;;;;;;;;EA+BG,gBAAA,CAAA,EAAA,CAAA,KAAA,EAVJ,qBAUI,EAAA,GAAA,MAAA;EAAyB;AAG1D;;;;;;;AAMA;EAC0C,oBAAA,CAAA,EAAA,CAAA,KAAA,EAVT,yBAUS,EAAA,GAAA,MAAA,GAAA,IAAA,GAAA,SAAA;;AACP,UARlB,6BAQkB,CAAA,kBAAA,MAAA,CAAA,SAPzB,0BAOyB,CAAA,KAAA,EAPS,SAOT,CAAA,CAAA;EADzB,SAAA,oBAAA,CAAA,EALwB,6BAKxB,CAAA,OAAA,CAAA;EAAwB,SAAA,eAAA,CAAA,EAAA,GAAA,GAJC,aAID,CAJe,sBAIf,CAAA;AAIlC;AAaiB,UAlBA,2BAkBoB,CAAA,kBAAA,MAAA,CAAA,SAjB3B,wBAiB2B,CAAA,KAAA,EAjBK,SAiBL,CAAA,CAAA;EAKpB,SAAA,eAAA,CAAA,EAAA,GAAA,GArBkB,aAqBa,CArBC,sBAuB5B,CAAA;AAGrB;AAEmD,UAzBlC,6BAAA,CAyBkC;EAAhC,SAAA,WAAA,EAAA,MAAA;EACW,SAAA,GAAA,EAAA,MAAA;EACD,SAAA,IAAA,CAAA,EAxBX,SAwBW;;;;;AAc7B;;;;AAE0B,UA9BT,oBAAA,CA8BS;EAET,SAAA,MAAA,EAAA,MAAA;EAKA,SAAA,IAAA,EAAA,MAAgB;;AAST,UAzCP,+BAyCO,CAAA,cAAA,CAAA,CAAA;EACkC,SAAA,EAAA,EAAA,MAAA;EAA1B,SAAA,OAAA,CAAA,EAxCX,cAwCW;;AAV0B,UA3BzC,yBA2ByC,CAAA,cAAA,CAAA,SA3BS,sBA2BT,CAAA;EAAa,SAAA,OAAA,CAAA,EAAA,MAAA;EAc3D,SAAA,MAAA,EAvCO,+BAuCe,CAvCiB,cAuCjB,CAAA;EAQjB,SAAA,QAAA,EAAA,SA9Ca,6BA8Ca,EAAA;EAQ1B,SAAA,OAAA,EAAA,SArDY,6BAqDO,EAAA;EACnB,SAAA,SAAA,EAAA,SArDc,6BAqDd,EAAA;EACK,SAAA,IAAA,CAAA,EArDJ,SAqDI;;;;AAItB;;;;;;AAMA;AAAsD,KAnD1C,wBAmD0C,CAAA,cAAA,CAAA,GAlDlD,yBAkDkD,CAlDxB,cAkDwB,CAAA,GAjDlD,sBAiDkD;AAEvB,UAjDd,4BAAA,CAiDc;EAFkB,SAAA,WAAA,EAAA,MAAA;EAAI,SAAA,WAAA,CAAA,EAAA,MAAA;AAKrD;AAC4B,UAhDX,gBAgDW,CAAA,cAAA,CAAA,SAhD8B,aAgD9B,CAAA;EAAxB;;;AAGJ;EAC8B,SAAA,MAAA,CAAA,EA/CV,4BA+CU,GAAA,IAAA;EAAT;;;EAYc,SAAA,WAAA,EAvDX,4BAuDW;EAAT,SAAA,UAAA,EAAA,SAtDM,yBAsDN,CAtDgC,cAsDhC,CAAA,EAAA;EAMoB,SAAA,IAAA,CAAA,EA3D5B,SA2D4B;;AAAD,KAxDjC,sBAAA,GAwDiC,cAAA,GAAA,qBAAA,GAAA,mBAAA,GAAA,oBAAA,GAAA,uBAAA,GAAA,sBAAA;AAG5B,UAnDA,0BAAA,CAmDmB;EACpB,SAAA,KAAA,CAAA,EAAA,MAAA;EAAkD,SAAA,MAAA,CAAA,EAAA,MAAA;EAAjB,SAAA,KAAA,CAAA,EAAA,MAAA;EAAgB,SAAA,UAAA,CAAA,EAAA,MAAA;EAGhD,SAAA,IAAA,CAAA,EAAA,MAAA;;AACc,UAhDd,kBAAA,SAA2B,wBAgDb,CAAA;EAC6B,SAAA,IAAA,EAhD3C,sBAgD2C;EAA1B,SAAA,QAAA,CAAA,EA/CZ,0BA+CY;EAAyB,SAAA,IAAA,CAAA,EA9CzC,SA8CyC;AAG3D;AACkC,UA/CjB,uBA+CiB,CAAA,cAAA,CAAA,SA9CxB,IA8CwB,CA9CnB,6BA8CmB,EAAA,MAAA,CAAA,CAAA;EAAjB,SAAA,IAAA,EAAA,SAAA;EACE,SAAA,IAAA,EA7CF,gBA6CE,CA7Ce,cA6Cf,CAAA;;AAKa,UA/Cf,uBAAA,SAAgC,IA+CjB,CA/CsB,6BA+CtB,EAAA,WAAA,CAAA,CAAA;EAKb,SAAA,IAAA,EAAA,SAAA;EAGuC,SAAA,SAAA,EAAA,SArD3B,kBAqD2B,EAAA;;AACrC,KAnDT,gBAmDS,CAAA,cAAA,CAAA,GAlDjB,uBAkDiB,CAlDO,cAkDP,CAAA,GAjDjB,uBAiDiB;AAKQ,UApDZ,8BAAA,CAoDY;EAMiB,SAAA,QAAA,EAzDzB,QAyDyB,CAzDhB,UAyDgB,CAAA;EAAd,SAAA,MAAA,EAxDb,WAwDa;EAAa,SAAA,MAAA,EAvD1B,wBAuD0B;EAGjC,SAAA,UAAA,CAAA,EAAA,MAAA;EASK;;;;;AAKjB;AAEA;;EAEE,SAAA,YAAA,CAAA,EAlEwB,QAkExB,CAlEiC,UAkEjC,CAAA,GAAA,IAAA;EAFqC;;AAKvC;;;EAGa,SAAA,mBAAA,EAlEmB,aAkEnB,CAlEiC,8BAkEjC,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAAD,UA/DK,mBA+DL,CAAA,cAAA,CAAA,CAAA;EAGK,IAAA,CAAA,OAAA,EAjED,8BAiE2B,CAAA,EAjEM,gBAiEN,CAjEuB,cAiEvB,CAAA;;AACY,UA/DtC,kCA+DsC,CAAA,cAAA,CAAA,CAAA;EACN,gBAAA,EAAA,SAAA,EA/DlB,yBA+DkB,CA/DQ,cA+DR,CAAA,CAAA,EAAA,IAAA;EAAd,mBAAA,EAAA,SAAA,EA9DD,yBA8DC,CA9DyB,cA8DzB,CAAA,CAAA,EAAA,IAAA;;AACoC,UA5DtD,gCA4DsD,CAAA,cAAA,CAAA,CAAA;EAApB,SAAA,IAAA,EA3DlC,gBA2DkC,CA3DjB,cA2DiB,CAAA;EAC5B,SAAA,MAAA,EA3DJ,qBA2DI,CAAA,KAAA,EAAA,MAAA,CAAA;EAA8C;;;;EAGpD,SAAA,mBAAA,EAzDe,QAyDc,CAzDL,UAyDK,CAAA;EAE1B;;;;EAGF,SAAA,MAAA,EAzDC,wBAyDD;EAAS,SAAA,UAAA,CAAA,EAAA,MAAA;;uBAtDJ,mCAAmC;qBACrC;;;;;6BAKQ;;;;;;gCAMG,cAAc;;KAGlC,2BAAA;UASK,yBAAA,SAAkC;iBAClC;kBACC;;UAGD,8BAAA,SAAuC;KAE5C,wBAAA,GAA2B,OACrC,gCACA;UAGe;mBAEJ,iCAAiC,kBACzC,QAAQ;;UAGI,6EACP,kCAAkC,WAAW;mCACpB,cAAc;wBACzB,2BAA2B,oBAAoB;uBAChD,2BAA2B,mBAAmB;;UAGpD;;oBAEG;wBACI;gCACQ,0BAA0B;kBACxC"}

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"}