@prisma/orm-family-sql 8.0.0-rc.18-dev.37 → 8.0.0-rc.18-dev.39

package/dist/{migration-BZJFz90J.d.mts → migration-tfMTDejH.d.mts}

@@ -1,6 +1,6 @@
 import { l as SqlStorage } from "./sql-storage-tZhB8nS5-8NSWT0TW.mjs";
 import "./types-B2Dee96w.mjs";
-import { S as SqlPlanTargetDetails, u as SqlMigrationPlanOperation } from "./types-DKSRuPhK-DuxW_ceI.mjs";
+import { S as SqlPlanTargetDetails, u as SqlMigrationPlanOperation } from "./types-CI5lled6-CDV4aYNB.mjs";
 import { Contract } from "@prisma/orm-framework/contract/types";
 import { Migration } from "@prisma/orm-toolchain/migration-tools/migration";
 //#region ../../../2-sql/9-family/dist/migration.d.mts
@@ -41,4 +41,4 @@ declare abstract class SqlMigration<TDetails extends SqlPlanTargetDetails, TTarg
 }
 //#endregion
 export { SqlMigration as t };
-//# sourceMappingURL=migration-BZJFz90J.d.mts.map
+//# sourceMappingURL=migration-tfMTDejH.d.mts.map

package/dist/{migration-BZJFz90J.d.mts.map → migration-tfMTDejH.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"migration-BZJFz90J.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/migration.d.mts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;uBA0BuB,aAAa,iBAAiB,sBAAsB,mCAAmC,cAAc,SAAS,cAAc,SAAS,aAAa,YAAY,SAAS,cAAc,SAAS,qBAAqB,UAAU,0BAA0B,kBAAkB,WAAW,OAAO;;;;;;;;;;;MAW5S"}
+{"version":3,"file":"migration-tfMTDejH.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/migration.d.mts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;uBA0BuB,aAAa,iBAAiB,sBAAsB,mCAAmC,cAAc,SAAS,cAAc,SAAS,aAAa,YAAY,SAAS,cAAc,SAAS,qBAAqB,UAAU,0BAA0B,kBAAkB,WAAW,OAAO;;;;;;;;;;;MAW5S"}

package/dist/{pack-C4yN9ooT.d.mts → pack-74uFuOgh.d.mts}

@@ -1,13 +1,55 @@
-import { a as ParsedNullLiteral, i as EnumMemberListDefault, n as DefaultFunctionCall, r as EnumMemberDefault } from "./attribute-specs-CKPSK8oZ.mjs";
-import { t as sqlFamilyEnumSpec } from "./authoring-entity-types-DUQLeBf_-DmXuN7I3.mjs";
+import { a as EnumMemberListDefault, i as EnumMemberDefault, n as DefaultFunctionCall, o as ParsedNullLiteral } from "./attribute-specs-D_fUYNiw.mjs";
+import { t as sqlFamilyEnumSpec } from "./authoring-entity-types-DUQLeBf_-BZ1zRWGY.mjs";
+import { DataTypeSupport } from "@prisma/orm-framework/components/authoring";
+import { DataTypeId } from "@prisma/orm-framework/components/codec";
 import { GeneratorFunctionContribution } from "@prisma/orm-framework/components/components";
+import { ArgType, AttributeCtx } from "@prisma/orm-framework/psl-parser";
 //#region ../../../2-sql/9-family/dist/pack.d.mts
 //#region src/core/generator-functions.d.ts
-/** The identifier generator functions bound to a target's text codecs, and `uuid` to its uuid codecs. */
+/** The identifier generator functions bound to a target's text codecs, and `uuid` to its uuid codecs. Each refuses a column too short for what it writes. */
 declare function idGeneratorFunctionBindings(codecs: {
   readonly text: readonly string[];
   readonly uuid?: readonly string[];
 }): readonly GeneratorFunctionContribution[];
+/**
+ * The generator functions whose arguments are integers, declared with their signatures: `uuid(version?)`, `cuid(version)` and `nanoid(size?)`. Each argument is a value of `integer`, the target's integer data type, read and cast like a default, then checked by its function. A target declares them, because only it knows its integer type; the family and the target bind them.
+ */
+declare function sqlIntegerArgumentGeneratorFunctions({ integer }: {
+  readonly integer: DataTypeId;
+}): readonly [{
+  readonly name: "uuid";
+  readonly signature: (dataTypes: DataTypeSupport) => {
+    readonly documentation: "Generates a UUID when a value is not supplied.";
+    readonly positional: readonly [{
+      readonly key: "version";
+      readonly type: import("@prisma/orm-framework/psl-parser").OptionalArgType<4 | 7, AttributeCtx, ArgType<4 | 7, AttributeCtx>>;
+      readonly documentation: "The UUID version: `4` or `7`. Defaults to `4`.";
+    }];
+  };
+  readonly bindings: readonly [];
+}, {
+  readonly name: "cuid";
+  readonly signature: (dataTypes: DataTypeSupport) => {
+    readonly documentation: "Generates a CUID2 identifier when a value is not supplied.";
+    readonly positional: readonly [{
+      readonly key: "version";
+      readonly type: ArgType<2, AttributeCtx>;
+      readonly documentation: "The CUID version. Only `2` is supported.";
+    }];
+  };
+  readonly bindings: readonly [];
+}, {
+  readonly name: "nanoid";
+  readonly signature: (dataTypes: DataTypeSupport) => {
+    readonly documentation: "Generates a Nano ID when a value is not supplied.";
+    readonly positional: readonly [{
+      readonly key: "size";
+      readonly type: import("@prisma/orm-framework/psl-parser").OptionalArgType<number, AttributeCtx, ArgType<number, AttributeCtx>>;
+      readonly documentation: "The identifier length, from `2` through `255`. Defaults to 21.";
+    }];
+  };
+  readonly bindings: readonly [];
+}];
 //#endregion
 //#region src/exports/pack.d.ts
 declare const sqlFamilyPack: {
@@ -297,7 +339,7 @@ declare const sqlFamilyPack: {
         }, import("@prisma/orm-framework/psl-parser").ModelAttributeCtx>;
         readonly base: (_ctx: import("@prisma/orm-framework/psl-parser").AttributeSpecContext) => import("@prisma/orm-framework/psl-parser").AttributeSpec<{
           base: import("@prisma/orm-framework/psl-parser").ResolvedEntityReference<import("@prisma/orm-framework/psl-parser").ModelSymbol>;
-          value: string;
+          value: import("@prisma/orm-framework/psl-parser").ParsedWrittenScalar;
         }, import("@prisma/orm-framework/psl-parser").ModelAttributeCtx>;
       };
       readonly field: {
@@ -339,25 +381,9 @@ declare const sqlFamilyPack: {
     readonly bindings: readonly [];
   }, {
     readonly name: "uuid";
-    readonly signature: {
-      readonly documentation: "Generates a UUID when a value is not supplied.";
-      readonly positional: readonly [{
-        readonly key: "version";
-        readonly type: import("@prisma/orm-framework/psl-parser").OptionalArgType<4 | 7, import("@prisma/orm-framework/psl-parser").AttributeCtx, import("@prisma/orm-framework/psl-parser").OneOfArgType<[import("@prisma/orm-framework/psl-parser").FixedNumArgType<4, import("@prisma/orm-framework/psl-parser").AttributeCtx>, import("@prisma/orm-framework/psl-parser").FixedNumArgType<7, import("@prisma/orm-framework/psl-parser").AttributeCtx>], import("@prisma/orm-framework/psl-parser").AttributeCtx>>;
-        readonly documentation: "The UUID version: `4` or `7`. Defaults to `4`.";
-      }];
-    };
     readonly bindings: readonly import("@prisma/orm-framework/components/components").GeneratorFunctionBinding[];
   }, {
     readonly name: "cuid";
-    readonly signature: {
-      readonly documentation: "Generates a CUID2 identifier when a value is not supplied.";
-      readonly positional: readonly [{
-        readonly key: "version";
-        readonly type: import("@prisma/orm-framework/psl-parser").FixedNumArgType<2, import("@prisma/orm-framework/psl-parser").AttributeCtx>;
-        readonly documentation: "The CUID version. Only `2` is supported.";
-      }];
-    };
     readonly bindings: readonly import("@prisma/orm-framework/components/components").GeneratorFunctionBinding[];
   }, {
     readonly name: "ulid";
@@ -367,14 +393,6 @@ declare const sqlFamilyPack: {
     readonly bindings: readonly import("@prisma/orm-framework/components/components").GeneratorFunctionBinding[];
   }, {
     readonly name: "nanoid";
-    readonly signature: {
-      readonly documentation: "Generates a Nano ID when a value is not supplied.";
-      readonly positional: readonly [{
-        readonly key: "size";
-        readonly type: import("@prisma/orm-framework/psl-parser").OptionalArgType<number, import("@prisma/orm-framework/psl-parser").AttributeCtx, import("@prisma/orm-framework/psl-parser").IntArgType<import("@prisma/orm-framework/psl-parser").AttributeCtx>>;
-        readonly documentation: "The identifier length, from `2` through `255`. Defaults to 21.";
-      }];
-    };
     readonly bindings: readonly import("@prisma/orm-framework/components/components").GeneratorFunctionBinding[];
   }, {
     readonly name: "ksuid";
@@ -389,5 +407,5 @@ declare const sqlFamilyPack: {
   };
 };
 //#endregion
-export { sqlFamilyPack as n, idGeneratorFunctionBindings as t };
-//# sourceMappingURL=pack-C4yN9ooT.d.mts.map
+export { sqlFamilyPack as n, sqlIntegerArgumentGeneratorFunctions as r, idGeneratorFunctionBindings as t };
+//# sourceMappingURL=pack-74uFuOgh.d.mts.map

package/dist/{pack-C4yN9ooT.d.mts.map → pack-74uFuOgh.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"pack-C4yN9ooT.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/pack.d.mts"],"mappings":";;;;;;iBAIiB,4BAA4B;WAClC;WACA;aACE;;;cAGC;WACH;WACA;WACA;WACA;WACA;aACE;eACE;iBACE;iBACA;mBACE;mBACA;qBACE;;;;eAIN;iBACE;iBACA;mBACE;mBACA;qBACE;;;;eAIN;iBACE;iBACA;mBACE;mBACA;mBACA;qBACE;uBACE;uBACA;uBACA;uBACA;uBACA;;;;iBAIN;mBACE;mBACA;qBACE;uBACE;uBACA;uBACA;uBACA;;;;;eAKR;iBACE;iBACA;mBACE;mBACA;qBACE;;;;eAIN;iBACE;iBACA;mBACE;mBACA;qBACE;;;;eAIN;iBACE;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;qBACA;uBACE;yBACE;yBACA;yBACA;yBACA;yBACA;;;;mBAIN;qBACE;qBACA;uBACE;yBACE;yBACA;yBACA;yBACA;;;qBAGJ;uBACE;yBACE;yBACA;yBACA;2BACE;6BACE;6BACA;6BACA;;;;;qBAKR;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;;;aAKR;eACE;iBACE;iBACA;iBACA;mBACE;mBACA;;iBAEF;mBACE;mBACA;qBACE;uBACE;uBACA;;;;;eAKR;iBACE;mBACE;mBACA;mBACA;qBACE;qBACA;qBACA;;mBAEF;qBACE;qBACA;uBACE;yBACE;yBACA;;;;;;;aAOZ,gEAAgE;aAChE;eACE;QACP;QACA;QACA;QACA;QACA;UACE;;QAEF,aAAa;QACb;UACE,2CAA2C;YACzC;4CACgC;;;;aAI/B;eACE;iBACE,MAAM,qCAAqC,wDAAwD;UAC1G;0CACgC;iBACzB,KAAK,qCAAqC,wDAAwD;UACzG;mBACS;0CACuB;iBACzB,SAAS,qCAAqC,wDAAwD;UAC7G;mBACS;0CACuB;iBACzB,QAAQ,oCAAoC,wDAAwD;UAC3G;mBACS,4CAA4C;mBAC5C,uCAAuC;mBACvC;mBACA;mBACA;mBACA;mBACA,UAAU;0CACa;iBACzB,QAAQ,oCAAoC,wDAAwD;mBAClG,2CAA2C;mBAC3C;mBACA;0CACuB;iBACzB,UAAU,qCAAqC,wDAAwD;UAC9G;0CACgC;iBACzB,gBAAgB,qCAAqC,wDAAwD;UACpH;0CACgC;iBACzB,OAAO,qCAAqC,wDAAwD;UAC3G,qCAAqC,uDAAuD;UAC5F;0CACgC;;eAE3B;iBACE,MAAM,qCAAqC,6DAA6D;UAC/G;0CACgC;iBACzB,KAAK,qCAAqC,6DAA6D;mBACrG;0CACuB;iBACzB,SAAS,qCAAqC,6DAA6D;mBACzG;0CACuB;iBACzB,WAAW,qCAAqC,6DAA6D;UACpH;mBACS;mBACA;mBACA;mBACA;mBACA;mBACA;0CACuB;iBACzB,UAAU,oCAAoC,6DAA6D;UAClH,sCAAsC,sBAtCnB,mDAsCiJ,iDAAiD,sBAApG,qBAA+K,sBAA0E,oBAA2E;0CACrZ;iBACzB,WAAW,oCAAoC,6DAA6D;UACnH,sCAAsC;0CACN;iBACzB,WAAW,oCAAoC,6DAA6D;UACnH,sCAAsC;0CACN;;;;WAI/B;aACE;aACA;eACE;;aAEF;;aAEA;aACA;eACE;eACA;iBACE;iBACA,qCAAqC,sDAAsD,6CAA6C,6CAA6C,kDAAkD,8CAA8C,kDAAkD,+CAA+C;iBACtX;;;aAGJ,uEAAuE;;aAEvE;aACA;eACE;eACA;iBACE;iBACA,qCAAqC,kDAAkD;iBACvF;;;aAGJ,uEAAuE;;aAEvE;aACA;eACE;;aAEF,uEAAuE;;aAEvE;aACA;eACE;eACA;iBACE;iBACA,qCAAqC,uDAAuD,6CAA6C,0CAA0C;iBACnL;;;aAGJ,uEAAuE;;aAEvE;aACA;eACE;;aAEF,uEAAuE;;WAEzE;aACE,yBAAyB;aACzB,gFAAgF"}
+{"version":3,"file":"pack-74uFuOgh.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/pack.d.mts"],"mappings":";;;;;;;;;iBAOiB,4BAA4B;WAClC;WACA;aACE;;;;iBAII,uCAAuC;WAC7C,SAAS;;WAET;WACA,YAAY,WAAW;aACrB;aACA;eACE;eACA,qCAAqC,uBAAuB,cAAc,eAAe;eACzF;;;WAGJ;;WAEA;WACA,YAAY,WAAW;aACrB;aACA;eACE;eACA,MAAM,WAAW;eACjB;;;WAGJ;;WAEA;WACA,YAAY,WAAW;aACrB;aACA;eACE;eACA,qCAAqC,wBAAwB,cAAc,gBAAgB;eAC3F;;;WAGJ;;;;cAIG;WACH;WACA;WACA;WACA;WACA;aACE;eACE;iBACE;iBACA;mBACE;mBACA;qBACE;;;;eAIN;iBACE;iBACA;mBACE;mBACA;qBACE;;;;eAIN;iBACE;iBACA;mBACE;mBACA;mBACA;qBACE;uBACE;uBACA;uBACA;uBACA;uBACA;;;;iBAIN;mBACE;mBACA;qBACE;uBACE;uBACA;uBACA;uBACA;;;;;eAKR;iBACE;iBACA;mBACE;mBACA;qBACE;;;;eAIN;iBACE;iBACA;mBACE;mBACA;qBACE;;;;eAIN;iBACE;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;qBACA;uBACE;yBACE;yBACA;yBACA;yBACA;yBACA;;;;mBAIN;qBACE;qBACA;uBACE;yBACE;yBACA;yBACA;yBACA;;;qBAGJ;uBACE;yBACE;yBACA;yBACA;2BACE;6BACE;6BACA;6BACA;;;;;qBAKR;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;iBAGJ;mBACE;mBACA;qBACE;qBACA;uBACE;;qBAEF;uBACE;yBACE;yBACA;;;qBAGJ;;;;;aAKR;eACE;iBACE;iBACA;iBACA;mBACE;mBACA;;iBAEF;mBACE;mBACA;qBACE;uBACE;uBACA;;;;;eAKR;iBACE;mBACE;mBACA;mBACA;qBACE;qBACA;qBACA;;mBAEF;qBACE;qBACA;uBACE;yBACE;yBACA;;;;;;;aAOZ,gEAAgE;aAChE;eACE;QACP;QACA;QACA;QACA;QACA;UACE;;QAEF,aAAa;QACb;UACE,2CAA2C;YACzC;4CACgC;;;;aAI/B;eACE;iBACE,MAAM,qCAAqC,wDAAwD;UAC1G;0CACgC;iBACzB,KAAK,qCAAqC,wDAAwD;UACzG;mBACS;0CACuB;iBACzB,SAAS,qCAAqC,wDAAwD;UAC7G;mBACS;0CACuB;iBACzB,QAAQ,oCAAoC,wDAAwD;UAC3G;mBACS,4CAA4C;mBAC5C,uCAAuC;mBACvC;mBACA;mBACA;mBACA;mBACA,UAAU;0CACa;iBACzB,QAAQ,oCAAoC,wDAAwD;mBAClG,2CAA2C;mBAC3C;mBACA;0CACuB;iBACzB,UAAU,qCAAqC,wDAAwD;UAC9G;0CACgC;iBACzB,gBAAgB,qCAAqC,wDAAwD;UACpH;0CACgC;iBACzB,OAAO,qCAAqC,wDAAwD;UAC3G,qCAAqC,uDAAuD;UAC5F,sCAAsC;0CACN;;eAE3B;iBACE,MAAM,qCAAqC,6DAA6D;UAC/G;0CACgC;iBACzB,KAAK,qCAAqC,6DAA6D;mBACrG;0CACuB;iBACzB,SAAS,qCAAqC,6DAA6D;mBACzG;0CACuB;iBACzB,WAAW,qCAAqC,6DAA6D;UACpH;mBACS;mBACA;mBACA;mBACA;mBACA;mBACA;0CACuB;iBACzB,UAAU,oCAAoC,6DAA6D;UAClH,sCAAsC,sBAtCnB,mDAsCiJ,iDAAiD,sBAApG,qBAA+K,sBAA0E,oBAA2E;0CACrZ;iBACzB,WAAW,oCAAoC,6DAA6D;UACnH,sCAAsC;0CACN;iBACzB,WAAW,oCAAoC,6DAA6D;UACnH,sCAAsC;0CACN;;;;WAI/B;aACE;aACA;eACE;;aAEF;;aAEA;aACA,uEAAuE;;aAEvE;aACA,uEAAuE;;aAEvE;aACA;eACE;;aAEF,uEAAuE;;aAEvE;aACA,uEAAuE;;aAEvE;aACA;eACE;;aAEF,uEAAuE;;WAEzE;aACE,yBAAyB;aACzB,gFAAgF"}

package/dist/{psl-build-DzdzY3o1.mjs → psl-build-BSZQ8lC1.mjs}

@@ -1,5 +1,5 @@
-import { n as isSqlDataType, o as resolveReportedSqlType } from "./sql-data-type-D5cI3M07-DIcPP8s1.mjs";
-import { r as numeralText } from "./data-type-HNhSslwG.mjs";
+import { n as isSqlDataType, o as resolveReportedSqlType } from "./sql-data-type-D7M-YTTY-C9oWGZ3z.mjs";
+import { r as numeralText } from "./data-type-CUJMZOHo.mjs";
 import { r as escapePslString } from "./data-type-support-C5-XxxeB.mjs";
 import "./sql-expression-BJCuy-WI.mjs";
 import { t as sqlFamilyError } from "./errors-B5g0xWro-mWH2C07F.mjs";
@@ -392,7 +392,8 @@ function generatorCallsFor(input) {
 				phase,
 				generator,
 				text: printed.text,
-				readBack: readBack.ok ? readBack.generator : void 0
+				readBack: readBack.ok ? readBack.generator : void 0,
+				refusedBecause: !readBack.ok && readBack.reason === "refused" ? readBack.message : void 0
 			}
 		};
 		calls.push({
@@ -408,4 +409,4 @@ function generatorCallsFor(input) {
 //#endregion
 export { mapDefault as a, inferredTypeConstructors as i, generatorCallsFor as n, pslTypeArgumentText as o, inferColumnTypes as r, writeDefaultLiteral as s, fewestArgumentsCall as t };
 
-//# sourceMappingURL=psl-build-DzdzY3o1.mjs.map
+//# sourceMappingURL=psl-build-BSZQ8lC1.mjs.map

package/dist/{psl-build-DzdzY3o1.mjs.map → psl-build-BSZQ8lC1.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"psl-build-DzdzY3o1.mjs","names":[],"sources":["../../../../2-sql/9-family/dist/psl-build.mjs"],"sourcesContent":["import { t as sqlFamilyError } from \"./errors-B5g0xWro.mjs\";\nimport { s as toEnumMemberName } from \"./psl-names-C3cwe0rg.mjs\";\nimport { SQL_EXPRESSION_TAG } from \"@internal/sql-contract/sql-expression\";\nimport { authoringTypeConstructorArguments, authoringTypeConstructors, castTypedValue, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue } from \"@internal/framework-components/authoring\";\nimport { dataTypeId, dataTypeParams } from \"@internal/framework-components/codec\";\nimport { InternalError, isInternalError } from \"@internal/utils/internal-error\";\nimport { isSqlDataType, numeralText, resolveReportedSqlType } from \"@internal/sql-contract/data-type\";\nimport { canonicalizeJson } from \"@internal/framework-components/utils\";\nimport { escapePslString } from \"@internal/sql-contract/data-type-support\";\n//#region src/core/psl-build/inferred-type-constructors.ts\n/** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */\nfunction inferredTypeConstructors(input) {\n\tconst found = /* @__PURE__ */ new Map();\n\tfor (const { path, descriptor } of authoringTypeConstructors(input.authoringTypes)) {\n\t\tif (descriptor.inferred !== true) continue;\n\t\tconst dataTypeId = input.codecLookup.descriptorFor(descriptor.output.codecId)?.dataType;\n\t\tconst dataType = dataTypeId === void 0 ? void 0 : input.dataTypeLookup.get(dataTypeId);\n\t\tif (dataType === void 0 || !isSqlDataType(dataType)) continue;\n\t\tfound.set(dataType.id, {\n\t\t\tpath,\n\t\t\tdescriptor,\n\t\t\tdataType\n\t\t});\n\t}\n\treturn found;\n}\nfunction normalParams(marked, args) {\n\ttry {\n\t\tconst { typeParams } = instantiateAuthoringTypeConstructor(marked.descriptor, args);\n\t\tconst params = dataTypeParams(marked.dataType, typeParams);\n\t\treturn canonicalizeJson(marked.dataType.sql.normalize(params));\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/**\n* The call to `marked` with the fewest arguments that produces `params`, the normal form of a\n* column's data type parameters: arguments are dropped from the end while the normal form of what\n* the call produces stays `params`. Undefined when the constructor cannot produce them, such as one\n* whose argument names another entity.\n*/\nfunction fewestArgumentsCall(marked, params) {\n\tconst all = authoringTypeConstructorArguments(marked.descriptor, {\n\t\tcodecId: marked.descriptor.output.codecId,\n\t\ttypeParams: params\n\t});\n\tif (all === void 0) return void 0;\n\tconst wanted = canonicalizeJson(params);\n\tconst args = [...all];\n\twhile (args.length > 0 && normalParams(marked, args.slice(0, -1)) === wanted) args.pop();\n\treturn {\n\t\tpath: marked.path,\n\t\targs\n\t};\n}\n/**\n* A type constructor argument as PSL writes it: a number or boolean as written, a string between quotes.\n* Undefined for any other value, such as an array or an object, and for a string PSL cannot carry, because a quote, backslash or line break in it would read back differently.\n*/\nfunction pslTypeArgumentText(value) {\n\tif (typeof value === \"number\" || typeof value === \"boolean\") return String(value);\n\tif (typeof value !== \"string\") return void 0;\n\treturn escapePslString(value) === value ? `\"${value}\"` : void 0;\n}\n//#endregion\n//#region src/core/psl-build/column-types.ts\n/** The type the database reported for `column`, which introspection always records. */\nfunction reportedTypeOf(column, tableName) {\n\tif (column.reportedType === void 0) throw new InternalError(`contract infer read column \"${tableName}\".\"${column.name}\" without the type the database reported for it.`);\n\treturn column.reportedType;\n}\nfunction writtenCall(constructors, dataTypes, reported) {\n\tconst resolved = resolveReportedSqlType(reported, dataTypes);\n\tconst marked = resolved && constructors.get(resolved.dataType.id);\n\tconst call = resolved && marked && fewestArgumentsCall(marked, resolved.typeParams);\n\tif (call === void 0) return void 0;\n\tconst args = call.args.map(pslTypeArgumentText);\n\treturn args.every((arg) => arg !== void 0) ? {\n\t\tpath: call.path,\n\t\targs\n\t} : void 0;\n}\n/**\n* The type of every column of `tables` that `isEnumColumn` does not claim: the call, with the\n* fewest arguments, to the constructor marked `inferred` for the data type that claims the\n* column's reported type. When any column has no such call, throws\n* `CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED` listing every one of them.\n*/\nfunction inferColumnTypes(input) {\n\tconst dataTypes = [...input.constructors.values()].map((marked) => marked.dataType);\n\tconst types = /* @__PURE__ */ new Map();\n\tconst unclaimed = [];\n\tfor (const { schemaName, tableName, columns } of input.tables) for (const column of columns) {\n\t\tif (input.isEnumColumn(column)) continue;\n\t\tconst reported = reportedTypeOf(column, tableName);\n\t\tconst call = writtenCall(input.constructors, dataTypes, reported);\n\t\tif (call === void 0) {\n\t\t\tunclaimed.push(`${schemaName}.${tableName}.${column.name}: ${reported.text}${column.many === true ? \"[]\" : \"\"}`);\n\t\t\tcontinue;\n\t\t}\n\t\ttypes.set(JSON.stringify([tableName, column.name]), call);\n\t}\n\tif (unclaimed.length > 0) {\n\t\tconst columns = unclaimed.sort();\n\t\tthrow sqlFamilyError(\"CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED\", [\"contract infer: Prisma 8 cannot write these column types with the configured stack:\", ...columns.map((line) => `  ${line}`)].join(\"\\n\"), {\n\t\t\twhy: \"Prisma 8 reads a column type only through a data type that the target or an extension pack declares.\",\n\t\t\tfix: `No configured pack has a type for these columns. If a type comes from a database extension that has a Prisma 8 pack, add the pack to extensions in prisma.config.ts. Otherwise, to keep such a column, write the schema by hand and declare its field as Raw(\"<type>\") with the type as listed, or change the column's type or remove the column from the database.`,\n\t\t\tmeta: { columns }\n\t\t});\n\t}\n\treturn (tableName, columnName) => {\n\t\tconst type = types.get(JSON.stringify([tableName, columnName]));\n\t\tif (type === void 0) throw new InternalError(`contract infer resolved no type for \"${tableName}\".\"${columnName}\".`);\n\t\treturn type;\n\t};\n}\n//#endregion\n//#region src/core/psl-build/default-mapping.ts\nconst DEFAULT_FUNCTION_ATTRIBUTES = {\n\t\"autoincrement()\": \"@default(autoincrement())\",\n\t\"now()\": \"@default(now())\"\n};\n/**\n* The attribute a stored default prints as: a named function, a literal the column takes, or any\n* other expression as a `sql` literal. `undefined` when a literal has no written form. An expression\n* prints even when the literal would read back as different text: default expressions are compared\n* with case and whitespace ignored (`SqlColumnDefaultIR.isEqualTo`), and canonicalization changes only\n* whitespace (ADR 129).\n*/\nfunction mapDefault(columnDefault, options) {\n\tswitch (columnDefault.kind) {\n\t\tcase \"literal\": {\n\t\t\tconst text = writeDefaultLiteral(columnDefault.value, options);\n\t\t\treturn text === void 0 ? void 0 : { attribute: `@default(${text})` };\n\t\t}\n\t\tcase \"function\": return { attribute: options?.functionAttributes?.[columnDefault.expression] ?? DEFAULT_FUNCTION_ATTRIBUTES[columnDefault.expression] ?? `@default(${printTaggedLiteral(SQL_EXPRESSION_TAG, columnDefault.expression)})` };\n\t}\n}\nfunction writingSurface(support) {\n\tconst entryOf = /* @__PURE__ */ new Map();\n\tconst tagTypes = [];\n\tfor (const [key, entry] of Object.entries(support.entries)) {\n\t\tconst written = entry.written;\n\t\tif (written.kind === \"tag\") {\n\t\t\tconst type = dataTypeId(key);\n\t\t\tif (!entryOf.has(type)) entryOf.set(type, entry);\n\t\t\ttagTypes.push(type);\n\t\t\tcontinue;\n\t\t}\n\t\tif (written.syntax === \"number\") {\n\t\t\tfor (const type of written.types) entryOf.set(type, entry);\n\t\t\tcontinue;\n\t\t}\n\t\tentryOf.set(key, entry);\n\t}\n\treturn {\n\t\tsupport,\n\t\tentryOf,\n\t\ttagTypes\n\t};\n}\nfunction readValue(surface, written) {\n\tconst read = readWrittenValue(surface.support, written);\n\treturn read.ok ? read.value : void 0;\n}\n/** The value of a tag's type that a stored document is, constructed by that type. */\nfunction tagValue(surface, type, value) {\n\ttry {\n\t\treturn surface.support.lookup.get(type)?.valueFrom(value, {});\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/**\n* Every value the stored form could be, in the order a written value would be read: a number or\n* numeral text through the number entry first, then the plain syntax that matches the shape, then\n* each tag, whose stored form is a whole document, which may itself be a number or a boolean.\n*/\nfunction classifications(value, surface) {\n\tconst found = [];\n\tif (typeof value === \"number\") found.push(readValue(surface, {\n\t\tkind: \"number\",\n\t\ttext: numeralText(value)\n\t}));\n\telse if (typeof value === \"boolean\") found.push(readValue(surface, {\n\t\tkind: \"boolean\",\n\t\tvalue\n\t}));\n\telse if (typeof value === \"string\") {\n\t\tfound.push(readValue(surface, {\n\t\t\tkind: \"number\",\n\t\t\ttext: value\n\t\t}));\n\t\tfound.push(readValue(surface, {\n\t\t\tkind: \"string\",\n\t\t\ttext: value\n\t\t}));\n\t}\n\tfor (const type of surface.tagTypes) found.push(tagValue(surface, type, value));\n\treturn found.filter((candidate) => candidate !== void 0);\n}\n/** What the column's type stores for `json` under the column's parameters, or `undefined` when it holds no such value. */\nfunction storedUnder(json, column, lookup) {\n\tconst type = lookup.get(column.id);\n\tif (type === void 0) return void 0;\n\ttry {\n\t\treturn type.toContract(type.valueFrom(json, column.params));\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/** The stored form the column takes this value as, spelled as its parameters give it, or `undefined` when its type takes no such value. */\nfunction admitted(candidate, column, surface) {\n\tconst cast = castTypedValue(surface.support, column.id, column.params, candidate);\n\treturn cast.ok ? cast.value.value : void 0;\n}\n/** The text of the literal: what the entry prints, before the syntax that fences it. */\nfunction printedText(entry, value) {\n\ttry {\n\t\treturn entry.print(value);\n\t} catch {\n\t\treturn;\n\t}\n}\n/** The printed text as the entry's syntax writes it, for reading back. */\nfunction writtenAs(entry, text) {\n\tconst written = entry.written;\n\tif (written.kind === \"tag\") return {\n\t\tkind: \"tag\",\n\t\ttag: written.tag,\n\t\ttext\n\t};\n\tif (written.syntax !== \"boolean\") return {\n\t\tkind: written.syntax,\n\t\ttext\n\t};\n\treturn text === \"true\" || text === \"false\" ? {\n\t\tkind: \"boolean\",\n\t\tvalue: text === \"true\"\n\t} : void 0;\n}\n/** What the printed text reads back as, through the same read a written value takes. */\nfunction readBack(surface, entry, text) {\n\tconst written = writtenAs(entry, text);\n\treturn written === void 0 ? void 0 : readValue(surface, written);\n}\nfunction literalText(entry, text) {\n\tconst written = entry.written;\n\tif (written.kind === \"tag\") return printTaggedLiteral(written.tag, text);\n\treturn written.syntax === \"string\" ? `\"${escapePslString(text)}\"` : text;\n}\n/**\n* The value written as the literal of one of its types, proven by reading the text straight back:\n* the same read, the same cast, and the stored form again. A number is tried first without the\n* trailing fraction zeros the column's scale spells it with.\n*/\nfunction writeScalar(value, column, surface) {\n\tconst shortest = withoutTrailingFractionZeros(value);\n\tconst candidates = [...shortest === void 0 ? [] : classifications(shortest, surface), ...classifications(value, surface)];\n\tfor (const candidate of candidates) {\n\t\tconst entry = surface.entryOf.get(candidate.type);\n\t\tif (entry === void 0) continue;\n\t\tconst stored = admitted(candidate, column, surface);\n\t\tif (stored === void 0 || !sameForm(stored, value)) continue;\n\t\tconst text = printedText(entry, candidate.value);\n\t\tif (text === void 0) continue;\n\t\tconst reread = readBack(surface, entry, text);\n\t\tif (reread === void 0) continue;\n\t\tconst restored = admitted(reread, column, surface);\n\t\tif (restored === void 0 || !sameForm(restored, value)) continue;\n\t\treturn literalText(entry, text);\n\t}\n}\nconst DECIMAL_WITH_FRACTION = /^-?\\d+\\.\\d+$/;\nfunction withoutTrailingFractionZeros(value) {\n\tif (typeof value !== \"string\" || !DECIMAL_WITH_FRACTION.test(value)) return void 0;\n\tconst shortened = value.replace(/0+$/, \"\").replace(/\\.$/, \"\");\n\treturn shortened === value ? void 0 : shortened;\n}\n/** One written element of a list, printed as a value of any type, with no column type to admit it. */\nfunction writeElement(value, of, surface) {\n\tfor (const candidate of classifications(value, surface)) {\n\t\tif (!of.includes(candidate.type)) continue;\n\t\tconst entry = surface.entryOf.get(candidate.type);\n\t\tif (entry === void 0) continue;\n\t\tconst text = printedText(entry, candidate.value);\n\t\tif (text === void 0) continue;\n\t\tconst reread = readBack(surface, entry, text);\n\t\tif (reread === void 0 || !of.includes(reread.type)) continue;\n\t\treturn {\n\t\t\ttext: literalText(entry, text),\n\t\t\tvalue: reread.value\n\t\t};\n\t}\n}\n/**\n* A written list on a scalar column, which the column type's list cast turns into its one value,\n* constructed by the column's type. Each element is classified on its own and must be of a type the\n* cast takes.\n*/\nfunction writeListCast(value, column, surface) {\n\tconst listCast = surface.support.lookup.get(column.id)?.listCast;\n\tif (listCast === void 0) return void 0;\n\tconst parts = [];\n\tconst elements = [];\n\tfor (const element of value) {\n\t\tconst written = writeElement(element, listCast.of, surface);\n\t\tif (written === void 0) return void 0;\n\t\tparts.push(written.text);\n\t\telements.push(written.value);\n\t}\n\tlet cast;\n\ttry {\n\t\tcast = listCast.cast(elements);\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n\tconst stored = storedUnder(cast, column, surface.support.lookup);\n\treturn stored !== void 0 && sameForm(stored, value) ? `[${parts.join(\", \")}]` : void 0;\n}\n/** The PSL literal a stored value is written as for the column `options` describe, or `undefined` when it has no written form that reads back as that value. */\nfunction writeDefaultLiteral(value, options) {\n\tif (value instanceof Date) return void 0;\n\tconst { dataTypes, columnCodec } = options ?? {};\n\tif (dataTypes === void 0 || columnCodec === void 0) return void 0;\n\tconst { lookup } = dataTypes;\n\tconst columnDataType = columnCodec.dataType;\n\tconst columnType = lookup.get(columnDataType);\n\tconst column = {\n\t\tid: columnDataType,\n\t\tparams: columnType === void 0 ? {} : dataTypeParams(columnType, options?.typeParams)\n\t};\n\tconst surface = writingSurface(dataTypes);\n\tif (options?.list === true) {\n\t\tif (!Array.isArray(value)) return void 0;\n\t\tconst parts = [];\n\t\tfor (const element of value) {\n\t\t\tconst written = writeScalar(element, column, surface);\n\t\t\tif (written === void 0) return void 0;\n\t\t\tparts.push(written);\n\t\t}\n\t\treturn `[${parts.join(\", \")}]`;\n\t}\n\tconst written = writeScalar(value, column, surface);\n\tif (written !== void 0) return written;\n\treturn Array.isArray(value) ? writeListCast(value, column, surface) : void 0;\n}\n/** Whether two stored forms are the same JSON value, member by member and element by element. */\nfunction sameForm(left, right) {\n\tif (left === right) return true;\n\tif (Array.isArray(left) !== Array.isArray(right)) return false;\n\tif (typeof left !== \"object\" || typeof right !== \"object\" || left === null || right === null) return false;\n\tconst members = Object.entries(left);\n\tconst others = new Map(Object.entries(right));\n\treturn members.length === others.size && members.every(([key, member]) => {\n\t\tconst other = others.get(key);\n\t\treturn other !== void 0 && sameForm(member, other);\n\t});\n}\n//#endregion\n//#region src/core/psl-build/generator-calls.ts\nconst GENERATOR_PHASES = [\"onCreate\", \"onUpdate\"];\n/**\n* The generator function call that writes each phase of a column's generators, as `@onCreate(...)` and `@onUpdate(...)` take it. A call must resolve back to the stored generator, so a list column, a generator no function writes for the codec, and a call that reads back differently are refused.\n*/\nfunction generatorCallsFor(input) {\n\tconst { executionDefault, field, list, generatorFunctions } = input;\n\tconst calls = [];\n\tfor (const phase of GENERATOR_PHASES) {\n\t\tconst generator = executionDefault[phase];\n\t\tif (generator === void 0) continue;\n\t\tif (list) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"on-list\",\n\t\t\t\tphase,\n\t\t\t\tgenerator\n\t\t\t}\n\t\t};\n\t\tconst printed = generatorFunctions.callFor(generator, field);\n\t\tif (printed === void 0) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"no-function\",\n\t\t\t\tphase,\n\t\t\t\tgenerator\n\t\t\t}\n\t\t};\n\t\tconst readBack = generatorFunctions.resolve(printed.call, field);\n\t\tif (!readBack.ok || canonicalizeJson(readBack.generator) !== canonicalizeJson(generator)) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"reads-back-differently\",\n\t\t\t\tphase,\n\t\t\t\tgenerator,\n\t\t\t\ttext: printed.text,\n\t\t\t\treadBack: readBack.ok ? readBack.generator : void 0\n\t\t\t}\n\t\t};\n\t\tcalls.push({\n\t\t\tphase,\n\t\t\ttext: printed.text\n\t\t});\n\t}\n\treturn {\n\t\tok: true,\n\t\tcalls\n\t};\n}\n//#endregion\nexport { fewestArgumentsCall, generatorCallsFor, inferColumnTypes, inferredTypeConstructors, mapDefault, pslTypeArgumentText, toEnumMemberName, writeDefaultLiteral };\n\n//# sourceMappingURL=psl-build.mjs.map"],"mappings":";;;;;;;;;;;AAWA,SAAS,yBAAyB,OAAO;CACxC,MAAM,wBAAwB,IAAI,IAAI;CACtC,KAAK,MAAM,EAAE,MAAM,gBAAgB,0BAA0B,MAAM,cAAc,GAAG;EACnF,IAAI,WAAW,aAAa,MAAM;EAClC,MAAM,aAAa,MAAM,YAAY,cAAc,WAAW,OAAO,OAAO,CAAC,EAAE;EAC/E,MAAM,WAAW,eAAe,KAAK,IAAI,KAAK,IAAI,MAAM,eAAe,IAAI,UAAU;EACrF,IAAI,aAAa,KAAK,KAAK,CAAC,cAAc,QAAQ,GAAG;EACrD,MAAM,IAAI,SAAS,IAAI;GACtB;GACA;GACA;EACD,CAAC;CACF;CACA,OAAO;AACR;AACA,SAAS,aAAa,QAAQ,MAAM;CACnC,IAAI;EACH,MAAM,EAAE,eAAe,oCAAoC,OAAO,YAAY,IAAI;EAClF,MAAM,SAAS,eAAe,OAAO,UAAU,UAAU;EACzD,OAAO,iBAAiB,OAAO,SAAS,IAAI,UAAU,MAAM,CAAC;CAC9D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;;;;;;AAOA,SAAS,oBAAoB,QAAQ,QAAQ;CAC5C,MAAM,MAAM,kCAAkC,OAAO,YAAY;EAChE,SAAS,OAAO,WAAW,OAAO;EAClC,YAAY;CACb,CAAC;CACD,IAAI,QAAQ,KAAK,GAAG,OAAO,KAAK;CAChC,MAAM,SAAS,iBAAiB,MAAM;CACtC,MAAM,OAAO,CAAC,GAAG,GAAG;CACpB,OAAO,KAAK,SAAS,KAAK,aAAa,QAAQ,KAAK,MAAM,GAAG,EAAE,CAAC,MAAM,QAAQ,KAAK,IAAI;CACvF,OAAO;EACN,MAAM,OAAO;EACb;CACD;AACD;;;;;AAKA,SAAS,oBAAoB,OAAO;CACnC,IAAI,OAAO,UAAU,YAAY,OAAO,UAAU,WAAW,OAAO,OAAO,KAAK;CAChF,IAAI,OAAO,UAAU,UAAU,OAAO,KAAK;CAC3C,OAAO,gBAAgB,KAAK,MAAM,QAAQ,IAAI,MAAM,KAAK,KAAK;AAC/D;;AAIA,SAAS,eAAe,QAAQ,WAAW;CAC1C,IAAI,OAAO,iBAAiB,KAAK,GAAG,MAAM,IAAI,cAAc,+BAA+B,UAAU,KAAK,OAAO,KAAK,iDAAiD;CACvK,OAAO,OAAO;AACf;AACA,SAAS,YAAY,cAAc,WAAW,UAAU;CACvD,MAAM,WAAW,uBAAuB,UAAU,SAAS;CAC3D,MAAM,SAAS,YAAY,aAAa,IAAI,SAAS,SAAS,EAAE;CAChE,MAAM,OAAO,YAAY,UAAU,oBAAoB,QAAQ,SAAS,UAAU;CAClF,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;CACjC,MAAM,OAAO,KAAK,KAAK,IAAI,mBAAmB;CAC9C,OAAO,KAAK,OAAO,QAAQ,QAAQ,KAAK,CAAC,IAAI;EAC5C,MAAM,KAAK;EACX;CACD,IAAI,KAAK;AACV;;;;;;;AAOA,SAAS,iBAAiB,OAAO;CAChC,MAAM,YAAY,CAAC,GAAG,MAAM,aAAa,OAAO,CAAC,CAAC,CAAC,KAAK,WAAW,OAAO,QAAQ;CAClF,MAAM,wBAAwB,IAAI,IAAI;CACtC,MAAM,YAAY,CAAC;CACnB,KAAK,MAAM,EAAE,YAAY,WAAW,aAAa,MAAM,QAAQ,KAAK,MAAM,UAAU,SAAS;EAC5F,IAAI,MAAM,aAAa,MAAM,GAAG;EAChC,MAAM,WAAW,eAAe,QAAQ,SAAS;EACjD,MAAM,OAAO,YAAY,MAAM,cAAc,WAAW,QAAQ;EAChE,IAAI,SAAS,KAAK,GAAG;GACpB,UAAU,KAAK,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,KAAK,IAAI,SAAS,OAAO,OAAO,SAAS,OAAO,OAAO,IAAI;GAC/G;EACD;EACA,MAAM,IAAI,KAAK,UAAU,CAAC,WAAW,OAAO,IAAI,CAAC,GAAG,IAAI;CACzD;CACA,IAAI,UAAU,SAAS,GAAG;EACzB,MAAM,UAAU,UAAU,KAAK;EAC/B,MAAM,eAAe,wCAAwC,CAAC,uFAAuF,GAAG,QAAQ,KAAK,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG;GACvM,KAAK;GACL,KAAK;GACL,MAAM,EAAE,QAAQ;EACjB,CAAC;CACF;CACA,QAAQ,WAAW,eAAe;EACjC,MAAM,OAAO,MAAM,IAAI,KAAK,UAAU,CAAC,WAAW,UAAU,CAAC,CAAC;EAC9D,IAAI,SAAS,KAAK,GAAG,MAAM,IAAI,cAAc,wCAAwC,UAAU,KAAK,WAAW,GAAG;EAClH,OAAO;CACR;AACD;AAGA,MAAM,8BAA8B;CACnC,mBAAmB;CACnB,SAAS;AACV;;;;;;;;AAQA,SAAS,WAAW,eAAe,SAAS;CAC3C,QAAQ,cAAc,MAAtB;EACC,KAAK,WAAW;GACf,MAAM,OAAO,oBAAoB,cAAc,OAAO,OAAO;GAC7D,OAAO,SAAS,KAAK,IAAI,KAAK,IAAI,EAAE,WAAW,YAAY,KAAK,GAAG;EACpE;EACA,KAAK,YAAY,OAAO,EAAE,WAAW,SAAS,qBAAqB,cAAc,eAAe,4BAA4B,cAAc,eAAe,YAAY,mBAAA,OAAuC,cAAc,UAAU,EAAE,GAAG;CAC1O;AACD;AACA,SAAS,eAAe,SAAS;CAChC,MAAM,0BAA0B,IAAI,IAAI;CACxC,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,QAAQ,OAAO,GAAG;EAC3D,MAAM,UAAU,MAAM;EACtB,IAAI,QAAQ,SAAS,OAAO;GAC3B,MAAM,OAAO,WAAW,GAAG;GAC3B,IAAI,CAAC,QAAQ,IAAI,IAAI,GAAG,QAAQ,IAAI,MAAM,KAAK;GAC/C,SAAS,KAAK,IAAI;GAClB;EACD;EACA,IAAI,QAAQ,WAAW,UAAU;GAChC,KAAK,MAAM,QAAQ,QAAQ,OAAO,QAAQ,IAAI,MAAM,KAAK;GACzD;EACD;EACA,QAAQ,IAAI,KAAK,KAAK;CACvB;CACA,OAAO;EACN;EACA;EACA;CACD;AACD;AACA,SAAS,UAAU,SAAS,SAAS;CACpC,MAAM,OAAO,iBAAiB,QAAQ,SAAS,OAAO;CACtD,OAAO,KAAK,KAAK,KAAK,QAAQ,KAAK;AACpC;;AAEA,SAAS,SAAS,SAAS,MAAM,OAAO;CACvC,IAAI;EACH,OAAO,QAAQ,QAAQ,OAAO,IAAI,IAAI,CAAC,EAAE,UAAU,OAAO,CAAC,CAAC;CAC7D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;;;;;AAMA,SAAS,gBAAgB,OAAO,SAAS;CACxC,MAAM,QAAQ,CAAC;CACf,IAAI,OAAO,UAAU,UAAU,MAAM,KAAK,UAAU,SAAS;EAC5D,MAAM;EACN,MAAM,YAAY,KAAK;CACxB,CAAC,CAAC;MACG,IAAI,OAAO,UAAU,WAAW,MAAM,KAAK,UAAU,SAAS;EAClE,MAAM;EACN;CACD,CAAC,CAAC;MACG,IAAI,OAAO,UAAU,UAAU;EACnC,MAAM,KAAK,UAAU,SAAS;GAC7B,MAAM;GACN,MAAM;EACP,CAAC,CAAC;EACF,MAAM,KAAK,UAAU,SAAS;GAC7B,MAAM;GACN,MAAM;EACP,CAAC,CAAC;CACH;CACA,KAAK,MAAM,QAAQ,QAAQ,UAAU,MAAM,KAAK,SAAS,SAAS,MAAM,KAAK,CAAC;CAC9E,OAAO,MAAM,QAAQ,cAAc,cAAc,KAAK,CAAC;AACxD;;AAEA,SAAS,YAAY,MAAM,QAAQ,QAAQ;CAC1C,MAAM,OAAO,OAAO,IAAI,OAAO,EAAE;CACjC,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;CACjC,IAAI;EACH,OAAO,KAAK,WAAW,KAAK,UAAU,MAAM,OAAO,MAAM,CAAC;CAC3D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;AAEA,SAAS,SAAS,WAAW,QAAQ,SAAS;CAC7C,MAAM,OAAO,eAAe,QAAQ,SAAS,OAAO,IAAI,OAAO,QAAQ,SAAS;CAChF,OAAO,KAAK,KAAK,KAAK,MAAM,QAAQ,KAAK;AAC1C;;AAEA,SAAS,YAAY,OAAO,OAAO;CAClC,IAAI;EACH,OAAO,MAAM,MAAM,KAAK;CACzB,QAAQ;EACP;CACD;AACD;;AAEA,SAAS,UAAU,OAAO,MAAM;CAC/B,MAAM,UAAU,MAAM;CACtB,IAAI,QAAQ,SAAS,OAAO,OAAO;EAClC,MAAM;EACN,KAAK,QAAQ;EACb;CACD;CACA,IAAI,QAAQ,WAAW,WAAW,OAAO;EACxC,MAAM,QAAQ;EACd;CACD;CACA,OAAO,SAAS,UAAU,SAAS,UAAU;EAC5C,MAAM;EACN,OAAO,SAAS;CACjB,IAAI,KAAK;AACV;;AAEA,SAAS,SAAS,SAAS,OAAO,MAAM;CACvC,MAAM,UAAU,UAAU,OAAO,IAAI;CACrC,OAAO,YAAY,KAAK,IAAI,KAAK,IAAI,UAAU,SAAS,OAAO;AAChE;AACA,SAAS,YAAY,OAAO,MAAM;CACjC,MAAM,UAAU,MAAM;CACtB,IAAI,QAAQ,SAAS,OAAO,OAAO,mBAAmB,QAAQ,KAAK,IAAI;CACvE,OAAO,QAAQ,WAAW,WAAW,IAAI,gBAAgB,IAAI,EAAE,KAAK;AACrE;;;;;;AAMA,SAAS,YAAY,OAAO,QAAQ,SAAS;CAC5C,MAAM,WAAW,6BAA6B,KAAK;CACnD,MAAM,aAAa,CAAC,GAAG,aAAa,KAAK,IAAI,CAAC,IAAI,gBAAgB,UAAU,OAAO,GAAG,GAAG,gBAAgB,OAAO,OAAO,CAAC;CACxH,KAAK,MAAM,aAAa,YAAY;EACnC,MAAM,QAAQ,QAAQ,QAAQ,IAAI,UAAU,IAAI;EAChD,IAAI,UAAU,KAAK,GAAG;EACtB,MAAM,SAAS,SAAS,WAAW,QAAQ,OAAO;EAClD,IAAI,WAAW,KAAK,KAAK,CAAC,SAAS,QAAQ,KAAK,GAAG;EACnD,MAAM,OAAO,YAAY,OAAO,UAAU,KAAK;EAC/C,IAAI,SAAS,KAAK,GAAG;EACrB,MAAM,SAAS,SAAS,SAAS,OAAO,IAAI;EAC5C,IAAI,WAAW,KAAK,GAAG;EACvB,MAAM,WAAW,SAAS,QAAQ,QAAQ,OAAO;EACjD,IAAI,aAAa,KAAK,KAAK,CAAC,SAAS,UAAU,KAAK,GAAG;EACvD,OAAO,YAAY,OAAO,IAAI;CAC/B;AACD;AACA,MAAM,wBAAwB;AAC9B,SAAS,6BAA6B,OAAO;CAC5C,IAAI,OAAO,UAAU,YAAY,CAAC,sBAAsB,KAAK,KAAK,GAAG,OAAO,KAAK;CACjF,MAAM,YAAY,MAAM,QAAQ,OAAO,EAAE,CAAC,CAAC,QAAQ,OAAO,EAAE;CAC5D,OAAO,cAAc,QAAQ,KAAK,IAAI;AACvC;;AAEA,SAAS,aAAa,OAAO,IAAI,SAAS;CACzC,KAAK,MAAM,aAAa,gBAAgB,OAAO,OAAO,GAAG;EACxD,IAAI,CAAC,GAAG,SAAS,UAAU,IAAI,GAAG;EAClC,MAAM,QAAQ,QAAQ,QAAQ,IAAI,UAAU,IAAI;EAChD,IAAI,UAAU,KAAK,GAAG;EACtB,MAAM,OAAO,YAAY,OAAO,UAAU,KAAK;EAC/C,IAAI,SAAS,KAAK,GAAG;EACrB,MAAM,SAAS,SAAS,SAAS,OAAO,IAAI;EAC5C,IAAI,WAAW,KAAK,KAAK,CAAC,GAAG,SAAS,OAAO,IAAI,GAAG;EACpD,OAAO;GACN,MAAM,YAAY,OAAO,IAAI;GAC7B,OAAO,OAAO;EACf;CACD;AACD;;;;;;AAMA,SAAS,cAAc,OAAO,QAAQ,SAAS;CAC9C,MAAM,WAAW,QAAQ,QAAQ,OAAO,IAAI,OAAO,EAAE,CAAC,EAAE;CACxD,IAAI,aAAa,KAAK,GAAG,OAAO,KAAK;CACrC,MAAM,QAAQ,CAAC;CACf,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,WAAW,OAAO;EAC5B,MAAM,UAAU,aAAa,SAAS,SAAS,IAAI,OAAO;EAC1D,IAAI,YAAY,KAAK,GAAG,OAAO,KAAK;EACpC,MAAM,KAAK,QAAQ,IAAI;EACvB,SAAS,KAAK,QAAQ,KAAK;CAC5B;CACA,IAAI;CACJ,IAAI;EACH,OAAO,SAAS,KAAK,QAAQ;CAC9B,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;CACA,MAAM,SAAS,YAAY,MAAM,QAAQ,QAAQ,QAAQ,MAAM;CAC/D,OAAO,WAAW,KAAK,KAAK,SAAS,QAAQ,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,KAAK,KAAK;AACtF;;AAEA,SAAS,oBAAoB,OAAO,SAAS;CAC5C,IAAI,iBAAiB,MAAM,OAAO,KAAK;CACvC,MAAM,EAAE,WAAW,gBAAgB,WAAW,CAAC;CAC/C,IAAI,cAAc,KAAK,KAAK,gBAAgB,KAAK,GAAG,OAAO,KAAK;CAChE,MAAM,EAAE,WAAW;CACnB,MAAM,iBAAiB,YAAY;CACnC,MAAM,aAAa,OAAO,IAAI,cAAc;CAC5C,MAAM,SAAS;EACd,IAAI;EACJ,QAAQ,eAAe,KAAK,IAAI,CAAC,IAAI,eAAe,YAAY,SAAS,UAAU;CACpF;CACA,MAAM,UAAU,eAAe,SAAS;CACxC,IAAI,SAAS,SAAS,MAAM;EAC3B,IAAI,CAAC,MAAM,QAAQ,KAAK,GAAG,OAAO,KAAK;EACvC,MAAM,QAAQ,CAAC;EACf,KAAK,MAAM,WAAW,OAAO;GAC5B,MAAM,UAAU,YAAY,SAAS,QAAQ,OAAO;GACpD,IAAI,YAAY,KAAK,GAAG,OAAO,KAAK;GACpC,MAAM,KAAK,OAAO;EACnB;EACA,OAAO,IAAI,MAAM,KAAK,IAAI,EAAE;CAC7B;CACA,MAAM,UAAU,YAAY,OAAO,QAAQ,OAAO;CAClD,IAAI,YAAY,KAAK,GAAG,OAAO;CAC/B,OAAO,MAAM,QAAQ,KAAK,IAAI,cAAc,OAAO,QAAQ,OAAO,IAAI,KAAK;AAC5E;;AAEA,SAAS,SAAS,MAAM,OAAO;CAC9B,IAAI,SAAS,OAAO,OAAO;CAC3B,IAAI,MAAM,QAAQ,IAAI,MAAM,MAAM,QAAQ,KAAK,GAAG,OAAO;CACzD,IAAI,OAAO,SAAS,YAAY,OAAO,UAAU,YAAY,SAAS,QAAQ,UAAU,MAAM,OAAO;CACrG,MAAM,UAAU,OAAO,QAAQ,IAAI;CACnC,MAAM,SAAS,IAAI,IAAI,OAAO,QAAQ,KAAK,CAAC;CAC5C,OAAO,QAAQ,WAAW,OAAO,QAAQ,QAAQ,OAAO,CAAC,KAAK,YAAY;EACzE,MAAM,QAAQ,OAAO,IAAI,GAAG;EAC5B,OAAO,UAAU,KAAK,KAAK,SAAS,QAAQ,KAAK;CAClD,CAAC;AACF;AAGA,MAAM,mBAAmB,CAAC,YAAY,UAAU;;;;AAIhD,SAAS,kBAAkB,OAAO;CACjC,MAAM,EAAE,kBAAkB,OAAO,MAAM,uBAAuB;CAC9D,MAAM,QAAQ,CAAC;CACf,KAAK,MAAM,SAAS,kBAAkB;EACrC,MAAM,YAAY,iBAAiB;EACnC,IAAI,cAAc,KAAK,GAAG;EAC1B,IAAI,MAAM,OAAO;GAChB,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;GACD;EACD;EACA,MAAM,UAAU,mBAAmB,QAAQ,WAAW,KAAK;EAC3D,IAAI,YAAY,KAAK,GAAG,OAAO;GAC9B,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;GACD;EACD;EACA,MAAM,WAAW,mBAAmB,QAAQ,QAAQ,MAAM,KAAK;EAC/D,IAAI,CAAC,SAAS,MAAM,iBAAiB,SAAS,SAAS,MAAM,iBAAiB,SAAS,GAAG,OAAO;GAChG,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;IACA,MAAM,QAAQ;IACd,UAAU,SAAS,KAAK,SAAS,YAAY,KAAK;GACnD;EACD;EACA,MAAM,KAAK;GACV;GACA,MAAM,QAAQ;EACf,CAAC;CACF;CACA,OAAO;EACN,IAAI;EACJ;CACD;AACD"}
+{"version":3,"file":"psl-build-BSZQ8lC1.mjs","names":[],"sources":["../../../../2-sql/9-family/dist/psl-build.mjs"],"sourcesContent":["import { t as sqlFamilyError } from \"./errors-B5g0xWro.mjs\";\nimport { s as toEnumMemberName } from \"./psl-names-C3cwe0rg.mjs\";\nimport { SQL_EXPRESSION_TAG } from \"@internal/sql-contract/sql-expression\";\nimport { authoringTypeConstructorArguments, authoringTypeConstructors, castTypedValue, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue } from \"@internal/framework-components/authoring\";\nimport { dataTypeId, dataTypeParams } from \"@internal/framework-components/codec\";\nimport { InternalError, isInternalError } from \"@internal/utils/internal-error\";\nimport { isSqlDataType, numeralText, resolveReportedSqlType } from \"@internal/sql-contract/data-type\";\nimport { canonicalizeJson } from \"@internal/framework-components/utils\";\nimport { escapePslString } from \"@internal/sql-contract/data-type-support\";\n//#region src/core/psl-build/inferred-type-constructors.ts\n/** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */\nfunction inferredTypeConstructors(input) {\n\tconst found = /* @__PURE__ */ new Map();\n\tfor (const { path, descriptor } of authoringTypeConstructors(input.authoringTypes)) {\n\t\tif (descriptor.inferred !== true) continue;\n\t\tconst dataTypeId = input.codecLookup.descriptorFor(descriptor.output.codecId)?.dataType;\n\t\tconst dataType = dataTypeId === void 0 ? void 0 : input.dataTypeLookup.get(dataTypeId);\n\t\tif (dataType === void 0 || !isSqlDataType(dataType)) continue;\n\t\tfound.set(dataType.id, {\n\t\t\tpath,\n\t\t\tdescriptor,\n\t\t\tdataType\n\t\t});\n\t}\n\treturn found;\n}\nfunction normalParams(marked, args) {\n\ttry {\n\t\tconst { typeParams } = instantiateAuthoringTypeConstructor(marked.descriptor, args);\n\t\tconst params = dataTypeParams(marked.dataType, typeParams);\n\t\treturn canonicalizeJson(marked.dataType.sql.normalize(params));\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/**\n* The call to `marked` with the fewest arguments that produces `params`, the normal form of a\n* column's data type parameters: arguments are dropped from the end while the normal form of what\n* the call produces stays `params`. Undefined when the constructor cannot produce them, such as one\n* whose argument names another entity.\n*/\nfunction fewestArgumentsCall(marked, params) {\n\tconst all = authoringTypeConstructorArguments(marked.descriptor, {\n\t\tcodecId: marked.descriptor.output.codecId,\n\t\ttypeParams: params\n\t});\n\tif (all === void 0) return void 0;\n\tconst wanted = canonicalizeJson(params);\n\tconst args = [...all];\n\twhile (args.length > 0 && normalParams(marked, args.slice(0, -1)) === wanted) args.pop();\n\treturn {\n\t\tpath: marked.path,\n\t\targs\n\t};\n}\n/**\n* A type constructor argument as PSL writes it: a number or boolean as written, a string between quotes.\n* Undefined for any other value, such as an array or an object, and for a string PSL cannot carry, because a quote, backslash or line break in it would read back differently.\n*/\nfunction pslTypeArgumentText(value) {\n\tif (typeof value === \"number\" || typeof value === \"boolean\") return String(value);\n\tif (typeof value !== \"string\") return void 0;\n\treturn escapePslString(value) === value ? `\"${value}\"` : void 0;\n}\n//#endregion\n//#region src/core/psl-build/column-types.ts\n/** The type the database reported for `column`, which introspection always records. */\nfunction reportedTypeOf(column, tableName) {\n\tif (column.reportedType === void 0) throw new InternalError(`contract infer read column \"${tableName}\".\"${column.name}\" without the type the database reported for it.`);\n\treturn column.reportedType;\n}\nfunction writtenCall(constructors, dataTypes, reported) {\n\tconst resolved = resolveReportedSqlType(reported, dataTypes);\n\tconst marked = resolved && constructors.get(resolved.dataType.id);\n\tconst call = resolved && marked && fewestArgumentsCall(marked, resolved.typeParams);\n\tif (call === void 0) return void 0;\n\tconst args = call.args.map(pslTypeArgumentText);\n\treturn args.every((arg) => arg !== void 0) ? {\n\t\tpath: call.path,\n\t\targs\n\t} : void 0;\n}\n/**\n* The type of every column of `tables` that `isEnumColumn` does not claim: the call, with the\n* fewest arguments, to the constructor marked `inferred` for the data type that claims the\n* column's reported type. When any column has no such call, throws\n* `CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED` listing every one of them.\n*/\nfunction inferColumnTypes(input) {\n\tconst dataTypes = [...input.constructors.values()].map((marked) => marked.dataType);\n\tconst types = /* @__PURE__ */ new Map();\n\tconst unclaimed = [];\n\tfor (const { schemaName, tableName, columns } of input.tables) for (const column of columns) {\n\t\tif (input.isEnumColumn(column)) continue;\n\t\tconst reported = reportedTypeOf(column, tableName);\n\t\tconst call = writtenCall(input.constructors, dataTypes, reported);\n\t\tif (call === void 0) {\n\t\t\tunclaimed.push(`${schemaName}.${tableName}.${column.name}: ${reported.text}${column.many === true ? \"[]\" : \"\"}`);\n\t\t\tcontinue;\n\t\t}\n\t\ttypes.set(JSON.stringify([tableName, column.name]), call);\n\t}\n\tif (unclaimed.length > 0) {\n\t\tconst columns = unclaimed.sort();\n\t\tthrow sqlFamilyError(\"CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED\", [\"contract infer: Prisma 8 cannot write these column types with the configured stack:\", ...columns.map((line) => `  ${line}`)].join(\"\\n\"), {\n\t\t\twhy: \"Prisma 8 reads a column type only through a data type that the target or an extension pack declares.\",\n\t\t\tfix: `No configured pack has a type for these columns. If a type comes from a database extension that has a Prisma 8 pack, add the pack to extensions in prisma.config.ts. Otherwise, to keep such a column, write the schema by hand and declare its field as Raw(\"<type>\") with the type as listed, or change the column's type or remove the column from the database.`,\n\t\t\tmeta: { columns }\n\t\t});\n\t}\n\treturn (tableName, columnName) => {\n\t\tconst type = types.get(JSON.stringify([tableName, columnName]));\n\t\tif (type === void 0) throw new InternalError(`contract infer resolved no type for \"${tableName}\".\"${columnName}\".`);\n\t\treturn type;\n\t};\n}\n//#endregion\n//#region src/core/psl-build/default-mapping.ts\nconst DEFAULT_FUNCTION_ATTRIBUTES = {\n\t\"autoincrement()\": \"@default(autoincrement())\",\n\t\"now()\": \"@default(now())\"\n};\n/**\n* The attribute a stored default prints as: a named function, a literal the column takes, or any\n* other expression as a `sql` literal. `undefined` when a literal has no written form. An expression\n* prints even when the literal would read back as different text: default expressions are compared\n* with case and whitespace ignored (`SqlColumnDefaultIR.isEqualTo`), and canonicalization changes only\n* whitespace (ADR 129).\n*/\nfunction mapDefault(columnDefault, options) {\n\tswitch (columnDefault.kind) {\n\t\tcase \"literal\": {\n\t\t\tconst text = writeDefaultLiteral(columnDefault.value, options);\n\t\t\treturn text === void 0 ? void 0 : { attribute: `@default(${text})` };\n\t\t}\n\t\tcase \"function\": return { attribute: options?.functionAttributes?.[columnDefault.expression] ?? DEFAULT_FUNCTION_ATTRIBUTES[columnDefault.expression] ?? `@default(${printTaggedLiteral(SQL_EXPRESSION_TAG, columnDefault.expression)})` };\n\t}\n}\nfunction writingSurface(support) {\n\tconst entryOf = /* @__PURE__ */ new Map();\n\tconst tagTypes = [];\n\tfor (const [key, entry] of Object.entries(support.entries)) {\n\t\tconst written = entry.written;\n\t\tif (written.kind === \"tag\") {\n\t\t\tconst type = dataTypeId(key);\n\t\t\tif (!entryOf.has(type)) entryOf.set(type, entry);\n\t\t\ttagTypes.push(type);\n\t\t\tcontinue;\n\t\t}\n\t\tif (written.syntax === \"number\") {\n\t\t\tfor (const type of written.types) entryOf.set(type, entry);\n\t\t\tcontinue;\n\t\t}\n\t\tentryOf.set(key, entry);\n\t}\n\treturn {\n\t\tsupport,\n\t\tentryOf,\n\t\ttagTypes\n\t};\n}\nfunction readValue(surface, written) {\n\tconst read = readWrittenValue(surface.support, written);\n\treturn read.ok ? read.value : void 0;\n}\n/** The value of a tag's type that a stored document is, constructed by that type. */\nfunction tagValue(surface, type, value) {\n\ttry {\n\t\treturn surface.support.lookup.get(type)?.valueFrom(value, {});\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/**\n* Every value the stored form could be, in the order a written value would be read: a number or\n* numeral text through the number entry first, then the plain syntax that matches the shape, then\n* each tag, whose stored form is a whole document, which may itself be a number or a boolean.\n*/\nfunction classifications(value, surface) {\n\tconst found = [];\n\tif (typeof value === \"number\") found.push(readValue(surface, {\n\t\tkind: \"number\",\n\t\ttext: numeralText(value)\n\t}));\n\telse if (typeof value === \"boolean\") found.push(readValue(surface, {\n\t\tkind: \"boolean\",\n\t\tvalue\n\t}));\n\telse if (typeof value === \"string\") {\n\t\tfound.push(readValue(surface, {\n\t\t\tkind: \"number\",\n\t\t\ttext: value\n\t\t}));\n\t\tfound.push(readValue(surface, {\n\t\t\tkind: \"string\",\n\t\t\ttext: value\n\t\t}));\n\t}\n\tfor (const type of surface.tagTypes) found.push(tagValue(surface, type, value));\n\treturn found.filter((candidate) => candidate !== void 0);\n}\n/** What the column's type stores for `json` under the column's parameters, or `undefined` when it holds no such value. */\nfunction storedUnder(json, column, lookup) {\n\tconst type = lookup.get(column.id);\n\tif (type === void 0) return void 0;\n\ttry {\n\t\treturn type.toContract(type.valueFrom(json, column.params));\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/** The stored form the column takes this value as, spelled as its parameters give it, or `undefined` when its type takes no such value. */\nfunction admitted(candidate, column, surface) {\n\tconst cast = castTypedValue(surface.support, column.id, column.params, candidate);\n\treturn cast.ok ? cast.value.value : void 0;\n}\n/** The text of the literal: what the entry prints, before the syntax that fences it. */\nfunction printedText(entry, value) {\n\ttry {\n\t\treturn entry.print(value);\n\t} catch {\n\t\treturn;\n\t}\n}\n/** The printed text as the entry's syntax writes it, for reading back. */\nfunction writtenAs(entry, text) {\n\tconst written = entry.written;\n\tif (written.kind === \"tag\") return {\n\t\tkind: \"tag\",\n\t\ttag: written.tag,\n\t\ttext\n\t};\n\tif (written.syntax !== \"boolean\") return {\n\t\tkind: written.syntax,\n\t\ttext\n\t};\n\treturn text === \"true\" || text === \"false\" ? {\n\t\tkind: \"boolean\",\n\t\tvalue: text === \"true\"\n\t} : void 0;\n}\n/** What the printed text reads back as, through the same read a written value takes. */\nfunction readBack(surface, entry, text) {\n\tconst written = writtenAs(entry, text);\n\treturn written === void 0 ? void 0 : readValue(surface, written);\n}\nfunction literalText(entry, text) {\n\tconst written = entry.written;\n\tif (written.kind === \"tag\") return printTaggedLiteral(written.tag, text);\n\treturn written.syntax === \"string\" ? `\"${escapePslString(text)}\"` : text;\n}\n/**\n* The value written as the literal of one of its types, proven by reading the text straight back:\n* the same read, the same cast, and the stored form again. A number is tried first without the\n* trailing fraction zeros the column's scale spells it with.\n*/\nfunction writeScalar(value, column, surface) {\n\tconst shortest = withoutTrailingFractionZeros(value);\n\tconst candidates = [...shortest === void 0 ? [] : classifications(shortest, surface), ...classifications(value, surface)];\n\tfor (const candidate of candidates) {\n\t\tconst entry = surface.entryOf.get(candidate.type);\n\t\tif (entry === void 0) continue;\n\t\tconst stored = admitted(candidate, column, surface);\n\t\tif (stored === void 0 || !sameForm(stored, value)) continue;\n\t\tconst text = printedText(entry, candidate.value);\n\t\tif (text === void 0) continue;\n\t\tconst reread = readBack(surface, entry, text);\n\t\tif (reread === void 0) continue;\n\t\tconst restored = admitted(reread, column, surface);\n\t\tif (restored === void 0 || !sameForm(restored, value)) continue;\n\t\treturn literalText(entry, text);\n\t}\n}\nconst DECIMAL_WITH_FRACTION = /^-?\\d+\\.\\d+$/;\nfunction withoutTrailingFractionZeros(value) {\n\tif (typeof value !== \"string\" || !DECIMAL_WITH_FRACTION.test(value)) return void 0;\n\tconst shortened = value.replace(/0+$/, \"\").replace(/\\.$/, \"\");\n\treturn shortened === value ? void 0 : shortened;\n}\n/** One written element of a list, printed as a value of any type, with no column type to admit it. */\nfunction writeElement(value, of, surface) {\n\tfor (const candidate of classifications(value, surface)) {\n\t\tif (!of.includes(candidate.type)) continue;\n\t\tconst entry = surface.entryOf.get(candidate.type);\n\t\tif (entry === void 0) continue;\n\t\tconst text = printedText(entry, candidate.value);\n\t\tif (text === void 0) continue;\n\t\tconst reread = readBack(surface, entry, text);\n\t\tif (reread === void 0 || !of.includes(reread.type)) continue;\n\t\treturn {\n\t\t\ttext: literalText(entry, text),\n\t\t\tvalue: reread.value\n\t\t};\n\t}\n}\n/**\n* A written list on a scalar column, which the column type's list cast turns into its one value,\n* constructed by the column's type. Each element is classified on its own and must be of a type the\n* cast takes.\n*/\nfunction writeListCast(value, column, surface) {\n\tconst listCast = surface.support.lookup.get(column.id)?.listCast;\n\tif (listCast === void 0) return void 0;\n\tconst parts = [];\n\tconst elements = [];\n\tfor (const element of value) {\n\t\tconst written = writeElement(element, listCast.of, surface);\n\t\tif (written === void 0) return void 0;\n\t\tparts.push(written.text);\n\t\telements.push(written.value);\n\t}\n\tlet cast;\n\ttry {\n\t\tcast = listCast.cast(elements);\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n\tconst stored = storedUnder(cast, column, surface.support.lookup);\n\treturn stored !== void 0 && sameForm(stored, value) ? `[${parts.join(\", \")}]` : void 0;\n}\n/** The PSL literal a stored value is written as for the column `options` describe, or `undefined` when it has no written form that reads back as that value. */\nfunction writeDefaultLiteral(value, options) {\n\tif (value instanceof Date) return void 0;\n\tconst { dataTypes, columnCodec } = options ?? {};\n\tif (dataTypes === void 0 || columnCodec === void 0) return void 0;\n\tconst { lookup } = dataTypes;\n\tconst columnDataType = columnCodec.dataType;\n\tconst columnType = lookup.get(columnDataType);\n\tconst column = {\n\t\tid: columnDataType,\n\t\tparams: columnType === void 0 ? {} : dataTypeParams(columnType, options?.typeParams)\n\t};\n\tconst surface = writingSurface(dataTypes);\n\tif (options?.list === true) {\n\t\tif (!Array.isArray(value)) return void 0;\n\t\tconst parts = [];\n\t\tfor (const element of value) {\n\t\t\tconst written = writeScalar(element, column, surface);\n\t\t\tif (written === void 0) return void 0;\n\t\t\tparts.push(written);\n\t\t}\n\t\treturn `[${parts.join(\", \")}]`;\n\t}\n\tconst written = writeScalar(value, column, surface);\n\tif (written !== void 0) return written;\n\treturn Array.isArray(value) ? writeListCast(value, column, surface) : void 0;\n}\n/** Whether two stored forms are the same JSON value, member by member and element by element. */\nfunction sameForm(left, right) {\n\tif (left === right) return true;\n\tif (Array.isArray(left) !== Array.isArray(right)) return false;\n\tif (typeof left !== \"object\" || typeof right !== \"object\" || left === null || right === null) return false;\n\tconst members = Object.entries(left);\n\tconst others = new Map(Object.entries(right));\n\treturn members.length === others.size && members.every(([key, member]) => {\n\t\tconst other = others.get(key);\n\t\treturn other !== void 0 && sameForm(member, other);\n\t});\n}\n//#endregion\n//#region src/core/psl-build/generator-calls.ts\nconst GENERATOR_PHASES = [\"onCreate\", \"onUpdate\"];\n/**\n* The generator function call that writes each phase of a column's generators, as `@onCreate(...)` and `@onUpdate(...)` take it. A call must resolve back to the stored generator, so a list column, a generator no function writes for the codec, and a call that reads back differently are refused.\n*/\nfunction generatorCallsFor(input) {\n\tconst { executionDefault, field, list, generatorFunctions } = input;\n\tconst calls = [];\n\tfor (const phase of GENERATOR_PHASES) {\n\t\tconst generator = executionDefault[phase];\n\t\tif (generator === void 0) continue;\n\t\tif (list) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"on-list\",\n\t\t\t\tphase,\n\t\t\t\tgenerator\n\t\t\t}\n\t\t};\n\t\tconst printed = generatorFunctions.callFor(generator, field);\n\t\tif (printed === void 0) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"no-function\",\n\t\t\t\tphase,\n\t\t\t\tgenerator\n\t\t\t}\n\t\t};\n\t\tconst readBack = generatorFunctions.resolve(printed.call, field);\n\t\tif (!readBack.ok || canonicalizeJson(readBack.generator) !== canonicalizeJson(generator)) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"reads-back-differently\",\n\t\t\t\tphase,\n\t\t\t\tgenerator,\n\t\t\t\ttext: printed.text,\n\t\t\t\treadBack: readBack.ok ? readBack.generator : void 0,\n\t\t\t\trefusedBecause: !readBack.ok && readBack.reason === \"refused\" ? readBack.message : void 0\n\t\t\t}\n\t\t};\n\t\tcalls.push({\n\t\t\tphase,\n\t\t\ttext: printed.text\n\t\t});\n\t}\n\treturn {\n\t\tok: true,\n\t\tcalls\n\t};\n}\n//#endregion\nexport { fewestArgumentsCall, generatorCallsFor, inferColumnTypes, inferredTypeConstructors, mapDefault, pslTypeArgumentText, toEnumMemberName, writeDefaultLiteral };\n\n//# sourceMappingURL=psl-build.mjs.map"],"mappings":";;;;;;;;;;;AAWA,SAAS,yBAAyB,OAAO;CACxC,MAAM,wBAAwB,IAAI,IAAI;CACtC,KAAK,MAAM,EAAE,MAAM,gBAAgB,0BAA0B,MAAM,cAAc,GAAG;EACnF,IAAI,WAAW,aAAa,MAAM;EAClC,MAAM,aAAa,MAAM,YAAY,cAAc,WAAW,OAAO,OAAO,CAAC,EAAE;EAC/E,MAAM,WAAW,eAAe,KAAK,IAAI,KAAK,IAAI,MAAM,eAAe,IAAI,UAAU;EACrF,IAAI,aAAa,KAAK,KAAK,CAAC,cAAc,QAAQ,GAAG;EACrD,MAAM,IAAI,SAAS,IAAI;GACtB;GACA;GACA;EACD,CAAC;CACF;CACA,OAAO;AACR;AACA,SAAS,aAAa,QAAQ,MAAM;CACnC,IAAI;EACH,MAAM,EAAE,eAAe,oCAAoC,OAAO,YAAY,IAAI;EAClF,MAAM,SAAS,eAAe,OAAO,UAAU,UAAU;EACzD,OAAO,iBAAiB,OAAO,SAAS,IAAI,UAAU,MAAM,CAAC;CAC9D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;;;;;;AAOA,SAAS,oBAAoB,QAAQ,QAAQ;CAC5C,MAAM,MAAM,kCAAkC,OAAO,YAAY;EAChE,SAAS,OAAO,WAAW,OAAO;EAClC,YAAY;CACb,CAAC;CACD,IAAI,QAAQ,KAAK,GAAG,OAAO,KAAK;CAChC,MAAM,SAAS,iBAAiB,MAAM;CACtC,MAAM,OAAO,CAAC,GAAG,GAAG;CACpB,OAAO,KAAK,SAAS,KAAK,aAAa,QAAQ,KAAK,MAAM,GAAG,EAAE,CAAC,MAAM,QAAQ,KAAK,IAAI;CACvF,OAAO;EACN,MAAM,OAAO;EACb;CACD;AACD;;;;;AAKA,SAAS,oBAAoB,OAAO;CACnC,IAAI,OAAO,UAAU,YAAY,OAAO,UAAU,WAAW,OAAO,OAAO,KAAK;CAChF,IAAI,OAAO,UAAU,UAAU,OAAO,KAAK;CAC3C,OAAO,gBAAgB,KAAK,MAAM,QAAQ,IAAI,MAAM,KAAK,KAAK;AAC/D;;AAIA,SAAS,eAAe,QAAQ,WAAW;CAC1C,IAAI,OAAO,iBAAiB,KAAK,GAAG,MAAM,IAAI,cAAc,+BAA+B,UAAU,KAAK,OAAO,KAAK,iDAAiD;CACvK,OAAO,OAAO;AACf;AACA,SAAS,YAAY,cAAc,WAAW,UAAU;CACvD,MAAM,WAAW,uBAAuB,UAAU,SAAS;CAC3D,MAAM,SAAS,YAAY,aAAa,IAAI,SAAS,SAAS,EAAE;CAChE,MAAM,OAAO,YAAY,UAAU,oBAAoB,QAAQ,SAAS,UAAU;CAClF,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;CACjC,MAAM,OAAO,KAAK,KAAK,IAAI,mBAAmB;CAC9C,OAAO,KAAK,OAAO,QAAQ,QAAQ,KAAK,CAAC,IAAI;EAC5C,MAAM,KAAK;EACX;CACD,IAAI,KAAK;AACV;;;;;;;AAOA,SAAS,iBAAiB,OAAO;CAChC,MAAM,YAAY,CAAC,GAAG,MAAM,aAAa,OAAO,CAAC,CAAC,CAAC,KAAK,WAAW,OAAO,QAAQ;CAClF,MAAM,wBAAwB,IAAI,IAAI;CACtC,MAAM,YAAY,CAAC;CACnB,KAAK,MAAM,EAAE,YAAY,WAAW,aAAa,MAAM,QAAQ,KAAK,MAAM,UAAU,SAAS;EAC5F,IAAI,MAAM,aAAa,MAAM,GAAG;EAChC,MAAM,WAAW,eAAe,QAAQ,SAAS;EACjD,MAAM,OAAO,YAAY,MAAM,cAAc,WAAW,QAAQ;EAChE,IAAI,SAAS,KAAK,GAAG;GACpB,UAAU,KAAK,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,KAAK,IAAI,SAAS,OAAO,OAAO,SAAS,OAAO,OAAO,IAAI;GAC/G;EACD;EACA,MAAM,IAAI,KAAK,UAAU,CAAC,WAAW,OAAO,IAAI,CAAC,GAAG,IAAI;CACzD;CACA,IAAI,UAAU,SAAS,GAAG;EACzB,MAAM,UAAU,UAAU,KAAK;EAC/B,MAAM,eAAe,wCAAwC,CAAC,uFAAuF,GAAG,QAAQ,KAAK,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG;GACvM,KAAK;GACL,KAAK;GACL,MAAM,EAAE,QAAQ;EACjB,CAAC;CACF;CACA,QAAQ,WAAW,eAAe;EACjC,MAAM,OAAO,MAAM,IAAI,KAAK,UAAU,CAAC,WAAW,UAAU,CAAC,CAAC;EAC9D,IAAI,SAAS,KAAK,GAAG,MAAM,IAAI,cAAc,wCAAwC,UAAU,KAAK,WAAW,GAAG;EAClH,OAAO;CACR;AACD;AAGA,MAAM,8BAA8B;CACnC,mBAAmB;CACnB,SAAS;AACV;;;;;;;;AAQA,SAAS,WAAW,eAAe,SAAS;CAC3C,QAAQ,cAAc,MAAtB;EACC,KAAK,WAAW;GACf,MAAM,OAAO,oBAAoB,cAAc,OAAO,OAAO;GAC7D,OAAO,SAAS,KAAK,IAAI,KAAK,IAAI,EAAE,WAAW,YAAY,KAAK,GAAG;EACpE;EACA,KAAK,YAAY,OAAO,EAAE,WAAW,SAAS,qBAAqB,cAAc,eAAe,4BAA4B,cAAc,eAAe,YAAY,mBAAA,OAAuC,cAAc,UAAU,EAAE,GAAG;CAC1O;AACD;AACA,SAAS,eAAe,SAAS;CAChC,MAAM,0BAA0B,IAAI,IAAI;CACxC,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,QAAQ,OAAO,GAAG;EAC3D,MAAM,UAAU,MAAM;EACtB,IAAI,QAAQ,SAAS,OAAO;GAC3B,MAAM,OAAO,WAAW,GAAG;GAC3B,IAAI,CAAC,QAAQ,IAAI,IAAI,GAAG,QAAQ,IAAI,MAAM,KAAK;GAC/C,SAAS,KAAK,IAAI;GAClB;EACD;EACA,IAAI,QAAQ,WAAW,UAAU;GAChC,KAAK,MAAM,QAAQ,QAAQ,OAAO,QAAQ,IAAI,MAAM,KAAK;GACzD;EACD;EACA,QAAQ,IAAI,KAAK,KAAK;CACvB;CACA,OAAO;EACN;EACA;EACA;CACD;AACD;AACA,SAAS,UAAU,SAAS,SAAS;CACpC,MAAM,OAAO,iBAAiB,QAAQ,SAAS,OAAO;CACtD,OAAO,KAAK,KAAK,KAAK,QAAQ,KAAK;AACpC;;AAEA,SAAS,SAAS,SAAS,MAAM,OAAO;CACvC,IAAI;EACH,OAAO,QAAQ,QAAQ,OAAO,IAAI,IAAI,CAAC,EAAE,UAAU,OAAO,CAAC,CAAC;CAC7D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;;;;;AAMA,SAAS,gBAAgB,OAAO,SAAS;CACxC,MAAM,QAAQ,CAAC;CACf,IAAI,OAAO,UAAU,UAAU,MAAM,KAAK,UAAU,SAAS;EAC5D,MAAM;EACN,MAAM,YAAY,KAAK;CACxB,CAAC,CAAC;MACG,IAAI,OAAO,UAAU,WAAW,MAAM,KAAK,UAAU,SAAS;EAClE,MAAM;EACN;CACD,CAAC,CAAC;MACG,IAAI,OAAO,UAAU,UAAU;EACnC,MAAM,KAAK,UAAU,SAAS;GAC7B,MAAM;GACN,MAAM;EACP,CAAC,CAAC;EACF,MAAM,KAAK,UAAU,SAAS;GAC7B,MAAM;GACN,MAAM;EACP,CAAC,CAAC;CACH;CACA,KAAK,MAAM,QAAQ,QAAQ,UAAU,MAAM,KAAK,SAAS,SAAS,MAAM,KAAK,CAAC;CAC9E,OAAO,MAAM,QAAQ,cAAc,cAAc,KAAK,CAAC;AACxD;;AAEA,SAAS,YAAY,MAAM,QAAQ,QAAQ;CAC1C,MAAM,OAAO,OAAO,IAAI,OAAO,EAAE;CACjC,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;CACjC,IAAI;EACH,OAAO,KAAK,WAAW,KAAK,UAAU,MAAM,OAAO,MAAM,CAAC;CAC3D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;AAEA,SAAS,SAAS,WAAW,QAAQ,SAAS;CAC7C,MAAM,OAAO,eAAe,QAAQ,SAAS,OAAO,IAAI,OAAO,QAAQ,SAAS;CAChF,OAAO,KAAK,KAAK,KAAK,MAAM,QAAQ,KAAK;AAC1C;;AAEA,SAAS,YAAY,OAAO,OAAO;CAClC,IAAI;EACH,OAAO,MAAM,MAAM,KAAK;CACzB,QAAQ;EACP;CACD;AACD;;AAEA,SAAS,UAAU,OAAO,MAAM;CAC/B,MAAM,UAAU,MAAM;CACtB,IAAI,QAAQ,SAAS,OAAO,OAAO;EAClC,MAAM;EACN,KAAK,QAAQ;EACb;CACD;CACA,IAAI,QAAQ,WAAW,WAAW,OAAO;EACxC,MAAM,QAAQ;EACd;CACD;CACA,OAAO,SAAS,UAAU,SAAS,UAAU;EAC5C,MAAM;EACN,OAAO,SAAS;CACjB,IAAI,KAAK;AACV;;AAEA,SAAS,SAAS,SAAS,OAAO,MAAM;CACvC,MAAM,UAAU,UAAU,OAAO,IAAI;CACrC,OAAO,YAAY,KAAK,IAAI,KAAK,IAAI,UAAU,SAAS,OAAO;AAChE;AACA,SAAS,YAAY,OAAO,MAAM;CACjC,MAAM,UAAU,MAAM;CACtB,IAAI,QAAQ,SAAS,OAAO,OAAO,mBAAmB,QAAQ,KAAK,IAAI;CACvE,OAAO,QAAQ,WAAW,WAAW,IAAI,gBAAgB,IAAI,EAAE,KAAK;AACrE;;;;;;AAMA,SAAS,YAAY,OAAO,QAAQ,SAAS;CAC5C,MAAM,WAAW,6BAA6B,KAAK;CACnD,MAAM,aAAa,CAAC,GAAG,aAAa,KAAK,IAAI,CAAC,IAAI,gBAAgB,UAAU,OAAO,GAAG,GAAG,gBAAgB,OAAO,OAAO,CAAC;CACxH,KAAK,MAAM,aAAa,YAAY;EACnC,MAAM,QAAQ,QAAQ,QAAQ,IAAI,UAAU,IAAI;EAChD,IAAI,UAAU,KAAK,GAAG;EACtB,MAAM,SAAS,SAAS,WAAW,QAAQ,OAAO;EAClD,IAAI,WAAW,KAAK,KAAK,CAAC,SAAS,QAAQ,KAAK,GAAG;EACnD,MAAM,OAAO,YAAY,OAAO,UAAU,KAAK;EAC/C,IAAI,SAAS,KAAK,GAAG;EACrB,MAAM,SAAS,SAAS,SAAS,OAAO,IAAI;EAC5C,IAAI,WAAW,KAAK,GAAG;EACvB,MAAM,WAAW,SAAS,QAAQ,QAAQ,OAAO;EACjD,IAAI,aAAa,KAAK,KAAK,CAAC,SAAS,UAAU,KAAK,GAAG;EACvD,OAAO,YAAY,OAAO,IAAI;CAC/B;AACD;AACA,MAAM,wBAAwB;AAC9B,SAAS,6BAA6B,OAAO;CAC5C,IAAI,OAAO,UAAU,YAAY,CAAC,sBAAsB,KAAK,KAAK,GAAG,OAAO,KAAK;CACjF,MAAM,YAAY,MAAM,QAAQ,OAAO,EAAE,CAAC,CAAC,QAAQ,OAAO,EAAE;CAC5D,OAAO,cAAc,QAAQ,KAAK,IAAI;AACvC;;AAEA,SAAS,aAAa,OAAO,IAAI,SAAS;CACzC,KAAK,MAAM,aAAa,gBAAgB,OAAO,OAAO,GAAG;EACxD,IAAI,CAAC,GAAG,SAAS,UAAU,IAAI,GAAG;EAClC,MAAM,QAAQ,QAAQ,QAAQ,IAAI,UAAU,IAAI;EAChD,IAAI,UAAU,KAAK,GAAG;EACtB,MAAM,OAAO,YAAY,OAAO,UAAU,KAAK;EAC/C,IAAI,SAAS,KAAK,GAAG;EACrB,MAAM,SAAS,SAAS,SAAS,OAAO,IAAI;EAC5C,IAAI,WAAW,KAAK,KAAK,CAAC,GAAG,SAAS,OAAO,IAAI,GAAG;EACpD,OAAO;GACN,MAAM,YAAY,OAAO,IAAI;GAC7B,OAAO,OAAO;EACf;CACD;AACD;;;;;;AAMA,SAAS,cAAc,OAAO,QAAQ,SAAS;CAC9C,MAAM,WAAW,QAAQ,QAAQ,OAAO,IAAI,OAAO,EAAE,CAAC,EAAE;CACxD,IAAI,aAAa,KAAK,GAAG,OAAO,KAAK;CACrC,MAAM,QAAQ,CAAC;CACf,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,WAAW,OAAO;EAC5B,MAAM,UAAU,aAAa,SAAS,SAAS,IAAI,OAAO;EAC1D,IAAI,YAAY,KAAK,GAAG,OAAO,KAAK;EACpC,MAAM,KAAK,QAAQ,IAAI;EACvB,SAAS,KAAK,QAAQ,KAAK;CAC5B;CACA,IAAI;CACJ,IAAI;EACH,OAAO,SAAS,KAAK,QAAQ;CAC9B,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;CACA,MAAM,SAAS,YAAY,MAAM,QAAQ,QAAQ,QAAQ,MAAM;CAC/D,OAAO,WAAW,KAAK,KAAK,SAAS,QAAQ,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,KAAK,KAAK;AACtF;;AAEA,SAAS,oBAAoB,OAAO,SAAS;CAC5C,IAAI,iBAAiB,MAAM,OAAO,KAAK;CACvC,MAAM,EAAE,WAAW,gBAAgB,WAAW,CAAC;CAC/C,IAAI,cAAc,KAAK,KAAK,gBAAgB,KAAK,GAAG,OAAO,KAAK;CAChE,MAAM,EAAE,WAAW;CACnB,MAAM,iBAAiB,YAAY;CACnC,MAAM,aAAa,OAAO,IAAI,cAAc;CAC5C,MAAM,SAAS;EACd,IAAI;EACJ,QAAQ,eAAe,KAAK,IAAI,CAAC,IAAI,eAAe,YAAY,SAAS,UAAU;CACpF;CACA,MAAM,UAAU,eAAe,SAAS;CACxC,IAAI,SAAS,SAAS,MAAM;EAC3B,IAAI,CAAC,MAAM,QAAQ,KAAK,GAAG,OAAO,KAAK;EACvC,MAAM,QAAQ,CAAC;EACf,KAAK,MAAM,WAAW,OAAO;GAC5B,MAAM,UAAU,YAAY,SAAS,QAAQ,OAAO;GACpD,IAAI,YAAY,KAAK,GAAG,OAAO,KAAK;GACpC,MAAM,KAAK,OAAO;EACnB;EACA,OAAO,IAAI,MAAM,KAAK,IAAI,EAAE;CAC7B;CACA,MAAM,UAAU,YAAY,OAAO,QAAQ,OAAO;CAClD,IAAI,YAAY,KAAK,GAAG,OAAO;CAC/B,OAAO,MAAM,QAAQ,KAAK,IAAI,cAAc,OAAO,QAAQ,OAAO,IAAI,KAAK;AAC5E;;AAEA,SAAS,SAAS,MAAM,OAAO;CAC9B,IAAI,SAAS,OAAO,OAAO;CAC3B,IAAI,MAAM,QAAQ,IAAI,MAAM,MAAM,QAAQ,KAAK,GAAG,OAAO;CACzD,IAAI,OAAO,SAAS,YAAY,OAAO,UAAU,YAAY,SAAS,QAAQ,UAAU,MAAM,OAAO;CACrG,MAAM,UAAU,OAAO,QAAQ,IAAI;CACnC,MAAM,SAAS,IAAI,IAAI,OAAO,QAAQ,KAAK,CAAC;CAC5C,OAAO,QAAQ,WAAW,OAAO,QAAQ,QAAQ,OAAO,CAAC,KAAK,YAAY;EACzE,MAAM,QAAQ,OAAO,IAAI,GAAG;EAC5B,OAAO,UAAU,KAAK,KAAK,SAAS,QAAQ,KAAK;CAClD,CAAC;AACF;AAGA,MAAM,mBAAmB,CAAC,YAAY,UAAU;;;;AAIhD,SAAS,kBAAkB,OAAO;CACjC,MAAM,EAAE,kBAAkB,OAAO,MAAM,uBAAuB;CAC9D,MAAM,QAAQ,CAAC;CACf,KAAK,MAAM,SAAS,kBAAkB;EACrC,MAAM,YAAY,iBAAiB;EACnC,IAAI,cAAc,KAAK,GAAG;EAC1B,IAAI,MAAM,OAAO;GAChB,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;GACD;EACD;EACA,MAAM,UAAU,mBAAmB,QAAQ,WAAW,KAAK;EAC3D,IAAI,YAAY,KAAK,GAAG,OAAO;GAC9B,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;GACD;EACD;EACA,MAAM,WAAW,mBAAmB,QAAQ,QAAQ,MAAM,KAAK;EAC/D,IAAI,CAAC,SAAS,MAAM,iBAAiB,SAAS,SAAS,MAAM,iBAAiB,SAAS,GAAG,OAAO;GAChG,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;IACA,MAAM,QAAQ;IACd,UAAU,SAAS,KAAK,SAAS,YAAY,KAAK;IAClD,gBAAgB,CAAC,SAAS,MAAM,SAAS,WAAW,YAAY,SAAS,UAAU,KAAK;GACzF;EACD;EACA,MAAM,KAAK;GACV;GACA,MAAM,QAAQ;EACf,CAAC;CACF;CACA,OAAO;EACN,IAAI;EACJ;CACD;AACD"}

package/dist/{psl-build-DETsH_kq.d.mts → psl-build-BkNvqSMz.d.mts}

@@ -1,6 +1,6 @@
 import { u as SqlColumnIR } from "./types-DiD6BqoN-ZF53hwPp.mjs";
 import "./types-D_nlUp-1.mjs";
-import { i as SqlDataType, l as SqlTypeParams } from "./data-type-DMk-fLAZ.mjs";
+import { i as SqlDataType, l as SqlTypeParams } from "./data-type-BacIoCfv.mjs";
 import "./default-mapping-CP8q4TfH-CF6eJMej.mjs";
 import { AuthoringTypeConstructorCall, AuthoringTypeConstructorDescriptor, AuthoringTypeNamespace } from "@prisma/orm-framework/components/authoring";
 import { CodecLookupWithDescriptors, DataTypeLookup } from "@prisma/orm-framework/components/codec";
@@ -77,6 +77,8 @@ type GeneratorCallRefusal = {
   readonly generator: ExecutionMutationDefaultValue;
   readonly text: string;
   readonly readBack: ExecutionMutationDefaultValue | undefined;
+  /** Why the call's binding refuses the column, when it does. */
+  readonly refusedBecause: string | undefined;
 };
 type GeneratorCallsResult = {
   readonly ok: true;
@@ -105,4 +107,4 @@ declare function generatorCallsFor(input: {
 declare function toEnumMemberName(value: string): string;
 //#endregion
 export { InferredTypeConstructors as a, PslTypeCall as c, inferColumnTypes as d, inferredTypeConstructors as f, InferredTypeConstructor as i, fewestArgumentsCall as l, toEnumMemberName as m, GeneratorCallRefusal as n, IntrospectedTable as o, pslTypeArgumentText as p, GeneratorCallsResult as r, PhaseCallText as s, ColumnTypeOf as t, generatorCallsFor as u };
-//# sourceMappingURL=psl-build-DETsH_kq.d.mts.map
+//# sourceMappingURL=psl-build-BkNvqSMz.d.mts.map

package/dist/{psl-build-DETsH_kq.d.mts.map → psl-build-BkNvqSMz.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"psl-build-DETsH_kq.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/psl-build.d.mts"],"mappings":";;;;;;;;;;;UASU;WACC;WACA,YAAY;WACZ,UAAU;;;KAGhB,2BAA2B,oBAAoB;;iBAEnC,yBAAyB;WAC/B,gBAAgB;WAChB,aAAa,KAAK;WAClB,gBAAgB;IACvB;;;;;;;iBAOa,oBAAoB,QAAQ,yBAAyB,QAAQ,gBAAgB;;;;;iBAK7E,oBAAoB;;;;UAI3B;WACC;WACA;;;KAGN,gBAAgB,mBAAmB,uBAAuB;;UAErD;WACC;WACA;WACA,kBAAkB;;;;;;;;iBAQZ,iBAAiB;WACvB,iBAAiB;WACjB,cAAc;WACd,eAAe,QAAQ;IAC9B;;;;UAIM;WACC,OAAO;WACP;;KAEN;WACM;WACA,OAAO;WACP,WAAW;;WAEX;WACA,OAAO;WACP,WAAW;WACX;WACA,UAAU;;KAEhB;WACM;WACA,gBAAgB;;WAEhB;WACA,SAAS;;;;;iBAKH,kBAAkB;WACxB,kBAAkB;WAClB,OAAO;WACP;WACA,oBAAoB;IAC3B;;;;;;;;;iBASa,iBAAiB"}
+{"version":3,"file":"psl-build-BkNvqSMz.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/psl-build.d.mts"],"mappings":";;;;;;;;;;;UASU;WACC;WACA,YAAY;WACZ,UAAU;;;KAGhB,2BAA2B,oBAAoB;;iBAEnC,yBAAyB;WAC/B,gBAAgB;WAChB,aAAa,KAAK;WAClB,gBAAgB;IACvB;;;;;;;iBAOa,oBAAoB,QAAQ,yBAAyB,QAAQ,gBAAgB;;;;;iBAK7E,oBAAoB;;;;UAI3B;WACC;WACA;;;KAGN,gBAAgB,mBAAmB,uBAAuB;;UAErD;WACC;WACA;WACA,kBAAkB;;;;;;;;iBAQZ,iBAAiB;WACvB,iBAAiB;WACjB,cAAc;WACd,eAAe,QAAQ;IAC9B;;;;UAIM;WACC,OAAO;WACP;;KAEN;WACM;WACA,OAAO;WACP,WAAW;;WAEX;WACA,OAAO;WACP,WAAW;WACX;WACA,UAAU;;WAEV;;KAEN;WACM;WACA,gBAAgB;;WAEhB;WACA,SAAS;;;;;iBAKH,kBAAkB;WACxB,kBAAkB;WAClB,OAAO;WACP;WACA,oBAAoB;IAC3B;;;;;;;;;iBASa,iBAAiB"}

package/dist/{psl-column-resolution-DNdqpUxt-CL8m5aC4.d.mts → psl-column-resolution-DNdqpUxt-DlQwgbqn.d.mts}

@@ -1,9 +1,9 @@
-import "./contract-builder-C7X80029.mjs";
+import "./contract-builder-Di-2-fFO.mjs";
 import { AuthoringTypeConstructorDescriptor } from "@prisma/orm-framework/components/authoring";
 import { CodecLookupWithDescriptors } from "@prisma/orm-framework/components/codec";
 import { ColumnDefault, ExecutionMutationDefaultPhases, ValueSetRef } from "@prisma/orm-framework/contract/types";
-import { Binder } from "@prisma/orm-framework/psl-parser";
 import "@prisma/orm-framework/components/control";
+import { Binder } from "@prisma/orm-framework/psl-parser";
 //#region ../../../2-sql/2-authoring/contract-psl/dist/psl-column-resolution-DNdqpUxt.d.mts
 //#region src/psl-column-resolution.d.ts
 type ColumnDescriptor = {
@@ -22,4 +22,4 @@ type ColumnDescriptor = {
 };
 //#endregion
 export { ColumnDescriptor as t };
-//# sourceMappingURL=psl-column-resolution-DNdqpUxt-CL8m5aC4.d.mts.map
+//# sourceMappingURL=psl-column-resolution-DNdqpUxt-DlQwgbqn.d.mts.map

package/dist/{psl-column-resolution-DNdqpUxt-CL8m5aC4.d.mts.map → psl-column-resolution-DNdqpUxt-DlQwgbqn.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"psl-column-resolution-DNdqpUxt-CL8m5aC4.d.mts","names":[],"sources":["../../../../2-sql/2-authoring/contract-psl/dist/psl-column-resolution-DNdqpUxt.d.mts"],"mappings":";;;;;;;;KASK;WACM;WACA;WACA,aAAa;;;;;;;;;WASb,WAAW"}
+{"version":3,"file":"psl-column-resolution-DNdqpUxt-DlQwgbqn.d.mts","names":[],"sources":["../../../../2-sql/2-authoring/contract-psl/dist/psl-column-resolution-DNdqpUxt.d.mts"],"mappings":";;;;;;;;KASK;WACM;WACA;WACA,aAAa;;;;;;;;;WASb,WAAW"}

package/dist/{psl-field-resolution-C8s57hFC-Bv6NiK8J.mjs → psl-field-resolution-BLtSah2i-BuuJ5H70.mjs}

@@ -1,7 +1,8 @@
+import { u as sqlCodecColumnLength } from "./sql-data-type-D7M-YTTY-C9oWGZ3z.mjs";
 import { p as sqlTextFromStored, t as SQL_EXPRESSION_DATA_TYPE_ID } from "./sql-expression-BJCuy-WI.mjs";
 import { d as resolvedTypeParams } from "./types-M_FeBD9w.mjs";
-import { n as checkSqlDefaultText, o as reservedSqlDefaultText } from "./validators-BlONfdFH.mjs";
-import { a as storedAsListColumn, i as isValueObjectMember } from "./derived-checks-CwbSfZ8d-B3-zWGv_.mjs";
+import { n as checkSqlDefaultText, o as reservedSqlDefaultText } from "./validators-Cfy0jmZ2.mjs";
+import { a as storedAsListColumn, i as isValueObjectMember } from "./derived-checks-CwbSfZ8d-B91zqK6B.mjs";
 import { n as getAttribute, o as storageName, t as formatDbAttributeMigrationMessage } from "./psl-attribute-parsing-BCsFWsSp-LaNsbcrw.mjs";
 import { structuredError } from "@prisma/orm-framework/utils/structured-error";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
@@ -12,10 +13,10 @@ import { InternalError, isInternalError } from "@prisma/orm-framework/utils/inte
 import { FunctionCallAst } from "@prisma/orm-framework/psl-parser/syntax";
 import { invariant } from "@prisma/orm-framework/utils/assertions";
 import { notOk, ok } from "@prisma/orm-framework/utils/result";
-import { bool, contributedTypeOf, dataTypeValue, diagnosticSource, entityRef, fieldAttribute, fieldRef, funcCall, generatorAttributeSpec, identifier, interpretAttribute, leafDiagnostic, list, mapArg, modelAttribute, nodePslSpan, nodeSourceText, numLiteral, oneOf, optional, record, referencedFieldRef, str, taggedLiteral, typeReferenceNode, writtenList, writtenScalar } from "@prisma/orm-framework/psl-parser";
 import { describeTaggedLiteralFailure as describeTaggedLiteralFailure$1 } from "@prisma/orm-framework/components/control";
+import { bool, contributedTypeOf, dataTypeValue, diagnosticSource, entityRef, fieldAttribute, fieldRef, funcCall, generatorAttributeSpec, identifier, interpretAttribute, leafDiagnostic, list, mapArg, modelAttribute, nodePslSpan, nodeSourceText, numLiteral, oneOf, optional, record, referencedFieldRef, str, taggedLiteral, typeReferenceNode, writtenList, writtenScalar } from "@prisma/orm-framework/psl-parser";
 import { instantiatePslFieldPreset, isBareTypeConstructor, mapPslHelperArgs, reportPresetNotCalled, reportTypeConstructorNotCalled } from "@prisma/orm-framework/psl-parser/interpret";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-field-resolution-C8s57hFC.mjs
+//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-field-resolution-BLtSah2i.mjs
 function contractError(code, message, options) {
 	return structuredError(code, message, options);
 }
@@ -441,11 +442,12 @@ function nullLiteral() {
 		span: nodePslSpan(arg.syntax, ctx.sources)
 	}));
 }
-function defaultFunctionArm(name, signature) {
-	return mapArg(funcCall(name, signature), (call) => ({
-		kind: "default-function",
-		call
-	}));
+/**
+* A call to the registered default function `name`, with its signature built from the stack's data types when it needs them. Its binding diagnostics name it as a default function.
+*/
+function defaultFunctionCall(name, entry, dataTypes) {
+	const signature = blindCast(entry.signature);
+	return funcCall(name, typeof signature === "function" ? signature(dataTypes) : signature, { label: `Default function "${name}"` });
 }
 /** The data type of the column a field declares, when its type, or the named type it is declared with, is a constructor or preset the stack knows. */
 function receivingDataType(ctx) {
@@ -473,7 +475,10 @@ function scalarDefaultArms(isList, receiving, dataTypes, defaultFunctionRegistry
 	const columnTags = () => tagArms((dataType) => dataType === SQL_EXPRESSION_DATA_TYPE_ID || !isList && receives(dataTypes, receiving, dataType));
 	const literal = () => oneOf(writtenScalar(str()), writtenScalar(numLiteral()), writtenScalar(bool()), nullLiteral(), ...tagArms((dataType) => dataType !== SQL_EXPRESSION_DATA_TYPE_ID && receives(dataTypes, receiving, dataType)));
 	const listArm = () => writtenList(literal());
-	const funcArms = [...defaultFunctionRegistry.entries()].map(([name, entry]) => defaultFunctionArm(name, blindCast(entry.signature)));
+	const funcArms = [...defaultFunctionRegistry.entries()].map(([name, entry]) => mapArg(defaultFunctionCall(name, entry, dataTypes), (call) => ({
+		kind: "default-function",
+		call
+	})));
 	return isList ? [
 		listArm(),
 		...funcArms,
@@ -713,8 +718,8 @@ function baseModelSpec() {
 			documentation: "The base model to inherit from."
 		}, {
 			key: "value",
-			type: str(),
-			documentation: "The discriminator value identifying this variant."
+			type: writtenScalar(str()),
+			documentation: "The discriminator value identifying this variant, a value of the discriminator column's type."
 		}]
 	});
 }
@@ -1561,7 +1566,8 @@ function lowerGeneratorAttributesForField(input) {
 			args: call.args
 		}, {
 			codecId: input.columnDescriptor.codecId,
-			typeParams: input.columnTypeParams
+			typeParams: input.columnTypeParams,
+			length: sqlCodecColumnLength(input.dataTypes, input.columnDescriptor.codecId, input.columnTypeParams)
 		});
 		if (resolution.ok) {
 			phases[phase] = resolution.generator;
@@ -1933,6 +1939,6 @@ function mergeExecutionDefaults(fromAttributes, fromPreset) {
 	};
 }
 //#endregion
-export { resolveFieldTypeDescriptor as _, describeUnsupportedSqlAttribute as a, instantiateFieldTypeConstructor as c, interpretModelAttribute as d, modelAttributeSpecsFrom as f, readWrittenValueForCodec as g, readDataTypeDefault as h, contractError as i, instantiatePslTypeConstructor as l, modelSpecContext as m, bareTypeConstructorOf as n, fieldSpecContext as o, modelCoordinateKey as p, collectResolvedFields as r, getAuthoringEntity as s, PSL_CHECK_ON_STI_VARIANT as t, interpretFieldAttribute as u, sqlAttributeSpecs as v, toNamedTypeFieldDescriptor as y };
+export { readDataTypeDefault as _, defaultFunctionCall as a, sqlAttributeSpecs as b, getAuthoringEntity as c, interpretFieldAttribute as d, interpretModelAttribute as f, modelSpecContext as g, modelCoordinateKey as h, contractError as i, instantiateFieldTypeConstructor as l, modelAttributeSpecsFrom as m, bareTypeConstructorOf as n, describeUnsupportedSqlAttribute as o, lowerDataTypeDefault as p, collectResolvedFields as r, fieldSpecContext as s, PSL_CHECK_ON_STI_VARIANT as t, instantiatePslTypeConstructor as u, readWrittenValueForCodec as v, toNamedTypeFieldDescriptor as x, resolveFieldTypeDescriptor as y };
 
-//# sourceMappingURL=psl-field-resolution-C8s57hFC-Bv6NiK8J.mjs.map
+//# sourceMappingURL=psl-field-resolution-BLtSah2i-BuuJ5H70.mjs.map