@prisma-next/family-sql 0.5.0-dev.9 → 0.5.0

package/src/core/schema-verify/verify-helpers.ts

@@ -21,6 +21,39 @@ import type {
 } from '@prisma-next/sql-schema-ir/types';
 import type { ComponentDatabaseDependency } from '../migrations/types';
 
+function indexOptionsLooselyEqual(
+  a: Record<string, unknown> | undefined,
+  b: Record<string, unknown> | undefined,
+): boolean {
+  const aKeys = a ? Object.keys(a).sort() : [];
+  const bKeys = b ? Object.keys(b).sort() : [];
+  if (aKeys.length !== bKeys.length) return false;
+  for (let i = 0; i < aKeys.length; i += 1) {
+    if (aKeys[i] !== bKeys[i]) return false;
+  }
+  if (aKeys.length === 0) return true;
+  for (const key of aKeys) {
+    // Postgres introspection returns reloptions values as raw strings (e.g.
+    // `'70'`, `'false'`), while contract option leaves are typed (number,
+    // boolean, string). Compare via String() so a contract `fillfactor: 70`
+    // matches an introspected `fillfactor: '70'` without a spurious mismatch.
+    if (
+      String((a as Record<string, unknown>)[key]) !== String((b as Record<string, unknown>)[key])
+    ) {
+      return false;
+    }
+  }
+  return true;
+}
+
+function indexExtrasMatch(
+  contractIndex: Index,
+  schemaIndex: { readonly type?: string; readonly options?: Record<string, unknown> },
+): boolean {
+  if ((contractIndex.type ?? null) !== (schemaIndex.type ?? null)) return false;
+  return indexOptionsLooselyEqual(contractIndex.options, schemaIndex.options);
+}
+
 /**
  * Compares two arrays of strings for equality (order-sensitive).
  */
@@ -391,13 +424,19 @@ export function verifyIndexes(
 
     // Check for any matching index (unique or non-unique)
     // A unique index can satisfy a non-unique index requirement (stronger satisfies weaker)
-    const matchingIndex = schemaIndexes.find((idx) =>
-      arraysEqual(idx.columns, contractIndex.columns),
+    const matchingIndex = schemaIndexes.find(
+      (idx) =>
+        arraysEqual(idx.columns, contractIndex.columns) && indexExtrasMatch(contractIndex, idx),
     );
 
-    // Also check if a unique constraint satisfies the index requirement
+    // Also check if a unique constraint satisfies the index requirement.
+    // Unique constraints carry no type/options of their own, so they can only
+    // satisfy a contract index that doesn't request a specific type/options.
     const matchingUniqueConstraint =
-      !matchingIndex && schemaUniques.find((u) => arraysEqual(u.columns, contractIndex.columns));
+      !matchingIndex &&
+      contractIndex.type === undefined &&
+      contractIndex.options === undefined &&
+      schemaUniques.find((u) => arraysEqual(u.columns, contractIndex.columns));
 
     if (!matchingIndex && !matchingUniqueConstraint) {
       issues.push({
@@ -442,8 +481,9 @@ export function verifyIndexes(
         continue;
       }
 
-      const matchingIndex = contractIndexes.find((idx) =>
-        arraysEqual(idx.columns, schemaIndex.columns),
+      const matchingIndex = contractIndexes.find(
+        (idx) =>
+          arraysEqual(idx.columns, schemaIndex.columns) && indexExtrasMatch(idx, schemaIndex),
       );
 
       if (!matchingIndex) {

package/src/core/sql-migration.ts

@@ -1,34 +1,36 @@
+import { deriveProvidedInvariants } from '@prisma-next/migration-tools/invariants';
 import { Migration } from '@prisma-next/migration-tools/migration';
-import type { AnySqlMigrationOperation, SqlPlanTargetDetails } from './migrations/types';
+import type { SqlMigrationPlanOperation, SqlPlanTargetDetails } from './migrations/types';
 
 /**
  * Family-owned base class for SQL migrations.
  *
- * Parameterized on the target-details shape because SQL-family targets
- * (Postgres, MySQL, SQLite, …) each carry their own `target.details` payload
- * on `SqlMigrationPlanOperation`. The type parameter is narrowed to
- * `SqlPlanTargetDetails` so every target-specific shape must at minimum
- * identify the object being targeted (schema + name); concrete targets
- * extend the shape with their own fields.
+ * Generic in `TDetails` (family plan target details, e.g. Postgres vs SQLite)
+ * and in `TTargetId` (the literal target identifier, e.g. `'postgres'`).
  *
- * Each concrete target-side subclass (e.g. Postgres's
- * `TypeScriptRenderablePostgresMigration`) fixes `targetId` to its own
- * target-id string literal, since SQL can't hardcode a single `targetId`:
- * `targetId` is a target-level identity, not a family-level one, and
- * belongs on the subclass.
+ * Adapters (Postgres, SQLite, …) extend this with a concrete `TDetails` and
+ * a fixed `TTargetId` literal, so the public `Migration<TOp>` base sees the
+ * fully concrete operation shape. Target-free code in SQL family / tooling
+ * parameterises over `TDetails` (and usually `TTargetId = string`).
  *
- * `familyId` is intentionally not declared here. The SQL family has no
- * family-scoped runtime identity today — consumers reach the family via
- * target descriptors rather than by family-id lookup, so adding one would
- * be purely decorative. Introducing it later is a non-breaking superset.
- *
- * The operation type parameter is `AnySqlMigrationOperation<TDetails>` — the
- * union of DDL-shaped `SqlMigrationPlanOperation` and `DataTransformOperation`
- * — so subclasses can return a mix of schema operations (e.g. `setNotNull`,
- * `addColumn`) and data-transform operations (e.g. `dataTransform`). Mirrors
- * `MongoMigration`'s parameterization on `AnyMongoMigrationOperation`.
+ * Keeps target-free contract/runtime features in the family layer while
+ * letting adapters own target shape.
  */
 export abstract class SqlMigration<
   TDetails extends SqlPlanTargetDetails,
   TTargetId extends string = string,
-> extends Migration<AnySqlMigrationOperation<TDetails>, 'sql', TTargetId> {}
+> extends Migration<SqlMigrationPlanOperation<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/timestamp-now-generator.ts

@@ -0,0 +1,74 @@
+import type { AuthoringFieldPresetDescriptor } from '@prisma-next/framework-components/authoring';
+import type { MutationDefaultGeneratorDescriptor } from '@prisma-next/framework-components/control';
+
+/**
+ * Canonical id for the wall-clock-now mutation default generator.
+ *
+ * Owned by `family-sql` because that's where the generator lives. The
+ * id flows out from here to (1) the control-plane descriptor and the
+ * temporal field-preset pair below, (2) the runtime-plane sibling
+ * `timestamp-now-runtime-generator.ts`, and (3) authoring surfaces
+ * (PSL `temporal.updatedAt()`, TS `field.temporal.updatedAt()`) via
+ * the descriptor flow. Co-locating the constant with its only owner
+ * keeps the framework layer free of concrete generator ids.
+ */
+export const TIMESTAMP_NOW_GENERATOR_ID = 'timestampNow' as const;
+
+/**
+ * Builds the canonical control-plane descriptor for the wall-clock-now
+ * mutation default generator. The descriptor's `id` and `buildPhases`
+ * are target-agnostic so PSL `temporal.updatedAt()` and TS
+ * `field.temporal.updatedAt()` lower to byte-identical contracts.
+ *
+ * `applicableCodecIds` is omitted: `timestampNow` is preset-only (not
+ * reachable via `@default(timestampNow())` lowering), and the codec is
+ * co-registered by the preset descriptor itself, so the
+ * `@default(...)` compatibility check has no role to play here.
+ */
+export function timestampNowControlDescriptor(): MutationDefaultGeneratorDescriptor {
+  return {
+    id: TIMESTAMP_NOW_GENERATOR_ID,
+    buildPhases: () => ({
+      onCreate: { kind: 'generator', id: TIMESTAMP_NOW_GENERATOR_ID },
+      onUpdate: { kind: 'generator', id: TIMESTAMP_NOW_GENERATOR_ID },
+    }),
+  };
+}
+
+/**
+ * Builds the canonical `temporal.{createdAt,updatedAt}` field-preset pair
+ * for a SQL target. `createdAt` lowers to a `now()` storage default;
+ * `updatedAt` lowers to the `timestampNow` execution generator on both
+ * `onCreate` and `onUpdate` (RD: "last modified time", non-null). Targets
+ * supply the codec/native-type pair that matches their timestamp column;
+ * everything else is shared so PSL `temporal.updatedAt()` and TS
+ * `field.temporal.updatedAt()` lower to byte-identical contracts across
+ * targets by construction.
+ */
+export function temporalAuthoringPresets<
+  const CodecId extends string,
+  const NativeType extends string,
+>(input: { readonly codecId: CodecId; readonly nativeType: NativeType }) {
+  const { codecId, nativeType } = input;
+  return {
+    createdAt: {
+      kind: 'fieldPreset',
+      output: {
+        codecId,
+        nativeType,
+        default: { kind: 'function', expression: 'now()' },
+      },
+    },
+    updatedAt: {
+      kind: 'fieldPreset',
+      output: {
+        codecId,
+        nativeType,
+        executionDefaults: {
+          onCreate: { kind: 'generator', id: TIMESTAMP_NOW_GENERATOR_ID },
+          onUpdate: { kind: 'generator', id: TIMESTAMP_NOW_GENERATOR_ID },
+        },
+      },
+    },
+  } as const satisfies Record<string, AuthoringFieldPresetDescriptor>;
+}

package/src/core/timestamp-now-runtime-generator.ts

@@ -0,0 +1,24 @@
+import type { RuntimeMutationDefaultGenerator } from '@prisma-next/sql-runtime';
+import { TIMESTAMP_NOW_GENERATOR_ID } from './timestamp-now-generator';
+
+/**
+ * Builds the canonical runtime-plane generator for the wall-clock-now
+ * mutation default. Returns `new Date()`; semantics are target-agnostic
+ * so all SQL targets share this single implementation.
+ *
+ * Declares `stability: 'query'` so a single ORM bulk operation
+ * (e.g. `createAll([...])`) shares one timestamp across every row and
+ * every timestamp-defaulted column. Matches Prisma 6's `@updatedAt`
+ * semantics: one `new Date()` per lowered mutation, not per row.
+ *
+ * Lives in a runtime-plane-only module so the control-plane
+ * `timestamp-now-generator.ts` (descriptor + authoring presets) stays
+ * free of `@prisma-next/sql-runtime` imports.
+ */
+export function timestampNowRuntimeGenerator(): RuntimeMutationDefaultGenerator {
+  return {
+    id: TIMESTAMP_NOW_GENERATOR_ID,
+    generate: () => new Date(),
+    stability: 'query',
+  };
+}

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/control.ts

@@ -24,6 +24,8 @@ export {
   contractToSchemaIR,
   detectDestructiveChanges,
 } from '../core/migrations/contract-to-schema-ir';
+export type { PlanFieldEventOperationsOptions } from '../core/migrations/field-event-planner';
+export { planFieldEventOperations } from '../core/migrations/field-event-planner';
 export {
   createMigrationPlan,
   plannerFailure,
@@ -33,12 +35,16 @@ export {
 } from '../core/migrations/plan-helpers';
 export { INIT_ADDITIVE_POLICY } from '../core/migrations/policies';
 export type {
-  AnySqlMigrationOperation,
   CodecControlHooks,
   ComponentDatabaseDependencies,
   ComponentDatabaseDependency,
   CreateSqlMigrationPlanOptions,
   ExpandNativeTypeInput,
+  FieldEvent,
+  FieldEventContext,
+  MultiSpaceRunnerFailure,
+  MultiSpaceRunnerResult,
+  MultiSpaceRunnerSuccessValue,
   ResolveIdentityValueInput,
   SqlControlAdapterDescriptor,
   SqlControlExtensionDescriptor,
@@ -67,5 +73,9 @@ export type {
   StorageTypePlanResult,
 } from '../core/migrations/types';
 export { collectInitDependencies, isDatabaseDependencyProvider } from '../core/migrations/types';
+export {
+  temporalAuthoringPresets,
+  timestampNowControlDescriptor,
+} from '../core/timestamp-now-generator';
 
 export default new SqlFamilyDescriptor();

package/src/exports/runtime.ts

@@ -1,3 +1,5 @@
 import { sqlRuntimeFamilyDescriptor } from '../core/runtime-descriptor';
 
+export { timestampNowRuntimeGenerator } from '../core/timestamp-now-runtime-generator';
+
 export default sqlRuntimeFamilyDescriptor;

package/src/exports/test-utils.ts

@@ -5,6 +5,5 @@
 export {
   extractCodecTypeImports,
   extractComponentIds,
-  extractOperationTypeImports,
   extractQueryOperationTypeImports,
 } from '@prisma-next/framework-components/control';

package/src/exports/verify.ts

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

package/dist/authoring-type-constructors-BAR65pSK.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"authoring-type-constructors-BAR65pSK.mjs","names":[],"sources":["../src/core/authoring-field-presets.ts","../src/core/authoring-type-constructors.ts"],"sourcesContent":["import type { AuthoringFieldNamespace } from '@prisma-next/framework-components/authoring';\n\n/**\n * Family-level SQL authoring field presets.\n *\n * Only presets whose codec IDs align with the ID generator metadata live here\n * (see `@prisma-next/ids`). These presets are target-agnostic because the\n * generator metadata fixes their codec/native-type to `sql/char@1`\n * (`character`) regardless of target, and the PSL interpreter lets the\n * generator override the scalar descriptor.\n *\n * Scalar presets that map to target-specific codecs (e.g. `text`, `int`,\n * `boolean`, `dateTime`) are contributed by the target pack (see\n * `postgresAuthoringFieldPresets` in `@prisma-next/target-postgres`) so the\n * TS callback surface and the PSL scalar surface lower to byte-identical\n * contracts for the active target.\n */\n\nconst CHARACTER_CODEC_ID = 'sql/char@1';\nconst CHARACTER_NATIVE_TYPE = 'character';\n\nconst nanoidOptionsArgument = {\n  kind: 'object',\n  optional: true,\n  properties: {\n    size: {\n      kind: 'number',\n      optional: true,\n      integer: true,\n      minimum: 2,\n      maximum: 255,\n    },\n  },\n} as const;\n\nexport const sqlFamilyAuthoringFieldPresets = {\n  uuid: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 36,\n      },\n    },\n  },\n  ulid: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 26,\n      },\n    },\n  },\n  nanoid: {\n    kind: 'fieldPreset',\n    args: [nanoidOptionsArgument],\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: {\n          kind: 'arg',\n          index: 0,\n          path: ['size'],\n          default: 21,\n        },\n      },\n    },\n  },\n  cuid2: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 24,\n      },\n    },\n  },\n  ksuid: {\n    kind: 'fieldPreset',\n    output: {\n      codecId: CHARACTER_CODEC_ID,\n      nativeType: CHARACTER_NATIVE_TYPE,\n      typeParams: {\n        length: 27,\n      },\n    },\n  },\n  id: {\n    uuidv4: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 36,\n        },\n        executionDefault: {\n          kind: 'generator',\n          id: 'uuidv4',\n        },\n        id: true,\n      },\n    },\n    uuidv7: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 36,\n        },\n        executionDefault: {\n          kind: 'generator',\n          id: 'uuidv7',\n        },\n        id: true,\n      },\n    },\n    ulid: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 26,\n        },\n        executionDefault: {\n          kind: 'generator',\n          id: 'ulid',\n        },\n        id: true,\n      },\n    },\n    nanoid: {\n      kind: 'fieldPreset',\n      args: [nanoidOptionsArgument],\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: {\n            kind: 'arg',\n            index: 0,\n            path: ['size'],\n            default: 21,\n          },\n        },\n        executionDefault: {\n          kind: 'generator',\n          id: 'nanoid',\n          params: {\n            size: {\n              kind: 'arg',\n              index: 0,\n              path: ['size'],\n            },\n          },\n        },\n        id: true,\n      },\n    },\n    cuid2: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 24,\n        },\n        executionDefault: {\n          kind: 'generator',\n          id: 'cuid2',\n        },\n        id: true,\n      },\n    },\n    ksuid: {\n      kind: 'fieldPreset',\n      output: {\n        codecId: CHARACTER_CODEC_ID,\n        nativeType: CHARACTER_NATIVE_TYPE,\n        typeParams: {\n          length: 27,\n        },\n        executionDefault: {\n          kind: 'generator',\n          id: 'ksuid',\n        },\n        id: true,\n      },\n    },\n  },\n} as const satisfies AuthoringFieldNamespace;\n","import type { AuthoringTypeNamespace } from '@prisma-next/framework-components/authoring';\n\nexport const sqlFamilyAuthoringTypes = {\n  sql: {\n    String: {\n      kind: 'typeConstructor',\n      args: [{ kind: 'number', name: 'length', integer: true, minimum: 1, maximum: 10485760 }],\n      output: {\n        codecId: 'sql/varchar@1',\n        nativeType: 'character varying',\n        typeParams: {\n          length: { kind: 'arg', index: 0 },\n        },\n      },\n    },\n  },\n} as const satisfies AuthoringTypeNamespace;\n"],"mappings":";;;;;;;;;;;;;;;;AAkBA,MAAM,qBAAqB;AAC3B,MAAM,wBAAwB;AAE9B,MAAM,wBAAwB;CAC5B,MAAM;CACN,UAAU;CACV,YAAY,EACV,MAAM;EACJ,MAAM;EACN,UAAU;EACV,SAAS;EACT,SAAS;EACT,SAAS;EACV,EACF;CACF;AAED,MAAa,iCAAiC;CAC5C,MAAM;EACJ,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,IACT;GACF;EACF;CACD,MAAM;EACJ,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,IACT;GACF;EACF;CACD,QAAQ;EACN,MAAM;EACN,MAAM,CAAC,sBAAsB;EAC7B,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ;IACN,MAAM;IACN,OAAO;IACP,MAAM,CAAC,OAAO;IACd,SAAS;IACV,EACF;GACF;EACF;CACD,OAAO;EACL,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,IACT;GACF;EACF;CACD,OAAO;EACL,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,IACT;GACF;EACF;CACD,IAAI;EACF,QAAQ;GACN,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,IACT;IACD,kBAAkB;KAChB,MAAM;KACN,IAAI;KACL;IACD,IAAI;IACL;GACF;EACD,QAAQ;GACN,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,IACT;IACD,kBAAkB;KAChB,MAAM;KACN,IAAI;KACL;IACD,IAAI;IACL;GACF;EACD,MAAM;GACJ,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,IACT;IACD,kBAAkB;KAChB,MAAM;KACN,IAAI;KACL;IACD,IAAI;IACL;GACF;EACD,QAAQ;GACN,MAAM;GACN,MAAM,CAAC,sBAAsB;GAC7B,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ;KACN,MAAM;KACN,OAAO;KACP,MAAM,CAAC,OAAO;KACd,SAAS;KACV,EACF;IACD,kBAAkB;KAChB,MAAM;KACN,IAAI;KACJ,QAAQ,EACN,MAAM;MACJ,MAAM;MACN,OAAO;MACP,MAAM,CAAC,OAAO;MACf,EACF;KACF;IACD,IAAI;IACL;GACF;EACD,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,IACT;IACD,kBAAkB;KAChB,MAAM;KACN,IAAI;KACL;IACD,IAAI;IACL;GACF;EACD,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,IACT;IACD,kBAAkB;KAChB,MAAM;KACN,IAAI;KACL;IACD,IAAI;IACL;GACF;EACF;CACF;;;;ACnMD,MAAa,0BAA0B,EACrC,KAAK,EACH,QAAQ;CACN,MAAM;CACN,MAAM,CAAC;EAAE,MAAM;EAAU,MAAM;EAAU,SAAS;EAAM,SAAS;EAAG,SAAS;EAAU,CAAC;CACxF,QAAQ;EACN,SAAS;EACT,YAAY;EACZ,YAAY,EACV,QAAQ;GAAE,MAAM;GAAO,OAAO;GAAG,EAClC;EACF;CACF,EACF,EACF"}

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

package/dist/verify-sql-schema-BBhkqEDo.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-sql-schema-BBhkqEDo.d.mts","names":[],"sources":["../src/core/schema-verify/verify-sql-schema.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;AAqEgC,KA9BpB,iBAAA,GA8BoB,CAAA,UAAA,EAAA,MAAA,EAAA,UAAA,EAAA,MAAA,EAAA,GA3B3B,aA2B2B,GAAA,SAAA;;;;AAyBhC;;KA7CY,oBAAA;;;;UAKK,sBAAA;;qBAEI,SAAS;;mBAEX;;;;qBAIE;;iCAEY;;;;;;;gCAKD,cAAc;;;;;;8BAMhB;;;;;;iCAMG;;;;;;;;;;;;iBAajB,eAAA,UAAyB,yBAAyB"}