@prisma-next/family-sql 0.11.0 → 0.12.0-dev.10

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

@@ -1 +1 @@
-{"version":3,"file":"authoring-type-constructors-F4JpCJl7.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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'uuidv4',\n          },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'uuidv7',\n          },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'ulid',\n          },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'nanoid',\n            params: {\n              size: {\n                kind: 'arg',\n                index: 0,\n                path: ['size'],\n              },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'cuid2',\n          },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'ksuid',\n          },\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,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;KACL,EACF;IACD,IAAI;IACL;GACF;EACD,QAAQ;GACN,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,IACT;IACD,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;KACL,EACF;IACD,IAAI;IACL;GACF;EACD,MAAM;GACJ,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,IACT;IACD,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;KACL,EACF;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,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;KACJ,QAAQ,EACN,MAAM;MACJ,MAAM;MACN,OAAO;MACP,MAAM,CAAC,OAAO;MACf,EACF;KACF,EACF;IACD,IAAI;IACL;GACF;EACD,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,IACT;IACD,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;KACL,EACF;IACD,IAAI;IACL;GACF;EACD,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,IACT;IACD,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;KACL,EACF;IACD,IAAI;IACL;GACF;EACF;CACF;;;AC/MD,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"}
+{"version":3,"file":"authoring-type-constructors-F4JpCJl7.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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'uuidv4',\n          },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'uuidv7',\n          },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'ulid',\n          },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'nanoid',\n            params: {\n              size: {\n                kind: 'arg',\n                index: 0,\n                path: ['size'],\n              },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'cuid2',\n          },\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        executionDefaults: {\n          onCreate: {\n            kind: 'generator',\n            id: 'ksuid',\n          },\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;CACX,EACF;AACF;AAEA,MAAa,iCAAiC;CAC5C,MAAM;EACJ,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,MAAM;EACJ,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,QAAQ;EACN,MAAM;EACN,MAAM,CAAC,qBAAqB;EAC5B,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ;IACN,MAAM;IACN,OAAO;IACP,MAAM,CAAC,MAAM;IACb,SAAS;GACX,EACF;EACF;CACF;CACA,OAAO;EACL,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,OAAO;EACL,MAAM;EACN,QAAQ;GACN,SAAS;GACT,YAAY;GACZ,YAAY,EACV,QAAQ,GACV;EACF;CACF;CACA,IAAI;EACF,QAAQ;GACN,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,QAAQ;GACN,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,MAAM;GACJ,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,QAAQ;GACN,MAAM;GACN,MAAM,CAAC,qBAAqB;GAC5B,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ;KACN,MAAM;KACN,OAAO;KACP,MAAM,CAAC,MAAM;KACb,SAAS;IACX,EACF;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;KACJ,QAAQ,EACN,MAAM;MACJ,MAAM;MACN,OAAO;MACP,MAAM,CAAC,MAAM;KACf,EACF;IACF,EACF;IACA,IAAI;GACN;EACF;EACA,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;EACA,OAAO;GACL,MAAM;GACN,QAAQ;IACN,SAAS;IACT,YAAY;IACZ,YAAY,EACV,QAAQ,GACV;IACA,mBAAmB,EACjB,UAAU;KACR,MAAM;KACN,IAAI;IACN,EACF;IACA,IAAI;GACN;EACF;CACF;AACF;;;AC/MA,MAAa,0BAA0B,EACrC,KAAK,EACH,QAAQ;CACN,MAAM;CACN,MAAM,CAAC;EAAE,MAAM;EAAU,MAAM;EAAU,SAAS;EAAM,SAAS;EAAG,SAAS;CAAS,CAAC;CACvF,QAAQ;EACN,SAAS;EACT,YAAY;EACZ,YAAY,EACV,QAAQ;GAAE,MAAM;GAAO,OAAO;EAAE,EAClC;CACF;AACF,EACF,EACF"}

package/dist/control-adapter-Br03xBEv.d.mts

@@ -0,0 +1,115 @@
+import { n as NativeTypeNormalizer, t as DefaultNormalizer } from "./verify-sql-schema-CN7pPoTC.mjs";
+import { ControlAdapterInstance, ControlDriverInstance, ControlStack } from "@prisma-next/framework-components/control";
+import { PostgresEnumStorageEntry, SqlStorage } from "@prisma-next/sql-contract/types";
+import { Contract, ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
+import { AnyQueryAst, LoweredStatement, LowererContext } from "@prisma-next/sql-relational-core/ast";
+import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
+
+//#region src/core/control-adapter.d.ts
+/**
+ * SQL control adapter interface for control-plane operations.
+ * Implemented by target-specific adapters (e.g., Postgres, MySQL).
+ *
+ * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
+ */
+interface SqlControlAdapter<TTarget extends string = string> extends ControlAdapterInstance<'sql', TTarget> {
+  /**
+   * Reads the contract marker for `space` from the database, returning
+   * `null` if no marker row exists for that space (or if the marker
+   * table itself is missing). Implementations are responsible for the
+   * dialect-specific existence probe (e.g. Postgres
+   * `information_schema.tables` vs SQLite `sqlite_master`) and parameter
+   * placeholders.
+   *
+   * `space` is required so callers cannot accidentally fall through to
+   * the app's marker row when reading per-extension markers.
+   *
+   * @param driver - ControlDriverInstance for executing queries (target-specific)
+   * @param space - Contract space id whose marker row to read (e.g. `'app'`)
+   * @returns Resolved marker record, or `null` if not yet stamped.
+   */
+  readMarker(driver: ControlDriverInstance<'sql', TTarget>, space: string): Promise<ContractMarkerRecord | null>;
+  /**
+   * Reads every marker row from `prisma_contract.marker` (one per
+   * contract space) and returns them keyed by `space`. Used by the
+   * per-space verifier to detect marker-vs-on-disk drift and orphan
+   * marker rows. Returns an empty map when the marker table does not
+   * yet exist (fresh database / never-signed project).
+   */
+  readAllMarkers(driver: ControlDriverInstance<'sql', TTarget>): Promise<ReadonlyMap<string, ContractMarkerRecord>>;
+  /**
+   * Reads the per-migration ledger journal for `space` in apply order.
+   * Returns an empty array when the ledger store does not yet exist or
+   * has no rows for that space.
+   */
+  readLedger(driver: ControlDriverInstance<'sql', TTarget>, space: string): Promise<readonly LedgerEntryRecord[]>;
+  /**
+   * Introspects a database schema and returns a raw SqlSchemaIR.
+   *
+   * This is a pure schema discovery operation that queries the database catalog
+   * and returns the schema structure without type mapping or contract enrichment.
+   * Type mapping and enrichment are handled separately by enrichment helpers.
+   *
+   * @param driver - ControlDriverInstance instance for executing queries (target-specific)
+   * @param contract - Optional contract for contract-guided introspection (filtering, optimization)
+   * @param schema - Schema name to introspect (defaults to 'public')
+   * @returns Promise resolving to SqlSchemaIR representing the live database schema
+   */
+  introspect(driver: ControlDriverInstance<'sql', TTarget>, contract?: unknown, schema?: string): Promise<SqlSchemaIR>;
+  /**
+   * Optional target-specific normalizer for raw database default expressions.
+   * When provided, schema defaults (raw strings) are normalized before comparison
+   * with contract defaults (ColumnDefault objects) during schema verification.
+   */
+  readonly normalizeDefault?: DefaultNormalizer;
+  /**
+   * Optional target-specific normalizer for schema native type names.
+   * When provided, schema native types (from introspection) are normalized
+   * before comparison with contract native types during schema verification.
+   */
+  readonly normalizeNativeType?: NativeTypeNormalizer;
+  /**
+   * Optional bridging adapter for resolving the existing values of a
+   * native enum type from the introspected schema IR. Targets supply
+   * this so the family-level schema verifier can walk
+   * `PostgresEnumStorageEntry` entries natively without needing to
+   * know the target-specific `schema.annotations` shape
+   * (e.g. `schema.annotations.pg.storageTypes`).
+   */
+  readonly resolveExistingEnumValues?: (schema: SqlSchemaIR, enumType: PostgresEnumStorageEntry, namespaceId: string) => readonly string[] | null;
+  /**
+   * Optional contract-scoped factory for {@link resolveExistingEnumValues}.
+   * Targets that need the contract storage to resolve namespace → DDL schema
+   * supply this; the family control instance prefers it over the bare adapter
+   * hook when present.
+   */
+  readonly resolveExistingEnumValuesForContract?: (contract: Contract<SqlStorage>) => (schema: SqlSchemaIR, enumType: PostgresEnumStorageEntry, namespaceId: string) => readonly string[] | null;
+  /**
+   * Lower a SQL query AST into a target-flavored `{ sql, params }` payload.
+   *
+   * Migration tooling (e.g. the `dataTransform` operation) needs to materialize
+   * SQL at emit/plan time without instantiating the runtime adapter. The control
+   * adapter's `lower` is byte-equivalent to the runtime adapter's `lower` for the
+   * same AST and contract, ensuring planned SQL matches what the runtime would
+   * emit.
+   */
+  lower(ast: AnyQueryAst, context: LowererContext<unknown>): LoweredStatement;
+}
+/**
+ * SQL control adapter descriptor interface.
+ * Provides a factory method to create control adapter instances.
+ *
+ * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
+ */
+interface SqlControlAdapterDescriptor<TTarget extends string = string> {
+  /**
+   * Creates a SQL control adapter instance for control-plane operations.
+   *
+   * Receives the assembled `ControlStack` so adapters can read aggregated
+   * metadata (codec lookup, extension contributions) when materializing.
+   */
+  create(stack: ControlStack<'sql', TTarget>): SqlControlAdapter<TTarget>;
+}
+//#endregion
+export { SqlControlAdapterDescriptor as n, SqlControlAdapter as t };
+//# sourceMappingURL=control-adapter-Br03xBEv.d.mts.map

package/dist/control-adapter-Br03xBEv.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-adapter-Br03xBEv.d.mts","names":[],"sources":["../src/core/control-adapter.ts"],"mappings":";;;;;;;;;;AAyBA;;;;UAAiB,iBAAA,0CACP,sBAAA,QAA8B,OAAA;EAiB5B;;;;;;;;;;;;;;;EADV,UAAA,CACE,MAAA,EAAQ,qBAAA,QAA6B,OAAA,GACrC,KAAA,WACC,OAAA,CAAQ,oBAAA;EA8CiB;;;;;;;EArC5B,cAAA,CACE,MAAA,EAAQ,qBAAA,QAA6B,OAAA,IACpC,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EAgFpB;;;;;EAzEX,UAAA,CACE,MAAA,EAAQ,qBAAA,QAA6B,OAAA,GACrC,KAAA,WACC,OAAA,UAAiB,iBAAA;EAzCa;;;;;;;;;;;;EAuDjC,UAAA,CACE,MAAA,EAAQ,qBAAA,QAA6B,OAAA,GACrC,QAAA,YACA,MAAA,YACC,OAAA,CAAQ,WAAA;EA7BT;;;;;EAAA,SAoCO,gBAAA,GAAmB,iBAAA;EA3BW;;;;;EAAA,SAkC9B,mBAAA,GAAsB,oBAAA;EAjBrB;;;;;;;;EAAA,SA2BD,yBAAA,IACP,MAAA,EAAQ,WAAA,EACR,QAAA,EAAU,wBAAA,EACV,WAAA;EAbO;;;;;;EAAA,SAqBA,oCAAA,IACP,QAAA,EAAU,QAAA,CAAS,UAAA,OAEnB,MAAA,EAAQ,WAAA,EACR,QAAA,EAAU,wBAAA,EACV,WAAA;EAbA;;;;;;;;;EAyBF,KAAA,CAAM,GAAA,EAAK,WAAA,EAAa,OAAA,EAAS,cAAA,YAA0B,gBAAA;AAAA;;;;;;;UAS5C,2BAAA;EAAA;;;;;;EAOf,MAAA,CAAO,KAAA,EAAO,YAAA,QAAoB,OAAA,IAAW,iBAAA,CAAkB,OAAA;AAAA"}

package/dist/control-adapter.d.mts

@@ -1,102 +1,2 @@
-import { n as NativeTypeNormalizer, t as DefaultNormalizer } from "./verify-sql-schema-Bfvz07Ik.mjs";
-import { ControlAdapterInstance, ControlDriverInstance, ControlStack } from "@prisma-next/framework-components/control";
-import { PostgresEnumStorageEntry } from "@prisma-next/sql-contract/types";
-import { ContractMarkerRecord } from "@prisma-next/contract/types";
-import { AnyQueryAst, LoweredStatement, LowererContext } from "@prisma-next/sql-relational-core/ast";
-import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
-
-//#region src/core/control-adapter.d.ts
-/**
- * SQL control adapter interface for control-plane operations.
- * Implemented by target-specific adapters (e.g., Postgres, MySQL).
- *
- * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
- */
-interface SqlControlAdapter<TTarget extends string = string> extends ControlAdapterInstance<'sql', TTarget> {
-  /**
-   * Reads the contract marker for `space` from the database, returning
-   * `null` if no marker row exists for that space (or if the marker
-   * table itself is missing). Implementations are responsible for the
-   * dialect-specific existence probe (e.g. Postgres
-   * `information_schema.tables` vs SQLite `sqlite_master`) and parameter
-   * placeholders.
-   *
-   * `space` is required so callers cannot accidentally fall through to
-   * the app's marker row when reading per-extension markers.
-   *
-   * @param driver - ControlDriverInstance for executing queries (target-specific)
-   * @param space - Contract space id whose marker row to read (e.g. `'app'`)
-   * @returns Resolved marker record, or `null` if not yet stamped.
-   */
-  readMarker(driver: ControlDriverInstance<'sql', TTarget>, space: string): Promise<ContractMarkerRecord | null>;
-  /**
-   * Reads every marker row from `prisma_contract.marker` (one per
-   * contract space) and returns them keyed by `space`. Used by the
-   * per-space verifier to detect marker-vs-on-disk drift and orphan
-   * marker rows. Returns an empty map when the marker table does not
-   * yet exist (fresh database / never-signed project).
-   */
-  readAllMarkers(driver: ControlDriverInstance<'sql', TTarget>): Promise<ReadonlyMap<string, ContractMarkerRecord>>;
-  /**
-   * Introspects a database schema and returns a raw SqlSchemaIR.
-   *
-   * This is a pure schema discovery operation that queries the database catalog
-   * and returns the schema structure without type mapping or contract enrichment.
-   * Type mapping and enrichment are handled separately by enrichment helpers.
-   *
-   * @param driver - ControlDriverInstance instance for executing queries (target-specific)
-   * @param contract - Optional contract for contract-guided introspection (filtering, optimization)
-   * @param schema - Schema name to introspect (defaults to 'public')
-   * @returns Promise resolving to SqlSchemaIR representing the live database schema
-   */
-  introspect(driver: ControlDriverInstance<'sql', TTarget>, contract?: unknown, schema?: string): Promise<SqlSchemaIR>;
-  /**
-   * Optional target-specific normalizer for raw database default expressions.
-   * When provided, schema defaults (raw strings) are normalized before comparison
-   * with contract defaults (ColumnDefault objects) during schema verification.
-   */
-  readonly normalizeDefault?: DefaultNormalizer;
-  /**
-   * Optional target-specific normalizer for schema native type names.
-   * When provided, schema native types (from introspection) are normalized
-   * before comparison with contract native types during schema verification.
-   */
-  readonly normalizeNativeType?: NativeTypeNormalizer;
-  /**
-   * Optional bridging adapter for resolving the existing values of a
-   * native enum type from the introspected schema IR. Targets supply
-   * this so the family-level schema verifier can walk
-   * `PostgresEnumStorageEntry` entries natively without needing to
-   * know the target-specific `schema.annotations` shape
-   * (e.g. `schema.annotations.pg.storageTypes`).
-   */
-  readonly resolveExistingEnumValues?: (schema: SqlSchemaIR, enumType: PostgresEnumStorageEntry) => readonly string[] | null;
-  /**
-   * Lower a SQL query AST into a target-flavored `{ sql, params }` payload.
-   *
-   * Migration tooling (e.g. the `dataTransform` operation) needs to materialize
-   * SQL at emit/plan time without instantiating the runtime adapter. The control
-   * adapter's `lower` is byte-equivalent to the runtime adapter's `lower` for the
-   * same AST and contract, ensuring planned SQL matches what the runtime would
-   * emit.
-   */
-  lower(ast: AnyQueryAst, context: LowererContext<unknown>): LoweredStatement;
-}
-/**
- * SQL control adapter descriptor interface.
- * Provides a factory method to create control adapter instances.
- *
- * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
- */
-interface SqlControlAdapterDescriptor<TTarget extends string = string> {
-  /**
-   * Creates a SQL control adapter instance for control-plane operations.
-   *
-   * Receives the assembled `ControlStack` so adapters can read aggregated
-   * metadata (codec lookup, extension contributions) when materializing.
-   */
-  create(stack: ControlStack<'sql', TTarget>): SqlControlAdapter<TTarget>;
-}
-//#endregion
-export { type SqlControlAdapter, type SqlControlAdapterDescriptor };
-//# sourceMappingURL=control-adapter.d.mts.map
+import { n as SqlControlAdapterDescriptor, t as SqlControlAdapter } from "./control-adapter-Br03xBEv.mjs";
+export { type SqlControlAdapter, type SqlControlAdapterDescriptor };

package/dist/control.d.mts

@@ -1,4 +1,4 @@
-import { A as SqlPlannerConflictKind, C as SqlMigrationRunnerExecuteCallbacks, D as SqlMigrationRunnerSuccessValue, E as SqlMigrationRunnerResult, F as StorageTypePlanResult, I as SqlControlFamilyInstance, M as SqlPlannerFailureResult, N as SqlPlannerResult, O as SqlPlanTargetDetails, P as SqlPlannerSuccessResult, S as SqlMigrationRunnerErrorCode, T as SqlMigrationRunnerFailure, _ as SqlMigrationPlanOperationStep, a as FieldEvent, b as SqlMigrationPlannerPlanOptions, c as MultiSpaceRunnerResult, d as SqlControlAdapterDescriptor, f as SqlControlExtensionDescriptor, g as SqlMigrationPlanOperation, h as SqlMigrationPlanContractInfo, i as ExpandNativeTypeInput, j as SqlPlannerConflictLocation, k as SqlPlannerConflict, l as MultiSpaceRunnerSuccessValue, m as SqlMigrationPlan, n as CodecControlHooks, o as FieldEventContext, p as SqlControlTargetDescriptor, r as CreateSqlMigrationPlanOptions, s as MultiSpaceRunnerFailure, t as AnyRecord, u as ResolveIdentityValueInput, v as SqlMigrationPlanOperationTarget, w as SqlMigrationRunnerExecuteOptions, x as SqlMigrationRunner, y as SqlMigrationPlanner } from "./types-hQoMXr54.mjs";
+import { A as SqlPlannerResult, C as SqlMigrationRunnerResult, D as SqlPlannerConflictKind, E as SqlPlannerConflict, M as StorageTypePlanResult, N as SqlControlFamilyInstance, O as SqlPlannerConflictLocation, S as SqlMigrationRunnerFailure, T as SqlPlanTargetDetails, _ as SqlMigrationPlannerPlanOptions, a as FieldEvent, b as SqlMigrationRunnerExecuteCallbacks, c as SqlControlAdapterDescriptor, d as SqlMigrationPlan, f as SqlMigrationPlanContractInfo, g as SqlMigrationPlanner, h as SqlMigrationPlanOperationTarget, i as ExpandNativeTypeInput, j as SqlPlannerSuccessResult, k as SqlPlannerFailureResult, l as SqlControlExtensionDescriptor, m as SqlMigrationPlanOperationStep, n as CodecControlHooks, o as FieldEventContext, p as SqlMigrationPlanOperation, r as CreateSqlMigrationPlanOptions, s as ResolveIdentityValueInput, t as AnyRecord, u as SqlControlTargetDescriptor, v as SqlMigrationRunner, w as SqlMigrationRunnerSuccessValue, x as SqlMigrationRunnerExecuteOptions, y as SqlMigrationRunnerErrorCode } from "./types-DbGXj_Si.mjs";
 import { ControlFamilyDescriptor, ControlStack, MigrationOperationClass, MigrationOperationPolicy, MigrationOperationPolicy as MigrationOperationPolicy$1, MigrationPlan, MigrationPlanOperation, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerConflict as MigrationPlannerConflict$1, MigrationPlannerResult, MutationDefaultGeneratorDescriptor, OpFactoryCall, TargetMigrationsCapability, assembleAuthoringContributions } from "@prisma-next/framework-components/control";
 import { SqlStorage, StorageColumn } from "@prisma-next/sql-contract/types";
 import { NotOk, Ok } from "@prisma-next/utils/result";
@@ -271,6 +271,21 @@ type NativeTypeExpander = (input: {
  * `contractToSchemaIR`, keeping the family layer target-agnostic.
  */
 type DefaultRenderer = (def: ColumnDefault, column: StorageColumn) => string;
+/**
+ * Target-supplied callback that computes the schema-qualified annotation-map
+ * key for a namespace-scoped enum storage type.
+ *
+ * Enum lookups (`readExistingEnumValues`) are namespace/schema-qualified so two
+ * namespaces holding an enum with the same TypeScript name (and even the same
+ * native type) resolve to distinct live-database types. The *format* of that
+ * key — and the namespace → DDL-schema resolution it depends on — is a
+ * target-specific concern (Postgres schemas; SQLite/MySQL differ), so the
+ * target injects it here as data rather than the family layer importing a
+ * concrete `ddlSchemaName`/key implementation. This keeps the family layer
+ * target-agnostic (no `@prisma-next/target-*` dependency) while the projection
+ * still emits keys that match the target's read side exactly.
+ */
+type EnumStorageKeyResolver = (storage: SqlStorage, namespaceId: string, nativeType: string) => string;
 /**
  * Detects destructive changes between two contract storages.
  *
@@ -285,6 +300,14 @@ interface ContractToSchemaIROptions {
   readonly annotationNamespace: string;
   readonly expandNativeType?: NativeTypeExpander;
   readonly renderDefault?: DefaultRenderer;
+  /**
+   * Target-supplied resolver for namespace/schema-qualified enum annotation
+   * keys. When provided (Postgres), every namespace-scoped enum is keyed by the
+   * resolver's output so the projected `storageTypes` map matches the target's
+   * `readExistingEnumValues` lookup. Targets without namespace-qualified enum
+   * storage (SQLite) omit it; enums are absent there.
+   */
+  readonly resolveEnumStorageKey?: EnumStorageKeyResolver;
 }
 /**
  * Converts a `Contract` to `SqlSchemaIR`.
@@ -411,5 +434,5 @@ declare function temporalAuthoringPresets<const CodecId extends string, const Na
 //#region src/exports/control.d.ts
 declare const _default: SqlFamilyDescriptor;
 //#endregion
-export { type CodecControlHooks, type ContractToSchemaIROptions, type CreateSqlMigrationPlanOptions, type DefaultRenderer, type ExpandNativeTypeInput, type FieldEvent, type FieldEventContext, INIT_ADDITIVE_POLICY, type MigrationOperationClass, type MigrationOperationPolicy, type MigrationPlan, type MigrationPlanOperation, type MigrationPlanner, type MigrationPlannerConflict, type MigrationPlannerResult, type MultiSpaceRunnerFailure, type MultiSpaceRunnerResult, type MultiSpaceRunnerSuccessValue, type NativeTypeExpander, type PlanFieldEventOperationsOptions, type ResolveIdentityValueInput, type SqlControlAdapterDescriptor, type SqlControlExtensionDescriptor, type SqlControlFamilyInstance, type SqlControlTargetDescriptor, type SqlMigrationPlan, type SqlMigrationPlanContractInfo, type SqlMigrationPlanOperation, type SqlMigrationPlanOperationStep, type SqlMigrationPlanOperationTarget, type SqlMigrationPlanner, type SqlMigrationPlannerPlanOptions, type SqlMigrationRunner, type SqlMigrationRunnerErrorCode, type SqlMigrationRunnerExecuteCallbacks, type SqlMigrationRunnerExecuteOptions, type SqlMigrationRunnerFailure, type SqlMigrationRunnerResult, type SqlMigrationRunnerSuccessValue, type SqlPlanTargetDetails, type SqlPlannerConflict, type SqlPlannerConflictKind, type SqlPlannerConflictLocation, type SqlPlannerFailureResult, type SqlPlannerResult, type SqlPlannerSuccessResult, type StorageTypePlanResult, type TargetMigrationsCapability, assembleAuthoringContributions, contractToSchemaIR, createMigrationPlan, _default as default, detectDestructiveChanges, extractCodecControlHooks, planFieldEventOperations, plannerFailure, plannerSuccess, runnerFailure, runnerSuccess, temporalAuthoringPresets, timestampNowControlDescriptor };
+export { type CodecControlHooks, type ContractToSchemaIROptions, type CreateSqlMigrationPlanOptions, type DefaultRenderer, type EnumStorageKeyResolver, type ExpandNativeTypeInput, type FieldEvent, type FieldEventContext, INIT_ADDITIVE_POLICY, type MigrationOperationClass, type MigrationOperationPolicy, type MigrationPlan, type MigrationPlanOperation, type MigrationPlanner, type MigrationPlannerConflict, type MigrationPlannerResult, type NativeTypeExpander, type PlanFieldEventOperationsOptions, type ResolveIdentityValueInput, type SqlControlAdapterDescriptor, type SqlControlExtensionDescriptor, type SqlControlFamilyInstance, type SqlControlTargetDescriptor, type SqlMigrationPlan, type SqlMigrationPlanContractInfo, type SqlMigrationPlanOperation, type SqlMigrationPlanOperationStep, type SqlMigrationPlanOperationTarget, type SqlMigrationPlanner, type SqlMigrationPlannerPlanOptions, type SqlMigrationRunner, type SqlMigrationRunnerErrorCode, type SqlMigrationRunnerExecuteCallbacks, type SqlMigrationRunnerExecuteOptions, type SqlMigrationRunnerFailure, type SqlMigrationRunnerResult, type SqlMigrationRunnerSuccessValue, type SqlPlanTargetDetails, type SqlPlannerConflict, type SqlPlannerConflictKind, type SqlPlannerConflictLocation, type SqlPlannerFailureResult, type SqlPlannerResult, type SqlPlannerSuccessResult, type StorageTypePlanResult, type TargetMigrationsCapability, assembleAuthoringContributions, contractToSchemaIR, createMigrationPlan, _default as default, detectDestructiveChanges, extractCodecControlHooks, planFieldEventOperations, plannerFailure, plannerSuccess, runnerFailure, runnerSuccess, temporalAuthoringPresets, timestampNowControlDescriptor };
 //# sourceMappingURL=control.d.mts.map

package/dist/control.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/control-descriptor.ts","../src/core/assembly.ts","../src/core/migrations/contract-to-schema-ir.ts","../src/core/migrations/field-event-planner.ts","../src/core/migrations/plan-helpers.ts","../src/core/migrations/policies.ts","../src/core/timestamp-now-generator.ts","../src/exports/control.ts"],"mappings":";;;;;;;;;;cAUa,mBAAA,YACA,uBAAA,QAA+B,wBAAA;EAAA,SAEjC,IAAA;EAAA,SACA,EAAA;EAAA,SACA,QAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA,EAAU,WAAA;EAAA,SACV,SAAA;IAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKT,MAAA,0BAAA,CACE,KAAA,EAAO,YAAA,QAAoB,SAAA,IAC1B,wBAAA;AAAA;;;iBCHW,wBAAA,CACd,WAAA,EAAa,aAAA,CAAc,8BAAA,mBAC1B,GAAA,SAAY,iBAAA;;;;;;;;;ADdf;;;;KE2BY,kBAAA,IAAsB,KAAA;EAAA,SACvB,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAA;AAAA;;;;;;;;;;KAYZ,eAAA,IAAmB,GAAA,EAAK,aAAA,EAAe,MAAA,EAAQ,aAAA;;;;;;;;;;iBAgK3C,wBAAA,CACd,IAAA,EAAM,UAAA,SACN,EAAA,EAAI,UAAA,YACM,0BAAA;AAAA,UA8CK,yBAAA;EAAA,SACN,mBAAA;EAAA,SACA,gBAAA,GAAmB,kBAAA;EAAA,SACnB,aAAA,GAAgB,eAAA;AAAA;;;;;;;;;;;;;;;iBAiBX,kBAAA,CACd,QAAA,EAAU,QAAA,CAAS,UAAA,UACnB,OAAA,EAAS,yBAAA,GACR,WAAA;;;UC/Pc,+BAAA;EHZI;;;;EAAA,SGiBV,aAAA,EAAe,QAAA,CAAS,UAAA;;;;WAIxB,WAAA,EAAa,QAAA,CAAS,UAAA;;;;;;;;;;WAUtB,UAAA,EAAY,WAAA,SAAoB,iBAAA;AAAA;AAAA,iBAa3B,wBAAA,CACd,OAAA,EAAS,+BAAA,YACC,aAAA;;;iBCgCI,mBAAA,gBAAA,CACd,OAAA,EAAS,6BAAA,CAA8B,cAAA,IACtC,gBAAA,CAAiB,cAAA;AAAA,iBAcJ,cAAA,gBAAA,CACd,IAAA,EAAM,gBAAA,CAAiB,cAAA,IACtB,uBAAA,CAAwB,cAAA;AAAA,iBAOX,cAAA,CAAe,SAAA,WAAoB,kBAAA,KAAuB,uBAAA;;;;iBAoB1D,aAAA,CAAc,KAAA;EAC5B,iBAAA;EACA,kBAAA;AAAA,IACE,EAAA,CAAG,8BAAA;;;;iBAYS,aAAA,CACd,IAAA,EAAM,2BAAA,EACN,OAAA,UACA,OAAA;EAAY,GAAA;EAAc,IAAA,GAAO,SAAA;AAAA,IAChC,KAAA,CAAM,yBAAA;;;;;;cC1JI,oBAAA,EAAsB,0BAAA;;;;;;;;;;;;;;iBCsBnB,6BAAA,CAAA,GAAiC,kCAAA;;;;;;;;;;;iBAoBjC,wBAAA,+DAAA,CAGd,KAAA;EAAA,SAAkB,OAAA,EAAS,OAAA;EAAA,SAAkB,UAAA,EAAY,UAAA;AAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cCyBlB,QAAA"}
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/control-descriptor.ts","../src/core/assembly.ts","../src/core/migrations/contract-to-schema-ir.ts","../src/core/migrations/field-event-planner.ts","../src/core/migrations/plan-helpers.ts","../src/core/migrations/policies.ts","../src/core/timestamp-now-generator.ts","../src/exports/control.ts"],"mappings":";;;;;;;;;;cAUa,mBAAA,YACA,uBAAA,QAA+B,wBAAA;EAAA,SAEjC,IAAA;EAAA,SACA,EAAA;EAAA,SACA,QAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA,EAAU,WAAA;EAAA,SACV,SAAA;IAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKT,MAAA,0BAAA,CACE,KAAA,EAAO,YAAA,QAAoB,SAAA,IAC1B,wBAAA;AAAA;;;iBCHW,wBAAA,CACd,WAAA,EAAa,aAAA,CAAc,8BAAA,mBAC1B,GAAA,SAAY,iBAAA;;;;;;;;;ADdf;;;;KE4BY,kBAAA,IAAsB,KAAA;EAAA,SACvB,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;;;;;;;;;;KAYlB,eAAA,IAAmB,GAAA,EAAK,aAAA,EAAe,MAAA,EAAQ,aAAa;;;;;;;;;;;;;;;KAgB5D,sBAAA,IACV,OAAA,EAAS,UAAU,EACnB,WAAA,UACA,UAAA;;;;;;;;;;iBAmKc,wBAAA,CACd,IAAA,EAAM,UAAA,SACN,EAAA,EAAI,UAAA,YACM,0BAAA;AAAA,UA8CK,yBAAA;EAAA,SACN,mBAAA;EAAA,SACA,gBAAA,GAAmB,kBAAA;EAAA,SACnB,aAAA,GAAgB,eAAA;;;;;;;;WAQhB,qBAAA,GAAwB,sBAAA;AAAA;;;;;;;;;;;;;;;iBAiBnB,kBAAA,CACd,QAAA,EAAU,QAAA,CAAS,UAAA,UACnB,OAAA,EAAS,yBAAA,GACR,WAAA;;;UC9Rc,+BAAA;EHZI;;;;EAAA,SGiBV,aAAA,EAAe,QAAA,CAAS,UAAA;;;;WAIxB,WAAA,EAAa,QAAA,CAAS,UAAA;;;;;;;;;;WAUtB,UAAA,EAAY,WAAA,SAAoB,iBAAA;AAAA;AAAA,iBAa3B,wBAAA,CACd,OAAA,EAAS,+BAAA,YACC,aAAa;;;iBCgCT,mBAAA,gBAAA,CACd,OAAA,EAAS,6BAAA,CAA8B,cAAA,IACtC,gBAAA,CAAiB,cAAA;AAAA,iBAcJ,cAAA,gBAAA,CACd,IAAA,EAAM,gBAAA,CAAiB,cAAA,IACtB,uBAAA,CAAwB,cAAA;AAAA,iBAOX,cAAA,CAAe,SAAA,WAAoB,kBAAA,KAAuB,uBAAuB;;;;iBAoBjF,aAAA,CAAc,KAAA;EAC5B,iBAAA;EACA,kBAAA;AAAA,IACE,EAAE,CAAC,8BAAA;;;;iBAYS,aAAA,CACd,IAAA,EAAM,2BAAA,EACN,OAAA,UACA,OAAA;EAAY,GAAA;EAAc,IAAA,GAAO,SAAA;AAAA,IAChC,KAAA,CAAM,yBAAA;;;;;;cC1JI,oBAAA,EAAsB,0BAEjC;;;;;;;;;;;;;;iBCoBc,6BAAA,CAAA,GAAiC,kCAAkC;;;;;;;;;;;iBAqBnE,wBAAA,+DAAA,CAGd,KAAA;EAAA,SAAkB,OAAA,EAAS,OAAA;EAAA,SAAkB,UAAA,EAAY,UAAA;AAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cCsBlB,QAAA"}

package/dist/control.mjs

@@ -1,14 +1,16 @@
 import { n as sqlFamilyAuthoringFieldPresets, t as sqlFamilyAuthoringTypes } from "./authoring-type-constructors-F4JpCJl7.mjs";
-import { t as SqlContractSerializer } from "./sql-contract-serializer-COnYiewe.mjs";
-import { a as extractCodecControlHooks, t as verifySqlSchema } from "./verify-sql-schema-Bj4Wqe2c.mjs";
+import { t as SqlContractSerializer } from "./sql-contract-serializer-8axtK4lg.mjs";
+import { a as extractCodecControlHooks, t as verifySqlSchema } from "./verify-sql-schema-CYLsGCFO.mjs";
 import { t as collectSupportedCodecTypeIds } from "./verify-Crewz6hG.mjs";
-import { n as temporalAuthoringPresets, r as timestampNowControlDescriptor } from "./timestamp-now-generator-r7BP5n3l.mjs";
+import { n as temporalAuthoringPresets, r as timestampNowControlDescriptor } from "./timestamp-now-generator-BkjCQIde.mjs";
 import { sqlEmission } from "@prisma-next/sql-contract-emitter";
 import { APP_SPACE_ID, SchemaTreeNode, VERIFY_CODE_HASH_MISMATCH, VERIFY_CODE_MARKER_MISSING, VERIFY_CODE_TARGET_MISMATCH, assembleAuthoringContributions } from "@prisma-next/framework-components/control";
 import { assertDescriptorSelfConsistency } from "@prisma-next/migration-tools/spaces";
+import { sqlContractCanonicalizationHooks } from "@prisma-next/sql-contract/canonicalization-hooks";
 import { ensureSchemaStatement, ensureTableStatement, writeContractMarker } from "@prisma-next/sql-runtime";
 import { defaultIndexName } from "@prisma-next/sql-schema-ir/naming";
 import { ifDefined } from "@prisma-next/utils/defined";
+import { UNBOUND_NAMESPACE_ID } from "@prisma-next/framework-components/ir";
 import { StorageTable, isPostgresEnumStorageEntry, isStorageTypeInstance, toStorageTypeInstance } from "@prisma-next/sql-contract/types";
 import { UNSPECIFIED_PSL_NAMESPACE_ID } from "@prisma-next/framework-components/psl-ast";
 import { notOk, ok } from "@prisma-next/utils/result";
@@ -1055,9 +1057,6 @@ function createVerifyResult(options) {
 	if (options.codecCoverageSkipped) result.codecCoverageSkipped = options.codecCoverageSkipped;
 	return result;
 }
-function isSqlControlAdapter(value) {
-	return typeof value === "object" && value !== null && "introspect" in value && typeof value.introspect === "function" && "readMarker" in value && typeof value.readMarker === "function" && "readAllMarkers" in value && typeof value.readAllMarkers === "function" && "lower" in value && typeof value.lower === "function";
-}
 function buildSqlTypeMetadataRegistry(options) {
 	const { target, adapter, extensionPacks: extensions } = options;
 	const registry = /* @__PURE__ */ new Map();
@@ -1091,7 +1090,8 @@ function createSqlFamilyInstance(stack) {
 			target: contractJson.target,
 			targetFamily: contractJson.targetFamily,
 			storage: contractJson.storage,
-			headRefHash: headRef.hash
+			headRefHash: headRef.hash,
+			...sqlContractCanonicalizationHooks
 		});
 	}
 	const { codecTypeImports, extensionIds } = stack;
@@ -1100,11 +1100,7 @@ function createSqlFamilyInstance(stack) {
 		adapter,
 		extensionPacks: extensions
 	});
-	const getControlAdapter = () => {
-		const controlAdapter = adapter.create(stack);
-		if (!isSqlControlAdapter(controlAdapter)) throw new Error("Adapter does not implement SqlControlAdapter (missing introspect, readMarker, or readAllMarkers)");
-		return controlAdapter;
-	};
+	const getControlAdapter = () => adapter.create(stack);
 	const targetSerializer = target.contractSerializer;
 	const deserializeWithTargetSerializer = (contractJson) => {
 		return (targetSerializer ?? new SqlContractSerializer()).deserializeContract(contractJson);
@@ -1211,6 +1207,7 @@ function createSqlFamilyInstance(stack) {
 		verifySchema(options) {
 			const contract = deserializeWithTargetSerializer(options.contract);
 			const controlAdapter = getControlAdapter();
+			const resolveExistingEnumValues = controlAdapter.resolveExistingEnumValuesForContract?.(contract) ?? controlAdapter.resolveExistingEnumValues;
 			return verifySqlSchema({
 				contract,
 				schema: options.schema,
@@ -1219,7 +1216,7 @@ function createSqlFamilyInstance(stack) {
 				frameworkComponents: options.frameworkComponents,
 				...ifDefined("normalizeDefault", controlAdapter.normalizeDefault),
 				...ifDefined("normalizeNativeType", controlAdapter.normalizeNativeType),
-				...ifDefined("resolveExistingEnumValues", controlAdapter.resolveExistingEnumValues)
+				...ifDefined("resolveExistingEnumValues", resolveExistingEnumValues)
 			});
 		},
 		async sign(options) {
@@ -1298,6 +1295,9 @@ function createSqlFamilyInstance(stack) {
 		async readAllMarkers(options) {
 			return getControlAdapter().readAllMarkers(options.driver);
 		},
+		async readLedger(options) {
+			return getControlAdapter().readLedger(options.driver, options.space);
+		},
 		async introspect(options) {
 			return getControlAdapter().introspect(options.driver, options.contract);
 		},
@@ -1465,7 +1465,9 @@ function convertForeignKey(fk) {
 		referencedTable: fk.target.tableName,
 		referencedSchema: fk.target.namespaceId,
 		referencedColumns: fk.target.columns,
-		...ifDefined("name", fk.name)
+		...ifDefined("name", fk.name),
+		...ifDefined("onDelete", fk.onDelete),
+		...ifDefined("onUpdate", fk.onUpdate)
 	};
 }
 function convertTable(name, table, storageTypes, expandNativeType, renderDefault) {
@@ -1557,8 +1559,8 @@ function contractToSchemaIR(contract, options) {
 	const storage = contract.storage;
 	const allTypes = { ...storage.types ?? {} };
 	for (const ns of Object.values(storage.namespaces)) {
-		const nsTypes = ns.types;
-		if (nsTypes) for (const [k, v] of Object.entries(nsTypes)) allTypes[k] = v;
+		const nsEnums = ns.enum;
+		if (nsEnums) for (const [k, v] of Object.entries(nsEnums)) allTypes[k] = v;
 	}
 	const storageTypes = allTypes;
 	const tables = {};
@@ -1570,30 +1572,44 @@ function contractToSchemaIR(contract, options) {
 	}
 	return {
 		tables,
-		...ifDefined("annotations", deriveAnnotations(storage, options.annotationNamespace))
+		...ifDefined("annotations", deriveAnnotations(storage, options.annotationNamespace, options.resolveEnumStorageKey))
 	};
 }
-function deriveAnnotations(storage, annotationNamespace) {
-	const allTypes = { ...storage.types ?? {} };
-	for (const ns of Object.values(storage.namespaces)) {
-		const nsTypes = ns.types;
-		if (nsTypes) for (const [k, v] of Object.entries(nsTypes)) allTypes[k] = v;
-	}
-	const types = allTypes;
-	if (Object.keys(types).length === 0) return void 0;
-	const byNativeType = {};
-	for (const typeInstance of Object.values(types)) {
+/**
+* Normalises a native enum storage entry to the codec-typed annotation shape
+* `{codecId, nativeType, typeParams}` the introspector writes and
+* `readExistingEnumValues` reads (`existing.codecId` + `existing.typeParams.values`).
+* Without this the projector would emit the raw `PostgresEnumStorageEntry`
+* shape (top-level `values`, no `typeParams`) and the enum would read as new.
+*/
+function normalizeEnumAnnotation(entry) {
+	return toStorageTypeInstance({
+		codecId: entry.codecId,
+		nativeType: entry.nativeType,
+		typeParams: { values: entry.values }
+	});
+}
+function deriveAnnotations(storage, annotationNamespace, resolveEnumStorageKey) {
+	const storageTypes = {};
+	for (const typeInstance of Object.values(storage.types ?? {})) {
 		if (isPostgresEnumStorageEntry(typeInstance)) {
-			byNativeType[typeInstance.nativeType] = toStorageTypeInstance({
-				codecId: typeInstance.codecId,
-				nativeType: typeInstance.nativeType,
-				typeParams: { values: typeInstance.values }
-			});
+			const key = resolveEnumStorageKey ? resolveEnumStorageKey(storage, UNBOUND_NAMESPACE_ID, typeInstance.nativeType) : typeInstance.nativeType;
+			storageTypes[key] = normalizeEnumAnnotation(typeInstance);
 			continue;
 		}
-		if (isStorageTypeInstance(typeInstance)) byNativeType[typeInstance.nativeType] = typeInstance;
+		if (isStorageTypeInstance(typeInstance)) storageTypes[typeInstance.nativeType] = typeInstance;
+	}
+	for (const [namespaceId, ns] of Object.entries(storage.namespaces)) {
+		const nsEnums = ns.enum;
+		if (!nsEnums) continue;
+		for (const entry of Object.values(nsEnums)) {
+			if (!isPostgresEnumStorageEntry(entry)) continue;
+			const key = resolveEnumStorageKey ? resolveEnumStorageKey(storage, namespaceId, entry.nativeType) : entry.nativeType;
+			storageTypes[key] = normalizeEnumAnnotation(entry);
+		}
 	}
-	return { [annotationNamespace]: { storageTypes: byNativeType } };
+	if (Object.keys(storageTypes).length === 0) return void 0;
+	return { [annotationNamespace]: { storageTypes } };
 }
 //#endregion
 //#region src/core/migrations/field-event-planner.ts