@prisma/orm-family-sql 8.0.0-rc.2-dev.3 → 8.0.0-rc.20-dev.1

package/dist/runtime__internal__prepared-query.d.mts

@@ -1,2 +1,2 @@
-import { K as preparedStatementExecute, h as PreparedStatementExecuteTarget, q as preparedStatementQuery, v as PreparedStatementQueryTarget } from "./prepared-statement-9QpkE6JG-C430V3MO.mjs";
-export { type PreparedStatementExecuteTarget, type PreparedStatementQueryTarget, preparedStatementExecute, preparedStatementQuery };
+import { S as transactionStart, _ as createTransactionStart, b as settlementOf, d as PreparedStatementExecuteTarget, f as PreparedStatementQueryTarget, g as TransactionStartTarget, h as TransactionStart, m as TransactionSettlementState, p as SettledTransactionTarget, v as preparedStatementExecute, x as transactionSettlement, y as preparedStatementQuery } from "./transaction-state-DR3nKTmH-D29jmVE-.mjs";
+export { type PreparedStatementExecuteTarget, type PreparedStatementQueryTarget, type SettledTransactionTarget, type TransactionSettlementState, type TransactionStart, type TransactionStartTarget, createTransactionStart, preparedStatementExecute, preparedStatementQuery, settlementOf, transactionSettlement, transactionStart };

package/dist/runtime__internal__prepared-query.mjs

@@ -1,2 +1,2 @@
-import { n as preparedStatementQuery, t as preparedStatementExecute } from "./prepared-query-BJr50wPm-ChoqfJbX.mjs";
-export { preparedStatementExecute, preparedStatementQuery };
+import { c as transactionStart, n as preparedStatementExecute, o as settlementOf, r as preparedStatementQuery, s as transactionSettlement, t as createTransactionStart } from "./transaction-state-BfXhs7D7-DhmbySW9.mjs";
+export { createTransactionStart, preparedStatementExecute, preparedStatementQuery, settlementOf, transactionSettlement, transactionStart };

package/dist/{schema-differ-DpG_gnur-DFAtGezx.d.mts → schema-differ-DmP74bB8-tqHKiJ88.d.mts}

@@ -1,11 +1,11 @@
-import { c as SqlStorage } from "./sql-storage-8LqxeLAY-DH4DdUXx.mjs";
-import "./types-UcHa2cTe.mjs";
-import { v as SqlSchemaIRNode } from "./types-YStFFkKs-D9UAmnON.mjs";
-import "./types-Dwcw0F8X.mjs";
+import { l as SqlStorage } from "./sql-storage-DeCAh5Hi-CEM-m8cs.mjs";
+import "./types-CkAd8SWm.mjs";
+import { S as SqlSchemaIRNode } from "./types-CuCxAQat-Dz8P4xyt.mjs";
+import "./types-ljUNyiWe.mjs";
 import { Contract, ControlPolicy } from "@prisma/orm-framework/contract/types";
 import { TargetBoundComponentDescriptor } from "@prisma/orm-framework/components/components";
 import { SchemaDiffIssue } from "@prisma/orm-framework/components/control";
-//#region ../../../2-sql/9-family/dist/schema-differ-DpG_gnur.d.mts
+//#region ../../../2-sql-family/9-family/dist/schema-differ-DmP74bB8.d.mts
 //#region src/core/migrations/schema-differ.d.ts
 /**
  * The full-tree node diff a SQL target produces for the family verify
@@ -44,4 +44,4 @@ interface SqlSchemaDiffInput {
 type SqlSchemaDiffFn = (input: SqlSchemaDiffInput) => SqlSchemaDiffResult;
 //#endregion
 export { SqlSchemaDiffInput as n, SqlSchemaDiffResult as r, SqlSchemaDiffFn as t };
-//# sourceMappingURL=schema-differ-DpG_gnur-DFAtGezx.d.mts.map
+//# sourceMappingURL=schema-differ-DmP74bB8-tqHKiJ88.d.mts.map

package/dist/schema-differ-DmP74bB8-tqHKiJ88.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-differ-DmP74bB8-tqHKiJ88.d.mts","names":[],"sources":["../../../../2-sql-family/9-family/dist/schema-differ-DmP74bB8.d.mts"],"mappings":";;;;;;;;;;;;;;;;;UAcU;;WAEC,iBAAiB;;;;;;;;;WASjB,uBAAuB,OAAO,oBAAoB;;;;;;WAMlD,gBAAgB;aACd,QAAQ;;;UAGX;WACC,UAAU,SAAS;WACnB,QAAQ;WACR,qBAAqB,cAAc;;KAEzC,mBAAmB,OAAO,uBAAuB"}

package/dist/schema-ir.d.mts

@@ -1,2 +1,2 @@
-import { C as SqlUniqueIR, D as relationalNodeEntityKind, E as defineNonEnumerable, O as relationalNodeGranularity, S as SqlTypeMetadataRegistry, T as assertNode, _ as SqlSchemaIRInput, a as SqlCheckConstraintIR, b as SqlTableIRInput, c as SqlColumnDefaultIRInput, d as SqlForeignKeyIR, f as SqlForeignKeyIRInput, g as SqlSchemaIR, h as SqlReferentialAction, i as SqlAnnotations, l as SqlColumnIR, m as SqlIndexIRInput, n as PrimaryKeyInput, o as SqlCheckConstraintIRInput, p as SqlIndexIR, r as RelationalSchemaNodeKind, s as SqlColumnDefaultIR, t as PrimaryKey, u as SqlColumnIRInput, v as SqlSchemaIRNode, w as SqlUniqueIRInput, x as SqlTypeMetadata, y as SqlTableIR } from "./types-YStFFkKs-D9UAmnON.mjs";
-export { PrimaryKey, type PrimaryKeyInput, RelationalSchemaNodeKind, type SqlAnnotations, SqlCheckConstraintIR, type SqlCheckConstraintIRInput, SqlColumnDefaultIR, type SqlColumnDefaultIRInput, SqlColumnIR, type SqlColumnIRInput, SqlForeignKeyIR, type SqlForeignKeyIRInput, SqlIndexIR, type SqlIndexIRInput, type SqlReferentialAction, SqlSchemaIR, type SqlSchemaIRInput, SqlSchemaIRNode, SqlTableIR, type SqlTableIRInput, type SqlTypeMetadata, type SqlTypeMetadataRegistry, SqlUniqueIR, type SqlUniqueIRInput, assertNode, defineNonEnumerable, relationalNodeEntityKind, relationalNodeGranularity };
+import { A as relationalNodeGranularity, C as SqlTableIR, D as assertNode, E as SqlUniqueIRInput, M as sqlDefaultValuesEqual, O as defineNonEnumerable, S as SqlSchemaIRNode, T as SqlUniqueIR, _ as SqlIndexIR, a as SqlAnnotations, b as SqlSchemaIR, c as SqlColumnDefaultIR, d as SqlColumnIRInput, f as SqlColumnType, g as SqlForeignKeyIRInput, h as SqlForeignKeyIR, i as ReportedSqlType, j as sqlColumnTypesEqual, k as relationalNodeEntityKind, l as SqlColumnDefaultIRInput, m as SqlExpressionLiteralFor, n as PrimaryKeyInput, o as SqlCheckConstraintIR, p as SqlDefaultValue, r as RelationalSchemaNodeKind, s as SqlCheckConstraintIRInput, t as PrimaryKey, u as SqlColumnIR, v as SqlIndexIRInput, w as SqlTableIRInput, x as SqlSchemaIRInput, y as SqlReferentialAction } from "./types-CuCxAQat-Dz8P4xyt.mjs";
+export { PrimaryKey, type PrimaryKeyInput, RelationalSchemaNodeKind, type ReportedSqlType, type SqlAnnotations, SqlCheckConstraintIR, type SqlCheckConstraintIRInput, SqlColumnDefaultIR, type SqlColumnDefaultIRInput, SqlColumnIR, type SqlColumnIRInput, type SqlColumnType, type SqlDefaultValue, type SqlExpressionLiteralFor, SqlForeignKeyIR, type SqlForeignKeyIRInput, SqlIndexIR, type SqlIndexIRInput, type SqlReferentialAction, SqlSchemaIR, type SqlSchemaIRInput, SqlSchemaIRNode, SqlTableIR, type SqlTableIRInput, SqlUniqueIR, type SqlUniqueIRInput, assertNode, defineNonEnumerable, relationalNodeEntityKind, relationalNodeGranularity, sqlColumnTypesEqual, sqlDefaultValuesEqual };

package/dist/schema-ir.mjs

@@ -1,2 +1,2 @@
-import { a as SqlColumnIR, c as SqlSchemaIR, d as SqlUniqueIR, f as assertNode, h as relationalNodeGranularity, i as SqlColumnDefaultIR, l as SqlSchemaIRNode, m as relationalNodeEntityKind, n as RelationalSchemaNodeKind, o as SqlForeignKeyIR, p as defineNonEnumerable, r as SqlCheckConstraintIR, s as SqlIndexIR, t as PrimaryKey, u as SqlTableIR } from "./types-4YenawkP-CwaaZSid.mjs";
-export { PrimaryKey, RelationalSchemaNodeKind, SqlCheckConstraintIR, SqlColumnDefaultIR, SqlColumnIR, SqlForeignKeyIR, SqlIndexIR, SqlSchemaIR, SqlSchemaIRNode, SqlTableIR, SqlUniqueIR, assertNode, defineNonEnumerable, relationalNodeEntityKind, relationalNodeGranularity };
+import { _ as sqlDefaultValuesEqual, a as SqlColumnIR, c as SqlSchemaIR, d as SqlUniqueIR, f as assertNode, g as sqlColumnTypesEqual, h as relationalNodeGranularity, i as SqlColumnDefaultIR, l as SqlSchemaIRNode, m as relationalNodeEntityKind, n as RelationalSchemaNodeKind, o as SqlForeignKeyIR, p as defineNonEnumerable, r as SqlCheckConstraintIR, s as SqlIndexIR, t as PrimaryKey, u as SqlTableIR } from "./types-DoyiTsjg-2YMhMJDA.mjs";
+export { PrimaryKey, RelationalSchemaNodeKind, SqlCheckConstraintIR, SqlColumnDefaultIR, SqlColumnIR, SqlForeignKeyIR, SqlIndexIR, SqlSchemaIR, SqlSchemaIRNode, SqlTableIR, SqlUniqueIR, assertNode, defineNonEnumerable, relationalNodeEntityKind, relationalNodeGranularity, sqlColumnTypesEqual, sqlDefaultValuesEqual };

package/dist/schema-ir__naming.d.mts

@@ -1,2 +1,2 @@
-import { _ as normalizeSqlBody, a as WireName, b as truncateToWireNamePrefixBytes, c as computeCheckContentHash, d as derivedCheckPrefixes, f as formatWireName, g as normalizeIndexOptionValue, h as namingOfLiveName, i as WIRE_NAME_PREFIX_MAX_BYTES, l as computeIndexContentHash, m as namingOf, n as IndexContentHashParts, o as assertWireNamePrefixLength, p as nameOf, r as SqlObjectNaming, s as composeCheckWirePrefix, t as CheckKind, u as defaultIndexName, v as parseNaming, y as parseWireName } from "./naming-CV9j2pXl-KARaDReS.mjs";
+import { _ as normalizeSqlBody, a as WireName, b as truncateToWireNamePrefixBytes, c as computeCheckContentHash, d as derivedCheckPrefixes, f as formatWireName, g as normalizeIndexOptionValue, h as namingOfLiveName, i as WIRE_NAME_PREFIX_MAX_BYTES, l as computeIndexContentHash, m as namingOf, n as IndexContentHashParts, o as assertWireNamePrefixLength, p as nameOf, r as SqlObjectNaming, s as composeCheckWirePrefix, t as CheckKind, u as defaultIndexName, v as parseNaming, y as parseWireName } from "./naming-BcD36g9T-Mfe_xGGL.mjs";
 export { type CheckKind, type IndexContentHashParts, type SqlObjectNaming, WIRE_NAME_PREFIX_MAX_BYTES, type WireName, assertWireNamePrefixLength, composeCheckWirePrefix, computeCheckContentHash, computeIndexContentHash, defaultIndexName, derivedCheckPrefixes, formatWireName, nameOf, namingOf, namingOfLiveName, normalizeIndexOptionValue, normalizeSqlBody, parseNaming, parseWireName, truncateToWireNamePrefixBytes };

package/dist/schema-ir__naming.mjs

@@ -1,2 +1,2 @@
-import { a as computeIndexContentHash, c as formatWireName, d as namingOfLiveName, f as normalizeIndexOptionValue, g as truncateToWireNamePrefixBytes, h as parseWireName, i as computeCheckContentHash, l as nameOf, m as parseNaming, n as assertWireNamePrefixLength, o as defaultIndexName, p as normalizeSqlBody, r as composeCheckWirePrefix, s as derivedCheckPrefixes, t as WIRE_NAME_PREFIX_MAX_BYTES, u as namingOf } from "./naming-DKr4TJd7-Cszhq9RV.mjs";
+import { a as computeIndexContentHash, c as formatWireName, d as namingOfLiveName, f as normalizeIndexOptionValue, g as truncateToWireNamePrefixBytes, h as parseWireName, i as computeCheckContentHash, l as nameOf, m as parseNaming, n as assertWireNamePrefixLength, o as defaultIndexName, p as normalizeSqlBody, r as composeCheckWirePrefix, s as derivedCheckPrefixes, t as WIRE_NAME_PREFIX_MAX_BYTES, u as namingOf } from "./naming-bM5qm5PY-jOg3JFMb.mjs";
 export { WIRE_NAME_PREFIX_MAX_BYTES, assertWireNamePrefixLength, composeCheckWirePrefix, computeCheckContentHash, computeIndexContentHash, defaultIndexName, derivedCheckPrefixes, formatWireName, nameOf, namingOf, namingOfLiveName, normalizeIndexOptionValue, normalizeSqlBody, parseNaming, parseWireName, truncateToWireNamePrefixBytes };

package/dist/schema-ir__types.d.mts

@@ -1,3 +1,3 @@
-import { C as SqlUniqueIR, D as relationalNodeEntityKind, E as defineNonEnumerable, O as relationalNodeGranularity, S as SqlTypeMetadataRegistry, T as assertNode, _ as SqlSchemaIRInput, a as SqlCheckConstraintIR, b as SqlTableIRInput, c as SqlColumnDefaultIRInput, d as SqlForeignKeyIR, f as SqlForeignKeyIRInput, g as SqlSchemaIR, h as SqlReferentialAction, i as SqlAnnotations, l as SqlColumnIR, m as SqlIndexIRInput, n as PrimaryKeyInput, o as SqlCheckConstraintIRInput, p as SqlIndexIR, r as RelationalSchemaNodeKind, s as SqlColumnDefaultIR, t as PrimaryKey, u as SqlColumnIRInput, v as SqlSchemaIRNode, w as SqlUniqueIRInput, x as SqlTypeMetadata, y as SqlTableIR } from "./types-YStFFkKs-D9UAmnON.mjs";
-import "./types-Dwcw0F8X.mjs";
-export { PrimaryKey, type PrimaryKeyInput, RelationalSchemaNodeKind, type SqlAnnotations, SqlCheckConstraintIR, type SqlCheckConstraintIRInput, SqlColumnDefaultIR, type SqlColumnDefaultIRInput, SqlColumnIR, type SqlColumnIRInput, SqlForeignKeyIR, type SqlForeignKeyIRInput, SqlIndexIR, type SqlIndexIRInput, type SqlReferentialAction, SqlSchemaIR, type SqlSchemaIRInput, SqlSchemaIRNode, SqlTableIR, type SqlTableIRInput, type SqlTypeMetadata, type SqlTypeMetadataRegistry, SqlUniqueIR, type SqlUniqueIRInput, assertNode, defineNonEnumerable, relationalNodeEntityKind, relationalNodeGranularity };
+import { A as relationalNodeGranularity, C as SqlTableIR, D as assertNode, E as SqlUniqueIRInput, M as sqlDefaultValuesEqual, O as defineNonEnumerable, S as SqlSchemaIRNode, T as SqlUniqueIR, _ as SqlIndexIR, a as SqlAnnotations, b as SqlSchemaIR, c as SqlColumnDefaultIR, d as SqlColumnIRInput, f as SqlColumnType, g as SqlForeignKeyIRInput, h as SqlForeignKeyIR, i as ReportedSqlType, j as sqlColumnTypesEqual, k as relationalNodeEntityKind, l as SqlColumnDefaultIRInput, m as SqlExpressionLiteralFor, n as PrimaryKeyInput, o as SqlCheckConstraintIR, p as SqlDefaultValue, r as RelationalSchemaNodeKind, s as SqlCheckConstraintIRInput, t as PrimaryKey, u as SqlColumnIR, v as SqlIndexIRInput, w as SqlTableIRInput, x as SqlSchemaIRInput, y as SqlReferentialAction } from "./types-CuCxAQat-Dz8P4xyt.mjs";
+import "./types-ljUNyiWe.mjs";
+export { PrimaryKey, type PrimaryKeyInput, RelationalSchemaNodeKind, type ReportedSqlType, type SqlAnnotations, SqlCheckConstraintIR, type SqlCheckConstraintIRInput, SqlColumnDefaultIR, type SqlColumnDefaultIRInput, SqlColumnIR, type SqlColumnIRInput, type SqlColumnType, type SqlDefaultValue, type SqlExpressionLiteralFor, SqlForeignKeyIR, type SqlForeignKeyIRInput, SqlIndexIR, type SqlIndexIRInput, type SqlReferentialAction, SqlSchemaIR, type SqlSchemaIRInput, SqlSchemaIRNode, SqlTableIR, type SqlTableIRInput, SqlUniqueIR, type SqlUniqueIRInput, assertNode, defineNonEnumerable, relationalNodeEntityKind, relationalNodeGranularity, sqlColumnTypesEqual, sqlDefaultValuesEqual };

package/dist/schema-ir__types.mjs

@@ -1,2 +1,2 @@
-import { a as SqlColumnIR, c as SqlSchemaIR, d as SqlUniqueIR, f as assertNode, h as relationalNodeGranularity, i as SqlColumnDefaultIR, l as SqlSchemaIRNode, m as relationalNodeEntityKind, n as RelationalSchemaNodeKind, o as SqlForeignKeyIR, p as defineNonEnumerable, r as SqlCheckConstraintIR, s as SqlIndexIR, t as PrimaryKey, u as SqlTableIR } from "./types-4YenawkP-CwaaZSid.mjs";
-export { PrimaryKey, RelationalSchemaNodeKind, SqlCheckConstraintIR, SqlColumnDefaultIR, SqlColumnIR, SqlForeignKeyIR, SqlIndexIR, SqlSchemaIR, SqlSchemaIRNode, SqlTableIR, SqlUniqueIR, assertNode, defineNonEnumerable, relationalNodeEntityKind, relationalNodeGranularity };
+import { _ as sqlDefaultValuesEqual, a as SqlColumnIR, c as SqlSchemaIR, d as SqlUniqueIR, f as assertNode, g as sqlColumnTypesEqual, h as relationalNodeGranularity, i as SqlColumnDefaultIR, l as SqlSchemaIRNode, m as relationalNodeEntityKind, n as RelationalSchemaNodeKind, o as SqlForeignKeyIR, p as defineNonEnumerable, r as SqlCheckConstraintIR, s as SqlIndexIR, t as PrimaryKey, u as SqlTableIR } from "./types-DoyiTsjg-2YMhMJDA.mjs";
+export { PrimaryKey, RelationalSchemaNodeKind, SqlCheckConstraintIR, SqlColumnDefaultIR, SqlColumnIR, SqlForeignKeyIR, SqlIndexIR, SqlSchemaIR, SqlSchemaIRNode, SqlTableIR, SqlUniqueIR, assertNode, defineNonEnumerable, relationalNodeEntityKind, relationalNodeGranularity, sqlColumnTypesEqual, sqlDefaultValuesEqual };

package/dist/{schema-verify-C_PEdlAr-Dxxjm6EM.mjs → schema-verify-C3wbdviw-DMjIubOr.mjs}

@@ -1,12 +1,16 @@
-import { l as isStorageTypeInstance } from "./types-CUsJrvEl.mjs";
-import { effectiveControlPolicy } from "@prisma/orm-framework/contract/types";
+import { n as isSqlDataType, t as findSqlDataTypeCollision } from "./sql-data-type-D7M-YTTY-D2vRqDxn.mjs";
+import { i as assertNothingCastsFromSqlExpression } from "./sql-expression-CKgKznXS.mjs";
+import { u as isStorageTypeInstance } from "./types-CTdSkl0s.mjs";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
 import { blindCast } from "@prisma/orm-framework/utils/casts";
-import { assertUniqueCodecOwner, dispositionForCategory, issueOutcome } from "@prisma/orm-framework/components/control";
-//#region ../../../2-sql/9-family/dist/schema-verify-C_PEdlAr.mjs
+import { InternalError } from "@prisma/orm-framework/utils/internal-error";
+import { effectiveControlPolicy } from "@prisma/orm-framework/contract/types";
+import { runtimeError } from "@prisma/orm-framework/components/components";
+import { VERIFY_CODE_SCHEMA_FAILURE, assertUniqueCodecOwner, dispositionForCategory, issueOutcome } from "@prisma/orm-framework/components/control";
+//#region ../../../2-sql-family/9-family/dist/schema-verify-C3wbdviw.mjs
 function hasCodecControlHooks(descriptor) {
 	if (typeof descriptor !== "object" || descriptor === null) return false;
-	const hooks = descriptor.types?.codecTypes?.controlPlaneHooks;
+	const hooks = blindCast(descriptor).types?.codecTypes?.controlPlaneHooks;
 	return hooks !== null && hooks !== void 0 && typeof hooks === "object";
 }
 function extractCodecControlHooks(descriptors) {
@@ -31,6 +35,44 @@ function extractCodecControlHooks(descriptors) {
 	return hooks;
 }
 /**
+* The SQL family's checks of the stack's data types and codecs, each naming the contributor:
+* no two SQL data types would both recognise one reported type, by colliding claiming texts or by
+* claiming the same kind; no data type casts from `sql/expression`; every type stored as another
+* names a registered SQL data type; and every codec represents a
+* SQL data type, because a codec represents a column's type and `sql/expression` is the one data
+* type no column has.
+*/
+function enforceSqlDataTypeInvariants(declaredDataTypes, codecDescriptors) {
+	const declaredById = new Map(declaredDataTypes.map((declared) => [declared.type.id, declared]));
+	const capitalized = (text) => `${text.charAt(0).toUpperCase()}${text.slice(1)}`;
+	const describe = (type) => `data type "${type.id}" contributed by "${declaredById.get(type.id)?.contributedBy ?? "<unknown>"}"`;
+	const collision = findSqlDataTypeCollision(declaredDataTypes.map(({ type }) => type));
+	if (collision !== void 0) {
+		const { first, second, claims } = collision;
+		if (claims.by === "kind") throw new InternalError(`The ${describe(first)} and the ${describe(second)} both claim the kind "${claims.kind}".`);
+		throw new InternalError(`The ${describe(first)} claims the text "${claims.first}", which collides with the text "${claims.second}" claimed by the ${describe(second)}.`);
+	}
+	assertNothingCastsFromSqlExpression(declaredDataTypes);
+	for (const { type, contributedBy } of declaredDataTypes) {
+		if (!isSqlDataType(type) || type.sql.storedAs === void 0) continue;
+		const storage = declaredById.get(type.sql.storedAs)?.type;
+		if (storage !== void 0 && isSqlDataType(storage)) {
+			const further = storage.sql.storedAs;
+			if (further === void 0) continue;
+			throw new InternalError(`${capitalized(describe(type))} is stored as "${storage.id}", which is itself stored as "${further}". Name "${further}" as the type it is stored as.`);
+		}
+		throw runtimeError("CONTRACT.DATA_TYPE_UNREGISTERED", `Data type "${type.id}" is stored as data type "${type.sql.storedAs}", which no component registers. Contributed by "${contributedBy}".`, {
+			dataType: type.sql.storedAs,
+			contributedBy
+		});
+	}
+	for (const codec of codecDescriptors) {
+		const represented = declaredById.get(codec.dataType)?.type;
+		if (represented === void 0 || isSqlDataType(represented)) continue;
+		throw new InternalError(`Codec "${codec.codecId}" represents ${describe(represented)}, which is not a SQL data type. In a SQL stack a codec represents a column's type, so its data type is declared with sqlDataType.`);
+	}
+}
+/**
 * Classifies a codec `verifyType` hook finding into the target-neutral
 * categories the framework grades. A storage type is a named type instance
 * (e.g. a native enum); the only shape divergence it can carry is a change
@@ -196,7 +238,7 @@ function verifySqlSchemaByDiff(input) {
 	const profileHash = "profileHash" in input.contract && typeof input.contract.profileHash === "string" ? input.contract.profileHash : void 0;
 	return {
 		ok,
-		...ok ? {} : { code: "CONTRACT.SCHEMA_VERIFICATION_FAILED" },
+		...ok ? {} : { code: VERIFY_CODE_SCHEMA_FAILURE },
 		summary: ok ? "Database schema satisfies contract" : `Database schema does not satisfy contract (${failCount} failure${failCount === 1 ? "" : "s"})`,
 		contract: {
 			storageHash: input.contract.storage.storageHash,
@@ -215,6 +257,6 @@ function verifySqlSchemaByDiff(input) {
 	};
 }
 //#endregion
-export { computeStorageTypeVerdict as a, computeSqlDiffVerdict as i, classifyDiffSubjectGranularity as n, extractCodecControlHooks as o, classifySqlDiffIssue as r, verifySqlSchemaByDiff as s, classifyDiffEntityKind as t };
+export { computeStorageTypeVerdict as a, verifySqlSchemaByDiff as c, computeSqlDiffVerdict as i, classifyDiffSubjectGranularity as n, enforceSqlDataTypeInvariants as o, classifySqlDiffIssue as r, extractCodecControlHooks as s, classifyDiffEntityKind as t };
 
-//# sourceMappingURL=schema-verify-C_PEdlAr-Dxxjm6EM.mjs.map
+//# sourceMappingURL=schema-verify-C3wbdviw-DMjIubOr.mjs.map

package/dist/schema-verify-C3wbdviw-DMjIubOr.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-verify-C3wbdviw-DMjIubOr.mjs","names":[],"sources":["../../../../2-sql-family/9-family/dist/schema-verify-C3wbdviw.mjs"],"sourcesContent":["import { findSqlDataTypeCollision, isSqlDataType } from \"@internal/sql-contract/data-type\";\nimport { assertNothingCastsFromSqlExpression } from \"@internal/sql-contract/sql-expression\";\nimport { VERIFY_CODE_SCHEMA_FAILURE, assertUniqueCodecOwner, dispositionForCategory, issueOutcome } from \"@internal/framework-components/control\";\nimport { blindCast } from \"@internal/utils/casts\";\nimport { ifDefined } from \"@internal/utils/defined\";\nimport { InternalError } from \"@internal/utils/internal-error\";\nimport { runtimeError } from \"@internal/framework-components/components\";\nimport { isStorageTypeInstance } from \"@internal/sql-contract/types\";\nimport { effectiveControlPolicy } from \"@internal/contract/types\";\n//#region src/core/assembly.ts\nfunction hasCodecControlHooks(descriptor) {\n\tif (typeof descriptor !== \"object\" || descriptor === null) return false;\n\tconst hooks = blindCast(descriptor).types?.codecTypes?.controlPlaneHooks;\n\treturn hooks !== null && hooks !== void 0 && typeof hooks === \"object\";\n}\nfunction extractCodecControlHooks(descriptors) {\n\tconst hooks = /* @__PURE__ */ new Map();\n\tconst owners = /* @__PURE__ */ new Map();\n\tfor (const descriptor of descriptors) {\n\t\tif (typeof descriptor !== \"object\" || descriptor === null) continue;\n\t\tif (!hasCodecControlHooks(descriptor)) continue;\n\t\tconst controlPlaneHooks = descriptor.types.codecTypes.controlPlaneHooks;\n\t\tfor (const [codecId, hook] of Object.entries(controlPlaneHooks)) {\n\t\t\tassertUniqueCodecOwner({\n\t\t\t\tcodecId,\n\t\t\t\towners,\n\t\t\t\tdescriptorId: descriptor.id,\n\t\t\t\tentityLabel: \"control hooks\",\n\t\t\t\tentityOwnershipLabel: \"owner\"\n\t\t\t});\n\t\t\thooks.set(codecId, hook);\n\t\t\towners.set(codecId, descriptor.id);\n\t\t}\n\t}\n\treturn hooks;\n}\n/**\n* The SQL family's checks of the stack's data types and codecs, each naming the contributor:\n* no two SQL data types would both recognise one reported type, by colliding claiming texts or by\n* claiming the same kind; no data type casts from `sql/expression`; every type stored as another\n* names a registered SQL data type; and every codec represents a\n* SQL data type, because a codec represents a column's type and `sql/expression` is the one data\n* type no column has.\n*/\nfunction enforceSqlDataTypeInvariants(declaredDataTypes, codecDescriptors) {\n\tconst declaredById = new Map(declaredDataTypes.map((declared) => [declared.type.id, declared]));\n\tconst capitalized = (text) => `${text.charAt(0).toUpperCase()}${text.slice(1)}`;\n\tconst describe = (type) => `data type \"${type.id}\" contributed by \"${declaredById.get(type.id)?.contributedBy ?? \"<unknown>\"}\"`;\n\tconst collision = findSqlDataTypeCollision(declaredDataTypes.map(({ type }) => type));\n\tif (collision !== void 0) {\n\t\tconst { first, second, claims } = collision;\n\t\tif (claims.by === \"kind\") throw new InternalError(`The ${describe(first)} and the ${describe(second)} both claim the kind \"${claims.kind}\".`);\n\t\tthrow new InternalError(`The ${describe(first)} claims the text \"${claims.first}\", which collides with the text \"${claims.second}\" claimed by the ${describe(second)}.`);\n\t}\n\tassertNothingCastsFromSqlExpression(declaredDataTypes);\n\tfor (const { type, contributedBy } of declaredDataTypes) {\n\t\tif (!isSqlDataType(type) || type.sql.storedAs === void 0) continue;\n\t\tconst storage = declaredById.get(type.sql.storedAs)?.type;\n\t\tif (storage !== void 0 && isSqlDataType(storage)) {\n\t\t\tconst further = storage.sql.storedAs;\n\t\t\tif (further === void 0) continue;\n\t\t\tthrow new InternalError(`${capitalized(describe(type))} is stored as \"${storage.id}\", which is itself stored as \"${further}\". Name \"${further}\" as the type it is stored as.`);\n\t\t}\n\t\tthrow runtimeError(\"CONTRACT.DATA_TYPE_UNREGISTERED\", `Data type \"${type.id}\" is stored as data type \"${type.sql.storedAs}\", which no component registers. Contributed by \"${contributedBy}\".`, {\n\t\t\tdataType: type.sql.storedAs,\n\t\t\tcontributedBy\n\t\t});\n\t}\n\tfor (const codec of codecDescriptors) {\n\t\tconst represented = declaredById.get(codec.dataType)?.type;\n\t\tif (represented === void 0 || isSqlDataType(represented)) continue;\n\t\tthrow new InternalError(`Codec \"${codec.codecId}\" represents ${describe(represented)}, which is not a SQL data type. In a SQL stack a codec represents a column's type, so its data type is declared with sqlDataType.`);\n\t}\n}\n//#endregion\n//#region src/core/diff/verifier-disposition.ts\n/**\n* Classifies a codec `verifyType` hook finding into the target-neutral\n* categories the framework grades. A storage type is a named type instance\n* (e.g. a native enum); the only shape divergence it can carry is a change\n* to its value set, so a paired mismatch always classifies as `valueDrift`.\n*/\nfunction classifyStorageTypeDiffIssue(issue) {\n\tif (issueOutcome(issue) === \"not-found\") return \"declaredMissing\";\n\tif (issueOutcome(issue) === \"not-expected\") return \"extraAuxiliary\";\n\treturn \"valueDrift\";\n}\nfunction verifierDisposition(controlPolicy, issue) {\n\treturn dispositionForCategory(controlPolicy, classifyStorageTypeDiffIssue(issue));\n}\n//#endregion\n//#region src/core/diff/schema-verify.ts\nfunction issueNode(issue) {\n\tconst node = issue.expected ?? issue.actual;\n\tif (node === void 0) return void 0;\n\treturn blindCast(node);\n}\n/**\n* Resolves an issue's framework-neutral {@link DiffSubjectGranularity} on\n* demand, from the issue's node's `nodeKind` via the target-provided\n* `granularityOf` map. The node carries only its `nodeKind` identity, never a\n* classification, and nothing is stamped onto the issue — every consumer\n* (the family verdict below, the framework aggregate's unclaimed-elements\n* sweep via {@link import('@internal/framework-components/control').SchemaSubjectClassifierCapable})\n* calls this the same way, resolved by the family/target that owns the node\n* vocabulary. `undefined` for an issue with no node.\n*/\nfunction classifyDiffSubjectGranularity(issue, granularityOf) {\n\tconst node = issueNode(issue);\n\treturn node === void 0 ? void 0 : granularityOf(node.nodeKind);\n}\n/**\n* Resolves an issue's storage `entityKind` on demand, from the issue's\n* node's `nodeKind` via the target-provided `entityKindOf` map — the sibling\n* of {@link classifyDiffSubjectGranularity}, called the same way by the same\n* consumers (via\n* {@link import('@internal/framework-components/control').SchemaSubjectClassifierCapable}).\n* `undefined` for an issue with no node, or for a node kind with no storage\n* entity of its own.\n*/\nfunction classifyDiffEntityKind(issue, entityKindOf) {\n\tconst node = issueNode(issue);\n\treturn node === void 0 ? void 0 : entityKindOf(node.nodeKind);\n}\n/**\n* Re-keys the legacy `classifySqlVerifierIssueKind` category mapping on the\n* issue's {@link DiffSubjectGranularity} (resolved via `granularityOf`) + the\n* issue reason. The vocabulary maps one-to-one: an undeclared live entity or\n* namespace is `extraTopLevelObject`, an undeclared live field\n* `extraNestedElement`, undeclared auxiliaries (constraints, indexes,\n* defaults) and structural leaves (policies) `extraAuxiliary`; every paired\n* divergence is `declaredIncompatible`; anything the database lacks is\n* `declaredMissing`.\n* `granularityOf` is the target's classifier, so target and extension node\n* kinds classify without the family importing them.\n*/\nfunction classifySqlDiffIssue(issue, granularityOf) {\n\tif (issueOutcome(issue) === \"not-found\") return \"declaredMissing\";\n\tif (issueOutcome(issue) === \"not-expected\") {\n\t\tconst granularity = classifyDiffSubjectGranularity(issue, granularityOf);\n\t\tif (granularity === \"entity\" || granularity === \"namespace\") return \"extraTopLevelObject\";\n\t\tif (granularity === \"field\") return \"extraNestedElement\";\n\t\treturn \"extraAuxiliary\";\n\t}\n\treturn \"declaredIncompatible\";\n}\n/**\n* Whether a `not-expected` issue is a strict-mode-only finding. The legacy\n* walk detected every relational extra (namespaces, entities, fields, and\n* their auxiliaries) only under `--strict`; the structural diff (roots, RLS\n* policies, roles) was never strict-gated — its extras fail in both modes.\n* Keyed on the issue's granularity, resolved via `granularityOf`.\n*/\nfunction isStrictOnlyExtra(issue, granularityOf) {\n\tconst granularity = classifyDiffSubjectGranularity(issue, granularityOf);\n\treturn granularity === \"namespace\" || granularity === \"entity\" || granularity === \"field\" || granularity === \"auxiliary\";\n}\n/**\n* Applies the two consumer filters to a diff issue list: strict gating\n* (relational `not-expected` findings drop in lenient mode) and\n* control-policy disposition (each surviving issue grades against its\n* subject table's effective policy; suppressed issues drop, `observed`\n* subjects warn). The verify verdict is `failures.length === 0`.\n*/\nfunction computeSqlDiffVerdict(input) {\n\tconst failures = [];\n\tconst warnings = [];\n\tfor (const issue of input.issues) {\n\t\tif (!input.strict && issueOutcome(issue) === \"not-expected\" && isStrictOnlyExtra(issue, input.granularityOf)) continue;\n\t\tconst disposition = dispositionForCategory(effectiveControlPolicy(input.resolveControlPolicy(issue), input.defaultControlPolicy), classifySqlDiffIssue(issue, input.granularityOf));\n\t\tif (disposition === \"suppress\") continue;\n\t\tif (disposition === \"warn\") {\n\t\t\twarnings.push(issue);\n\t\t\tcontinue;\n\t\t}\n\t\tfailures.push(issue);\n\t}\n\treturn {\n\t\tfailures,\n\t\twarnings\n\t};\n}\nfunction computeStorageTypeVerdict(input) {\n\tconst failures = [];\n\tconst warnings = [];\n\tconst policy = effectiveControlPolicy(void 0, input.contract.defaultControlPolicy);\n\tfor (const pair of input.namespacePairs) {\n\t\tif (pair.actual === void 0) continue;\n\t\tfor (const [typeName, typeInstance] of Object.entries(input.contract.storage.types ?? {})) {\n\t\t\tif (!isStorageTypeInstance(typeInstance)) continue;\n\t\t\tconst hook = input.codecHooks.get(typeInstance.codecId);\n\t\t\tif (!hook?.verifyType) continue;\n\t\t\tconst typeIssues = hook.verifyType({\n\t\t\t\ttypeName,\n\t\t\t\ttypeInstance,\n\t\t\t\tschema: pair.actual\n\t\t\t});\n\t\t\tfor (const issue of typeIssues) {\n\t\t\t\tconst disposition = verifierDisposition(policy, issue);\n\t\t\t\tif (disposition === \"suppress\") continue;\n\t\t\t\tif (disposition === \"warn\") {\n\t\t\t\t\twarnings.push(issue);\n\t\t\t\t\tcontinue;\n\t\t\t\t}\n\t\t\t\tfailures.push(issue);\n\t\t\t}\n\t\t}\n\t}\n\treturn {\n\t\tfailures,\n\t\twarnings\n\t};\n}\n/**\n* THE SQL schema verify: runs the target's full-tree node diff, grades it\n* through the family's post-diff filters (strict gating + control-policy\n* disposition) plus the codec `verifyType` hook findings, and wraps the\n* verdict in the issue-based result envelope. `ok` holds exactly when both\n* issue lists are empty — the lists carry the verdict's failures.\n*/\nfunction verifySqlSchemaByDiff(input) {\n\tconst startTime = Date.now();\n\tconst verdictDiff = input.diffSchema({\n\t\tcontract: input.contract,\n\t\tschema: input.schema,\n\t\tframeworkComponents: input.frameworkComponents\n\t});\n\tconst diffVerdict = computeSqlDiffVerdict({\n\t\tissues: verdictDiff.issues,\n\t\tresolveControlPolicy: verdictDiff.resolveControlPolicy,\n\t\tstrict: input.strict,\n\t\tdefaultControlPolicy: input.contract.defaultControlPolicy,\n\t\tgranularityOf: input.granularityOf\n\t});\n\tconst storageTypeVerdict = computeStorageTypeVerdict({\n\t\tcontract: input.contract,\n\t\tnamespacePairs: verdictDiff.namespacePairs,\n\t\tcodecHooks: extractCodecControlHooks(input.frameworkComponents)\n\t});\n\tconst failCount = diffVerdict.failures.length + storageTypeVerdict.failures.length;\n\tconst ok = failCount === 0;\n\tconst profileHash = \"profileHash\" in input.contract && typeof input.contract.profileHash === \"string\" ? input.contract.profileHash : void 0;\n\treturn {\n\t\tok,\n\t\t...ok ? {} : { code: VERIFY_CODE_SCHEMA_FAILURE },\n\t\tsummary: ok ? \"Database schema satisfies contract\" : `Database schema does not satisfy contract (${failCount} failure${failCount === 1 ? \"\" : \"s\"})`,\n\t\tcontract: {\n\t\t\tstorageHash: input.contract.storage.storageHash,\n\t\t\t...ifDefined(\"profileHash\", profileHash)\n\t\t},\n\t\ttarget: {\n\t\t\texpected: input.contract.target,\n\t\t\tactual: input.contract.target\n\t\t},\n\t\tschema: {\n\t\t\tissues: [...diffVerdict.failures, ...storageTypeVerdict.failures],\n\t\t\twarnings: { issues: [...diffVerdict.warnings, ...storageTypeVerdict.warnings] }\n\t\t},\n\t\tmeta: { strict: input.strict },\n\t\ttimings: { total: Date.now() - startTime }\n\t};\n}\n//#endregion\nexport { computeStorageTypeVerdict as a, extractCodecControlHooks as c, computeSqlDiffVerdict as i, classifyDiffSubjectGranularity as n, verifySqlSchemaByDiff as o, classifySqlDiffIssue as r, enforceSqlDataTypeInvariants as s, classifyDiffEntityKind as t };\n\n//# sourceMappingURL=schema-verify-C3wbdviw.mjs.map"],"mappings":";;;;;;;;;;AAUA,SAAS,qBAAqB,YAAY;CACzC,IAAI,OAAO,eAAe,YAAY,eAAe,MAAM,OAAO;CAClE,MAAM,QAAQ,UAAU,UAAU,CAAC,CAAC,OAAO,YAAY;CACvD,OAAO,UAAU,QAAQ,UAAU,KAAK,KAAK,OAAO,UAAU;AAC/D;AACA,SAAS,yBAAyB,aAAa;CAC9C,MAAM,wBAAwB,IAAI,IAAI;CACtC,MAAM,yBAAyB,IAAI,IAAI;CACvC,KAAK,MAAM,cAAc,aAAa;EACrC,IAAI,OAAO,eAAe,YAAY,eAAe,MAAM;EAC3D,IAAI,CAAC,qBAAqB,UAAU,GAAG;EACvC,MAAM,oBAAoB,WAAW,MAAM,WAAW;EACtD,KAAK,MAAM,CAAC,SAAS,SAAS,OAAO,QAAQ,iBAAiB,GAAG;GAChE,uBAAuB;IACtB;IACA;IACA,cAAc,WAAW;IACzB,aAAa;IACb,sBAAsB;GACvB,CAAC;GACD,MAAM,IAAI,SAAS,IAAI;GACvB,OAAO,IAAI,SAAS,WAAW,EAAE;EAClC;CACD;CACA,OAAO;AACR;;;;;;;;;AASA,SAAS,6BAA6B,mBAAmB,kBAAkB;CAC1E,MAAM,eAAe,IAAI,IAAI,kBAAkB,KAAK,aAAa,CAAC,SAAS,KAAK,IAAI,QAAQ,CAAC,CAAC;CAC9F,MAAM,eAAe,SAAS,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,KAAK,MAAM,CAAC;CAC5E,MAAM,YAAY,SAAS,cAAc,KAAK,GAAG,oBAAoB,aAAa,IAAI,KAAK,EAAE,CAAC,EAAE,iBAAiB,YAAY;CAC7H,MAAM,YAAY,yBAAyB,kBAAkB,KAAK,EAAE,WAAW,IAAI,CAAC;CACpF,IAAI,cAAc,KAAK,GAAG;EACzB,MAAM,EAAE,OAAO,QAAQ,WAAW;EAClC,IAAI,OAAO,OAAO,QAAQ,MAAM,IAAI,cAAc,OAAO,SAAS,KAAK,EAAE,WAAW,SAAS,MAAM,EAAE,wBAAwB,OAAO,KAAK,GAAG;EAC5I,MAAM,IAAI,cAAc,OAAO,SAAS,KAAK,EAAE,oBAAoB,OAAO,MAAM,mCAAmC,OAAO,OAAO,mBAAmB,SAAS,MAAM,EAAE,EAAE;CACxK;CACA,oCAAoC,iBAAiB;CACrD,KAAK,MAAM,EAAE,MAAM,mBAAmB,mBAAmB;EACxD,IAAI,CAAC,cAAc,IAAI,KAAK,KAAK,IAAI,aAAa,KAAK,GAAG;EAC1D,MAAM,UAAU,aAAa,IAAI,KAAK,IAAI,QAAQ,CAAC,EAAE;EACrD,IAAI,YAAY,KAAK,KAAK,cAAc,OAAO,GAAG;GACjD,MAAM,UAAU,QAAQ,IAAI;GAC5B,IAAI,YAAY,KAAK,GAAG;GACxB,MAAM,IAAI,cAAc,GAAG,YAAY,SAAS,IAAI,CAAC,EAAE,iBAAiB,QAAQ,GAAG,gCAAgC,QAAQ,WAAW,QAAQ,+BAA+B;EAC9K;EACA,MAAM,aAAa,mCAAmC,cAAc,KAAK,GAAG,4BAA4B,KAAK,IAAI,SAAS,mDAAmD,cAAc,KAAK;GAC/L,UAAU,KAAK,IAAI;GACnB;EACD,CAAC;CACF;CACA,KAAK,MAAM,SAAS,kBAAkB;EACrC,MAAM,cAAc,aAAa,IAAI,MAAM,QAAQ,CAAC,EAAE;EACtD,IAAI,gBAAgB,KAAK,KAAK,cAAc,WAAW,GAAG;EAC1D,MAAM,IAAI,cAAc,UAAU,MAAM,QAAQ,eAAe,SAAS,WAAW,EAAE,kIAAkI;CACxN;AACD;;;;;;;AASA,SAAS,6BAA6B,OAAO;CAC5C,IAAI,aAAa,KAAK,MAAM,aAAa,OAAO;CAChD,IAAI,aAAa,KAAK,MAAM,gBAAgB,OAAO;CACnD,OAAO;AACR;AACA,SAAS,oBAAoB,eAAe,OAAO;CAClD,OAAO,uBAAuB,eAAe,6BAA6B,KAAK,CAAC;AACjF;AAGA,SAAS,UAAU,OAAO;CACzB,MAAM,OAAO,MAAM,YAAY,MAAM;CACrC,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;CACjC,OAAO,UAAU,IAAI;AACtB;;;;;;;;;;;AAWA,SAAS,+BAA+B,OAAO,eAAe;CAC7D,MAAM,OAAO,UAAU,KAAK;CAC5B,OAAO,SAAS,KAAK,IAAI,KAAK,IAAI,cAAc,KAAK,QAAQ;AAC9D;;;;;;;;;;AAUA,SAAS,uBAAuB,OAAO,cAAc;CACpD,MAAM,OAAO,UAAU,KAAK;CAC5B,OAAO,SAAS,KAAK,IAAI,KAAK,IAAI,aAAa,KAAK,QAAQ;AAC7D;;;;;;;;;;;;;AAaA,SAAS,qBAAqB,OAAO,eAAe;CACnD,IAAI,aAAa,KAAK,MAAM,aAAa,OAAO;CAChD,IAAI,aAAa,KAAK,MAAM,gBAAgB;EAC3C,MAAM,cAAc,+BAA+B,OAAO,aAAa;EACvE,IAAI,gBAAgB,YAAY,gBAAgB,aAAa,OAAO;EACpE,IAAI,gBAAgB,SAAS,OAAO;EACpC,OAAO;CACR;CACA,OAAO;AACR;;;;;;;;AAQA,SAAS,kBAAkB,OAAO,eAAe;CAChD,MAAM,cAAc,+BAA+B,OAAO,aAAa;CACvE,OAAO,gBAAgB,eAAe,gBAAgB,YAAY,gBAAgB,WAAW,gBAAgB;AAC9G;;;;;;;;AAQA,SAAS,sBAAsB,OAAO;CACrC,MAAM,WAAW,CAAC;CAClB,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,SAAS,MAAM,QAAQ;EACjC,IAAI,CAAC,MAAM,UAAU,aAAa,KAAK,MAAM,kBAAkB,kBAAkB,OAAO,MAAM,aAAa,GAAG;EAC9G,MAAM,cAAc,uBAAuB,uBAAuB,MAAM,qBAAqB,KAAK,GAAG,MAAM,oBAAoB,GAAG,qBAAqB,OAAO,MAAM,aAAa,CAAC;EAClL,IAAI,gBAAgB,YAAY;EAChC,IAAI,gBAAgB,QAAQ;GAC3B,SAAS,KAAK,KAAK;GACnB;EACD;EACA,SAAS,KAAK,KAAK;CACpB;CACA,OAAO;EACN;EACA;CACD;AACD;AACA,SAAS,0BAA0B,OAAO;CACzC,MAAM,WAAW,CAAC;CAClB,MAAM,WAAW,CAAC;CAClB,MAAM,SAAS,uBAAuB,KAAK,GAAG,MAAM,SAAS,oBAAoB;CACjF,KAAK,MAAM,QAAQ,MAAM,gBAAgB;EACxC,IAAI,KAAK,WAAW,KAAK,GAAG;EAC5B,KAAK,MAAM,CAAC,UAAU,iBAAiB,OAAO,QAAQ,MAAM,SAAS,QAAQ,SAAS,CAAC,CAAC,GAAG;GAC1F,IAAI,CAAC,sBAAsB,YAAY,GAAG;GAC1C,MAAM,OAAO,MAAM,WAAW,IAAI,aAAa,OAAO;GACtD,IAAI,CAAC,MAAM,YAAY;GACvB,MAAM,aAAa,KAAK,WAAW;IAClC;IACA;IACA,QAAQ,KAAK;GACd,CAAC;GACD,KAAK,MAAM,SAAS,YAAY;IAC/B,MAAM,cAAc,oBAAoB,QAAQ,KAAK;IACrD,IAAI,gBAAgB,YAAY;IAChC,IAAI,gBAAgB,QAAQ;KAC3B,SAAS,KAAK,KAAK;KACnB;IACD;IACA,SAAS,KAAK,KAAK;GACpB;EACD;CACD;CACA,OAAO;EACN;EACA;CACD;AACD;;;;;;;;AAQA,SAAS,sBAAsB,OAAO;CACrC,MAAM,YAAY,KAAK,IAAI;CAC3B,MAAM,cAAc,MAAM,WAAW;EACpC,UAAU,MAAM;EAChB,QAAQ,MAAM;EACd,qBAAqB,MAAM;CAC5B,CAAC;CACD,MAAM,cAAc,sBAAsB;EACzC,QAAQ,YAAY;EACpB,sBAAsB,YAAY;EAClC,QAAQ,MAAM;EACd,sBAAsB,MAAM,SAAS;EACrC,eAAe,MAAM;CACtB,CAAC;CACD,MAAM,qBAAqB,0BAA0B;EACpD,UAAU,MAAM;EAChB,gBAAgB,YAAY;EAC5B,YAAY,yBAAyB,MAAM,mBAAmB;CAC/D,CAAC;CACD,MAAM,YAAY,YAAY,SAAS,SAAS,mBAAmB,SAAS;CAC5E,MAAM,KAAK,cAAc;CACzB,MAAM,cAAc,iBAAiB,MAAM,YAAY,OAAO,MAAM,SAAS,gBAAgB,WAAW,MAAM,SAAS,cAAc,KAAK;CAC1I,OAAO;EACN;EACA,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,2BAA2B;EAChD,SAAS,KAAK,uCAAuC,8CAA8C,UAAU,UAAU,cAAc,IAAI,KAAK,IAAI;EAClJ,UAAU;GACT,aAAa,MAAM,SAAS,QAAQ;GACpC,GAAG,UAAU,eAAe,WAAW;EACxC;EACA,QAAQ;GACP,UAAU,MAAM,SAAS;GACzB,QAAQ,MAAM,SAAS;EACxB;EACA,QAAQ;GACP,QAAQ,CAAC,GAAG,YAAY,UAAU,GAAG,mBAAmB,QAAQ;GAChE,UAAU,EAAE,QAAQ,CAAC,GAAG,YAAY,UAAU,GAAG,mBAAmB,QAAQ,EAAE;EAC/E;EACA,MAAM,EAAE,QAAQ,MAAM,OAAO;EAC7B,SAAS,EAAE,OAAO,KAAK,IAAI,IAAI,UAAU;CAC1C;AACD"}

package/dist/{serialized-index-CrgG8ct1-DG3JpHc7.d.mts → serialized-index-CrgG8ct1-DKVJ7TDX.d.mts}

@@ -1,6 +1,6 @@
-import { n as CheckConstraintInput } from "./check-constraint-B7qGu6rc-HvQjjX82.mjs";
-import { n as IndexElements, r as IndexInput } from "./sql-index-ByAAE7K8-DKj2V86p.mjs";
-//#region ../../../2-sql/1-core/contract/dist/serialized-index-CrgG8ct1.d.mts
+import { n as CheckConstraintInput } from "./check-constraint-B7qGu6rc-Bk2ezWXu.mjs";
+import { n as IndexElements, r as IndexInput } from "./sql-index-ByAAE7K8-Dqtn_vUL.mjs";
+//#region ../../../2-sql-family/1-core/contract/dist/serialized-index-CrgG8ct1.d.mts
 //#region src/serialized-check-constraint.d.ts
 /**
  * A check constraint as `contract.json` stores it: full `name`, optional
@@ -41,4 +41,4 @@ type SerializedIndex = IndexElements & {
 declare function indexInputFromSerialized(flat: SerializedIndex): IndexInput;
 //#endregion
 export { indexInputFromSerialized as i, SerializedIndex as n, checkConstraintInputFromSerialized as r, SerializedCheckConstraint as t };
-//# sourceMappingURL=serialized-index-CrgG8ct1-DG3JpHc7.d.mts.map
+//# sourceMappingURL=serialized-index-CrgG8ct1-DKVJ7TDX.d.mts.map

package/dist/serialized-index-CrgG8ct1-DKVJ7TDX.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialized-index-CrgG8ct1-DKVJ7TDX.d.mts","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/serialized-index-CrgG8ct1.d.mts"],"mappings":";;;;;;;;;UAQU;WACC;WACA;WACA;;;;;;iBAMM,mCAAmC,MAAM,4BAA4B;;;;;;;;KAQjF,kBAAkB;WACZ;WACA;WACA;WACA;WACA;WACA,UAAU;;;;;;;;iBAQJ,yBAAyB,MAAM,kBAAkB"}

package/dist/{serialized-index-nBTwanKy-_ddEK4tk.mjs → serialized-index-DjCCnXB1-DMA7BtO2.mjs}

@@ -1,8 +1,8 @@
-import { m as parseNaming } from "./naming-DKr4TJd7-Cszhq9RV.mjs";
-import { o as SqlNode } from "./storage-table-ZzbR-xzQ-BRoTQE_2.mjs";
+import { m as parseNaming } from "./naming-bM5qm5PY-jOg3JFMb.mjs";
+import { o as SqlNode } from "./storage-table-DDvN83mw-DkbBFmK9.mjs";
 import { ContractValidationError } from "@prisma/orm-framework/contract/contract-validation-error";
 import { freezeNode } from "@prisma/orm-framework/components/ir";
-//#region ../../../2-sql/1-core/contract/dist/serialized-index-nBTwanKy.mjs
+//#region ../../../2-sql-family/1-core/contract/dist/serialized-index-DjCCnXB1.mjs
 /**
 * SQL Contract IR node for a value-set entry in a namespace's `valueSet`
 * map (`SqlNamespace.entries.valueSet`).
@@ -71,4 +71,4 @@ function indexInputFromSerialized(flat) {
 //#endregion
 export { isStorageValueSet as i, checkConstraintInputFromSerialized as n, indexInputFromSerialized as r, StorageValueSet as t };
 
-//# sourceMappingURL=serialized-index-nBTwanKy-_ddEK4tk.mjs.map
+//# sourceMappingURL=serialized-index-DjCCnXB1-DMA7BtO2.mjs.map

package/dist/serialized-index-DjCCnXB1-DMA7BtO2.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialized-index-DjCCnXB1-DMA7BtO2.mjs","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/serialized-index-DjCCnXB1.mjs"],"sourcesContent":["import { l as SqlNode } from \"./storage-table-DDvN83mw.mjs\";\nimport { parseNaming } from \"@internal/sql-schema-ir/naming\";\nimport { freezeNode } from \"@internal/framework-components/ir\";\nimport { ContractValidationError } from \"@internal/contract/contract-validation-error\";\n//#region src/ir/storage-value-set.ts\n/**\n* SQL Contract IR node for a value-set entry in a namespace's `valueSet`\n* map (`SqlNamespace.entries.valueSet`).\n*\n* A value-set records the ordered set of permitted codec-encoded values for\n* an enum-like column restriction. It does not carry a `codecId` — the\n* column that references it already holds the codec; the value-set holds\n* only the permitted values.\n*\n* The node's `kind` is enumerable (`'valueSet'`) so the JSON envelope\n* carries the discriminator and the serializer hydration walker can\n* dispatch on it. This follows the per-leaf enumerable-kind convention\n* established in the SQL-node comment (future polymorphic dispatch on\n* namespace entries needs the discriminator in JSON).\n*\n* The entry's name is not on the class — value-sets are keyed by name in\n* the parent namespace's `valueSet: Record<string, StorageValueSet>` map.\n*/\nvar StorageValueSet = class extends SqlNode {\n\tkind = \"valueSet\";\n\tvalues;\n\tconstructor(input) {\n\t\tsuper();\n\t\tthis.values = Object.freeze([...input.values]);\n\t\tfreezeNode(this);\n\t}\n};\nfunction isStorageValueSet(value) {\n\tif (typeof value !== \"object\" || value === null) return false;\n\treturn \"kind\" in value && value.kind === \"valueSet\" && \"values\" in value;\n}\n//#endregion\n//#region src/serialized-check-constraint.ts\n/**\n* Hydrates one stored check constraint into constructor input. `parseNaming`\n* is what rejects a hand-edited file whose `prefix` and `name` disagree.\n*/\nfunction checkConstraintInputFromSerialized(flat) {\n\treturn {\n\t\tnaming: parseNaming(flat.name, flat.prefix),\n\t\texpression: flat.expression\n\t};\n}\n//#endregion\n//#region src/serialized-index.ts\n/**\n* Hydrates one stored index into constructor input. The parameter is typed\n* but the values are whatever the file held, so each field the union depends\n* on is checked here rather than downstream — by the time `Index` sees the\n* data it is already a valid union.\n*/\nfunction indexInputFromSerialized(flat) {\n\tif (flat.name === void 0 || flat.name.length === 0) throw new ContractValidationError(\"Index: every index carries a full physical name; an expression index must be explicitly named (a default name cannot be derived from an expression).\", \"storage\");\n\tif (flat.columns === void 0 === (flat.expression === void 0)) throw new ContractValidationError(`Index \"${flat.name}\": exactly one of columns or expression must be set.`, \"storage\");\n\tconst carried = {\n\t\tnaming: parseNaming(flat.name, flat.prefix),\n\t\twhere: flat.where,\n\t\tunique: flat.unique,\n\t\ttype: flat.type,\n\t\toptions: flat.options\n\t};\n\treturn flat.expression !== void 0 ? {\n\t\t...carried,\n\t\texpression: flat.expression\n\t} : {\n\t\t...carried,\n\t\tcolumns: flat.columns ?? []\n\t};\n}\n//#endregion\nexport { isStorageValueSet as i, checkConstraintInputFromSerialized as n, StorageValueSet as r, indexInputFromSerialized as t };\n\n//# sourceMappingURL=serialized-index-DjCCnXB1.mjs.map"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AAuBA,IAAI,kBAAkB,cAAc,QAAQ;CAC3C,OAAO;CACP;CACA,YAAY,OAAO;EAClB,MAAM;EACN,KAAK,SAAS,OAAO,OAAO,CAAC,GAAG,MAAM,MAAM,CAAC;EAC7C,WAAW,IAAI;CAChB;AACD;AACA,SAAS,kBAAkB,OAAO;CACjC,IAAI,OAAO,UAAU,YAAY,UAAU,MAAM,OAAO;CACxD,OAAO,UAAU,SAAS,MAAM,SAAS,cAAc,YAAY;AACpE;;;;;AAOA,SAAS,mCAAmC,MAAM;CACjD,OAAO;EACN,QAAQ,YAAY,KAAK,MAAM,KAAK,MAAM;EAC1C,YAAY,KAAK;CAClB;AACD;;;;;;;AASA,SAAS,yBAAyB,MAAM;CACvC,IAAI,KAAK,SAAS,KAAK,KAAK,KAAK,KAAK,WAAW,GAAG,MAAM,IAAI,wBAAwB,wJAAwJ,SAAS;CACvP,IAAI,KAAK,YAAY,KAAK,OAAO,KAAK,eAAe,KAAK,IAAI,MAAM,IAAI,wBAAwB,UAAU,KAAK,KAAK,uDAAuD,SAAS;CACpL,MAAM,UAAU;EACf,QAAQ,YAAY,KAAK,MAAM,KAAK,MAAM;EAC1C,OAAO,KAAK;EACZ,QAAQ,KAAK;EACb,MAAM,KAAK;EACX,SAAS,KAAK;CACf;CACA,OAAO,KAAK,eAAe,KAAK,IAAI;EACnC,GAAG;EACH,YAAY,KAAK;CAClB,IAAI;EACH,GAAG;EACH,SAAS,KAAK,WAAW,CAAC;CAC3B;AACD"}

package/dist/{sql-contract-serializer-2oBWuxTe-DKZTf2n8.mjs → sql-contract-serializer-sMY3prTx-D2BfrNxs.mjs}

@@ -1,21 +1,40 @@
-import { t as sqlContractCanonicalizationHooks } from "./canonicalization-hooks-dmXkOR4a.mjs";
-import { f as composeSqlEntityKinds } from "./entity-kinds-D7vwoN_T-CCBwFJy0.mjs";
-import { a as SqlStorage, s as isMaterializedSqlNamespace } from "./types-CUsJrvEl.mjs";
-import { r as createSqlContractSchema, s as validateSqlContractFully } from "./validators-CrWD6bSP.mjs";
-import { t as sqlFamilyError } from "./errors-B5g0xWro-mWH2C07F.mjs";
+import { t as sqlContractCanonicalizationHooks } from "./canonicalization-hooks-Ce1v_TDl.mjs";
+import { f as composeSqlEntityKinds } from "./entity-kinds-JR5SAm5h-DOH6VUtL.mjs";
+import { c as isMaterializedSqlNamespace, o as SqlStorage } from "./types-CTdSkl0s.mjs";
+import { f as validateSqlContractFully, i as createSqlContractSchema, s as resolveSqlToOneRelationStorage } from "./validators-BwA7ttZM.mjs";
+import { t as sqlFamilyError } from "./errors-B5g0xWro-C8plbqga.mjs";
+import { ifDefined } from "@prisma/orm-framework/utils/defined";
 import { ContractValidationError } from "@prisma/orm-framework/contract/contract-validation-error";
 import { hydrateNamespaceEntities } from "@prisma/orm-framework/components/ir";
-import { ifDefined } from "@prisma/orm-framework/utils/defined";
-import { type } from "arktype";
 import { blindCast } from "@prisma/orm-framework/utils/casts";
+import { type } from "arktype";
+import { withDerivedToOneRelationNullability } from "@prisma/orm-framework/contract-authoring";
 import { isPlainRecord as isPlainRecord$1 } from "@prisma/orm-framework/contract/is-plain-record";
-//#region ../../../2-sql/9-family/dist/sql-contract-serializer-2oBWuxTe.mjs
+//#region ../../../2-sql-family/9-family/dist/sql-contract-serializer-sMY3prTx.mjs
 const NamespaceRawSchema = type({
 	id: "string",
 	"kind?": "string",
 	entries: type({ "+": "ignore" })
 });
 /**
+* A `contract.json` written before to-one relations recorded `nullable` (rc.9 and earlier)
+* loads with the flag derived from storage: nullable when any local FK column is nullable or
+* cannot be resolved.
+*/
+function withSqlToOneRelationNullability(contract) {
+	const domain = withDerivedToOneRelationNullability(contract.domain, ({ model, relation }) => {
+		const { ownsForeignKey, columns } = resolveSqlToOneRelationStorage(contract, blindCast(model.storage), relation);
+		return {
+			ownsReference: ownsForeignKey,
+			localFieldNullability: columns.map((column) => column.nullable)
+		};
+	});
+	return {
+		...contract,
+		domain
+	};
+}
+/**
 * SQL family `ContractSerializer` abstract base. Carries the SQL-shared
 * deserialization pipeline:
 *
@@ -41,25 +60,31 @@ const NamespaceRawSchema = type({
 */
 var SqlContractSerializerBase = class {
 	entityHydrationRegistry;
+	dataTypes;
 	contractSchema;
 	entryKinds;
-	constructor(entityHydrationRegistry = /* @__PURE__ */ new Map(), packEntityKinds = []) {
+	constructor(entityHydrationRegistry = /* @__PURE__ */ new Map(), packEntityKinds = [], dataTypes = void 0) {
 		this.entityHydrationRegistry = entityHydrationRegistry;
+		this.dataTypes = dataTypes;
 		this.entryKinds = composeSqlEntityKinds(packEntityKinds);
 		this.contractSchema = packEntityKinds.length > 0 ? createSqlContractSchema(this.entryKinds) : void 0;
 	}
 	deserializeContract(json) {
-		const validated = this.parseSqlContractStructure(json);
+		const validated = withSqlToOneRelationNullability(this.parseSqlContractStructure(json));
 		const hydrated = this.hydrateSqlStorage(validated);
-		return this.constructTargetContract(hydrated);
+		return blindCast(this.constructTargetContract(hydrated));
 	}
 	serializeContract(contract) {
-		return contract;
+		return blindCast(contract);
 	}
 	shouldPreserveEmpty = sqlContractCanonicalizationHooks.shouldPreserveEmpty;
 	sortStorage = sqlContractCanonicalizationHooks.sortStorage;
+	hashCanonicalizationHooks = sqlContractCanonicalizationHooks;
 	parseSqlContractStructure(json) {
-		return validateSqlContractFully(json, this.contractSchema !== void 0 ? { contractSchema: this.contractSchema } : void 0);
+		return validateSqlContractFully(json, {
+			...ifDefined("contractSchema", this.contractSchema),
+			...ifDefined("dataTypes", this.dataTypes)
+		});
 	}
 	hydrateSqlStorage(validated) {
 		const types = validated.storage.types;
@@ -107,14 +132,14 @@ var SqlContractSerializerBase = class {
 	}
 	hydrateStorageTypeEntry(entry) {
 		if (typeof entry !== "object" || entry === null) return entry;
-		const kind = entry.kind;
+		const kind = isPlainRecord$1(entry) && "kind" in entry ? entry.kind : void 0;
 		if (typeof kind !== "string") return entry;
 		const factory = this.entityHydrationRegistry.get(kind);
 		if (factory === void 0) return entry;
 		return blindCast(factory(entry));
 	}
 	constructTargetContract(hydrated) {
-		return hydrated;
+		return blindCast(hydrated);
 	}
 	/**
 	* Serializes a namespace's `entries` dict by walking every enumerable
@@ -168,4 +193,4 @@ var SqlContractSerializer = class extends SqlContractSerializerBase {
 //#endregion
 export { SqlContractSerializerBase as n, SqlContractSerializer as t };
 
-//# sourceMappingURL=sql-contract-serializer-2oBWuxTe-DKZTf2n8.mjs.map
+//# sourceMappingURL=sql-contract-serializer-sMY3prTx-D2BfrNxs.mjs.map

package/dist/sql-contract-serializer-sMY3prTx-D2BfrNxs.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql-contract-serializer-sMY3prTx-D2BfrNxs.mjs","names":[],"sources":["../../../../2-sql-family/9-family/dist/sql-contract-serializer-sMY3prTx.mjs"],"sourcesContent":["import { t as sqlFamilyError } from \"./errors-B5g0xWro.mjs\";\nimport { hydrateNamespaceEntities } from \"@internal/framework-components/ir\";\nimport { sqlContractCanonicalizationHooks } from \"@internal/sql-contract/canonicalization-hooks\";\nimport { blindCast } from \"@internal/utils/casts\";\nimport { ifDefined } from \"@internal/utils/defined\";\nimport { ContractValidationError } from \"@internal/contract/contract-validation-error\";\nimport { SqlStorage, isMaterializedSqlNamespace } from \"@internal/sql-contract/types\";\nimport { createSqlContractSchema, resolveSqlToOneRelationStorage, validateSqlContractFully } from \"@internal/sql-contract/validators\";\nimport { isPlainRecord as isPlainRecord$1 } from \"@internal/contract/is-plain-record\";\nimport { withDerivedToOneRelationNullability } from \"@internal/contract-authoring\";\nimport { composeSqlEntityKinds } from \"@internal/sql-contract/entity-kinds\";\nimport { type } from \"arktype\";\n//#region src/core/ir/sql-contract-serializer-base.ts\nconst NamespaceRawSchema = type({\n\tid: \"string\",\n\t\"kind?\": \"string\",\n\tentries: type({ \"+\": \"ignore\" })\n});\n/**\n* A `contract.json` written before to-one relations recorded `nullable` (rc.9 and earlier)\n* loads with the flag derived from storage: nullable when any local FK column is nullable or\n* cannot be resolved.\n*/\nfunction withSqlToOneRelationNullability(contract) {\n\tconst domain = withDerivedToOneRelationNullability(contract.domain, ({ model, relation }) => {\n\t\tconst { ownsForeignKey, columns } = resolveSqlToOneRelationStorage(contract, blindCast(model.storage), relation);\n\t\treturn {\n\t\t\townsReference: ownsForeignKey,\n\t\t\tlocalFieldNullability: columns.map((column) => column.nullable)\n\t\t};\n\t});\n\treturn {\n\t\t...contract,\n\t\tdomain\n\t};\n}\n/**\n* SQL family `ContractSerializer` abstract base. Carries the SQL-shared\n* deserialization pipeline:\n*\n* 1. `parseSqlContractStructure` validates the on-disk JSON envelope\n*    against the SQL contract arktype schema (`validateSqlContractFully`)\n*    and returns the validated flat-data shape.\n* 2. `hydrateSqlStorage` walks the validated `storage` subtree and\n*    constructs the family-shared SQL Contract IR class hierarchy\n*    (`SqlStorage` -> `StorageTable` -> `StorageColumn` / `PrimaryKey`\n*    / …). The rest of the contract envelope is JSON-clean primitive\n*    data and passes through unchanged.\n* 3. `constructTargetContract` is the target-specific extension hook;\n*    defaults to identity. Targets that need to attach target-only\n*    fields (e.g. target-specific derived storage fields) override it.\n*\n* Default `serializeContract` is identity over the contract — concrete\n* SQL targets ship JSON-clean class instances, so the contract value\n* can be stringified directly. The non-enumerable family-level `kind`\n* discriminator on `SqlNode` instances stays out of the persisted\n* envelope automatically. Targets that need to canonicalize on the way\n* out (key ordering, dropping computed-only fields) override\n* `serializeContract` directly.\n*/\nvar SqlContractSerializerBase = class {\n\tentityHydrationRegistry;\n\tdataTypes;\n\tcontractSchema;\n\tentryKinds;\n\tconstructor(entityHydrationRegistry = /* @__PURE__ */ new Map(), packEntityKinds = [], dataTypes = void 0) {\n\t\tthis.entityHydrationRegistry = entityHydrationRegistry;\n\t\tthis.dataTypes = dataTypes;\n\t\tthis.entryKinds = composeSqlEntityKinds(packEntityKinds);\n\t\tthis.contractSchema = packEntityKinds.length > 0 ? createSqlContractSchema(this.entryKinds) : void 0;\n\t}\n\tdeserializeContract(json) {\n\t\tconst validated = withSqlToOneRelationNullability(this.parseSqlContractStructure(json));\n\t\tconst hydrated = this.hydrateSqlStorage(validated);\n\t\treturn blindCast(this.constructTargetContract(hydrated));\n\t}\n\tserializeContract(contract) {\n\t\treturn blindCast(contract);\n\t}\n\tshouldPreserveEmpty = sqlContractCanonicalizationHooks.shouldPreserveEmpty;\n\tsortStorage = sqlContractCanonicalizationHooks.sortStorage;\n\thashCanonicalizationHooks = sqlContractCanonicalizationHooks;\n\tparseSqlContractStructure(json) {\n\t\treturn validateSqlContractFully(json, {\n\t\t\t...ifDefined(\"contractSchema\", this.contractSchema),\n\t\t\t...ifDefined(\"dataTypes\", this.dataTypes)\n\t\t});\n\t}\n\thydrateSqlStorage(validated) {\n\t\tconst types = validated.storage.types;\n\t\tconst hydratedTypes = types !== void 0 ? Object.fromEntries(Object.entries(types).map(([name, entry]) => [name, this.hydrateStorageTypeEntry(entry)])) : void 0;\n\t\tconst rawNamespaces = validated.storage.namespaces;\n\t\tif (rawNamespaces === void 0) throw new ContractValidationError(\"Contract storage.namespaces is required after structural validation\", \"structural\");\n\t\tconst hydratedNamespaces = this.hydrateSqlNamespaceMap(blindCast(rawNamespaces));\n\t\treturn {\n\t\t\t...validated,\n\t\t\tstorage: new SqlStorage({\n\t\t\t\tstorageHash: validated.storage.storageHash,\n\t\t\t\t...ifDefined(\"types\", hydratedTypes),\n\t\t\t\tnamespaces: blindCast(hydratedNamespaces)\n\t\t\t})\n\t\t};\n\t}\n\thydrateSqlNamespaceMap(namespaces) {\n\t\treturn Object.fromEntries(Object.entries(namespaces).map(([nsId, namespaceEntryRaw]) => {\n\t\t\tconst namespaceHydrated = this.hydrateSqlNamespaceEntry(nsId, namespaceEntryRaw);\n\t\t\tif (!isMaterializedSqlNamespace(namespaceHydrated)) throw sqlFamilyError(\"CONTRACT.PACK_CONTRIBUTION_INVALID\", `Target serializer bug: hydrateSqlNamespaceEntry for namespace \"${nsId}\" returned a non-NamespaceBase value. Override hydrateSqlNamespaceEntry to produce a target namespace concretion.`, {\n\t\t\t\twhy: \"The target contract serializer hydrated a namespace into a value that is not a materialized namespace concretion.\",\n\t\t\t\tfix: \"Fix the target package: its hydrateSqlNamespaceEntry override must return a target namespace concretion.\",\n\t\t\t\tmeta: { namespaceId: nsId }\n\t\t\t});\n\t\t\treturn [nsId, namespaceHydrated];\n\t\t}));\n\t}\n\thydrateSqlNamespaceEntry(nsId, raw) {\n\t\tconst id = typeof raw[\"id\"] === \"string\" ? raw[\"id\"] : nsId;\n\t\tconst parsed = NamespaceRawSchema({\n\t\t\t...raw,\n\t\t\tid\n\t\t});\n\t\tif (parsed instanceof type.errors) throw new ContractValidationError(`Namespace hydration failed: ${parsed.map((p) => p.message).join(\"; \")}`, \"structural\");\n\t\tconst entriesRaw = parsed.entries;\n\t\tconst rawEntriesMap = isPlainRecord$1(entriesRaw) ? entriesRaw : {};\n\t\tconst entriesInput = {};\n\t\tfor (const [key, innerMap] of Object.entries(rawEntriesMap)) entriesInput[key] = isPlainRecord$1(innerMap) ? innerMap : Object.freeze({});\n\t\tconst entriesOutput = hydrateNamespaceEntities(entriesInput, this.entryKinds, \"fail\", id);\n\t\tif (!Object.hasOwn(entriesOutput, \"table\")) entriesOutput[\"table\"] = {};\n\t\treturn blindCast({\n\t\t\tid,\n\t\t\tentries: entriesOutput\n\t\t});\n\t}\n\thydrateStorageTypeEntry(entry) {\n\t\tif (typeof entry !== \"object\" || entry === null) return entry;\n\t\tconst kind = isPlainRecord$1(entry) && \"kind\" in entry ? entry.kind : void 0;\n\t\tif (typeof kind !== \"string\") return entry;\n\t\tconst factory = this.entityHydrationRegistry.get(kind);\n\t\tif (factory === void 0) return entry;\n\t\treturn blindCast(factory(entry));\n\t}\n\tconstructTargetContract(hydrated) {\n\t\treturn blindCast(hydrated);\n\t}\n\t/**\n\t* Serializes a namespace's `entries` dict by walking every enumerable\n\t* kind — no kind is named here, mirroring the generic hydrate walk in\n\t* `hydrateSqlNamespaceEntry` above. `table` is the SQL family's one\n\t* universal base kind (every namespace carries it), so it is always\n\t* emitted, even when empty; every other kind — target- or\n\t* pack-contributed — is emitted only when it holds at least one entry.\n\t* A kind carried non-enumerable on `entries` is excluded here for free,\n\t* since `Object.entries` honors enumerability.\n\t*/\n\tserializeNamespaceEntries(entries) {\n\t\tconst out = { table: this.serializeEntries(entries[\"table\"] ?? {}) };\n\t\tfor (const [kind, record] of Object.entries(entries)) {\n\t\t\tif (kind === \"table\" || record == null || Object.keys(record).length === 0) continue;\n\t\t\tout[kind] = this.serializeEntries(record);\n\t\t}\n\t\treturn out;\n\t}\n\tserializeEntries(entries) {\n\t\tconst out = {};\n\t\tfor (const [name, entry] of Object.entries(entries)) out[name] = this.serializeJsonObject(entry);\n\t\treturn out;\n\t}\n\tserializeJsonObject(value) {\n\t\treturn blindCast(this.serializeJsonValue(value));\n\t}\n\tserializeJsonValue(value) {\n\t\treturn blindCast(JSON.parse(JSON.stringify(value)));\n\t}\n};\n//#endregion\n//#region src/core/ir/sql-contract-serializer.ts\n/**\n* Default SQL family `ContractSerializer` concretion. Inherits the\n* full SQL-shared deserialization pipeline (structural validation +\n* IR-class hydration) without pack-registered `storage.types`\n* hydration factories — targets that emit polymorphic JSON outside the\n* codec-typed envelope wire a target-specific subclass with a populated\n* registry (see Postgres). Family-level call sites instantiate this\n* default directly when no target serializer is supplied.\n*\n* Because this serializer has no target concretion, deserialization of\n* contracts that include namespace entries from JSON will throw unless\n* the caller provides pre-hydrated `NamespaceBase` instances. Production\n* paths always supply a target-specific serializer.\n*/\nvar SqlContractSerializer = class extends SqlContractSerializerBase {\n\tconstructor() {\n\t\tsuper(/* @__PURE__ */ new Map());\n\t}\n};\n//#endregion\nexport { SqlContractSerializerBase as n, SqlContractSerializer as t };\n\n//# sourceMappingURL=sql-contract-serializer-sMY3prTx.mjs.map"],"mappings":";;;;;;;;;;;;;AAaA,MAAM,qBAAqB,KAAK;CAC/B,IAAI;CACJ,SAAS;CACT,SAAS,KAAK,EAAE,KAAK,SAAS,CAAC;AAChC,CAAC;;;;;;AAMD,SAAS,gCAAgC,UAAU;CAClD,MAAM,SAAS,oCAAoC,SAAS,SAAS,EAAE,OAAO,eAAe;EAC5F,MAAM,EAAE,gBAAgB,YAAY,+BAA+B,UAAU,UAAU,MAAM,OAAO,GAAG,QAAQ;EAC/G,OAAO;GACN,eAAe;GACf,uBAAuB,QAAQ,KAAK,WAAW,OAAO,QAAQ;EAC/D;CACD,CAAC;CACD,OAAO;EACN,GAAG;EACH;CACD;AACD;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,IAAI,4BAA4B,MAAM;CACrC;CACA;CACA;CACA;CACA,YAAY,0CAA0C,IAAI,IAAI,GAAG,kBAAkB,CAAC,GAAG,YAAY,KAAK,GAAG;EAC1G,KAAK,0BAA0B;EAC/B,KAAK,YAAY;EACjB,KAAK,aAAa,sBAAsB,eAAe;EACvD,KAAK,iBAAiB,gBAAgB,SAAS,IAAI,wBAAwB,KAAK,UAAU,IAAI,KAAK;CACpG;CACA,oBAAoB,MAAM;EACzB,MAAM,YAAY,gCAAgC,KAAK,0BAA0B,IAAI,CAAC;EACtF,MAAM,WAAW,KAAK,kBAAkB,SAAS;EACjD,OAAO,UAAU,KAAK,wBAAwB,QAAQ,CAAC;CACxD;CACA,kBAAkB,UAAU;EAC3B,OAAO,UAAU,QAAQ;CAC1B;CACA,sBAAsB,iCAAiC;CACvD,cAAc,iCAAiC;CAC/C,4BAA4B;CAC5B,0BAA0B,MAAM;EAC/B,OAAO,yBAAyB,MAAM;GACrC,GAAG,UAAU,kBAAkB,KAAK,cAAc;GAClD,GAAG,UAAU,aAAa,KAAK,SAAS;EACzC,CAAC;CACF;CACA,kBAAkB,WAAW;EAC5B,MAAM,QAAQ,UAAU,QAAQ;EAChC,MAAM,gBAAgB,UAAU,KAAK,IAAI,OAAO,YAAY,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW,CAAC,MAAM,KAAK,wBAAwB,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK;EAC9J,MAAM,gBAAgB,UAAU,QAAQ;EACxC,IAAI,kBAAkB,KAAK,GAAG,MAAM,IAAI,wBAAwB,uEAAuE,YAAY;EACnJ,MAAM,qBAAqB,KAAK,uBAAuB,UAAU,aAAa,CAAC;EAC/E,OAAO;GACN,GAAG;GACH,SAAS,IAAI,WAAW;IACvB,aAAa,UAAU,QAAQ;IAC/B,GAAG,UAAU,SAAS,aAAa;IACnC,YAAY,UAAU,kBAAkB;GACzC,CAAC;EACF;CACD;CACA,uBAAuB,YAAY;EAClC,OAAO,OAAO,YAAY,OAAO,QAAQ,UAAU,CAAC,CAAC,KAAK,CAAC,MAAM,uBAAuB;GACvF,MAAM,oBAAoB,KAAK,yBAAyB,MAAM,iBAAiB;GAC/E,IAAI,CAAC,2BAA2B,iBAAiB,GAAG,MAAM,eAAe,sCAAsC,kEAAkE,KAAK,oHAAoH;IACzS,KAAK;IACL,KAAK;IACL,MAAM,EAAE,aAAa,KAAK;GAC3B,CAAC;GACD,OAAO,CAAC,MAAM,iBAAiB;EAChC,CAAC,CAAC;CACH;CACA,yBAAyB,MAAM,KAAK;EACnC,MAAM,KAAK,OAAO,IAAI,UAAU,WAAW,IAAI,QAAQ;EACvD,MAAM,SAAS,mBAAmB;GACjC,GAAG;GACH;EACD,CAAC;EACD,IAAI,kBAAkB,KAAK,QAAQ,MAAM,IAAI,wBAAwB,+BAA+B,OAAO,KAAK,MAAM,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI,KAAK,YAAY;EAC3J,MAAM,aAAa,OAAO;EAC1B,MAAM,gBAAgB,gBAAgB,UAAU,IAAI,aAAa,CAAC;EAClE,MAAM,eAAe,CAAC;EACtB,KAAK,MAAM,CAAC,KAAK,aAAa,OAAO,QAAQ,aAAa,GAAG,aAAa,OAAO,gBAAgB,QAAQ,IAAI,WAAW,OAAO,OAAO,CAAC,CAAC;EACxI,MAAM,gBAAgB,yBAAyB,cAAc,KAAK,YAAY,QAAQ,EAAE;EACxF,IAAI,CAAC,OAAO,OAAO,eAAe,OAAO,GAAG,cAAc,WAAW,CAAC;EACtE,OAAO,UAAU;GAChB;GACA,SAAS;EACV,CAAC;CACF;CACA,wBAAwB,OAAO;EAC9B,IAAI,OAAO,UAAU,YAAY,UAAU,MAAM,OAAO;EACxD,MAAM,OAAO,gBAAgB,KAAK,KAAK,UAAU,QAAQ,MAAM,OAAO,KAAK;EAC3E,IAAI,OAAO,SAAS,UAAU,OAAO;EACrC,MAAM,UAAU,KAAK,wBAAwB,IAAI,IAAI;EACrD,IAAI,YAAY,KAAK,GAAG,OAAO;EAC/B,OAAO,UAAU,QAAQ,KAAK,CAAC;CAChC;CACA,wBAAwB,UAAU;EACjC,OAAO,UAAU,QAAQ;CAC1B;;;;;;;;;;;CAWA,0BAA0B,SAAS;EAClC,MAAM,MAAM,EAAE,OAAO,KAAK,iBAAiB,QAAQ,YAAY,CAAC,CAAC,EAAE;EACnE,KAAK,MAAM,CAAC,MAAM,WAAW,OAAO,QAAQ,OAAO,GAAG;GACrD,IAAI,SAAS,WAAW,UAAU,QAAQ,OAAO,KAAK,MAAM,CAAC,CAAC,WAAW,GAAG;GAC5E,IAAI,QAAQ,KAAK,iBAAiB,MAAM;EACzC;EACA,OAAO;CACR;CACA,iBAAiB,SAAS;EACzB,MAAM,MAAM,CAAC;EACb,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,OAAO,GAAG,IAAI,QAAQ,KAAK,oBAAoB,KAAK;EAC/F,OAAO;CACR;CACA,oBAAoB,OAAO;EAC1B,OAAO,UAAU,KAAK,mBAAmB,KAAK,CAAC;CAChD;CACA,mBAAmB,OAAO;EACzB,OAAO,UAAU,KAAK,MAAM,KAAK,UAAU,KAAK,CAAC,CAAC;CACnD;AACD;;;;;;;;;;;;;;;AAiBA,IAAI,wBAAwB,cAAc,0BAA0B;CACnE,cAAc;EACb,sBAAsB,IAAI,IAAI,CAAC;CAChC;AACD"}