@prisma/orm-family-sql 8.0.0-rc.21-dev.5 → 8.0.0-rc.21-dev.7

package/dist/{codec-descriptor-registry-CiiFzMtb.mjs.map → codec-descriptor-registry-UiFDvDj4.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"codec-descriptor-registry-CiiFzMtb.mjs","names":[],"sources":["../../../../2-sql-family/4-lanes/relational-core/dist/exports/codec-descriptor-registry.mjs"],"sourcesContent":["import { structuredError } from \"@internal/utils/structured-error\";\nimport { resolveStorageTable } from \"@internal/sql-contract/resolve-storage-table\";\nimport { nonEmptyTypeParams } from \"@internal/sql-contract/types\";\nimport { blindCast } from \"@internal/utils/casts\";\n//#region src/codec-ref-for-column.ts\n/**\n* Derive the canonical {@link CodecRef} for a `(table, column)` pair against a {@link SqlStorage}. This is the build-time path every column-bound `ParamRef` / `ProjectionItem` uses to stamp its `codec` slot before the AST is handed to the runtime — the runtime resolver then materialises a memoised {@link import('@internal/sql-relational-core/ast').Codec} for the same `CodecRef` via `forCodecRef`.\n*\n* Resolution rules over namespace `entries.table[table].columns[column]`:\n*\n* - `typeParams` column → `{codecId, typeParams}` from the column itself.\n* - non-parameterized column → `{codecId}` with `typeParams` undefined.\n*\n* Returns `undefined` when the table or column is unknown.\n*\n* `namespaceId` leads the coordinate args and is always supplied: every\n* model/table sits in an explicit namespace, so the table is resolved strictly\n* within that namespace (see {@link resolveStorageTable}).\n*/\nfunction codecRefForStorageColumn(storage, namespaceId, tableName, columnName) {\n\tconst resolved = resolveStorageTable(storage, tableName, namespaceId);\n\tif (resolved === void 0) return void 0;\n\tconst columnDef = resolved.table.columns[columnName];\n\tif (!columnDef) return void 0;\n\tconst typeParams = nonEmptyTypeParams(columnDef.typeParams);\n\tconst params = typeParams === void 0 ? {} : { typeParams: blindCast(typeParams) };\n\treturn columnDef.many ? {\n\t\tcodecId: columnDef.codecId,\n\t\t...params,\n\t\tmany: true\n\t} : {\n\t\tcodecId: columnDef.codecId,\n\t\t...params\n\t};\n}\n//#endregion\n//#region src/codec-descriptor-registry.ts\n/**\n* Build a {@link CodecDescriptorRegistry} from a flat descriptor list.\n*\n* Used by:\n* - Each codec-shipping package's `core/registry.ts` to expose a package-scoped registry as the public consumer surface (replacing raw descriptor-array exports). See ADR 208.\n* - The runtime's `buildExecutionContext` to construct the contract-bound combined registry from every contributor's `codecs:` slot.\n*\n* The descriptor map is heterogeneous in `P` — each codec id has its own params shape. The public {@link CodecDescriptorRegistry} interface widens to `CodecDescriptor<unknown>` and consumers narrow per codec id at the call site (the descriptor's `paramsSchema` validates JSON-sourced params before the factory ever sees them, so the runtime narrow is safe). The cast at registration goes through `unknown` because\n* `CodecDescriptor<P>` is invariant in `P` (the `factory` and `renderOutputType` slots use `P` contravariantly).\n*/\nfunction buildCodecDescriptorRegistry(allDescriptors, storage) {\n\tconst byId = /* @__PURE__ */ new Map();\n\tfor (const descriptor of allDescriptors) {\n\t\tif (byId.has(descriptor.codecId)) throw structuredError(\"RUNTIME.DUPLICATE_CODEC\", `Duplicate codec descriptor id: '${descriptor.codecId}' — registered twice during registry construction. Each codecId must be contributed by exactly one component (target / adapter / extension pack).`, { meta: { codecId: descriptor.codecId } });\n\t\tconst widened = descriptor;\n\t\tbyId.set(descriptor.codecId, widened);\n\t}\n\treturn {\n\t\tdescriptorFor(codecId) {\n\t\t\treturn byId.get(codecId);\n\t\t},\n\t\tcodecRefForColumn(namespaceId, table, column) {\n\t\t\tif (!storage) return void 0;\n\t\t\treturn codecRefForStorageColumn(storage, namespaceId, table, column);\n\t\t},\n\t\t*values() {\n\t\t\tyield* byId.values();\n\t\t}\n\t};\n}\n//#endregion\nexport { buildCodecDescriptorRegistry, codecRefForStorageColumn };\n\n//# sourceMappingURL=codec-descriptor-registry.mjs.map"],"mappings":";;;;;;;;;;;;;;;;;;;AAmBA,SAAS,yBAAyB,SAAS,aAAa,WAAW,YAAY;CAC9E,MAAM,WAAW,oBAAoB,SAAS,WAAW,WAAW;CACpE,IAAI,aAAa,KAAK,GAAG,OAAO,KAAK;CACrC,MAAM,YAAY,SAAS,MAAM,QAAQ;CACzC,IAAI,CAAC,WAAW,OAAO,KAAK;CAC5B,MAAM,aAAa,mBAAmB,UAAU,UAAU;CAC1D,MAAM,SAAS,eAAe,KAAK,IAAI,CAAC,IAAI,EAAE,YAAY,UAAU,UAAU,EAAE;CAChF,OAAO,UAAU,OAAO;EACvB,SAAS,UAAU;EACnB,GAAG;EACH,MAAM;CACP,IAAI;EACH,SAAS,UAAU;EACnB,GAAG;CACJ;AACD;;;;;;;;;;;AAaA,SAAS,6BAA6B,gBAAgB,SAAS;CAC9D,MAAM,uBAAuB,IAAI,IAAI;CACrC,KAAK,MAAM,cAAc,gBAAgB;EACxC,IAAI,KAAK,IAAI,WAAW,OAAO,GAAG,MAAM,gBAAgB,2BAA2B,mCAAmC,WAAW,QAAQ,oJAAoJ,EAAE,MAAM,EAAE,SAAS,WAAW,QAAQ,EAAE,CAAC;EACtU,MAAM,UAAU;EAChB,KAAK,IAAI,WAAW,SAAS,OAAO;CACrC;CACA,OAAO;EACN,cAAc,SAAS;GACtB,OAAO,KAAK,IAAI,OAAO;EACxB;EACA,kBAAkB,aAAa,OAAO,QAAQ;GAC7C,IAAI,CAAC,SAAS,OAAO,KAAK;GAC1B,OAAO,yBAAyB,SAAS,aAAa,OAAO,MAAM;EACpE;EACA,CAAC,SAAS;GACT,OAAO,KAAK,OAAO;EACpB;CACD;AACD"}
+{"version":3,"file":"codec-descriptor-registry-UiFDvDj4.mjs","names":[],"sources":["../../../../2-sql-family/4-lanes/relational-core/dist/exports/codec-descriptor-registry.mjs"],"sourcesContent":["import { structuredError } from \"@internal/utils/structured-error\";\nimport { resolveStorageTable } from \"@internal/sql-contract/resolve-storage-table\";\nimport { nonEmptyTypeParams } from \"@internal/sql-contract/types\";\nimport { blindCast } from \"@internal/utils/casts\";\n//#region src/codec-ref-for-column.ts\n/**\n* Derive the canonical {@link CodecRef} for a `(table, column)` pair against a {@link SqlStorage}. This is the build-time path every column-bound `ParamRef` / `ProjectionItem` uses to stamp its `codec` slot before the AST is handed to the runtime — the runtime resolver then materialises a memoised {@link import('@internal/sql-relational-core/ast').Codec} for the same `CodecRef` via `forCodecRef`.\n*\n* Resolution rules over namespace `entries.table[table].columns[column]`:\n*\n* - `typeParams` column → `{codecId, typeParams}` from the column itself.\n* - non-parameterized column → `{codecId}` with `typeParams` undefined.\n*\n* Returns `undefined` when the table or column is unknown.\n*\n* `namespaceId` leads the coordinate args and is always supplied: every\n* model/table sits in an explicit namespace, so the table is resolved strictly\n* within that namespace (see {@link resolveStorageTable}).\n*/\nfunction codecRefForStorageColumn(storage, namespaceId, tableName, columnName) {\n\tconst resolved = resolveStorageTable(storage, tableName, namespaceId);\n\tif (resolved === void 0) return void 0;\n\tconst columnDef = resolved.table.columns[columnName];\n\tif (!columnDef) return void 0;\n\tconst typeParams = nonEmptyTypeParams(columnDef.typeParams);\n\tconst params = typeParams === void 0 ? {} : { typeParams: blindCast(typeParams) };\n\treturn columnDef.many ? {\n\t\tcodecId: columnDef.codecId,\n\t\t...params,\n\t\tmany: true\n\t} : {\n\t\tcodecId: columnDef.codecId,\n\t\t...params\n\t};\n}\n//#endregion\n//#region src/codec-descriptor-registry.ts\n/**\n* Build a {@link CodecDescriptorRegistry} from a flat descriptor list.\n*\n* Used by:\n* - Each codec-shipping package's `core/registry.ts` to expose a package-scoped registry as the public consumer surface (replacing raw descriptor-array exports). See ADR 208.\n* - The runtime's `buildExecutionContext` to construct the contract-bound combined registry from every contributor's `codecs:` slot.\n*\n* The descriptor map is heterogeneous in `P` — each codec id has its own params shape. The public {@link CodecDescriptorRegistry} interface widens to `CodecDescriptor<unknown>` and consumers narrow per codec id at the call site (the descriptor's `paramsSchema` validates JSON-sourced params before the factory ever sees them, so the runtime narrow is safe). The cast at registration goes through `unknown` because\n* `CodecDescriptor<P>` is invariant in `P` (the `factory` and `renderOutputType` slots use `P` contravariantly).\n*/\nfunction buildCodecDescriptorRegistry(allDescriptors, storage) {\n\tconst byId = /* @__PURE__ */ new Map();\n\tfor (const descriptor of allDescriptors) {\n\t\tif (byId.has(descriptor.codecId)) throw structuredError(\"RUNTIME.DUPLICATE_CODEC\", `Duplicate codec descriptor id: '${descriptor.codecId}' — registered twice during registry construction. Each codecId must be contributed by exactly one component (target / adapter / extension pack).`, { meta: { codecId: descriptor.codecId } });\n\t\tconst widened = descriptor;\n\t\tbyId.set(descriptor.codecId, widened);\n\t}\n\treturn {\n\t\tdescriptorFor(codecId) {\n\t\t\treturn byId.get(codecId);\n\t\t},\n\t\tcodecRefForColumn(namespaceId, table, column) {\n\t\t\tif (!storage) return void 0;\n\t\t\treturn codecRefForStorageColumn(storage, namespaceId, table, column);\n\t\t},\n\t\t*values() {\n\t\t\tyield* byId.values();\n\t\t}\n\t};\n}\n//#endregion\nexport { buildCodecDescriptorRegistry, codecRefForStorageColumn };\n\n//# sourceMappingURL=codec-descriptor-registry.mjs.map"],"mappings":";;;;;;;;;;;;;;;;;;;AAmBA,SAAS,yBAAyB,SAAS,aAAa,WAAW,YAAY;CAC9E,MAAM,WAAW,oBAAoB,SAAS,WAAW,WAAW;CACpE,IAAI,aAAa,KAAK,GAAG,OAAO,KAAK;CACrC,MAAM,YAAY,SAAS,MAAM,QAAQ;CACzC,IAAI,CAAC,WAAW,OAAO,KAAK;CAC5B,MAAM,aAAa,mBAAmB,UAAU,UAAU;CAC1D,MAAM,SAAS,eAAe,KAAK,IAAI,CAAC,IAAI,EAAE,YAAY,UAAU,UAAU,EAAE;CAChF,OAAO,UAAU,OAAO;EACvB,SAAS,UAAU;EACnB,GAAG;EACH,MAAM;CACP,IAAI;EACH,SAAS,UAAU;EACnB,GAAG;CACJ;AACD;;;;;;;;;;;AAaA,SAAS,6BAA6B,gBAAgB,SAAS;CAC9D,MAAM,uBAAuB,IAAI,IAAI;CACrC,KAAK,MAAM,cAAc,gBAAgB;EACxC,IAAI,KAAK,IAAI,WAAW,OAAO,GAAG,MAAM,gBAAgB,2BAA2B,mCAAmC,WAAW,QAAQ,oJAAoJ,EAAE,MAAM,EAAE,SAAS,WAAW,QAAQ,EAAE,CAAC;EACtU,MAAM,UAAU;EAChB,KAAK,IAAI,WAAW,SAAS,OAAO;CACrC;CACA,OAAO;EACN,cAAc,SAAS;GACtB,OAAO,KAAK,IAAI,OAAO;EACxB;EACA,kBAAkB,aAAa,OAAO,QAAQ;GAC7C,IAAI,CAAC,SAAS,OAAO,KAAK;GAC1B,OAAO,yBAAyB,SAAS,aAAa,OAAO,MAAM;EACpE;EACA,CAAC,SAAS;GACT,OAAO,KAAK,OAAO;EACpB;CACD;AACD"}

package/dist/codec-json-type-BdWPJ6T5-BhmIyNyb.d.mts

@@ -0,0 +1,13 @@
+//#region ../../../2-sql-family/1-core/contract/dist/codec-json-type-BdWPJ6T5.d.mts
+//#region src/codec-json-type.d.ts
+declare const JSON_TYPES: readonly ["string", "number", "boolean", "object", "array", "any"];
+/**
+ * The JSON type a codec's value is written as inside a JSON document. `'any'` means the value can be any JSON value, including `null`, as for a JSON codec.
+ */
+type JsonType = (typeof JSON_TYPES)[number];
+declare function isJsonType(value: unknown): value is JsonType;
+/** The JSON type a codec descriptor declares, or `undefined` when it declares none, as a descriptor compiled before codecs declared one does. */
+declare function declaredJsonType(descriptor: object): JsonType | undefined;
+//#endregion
+export { isJsonType as i, JsonType as n, declaredJsonType as r, JSON_TYPES as t };
+//# sourceMappingURL=codec-json-type-BdWPJ6T5-BhmIyNyb.d.mts.map

package/dist/codec-json-type-BdWPJ6T5-BhmIyNyb.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec-json-type-BdWPJ6T5-BhmIyNyb.d.mts","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/codec-json-type-BdWPJ6T5.d.mts"],"mappings":";;cACc;;;;KAIT,mBAAmB;iBACP,WAAW,iBAAiB,SAAS;;iBAErC,iBAAiB,qBAAqB"}

package/dist/codec-json-type-DUWyBtJk-BVTavkH0.mjs

@@ -0,0 +1,21 @@
+//#region ../../../2-sql-family/1-core/contract/dist/codec-json-type-DUWyBtJk.mjs
+const JSON_TYPES = [
+	"string",
+	"number",
+	"boolean",
+	"object",
+	"array",
+	"any"
+];
+function isJsonType(value) {
+	return JSON_TYPES.some((jsonType) => jsonType === value);
+}
+/** The JSON type a codec descriptor declares, or `undefined` when it declares none, as a descriptor compiled before codecs declared one does. */
+function declaredJsonType(descriptor) {
+	const jsonType = Reflect.get(descriptor, "jsonType");
+	return isJsonType(jsonType) ? jsonType : void 0;
+}
+//#endregion
+export { declaredJsonType as n, isJsonType as r, JSON_TYPES as t };
+
+//# sourceMappingURL=codec-json-type-DUWyBtJk-BVTavkH0.mjs.map

package/dist/codec-json-type-DUWyBtJk-BVTavkH0.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec-json-type-DUWyBtJk-BVTavkH0.mjs","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/codec-json-type-DUWyBtJk.mjs"],"sourcesContent":["//#region src/codec-json-type.ts\nconst JSON_TYPES = [\n\t\"string\",\n\t\"number\",\n\t\"boolean\",\n\t\"object\",\n\t\"array\",\n\t\"any\"\n];\nfunction isJsonType(value) {\n\treturn JSON_TYPES.some((jsonType) => jsonType === value);\n}\n/** The JSON type a codec descriptor declares, or `undefined` when it declares none, as a descriptor compiled before codecs declared one does. */\nfunction declaredJsonType(descriptor) {\n\tconst jsonType = Reflect.get(descriptor, \"jsonType\");\n\treturn isJsonType(jsonType) ? jsonType : void 0;\n}\n//#endregion\nexport { declaredJsonType as n, isJsonType as r, JSON_TYPES as t };\n\n//# sourceMappingURL=codec-json-type-DUWyBtJk.mjs.map"],"mappings":";AACA,MAAM,aAAa;CAClB;CACA;CACA;CACA;CACA;CACA;AACD;AACA,SAAS,WAAW,OAAO;CAC1B,OAAO,WAAW,MAAM,aAAa,aAAa,KAAK;AACxD;;AAEA,SAAS,iBAAiB,YAAY;CACrC,MAAM,WAAW,QAAQ,IAAI,YAAY,UAAU;CACnD,OAAO,WAAW,QAAQ,IAAI,WAAW,KAAK;AAC/C"}

package/dist/{collection-methods-D9CYfePl-DsDjYS6t.d.mts → collection-methods-D9CYfePl-BGvD1h9Z.d.mts}

@@ -1,6 +1,6 @@
-import { r as StorageTable } from "./storage-table-Bf1ZjnxO-pUj6pyP0.mjs";
-import "./types-CkAd8SWm.mjs";
-import { t as IndexReference } from "./index-reference-YHvh6wAL-BAhOS7RC.mjs";
+import { r as StorageTable } from "./storage-value-object-BcvIeUr8-DiiZNIrZ.mjs";
+import "./types-CXRxo_TK.mjs";
+import { t as IndexReference } from "./index-reference-YHvh6wAL-BupQRpkE.mjs";
 import { ContractField, ContractRelation } from "@prisma/orm-framework/contract/types";
 //#region ../../../2-sql-family/4-lanes/relational-core/dist/collection-methods-D9CYfePl.d.mts
 //#region src/collection-methods.d.ts
@@ -74,4 +74,4 @@ interface CollectionMethodContribution {
 }
 //#endregion
 export { CollectionMethodModel as a, CollectionMethodRegistry as c, CollectionMethodContributionType as i, CollectionMethodTools as l, CollectionMethodContribution as n, CollectionMethodModelType as o, CollectionMethodContributionId as r, CollectionMethodReceiver as s, CollectionMethodBody as t, ContributedMethodSignature as u };
-//# sourceMappingURL=collection-methods-D9CYfePl-DsDjYS6t.d.mts.map
+//# sourceMappingURL=collection-methods-D9CYfePl-BGvD1h9Z.d.mts.map

package/dist/{collection-methods-D9CYfePl-DsDjYS6t.d.mts.map → collection-methods-D9CYfePl-BGvD1h9Z.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"collection-methods-D9CYfePl-DsDjYS6t.d.mts","names":[],"sources":["../../../../2-sql-family/4-lanes/relational-core/dist/collection-methods-D9CYfePl.d.mts"],"mappings":";;;;;;;;;UAOU;WACC;WACA;WACA;WACA;WACA;aACE;aACA;;;;;;UAMH;WACC;WACA;WACA;;;;;UAKD;WACC,OAAO;WACP;cACG,eAAe;;;;;;UAMnB;;WAEC;;;KAGN,iCAAiC,cAAc;;UAE1C;WACC,KAAK,SAAS,mBAAmB;WACjC,SAAS,SAAS,eAAe;;;;;UAKlC;EACR,MAAM,YAAY,gBAAgB,OAAO,oCAAoC;EAC7E,QAAQ,QAAQ,gBAAgB,OAAO,oCAAoC;;;KAGxE,wBAAwB,YAAY,6BAA6B,kBAAkB;;UAE9E;WACC;WACA;WACA,QAAQ,SAAS,eAAe;WAChC,WAAW,SAAS,eAAe;WACnC,OAAO;;;;;UAKR;WACC;EACT,WAAW,OAAO,wBAAwB,SAAS,eAAe"}
+{"version":3,"file":"collection-methods-D9CYfePl-BGvD1h9Z.d.mts","names":[],"sources":["../../../../2-sql-family/4-lanes/relational-core/dist/collection-methods-D9CYfePl.d.mts"],"mappings":";;;;;;;;;UAOU;WACC;WACA;WACA;WACA;WACA;aACE;aACA;;;;;;UAMH;WACC;WACA;WACA;;;;;UAKD;WACC,OAAO;WACP;cACG,eAAe;;;;;;UAMnB;;WAEC;;;KAGN,iCAAiC,cAAc;;UAE1C;WACC,KAAK,SAAS,mBAAmB;WACjC,SAAS,SAAS,eAAe;;;;;UAKlC;EACR,MAAM,YAAY,gBAAgB,OAAO,oCAAoC;EAC7E,QAAQ,QAAQ,gBAAgB,OAAO,oCAAoC;;;KAGxE,wBAAwB,YAAY,6BAA6B,kBAAkB;;UAE9E;WACC;WACA;WACA,QAAQ,SAAS,eAAe;WAChC,WAAW,SAAS,eAAe;WACnC,OAAO;;;;;UAKR;WACC;EACT,WAAW,OAAO,wBAAwB,SAAS,eAAe"}

package/dist/collection-methods-mo-2RjdX.d.mts

@@ -0,0 +1 @@
+import "./collection-methods-D9CYfePl-BGvD1h9Z.mjs";

package/dist/{config-types-DkEeq_qq.mjs → config-types-BCXwEBZH.mjs}

@@ -1,4 +1,4 @@
-import { n as buildSqlContractFromDefinition, r as contractError, t as applySqlSpecifierControlPolicy } from "./derived-checks-D5HVRvqN-BJx1gwPA.mjs";
+import { n as buildSqlContractFromDefinition, r as contractError, t as applySqlSpecifierControlPolicy } from "./derived-checks-D__agoFB-Boa1MHcA.mjs";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
 import { createDataTypeLookup, emptyCodecLookup } from "@prisma/orm-framework/components/codec";
 import { InternalError } from "@prisma/orm-framework/utils/internal-error";
@@ -65,4 +65,4 @@ function typescriptContractFromPath(contractPath, output, options) {
 //#endregion
 export { typescriptContract as n, typescriptContractFromPath as r, emptyContract as t };
 
-//# sourceMappingURL=config-types-DkEeq_qq.mjs.map
+//# sourceMappingURL=config-types-BCXwEBZH.mjs.map

package/dist/{config-types-DkEeq_qq.mjs.map → config-types-BCXwEBZH.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"config-types-DkEeq_qq.mjs","names":[],"sources":["../../../../2-sql-family/2-authoring/contract-ts/dist/config-types.mjs"],"sourcesContent":["import { n as buildSqlContractFromDefinition, s as contractError, t as applySqlSpecifierControlPolicy } from \"./derived-checks-D5HVRvqN.mjs\";\nimport { createDataTypeLookup, emptyCodecLookup } from \"@internal/framework-components/codec\";\nimport { ifDefined } from \"@internal/utils/defined\";\nimport { InternalError } from \"@internal/utils/internal-error\";\nimport { pathToFileURL } from \"node:url\";\nimport { ok } from \"@internal/utils/result\";\nimport { extname } from \"pathe\";\n//#region src/config-types.ts\n/**\n* Derives the emit output path from the TS contract input so artefacts land\n* colocated with the source (e.g. `prisma/contract.ts` →\n* `prisma/contract.json`). Mirrors the same default-derivation logic in\n* `@internal/sql-contract-psl/provider`.\n*/\nfunction defaultOutputFromContractPath(contractPath) {\n\tconst ext = extname(contractPath);\n\tif (ext.length === 0) return `${contractPath}.json`;\n\treturn `${contractPath.slice(0, -ext.length)}.json`;\n}\nfunction emptyContract(options) {\n\treturn {\n\t\tsource: {\n\t\t\tformat: \"typescript\",\n\t\t\tload: async () => {\n\t\t\t\treturn ok(applySqlSpecifierControlPolicy(buildSqlContractFromDefinition({\n\t\t\t\t\twarnings: void 0,\n\t\t\t\t\ttarget: options.target,\n\t\t\t\t\tcreateNamespace: options.createNamespace,\n\t\t\t\t\tmodels: []\n\t\t\t\t}, {\n\t\t\t\t\t...emptyCodecLookup,\n\t\t\t\t\tdescriptorFor: () => void 0\n\t\t\t\t}, createDataTypeLookup([])), options.defaultControlPolicy, options.createNamespace));\n\t\t\t}\n\t\t},\n\t\t...ifDefined(\"output\", options.output)\n\t};\n}\nfunction typescriptContract(contract, output, options) {\n\treturn {\n\t\tsource: {\n\t\t\tformat: \"typescript\",\n\t\t\tload: async () => ok(options === void 0 ? contract : applySqlSpecifierControlPolicy(contract, options.defaultControlPolicy, options.createNamespace))\n\t\t},\n\t\t...ifDefined(\"output\", output)\n\t};\n}\nfunction typescriptContractFromPath(contractPath, output, options) {\n\treturn {\n\t\tsource: {\n\t\t\tformat: \"typescript\",\n\t\t\tinputs: [contractPath],\n\t\t\tload: async (context) => {\n\t\t\t\tconst [absolutePath] = context.resolvedInputs;\n\t\t\t\tif (absolutePath === void 0) throw new InternalError(\"typescriptContractFromPath: context.resolvedInputs is empty. The CLI config loader should populate it from source.inputs.\");\n\t\t\t\tconst mod = await import(pathToFileURL(absolutePath).href);\n\t\t\t\tconst contract = mod.default ?? mod.contract;\n\t\t\t\tif (contract === void 0) throw contractError(\"CONTRACT.MODULE_EXPORT_MISSING\", `typescriptContractFromPath: module at \"${absolutePath}\" has no \"default\" or \"contract\" export.`, { meta: { path: absolutePath } });\n\t\t\t\treturn ok(options === void 0 ? contract : applySqlSpecifierControlPolicy(contract, options.defaultControlPolicy, options.createNamespace));\n\t\t\t}\n\t\t},\n\t\toutput: output ?? defaultOutputFromContractPath(contractPath)\n\t};\n}\n//#endregion\nexport { emptyContract, typescriptContract, typescriptContractFromPath };\n\n//# sourceMappingURL=config-types.mjs.map"],"mappings":";;;;;;;;;;;;;;AAcA,SAAS,8BAA8B,cAAc;CACpD,MAAM,MAAM,QAAQ,YAAY;CAChC,IAAI,IAAI,WAAW,GAAG,OAAO,GAAG,aAAa;CAC7C,OAAO,GAAG,aAAa,MAAM,GAAG,CAAC,IAAI,MAAM,EAAE;AAC9C;AACA,SAAS,cAAc,SAAS;CAC/B,OAAO;EACN,QAAQ;GACP,QAAQ;GACR,MAAM,YAAY;IACjB,OAAO,GAAG,+BAA+B,+BAA+B;KACvE,UAAU,KAAK;KACf,QAAQ,QAAQ;KAChB,iBAAiB,QAAQ;KACzB,QAAQ,CAAC;IACV,GAAG;KACF,GAAG;KACH,qBAAqB,KAAK;IAC3B,GAAG,qBAAqB,CAAC,CAAC,CAAC,GAAG,QAAQ,sBAAsB,QAAQ,eAAe,CAAC;GACrF;EACD;EACA,GAAG,UAAU,UAAU,QAAQ,MAAM;CACtC;AACD;AACA,SAAS,mBAAmB,UAAU,QAAQ,SAAS;CACtD,OAAO;EACN,QAAQ;GACP,QAAQ;GACR,MAAM,YAAY,GAAG,YAAY,KAAK,IAAI,WAAW,+BAA+B,UAAU,QAAQ,sBAAsB,QAAQ,eAAe,CAAC;EACrJ;EACA,GAAG,UAAU,UAAU,MAAM;CAC9B;AACD;AACA,SAAS,2BAA2B,cAAc,QAAQ,SAAS;CAClE,OAAO;EACN,QAAQ;GACP,QAAQ;GACR,QAAQ,CAAC,YAAY;GACrB,MAAM,OAAO,YAAY;IACxB,MAAM,CAAC,gBAAgB,QAAQ;IAC/B,IAAI,iBAAiB,KAAK,GAAG,MAAM,IAAI,cAAc,2HAA2H;IAChL,MAAM,MAAM,MAAM,OAAO,cAAc,YAAY,CAAC,CAAC;IACrD,MAAM,WAAW,IAAI,WAAW,IAAI;IACpC,IAAI,aAAa,KAAK,GAAG,MAAM,cAAc,kCAAkC,0CAA0C,aAAa,2CAA2C,EAAE,MAAM,EAAE,MAAM,aAAa,EAAE,CAAC;IACjN,OAAO,GAAG,YAAY,KAAK,IAAI,WAAW,+BAA+B,UAAU,QAAQ,sBAAsB,QAAQ,eAAe,CAAC;GAC1I;EACD;EACA,QAAQ,UAAU,8BAA8B,YAAY;CAC7D;AACD"}
+{"version":3,"file":"config-types-BCXwEBZH.mjs","names":[],"sources":["../../../../2-sql-family/2-authoring/contract-ts/dist/config-types.mjs"],"sourcesContent":["import { n as buildSqlContractFromDefinition, s as contractError, t as applySqlSpecifierControlPolicy } from \"./derived-checks-D__agoFB.mjs\";\nimport { createDataTypeLookup, emptyCodecLookup } from \"@internal/framework-components/codec\";\nimport { ifDefined } from \"@internal/utils/defined\";\nimport { InternalError } from \"@internal/utils/internal-error\";\nimport { pathToFileURL } from \"node:url\";\nimport { ok } from \"@internal/utils/result\";\nimport { extname } from \"pathe\";\n//#region src/config-types.ts\n/**\n* Derives the emit output path from the TS contract input so artefacts land\n* colocated with the source (e.g. `prisma/contract.ts` →\n* `prisma/contract.json`). Mirrors the same default-derivation logic in\n* `@internal/sql-contract-psl/provider`.\n*/\nfunction defaultOutputFromContractPath(contractPath) {\n\tconst ext = extname(contractPath);\n\tif (ext.length === 0) return `${contractPath}.json`;\n\treturn `${contractPath.slice(0, -ext.length)}.json`;\n}\nfunction emptyContract(options) {\n\treturn {\n\t\tsource: {\n\t\t\tformat: \"typescript\",\n\t\t\tload: async () => {\n\t\t\t\treturn ok(applySqlSpecifierControlPolicy(buildSqlContractFromDefinition({\n\t\t\t\t\twarnings: void 0,\n\t\t\t\t\ttarget: options.target,\n\t\t\t\t\tcreateNamespace: options.createNamespace,\n\t\t\t\t\tmodels: []\n\t\t\t\t}, {\n\t\t\t\t\t...emptyCodecLookup,\n\t\t\t\t\tdescriptorFor: () => void 0\n\t\t\t\t}, createDataTypeLookup([])), options.defaultControlPolicy, options.createNamespace));\n\t\t\t}\n\t\t},\n\t\t...ifDefined(\"output\", options.output)\n\t};\n}\nfunction typescriptContract(contract, output, options) {\n\treturn {\n\t\tsource: {\n\t\t\tformat: \"typescript\",\n\t\t\tload: async () => ok(options === void 0 ? contract : applySqlSpecifierControlPolicy(contract, options.defaultControlPolicy, options.createNamespace))\n\t\t},\n\t\t...ifDefined(\"output\", output)\n\t};\n}\nfunction typescriptContractFromPath(contractPath, output, options) {\n\treturn {\n\t\tsource: {\n\t\t\tformat: \"typescript\",\n\t\t\tinputs: [contractPath],\n\t\t\tload: async (context) => {\n\t\t\t\tconst [absolutePath] = context.resolvedInputs;\n\t\t\t\tif (absolutePath === void 0) throw new InternalError(\"typescriptContractFromPath: context.resolvedInputs is empty. The CLI config loader should populate it from source.inputs.\");\n\t\t\t\tconst mod = await import(pathToFileURL(absolutePath).href);\n\t\t\t\tconst contract = mod.default ?? mod.contract;\n\t\t\t\tif (contract === void 0) throw contractError(\"CONTRACT.MODULE_EXPORT_MISSING\", `typescriptContractFromPath: module at \"${absolutePath}\" has no \"default\" or \"contract\" export.`, { meta: { path: absolutePath } });\n\t\t\t\treturn ok(options === void 0 ? contract : applySqlSpecifierControlPolicy(contract, options.defaultControlPolicy, options.createNamespace));\n\t\t\t}\n\t\t},\n\t\toutput: output ?? defaultOutputFromContractPath(contractPath)\n\t};\n}\n//#endregion\nexport { emptyContract, typescriptContract, typescriptContractFromPath };\n\n//# sourceMappingURL=config-types.mjs.map"],"mappings":";;;;;;;;;;;;;;AAcA,SAAS,8BAA8B,cAAc;CACpD,MAAM,MAAM,QAAQ,YAAY;CAChC,IAAI,IAAI,WAAW,GAAG,OAAO,GAAG,aAAa;CAC7C,OAAO,GAAG,aAAa,MAAM,GAAG,CAAC,IAAI,MAAM,EAAE;AAC9C;AACA,SAAS,cAAc,SAAS;CAC/B,OAAO;EACN,QAAQ;GACP,QAAQ;GACR,MAAM,YAAY;IACjB,OAAO,GAAG,+BAA+B,+BAA+B;KACvE,UAAU,KAAK;KACf,QAAQ,QAAQ;KAChB,iBAAiB,QAAQ;KACzB,QAAQ,CAAC;IACV,GAAG;KACF,GAAG;KACH,qBAAqB,KAAK;IAC3B,GAAG,qBAAqB,CAAC,CAAC,CAAC,GAAG,QAAQ,sBAAsB,QAAQ,eAAe,CAAC;GACrF;EACD;EACA,GAAG,UAAU,UAAU,QAAQ,MAAM;CACtC;AACD;AACA,SAAS,mBAAmB,UAAU,QAAQ,SAAS;CACtD,OAAO;EACN,QAAQ;GACP,QAAQ;GACR,MAAM,YAAY,GAAG,YAAY,KAAK,IAAI,WAAW,+BAA+B,UAAU,QAAQ,sBAAsB,QAAQ,eAAe,CAAC;EACrJ;EACA,GAAG,UAAU,UAAU,MAAM;CAC9B;AACD;AACA,SAAS,2BAA2B,cAAc,QAAQ,SAAS;CAClE,OAAO;EACN,QAAQ;GACP,QAAQ;GACR,QAAQ,CAAC,YAAY;GACrB,MAAM,OAAO,YAAY;IACxB,MAAM,CAAC,gBAAgB,QAAQ;IAC/B,IAAI,iBAAiB,KAAK,GAAG,MAAM,IAAI,cAAc,2HAA2H;IAChL,MAAM,MAAM,MAAM,OAAO,cAAc,YAAY,CAAC,CAAC;IACrD,MAAM,WAAW,IAAI,WAAW,IAAI;IACpC,IAAI,aAAa,KAAK,GAAG,MAAM,cAAc,kCAAkC,0CAA0C,aAAa,2CAA2C,EAAE,MAAM,EAAE,MAAM,aAAa,EAAE,CAAC;IACjN,OAAO,GAAG,YAAY,KAAK,IAAI,WAAW,+BAA+B,UAAU,QAAQ,sBAAsB,QAAQ,eAAe,CAAC;GAC1I;EACD;EACA,QAAQ,UAAU,8BAA8B,YAAY;CAC7D;AACD"}

package/dist/{config-types-C-1mIiJO.d.mts → config-types-Ce1tAJ0B.d.mts}

@@ -1,6 +1,6 @@
-import { a as SqlNamespaceBase, c as SqlNamespaceInput } from "./sql-storage-DeCAh5Hi-CEM-m8cs.mjs";
-import "./types-CkAd8SWm.mjs";
-import { t as SqlNamespaceFactory } from "./derived-checks-DpPkO6Dt-9U9UJZOo.mjs";
+import { a as SqlNamespaceBase, c as SqlNamespaceInput } from "./sql-storage-B_AM6tU1-BOPQxXo7.mjs";
+import "./types-CXRxo_TK.mjs";
+import { t as SqlNamespaceFactory } from "./derived-checks-DpPkO6Dt-CQIM17j5.mjs";
 import { Contract, ControlPolicy } from "@prisma/orm-framework/contract/types";
 import { TargetPackRef } from "@prisma/orm-framework/components/components";
 import { ContractConfig, ContractConfig as ContractConfig$1 } from "@prisma/orm-framework/config/config-types";
@@ -25,4 +25,4 @@ declare function typescriptContract(contract: Contract, output?: string, options
 declare function typescriptContractFromPath(contractPath: string, output?: string, options?: TypeScriptContractSpecifierOptions): ContractConfig;
 //#endregion
 export { typescriptContractFromPath as i, emptyContract as n, typescriptContract as r, ContractConfig$1 as t };
-//# sourceMappingURL=config-types-C-1mIiJO.d.mts.map
+//# sourceMappingURL=config-types-Ce1tAJ0B.d.mts.map

package/dist/{config-types-C-1mIiJO.d.mts.map → config-types-Ce1tAJ0B.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"config-types-C-1mIiJO.d.mts","names":[],"sources":["../../../../2-sql-family/2-authoring/contract-ts/dist/config-types.d.mts"],"mappings":";;;;;;;;;;;;;UAWU;WACC,sBAAsB;WACtB,iBAAiB;;iBAEX,cAAc;WACpB;WACA,QAAQ;WACR,kBAAkB,OAAO,sBAAsB;WAC/C,uBAAuB;IAC9B;iBACa,mBAAmB,UAAU,UAAU,iBAAiB,UAAU,qCAAqC;iBACvG,2BAA2B,sBAAsB,iBAAiB,UAAU,qCAAqC"}
+{"version":3,"file":"config-types-Ce1tAJ0B.d.mts","names":[],"sources":["../../../../2-sql-family/2-authoring/contract-ts/dist/config-types.d.mts"],"mappings":";;;;;;;;;;;;;UAWU;WACC,sBAAsB;WACtB,iBAAiB;;iBAEX,cAAc;WACpB;WACA,QAAQ;WACR,kBAAkB,OAAO,sBAAsB;WAC/C,uBAAuB;IAC9B;iBACa,mBAAmB,UAAU,UAAU,iBAAiB,UAAU,qCAAqC;iBACvG,2BAA2B,sBAAsB,iBAAiB,UAAU,qCAAqC"}

package/dist/{contract-builder-DMNe_jX9.mjs → contract-builder-D50r41BU.mjs}

@@ -1,17 +1,17 @@
-import { d as sqlColumnLength } from "./sql-data-type-D7M-YTTY-D2vRqDxn.mjs";
+import { d as sqlColumnLength } from "./sql-data-type-LVBldu1a-Bq203xWX.mjs";
 import { t as providesEntityHandleLowering } from "./entity-handle-lowering-hook-BJZSlVVF.mjs";
 import { n as generatedIdColumnAliases, t as GENERATED_ID_COLUMN_ALIAS_NAMESPACES } from "./generated-id-column-aliases-DPUii1fN.mjs";
 import { a as isSqlExpression, c as requireSqlExpression, r as SqlExpression, s as readSqlExpression } from "./sql-expression-CKgKznXS.mjs";
-import { t as CODEC_INSTANCE_KIND } from "./types-CTdSkl0s.mjs";
-import { n as checkSqlDefaultText, o as reservedSqlDefaultText } from "./validators-BwA7ttZM.mjs";
-import { a as refuseTypesKey, n as buildSqlContractFromDefinition, r as contractError, s as toOneNullabilityContradictionMessage } from "./derived-checks-D5HVRvqN-BJx1gwPA.mjs";
+import { t as CODEC_INSTANCE_KIND } from "./types-CISwoRED.mjs";
+import { n as checkSqlDefaultText, o as reservedSqlDefaultText } from "./validators-qcQteqs2.mjs";
+import { a as refuseTypesKey, n as buildSqlContractFromDefinition, r as contractError, s as toOneNullabilityContradictionMessage } from "./derived-checks-D__agoFB-Boa1MHcA.mjs";
 import { isStructuredError } from "@prisma/orm-framework/utils/structured-error";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
-import { assembleDataTypeSupport, assertNoCrossRegistryCollisions, assertTypeAliasesValid, describeAdmittedForms, instantiateAuthoringTypeAlias, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringTypeAliasDescriptor, isAuthoringTypeConstructorDescriptor, isAuthoringTypeDescriptor, readWrittenValueAs, validateAuthoringHelperArguments, validateAuthoringTypeParams } from "@prisma/orm-framework/components/authoring";
+import { assembleDataTypeSupport, assertNoCrossRegistryCollisions, assertTypeAliasesValid, assertTypeChoicesValid, describeAdmittedForms, instantiateAuthoringTypeAlias, instantiateAuthoringTypeCall, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringTypeAliasDescriptor, isAuthoringTypeChoiceDescriptor, isAuthoringTypeConstructorDescriptor, isAuthoringTypeDescriptor, readWrittenValueAs, resolveAuthoringTypeChoice, typeChoiceArgumentsFromObject, typeConstructorLookup, validateAuthoringHelperArguments, validateAuthoringTypeChoiceParams, validateAuthoringTypeParams } from "@prisma/orm-framework/components/authoring";
+import { isColumnDefault } from "@prisma/orm-framework/contract/types";
 import { dataTypeId, numeralText } from "@prisma/orm-framework/components/codec";
 import { blindCast } from "@prisma/orm-framework/utils/casts";
-import { InternalError } from "@prisma/orm-framework/utils/internal-error";
-import { isColumnDefault } from "@prisma/orm-framework/contract/types";
+import { InternalError, isInternalError } from "@prisma/orm-framework/utils/internal-error";
 import { assembleGeneratorFunctions, createGeneratorHelpers } from "@prisma/orm-framework/components/components";
 import { answerMissingPropertyReads, assertSafeAuthoringHelperKey, bindEnumType, composePackAuthoringNamespace, createEntityHelpersFromNamespace, enumType, isEnumTypeHandle, member, resolveToOneRelationNullable } from "@prisma/orm-framework/contract-authoring";
 import { UNBOUND_PSL_NAMESPACE_NAME } from "@prisma/orm-framework/components/psl-ast";
@@ -47,12 +47,12 @@ function readValueArgument(label, value, dataType, dataTypes) {
 	return read.ok ? read.value.value : refuse(read.failure.message);
 }
 /**
-* The arguments of a type constructor call as the constructor receives them: each `value` argument read as a value of its data type, through the same read and cast as a PSL argument, so both give the same parameters. ADR 129, ADR 254.
+* The arguments of a type constructor or type choice call as the constructor receives them: each `value` argument read as a value of its data type, through the same read and cast as a PSL argument, so both give the same parameters. ADR 129, ADR 254.
 */
 function readValueArguments(helperPath, descriptors, args, dataTypes) {
 	return args.map((value, index) => {
 		const descriptor = descriptors?.[index];
-		if (descriptor === void 0 || value === void 0) return value;
+		if (descriptor?.kind !== "value" || value === void 0) return value;
 		return readValueArgument(descriptor.name === void 0 ? `Argument #${index + 1} of ${helperPath}` : `Argument "${descriptor.name}" of ${helperPath}`, value, dataTypeId(descriptor.dataType), dataTypes);
 	});
 }
@@ -76,6 +76,28 @@ function createTypeHelpersFromNamespace(namespace, lookups, path = []) {
 			};
 			continue;
 		}
+		if (isAuthoringTypeChoiceDescriptor(value)) {
+			const helperPath = currentPath.join(".");
+			const constructorNamed = typeConstructorLookup(namespace);
+			helpers[key] = (...written) => {
+				const args = typeChoiceArgumentsFromObject(helperPath, value, written);
+				validateAuthoringHelperArguments(helperPath, value.args, args);
+				const chosen = resolveAuthoringTypeChoice({
+					helperPath,
+					descriptor: value,
+					args: readValueArguments(helperPath, value.args, args, lookups.dataTypes),
+					constructorNamed
+				});
+				const output = instantiateAuthoringTypeConstructor(chosen.descriptor, chosen.args);
+				validateAuthoringTypeChoiceParams(helperPath, value, chosen.descriptor, output.typeParams, lookups.codecLookup.descriptorFor(output.codecId)?.paramsSchema);
+				return {
+					kind: CODEC_INSTANCE_KIND,
+					codecId: output.codecId,
+					typeParams: output.typeParams ?? {}
+				};
+			};
+			continue;
+		}
 		if (isAuthoringTypeAliasDescriptor(value)) {
 			const helperPath = currentPath.join(".");
 			helpers[key] = (...args) => {
@@ -657,12 +679,29 @@ function applyNaming(name, strategy) {
 	return result;
 }
 const GUIDE = "The upgrade guide \"Field presets are removed\" lists every rewrite.";
-/** The row of a preset whose rewrite is `rewrite`; its type is the first `type.X(` that `rewrite` writes. */
-function writtenAs(rewrite, codecId) {
+/** The explicit type constructor at the dotted `path`. */
+const explicit = (path) => ({
+	path: path.split("."),
+	options: void 0
+});
+/** The type choice at `path`, called with `options`. */
+const choice = (path, options = {}) => ({
+	path: path.split("."),
+	options
+});
+/** The call to `type` as TypeScript writes it, with `precision` when given: one object of arguments for a type choice, and a positional argument for an explicit type. */
+function typeCall({ path, options }, precision) {
+	const name = `type.${path.join(".")}`;
+	if (options === void 0) return `${name}(${precision ?? ""})`;
+	const members = [...Object.entries(options).map(([option, value]) => `${option}: '${value}'`), ...precision === void 0 ? [] : [`precision: ${precision}`]];
+	return members.length === 0 ? `${name}()` : `${name}({ ${members.join(", ")} })`;
+}
+/** The row of a preset whose rewrite is the column of `type`, then `chain`. */
+function writtenAs(type, codecId, chain = "") {
 	return [{
-		type: (/type\.([\w.]+)\(/.exec(rewrite)?.[1] ?? "").split("."),
+		type,
 		codecId,
-		rewrite
+		rewrite: `field.column(${typeCall(type)})${chain}`
 	}];
 }
 /** The `type.` prefix of a namespace, such as `sql.` for `['sql']`. */
@@ -670,7 +709,10 @@ const prefixOf = (namespace) => namespace.map((name) => `${name}.`).join("");
 /** The rows of a preset whose rewrite `write` makes from each namespace's `type.` prefix, each named where that namespace has the generated id column alias `alias`. */
 function idAlias(alias, write) {
 	return GENERATED_ID_COLUMN_ALIAS_NAMESPACES.map((namespace) => ({
-		type: [...namespace, alias],
+		type: {
+			path: [...namespace, alias],
+			options: void 0
+		},
 		codecId: generatedIdColumnAliases[alias].output.type.codecId,
 		rewrite: write(prefixOf(namespace))
 	}));
@@ -679,23 +721,33 @@ const column$1 = (prefix, type) => `field.column(type.${prefix}${type})`;
 const id = (columnText, generator) => `${columnText}.id().onCreate(gen.${generator})`;
 const aliasColumn = (alias) => idAlias(alias, (prefix) => column$1(prefix, `${alias}()`));
 const aliasId = (alias, generator) => idAlias(alias, (prefix) => id(column$1(prefix, `${alias}()`), generator));
-const withPhases = (type, codecId, precision) => writtenAs(`field.column(type.${type}(${precision ? "p" : ""})), with .onCreate(gen.now()) and .onUpdate(gen.now()) for the phases the preset set${precision ? ", and without p when it set no precision" : ""}`, codecId);
+const withPhases = (type, codecId, precision) => [{
+	type,
+	codecId,
+	rewrite: `field.column(${typeCall(type, precision ? "p" : void 0)}), with .onCreate(gen.now()) and .onUpdate(gen.now()) for the phases the preset set${precision ? `, and without ${type.options === void 0 ? "p" : "precision: p"} when it set no precision` : ""}`
+}];
+const SQLITE_DATETIME = "sqlite/datetime@1";
+const CREATED = ".onCreate(gen.now())";
+const UPDATED = ".onCreate(gen.now()).onUpdate(gen.now())";
+const TEMPORAL_DATE_TIME = choice("DateTime", { as: "temporal" });
+const STRING_DATE_TIME = choice("DateTime", { as: "string" });
+/** Each removed SQL preset and its rewrites. A date and time preset is written with the convenience call that gives the explicit type it stored, where one does (ADR 279). */
 const PRESETS = {
 	uuidString: aliasColumn("UuidString"),
 	ulid: aliasColumn("Ulid"),
 	nanoid: idAlias("Nanoid", (prefix) => `${column$1(prefix, "Nanoid()")}, or ${column$1(prefix, "Char(n)")} for nanoid({ size: n })`),
 	cuid2: aliasColumn("Cuid2"),
 	ksuid: aliasColumn("Ksuid"),
-	text: writtenAs("field.column(type.String())", "pg/text@1"),
-	int: writtenAs("field.column(type.Int())", "pg/int4@1"),
-	bigint: writtenAs("field.column(type.BigInt())", "pg/int8@1"),
-	float: writtenAs("field.column(type.Float())", "pg/float8@1"),
-	decimal: writtenAs("field.column(type.Decimal())", "pg/numeric@1"),
-	boolean: writtenAs("field.column(type.Boolean())", "pg/bool@1"),
-	json: writtenAs("field.column(type.Jsonb())", "pg/jsonb@1"),
-	bytes: writtenAs("field.column(type.Bytes())", "pg/bytea@1"),
-	dateTime: writtenAs("field.column(type.DateTime())", "pg/timestamptz-temporal@1"),
-	uuidNative: writtenAs("field.column(type.Uuid())", "pg/uuid@1"),
+	text: writtenAs(explicit("String"), "pg/text@1"),
+	int: writtenAs(explicit("Int"), "pg/int4@1"),
+	bigint: writtenAs(explicit("BigInt"), "pg/int8@1"),
+	float: writtenAs(explicit("Float"), "pg/float8@1"),
+	decimal: writtenAs(explicit("Decimal"), "pg/numeric@1"),
+	boolean: writtenAs(explicit("Boolean"), "pg/bool@1"),
+	json: writtenAs(explicit("Jsonb"), "pg/jsonb@1"),
+	bytes: writtenAs(explicit("Bytes"), "pg/bytea@1"),
+	dateTime: writtenAs(TEMPORAL_DATE_TIME, "pg/timestamptz-temporal@1"),
+	uuidNative: writtenAs(explicit("Uuid"), "pg/uuid@1"),
 	generated: idAlias("UuidString", (prefix) => `${column$1(prefix, "Char(n)")}.onCreate(gen.fn()), such as ${column$1(prefix, "UuidString()")}.onCreate(gen.uuid()) for field.generated(uuidv4())`),
 	"id.uuidv4String": aliasId("UuidString", "uuid()"),
 	"id.uuidv7String": aliasId("UuidString", "uuid(7)"),
@@ -703,38 +755,50 @@ const PRESETS = {
 	"id.nanoid": idAlias("Nanoid", (prefix) => `${id(column$1(prefix, "Nanoid()"), "nanoid()")}, or ${id(column$1(prefix, "Char(n)"), "nanoid(n)")} for id.nanoid({ size: n })`),
 	"id.cuid2": aliasId("Cuid2", "cuid(2)"),
 	"id.ksuid": aliasId("Ksuid", "ksuid()"),
-	"id.uuidv4Native": writtenAs(id("field.column(type.Uuid())", "uuid()"), "pg/uuid@1"),
-	"id.uuidv7Native": writtenAs(id("field.column(type.Uuid())", "uuid(7)"), "pg/uuid@1"),
-	"temporal.createdAt": writtenAs("field.column(type.temporal.CreatedAt())"),
-	"temporal.updatedAt": writtenAs("field.column(type.temporal.UpdatedAt())"),
-	"temporal.createdAtString": writtenAs("field.column(type.temporal.CreatedAtString())"),
-	"temporal.updatedAtString": writtenAs("field.column(type.temporal.UpdatedAtString())"),
-	"temporal.createdAtJsDate": writtenAs("field.column(type.temporal.CreatedAtJsDate())"),
-	"temporal.updatedAtJsDate": writtenAs("field.column(type.temporal.UpdatedAtJsDate())"),
-	"temporal.timestamp": withPhases("TimestampTemporal", "pg/timestamp-temporal@1", true),
-	"temporal.timestamptz": withPhases("TimestamptzTemporal", "pg/timestamptz-temporal@1", true),
-	"temporal.timestampString": withPhases("TimestampString", "pg/timestamp-string@1", true),
-	"temporal.timestamptzString": withPhases("TimestamptzString", "pg/timestamptz-string@1", true),
-	"temporal.timestamptzJsDate": withPhases("TimestamptzJsDate", "pg/timestamptz-date@1", true),
-	"temporal.date": withPhases("Date", "pg/date-temporal@1", false),
-	"temporal.dateString": withPhases("DateString", "pg/date-string@1", false),
-	"temporal.time": withPhases("Time", "pg/time-temporal@1", true),
-	"temporal.timeString": withPhases("TimeString", "pg/time-string@1", true),
-	"temporal.timetz": withPhases("Timetz", "pg/timetz@1", true),
-	"temporal.datetime": withPhases("DateTime", "sqlite/datetime@1", false)
+	"id.uuidv4Native": writtenAs(explicit("Uuid"), "pg/uuid@1", ".id().onCreate(gen.uuid())"),
+	"id.uuidv7Native": writtenAs(explicit("Uuid"), "pg/uuid@1", ".id().onCreate(gen.uuid(7))"),
+	"temporal.createdAt": [...writtenAs(TEMPORAL_DATE_TIME, "pg/timestamptz-temporal@1", CREATED), ...writtenAs(explicit("temporal.CreatedAt"), SQLITE_DATETIME)],
+	"temporal.updatedAt": [...writtenAs(TEMPORAL_DATE_TIME, "pg/timestamptz-temporal@1", UPDATED), ...writtenAs(explicit("temporal.UpdatedAt"), SQLITE_DATETIME)],
+	"temporal.createdAtString": writtenAs(STRING_DATE_TIME, "pg/timestamptz-string@1", CREATED),
+	"temporal.updatedAtString": writtenAs(STRING_DATE_TIME, "pg/timestamptz-string@1", UPDATED),
+	"temporal.createdAtJsDate": writtenAs(explicit("TimestamptzJsDate"), "pg/timestamptz-date@1", CREATED),
+	"temporal.updatedAtJsDate": writtenAs(explicit("TimestamptzJsDate"), "pg/timestamptz-date@1", UPDATED),
+	"temporal.timestamp": withPhases(explicit("TimestampTemporal"), "pg/timestamp-temporal@1", true),
+	"temporal.timestamptz": withPhases(TEMPORAL_DATE_TIME, "pg/timestamptz-temporal@1", true),
+	"temporal.timestampString": withPhases(choice("DateTime", {
+		as: "string",
+		storage: "timestamp"
+	}), "pg/timestamp-string@1", true),
+	"temporal.timestamptzString": withPhases(STRING_DATE_TIME, "pg/timestamptz-string@1", true),
+	"temporal.timestamptzJsDate": withPhases(explicit("TimestamptzJsDate"), "pg/timestamptz-date@1", true),
+	"temporal.date": withPhases(choice("Date", { as: "temporal" }), "pg/date-temporal@1", false),
+	"temporal.dateString": withPhases(choice("Date"), "pg/date-string@1", false),
+	"temporal.time": withPhases(choice("Time", { as: "temporal" }), "pg/time-temporal@1", true),
+	"temporal.timeString": withPhases(choice("Time"), "pg/time-string@1", true),
+	"temporal.timetz": withPhases(choice("Time", { storage: "timetz" }), "pg/timetz@1", true),
+	"temporal.datetime": withPhases(explicit("DateTime"), SQLITE_DATETIME, false)
 };
-function codecIdAt(types, path) {
+/** The codec a column of `type` is stored with in `types`, a type choice resolved with its options as a column resolves it; `undefined` when `types` has no such type or the options choose none. */
+function codecIdAt(types, path, options) {
 	const [name, ...rest] = path;
 	if (name === void 0 || !Object.hasOwn(types, name)) return void 0;
 	const value = types[name];
 	if (value === void 0) return void 0;
-	if (!isAuthoringTypeDescriptor(value)) return codecIdAt(value, rest);
+	if (!isAuthoringTypeDescriptor(value)) return codecIdAt(value, rest, options);
 	if (rest.length > 0) return void 0;
+	if (isAuthoringTypeChoiceDescriptor(value)) {
+		const args = value.args.map((argument) => argument.name !== void 0 && options !== void 0 && Object.hasOwn(options, argument.name) ? options[argument.name] : void 0);
+		try {
+			return instantiateAuthoringTypeCall(types, name, args).codecId;
+		} catch (error) {
+			if (isInternalError(error) || !(error instanceof Error)) throw error;
+			return;
+		}
+	}
 	return isAuthoringTypeAliasDescriptor(value) ? value.output.type.codecId : value.output.codecId;
 }
 function appliesTo(preset, types) {
-	const codecId = codecIdAt(types, preset.type);
-	return codecId !== void 0 && (preset.codecId === void 0 || codecId === preset.codecId);
+	return codecIdAt(types, preset.type.path, preset.type.options) === preset.codecId;
 }
 function refuse(path, types) {
 	const helper = `field.${path}`;
@@ -791,6 +855,7 @@ function createComposedAuthoringHelpers(options) {
 	const entityNamespace = composeEntityNamespace(components);
 	assertNoCrossRegistryCollisions(typeNamespace, entityNamespace);
 	assertNoBuiltInEntityCollisions(entityNamespace);
+	for (const component of components) assertTypeChoicesValid(component.authoring?.type ?? {}, component.id ?? "<unknown>");
 	const { support } = assembleDataTypeSupport(components, (codecId) => options.codecLookup.descriptorFor(codecId)?.dataType);
 	const helperLookups = {
 		codecLookup: options.codecLookup,
@@ -1865,4 +1930,4 @@ function autoincrement() {
 //#endregion
 export { check as a, enumType as c, member as d, model as f, buildContractDefinition as i, extensionModel as l, rel as m, bindEnumType as n, createComposedAuthoringHelpers as o, now as p, buildBoundContract as r, defineContract as s, autoincrement as t, field as u };
 
-//# sourceMappingURL=contract-builder-DMNe_jX9.mjs.map
+//# sourceMappingURL=contract-builder-D50r41BU.mjs.map