@prisma-next/family-sql 0.5.0-dev.66 → 0.5.0-dev.68

package/src/core/migrations/field-event-planner.ts

@@ -0,0 +1,196 @@
+/**
+ * Codec lifecycle hook planner — runs `onFieldEvent` for every per-field
+ * delta between two contracts and concatenates the returned ops in a
+ * deterministic order.
+ *
+ * Wired by each target's planner (`PostgresMigrationPlanner`,
+ * `SqliteMigrationPlanner`) so codec-emitted ops are inlined alongside
+ * structural DDL in the app-space migration's `ops.json`. Pure, target-
+ * agnostic, and only ever invoked at the app-space emitter; extension-space
+ * planning never reaches this helper.
+ *
+ * Ordering rules:
+ *
+ * - Events are grouped by phase: `'added'` → `'dropped'` → `'altered'`.
+ * - Within each phase, entries are sorted alphabetically by
+ *   `(tableName, fieldName)`.
+ * - The hook's returned ops are appended in the order the hook returned them.
+ *
+ * `'altered'` is suppressed when only `codecId` differs (codec rotation is a
+ * v1 non-goal).
+ */
+
+import type { Contract } from '@prisma-next/contract/types';
+import type { SqlStorage, StorageColumn, StorageTable } from '@prisma-next/sql-contract/types';
+import type {
+  CodecControlHooks,
+  FieldEvent,
+  FieldEventContext,
+  SqlMigrationPlanOperation,
+} from './types';
+
+export interface PlanFieldEventOperationsOptions {
+  /**
+   * Prior contract the planner is diffing against. `null` for first emits
+   * (every field is treated as added).
+   */
+  readonly priorContract: Contract<SqlStorage> | null;
+  /**
+   * New contract the user just authored.
+   */
+  readonly newContract: Contract<SqlStorage>;
+  /**
+   * Codec-id keyed map of control hooks, as produced by
+   * {@link import('./assembly').extractCodecControlHooks}. Hooks carry
+   * `unknown` target details after extraction; the caller casts the
+   * helper's returned ops to its target's `SqlMigrationPlanOperation`
+   * specialisation at the integration boundary, mirroring how
+   * `storageTypePlanCallStrategy` lifts `planTypeOperations` results into
+   * `RawSqlCall`.
+   */
+  readonly codecHooks: ReadonlyMap<string, CodecControlHooks>;
+}
+
+interface FieldEntry {
+  readonly tableName: string;
+  readonly fieldName: string;
+  readonly priorTable: StorageTable | undefined;
+  readonly newTable: StorageTable | undefined;
+  readonly priorField: StorageColumn | undefined;
+  readonly newField: StorageColumn | undefined;
+}
+
+export function planFieldEventOperations(
+  options: PlanFieldEventOperationsOptions,
+): readonly SqlMigrationPlanOperation<unknown>[] {
+  const priorTables = options.priorContract?.storage.tables ?? {};
+  const newTables = options.newContract.storage.tables;
+
+  const added: FieldEntry[] = [];
+  const dropped: FieldEntry[] = [];
+  const altered: FieldEntry[] = [];
+
+  const tableNames = unionSorted(Object.keys(priorTables), Object.keys(newTables));
+  for (const tableName of tableNames) {
+    const priorTable = priorTables[tableName];
+    const newTable = newTables[tableName];
+    const fieldNames = unionSorted(
+      priorTable ? Object.keys(priorTable.columns) : [],
+      newTable ? Object.keys(newTable.columns) : [],
+    );
+    for (const fieldName of fieldNames) {
+      const priorField = priorTable?.columns[fieldName];
+      const newField = newTable?.columns[fieldName];
+      const entry: FieldEntry = {
+        tableName,
+        fieldName,
+        priorTable,
+        newTable,
+        priorField,
+        newField,
+      };
+      if (priorField === undefined && newField !== undefined) {
+        added.push(entry);
+      } else if (priorField !== undefined && newField === undefined) {
+        dropped.push(entry);
+      } else if (priorField !== undefined && newField !== undefined) {
+        if (isAlteration(priorField, newField)) altered.push(entry);
+      }
+    }
+  }
+
+  const ops: SqlMigrationPlanOperation<unknown>[] = [];
+  appendOps('added', added, options.codecHooks, ops, (e) => e.newField?.codecId);
+  appendOps('dropped', dropped, options.codecHooks, ops, (e) => e.priorField?.codecId);
+  appendOps('altered', altered, options.codecHooks, ops, (e) => e.newField?.codecId);
+  return ops;
+}
+
+function appendOps(
+  event: FieldEvent,
+  entries: readonly FieldEntry[],
+  codecHooks: ReadonlyMap<string, CodecControlHooks>,
+  ops: SqlMigrationPlanOperation<unknown>[],
+  pickCodecId: (entry: FieldEntry) => string | undefined,
+): void {
+  for (const entry of entries) {
+    const codecId = pickCodecId(entry);
+    if (codecId === undefined) continue;
+    const hook = codecHooks.get(codecId);
+    if (!hook?.onFieldEvent) continue;
+    const ctx = buildContext(event, entry);
+    const emitted = hook.onFieldEvent(event, ctx);
+    for (const op of emitted) ops.push(op);
+  }
+}
+
+/**
+ * The context's prior/new sides are scoped to the event:
+ *
+ * - `'added'`   — only `newTable` / `newField` populated.
+ * - `'dropped'` — only `priorTable` / `priorField` populated.
+ * - `'altered'` — both sides populated.
+ */
+function buildContext(event: FieldEvent, entry: FieldEntry): FieldEventContext {
+  const base = { tableName: entry.tableName, fieldName: entry.fieldName };
+  if (event === 'added') {
+    return {
+      ...base,
+      ...(entry.newTable !== undefined ? { newTable: entry.newTable } : {}),
+      ...(entry.newField !== undefined ? { newField: entry.newField } : {}),
+    };
+  }
+  if (event === 'dropped') {
+    return {
+      ...base,
+      ...(entry.priorTable !== undefined ? { priorTable: entry.priorTable } : {}),
+      ...(entry.priorField !== undefined ? { priorField: entry.priorField } : {}),
+    };
+  }
+  return {
+    ...base,
+    ...(entry.priorTable !== undefined ? { priorTable: entry.priorTable } : {}),
+    ...(entry.newTable !== undefined ? { newTable: entry.newTable } : {}),
+    ...(entry.priorField !== undefined ? { priorField: entry.priorField } : {}),
+    ...(entry.newField !== undefined ? { newField: entry.newField } : {}),
+  };
+}
+
+/**
+ * `'altered'` predicate. Returns `false` whenever `codecId` differs —
+ * any codec change suppresses the `altered` event entirely, including
+ * cases where another property also differs in the same diff. Codec
+ * rotation is a v1 non-goal (project spec § Non-goals); avoiding the
+ * mixed event keeps the migration semantics for codec changes explicit
+ * (out of scope) rather than smuggling them through as `altered`.
+ *
+ * For non-`codecId` diffs, returns `true` iff any other column property
+ * differs.
+ */
+function isAlteration(prior: StorageColumn, current: StorageColumn): boolean {
+  if (prior.codecId !== current.codecId) return false;
+  return !sameStorageColumn(prior, current);
+}
+
+function sameStorageColumn(a: StorageColumn, b: StorageColumn): boolean {
+  if (a === b) return true;
+  if (a.nativeType !== b.nativeType) return false;
+  if (a.nullable !== b.nullable) return false;
+  if (a.typeRef !== b.typeRef) return false;
+  if (!sameJson(a.typeParams, b.typeParams)) return false;
+  if (!sameJson(a.default, b.default)) return false;
+  return true;
+}
+
+function sameJson(a: unknown, b: unknown): boolean {
+  if (a === b) return true;
+  if (a === undefined || b === undefined) return false;
+  return JSON.stringify(a) === JSON.stringify(b);
+}
+
+function unionSorted(a: readonly string[], b: readonly string[]): readonly string[] {
+  const set = new Set<string>();
+  for (const name of a) set.add(name);
+  for (const name of b) set.add(name);
+  return [...set].sort((x, y) => (x < y ? -1 : x > y ? 1 : 0));
+}

package/src/core/migrations/types.ts

@@ -18,7 +18,12 @@ import type {
   OperationContext,
   SchemaIssue,
 } from '@prisma-next/framework-components/control';
-import type { SqlStorage, StorageTypeInstance } from '@prisma-next/sql-contract/types';
+import type {
+  SqlStorage,
+  StorageColumn,
+  StorageTable,
+  StorageTypeInstance,
+} from '@prisma-next/sql-contract/types';
 import type { SqlOperationDescriptor } from '@prisma-next/sql-operations';
 import type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
 import type { Result } from '@prisma-next/utils/result';
@@ -83,6 +88,41 @@ export interface ResolveIdentityValueInput {
   readonly typeParams?: Record<string, unknown>;
 }
 
+/**
+ * Per-field lifecycle event a codec hook can react to.
+ *
+ * Fired during app-space migration emission as the SQL family diffs the
+ * prior contract against the new contract.
+ *
+ * - `'added'`     — the field is present in the new contract but not the prior.
+ * - `'dropped'`   — the field is present in the prior contract but not the new.
+ * - `'altered'`   — the field is present in both and any property other than
+ *                   `codecId` differs. Codec-id changes are a v1 non-goal:
+ *                   when only `codecId` differs, no `'altered'` event fires.
+ */
+export type FieldEvent = 'added' | 'dropped' | 'altered';
+
+/**
+ * Context passed to {@link CodecControlHooks.onFieldEvent}.
+ *
+ * `tableName` and `fieldName` are always populated; `priorTable` /
+ * `priorField` carry the prior contract's view of the table and column
+ * (present for `'dropped'` and `'altered'`); `newTable` / `newField`
+ * carry the new contract's view (present for `'added'` and `'altered'`).
+ *
+ * The hook only ever receives app-space contract IR — extension-space
+ * fields are scoped out by the API: the hook is wired at the
+ * application emitter only.
+ */
+export interface FieldEventContext {
+  readonly tableName: string;
+  readonly fieldName: string;
+  readonly priorTable?: StorageTable;
+  readonly newTable?: StorageTable;
+  readonly priorField?: StorageColumn;
+  readonly newField?: StorageColumn;
+}
+
 export interface CodecControlHooks<TTargetDetails = unknown> {
   planTypeOperations?: (options: {
     readonly typeName: string;
@@ -123,6 +163,21 @@ export interface CodecControlHooks<TTargetDetails = unknown> {
    * - undefined: no opinion; planner may use built-in fallbacks
    */
   resolveIdentityValue?: (input: ResolveIdentityValueInput) => string | null | undefined;
+  /**
+   * Reacts to per-field added / dropped / altered events as the app-space
+   * emitter diffs the prior contract against the new contract. Returned
+   * ops are inlined into the app-space migration's `ops.json` alongside
+   * the user's structural ops.
+   *
+   * Synchronous. Each returned op must carry its own `invariantId`. Hooks
+   * are dispatched per `(table, field)` based on the field's `codecId`
+   * (the new field's codec for `'added'` / `'altered'`; the prior field's
+   * codec for `'dropped'`).
+   */
+  onFieldEvent?: (
+    event: FieldEvent,
+    ctx: FieldEventContext,
+  ) => readonly SqlMigrationPlanOperation<TTargetDetails>[];
 }
 
 export interface SqlControlExtensionDescriptor<TTargetId extends string>
@@ -320,6 +375,14 @@ export interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails> {
 export interface SqlMigrationRunnerExecuteOptions<TTargetDetails> {
   readonly plan: SqlMigrationPlan<TTargetDetails>;
   readonly driver: ControlDriverInstance<'sql', string>;
+  /**
+   * Logical contract space this plan applies to. When omitted the
+   * runner derives the space from {@link SqlMigrationPlan.spaceId};
+   * when supplied, the runner asserts it matches `plan.spaceId` so a
+   * caller cannot accidentally write the marker row for a different
+   * space than the plan was produced for.
+   */
+  readonly space?: string;
   /**
    * Destination contract IR.
    * Must correspond to `plan.destination` and is used for schema verification and marker/ledger writes.
@@ -371,11 +434,64 @@ export type SqlMigrationRunnerResult = Result<
 >;
 
 export interface SqlMigrationRunner<TTargetDetails> {
+  /**
+   * Apply a single migration plan, opening and managing its own
+   * transaction (and any target-specific connection-level setup, e.g.
+   * SQLite's `PRAGMA foreign_keys` toggle). Existing single-space
+   * callers route through here.
+   */
   execute(
     options: SqlMigrationRunnerExecuteOptions<TTargetDetails>,
   ): Promise<SqlMigrationRunnerResult>;
+
+  /**
+   * Apply a single migration plan against an already-open connection
+   * **without** opening a transaction. The caller is responsible for
+   * wrapping the call (and any siblings) in `BEGIN` / `COMMIT` /
+   * `ROLLBACK`. Used by the per-space runner wiring to fan out across
+   * contract spaces inside one outer transaction so a mid-apply
+   * failure rolls back every space's writes.
+   *
+   * Idempotent control-table setup (`prisma_contract.*`) and marker
+   * writes use `options.space` to address the per-space marker row.
+   */
+  executeOnConnection(
+    options: SqlMigrationRunnerExecuteOptions<TTargetDetails>,
+  ): Promise<SqlMigrationRunnerResult>;
+
+  /**
+   * Apply per-space plans across multiple contract spaces inside a
+   * single outer transaction. The caller orders the input list
+   * (typically via the aggregate planner's `applyOrder`: extensions
+   * alphabetical, then app); the runner is responsible for opening
+   * / committing the outer
+   * transaction (and any target-specific connection-level setup such
+   * as the SQLite FK pragma toggle). A failure on any space rolls
+   * back every space's writes.
+   *
+   * Each space's `SqlMigrationRunnerExecuteOptions` must reference the
+   * same `driver` (the connection the outer transaction is open on).
+   * Per-space marker writes use `options.space` to address the row.
+   */
+  executeAcrossSpaces(options: {
+    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly perSpaceOptions: ReadonlyArray<SqlMigrationRunnerExecuteOptions<TTargetDetails>>;
+  }): Promise<MultiSpaceRunnerResult>;
+}
+
+export interface MultiSpaceRunnerSuccessValue {
+  readonly perSpaceResults: ReadonlyArray<{
+    readonly space: string;
+    readonly value: SqlMigrationRunnerSuccessValue;
+  }>;
+}
+
+export interface MultiSpaceRunnerFailure extends SqlMigrationRunnerFailure {
+  readonly failingSpace: string;
 }
 
+export type MultiSpaceRunnerResult = Result<MultiSpaceRunnerSuccessValue, MultiSpaceRunnerFailure>;
+
 export interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails>
   extends MigratableTargetDescriptor<'sql', TTargetId, SqlControlFamilyInstance> {
   readonly queryOperations?: () => ReadonlyArray<SqlOperationDescriptor>;

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,
@@ -38,6 +40,11 @@ export type {
   ComponentDatabaseDependency,
   CreateSqlMigrationPlanOptions,
   ExpandNativeTypeInput,
+  FieldEvent,
+  FieldEventContext,
+  MultiSpaceRunnerFailure,
+  MultiSpaceRunnerResult,
+  MultiSpaceRunnerSuccessValue,
   ResolveIdentityValueInput,
   SqlControlAdapterDescriptor,
   SqlControlExtensionDescriptor,

package/dist/types-DFQkcr8A.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-DFQkcr8A.d.mts","names":[],"sources":["../src/core/control-instance.ts","../src/core/migrations/types.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;UAiKU,eAAA;;;;;AA3HsE;AA2HvD,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;;AAEX,UAHX,wBAAA,SACP,qBAEkB,CAAA,KAAA,EAFW,WAEX,CAAA,EADxB,iBACwB,CADN,WACM,CAAA,EAAxB,uBAAwB,CAAA,WAAA,CAAA,EACxB,uBADwB,EAExB,sBAFwB,CAAA;EAGe,gBAAA,CAAA,YAAA,EAAA,OAAA,CAAA,EAAA,QAAA;EAGtB,MAAA,CAAA,OAAA,EAAA;IAKP,SAAA,MAAA,EALO,qBAKP,CAAA,KAAA,EAAA,MAAA,CAAA;IAAR,SAAA,QAAA,EAAA,OAAA;IAEkB,SAAA,gBAAA,EAAA,MAAA;IAA8B,SAAA,YAAA,EAAA,MAAA;IAAR,SAAA,UAAA,CAAA,EAAA,MAAA;EAGzB,CAAA,CAAA,EALf,OAKe,CALP,oBAKO,CAAA;EAIP,YAAA,CAAA,OAAA,EAPU,mBAOV,CAAA,EAPgC,OAOhC,CAPwC,0BAOxC,CAAA;EAAR,IAAA,CAAA,OAAA,EAAA;IAGe,SAAA,MAAA,EAPA,qBAOA,CAAA,KAAA,EAAA,MAAA,CAAA;IAEP,SAAA,QAAA,EAAA,OAAA;IAAR,SAAA,YAAA,EAAA,MAAA;IAEuB,SAAA,UAAA,CAAA,EAAA,MAAA;EAAc,CAAA,CAAA,EAPrC,OAOqC,CAP7B,kBAO6B,CAAA;EAED,UAAA,CAAA,OAAA,EAAA;IAA2B,SAAA,MAAA,EANhD,qBAMgD,CAAA,KAAA,EAAA,MAAA,CAAA;IA/B3D,SAAA,QAAA,CAAA,EAAA,OAAA;EACN,CAAA,CAAA,EA0BE,OA1BF,CA0BU,WA1BV,CAAA;EACA,gBAAA,CAAA,QAAA,EA2ByB,WA3BzB,CAAA,EA2BuC,cA3BvC;EACA,kBAAA,CAAA,UAAA,EAAA,SA4BsC,sBA5BtC,EAAA,CAAA,EA4BiE,gBA5BjE;;;;KCvKQ,SAAA,GAAY,SAAS;UAEhB;;EDqIP,SAAA,KAAA,EAAA,MAAe;EAOpB,SAAA,OAAA,EAAA,SCzIwB,yBDyIc,CCzIY,cDyIrB,CAAA,EAAA;AAAA;AAGS,UCzI1B,6BDyI0B,CAAA,cAAA,CAAA,CAAA;EAAd,SAAA,IAAA,CAAA,EAAA,SCxIF,2BDwIE,CCxI0B,cDwI1B,CAAA,EAAA;;AACI,UCtIhB,0BAAA,CDsIgB;EACR,SAAA,oBAAA,CAAA,ECtIS,6BDsIT,CAAA,OAAA,CAAA;;AAC+B,iBCpIxC,4BAAA,CDoIwC,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,ICpIe,0BDoIf;AAGvC,iBCnID,uBAAA,CDmIoB,UAAA,EClItB,aDkIsB,CAAA,OAAA,CAAA,CAAA,EAAA,SCjIxB,2BDiIwB,CAAA,OAAA,CAAA,EAAA;AACjB,UCvHF,qBDuHE,CAAA,cAAA,CAAA,CAAA;EAGE,SAAA,UAAA,EAAA,SCzHW,yBDyHX,CCzHqC,cDyHrC,CAAA,EAAA;;;;AAQrB;AACuC,UC5HtB,qBAAA,CD4HsB;EACjB,SAAA,UAAA,EAAA,MAAA;EACM,SAAA,OAAA,CAAA,EAAA,MAAA;EAGe,SAAA,UAAA,CAAA,EC9HnB,MD8HmB,CAAA,MAAA,EAAA,OAAA,CAAA;;;;;;;;;AAiBrC,UCrIW,yBAAA,CDqIX;EAGe,SAAA,UAAA,EAAA,MAAA;EAEP,SAAA,OAAA,CAAA,EAAA,MAAA;EAAR,SAAA,UAAA,CAAA,ECvIkB,MDuIlB,CAAA,MAAA,EAAA,OAAA,CAAA;;AAEqC,UCtI1B,iBDsI0B,CAAA,iBAAA,OAAA,CAAA,CAAA;EAED,kBAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAA2B,SAAA,QAAA,EAAA,MAAA;IA/B3D,SAAA,YAAA,ECtGiB,mBDsGjB;IACN,SAAA,QAAA,ECtGmB,QDsGnB,CCtG4B,UDsG5B,CAAA;IACA,SAAA,MAAA,ECtGiB,WDsGjB;IACA,SAAA,UAAA,CAAA,EAAA,MAAA;IACA,SAAA,MAAA,ECtGiB,wBDsGjB;EAAsB,CAAA,EAAA,GCrGlB,qBDqGkB,CCrGI,cDqGJ,CAAA;;;2BClGC;IAtEf,SAAS,MAAA,EAuEA,WAvEG;IAEP,SAAA,UAAA,CAAA,EAAA,MAA2B;EAM3B,CAAA,EAAA,GAAA,SAiEA,WAjEA,EAAA;EAIA,eAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAID,SAAA,MAAA,EA2DK,qBA3DuB,CAA2B,KAAA,EAAA,MAAA,CAAA;IAIvD,SAAA,UAAA,CAAA,EAAuB,MAAA;EAatB,CAAA,EAAA,GA4CT,OA5CS,CA4CD,MA5CC,CAAA,MAAqB,EA4CP,mBA5CO,CAAA,CACoB;EAMzC;AAajB;AAMA;;;;;;;;EAW2B,gBAAA,CAAA,EAAA,CAAA,KAAA,EAkBE,qBAlBF,EAAA,GAAA,MAAA;EACN;;;;;;;;;EA8BJ,oBAAA,CAAA,EAAA,CAAA,KAAA,EAHgB,yBAGa,EAAA,GAAA,MAAA,GAAA,IAAA,GAAA,SAAA;;AAEZ,UAFjB,6BAEiB,CAAA,kBAAA,MAAA,CAAA,SADxB,0BACwB,CAAA,KAAA,EADU,SACV,CAAA,CAAA;EACe,SAAA,oBAAA,CAAA,EADf,6BACe,CAAA,OAAA,CAAA;EAAd,SAAA,eAAA,CAAA,EAAA,GAAA,GAAA,aAAA,CAAc,sBAAd,CAAA;EAce;;;;;AAGlD;;;;;;AAKA;AAsBA;EAKiB,SAAA,aAAA,CAAA,EAnCU,aAmCqB,CAnCP,QAmCO,CAnCE,UAmCF,CAAA,CAE3B;AAGrB;AAEmD,UAvClC,2BAuCkC,CAAA,kBAAA,MAAA,CAAA,SAtCzC,wBAsCyC,CAAA,KAAA,EAtCT,SAsCS,CAAA,CAAA;EAAhC,SAAA,eAAA,CAAA,EAAA,GAAA,GArCgB,aAqChB,CArC8B,sBAqC9B,CAAA;;AAEU,UApCZ,6BAAA,CAoCY;EACE,SAAA,WAAA,EAAA,MAAA;EACb,SAAA,GAAA,EAAA,MAAA;EANiD;;AASnE;AAKA;;;;;EAmCkB,SAAA,MAAA,CAAA,EAAA,SAAA,OAAA,EAAA;EAnCwC,SAAA,IAAA,CAAA,EAlCxC,SAkCwC;;AAsC1D;AAQA;AAQA;;;;;AAAoE,UA9EnD,oBAAA,CA8EmD;EAMnD,SAAA,MAAA,EAAA,MAAA;EACF,SAAA,IAAA,EAAA,MAAA;;AAEE,UAlFA,+BAkFA,CAAA,cAAA,CAAA,CAAA;EAFP,SAAA,EAAA,EAAA,MAAA;EAAI,SAAA,OAAA,CAAA,EA9EO,cA8EP;AAKd;AAAsD,UAhFrC,yBAgFqC,CAAA,cAAA,CAAA,SAhFa,sBAgFb,CAAA;EAEvB,SAAA,OAAA,CAAA,EAAA,MAAA;EAFkB,SAAA,MAAA,EA9E9B,+BA8E8B,CA9EE,cA8EF,CAAA;EAAI,SAAA,QAAA,EAAA,SA7EvB,6BA6EuB,EAAA;EAKzC,SAAA,OAAA,EAAA,SAjFiB,6BAiFD,EAAA;EACA,SAAA,SAAA,EAAA,SAjFG,6BAiFH,EAAA;EAAxB,SAAA,IAAA,CAAA,EAhFc,SAgFd;;AACuB,UA9EV,4BAAA,CA8EU;EAEV,SAAA,WAAA,EAAA,MAAA;EACa,SAAA,WAAA,CAAA,EAAA,MAAA;;AACX,UA7EF,gBA6EE,CAAA,cAAA,CAAA,SA7EuC,aA6EvC,CAAA;EACA;;;;;;AAkCnB;;;;;AAIA;;;EAE4D,SAAA,OAAA,EAAA,MAAA;EAA1B;;AAGlC;;EACiB,SAAA,MAAA,CAAA,EAtGG,4BAsGH,GAAA,IAAA;EACE;;;EAUA,SAAA,WAAA,EA7GK,4BA6GL;EAGuC,SAAA,UAAA,EAAA,SA/G1B,yBA+G0B,CA/GA,cA+GA,CAAA,EAAA;EAAnC;;;;;;AAevB;AAWA;EACiB,SAAA,kBAAA,EAAA,SAAA,MAAA,EAAA;EACC,SAAA,IAAA,CAAA,EAjIA,SAiIA;;AAFuD,KA5H7D,sBAAA,GA4H6D,cAAA,GAAA,qBAAA,GAAA,mBAAA,GAAA,oBAAA,GAAA,uBAAA,GAAA,sBAAA;AAKxD,UAzHA,0BAAA,CAyH+B;EAEpC,SAAA,KAAA,CAAA,EAAA,MAAA;EACV,SAAA,MAAA,CAAA,EAAA,MAAA;EACA,SAAA,KAAA,CAAA,EAAA,MAAA;EAFqC,SAAA,UAAA,CAAA,EAAA,MAAA;EAAM,SAAA,IAAA,CAAA,EAAA,MAAA;AAK7C;AAE8C,UA1H7B,kBAAA,SAA2B,wBA0HE,CAAA;EAAjC,SAAA,IAAA,EAzHI,sBAyHJ;EACA,SAAA,QAAA,CAAA,EAzHS,0BAyHT;EAAR,SAAA,IAAA,CAAA,EAxHa,SAwHb;;AAGY,UAxHA,uBAwH0B,CAAA,cAAA,CAAA,SAvHjC,IAuHiC,CAvH5B,6BAuH4B,EAAA,MAAA,CAAA,CAAA;EACC,SAAA,IAAA,EAAA,SAAA;EAAW,SAAA,IAAA,EAtHtC,gBAsHsC,CAtHrB,cAsHqB,CAAA;;AACpB,UApHlB,uBAAA,SAAgC,IAoHd,CApHmB,6BAoHnB,EAAA,WAAA,CAAA,CAAA;EACX,SAAA,IAAA,EAAA,SAAA;EAA+C,SAAA,SAAA,EAAA,SAnHxC,kBAmHwC,EAAA;;AAChD,KAjHX,gBAiHW,CAAA,cAAA,CAAA,GAhHnB,uBAgHmB,CAhHK,cAgHL,CAAA,GA/GnB,uBA+GmB;AAA8C,UA7GpD,8BAAA,CA6GoD;EAAnB,SAAA,QAAA,EA5G7B,QA4G6B,CA5GpB,UA4GoB,CAAA;EAHxC,SAAA,MAAA,EAxGS,WAwGT;EAA0B,SAAA,MAAA,EAvGjB,wBAuGiB;EAMnB,SAAA,UAAA,CAAA,EAAA,MAAA;EAMG;;;;;;;;;;;;;;;;;;;;;;;yBA1FK,SAAS;;;;;;gCAMF,cAAc;;UAG7B;gBACD,iCAAiC,iBAAiB;;UAGjD;+BACc,0BAA0B;kCACvB,0BAA0B;;UAG3C;iBACA,iBAAiB;mBACf;;;;;gCAKa,SAAS;;;;;mBAKtB;;;uBAGI,mCAAmC;qBACrC;;;;;6BAKQ;;;;;;gCAMG,cAAc;;KAGlC,2BAAA;UAWK,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;;;;;;oBAMG;wBACI;gCACQ,0BAA0B;;;;;;;kBAOxC"}

package/dist/verify-BdES8wgQ.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-BdES8wgQ.mjs","names":["parsed: unknown"],"sources":["../src/core/verify.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\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\n/**\n * SQLite stores `contract_json` as TEXT, so the wire shape is a JSON string;\n * Postgres uses `jsonb` and returns an already-parsed value. Normalize both\n * here so `ContractMarkerRecord.contractJson` is always the structured form.\n */\nfunction parseContractJson(value: unknown): unknown {\n  if (value === null || value === undefined) return null;\n  if (typeof value !== 'string') return value;\n  try {\n    return JSON.parse(value);\n  } catch {\n    return null;\n  }\n}\n\n/**\n * Wire shape of a `prisma_contract.marker` row as it comes out of a SQL\n * driver. Snake-cased to match the on-disk column names. Shared by every\n * SQL target's `readMarker` so each runner doesn't redeclare it inline.\n */\nexport type ContractMarkerRow = {\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  // SQLite stores arrays as JSON-TEXT, so this is `string` on the wire from\n  // a SQLite driver and `string[]` from a Postgres driver. Targets normalize\n  // before passing to `parseContractMarkerRow`.\n  invariants: 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  invariants: type('string').array(),\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 updatedAt = result.updated_at\n    ? result.updated_at instanceof Date\n      ? result.updated_at\n      : new Date(result.updated_at)\n    : new Date();\n\n  return {\n    storageHash: result.core_hash,\n    profileHash: result.profile_hash,\n    contractJson: parseContractJson(result.contract_json),\n    canonicalVersion: result.canonical_version ?? null,\n    updatedAt,\n    appTag: result.app_tag ?? null,\n    meta: parseMeta(result.meta),\n    invariants: result.invariants,\n  };\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":";;;AAGA,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;;;;;;;AAQT,SAAS,kBAAkB,OAAyB;AAClD,KAAI,UAAU,QAAQ,UAAU,OAAW,QAAO;AAClD,KAAI,OAAO,UAAU,SAAU,QAAO;AACtC,KAAI;AACF,SAAO,KAAK,MAAM,MAAM;SAClB;AACN,SAAO;;;AAuBX,MAAM,0BAA0B,KAAK;CACnC,WAAW;CACX,cAAc;CACd,kBAAkB;CAClB,sBAAsB;CACtB,eAAe;CACf,YAAY;CACZ,SAAS;CACT,YAAY,KAAK,SAAS,CAAC,OAAO;CACnC,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,YAAY,OAAO,aACrB,OAAO,sBAAsB,OAC3B,OAAO,aACP,IAAI,KAAK,OAAO,WAAW,mBAC7B,IAAI,MAAM;AAEd,QAAO;EACL,aAAa,OAAO;EACpB,aAAa,OAAO;EACpB,cAAc,kBAAkB,OAAO,cAAc;EACrD,kBAAkB,OAAO,qBAAqB;EAC9C;EACA,QAAQ,OAAO,WAAW;EAC1B,MAAM,UAAU,OAAO,KAAK;EAC5B,YAAY,OAAO;EACpB;;;;;;;;;;;;;;AAeH,SAAgB,6BACd,aACmB;AAKnB,QAAO,EAAE"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"verify-sql-schema-DW8Agf1F.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"}