@prisma-next/family-sql 0.16.0-dev.30 → 0.16.0-dev.32

package/dist/errors-ZGKTAYsm.mjs

@@ -0,0 +1,9 @@
+import { structuredError } from "@prisma-next/utils/structured-error";
+//#region src/core/errors.ts
+function sqlFamilyError(code, message, options) {
+	return structuredError(code, message, options);
+}
+//#endregion
+export { sqlFamilyError as t };
+
+//# sourceMappingURL=errors-ZGKTAYsm.mjs.map

package/dist/errors-ZGKTAYsm.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors-ZGKTAYsm.mjs","names":[],"sources":["../src/core/errors.ts"],"sourcesContent":["import type { StructuredError, StructuredErrorOptions } from '@prisma-next/utils/structured-error';\nimport { structuredError } from '@prisma-next/utils/structured-error';\n\ntype SqlFamilyErrorCode =\n  | 'CONTRACT.ENUM_INVALID'\n  | 'CONTRACT.ENUM_UNKNOWN'\n  | 'CONTRACT.FOREIGN_KEY_INVALID'\n  | 'CONTRACT.INFER_UNSUPPORTED'\n  | 'CONTRACT.MARKER_ROW_CORRUPT'\n  | 'CONTRACT.NAMESPACE_UNKNOWN'\n  | 'CONTRACT.PACK_CONTRIBUTION_INVALID'\n  | 'CONTRACT.TABLE_AMBIGUOUS'\n  | 'CONTRACT.TYPE_UNKNOWN'\n  | 'MIGRATION.MARKER_CAS_FAILURE';\n\nexport function sqlFamilyError(\n  code: SqlFamilyErrorCode,\n  message: string,\n  options?: StructuredErrorOptions,\n): StructuredError {\n  return structuredError(code, message, options);\n}\n"],"mappings":";;AAeA,SAAgB,eACd,MACA,SACA,SACiB;CACjB,OAAO,gBAAgB,MAAM,SAAS,OAAO;AAC/C"}

package/dist/ir.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"ir.d.mts","names":[],"sources":["../src/core/ir/sql-contract-serializer-base.ts","../src/core/ir/sql-contract-serializer.ts","../src/core/ir/sql-schema-verifier-base.ts"],"mappings":";;;;;;KAmCY,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;uBA0BnB,0BAA0B,kBAAkB,SAAS,wBAC9D,mBAAmB;qBAMT,yBAAyB,oBAE1C;mBANa;mBACA;cAGI,0BAAyB,oBAE1C,4BAEF,2BAA0B;EAO5B,oBAAoB,UAAU,YAAY,WAAW,gBAAgB;EAMrE,kBAAkB,UAAU,YAAY;EAIxC,6DAAmB;EAEnB,qDAAW;YAED,0BAA0B,gBAAgB,SAAS;YAOnD,kBAAkB,WAAW,SAAS,cAAc,SAAS;YAuC7D,uBACR,YAAY,SAAS,eAAe,4BACnC,SAAS,eAAe;YAcjB,yBACR,cACA,KAAK,0BACJ,YAAY;YA+BL,wBAAwB,OAAO,sBAAsB;YAkBrD,wBAAwB,UAAU,SAAS,cAAc;;;;;;;;;;;YAczD,0BACR,SAAS,SAAS,eAAe,SAAS,6BACzC,eAAe,eAAe;UAazB;YAQE,oBAAoB,iBAAiB;UAOvC;;;;;;;;;;;;;;;;;;cCzOG,8BAA8B,0BAA0B,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;uBCSxD,sBAAsB,WAAW,oBAC1C,eAAe,WAAW;EAErC,aAAa,SAAS,oBAAoB,WAAW,WAAW;;;;;;;qBAa7C,sBACjB,SAAS,oBAAoB,WAAW,oBAC9B;;;;;;qBAOO,uBACjB,SAAS,oBAAoB,WAAW,oBAC9B"}
+{"version":3,"file":"ir.d.mts","names":[],"sources":["../src/core/ir/sql-contract-serializer-base.ts","../src/core/ir/sql-contract-serializer.ts","../src/core/ir/sql-schema-verifier-base.ts"],"mappings":";;;;;;KAoCY,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;uBA0BnB,0BAA0B,kBAAkB,SAAS,wBAC9D,mBAAmB;qBAMT,yBAAyB,oBAE1C;mBANa;mBACA;cAGI,0BAAyB,oBAE1C,4BAEF,2BAA0B;EAO5B,oBAAoB,UAAU,YAAY,WAAW,gBAAgB;EAMrE,kBAAkB,UAAU,YAAY;EAIxC,6DAAmB;EAEnB,qDAAW;YAED,0BAA0B,gBAAgB,SAAS;YAOnD,kBAAkB,WAAW,SAAS,cAAc,SAAS;YAuC7D,uBACR,YAAY,SAAS,eAAe,4BACnC,SAAS,eAAe;YAoBjB,yBACR,cACA,KAAK,0BACJ,YAAY;YA+BL,wBAAwB,OAAO,sBAAsB;YAkBrD,wBAAwB,UAAU,SAAS,cAAc;;;;;;;;;;;YAczD,0BACR,SAAS,SAAS,eAAe,SAAS,6BACzC,eAAe,eAAe;UAazB;YAQE,oBAAoB,iBAAiB;UAOvC;;;;;;;;;;;;;;;;;;cChPG,8BAA8B,0BAA0B,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;uBCSxD,sBAAsB,WAAW,oBAC1C,eAAe,WAAW;EAErC,aAAa,SAAS,oBAAoB,WAAW,WAAW;;;;;;;qBAa7C,sBACjB,SAAS,oBAAoB,WAAW,oBAC9B;;;;;;qBAOO,uBACjB,SAAS,oBAAoB,WAAW,oBAC9B"}

package/dist/ir.mjs

@@ -1,4 +1,4 @@
-import { n as SqlContractSerializerBase, t as SqlContractSerializer } from "./sql-contract-serializer-C75cfMSS.mjs";
+import { n as SqlContractSerializerBase, t as SqlContractSerializer } from "./sql-contract-serializer-othnJUZ_.mjs";
 //#region src/core/ir/sql-schema-verifier-base.ts
 /**
 * SQL family `SchemaVerifier` abstract base. Centralises the SQL-shared

package/dist/{sql-contract-serializer-C75cfMSS.mjs → sql-contract-serializer-othnJUZ_.mjs}

@@ -1,3 +1,4 @@
+import { t as sqlFamilyError } from "./errors-ZGKTAYsm.mjs";
 import { blindCast } from "@prisma-next/utils/casts";
 import { hydrateNamespaceEntities } from "@prisma-next/framework-components/ir";
 import { sqlContractCanonicalizationHooks } from "@prisma-next/sql-contract/canonicalization-hooks";
@@ -78,7 +79,11 @@ var SqlContractSerializerBase = class {
 	hydrateSqlNamespaceMap(namespaces) {
 		return Object.fromEntries(Object.entries(namespaces).map(([nsId, namespaceEntryRaw]) => {
 			const namespaceHydrated = this.hydrateSqlNamespaceEntry(nsId, namespaceEntryRaw);
-			if (!isMaterializedSqlNamespace(namespaceHydrated)) throw new Error(`Target serializer bug: hydrateSqlNamespaceEntry for namespace "${nsId}" returned a non-NamespaceBase value. Override hydrateSqlNamespaceEntry to produce a target namespace concretion.`);
+			if (!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.`, {
+				why: "The target contract serializer hydrated a namespace into a value that is not a materialized namespace concretion.",
+				fix: "Fix the target package: its hydrateSqlNamespaceEntry override must return a target namespace concretion.",
+				meta: { namespaceId: nsId }
+			});
 			return [nsId, namespaceHydrated];
 		}));
 	}
@@ -165,4 +170,4 @@ var SqlContractSerializer = class extends SqlContractSerializerBase {
 //#endregion
 export { SqlContractSerializerBase as n, SqlContractSerializer as t };
 
-//# sourceMappingURL=sql-contract-serializer-C75cfMSS.mjs.map
+//# sourceMappingURL=sql-contract-serializer-othnJUZ_.mjs.map

package/dist/sql-contract-serializer-othnJUZ_.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql-contract-serializer-othnJUZ_.mjs","names":["isPlainRecord"],"sources":["../src/core/ir/sql-contract-serializer-base.ts","../src/core/ir/sql-contract-serializer.ts"],"sourcesContent":["import { ContractValidationError } from '@prisma-next/contract/contract-validation-error';\nimport { isPlainRecord } from '@prisma-next/contract/is-plain-record';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type { ContractSerializer } from '@prisma-next/framework-components/control';\nimport {\n  type AnyEntityKindDescriptor,\n  hydrateNamespaceEntities,\n  type Namespace,\n} from '@prisma-next/framework-components/ir';\nimport { sqlContractCanonicalizationHooks } from '@prisma-next/sql-contract/canonicalization-hooks';\nimport { composeSqlEntityKinds } from '@prisma-next/sql-contract/entity-kinds';\nimport {\n  isMaterializedSqlNamespace,\n  type SqlNamespaceInput,\n  SqlStorage,\n  type SqlStorageInput,\n  type SqlStorageTypeEntry,\n} from '@prisma-next/sql-contract/types';\nimport {\n  createSqlContractSchema,\n  validateSqlContractFully,\n} from '@prisma-next/sql-contract/validators';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { JsonObject, JsonValue } from '@prisma-next/utils/json';\nimport { type Type, type } from 'arktype';\nimport { sqlFamilyError } from '../errors';\n\nconst NamespaceRawSchema = type({\n  id: 'string',\n  'kind?': 'string',\n  entries: type({\n    '+': 'ignore',\n  }),\n});\n\nexport type SqlEntityHydrationFactory = (entry: unknown) => unknown;\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 */\nexport abstract class SqlContractSerializerBase<TContract extends Contract<SqlStorage>>\n  implements ContractSerializer<TContract>\n{\n  private readonly contractSchema: Type<unknown> | undefined;\n  private readonly entryKinds: ReadonlyMap<string, AnyEntityKindDescriptor>;\n\n  constructor(\n    protected readonly entityHydrationRegistry: ReadonlyMap<\n      string,\n      SqlEntityHydrationFactory\n    > = new Map(),\n    packEntityKinds: readonly AnyEntityKindDescriptor[] = [],\n  ) {\n    this.entryKinds = composeSqlEntityKinds(packEntityKinds);\n    this.contractSchema =\n      packEntityKinds.length > 0 ? createSqlContractSchema(this.entryKinds) : undefined;\n  }\n\n  deserializeContract<T extends TContract = TContract>(json: unknown): T {\n    const validated = this.parseSqlContractStructure(json);\n    const hydrated = this.hydrateSqlStorage(validated);\n    return this.constructTargetContract(hydrated) as T;\n  }\n\n  serializeContract(contract: TContract): JsonObject {\n    return contract as unknown as JsonObject;\n  }\n\n  shouldPreserveEmpty = sqlContractCanonicalizationHooks.shouldPreserveEmpty;\n\n  sortStorage = sqlContractCanonicalizationHooks.sortStorage;\n\n  protected parseSqlContractStructure(json: unknown): Contract<SqlStorage> {\n    return validateSqlContractFully<Contract<SqlStorage>>(\n      json,\n      this.contractSchema !== undefined ? { contractSchema: this.contractSchema } : undefined,\n    );\n  }\n\n  protected hydrateSqlStorage(validated: Contract<SqlStorage>): Contract<SqlStorage> {\n    const types = validated.storage.types;\n    const hydratedTypes =\n      types !== undefined\n        ? Object.fromEntries(\n            Object.entries(types).map(([name, entry]) => [\n              name,\n              this.hydrateStorageTypeEntry(entry),\n            ]),\n          )\n        : undefined;\n\n    const rawNamespaces = validated.storage.namespaces;\n    if (rawNamespaces === undefined) {\n      throw new ContractValidationError(\n        'Contract storage.namespaces is required after structural validation',\n        'structural',\n      );\n    }\n    const hydratedNamespaces = this.hydrateSqlNamespaceMap(\n      blindCast<\n        Readonly<Record<string, Record<string, unknown>>>,\n        'parseSqlContractStructure validated raw JSON; namespace entries are plain objects, not SqlNamespace instances.'\n      >(rawNamespaces),\n    );\n\n    return {\n      ...validated,\n      storage: new SqlStorage({\n        storageHash: validated.storage.storageHash,\n        ...ifDefined('types', hydratedTypes),\n        namespaces: blindCast<\n          SqlStorageInput['namespaces'],\n          'hydrateSqlNamespaceMap builds each namespace through the target serializer override, so every value is a SqlNamespace; the framework return type only promises the base Namespace.'\n        >(hydratedNamespaces),\n      }),\n    };\n  }\n\n  protected hydrateSqlNamespaceMap(\n    namespaces: Readonly<Record<string, Record<string, unknown>>>,\n  ): Readonly<Record<string, Namespace>> {\n    return Object.fromEntries(\n      Object.entries(namespaces).map(([nsId, namespaceEntryRaw]) => {\n        const namespaceHydrated = this.hydrateSqlNamespaceEntry(nsId, namespaceEntryRaw);\n        if (!isMaterializedSqlNamespace(namespaceHydrated)) {\n          throw sqlFamilyError(\n            'CONTRACT.PACK_CONTRIBUTION_INVALID',\n            `Target serializer bug: hydrateSqlNamespaceEntry for namespace \"${nsId}\" returned a non-NamespaceBase value. Override hydrateSqlNamespaceEntry to produce a target namespace concretion.`,\n            {\n              why: 'The target contract serializer hydrated a namespace into a value that is not a materialized namespace concretion.',\n              fix: 'Fix the target package: its hydrateSqlNamespaceEntry override must return a target namespace concretion.',\n              meta: { namespaceId: nsId },\n            },\n          );\n        }\n        return [nsId, namespaceHydrated];\n      }),\n    );\n  }\n\n  protected hydrateSqlNamespaceEntry(\n    nsId: string,\n    raw: Record<string, unknown>,\n  ): Namespace | SqlNamespaceInput {\n    const id = typeof raw['id'] === 'string' ? raw['id'] : nsId;\n    const parsed = NamespaceRawSchema({ ...raw, id });\n    if (parsed instanceof type.errors) {\n      const messages = parsed.map((p: { message: string }) => p.message).join('; ');\n      throw new ContractValidationError(`Namespace hydration failed: ${messages}`, 'structural');\n    }\n    const entriesRaw = parsed.entries;\n    const rawEntriesMap = isPlainRecord(entriesRaw) ? entriesRaw : {};\n\n    const entriesInput: Record<string, Readonly<Record<string, unknown>>> = {};\n    for (const [key, innerMap] of Object.entries(rawEntriesMap)) {\n      entriesInput[key] = isPlainRecord(innerMap) ? innerMap : Object.freeze({});\n    }\n\n    const entriesOutput = hydrateNamespaceEntities(entriesInput, this.entryKinds, 'fail', id);\n\n    // Always ensure a 'table' key is present (may be empty).\n    if (!Object.hasOwn(entriesOutput, 'table')) {\n      entriesOutput['table'] = {};\n    }\n\n    return blindCast<\n      SqlNamespaceInput,\n      'entriesOutput holds the hydrated SQL entity-kind maps (table always present); this wraps them as the SqlNamespaceInput the target createNamespace consumes.'\n    >({\n      id,\n      entries: entriesOutput,\n    });\n  }\n\n  protected hydrateStorageTypeEntry(entry: SqlStorageTypeEntry): SqlStorageTypeEntry {\n    if (typeof entry !== 'object' || entry === null) {\n      return entry;\n    }\n    const kind = (entry as { kind?: unknown }).kind;\n    if (typeof kind !== 'string') {\n      return entry;\n    }\n    const factory = this.entityHydrationRegistry.get(kind);\n    if (factory === undefined) {\n      return entry;\n    }\n    return blindCast<\n      SqlStorageTypeEntry,\n      'entity registry factory returns SqlStorageTypeEntry for storage.types entries'\n    >(factory(entry));\n  }\n\n  protected constructTargetContract(hydrated: Contract<SqlStorage>): TContract {\n    return hydrated as TContract;\n  }\n\n  /**\n   * Serializes a namespace's `entries` dict by walking every enumerable\n   * kind — no kind is named here, mirroring the generic hydrate walk in\n   * `hydrateSqlNamespaceEntry` above. `table` is the SQL family's one\n   * universal base kind (every namespace carries it), so it is always\n   * emitted, even when empty; every other kind — target- or\n   * pack-contributed — is emitted only when it holds at least one entry.\n   * A kind carried non-enumerable on `entries` is excluded here for free,\n   * since `Object.entries` honors enumerability.\n   */\n  protected serializeNamespaceEntries(\n    entries: Readonly<Record<string, Readonly<Record<string, unknown>>>>,\n  ): Record<string, Record<string, JsonObject>> {\n    const out: Record<string, Record<string, JsonObject>> = {\n      table: this.serializeEntries(entries['table'] ?? {}),\n    };\n    for (const [kind, record] of Object.entries(entries)) {\n      if (kind === 'table' || record == null || Object.keys(record).length === 0) {\n        continue;\n      }\n      out[kind] = this.serializeEntries(record);\n    }\n    return out;\n  }\n\n  private serializeEntries(entries: Readonly<Record<string, unknown>>): Record<string, JsonObject> {\n    const out: Record<string, JsonObject> = {};\n    for (const [name, entry] of Object.entries(entries)) {\n      out[name] = this.serializeJsonObject(entry);\n    }\n    return out;\n  }\n\n  protected serializeJsonObject(value: unknown): JsonObject {\n    return blindCast<\n      JsonObject,\n      'serializeJsonValue round-trips an IR node through JSON, yielding a JsonObject'\n    >(this.serializeJsonValue(value));\n  }\n\n  private serializeJsonValue(value: unknown): JsonValue {\n    return blindCast<JsonValue, 'JSON.parse(JSON.stringify(x)) yields a JsonValue'>(\n      JSON.parse(JSON.stringify(value)),\n    );\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SqlContractSerializerBase } from './sql-contract-serializer-base';\n\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 */\nexport class SqlContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {\n  constructor() {\n    super(new Map());\n  }\n}\n"],"mappings":";;;;;;;;;;;;AA4BA,MAAM,qBAAqB,KAAK;CAC9B,IAAI;CACJ,SAAS;CACT,SAAS,KAAK,EACZ,KAAK,SACP,CAAC;AACH,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;AA4BD,IAAsB,4BAAtB,MAEA;CAKuB;CAJrB;CACA;CAEA,YACE,0CAGI,IAAI,IAAI,GACZ,kBAAsD,CAAC,GACvD;EALmB,KAAA,0BAAA;EAMnB,KAAK,aAAa,sBAAsB,eAAe;EACvD,KAAK,iBACH,gBAAgB,SAAS,IAAI,wBAAwB,KAAK,UAAU,IAAI,KAAA;CAC5E;CAEA,oBAAqD,MAAkB;EACrE,MAAM,YAAY,KAAK,0BAA0B,IAAI;EACrD,MAAM,WAAW,KAAK,kBAAkB,SAAS;EACjD,OAAO,KAAK,wBAAwB,QAAQ;CAC9C;CAEA,kBAAkB,UAAiC;EACjD,OAAO;CACT;CAEA,sBAAsB,iCAAiC;CAEvD,cAAc,iCAAiC;CAE/C,0BAAoC,MAAqC;EACvE,OAAO,yBACL,MACA,KAAK,mBAAmB,KAAA,IAAY,EAAE,gBAAgB,KAAK,eAAe,IAAI,KAAA,CAChF;CACF;CAEA,kBAA4B,WAAuD;EACjF,MAAM,QAAQ,UAAU,QAAQ;EAChC,MAAM,gBACJ,UAAU,KAAA,IACN,OAAO,YACL,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW,CAC3C,MACA,KAAK,wBAAwB,KAAK,CACpC,CAAC,CACH,IACA,KAAA;EAEN,MAAM,gBAAgB,UAAU,QAAQ;EACxC,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,wBACR,uEACA,YACF;EAEF,MAAM,qBAAqB,KAAK,uBAC9B,UAGE,aAAa,CACjB;EAEA,OAAO;GACL,GAAG;GACH,SAAS,IAAI,WAAW;IACtB,aAAa,UAAU,QAAQ;IAC/B,GAAG,UAAU,SAAS,aAAa;IACnC,YAAY,UAGV,kBAAkB;GACtB,CAAC;EACH;CACF;CAEA,uBACE,YACqC;EACrC,OAAO,OAAO,YACZ,OAAO,QAAQ,UAAU,CAAC,CAAC,KAAK,CAAC,MAAM,uBAAuB;GAC5D,MAAM,oBAAoB,KAAK,yBAAyB,MAAM,iBAAiB;GAC/E,IAAI,CAAC,2BAA2B,iBAAiB,GAC/C,MAAM,eACJ,sCACA,kEAAkE,KAAK,oHACvE;IACE,KAAK;IACL,KAAK;IACL,MAAM,EAAE,aAAa,KAAK;GAC5B,CACF;GAEF,OAAO,CAAC,MAAM,iBAAiB;EACjC,CAAC,CACH;CACF;CAEA,yBACE,MACA,KAC+B;EAC/B,MAAM,KAAK,OAAO,IAAI,UAAU,WAAW,IAAI,QAAQ;EACvD,MAAM,SAAS,mBAAmB;GAAE,GAAG;GAAK;EAAG,CAAC;EAChD,IAAI,kBAAkB,KAAK,QAEzB,MAAM,IAAI,wBAAwB,+BADjB,OAAO,KAAK,MAA2B,EAAE,OAAO,CAAC,CAAC,KAAK,IACA,KAAK,YAAY;EAE3F,MAAM,aAAa,OAAO;EAC1B,MAAM,gBAAgBA,gBAAc,UAAU,IAAI,aAAa,CAAC;EAEhE,MAAM,eAAkE,CAAC;EACzE,KAAK,MAAM,CAAC,KAAK,aAAa,OAAO,QAAQ,aAAa,GACxD,aAAa,OAAOA,gBAAc,QAAQ,IAAI,WAAW,OAAO,OAAO,CAAC,CAAC;EAG3E,MAAM,gBAAgB,yBAAyB,cAAc,KAAK,YAAY,QAAQ,EAAE;EAGxF,IAAI,CAAC,OAAO,OAAO,eAAe,OAAO,GACvC,cAAc,WAAW,CAAC;EAG5B,OAAO,UAGL;GACA;GACA,SAAS;EACX,CAAC;CACH;CAEA,wBAAkC,OAAiD;EACjF,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC,OAAO;EAET,MAAM,OAAQ,MAA6B;EAC3C,IAAI,OAAO,SAAS,UAClB,OAAO;EAET,MAAM,UAAU,KAAK,wBAAwB,IAAI,IAAI;EACrD,IAAI,YAAY,KAAA,GACd,OAAO;EAET,OAAO,UAGL,QAAQ,KAAK,CAAC;CAClB;CAEA,wBAAkC,UAA2C;EAC3E,OAAO;CACT;;;;;;;;;;;CAYA,0BACE,SAC4C;EAC5C,MAAM,MAAkD,EACtD,OAAO,KAAK,iBAAiB,QAAQ,YAAY,CAAC,CAAC,EACrD;EACA,KAAK,MAAM,CAAC,MAAM,WAAW,OAAO,QAAQ,OAAO,GAAG;GACpD,IAAI,SAAS,WAAW,UAAU,QAAQ,OAAO,KAAK,MAAM,CAAC,CAAC,WAAW,GACvE;GAEF,IAAI,QAAQ,KAAK,iBAAiB,MAAM;EAC1C;EACA,OAAO;CACT;CAEA,iBAAyB,SAAwE;EAC/F,MAAM,MAAkC,CAAC;EACzC,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,OAAO,GAChD,IAAI,QAAQ,KAAK,oBAAoB,KAAK;EAE5C,OAAO;CACT;CAEA,oBAA8B,OAA4B;EACxD,OAAO,UAGL,KAAK,mBAAmB,KAAK,CAAC;CAClC;CAEA,mBAA2B,OAA2B;EACpD,OAAO,UACL,KAAK,MAAM,KAAK,UAAU,KAAK,CAAC,CAClC;CACF;AACF;;;;;;;;;;;;;;;;;ACrPA,IAAa,wBAAb,cAA2C,0BAAgD;CACzF,cAAc;EACZ,sBAAM,IAAI,IAAI,CAAC;CACjB;AACF"}

package/dist/{verify-C-G0obRm.mjs → verify-DuuJFiTm.mjs}

@@ -1,3 +1,4 @@
+import { t as sqlFamilyError } from "./errors-ZGKTAYsm.mjs";
 import { type } from "arktype";
 //#region src/core/verify.ts
 const MetaSchema = type({ "[string]": "unknown" });
@@ -46,7 +47,11 @@ function parseContractMarkerRow(row) {
 	const result = ContractMarkerRowSchema(row);
 	if (result instanceof type.errors) {
 		const messages = result.map((p) => p.message).join("; ");
-		throw new Error(`Invalid contract marker row: ${messages}`);
+		throw sqlFamilyError("CONTRACT.MARKER_ROW_CORRUPT", `Invalid contract marker row: ${messages}`, {
+			why: "The contract marker row read from the database does not match the expected marker shape.",
+			fix: "Re-sign the database with `prisma-next db sign`, or repair the marker table.",
+			meta: { issues: messages }
+		});
 	}
 	const updatedAt = result.updated_at ? result.updated_at instanceof Date ? result.updated_at : new Date(result.updated_at) : /* @__PURE__ */ new Date();
 	return {
@@ -78,4 +83,4 @@ function collectSupportedCodecTypeIds(descriptors) {
 //#endregion
 export { parseContractMarkerRow as n, collectSupportedCodecTypeIds as t };
 
-//# sourceMappingURL=verify-C-G0obRm.mjs.map
+//# sourceMappingURL=verify-DuuJFiTm.mjs.map

package/dist/verify-DuuJFiTm.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-DuuJFiTm.mjs","names":[],"sources":["../src/core/verify.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport { type } from 'arktype';\nimport { sqlFamilyError } from './errors';\n\nconst MetaSchema = type({ '[string]': 'unknown' });\n\nfunction parseMeta(meta: unknown): Record<string, unknown> {\n  if (meta === null || meta === undefined) {\n    return {};\n  }\n\n  let parsed: unknown;\n  if (typeof meta === 'string') {\n    try {\n      parsed = JSON.parse(meta);\n    } catch {\n      return {};\n    }\n  } else {\n    parsed = meta;\n  }\n\n  const result = MetaSchema(parsed);\n  if (result instanceof type.errors) {\n    return {};\n  }\n\n  return result as Record<string, unknown>;\n}\n\n/**\n * SQLite stores `contract_json` as TEXT, so the wire shape is a JSON string;\n * Postgres uses `jsonb` and returns an already-parsed value. Normalize both\n * here so `ContractMarkerRecord.contractJson` is always the structured form.\n */\nfunction parseContractJson(value: unknown): unknown {\n  if (value === null || value === undefined) return null;\n  if (typeof value !== 'string') return value;\n  try {\n    return JSON.parse(value);\n  } catch {\n    return null;\n  }\n}\n\n/**\n * Wire shape of a `prisma_contract.marker` row as it comes out of a SQL\n * driver. Snake-cased to match the on-disk column names. Shared by every\n * SQL target's `readMarker` so each runner doesn't redeclare it inline.\n */\nexport type ContractMarkerRow = {\n  core_hash: string;\n  profile_hash: string;\n  contract_json: unknown | null;\n  canonical_version: number | null;\n  updated_at: Date | string;\n  app_tag: string | null;\n  meta: unknown | null;\n  // SQLite stores arrays as JSON-TEXT, so this is `string` on the wire from\n  // a SQLite driver and `string[]` from a Postgres driver. Targets normalize\n  // before passing to `parseContractMarkerRow`.\n  invariants: unknown;\n};\n\nconst ContractMarkerRowSchema = type({\n  core_hash: 'string',\n  profile_hash: 'string',\n  'contract_json?': 'unknown | null',\n  'canonical_version?': 'number | null',\n  'updated_at?': 'Date | string',\n  'app_tag?': 'string | null',\n  'meta?': 'unknown | null',\n  invariants: type('string').array(),\n});\n\n/**\n * Parses a contract marker row from database query result.\n * This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).\n */\nexport function parseContractMarkerRow(row: unknown): ContractMarkerRecord {\n  const result = ContractMarkerRowSchema(row);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw sqlFamilyError(\n      'CONTRACT.MARKER_ROW_CORRUPT',\n      `Invalid contract marker row: ${messages}`,\n      {\n        why: 'The contract marker row read from the database does not match the expected marker shape.',\n        fix: 'Re-sign the database with `prisma-next db sign`, or repair the marker table.',\n        meta: { issues: messages },\n      },\n    );\n  }\n\n  const updatedAt = result.updated_at\n    ? result.updated_at instanceof Date\n      ? result.updated_at\n      : new Date(result.updated_at)\n    : new Date();\n\n  return {\n    storageHash: result.core_hash,\n    profileHash: result.profile_hash,\n    contractJson: parseContractJson(result.contract_json),\n    canonicalVersion: result.canonical_version ?? null,\n    updatedAt,\n    appTag: result.app_tag ?? null,\n    meta: parseMeta(result.meta),\n    invariants: result.invariants,\n  };\n}\n\n/**\n * Collects supported codec type IDs from adapter and extension manifests.\n * Returns a sorted, unique array of type IDs that are declared in the manifests.\n * This enables coverage checks by comparing contract column types against supported types.\n *\n * Note: This extracts type IDs from manifest type imports, not from runtime codec registries.\n * The manifests declare which codec types are available, but the actual type IDs\n * are defined in the codec-types TypeScript modules that are imported.\n *\n * For MVP, we return an empty array since extracting type IDs from TypeScript modules\n * would require runtime evaluation or static analysis. This can be enhanced later.\n */\nexport function collectSupportedCodecTypeIds(\n  descriptors: ReadonlyArray<{ readonly id: string }>,\n): readonly string[] {\n  // For MVP, return empty array\n  // Future enhancement: Extract type IDs from codec-types modules via static analysis\n  // or require manifests to explicitly list supported type IDs\n  void descriptors;\n  return [];\n}\n"],"mappings":";;;AAIA,MAAM,aAAa,KAAK,EAAE,YAAY,UAAU,CAAC;AAEjD,SAAS,UAAU,MAAwC;CACzD,IAAI,SAAS,QAAQ,SAAS,KAAA,GAC5B,OAAO,CAAC;CAGV,IAAI;CACJ,IAAI,OAAO,SAAS,UAClB,IAAI;EACF,SAAS,KAAK,MAAM,IAAI;CAC1B,QAAQ;EACN,OAAO,CAAC;CACV;MAEA,SAAS;CAGX,MAAM,SAAS,WAAW,MAAM;CAChC,IAAI,kBAAkB,KAAK,QACzB,OAAO,CAAC;CAGV,OAAO;AACT;;;;;;AAOA,SAAS,kBAAkB,OAAyB;CAClD,IAAI,UAAU,QAAQ,UAAU,KAAA,GAAW,OAAO;CAClD,IAAI,OAAO,UAAU,UAAU,OAAO;CACtC,IAAI;EACF,OAAO,KAAK,MAAM,KAAK;CACzB,QAAQ;EACN,OAAO;CACT;AACF;AAqBA,MAAM,0BAA0B,KAAK;CACnC,WAAW;CACX,cAAc;CACd,kBAAkB;CAClB,sBAAsB;CACtB,eAAe;CACf,YAAY;CACZ,SAAS;CACT,YAAY,KAAK,QAAQ,CAAC,CAAC,MAAM;AACnC,CAAC;;;;;AAMD,SAAgB,uBAAuB,KAAoC;CACzE,MAAM,SAAS,wBAAwB,GAAG;CAC1C,IAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI;EAC5E,MAAM,eACJ,+BACA,gCAAgC,YAChC;GACE,KAAK;GACL,KAAK;GACL,MAAM,EAAE,QAAQ,SAAS;EAC3B,CACF;CACF;CAEA,MAAM,YAAY,OAAO,aACrB,OAAO,sBAAsB,OAC3B,OAAO,aACP,IAAI,KAAK,OAAO,UAAU,oBAC5B,IAAI,KAAK;CAEb,OAAO;EACL,aAAa,OAAO;EACpB,aAAa,OAAO;EACpB,cAAc,kBAAkB,OAAO,aAAa;EACpD,kBAAkB,OAAO,qBAAqB;EAC9C;EACA,QAAQ,OAAO,WAAW;EAC1B,MAAM,UAAU,OAAO,IAAI;EAC3B,YAAY,OAAO;CACrB;AACF;;;;;;;;;;;;;AAcA,SAAgB,6BACd,aACmB;CAKnB,OAAO,CAAC;AACV"}

package/dist/verify.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"verify.d.mts","names":[],"sources":["../src/core/verify.ts"],"mappings":";;;;;;;KAiDY;EACV;EACA;EACA;EACA;EACA,YAAY;EACZ;EACA;EAIA;;;;;;iBAkBc,uBAAuB,eAAe"}
+{"version":3,"file":"verify.d.mts","names":[],"sources":["../src/core/verify.ts"],"mappings":";;;;;;;KAkDY;EACV;EACA;EACA;EACA;EACA,YAAY;EACZ;EACA;EAIA;;;;;;iBAkBc,uBAAuB,eAAe"}

package/dist/verify.mjs

@@ -1,2 +1,2 @@
-import { n as parseContractMarkerRow } from "./verify-C-G0obRm.mjs";
+import { n as parseContractMarkerRow } from "./verify-DuuJFiTm.mjs";
 export { parseContractMarkerRow };

package/package.json

@@ -1,35 +1,35 @@
 {
   "name": "@prisma-next/family-sql",
-  "version": "0.16.0-dev.30",
+  "version": "0.16.0-dev.32",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
-    "@prisma-next/contract": "0.16.0-dev.30",
-    "@prisma-next/emitter": "0.16.0-dev.30",
-    "@prisma-next/framework-components": "0.16.0-dev.30",
-    "@prisma-next/migration-tools": "0.16.0-dev.30",
-    "@prisma-next/operations": "0.16.0-dev.30",
-    "@prisma-next/sql-contract": "0.16.0-dev.30",
-    "@prisma-next/sql-contract-emitter": "0.16.0-dev.30",
-    "@prisma-next/sql-contract-ts": "0.16.0-dev.30",
-    "@prisma-next/sql-operations": "0.16.0-dev.30",
-    "@prisma-next/sql-relational-core": "0.16.0-dev.30",
-    "@prisma-next/sql-runtime": "0.16.0-dev.30",
-    "@prisma-next/sql-schema-ir": "0.16.0-dev.30",
-    "@prisma-next/utils": "0.16.0-dev.30",
+    "@prisma-next/contract": "0.16.0-dev.32",
+    "@prisma-next/emitter": "0.16.0-dev.32",
+    "@prisma-next/framework-components": "0.16.0-dev.32",
+    "@prisma-next/migration-tools": "0.16.0-dev.32",
+    "@prisma-next/operations": "0.16.0-dev.32",
+    "@prisma-next/sql-contract": "0.16.0-dev.32",
+    "@prisma-next/sql-contract-emitter": "0.16.0-dev.32",
+    "@prisma-next/sql-contract-ts": "0.16.0-dev.32",
+    "@prisma-next/sql-operations": "0.16.0-dev.32",
+    "@prisma-next/sql-relational-core": "0.16.0-dev.32",
+    "@prisma-next/sql-runtime": "0.16.0-dev.32",
+    "@prisma-next/sql-schema-ir": "0.16.0-dev.32",
+    "@prisma-next/utils": "0.16.0-dev.32",
     "arktype": "^2.2.2",
     "pluralize": "^8.0.0"
   },
   "devDependencies": {
-    "@prisma-next/driver-postgres": "0.16.0-dev.30",
-    "@prisma-next/psl-parser": "0.16.0-dev.30",
-    "@prisma-next/psl-printer": "0.16.0-dev.30",
-    "@prisma-next/sql-contract-psl": "0.16.0-dev.30",
-    "@prisma-next/test-utils": "0.16.0-dev.30",
-    "@prisma-next/tsconfig": "0.16.0-dev.30",
-    "@prisma-next/tsdown": "0.16.0-dev.30",
+    "@prisma-next/driver-postgres": "0.16.0-dev.32",
+    "@prisma-next/psl-parser": "0.16.0-dev.32",
+    "@prisma-next/psl-printer": "0.16.0-dev.32",
+    "@prisma-next/sql-contract-psl": "0.16.0-dev.32",
+    "@prisma-next/test-utils": "0.16.0-dev.32",
+    "@prisma-next/tsconfig": "0.16.0-dev.32",
+    "@prisma-next/tsdown": "0.16.0-dev.32",
     "@types/pluralize": "^0.0.33",
     "tsdown": "0.22.8",
     "typescript": "5.9.3",

package/src/core/control-instance.ts

@@ -44,6 +44,8 @@ import type {
 import type { SqlSchemaIRNode, SqlTableIR } from '@prisma-next/sql-schema-ir/types';
 import { blindCast } from '@prisma-next/utils/casts';
 import { ifDefined } from '@prisma-next/utils/defined';
+import { InternalError } from '@prisma-next/utils/internal-error';
+import type { StructuredError } from '@prisma-next/utils/structured-error';
 import type { SqlControlAdapter } from './control-adapter';
 import type {
   SqlControlTargetDescriptor,
@@ -54,6 +56,7 @@ import {
   classifyDiffSubjectGranularity,
   verifySqlSchemaByDiff,
 } from './diff/schema-verify';
+import { sqlFamilyError } from './errors';
 import { SqlContractSerializer } from './ir/sql-contract-serializer';
 import type { SqlSchemaDiffFn } from './migrations/schema-differ';
 import type {
@@ -63,6 +66,18 @@ import type {
 import { sqlOperationsToPreview } from './operation-preview';
 import { collectSupportedCodecTypeIds } from './verify';
 
+function missingDescriptorOperationError(targetId: string, operation: string): StructuredError {
+  return sqlFamilyError(
+    'CONTRACT.PACK_CONTRIBUTION_INVALID',
+    `SQL target "${targetId}" is missing the required ${operation} descriptor operation`,
+    {
+      why: `The target descriptor does not contribute the ${operation} operation the SQL family requires for this call.`,
+      fix: `Use a target package whose control descriptor implements ${operation}.`,
+      meta: { targetId, operation },
+    },
+  );
+}
+
 function extractCodecTypeIdsFromContract(contract: unknown): readonly string[] {
   const typeIds = new Set<string>();
 
@@ -475,8 +490,14 @@ export function assertNoCrossSpaceFkReverseReferences(
             // Check if targetSpaceId depends on ext.id (directly or transitively)
             const targetDeps = dependsOnMap.get(targetSpaceId);
             if (targetDeps?.has(ext.id)) {
-              throw new Error(
+              throw sqlFamilyError(
+                'CONTRACT.FOREIGN_KEY_INVALID',
                 `Cross-space FK reverse-reference detected: extension "${ext.id}" has a cross-space FK targeting space "${targetSpaceId}", but "${targetSpaceId}" depends on "${ext.id}". Cross-space FKs must follow the dependency direction (a space can only reference spaces it depends on, not spaces that depend on it).`,
+                {
+                  why: 'The foreign key points against the contract-space dependency direction.',
+                  fix: 'Move the foreign key to the depending space, or restructure the extension dependencies so the referencing space depends on the referenced one.',
+                  meta: { extensionId: ext.id, targetSpaceId },
+                },
               );
             }
           }
@@ -490,7 +511,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
   stack: ControlStack<'sql', TTargetId>,
 ): SqlFamilyInstance {
   if (!stack.adapter) {
-    throw new Error('SQL family requires an adapter descriptor in ControlStack');
+    throw new InternalError('SQL family requires an adapter descriptor in ControlStack');
   }
 
   const target = stack.target as unknown as TargetDescriptor<'sql', TTargetId> &
@@ -758,14 +779,10 @@ export function createSqlFamilyInstance<TTargetId extends string>(
     }): VerifyDatabaseSchemaResult {
       const contract = deserializeWithTargetSerializer(options.contract) as Contract<SqlStorage>;
       if (!diffSchema) {
-        throw new Error(
-          `SQL target "${target.targetId}" is missing the required diffSchema descriptor operation`,
-        );
+        throw missingDescriptorOperationError(target.targetId, 'diffSchema');
       }
       if (!targetGranularityOf) {
-        throw new Error(
-          `SQL target "${target.targetId}" is missing the required classifySubjectGranularity descriptor operation`,
-        );
+        throw missingDescriptorOperationError(target.targetId, 'classifySubjectGranularity');
       }
       // THE VERDICT: the target's full-tree node diff, graded by the
       // family's post-diff filters (strict gating + control-policy
@@ -792,9 +809,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
      */
     classifySubjectGranularity(issue: SchemaDiffIssue): DiffSubjectGranularity | undefined {
       if (!targetGranularityOf) {
-        throw new Error(
-          `SQL target "${target.targetId}" is missing the required classifySubjectGranularity descriptor operation`,
-        );
+        throw missingDescriptorOperationError(target.targetId, 'classifySubjectGranularity');
       }
       return classifyDiffSubjectGranularity(issue, targetGranularityOf);
     },
@@ -807,9 +822,7 @@ export function createSqlFamilyInstance<TTargetId extends string>(
      */
     classifyEntityKind(issue: SchemaDiffIssue): string | undefined {
       if (!targetEntityKindOf) {
-        throw new Error(
-          `SQL target "${target.targetId}" is missing the required classifyEntityKind descriptor operation`,
-        );
+        throw missingDescriptorOperationError(target.targetId, 'classifyEntityKind');
       }
       return classifyDiffEntityKind(issue, targetEntityKindOf);
     },
@@ -872,7 +885,15 @@ export function createSqlFamilyInstance<TTargetId extends string>(
             },
           );
           if (!updated) {
-            throw new Error('CAS conflict: marker was modified by another process during sign');
+            throw sqlFamilyError(
+              'MIGRATION.MARKER_CAS_FAILURE',
+              'CAS conflict: marker was modified by another process during sign',
+              {
+                why: 'Another process updated the contract marker between the read and the compare-and-swap write.',
+                fix: 'Re-run the sign command; if it keeps failing, make sure only one migration process runs at a time.',
+                meta: { space: APP_SPACE_ID },
+              },
+            );
           }
           markerUpdated = true;
         }
@@ -983,8 +1004,14 @@ export function createSqlFamilyInstance<TTargetId extends string>(
 
     inferPslContract(schemaIR: SqlSchemaIRNode): PslDocumentAst {
       if (!targetInferPslContract) {
-        throw new Error(
+        throw sqlFamilyError(
+          'CONTRACT.INFER_UNSUPPORTED',
           `Target "${target.targetId}" does not support contract infer (no inferPslContract on its descriptor).`,
+          {
+            why: 'The target descriptor does not provide the inferPslContract hook, so a PSL contract cannot be inferred from the database schema.',
+            fix: 'Use a target package that supports contract infer, or author the contract instead of inferring it.',
+            meta: { targetId: target.targetId },
+          },
         );
       }
       return targetInferPslContract(schemaIR, describedContracts);

package/src/core/errors.ts

@@ -0,0 +1,22 @@
+import type { StructuredError, StructuredErrorOptions } from '@prisma-next/utils/structured-error';
+import { structuredError } from '@prisma-next/utils/structured-error';
+
+type SqlFamilyErrorCode =
+  | 'CONTRACT.ENUM_INVALID'
+  | 'CONTRACT.ENUM_UNKNOWN'
+  | 'CONTRACT.FOREIGN_KEY_INVALID'
+  | 'CONTRACT.INFER_UNSUPPORTED'
+  | 'CONTRACT.MARKER_ROW_CORRUPT'
+  | 'CONTRACT.NAMESPACE_UNKNOWN'
+  | 'CONTRACT.PACK_CONTRIBUTION_INVALID'
+  | 'CONTRACT.TABLE_AMBIGUOUS'
+  | 'CONTRACT.TYPE_UNKNOWN'
+  | 'MIGRATION.MARKER_CAS_FAILURE';
+
+export function sqlFamilyError(
+  code: SqlFamilyErrorCode,
+  message: string,
+  options?: StructuredErrorOptions,
+): StructuredError {
+  return structuredError(code, message, options);
+}

package/src/core/ir/sql-contract-serializer-base.ts

@@ -24,6 +24,7 @@ import { blindCast } from '@prisma-next/utils/casts';
 import { ifDefined } from '@prisma-next/utils/defined';
 import type { JsonObject, JsonValue } from '@prisma-next/utils/json';
 import { type Type, type } from 'arktype';
+import { sqlFamilyError } from '../errors';
 
 const NamespaceRawSchema = type({
   id: 'string',
@@ -144,8 +145,14 @@ export abstract class SqlContractSerializerBase<TContract extends Contract<SqlSt
       Object.entries(namespaces).map(([nsId, namespaceEntryRaw]) => {
         const namespaceHydrated = this.hydrateSqlNamespaceEntry(nsId, namespaceEntryRaw);
         if (!isMaterializedSqlNamespace(namespaceHydrated)) {
-          throw new Error(
+          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.`,
+            {
+              why: 'The target contract serializer hydrated a namespace into a value that is not a materialized namespace concretion.',
+              fix: 'Fix the target package: its hydrateSqlNamespaceEntry override must return a target namespace concretion.',
+              meta: { namespaceId: nsId },
+            },
           );
         }
         return [nsId, namespaceHydrated];

package/src/core/migrations/contract-to-schema-ir.ts

@@ -28,6 +28,8 @@ import {
 } from '@prisma-next/sql-schema-ir/types';
 import { blindCast } from '@prisma-next/utils/casts';
 import { ifDefined } from '@prisma-next/utils/defined';
+import { InternalError } from '@prisma-next/utils/internal-error';
+import { sqlFamilyError } from '../errors';
 
 /**
  * Target-specific callback that expands a column's base `nativeType` and optional
@@ -187,8 +189,14 @@ function resolveColumnTypeMetadata(
   }
   const referenced = storageTypes[column.typeRef];
   if (!referenced) {
-    throw new Error(
+    throw sqlFamilyError(
+      'CONTRACT.TYPE_UNKNOWN',
       `Column references storage type "${column.typeRef}" but it is not defined in storage.types.`,
+      {
+        why: 'The column typeRef does not resolve to any entry in the contract storage.types map.',
+        fix: 'Regenerate the contract from its authoring source; do not hand-edit contract JSON.',
+        meta: { typeRef: column.typeRef },
+      },
     );
   }
   if (isStorageTypeInstance(referenced)) {
@@ -198,7 +206,7 @@ function resolveColumnTypeMetadata(
       typeParams: referenced.typeParams,
     };
   }
-  throw new Error(
+  throw new InternalError(
     `Storage type "${column.typeRef}" has an unknown polymorphic kind; expected a codec-typed StorageTypeInstance.`,
   );
 }
@@ -224,14 +232,26 @@ export function resolveValueSetValues(
 ): readonly string[] {
   const ns = storage.namespaces[ref.namespaceId];
   if (!ns) {
-    throw new Error(
+    throw sqlFamilyError(
+      'CONTRACT.NAMESPACE_UNKNOWN',
       `resolveValueSetValues: namespace "${ref.namespaceId}" not found in storage (${contextLabel})`,
+      {
+        why: 'A value-set reference names a namespace the contract storage does not declare.',
+        fix: 'Regenerate the contract from its authoring source; do not hand-edit contract JSON.',
+        meta: { namespaceId: ref.namespaceId, context: contextLabel },
+      },
     );
   }
   const valueSet = ns.entries.valueSet?.[ref.entityName];
   if (!valueSet) {
-    throw new Error(
+    throw sqlFamilyError(
+      'CONTRACT.ENUM_UNKNOWN',
       `resolveValueSetValues: value-set "${ref.entityName}" not found in namespace "${ref.namespaceId}" (${contextLabel})`,
+      {
+        why: 'A value-set reference names an entry its namespace does not declare.',
+        fix: 'Regenerate the contract from its authoring source; do not hand-edit contract JSON.',
+        meta: { valueSet: ref.entityName, namespaceId: ref.namespaceId, context: contextLabel },
+      },
     );
   }
   // Only TEXT enums ship a CHECK-constraint round-trip in this slice. A
@@ -239,8 +259,14 @@ export function resolveValueSetValues(
   // is future work; fail loudly rather than emit a wrong numeric-as-text check.
   const values = valueSet.values;
   if (!allStrings(values)) {
-    throw new Error(
+    throw sqlFamilyError(
+      'CONTRACT.ENUM_INVALID',
       `resolveValueSetValues: value-set "${ref.entityName}" in namespace "${ref.namespaceId}" has a non-string value; numeric-enum CHECK constraints are not yet supported (${contextLabel})`,
+      {
+        why: 'Only string value-sets can be rendered as CHECK constraints; this value-set carries a non-string value.',
+        fix: 'Use string enum values, or drop the CHECK-constrained enum until numeric enums are supported.',
+        meta: { valueSet: ref.entityName, namespaceId: ref.namespaceId, context: contextLabel },
+      },
     );
   }
   return values;
@@ -524,7 +550,15 @@ export function contractNamespaceToSchemaIR(
   options: ContractToSchemaIROptions,
 ): SqlSchemaIR {
   if (options.annotationNamespace.length === 0) {
-    throw new Error('annotationNamespace must be a non-empty string');
+    throw sqlFamilyError(
+      'CONTRACT.PACK_CONTRIBUTION_INVALID',
+      'annotationNamespace must be a non-empty string',
+      {
+        why: 'The calling target pack passed an empty annotationNamespace to the contract-to-schema-IR projection.',
+        fix: 'Fix the target pack to pass its non-empty annotation namespace (e.g. "pg").',
+        meta: { option: 'annotationNamespace' },
+      },
+    );
   }
   const namespace = storage.namespaces[namespaceId];
   if (!namespace) {
@@ -552,7 +586,15 @@ export function contractToSchemaIR(
   options: ContractToSchemaIROptions,
 ): SqlSchemaIR {
   if (options.annotationNamespace.length === 0) {
-    throw new Error('annotationNamespace must be a non-empty string');
+    throw sqlFamilyError(
+      'CONTRACT.PACK_CONTRIBUTION_INVALID',
+      'annotationNamespace must be a non-empty string',
+      {
+        why: 'The calling target pack passed an empty annotationNamespace to the contract-to-schema-IR projection.',
+        fix: 'Fix the target pack to pass its non-empty annotation namespace (e.g. "pg").',
+        meta: { option: 'annotationNamespace' },
+      },
+    );
   }
 
   if (!contract) {
@@ -567,8 +609,14 @@ export function contractToSchemaIR(
       StorageTable.assert(tableDefRaw, `namespaces.${ns.id}.entries.table.${tableName}`);
       const tableDef = tableDefRaw;
       if (tables[tableName] !== undefined) {
-        throw new Error(
+        throw sqlFamilyError(
+          'CONTRACT.TABLE_AMBIGUOUS',
           `contractToSchemaIR: duplicate SQL table name "${tableName}" across namespaces (ambiguous for flat SqlSchemaIR.tables).`,
+          {
+            why: 'Two namespaces declare a table with the same name, which is ambiguous for the flat schema-IR table map.',
+            fix: 'Rename one of the tables so every table name is unique across namespaces.',
+            meta: { table: tableName },
+          },
         );
       }
       tables[tableName] = convertTable(

package/src/core/verify.ts

@@ -1,5 +1,6 @@
 import type { ContractMarkerRecord } from '@prisma-next/contract/types';
 import { type } from 'arktype';
+import { sqlFamilyError } from './errors';
 
 const MetaSchema = type({ '[string]': 'unknown' });
 
@@ -80,7 +81,15 @@ export function parseContractMarkerRow(row: unknown): ContractMarkerRecord {
   const result = ContractMarkerRowSchema(row);
   if (result instanceof type.errors) {
     const messages = result.map((p: { message: string }) => p.message).join('; ');
-    throw new Error(`Invalid contract marker row: ${messages}`);
+    throw sqlFamilyError(
+      'CONTRACT.MARKER_ROW_CORRUPT',
+      `Invalid contract marker row: ${messages}`,
+      {
+        why: 'The contract marker row read from the database does not match the expected marker shape.',
+        fix: 'Re-sign the database with `prisma-next db sign`, or repair the marker table.',
+        meta: { issues: messages },
+      },
+    );
   }
 
   const updatedAt = result.updated_at

package/dist/sql-contract-serializer-C75cfMSS.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"sql-contract-serializer-C75cfMSS.mjs","names":["isPlainRecord"],"sources":["../src/core/ir/sql-contract-serializer-base.ts","../src/core/ir/sql-contract-serializer.ts"],"sourcesContent":["import { ContractValidationError } from '@prisma-next/contract/contract-validation-error';\nimport { isPlainRecord } from '@prisma-next/contract/is-plain-record';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type { ContractSerializer } from '@prisma-next/framework-components/control';\nimport {\n  type AnyEntityKindDescriptor,\n  hydrateNamespaceEntities,\n  type Namespace,\n} from '@prisma-next/framework-components/ir';\nimport { sqlContractCanonicalizationHooks } from '@prisma-next/sql-contract/canonicalization-hooks';\nimport { composeSqlEntityKinds } from '@prisma-next/sql-contract/entity-kinds';\nimport {\n  isMaterializedSqlNamespace,\n  type SqlNamespaceInput,\n  SqlStorage,\n  type SqlStorageInput,\n  type SqlStorageTypeEntry,\n} from '@prisma-next/sql-contract/types';\nimport {\n  createSqlContractSchema,\n  validateSqlContractFully,\n} from '@prisma-next/sql-contract/validators';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { JsonObject, JsonValue } from '@prisma-next/utils/json';\nimport { type Type, type } from 'arktype';\n\nconst NamespaceRawSchema = type({\n  id: 'string',\n  'kind?': 'string',\n  entries: type({\n    '+': 'ignore',\n  }),\n});\n\nexport type SqlEntityHydrationFactory = (entry: unknown) => unknown;\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 */\nexport abstract class SqlContractSerializerBase<TContract extends Contract<SqlStorage>>\n  implements ContractSerializer<TContract>\n{\n  private readonly contractSchema: Type<unknown> | undefined;\n  private readonly entryKinds: ReadonlyMap<string, AnyEntityKindDescriptor>;\n\n  constructor(\n    protected readonly entityHydrationRegistry: ReadonlyMap<\n      string,\n      SqlEntityHydrationFactory\n    > = new Map(),\n    packEntityKinds: readonly AnyEntityKindDescriptor[] = [],\n  ) {\n    this.entryKinds = composeSqlEntityKinds(packEntityKinds);\n    this.contractSchema =\n      packEntityKinds.length > 0 ? createSqlContractSchema(this.entryKinds) : undefined;\n  }\n\n  deserializeContract<T extends TContract = TContract>(json: unknown): T {\n    const validated = this.parseSqlContractStructure(json);\n    const hydrated = this.hydrateSqlStorage(validated);\n    return this.constructTargetContract(hydrated) as T;\n  }\n\n  serializeContract(contract: TContract): JsonObject {\n    return contract as unknown as JsonObject;\n  }\n\n  shouldPreserveEmpty = sqlContractCanonicalizationHooks.shouldPreserveEmpty;\n\n  sortStorage = sqlContractCanonicalizationHooks.sortStorage;\n\n  protected parseSqlContractStructure(json: unknown): Contract<SqlStorage> {\n    return validateSqlContractFully<Contract<SqlStorage>>(\n      json,\n      this.contractSchema !== undefined ? { contractSchema: this.contractSchema } : undefined,\n    );\n  }\n\n  protected hydrateSqlStorage(validated: Contract<SqlStorage>): Contract<SqlStorage> {\n    const types = validated.storage.types;\n    const hydratedTypes =\n      types !== undefined\n        ? Object.fromEntries(\n            Object.entries(types).map(([name, entry]) => [\n              name,\n              this.hydrateStorageTypeEntry(entry),\n            ]),\n          )\n        : undefined;\n\n    const rawNamespaces = validated.storage.namespaces;\n    if (rawNamespaces === undefined) {\n      throw new ContractValidationError(\n        'Contract storage.namespaces is required after structural validation',\n        'structural',\n      );\n    }\n    const hydratedNamespaces = this.hydrateSqlNamespaceMap(\n      blindCast<\n        Readonly<Record<string, Record<string, unknown>>>,\n        'parseSqlContractStructure validated raw JSON; namespace entries are plain objects, not SqlNamespace instances.'\n      >(rawNamespaces),\n    );\n\n    return {\n      ...validated,\n      storage: new SqlStorage({\n        storageHash: validated.storage.storageHash,\n        ...ifDefined('types', hydratedTypes),\n        namespaces: blindCast<\n          SqlStorageInput['namespaces'],\n          'hydrateSqlNamespaceMap builds each namespace through the target serializer override, so every value is a SqlNamespace; the framework return type only promises the base Namespace.'\n        >(hydratedNamespaces),\n      }),\n    };\n  }\n\n  protected hydrateSqlNamespaceMap(\n    namespaces: Readonly<Record<string, Record<string, unknown>>>,\n  ): Readonly<Record<string, Namespace>> {\n    return Object.fromEntries(\n      Object.entries(namespaces).map(([nsId, namespaceEntryRaw]) => {\n        const namespaceHydrated = this.hydrateSqlNamespaceEntry(nsId, namespaceEntryRaw);\n        if (!isMaterializedSqlNamespace(namespaceHydrated)) {\n          throw new Error(\n            `Target serializer bug: hydrateSqlNamespaceEntry for namespace \"${nsId}\" returned a non-NamespaceBase value. Override hydrateSqlNamespaceEntry to produce a target namespace concretion.`,\n          );\n        }\n        return [nsId, namespaceHydrated];\n      }),\n    );\n  }\n\n  protected hydrateSqlNamespaceEntry(\n    nsId: string,\n    raw: Record<string, unknown>,\n  ): Namespace | SqlNamespaceInput {\n    const id = typeof raw['id'] === 'string' ? raw['id'] : nsId;\n    const parsed = NamespaceRawSchema({ ...raw, id });\n    if (parsed instanceof type.errors) {\n      const messages = parsed.map((p: { message: string }) => p.message).join('; ');\n      throw new ContractValidationError(`Namespace hydration failed: ${messages}`, 'structural');\n    }\n    const entriesRaw = parsed.entries;\n    const rawEntriesMap = isPlainRecord(entriesRaw) ? entriesRaw : {};\n\n    const entriesInput: Record<string, Readonly<Record<string, unknown>>> = {};\n    for (const [key, innerMap] of Object.entries(rawEntriesMap)) {\n      entriesInput[key] = isPlainRecord(innerMap) ? innerMap : Object.freeze({});\n    }\n\n    const entriesOutput = hydrateNamespaceEntities(entriesInput, this.entryKinds, 'fail', id);\n\n    // Always ensure a 'table' key is present (may be empty).\n    if (!Object.hasOwn(entriesOutput, 'table')) {\n      entriesOutput['table'] = {};\n    }\n\n    return blindCast<\n      SqlNamespaceInput,\n      'entriesOutput holds the hydrated SQL entity-kind maps (table always present); this wraps them as the SqlNamespaceInput the target createNamespace consumes.'\n    >({\n      id,\n      entries: entriesOutput,\n    });\n  }\n\n  protected hydrateStorageTypeEntry(entry: SqlStorageTypeEntry): SqlStorageTypeEntry {\n    if (typeof entry !== 'object' || entry === null) {\n      return entry;\n    }\n    const kind = (entry as { kind?: unknown }).kind;\n    if (typeof kind !== 'string') {\n      return entry;\n    }\n    const factory = this.entityHydrationRegistry.get(kind);\n    if (factory === undefined) {\n      return entry;\n    }\n    return blindCast<\n      SqlStorageTypeEntry,\n      'entity registry factory returns SqlStorageTypeEntry for storage.types entries'\n    >(factory(entry));\n  }\n\n  protected constructTargetContract(hydrated: Contract<SqlStorage>): TContract {\n    return hydrated as TContract;\n  }\n\n  /**\n   * Serializes a namespace's `entries` dict by walking every enumerable\n   * kind — no kind is named here, mirroring the generic hydrate walk in\n   * `hydrateSqlNamespaceEntry` above. `table` is the SQL family's one\n   * universal base kind (every namespace carries it), so it is always\n   * emitted, even when empty; every other kind — target- or\n   * pack-contributed — is emitted only when it holds at least one entry.\n   * A kind carried non-enumerable on `entries` is excluded here for free,\n   * since `Object.entries` honors enumerability.\n   */\n  protected serializeNamespaceEntries(\n    entries: Readonly<Record<string, Readonly<Record<string, unknown>>>>,\n  ): Record<string, Record<string, JsonObject>> {\n    const out: Record<string, Record<string, JsonObject>> = {\n      table: this.serializeEntries(entries['table'] ?? {}),\n    };\n    for (const [kind, record] of Object.entries(entries)) {\n      if (kind === 'table' || record == null || Object.keys(record).length === 0) {\n        continue;\n      }\n      out[kind] = this.serializeEntries(record);\n    }\n    return out;\n  }\n\n  private serializeEntries(entries: Readonly<Record<string, unknown>>): Record<string, JsonObject> {\n    const out: Record<string, JsonObject> = {};\n    for (const [name, entry] of Object.entries(entries)) {\n      out[name] = this.serializeJsonObject(entry);\n    }\n    return out;\n  }\n\n  protected serializeJsonObject(value: unknown): JsonObject {\n    return blindCast<\n      JsonObject,\n      'serializeJsonValue round-trips an IR node through JSON, yielding a JsonObject'\n    >(this.serializeJsonValue(value));\n  }\n\n  private serializeJsonValue(value: unknown): JsonValue {\n    return blindCast<JsonValue, 'JSON.parse(JSON.stringify(x)) yields a JsonValue'>(\n      JSON.parse(JSON.stringify(value)),\n    );\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SqlContractSerializerBase } from './sql-contract-serializer-base';\n\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 */\nexport class SqlContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {\n  constructor() {\n    super(new Map());\n  }\n}\n"],"mappings":";;;;;;;;;;;AA2BA,MAAM,qBAAqB,KAAK;CAC9B,IAAI;CACJ,SAAS;CACT,SAAS,KAAK,EACZ,KAAK,SACP,CAAC;AACH,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;AA4BD,IAAsB,4BAAtB,MAEA;CAKuB;CAJrB;CACA;CAEA,YACE,0CAGI,IAAI,IAAI,GACZ,kBAAsD,CAAC,GACvD;EALmB,KAAA,0BAAA;EAMnB,KAAK,aAAa,sBAAsB,eAAe;EACvD,KAAK,iBACH,gBAAgB,SAAS,IAAI,wBAAwB,KAAK,UAAU,IAAI,KAAA;CAC5E;CAEA,oBAAqD,MAAkB;EACrE,MAAM,YAAY,KAAK,0BAA0B,IAAI;EACrD,MAAM,WAAW,KAAK,kBAAkB,SAAS;EACjD,OAAO,KAAK,wBAAwB,QAAQ;CAC9C;CAEA,kBAAkB,UAAiC;EACjD,OAAO;CACT;CAEA,sBAAsB,iCAAiC;CAEvD,cAAc,iCAAiC;CAE/C,0BAAoC,MAAqC;EACvE,OAAO,yBACL,MACA,KAAK,mBAAmB,KAAA,IAAY,EAAE,gBAAgB,KAAK,eAAe,IAAI,KAAA,CAChF;CACF;CAEA,kBAA4B,WAAuD;EACjF,MAAM,QAAQ,UAAU,QAAQ;EAChC,MAAM,gBACJ,UAAU,KAAA,IACN,OAAO,YACL,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW,CAC3C,MACA,KAAK,wBAAwB,KAAK,CACpC,CAAC,CACH,IACA,KAAA;EAEN,MAAM,gBAAgB,UAAU,QAAQ;EACxC,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,wBACR,uEACA,YACF;EAEF,MAAM,qBAAqB,KAAK,uBAC9B,UAGE,aAAa,CACjB;EAEA,OAAO;GACL,GAAG;GACH,SAAS,IAAI,WAAW;IACtB,aAAa,UAAU,QAAQ;IAC/B,GAAG,UAAU,SAAS,aAAa;IACnC,YAAY,UAGV,kBAAkB;GACtB,CAAC;EACH;CACF;CAEA,uBACE,YACqC;EACrC,OAAO,OAAO,YACZ,OAAO,QAAQ,UAAU,CAAC,CAAC,KAAK,CAAC,MAAM,uBAAuB;GAC5D,MAAM,oBAAoB,KAAK,yBAAyB,MAAM,iBAAiB;GAC/E,IAAI,CAAC,2BAA2B,iBAAiB,GAC/C,MAAM,IAAI,MACR,kEAAkE,KAAK,kHACzE;GAEF,OAAO,CAAC,MAAM,iBAAiB;EACjC,CAAC,CACH;CACF;CAEA,yBACE,MACA,KAC+B;EAC/B,MAAM,KAAK,OAAO,IAAI,UAAU,WAAW,IAAI,QAAQ;EACvD,MAAM,SAAS,mBAAmB;GAAE,GAAG;GAAK;EAAG,CAAC;EAChD,IAAI,kBAAkB,KAAK,QAEzB,MAAM,IAAI,wBAAwB,+BADjB,OAAO,KAAK,MAA2B,EAAE,OAAO,CAAC,CAAC,KAAK,IACA,KAAK,YAAY;EAE3F,MAAM,aAAa,OAAO;EAC1B,MAAM,gBAAgBA,gBAAc,UAAU,IAAI,aAAa,CAAC;EAEhE,MAAM,eAAkE,CAAC;EACzE,KAAK,MAAM,CAAC,KAAK,aAAa,OAAO,QAAQ,aAAa,GACxD,aAAa,OAAOA,gBAAc,QAAQ,IAAI,WAAW,OAAO,OAAO,CAAC,CAAC;EAG3E,MAAM,gBAAgB,yBAAyB,cAAc,KAAK,YAAY,QAAQ,EAAE;EAGxF,IAAI,CAAC,OAAO,OAAO,eAAe,OAAO,GACvC,cAAc,WAAW,CAAC;EAG5B,OAAO,UAGL;GACA;GACA,SAAS;EACX,CAAC;CACH;CAEA,wBAAkC,OAAiD;EACjF,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC,OAAO;EAET,MAAM,OAAQ,MAA6B;EAC3C,IAAI,OAAO,SAAS,UAClB,OAAO;EAET,MAAM,UAAU,KAAK,wBAAwB,IAAI,IAAI;EACrD,IAAI,YAAY,KAAA,GACd,OAAO;EAET,OAAO,UAGL,QAAQ,KAAK,CAAC;CAClB;CAEA,wBAAkC,UAA2C;EAC3E,OAAO;CACT;;;;;;;;;;;CAYA,0BACE,SAC4C;EAC5C,MAAM,MAAkD,EACtD,OAAO,KAAK,iBAAiB,QAAQ,YAAY,CAAC,CAAC,EACrD;EACA,KAAK,MAAM,CAAC,MAAM,WAAW,OAAO,QAAQ,OAAO,GAAG;GACpD,IAAI,SAAS,WAAW,UAAU,QAAQ,OAAO,KAAK,MAAM,CAAC,CAAC,WAAW,GACvE;GAEF,IAAI,QAAQ,KAAK,iBAAiB,MAAM;EAC1C;EACA,OAAO;CACT;CAEA,iBAAyB,SAAwE;EAC/F,MAAM,MAAkC,CAAC;EACzC,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,OAAO,GAChD,IAAI,QAAQ,KAAK,oBAAoB,KAAK;EAE5C,OAAO;CACT;CAEA,oBAA8B,OAA4B;EACxD,OAAO,UAGL,KAAK,mBAAmB,KAAK,CAAC;CAClC;CAEA,mBAA2B,OAA2B;EACpD,OAAO,UACL,KAAK,MAAM,KAAK,UAAU,KAAK,CAAC,CAClC;CACF;AACF;;;;;;;;;;;;;;;;;AC9OA,IAAa,wBAAb,cAA2C,0BAAgD;CACzF,cAAc;EACZ,sBAAM,IAAI,IAAI,CAAC;CACjB;AACF"}

package/dist/verify-C-G0obRm.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-C-G0obRm.mjs","names":[],"sources":["../src/core/verify.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport { type } from 'arktype';\n\nconst MetaSchema = type({ '[string]': 'unknown' });\n\nfunction parseMeta(meta: unknown): Record<string, unknown> {\n  if (meta === null || meta === undefined) {\n    return {};\n  }\n\n  let parsed: unknown;\n  if (typeof meta === 'string') {\n    try {\n      parsed = JSON.parse(meta);\n    } catch {\n      return {};\n    }\n  } else {\n    parsed = meta;\n  }\n\n  const result = MetaSchema(parsed);\n  if (result instanceof type.errors) {\n    return {};\n  }\n\n  return result as Record<string, unknown>;\n}\n\n/**\n * SQLite stores `contract_json` as TEXT, so the wire shape is a JSON string;\n * Postgres uses `jsonb` and returns an already-parsed value. Normalize both\n * here so `ContractMarkerRecord.contractJson` is always the structured form.\n */\nfunction parseContractJson(value: unknown): unknown {\n  if (value === null || value === undefined) return null;\n  if (typeof value !== 'string') return value;\n  try {\n    return JSON.parse(value);\n  } catch {\n    return null;\n  }\n}\n\n/**\n * Wire shape of a `prisma_contract.marker` row as it comes out of a SQL\n * driver. Snake-cased to match the on-disk column names. Shared by every\n * SQL target's `readMarker` so each runner doesn't redeclare it inline.\n */\nexport type ContractMarkerRow = {\n  core_hash: string;\n  profile_hash: string;\n  contract_json: unknown | null;\n  canonical_version: number | null;\n  updated_at: Date | string;\n  app_tag: string | null;\n  meta: unknown | null;\n  // SQLite stores arrays as JSON-TEXT, so this is `string` on the wire from\n  // a SQLite driver and `string[]` from a Postgres driver. Targets normalize\n  // before passing to `parseContractMarkerRow`.\n  invariants: unknown;\n};\n\nconst ContractMarkerRowSchema = type({\n  core_hash: 'string',\n  profile_hash: 'string',\n  'contract_json?': 'unknown | null',\n  'canonical_version?': 'number | null',\n  'updated_at?': 'Date | string',\n  'app_tag?': 'string | null',\n  'meta?': 'unknown | null',\n  invariants: type('string').array(),\n});\n\n/**\n * Parses a contract marker row from database query result.\n * This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).\n */\nexport function parseContractMarkerRow(row: unknown): ContractMarkerRecord {\n  const result = ContractMarkerRowSchema(row);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Invalid contract marker row: ${messages}`);\n  }\n\n  const updatedAt = result.updated_at\n    ? result.updated_at instanceof Date\n      ? result.updated_at\n      : new Date(result.updated_at)\n    : new Date();\n\n  return {\n    storageHash: result.core_hash,\n    profileHash: result.profile_hash,\n    contractJson: parseContractJson(result.contract_json),\n    canonicalVersion: result.canonical_version ?? null,\n    updatedAt,\n    appTag: result.app_tag ?? null,\n    meta: parseMeta(result.meta),\n    invariants: result.invariants,\n  };\n}\n\n/**\n * Collects supported codec type IDs from adapter and extension manifests.\n * Returns a sorted, unique array of type IDs that are declared in the manifests.\n * This enables coverage checks by comparing contract column types against supported types.\n *\n * Note: This extracts type IDs from manifest type imports, not from runtime codec registries.\n * The manifests declare which codec types are available, but the actual type IDs\n * are defined in the codec-types TypeScript modules that are imported.\n *\n * For MVP, we return an empty array since extracting type IDs from TypeScript modules\n * would require runtime evaluation or static analysis. This can be enhanced later.\n */\nexport function collectSupportedCodecTypeIds(\n  descriptors: ReadonlyArray<{ readonly id: string }>,\n): readonly string[] {\n  // For MVP, return empty array\n  // Future enhancement: Extract type IDs from codec-types modules via static analysis\n  // or require manifests to explicitly list supported type IDs\n  void descriptors;\n  return [];\n}\n"],"mappings":";;AAGA,MAAM,aAAa,KAAK,EAAE,YAAY,UAAU,CAAC;AAEjD,SAAS,UAAU,MAAwC;CACzD,IAAI,SAAS,QAAQ,SAAS,KAAA,GAC5B,OAAO,CAAC;CAGV,IAAI;CACJ,IAAI,OAAO,SAAS,UAClB,IAAI;EACF,SAAS,KAAK,MAAM,IAAI;CAC1B,QAAQ;EACN,OAAO,CAAC;CACV;MAEA,SAAS;CAGX,MAAM,SAAS,WAAW,MAAM;CAChC,IAAI,kBAAkB,KAAK,QACzB,OAAO,CAAC;CAGV,OAAO;AACT;;;;;;AAOA,SAAS,kBAAkB,OAAyB;CAClD,IAAI,UAAU,QAAQ,UAAU,KAAA,GAAW,OAAO;CAClD,IAAI,OAAO,UAAU,UAAU,OAAO;CACtC,IAAI;EACF,OAAO,KAAK,MAAM,KAAK;CACzB,QAAQ;EACN,OAAO;CACT;AACF;AAqBA,MAAM,0BAA0B,KAAK;CACnC,WAAW;CACX,cAAc;CACd,kBAAkB;CAClB,sBAAsB;CACtB,eAAe;CACf,YAAY;CACZ,SAAS;CACT,YAAY,KAAK,QAAQ,CAAC,CAAC,MAAM;AACnC,CAAC;;;;;AAMD,SAAgB,uBAAuB,KAAoC;CACzE,MAAM,SAAS,wBAAwB,GAAG;CAC1C,IAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI;EAC5E,MAAM,IAAI,MAAM,gCAAgC,UAAU;CAC5D;CAEA,MAAM,YAAY,OAAO,aACrB,OAAO,sBAAsB,OAC3B,OAAO,aACP,IAAI,KAAK,OAAO,UAAU,oBAC5B,IAAI,KAAK;CAEb,OAAO;EACL,aAAa,OAAO;EACpB,aAAa,OAAO;EACpB,cAAc,kBAAkB,OAAO,aAAa;EACpD,kBAAkB,OAAO,qBAAqB;EAC9C;EACA,QAAQ,OAAO,WAAW;EAC1B,MAAM,UAAU,OAAO,IAAI;EAC3B,YAAY,OAAO;CACrB;AACF;;;;;;;;;;;;;AAcA,SAAgB,6BACd,aACmB;CAKnB,OAAO,CAAC;AACV"}