@prisma-next/contract 0.3.0-dev.142 → 0.3.0-dev.144

package/dist/{types-DmKtoEd-.d.mts → contract-types-Cd9ic3zL.d.mts}

@@ -33,22 +33,6 @@ interface ContractModel<TModelStorage extends ModelStorageBase = ModelStorageBas
   readonly base?: string;
   readonly owner?: string;
 }
-/** @deprecated Use {@link ContractField} */
-type DomainField = ContractField;
-/** @deprecated Use {@link ContractRelationOn} */
-type DomainRelationOn = ContractRelationOn;
-/** @deprecated Use {@link ContractReferenceRelation} */
-type DomainReferenceRelation = ContractReferenceRelation;
-/** @deprecated Use {@link ContractEmbedRelation} */
-type DomainEmbedRelation = ContractEmbedRelation;
-/** @deprecated Use {@link ContractRelation} */
-type DomainRelation = ContractRelation;
-/** @deprecated Use {@link ContractDiscriminator} */
-type DomainDiscriminator = ContractDiscriminator;
-/** @deprecated Use {@link ContractVariantEntry} */
-type DomainVariantEntry = ContractVariantEntry;
-/** @deprecated Use {@link ContractModel} */
-type DomainModel = ContractModel;
 type HasModelsWithRelations = {
   readonly models: Record<string, {
     readonly relations: Record<string, ContractRelation>;
@@ -100,21 +84,6 @@ declare function profileHash<const T extends string>(value: T): ProfileHashBase<
 interface StorageBase<THash extends string = string> {
   readonly storageHash: StorageHashBase<THash>;
 }
-interface ContractBase<TStorageHash extends StorageHashBase<string> = StorageHashBase<string>, TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>, TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>> {
-  readonly schemaVersion: string;
-  readonly target: string;
-  readonly targetFamily: string;
-  readonly storageHash: TStorageHash;
-  readonly executionHash?: TExecutionHash | undefined;
-  readonly profileHash?: TProfileHash | undefined;
-  readonly capabilities: Record<string, Record<string, boolean>>;
-  readonly extensionPacks: Record<string, unknown>;
-  readonly meta: Record<string, unknown>;
-  readonly sources: Record<string, Source>;
-  readonly execution?: ExecutionSection;
-  readonly roots: Record<string, string>;
-  readonly models: Record<string, DomainModel>;
-}
 interface FieldType {
   readonly type: string;
   readonly nullable: boolean;
@@ -198,15 +167,6 @@ interface DocCollection {
   readonly indexes?: ReadonlyArray<DocIndex>;
   readonly readOnly?: boolean;
 }
-interface DocumentStorage {
-  readonly document: {
-    readonly collections: Record<string, DocCollection>;
-  };
-}
-interface DocumentContract<TStorageHash extends StorageHashBase<string> = StorageHashBase<string>, TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>, TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>> extends ContractBase<TStorageHash, TExecutionHash, TProfileHash> {
-  readonly targetFamily: string;
-  readonly storage: DocumentStorage;
-}
 interface ParamDescriptor {
   readonly index?: number;
   readonly name?: string;
@@ -281,10 +241,6 @@ interface ExecutionPlan<Row = unknown, Ast = unknown> {
 type ResultType<P> = P extends ExecutionPlan<infer R, unknown> ? R : P extends {
   readonly _Row?: infer R;
 } ? R : never;
-/**
- * Type guard to check if a contract is a Document contract
- */
-declare function isDocumentContract(contract: unknown): contract is DocumentContract;
 /**
  * Contract marker record stored in the database.
  * Represents the current contract identity for a database.
@@ -299,5 +255,49 @@ interface ContractMarkerRecord {
   readonly meta: Record<string, unknown>;
 }
 //#endregion
-export { DomainRelation as $, TaggedBigInt as A, ContractDiscriminator as B, PlanMeta as C, Source as D, ResultType as E, executionHash as F, ContractRelation as G, ContractField as H, isDocumentContract as I, DomainDiscriminator as J, ContractRelationOn as K, isTaggedBigInt as L, TaggedRaw as M, bigintJsonReplacer as N, StorageBase as O, coreHash as P, DomainReferenceRelation as Q, isTaggedRaw as R, ParamDescriptor as S, ProfileHashBase as T, ContractModel as U, ContractEmbedRelation as V, ContractReferenceRelation as W, DomainField as X, DomainEmbedRelation as Y, DomainModel as Z, Expr as _, ColumnDefaultLiteralValue as a, JsonPrimitive as b, DocCollection as c, DocumentStorage as d, DomainRelationOn as et, ExecutionHashBase as f, ExecutionSection as g, ExecutionPlan as h, ColumnDefaultLiteralInputValue as i, ReferenceRelationKeys as it, TaggedLiteralValue as j, StorageHashBase as k, DocIndex as l, ExecutionMutationDefaultValue as m, Brand as n, EmbedRelationKeys as nt, ContractBase as o, ExecutionMutationDefault as p, ContractVariantEntry as q, ColumnDefault as r, ModelStorageBase as rt, ContractMarkerRecord as s, $ as t, DomainVariantEntry as tt, DocumentContract as u, FieldType as v, PlanRefs as w, JsonValue as x, GeneratedValueSpec as y, profileHash as z };
-//# sourceMappingURL=types-DmKtoEd-.d.mts.map
+//#region src/contract-types.d.ts
+/**
+ * Execution section for the unified contract (ADR 182).
+ *
+ * Unlike the legacy {@link import('./types').ExecutionSection}, this type
+ * requires `executionHash` — when an execution section is present, its
+ * hash must be too (consistent with `StorageBase.storageHash`).
+ *
+ * @template THash  Literal hash string type for type-safe hash tracking.
+ */
+type ContractExecutionSection<THash extends string = string> = {
+  readonly executionHash: ExecutionHashBase<THash>;
+  readonly mutations: {
+    readonly defaults: ReadonlyArray<ExecutionMutationDefault>;
+  };
+};
+/**
+ * Unified contract representation (ADR 182).
+ *
+ * A `Contract` is the canonical in-memory representation of a data contract.
+ * It is model-first (domain models carry their own storage bridge) and
+ * family-parameterized (SQL, Mongo, etc. specialize via `TStorage` and model
+ * storage generics on `ContractModel`).
+ *
+ * JSON persistence fields (`schemaVersion`, `sources`) are not represented
+ * here — they are handled at the serialization boundary.
+ *
+ * @template TStorage  Family-specific storage block (extends {@link StorageBase}).
+ * @template TModels   Record of model name → {@link ContractModel} with
+ *                     family-specific model storage.
+ */
+interface Contract<TStorage extends StorageBase = StorageBase, TModels extends Record<string, ContractModel> = Record<string, ContractModel>> {
+  readonly target: string;
+  readonly targetFamily: string;
+  readonly roots: Record<string, string>;
+  readonly models: TModels;
+  readonly storage: TStorage;
+  readonly capabilities: Record<string, Record<string, boolean>>;
+  readonly extensionPacks: Record<string, unknown>;
+  readonly execution?: ContractExecutionSection;
+  readonly profileHash: ProfileHashBase<string>;
+  readonly meta: Record<string, unknown>;
+}
+//#endregion
+export { TaggedLiteralValue as A, ContractField as B, PlanRefs as C, StorageBase as D, Source as E, isTaggedBigInt as F, ContractVariantEntry as G, ContractReferenceRelation as H, isTaggedRaw as I, ReferenceRelationKeys as J, EmbedRelationKeys as K, profileHash as L, bigintJsonReplacer as M, coreHash as N, StorageHashBase as O, executionHash as P, ContractDiscriminator as R, PlanMeta as S, ResultType as T, ContractRelation as U, ContractModel as V, ContractRelationOn as W, FieldType as _, ColumnDefault as a, JsonValue as b, ContractMarkerRecord as c, ExecutionHashBase as d, ExecutionMutationDefault as f, Expr as g, ExecutionSection as h, Brand as i, TaggedRaw as j, TaggedBigInt as k, DocCollection as l, ExecutionPlan as m, ContractExecutionSection as n, ColumnDefaultLiteralInputValue as o, ExecutionMutationDefaultValue as p, ModelStorageBase as q, $ as r, ColumnDefaultLiteralValue as s, Contract as t, DocIndex as u, GeneratedValueSpec as v, ProfileHashBase as w, ParamDescriptor as x, JsonPrimitive as y, ContractEmbedRelation as z };
+//# sourceMappingURL=contract-types-Cd9ic3zL.d.mts.map

package/dist/contract-types-Cd9ic3zL.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-types-Cd9ic3zL.d.mts","names":[],"sources":["../src/domain-types.ts","../src/types.ts","../src/contract-types.ts"],"sourcesContent":[],"mappings":";KAAY,aAAA;EAAA,SAAA,QAAa,EAAA,OAAA;EAKb,SAAA,OAAA,EAAA,MAAkB;AAK9B,CAAA;AAMY,KAXA,kBAAA,GAWqB;EAKrB,SAAA,WAAgB,EAAA,SAAG,MAAA,EAAA;EAEnB,SAAA,YAAA,EAAA,SAAqB,MAAA,EAAA;AAIjC,CAAA;AAIY,KArBA,yBAAA,GAqB4B;EAEvB,SAAA,EAAA,EAAA,MAAa;EAAuB,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA,GAAA,KAAA;EAAmB,SAAA,EAAA,EApBzD,kBAoByD;CACtC;AAAf,KAlBP,qBAAA,GAkBO;EACkB,SAAA,EAAA,EAAA,MAAA;EAAf,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA;CACF;AACO,KAhBf,gBAAA,GAAmB,yBAgBJ,GAhBgC,qBAgBhC;AACU,KAfzB,qBAAA,GAeyB;EAAf,SAAA,KAAA,EAAA,MAAA;CAAM;AASvB,KApBO,oBAAA,GAoBe;EAC4C,SAAA,KAAA,EAAA,MAAA;CAAf;AAArC,KAjBP,gBAAA,GAAmB,QAiBZ,CAjBqB,MAiBrB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;AAAM,UAfR,aAeQ,CAAA,sBAf4B,gBAe5B,GAf+C,gBAe/C,CAAA,CAAA;EAGb,SAAA,MAAA,EAjBO,MAiBP,CAAqB,MAAA,EAjBC,aAiBD,CAAA;EACb,SAAA,SAAA,EAjBE,MAiBF,CAAA,MAAA,EAjBiB,gBAiBjB,CAAA;EACe,SAAA,OAAA,EAjBf,aAiBe;EAErB,SAAA,aAAA,CAAA,EAlBa,qBAkBb;EAAoB,SAAA,QAAA,CAAA,EAjBZ,MAiBY,CAAA,MAAA,EAjBG,oBAiBH,CAAA;EAA0B,SAAA,IAAA,CAAA,EAAA,MAAA;EAAoB,SAAA,KAAA,CAAA,EAAA,MAAA;;KAR3E,sBAAA,GAQ8G;EAC7G,SAAA,MAAA,EARa,MAQb,CAAA,MAAA,EAAA;IAEE,SAAA,SAAA,EAVgD,MAUhD,CAAA,MAAA,EAV+D,gBAU/D,CAAA;EAAoB,CAAA,CAAA;CAAS;AAEzB,KATA,qBASiB,CAAA,kBART,sBAQS,EAAA,kBAAA,MAAA,GAAA,MAPM,SAON,CAAA,QAAA,CAAA,CAAA,GAAA,QACT,MANN,SAMM,CAAA,QAAA,CAAA,CANc,SAMd,CAAA,CAAA,WAAA,CAAA,GANwC,SAMxC,CAAA,QAAA,CAAA,CAN4D,SAM5D,CAAA,CAAA,WAAA,CAAA,CANoF,CAMpF,CAAA,SAN+F,yBAM/F,GALd,CAKc,GAAA,KAAA,EACe,CAAA,MAJ3B,SAI2B,CAAA,QAAA,CAAA,CAJP,SAIO,CAAA,CAAA,WAAA,CAAA,CAAA;AAErB,KAJF,iBAIE,CAAA,kBAHM,sBAGN,EAAA,kBAAA,MAAA,GAAA,MAFqB,SAErB,CAAA,QAAA,CAAA,CAAA,GAAA,QAAoB,MAApB,SAAoB,CAAA,QAAA,CAAA,CAAA,SAAA,CAAA,CAAA,WAAA,CAAA,GAA0B,SAA1B,CAAA,QAAA,CAAA,CAA8C,SAA9C,CAAA,CAAA,WAAA,CAAA,CAAsE,CAAtE,CAAA,SAAiF,yBAAjF,GAAA,KAAA,GAE5B,CAF4B,EAA0B,CAAA,MAGpD,SAHoD,CAAA,QAAA,CAAA,CAGhC,SAHgC,CAAA,CAAA,WAAA,CAAA,CAAA;;;;AAhE5D;AAKA;AAKY,cCPC,CDOD,EAAA,OAAA,MAAyB;AAMrC;AAKA;AAEA;AAIA;AAIA;AAEA;AAAqD,KCtBzC,KDsByC,CAAA,aAAA,MAAA,GAAA,MAAA,GAAA,MAAA,EAAA,SAAA,IAAA,CAAA,GAAA;EAAmB,CCrBrE,CAAA,CDqBqE,EAAA,QCpB9D,IDqBwB,GCrBjB,MDqBiB,EAAf;CACkB;;;;;;AAGT,KChBhB,eDgBgB,CAAA,cAAA,MAAA,CAAA,GChBwB,KDgBxB,GChBgC,KDgBhC,CAAA,aAAA,CAAA;AAG3B;;;;;AAUW,KCtBA,iBDsBqB,CAAA,cAAA,MAAA,CAAA,GCtBqB,KDsBrB,GCtB6B,KDsB7B,CAAA,eAAA,CAAA;AACb,iBCrBJ,aDqBI,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECrByC,CDqBzC,CAAA,ECrB6C,iBDqB7C,CCrB+D,CDqB/D,CAAA;AACe,iBClBnB,QDkBmB,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,EClBqB,CDkBrB,CAAA,EClByB,eDkBzB,CClByC,CDkBzC,CAAA;;;;;;AAEgF,KCXvG,eDWuG,CAAA,cAAA,MAAA,CAAA,GCX/D,KDW+D,GCXvD,KDWuD,CAAA,aAAA,CAAA;AAC7G,iBCVU,WDUV,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECVqD,CDUrD,CAAA,ECVyD,eDUzD,CCVyE,CDUzE,CAAA;;;;AAIN;;AAEmC,UCPlB,WDOkB,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,CAAA;EAErB,SAAA,WAAA,ECRU,eDQV,CCR0B,KDQ1B,CAAA;;AAA8C,UCL3C,SAAA,CDK2C;EAAoB,SAAA,IAAA,EAAA,MAAA;EAAwB,SAAA,QAAA,EAAA,OAAA;EAAW,SAAA,KAAA,CAAA,ECFhG,SDEgG;EAE7G,SAAA,UAAA,CAAA,ECHkB,MDGlB,CAAA,MAAA,ECHiC,SDGjC,CAAA;;AACsB,KCDhB,kBAAA,GDCgB;EAAS,SAAA,EAAA,EAAA,MAAA;oBCCjB;;KAGR,aAAA;AApEC,KAsED,SAAA,GACR,aAvE2D,GAAA;EAQnD,UAAK,GAAA,EAAA,MAAA,CAAA,EAgEa,SAhEb;CAEP,GAAA,SA+DG,SA/DH,EAAA;AAAO,KAiEL,YAAA,GAjEK;EADd,SAAA,KAAA,EAAA,QAAA;EAAC,SAAA,KAAA,EAAA,MAAA;AAUJ,CAAA;AAOY,iBAmDI,cAAA,CAnDa,KAAyB,EAAA,OAAa,CAAA,EAAA,KAAA,IAmDV,YAnDU;AAEnD,iBA0DA,kBAAA,CA1Da,IAAA,EAAA,MAAA,EAAA,KAAA,EAAA,OAAA,CAAA,EAAA,OAAA;AAAgC,KAiEjD,SAAA,GAjEiD;EAAsB,SAAA,KAAA,EAAA,KAAA;EAAlB,SAAA,KAAA,EAiEA,SAjEA;CAAiB;AAIlE,iBA+DA,WAAA,CA/DQ,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IA+D8B,SA/D9B;AAAgC,KAwE5C,kBAAA,GAAqB,YAxEuB,GAwER,SAxEQ;AAAoB,KA0EhE,yBAAA,GAA4B,SA1EoC,GA0ExB,kBA1EwB;AAAhB,KA4EhD,8BAAA,GAAiC,yBA5Ee,GAAA,MAAA,GA4EsB,IA5EtB;AAAe,KA8E/D,aAAA,GA9E+D;EAS/D,SAAA,IAAA,EAAA,SAAe;EAEX,SAAA,KAAW,EAsEL,8BAtEK;CAAgC,GAAA;EAAoB,SAAA,IAAA,EAAA,UAAA;EAAhB,SAAA,UAAA,EAAA,MAAA;CAAe;AAS7D,KAiEL,6BAAA,GAhEY;EAGP,SAAA,IAAS,EAAA,WAAA;EAGP,SAAA,EAAA,EA4DJ,kBA5DI,CAAA,IAAA,CAAA;EACoB,SAAA,MAAA,CAAA,EA4DnB,MA5DmB,CAAA,MAAA,EAAA,OAAA,CAAA;CAAf;AAAM,KA+DlB,wBAAA,GA/DkB;EAGlB,SAAA,GAAA,EAAA;IAKA,SAAA,KAAa,EAAA,MAAA;IAEb,SAAS,MAAA,EAAA,MAAA;EACjB,CAAA;EAC0B,SAAA,QAAA,CAAA,EAqDR,6BArDQ;EACjB,SAAA,QAAA,CAAA,EAqDS,6BArDT;CAAS;AAEV,KAsDA,gBAtDY,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EAER,SAAA,aAAc,EAqDJ,iBArD+B,CAqDb,KArDyB,CAAA;EASrD,SAAA,SAAA,EAAA;IAOJ,SAAS,QAAA,EAuCE,aAvCmD,CAuCrC,wBAvCqC,CAAA;EAE1D,CAAA;AAShB,CAAA;AAEY,UA8BK,MAAA,CA9BL;EAEA,SAAA,QAAA,EAAA,OAAA;EAEA,SAAA,UAAa,EA4BF,MA5BE,CAGH,MAAA,EAyBgB,SAzBhB,CAAA;EAIV,SAAA,MAAA,CAAA,EAsBQ,MAtBR,CAAA,MAAA,EAA6B,OAAA,CAAA;EAM7B,SAAA,YAAA,CAAA,EAiBc,MAjBU,CAAA,MAAA,EAEd,OAAA,CAAA;AAItB;AAC4C,UAc3B,QAAA,CAd2B;EAAlB,SAAA,IAAA,EAAA,MAAA;EAEW,SAAA,IAAA,EAcpB,MAdoB,CAAA,MAAA,EAAA,KAAA,GAAA,MAAA,CAAA;EAAd,SAAA,MAAA,CAAA,EAAA,OAAA;EAAa,SAAA,KAAA,CAAA,EAgBjB,IAhBiB;AAIpC;AAEsC,KAa1B,IAAA,GAb0B;EAAf,SAAA,IAAA,EAAA,IAAA;EACH,SAAA,IAAA,EAasB,aAbtB,CAAA,MAAA,CAAA;EACM,SAAA,KAAA,EAAA,OAAA;CAAM,GAAA;EAIf,SAAA,IAAQ,EAAA,QAER;EAKL,SAAI,IAAA,EAE8B,aADJ,CAAA,MACI,CAAA;AAE9C,CAAA;AAKkC,UALjB,aAAA,CAKiB;EAAf,SAAA,IAAA,EAAA,MAAA;EACgB,SAAA,EAAA,CAAA,EAAA;IAAd,SAAA,QAAA,EAAA,MAAA,GAAA,QAAA,GAAA,MAAA,GAAA,UAAA;EAAa,CAAA;EAKjB,SAAA,MAAA,EANE,MAMa,CAAA,MAAA,EANE,SAMF,CAAA;EAUf,SAAA,OAAQ,CAAA,EAfJ,aAeI,CAfU,QAeV,CAAA;EAEJ,SAAA,QAAA,CAAA,EAAA,OAAA;;AACA,UAbJ,eAAA,CAaI;EAAa,SAAA,KAAA,CAAA,EAAA,MAAA;EAOjB,SAAA,IAAQ,CAAA,EAAA,MAAA;EAOZ,SAAA,OAAA,CAAA,EAAA,MAAA;EAG8B,SAAA,UAAA,CAAA,EAAA,MAAA;EAAd,SAAA,QAAA,CAAA,EAAA,OAAA;EACX,SAAA,MAAA,EAAA,KAAA,GAAA,KAAA,GAAA,MAAA;EACM,SAAA,IAAA,CAAA,EAAA;IAAyB,KAAA,EAAA,MAAA;IAKpB,MAAA,EAAA,MAAA;EAAM,CAAA;AAYnC;AAGiB,UA1CA,QAAA,CA0CA;EACA,SAAA,MAAA,CAAA,EAAA,SAAA,MAAA,EAAA;EAKC,SAAA,OAAA,CAAA,EA9CG,aA8CH,CAAA;IAAG,KAAA,EAAA,MAAA;IAWT,MAAA,EAAA,MAAU;EACpB,CAAA,CAAA;EAAU,SAAA,OAAA,CAAA,EAzDS,aAyDT,CAAA;IAAsC,SAAA,KAAA,EAAA,MAAA;IAAC,SAAA,OAAA,EAvD7B,aAuD6B,CAAA,MAAA,CAAA;IAMlC,SAAA,IAAA,CAAA,EAAA,MAAoB;;;UAxDpB,QAAA;EC5KL,SAAA,MAAA,EAAA,MAAA;EACgC,SAAA,YAAA,CAAA,EAAA,MAAA;EAAlB,SAAA,WAAA,EAAA,MAAA;EAEW,SAAA,WAAA,CAAA,EAAA,MAAA;EAAd,SAAA,IAAA,EAAA,MAAA;EAAa,SAAA,WAAA,CAAA,EAAA;IAmBnB,MAAA,CAAQ,ED6JZ,MC7JY,CAAA,MAAA,EAAA,MAAA,CAAA;IACN,CAAA,GAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EAAc,CAAA;EACA,SAAA,gBAAA,ED8JJ,aC9JI,CD8JU,eC9JV,CAAA;EAAf,SAAA,IAAA,CAAA,ED+JA,QC/JA;EAA+C,SAAA,UAAA,CAAA,EDgKzC,MChKyC,CAAA,MAAA,EAAA,MAAA,CAAA,GDgKhB,aChKgB,CAAA,MAAA,CAAA;EAAf;;;;EAOV,SAAA,eAAA,CAAA,ED8JX,MC9JW,CAAA,MAAA,EAAA,MAAA,CAAA;;;;;;;;;;;UD0KvB;;;iBAGA;iBACA;;;;;kBAKC;;;;;;;;;;KAWN,gBACV,UAAU,sCAAsC;;;;;;;UAMjC,oBAAA;;;;;sBAKK;;iBAEL;;;;ADvPjB;AAKA;AAMA;AAKA;AAEA;AAIA;AAIA;AAEA;;AAAwE,KEhB5D,wBFgB4D,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EACtC,SAAA,aAAA,EEhBR,iBFgBQ,CEhBU,KFgBV,CAAA;EAAf,SAAA,SAAA,EAAA;IACkB,SAAA,QAAA,EEfd,aFec,CEfA,wBFeA,CAAA;EAAf,CAAA;CACF;;;;;AAKnB;;;;;AAUD;;;;;;AAIgF,UEhB/D,QFgB+D,CAAA,iBEf7D,WFe6D,GEf/C,WFe+C,EAAA,gBEd9D,MFc8D,CAAA,MAAA,EEd/C,aFc+C,CAAA,GEd9B,MFc8B,CAAA,MAAA,EEdf,aFce,CAAA,CAAA,CAAA;EAAwB,SAAA,MAAA,EAAA,MAAA;EAAW,SAAA,YAAA,EAAA,MAAA;EAC7G,SAAA,KAAA,EEXY,MFWZ,CAAA,MAAA,EAAA,MAAA,CAAA;EAEE,SAAA,MAAA,EEZW,OFYX;EAAoB,SAAA,OAAA,EEXR,QFWQ;EAAS,SAAA,YAAA,EEVZ,MFUY,CAAA,MAAA,EEVG,MFUH,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EAEzB,SAAA,cAAiB,EEXF,MFWE,CAAA,MAAA,EAAA,OAAA,CAAA;EACT,SAAA,SAAA,CAAA,EEXG,wBFWH;EACe,SAAA,WAAA,EEXX,eFWW,CAAA,MAAA,CAAA;EAErB,SAAA,IAAA,EEZG,MFYH,CAAA,MAAA,EAAA,OAAA,CAAA"}

package/dist/{hashing-D1EPxYRl.mjs → hashing-BHjb-IPM.mjs}

@@ -1,5 +1,6 @@
-import { t as bigintJsonReplacer } from "./types-DYikGC04.mjs";
+import { t as bigintJsonReplacer } from "./types-BP4dqfP-.mjs";
 import { isArrayEqual } from "@prisma-next/utils/array-equal";
+import { ifDefined } from "@prisma-next/utils/defined";
 import { createHash } from "node:crypto";
 
 //#region src/canonicalization.ts
@@ -33,7 +34,6 @@ function omitDefaults(obj, path) {
 	for (const [key, value] of Object.entries(obj)) {
 		const currentPath = [...path, key];
 		if (key === "_generated") continue;
-		if (key === "nullable" && value === false) continue;
 		if (key === "generated" && value === false) continue;
 		if ((key === "onDelete" || key === "onUpdate") && value === "noAction") continue;
 		if (isDefaultValue(value)) {
@@ -81,7 +81,7 @@ function omitDefaults(obj, path) {
 				"foreignKeys"
 			]);
 			const isFkBooleanField = currentPath.length === 5 && currentPath[0] === "storage" && currentPath[1] === "tables" && currentPath[3] === "foreignKeys" && (key === "constraint" || key === "index");
-			if (!isRequiredModels && !isRequiredTables && !isRequiredCollections && !isCollectionEntry && !isRequiredRoots && !isRequiredExtensionPacks && !isRequiredCapabilities && !isRequiredMeta && !isRequiredExecutionDefaults && !isExtensionNamespace && !isModelRelations && !isModelStorage && !isTableUniques && !isTableIndexes && !isTableForeignKeys && !isFkBooleanField) continue;
+			if (!isRequiredModels && !isRequiredTables && !isRequiredCollections && !isCollectionEntry && !isRequiredRoots && !isRequiredExtensionPacks && !isRequiredCapabilities && !isRequiredMeta && !isRequiredExecutionDefaults && !isExtensionNamespace && !isModelRelations && !isModelStorage && !isTableUniques && !isTableIndexes && !isTableForeignKeys && !isFkBooleanField && !(key === "nullable")) continue;
 		}
 		result[key] = omitDefaults(value, currentPath);
 	}
@@ -136,20 +136,19 @@ function orderTopLevel(obj) {
 	for (const key of Array.from(remaining).sort()) ordered[key] = obj[key];
 	return ordered;
 }
-function canonicalizeContractToObject(input) {
-	const i = input;
+function canonicalizeContractToObject(contract, options) {
 	const withDefaultsOmitted = omitDefaults({
-		...i["schemaVersion"] !== void 0 ? { schemaVersion: i["schemaVersion"] } : {},
-		targetFamily: i["targetFamily"],
-		target: i["target"],
-		...i["profileHash"] !== void 0 ? { profileHash: i["profileHash"] } : {},
-		roots: i["roots"],
-		models: i["models"],
-		storage: i["storage"],
-		...i["execution"] !== void 0 ? { execution: i["execution"] } : {},
-		extensionPacks: i["extensionPacks"],
-		capabilities: i["capabilities"],
-		meta: i["meta"]
+		...ifDefined("schemaVersion", options?.schemaVersion),
+		targetFamily: contract.targetFamily,
+		target: contract.target,
+		profileHash: contract.profileHash,
+		roots: contract.roots,
+		models: contract.models,
+		storage: contract.storage,
+		...ifDefined("execution", contract.execution),
+		extensionPacks: contract.extensionPacks,
+		capabilities: contract.capabilities,
+		meta: contract.meta
 	}, []);
 	const withSortedIndexes = sortIndexesAndUniques(withDefaultsOmitted["storage"]);
 	return orderTopLevel(sortObjectKeys({
@@ -157,8 +156,8 @@ function canonicalizeContractToObject(input) {
 		storage: withSortedIndexes
 	}));
 }
-function canonicalizeContract(input) {
-	return JSON.stringify(canonicalizeContractToObject(input), bigintJsonReplacer, 2);
+function canonicalizeContract(contract, options) {
+	return JSON.stringify(canonicalizeContractToObject(contract, options), bigintJsonReplacer, 2);
 }
 
 //#endregion
@@ -169,47 +168,31 @@ function sha256(content) {
 	hash.update(content);
 	return `sha256:${hash.digest("hex")}`;
 }
-function computeStorageHash(args) {
-	return sha256(canonicalizeContract({
-		schemaVersion: SCHEMA_VERSION,
-		targetFamily: args.targetFamily,
-		target: args.target,
-		storage: args.storage,
+function hashContract(section) {
+	return canonicalizeContract({
+		targetFamily: section["targetFamily"],
+		target: section["target"],
 		roots: {},
 		models: {},
+		storage: section["storage"] ?? {},
+		execution: section["execution"],
 		extensionPacks: {},
-		capabilities: {},
-		meta: {}
-	}));
+		capabilities: section["capabilities"] ?? {},
+		meta: {},
+		profileHash: "",
+		...section
+	}, { schemaVersion: SCHEMA_VERSION });
+}
+function computeStorageHash(args) {
+	return sha256(hashContract(args));
 }
 function computeExecutionHash(args) {
-	return sha256(canonicalizeContract({
-		schemaVersion: SCHEMA_VERSION,
-		targetFamily: args.targetFamily,
-		target: args.target,
-		execution: args.execution,
-		roots: {},
-		models: {},
-		storage: {},
-		extensionPacks: {},
-		capabilities: {},
-		meta: {}
-	}));
+	return sha256(hashContract(args));
 }
 function computeProfileHash(args) {
-	return sha256(canonicalizeContract({
-		schemaVersion: SCHEMA_VERSION,
-		targetFamily: args.targetFamily,
-		target: args.target,
-		capabilities: args.capabilities,
-		roots: {},
-		models: {},
-		storage: {},
-		extensionPacks: {},
-		meta: {}
-	}));
+	return sha256(hashContract(args));
 }
 
 //#endregion
 export { canonicalizeContractToObject as a, canonicalizeContract as i, computeProfileHash as n, computeStorageHash as r, computeExecutionHash as t };
-//# sourceMappingURL=hashing-D1EPxYRl.mjs.map
+//# sourceMappingURL=hashing-BHjb-IPM.mjs.map

package/dist/hashing-BHjb-IPM.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"hashing-BHjb-IPM.mjs","names":["result: Record<string, unknown>","sorted: Record<string, unknown>","result: StorageObject","sortedTable: TableObject","ordered: Record<string, unknown>"],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"sourcesContent":["import { isArrayEqual } from '@prisma-next/utils/array-equal';\nimport { ifDefined } from '@prisma-next/utils/defined';\n\nimport type { Contract } from './contract-types';\nimport { bigintJsonReplacer } from './types';\n\nconst TOP_LEVEL_ORDER = [\n  'schemaVersion',\n  'canonicalVersion',\n  'targetFamily',\n  'target',\n  'profileHash',\n  'roots',\n  'models',\n  'storage',\n  'execution',\n  'capabilities',\n  'extensionPacks',\n  'meta',\n] as const;\n\nfunction isDefaultValue(value: unknown): boolean {\n  if (value === false) return true;\n  if (value === null) return false;\n  if (value instanceof Date) return false;\n  if (Array.isArray(value) && value.length === 0) return true;\n  if (typeof value === 'object' && value !== null) {\n    const keys = Object.keys(value);\n    return keys.length === 0;\n  }\n  return false;\n}\n\nfunction omitDefaults(obj: unknown, path: readonly string[]): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (obj instanceof Date) {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => omitDefaults(item, path));\n  }\n\n  const result: Record<string, unknown> = {};\n\n  for (const [key, value] of Object.entries(obj)) {\n    const currentPath = [...path, key];\n\n    if (key === '_generated') {\n      continue;\n    }\n\n    if (key === 'generated' && value === false) {\n      continue;\n    }\n\n    if ((key === 'onDelete' || key === 'onUpdate') && value === 'noAction') {\n      continue;\n    }\n\n    if (isDefaultValue(value)) {\n      const isRequiredModels = isArrayEqual(currentPath, ['models']);\n      const isRequiredTables = isArrayEqual(currentPath, ['storage', 'tables']);\n      const isRequiredCollections = isArrayEqual(currentPath, ['storage', 'collections']);\n      const isCollectionEntry =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[1]], ['storage', 'collections']);\n      const isRequiredRoots = isArrayEqual(currentPath, ['roots']);\n      const isRequiredExtensionPacks = isArrayEqual(currentPath, ['extensionPacks']);\n      const isRequiredCapabilities = isArrayEqual(currentPath, ['capabilities']);\n      const isRequiredMeta = isArrayEqual(currentPath, ['meta']);\n      const isRequiredExecutionDefaults = isArrayEqual(currentPath, [\n        'execution',\n        'mutations',\n        'defaults',\n      ]);\n      const isExtensionNamespace = currentPath.length === 2 && currentPath[0] === 'extensionPacks';\n      const isModelRelations =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[2]], ['models', 'relations']);\n      const isModelStorage =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[2]], ['models', 'storage']);\n      const isTableUniques =\n        currentPath.length === 4 &&\n        isArrayEqual(\n          [currentPath[0], currentPath[1], currentPath[3]],\n          ['storage', 'tables', 'uniques'],\n        );\n      const isTableIndexes =\n        currentPath.length === 4 &&\n        isArrayEqual(\n          [currentPath[0], currentPath[1], currentPath[3]],\n          ['storage', 'tables', 'indexes'],\n        );\n      const isTableForeignKeys =\n        currentPath.length === 4 &&\n        isArrayEqual(\n          [currentPath[0], currentPath[1], currentPath[3]],\n          ['storage', 'tables', 'foreignKeys'],\n        );\n\n      const isFkBooleanField =\n        currentPath.length === 5 &&\n        currentPath[0] === 'storage' &&\n        currentPath[1] === 'tables' &&\n        currentPath[3] === 'foreignKeys' &&\n        (key === 'constraint' || key === 'index');\n\n      const isNullableField = key === 'nullable';\n\n      if (\n        !isRequiredModels &&\n        !isRequiredTables &&\n        !isRequiredCollections &&\n        !isCollectionEntry &&\n        !isRequiredRoots &&\n        !isRequiredExtensionPacks &&\n        !isRequiredCapabilities &&\n        !isRequiredMeta &&\n        !isRequiredExecutionDefaults &&\n        !isExtensionNamespace &&\n        !isModelRelations &&\n        !isModelStorage &&\n        !isTableUniques &&\n        !isTableIndexes &&\n        !isTableForeignKeys &&\n        !isFkBooleanField &&\n        !isNullableField\n      ) {\n        continue;\n      }\n    }\n\n    result[key] = omitDefaults(value, currentPath);\n  }\n\n  return result;\n}\n\nfunction sortObjectKeys(obj: unknown): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (obj instanceof Date) {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => sortObjectKeys(item));\n  }\n\n  const sorted: Record<string, unknown> = {};\n  const keys = Object.keys(obj).sort();\n  for (const key of keys) {\n    sorted[key] = sortObjectKeys((obj as Record<string, unknown>)[key]);\n  }\n\n  return sorted;\n}\n\ntype StorageObject = {\n  tables?: Record<string, unknown>;\n  [key: string]: unknown;\n};\n\ntype TableObject = {\n  indexes?: unknown[];\n  uniques?: unknown[];\n  [key: string]: unknown;\n};\n\nfunction sortIndexesAndUniques(storage: unknown): unknown {\n  if (!storage || typeof storage !== 'object') {\n    return storage;\n  }\n\n  const storageObj = storage as StorageObject;\n  if (!storageObj.tables || typeof storageObj.tables !== 'object') {\n    return storage;\n  }\n\n  const tables = storageObj.tables;\n  const result: StorageObject = { ...storageObj };\n\n  result.tables = {};\n  const sortedTableNames = Object.keys(tables).sort();\n  for (const tableName of sortedTableNames) {\n    const table = tables[tableName];\n    if (!table || typeof table !== 'object') {\n      result.tables[tableName] = table;\n      continue;\n    }\n\n    const tableObj = table as TableObject;\n    const sortedTable: TableObject = { ...tableObj };\n\n    if (Array.isArray(tableObj.indexes)) {\n      sortedTable.indexes = [...tableObj.indexes].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    if (Array.isArray(tableObj.uniques)) {\n      sortedTable.uniques = [...tableObj.uniques].sort((a, b) => {\n        const nameA = (a as { name?: string })?.name || '';\n        const nameB = (b as { name?: string })?.name || '';\n        return nameA.localeCompare(nameB);\n      });\n    }\n\n    result.tables[tableName] = sortedTable;\n  }\n\n  return result;\n}\n\nexport function orderTopLevel(obj: Record<string, unknown>): Record<string, unknown> {\n  const ordered: Record<string, unknown> = {};\n  const remaining = new Set(Object.keys(obj));\n\n  for (const key of TOP_LEVEL_ORDER) {\n    if (remaining.has(key)) {\n      ordered[key] = obj[key];\n      remaining.delete(key);\n    }\n  }\n\n  for (const key of Array.from(remaining).sort()) {\n    ordered[key] = obj[key];\n  }\n\n  return ordered;\n}\n\nexport function canonicalizeContractToObject(\n  contract: Contract,\n  options?: { schemaVersion?: string },\n): Record<string, unknown> {\n  const normalized: Record<string, unknown> = {\n    ...ifDefined('schemaVersion', options?.schemaVersion),\n    targetFamily: contract.targetFamily,\n    target: contract.target,\n    profileHash: contract.profileHash,\n    roots: contract.roots,\n    models: contract.models,\n    storage: contract.storage,\n    ...ifDefined('execution', contract.execution),\n    extensionPacks: contract.extensionPacks,\n    capabilities: contract.capabilities,\n    meta: contract.meta,\n  };\n  const withDefaultsOmitted = omitDefaults(normalized, []) as Record<string, unknown>;\n  const withSortedIndexes = sortIndexesAndUniques(withDefaultsOmitted['storage']);\n  const withSortedStorage = { ...withDefaultsOmitted, storage: withSortedIndexes };\n  const withSortedKeys = sortObjectKeys(withSortedStorage) as Record<string, unknown>;\n  return orderTopLevel(withSortedKeys);\n}\n\nexport function canonicalizeContract(\n  contract: Contract,\n  options?: { schemaVersion?: string },\n): string {\n  return JSON.stringify(canonicalizeContractToObject(contract, options), bigintJsonReplacer, 2);\n}\n","import { createHash } from 'node:crypto';\nimport { canonicalizeContract } from './canonicalization';\nimport type { Contract } from './contract-types';\nimport type { ExecutionHashBase, ProfileHashBase, StorageHashBase } from './types';\n\nconst SCHEMA_VERSION = '1';\n\nfunction sha256(content: string): string {\n  const hash = createHash('sha256');\n  hash.update(content);\n  return `sha256:${hash.digest('hex')}`;\n}\n\nfunction hashContract(section: Record<string, unknown>): string {\n  const contract = {\n    targetFamily: section['targetFamily'],\n    target: section['target'],\n    roots: {},\n    models: {},\n    storage: section['storage'] ?? {},\n    execution: section['execution'],\n    extensionPacks: {},\n    capabilities: section['capabilities'] ?? {},\n    meta: {},\n    profileHash: '',\n    ...section,\n  } as Contract;\n  return canonicalizeContract(contract, { schemaVersion: SCHEMA_VERSION });\n}\n\nexport function computeStorageHash(args: {\n  target: string;\n  targetFamily: string;\n  storage: Record<string, unknown>;\n}): StorageHashBase<string> {\n  return sha256(hashContract(args)) as StorageHashBase<string>;\n}\n\nexport function computeExecutionHash(args: {\n  target: string;\n  targetFamily: string;\n  execution: Record<string, unknown>;\n}): ExecutionHashBase<string> {\n  return sha256(hashContract(args)) as ExecutionHashBase<string>;\n}\n\nexport function computeProfileHash(args: {\n  target: string;\n  targetFamily: string;\n  capabilities: Record<string, Record<string, boolean>>;\n}): ProfileHashBase<string> {\n  return sha256(hashContract(args)) as ProfileHashBase<string>;\n}\n"],"mappings":";;;;;;AAMA,MAAM,kBAAkB;CACtB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACD;AAED,SAAS,eAAe,OAAyB;AAC/C,KAAI,UAAU,MAAO,QAAO;AAC5B,KAAI,UAAU,KAAM,QAAO;AAC3B,KAAI,iBAAiB,KAAM,QAAO;AAClC,KAAI,MAAM,QAAQ,MAAM,IAAI,MAAM,WAAW,EAAG,QAAO;AACvD,KAAI,OAAO,UAAU,YAAY,UAAU,KAEzC,QADa,OAAO,KAAK,MAAM,CACnB,WAAW;AAEzB,QAAO;;AAGT,SAAS,aAAa,KAAc,MAAkC;AACpE,KAAI,QAAQ,QAAQ,OAAO,QAAQ,SACjC,QAAO;AAGT,KAAI,eAAe,KACjB,QAAO;AAGT,KAAI,MAAM,QAAQ,IAAI,CACpB,QAAO,IAAI,KAAK,SAAS,aAAa,MAAM,KAAK,CAAC;CAGpD,MAAMA,SAAkC,EAAE;AAE1C,MAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,IAAI,EAAE;EAC9C,MAAM,cAAc,CAAC,GAAG,MAAM,IAAI;AAElC,MAAI,QAAQ,aACV;AAGF,MAAI,QAAQ,eAAe,UAAU,MACnC;AAGF,OAAK,QAAQ,cAAc,QAAQ,eAAe,UAAU,WAC1D;AAGF,MAAI,eAAe,MAAM,EAAE;GACzB,MAAM,mBAAmB,aAAa,aAAa,CAAC,SAAS,CAAC;GAC9D,MAAM,mBAAmB,aAAa,aAAa,CAAC,WAAW,SAAS,CAAC;GACzE,MAAM,wBAAwB,aAAa,aAAa,CAAC,WAAW,cAAc,CAAC;GACnF,MAAM,oBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,GAAG,EAAE,CAAC,WAAW,cAAc,CAAC;GAC5E,MAAM,kBAAkB,aAAa,aAAa,CAAC,QAAQ,CAAC;GAC5D,MAAM,2BAA2B,aAAa,aAAa,CAAC,iBAAiB,CAAC;GAC9E,MAAM,yBAAyB,aAAa,aAAa,CAAC,eAAe,CAAC;GAC1E,MAAM,iBAAiB,aAAa,aAAa,CAAC,OAAO,CAAC;GAC1D,MAAM,8BAA8B,aAAa,aAAa;IAC5D;IACA;IACA;IACD,CAAC;GACF,MAAM,uBAAuB,YAAY,WAAW,KAAK,YAAY,OAAO;GAC5E,MAAM,mBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,GAAG,EAAE,CAAC,UAAU,YAAY,CAAC;GACzE,MAAM,iBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,GAAG,EAAE,CAAC,UAAU,UAAU,CAAC;GACvE,MAAM,iBACJ,YAAY,WAAW,KACvB,aACE;IAAC,YAAY;IAAI,YAAY;IAAI,YAAY;IAAG,EAChD;IAAC;IAAW;IAAU;IAAU,CACjC;GACH,MAAM,iBACJ,YAAY,WAAW,KACvB,aACE;IAAC,YAAY;IAAI,YAAY;IAAI,YAAY;IAAG,EAChD;IAAC;IAAW;IAAU;IAAU,CACjC;GACH,MAAM,qBACJ,YAAY,WAAW,KACvB,aACE;IAAC,YAAY;IAAI,YAAY;IAAI,YAAY;IAAG,EAChD;IAAC;IAAW;IAAU;IAAc,CACrC;GAEH,MAAM,mBACJ,YAAY,WAAW,KACvB,YAAY,OAAO,aACnB,YAAY,OAAO,YACnB,YAAY,OAAO,kBAClB,QAAQ,gBAAgB,QAAQ;AAInC,OACE,CAAC,oBACD,CAAC,oBACD,CAAC,yBACD,CAAC,qBACD,CAAC,mBACD,CAAC,4BACD,CAAC,0BACD,CAAC,kBACD,CAAC,+BACD,CAAC,wBACD,CAAC,oBACD,CAAC,kBACD,CAAC,kBACD,CAAC,kBACD,CAAC,sBACD,CAAC,oBACD,EAnBsB,QAAQ,YAqB9B;;AAIJ,SAAO,OAAO,aAAa,OAAO,YAAY;;AAGhD,QAAO;;AAGT,SAAS,eAAe,KAAuB;AAC7C,KAAI,QAAQ,QAAQ,OAAO,QAAQ,SACjC,QAAO;AAGT,KAAI,eAAe,KACjB,QAAO;AAGT,KAAI,MAAM,QAAQ,IAAI,CACpB,QAAO,IAAI,KAAK,SAAS,eAAe,KAAK,CAAC;CAGhD,MAAMC,SAAkC,EAAE;CAC1C,MAAM,OAAO,OAAO,KAAK,IAAI,CAAC,MAAM;AACpC,MAAK,MAAM,OAAO,KAChB,QAAO,OAAO,eAAgB,IAAgC,KAAK;AAGrE,QAAO;;AAcT,SAAS,sBAAsB,SAA2B;AACxD,KAAI,CAAC,WAAW,OAAO,YAAY,SACjC,QAAO;CAGT,MAAM,aAAa;AACnB,KAAI,CAAC,WAAW,UAAU,OAAO,WAAW,WAAW,SACrD,QAAO;CAGT,MAAM,SAAS,WAAW;CAC1B,MAAMC,SAAwB,EAAE,GAAG,YAAY;AAE/C,QAAO,SAAS,EAAE;CAClB,MAAM,mBAAmB,OAAO,KAAK,OAAO,CAAC,MAAM;AACnD,MAAK,MAAM,aAAa,kBAAkB;EACxC,MAAM,QAAQ,OAAO;AACrB,MAAI,CAAC,SAAS,OAAO,UAAU,UAAU;AACvC,UAAO,OAAO,aAAa;AAC3B;;EAGF,MAAM,WAAW;EACjB,MAAMC,cAA2B,EAAE,GAAG,UAAU;AAEhD,MAAI,MAAM,QAAQ,SAAS,QAAQ,CACjC,aAAY,UAAU,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,MAAM;GACzD,MAAM,QAAS,GAAyB,QAAQ;GAChD,MAAM,QAAS,GAAyB,QAAQ;AAChD,UAAO,MAAM,cAAc,MAAM;IACjC;AAGJ,MAAI,MAAM,QAAQ,SAAS,QAAQ,CACjC,aAAY,UAAU,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,MAAM;GACzD,MAAM,QAAS,GAAyB,QAAQ;GAChD,MAAM,QAAS,GAAyB,QAAQ;AAChD,UAAO,MAAM,cAAc,MAAM;IACjC;AAGJ,SAAO,OAAO,aAAa;;AAG7B,QAAO;;AAGT,SAAgB,cAAc,KAAuD;CACnF,MAAMC,UAAmC,EAAE;CAC3C,MAAM,YAAY,IAAI,IAAI,OAAO,KAAK,IAAI,CAAC;AAE3C,MAAK,MAAM,OAAO,gBAChB,KAAI,UAAU,IAAI,IAAI,EAAE;AACtB,UAAQ,OAAO,IAAI;AACnB,YAAU,OAAO,IAAI;;AAIzB,MAAK,MAAM,OAAO,MAAM,KAAK,UAAU,CAAC,MAAM,CAC5C,SAAQ,OAAO,IAAI;AAGrB,QAAO;;AAGT,SAAgB,6BACd,UACA,SACyB;CAczB,MAAM,sBAAsB,aAbgB;EAC1C,GAAG,UAAU,iBAAiB,SAAS,cAAc;EACrD,cAAc,SAAS;EACvB,QAAQ,SAAS;EACjB,aAAa,SAAS;EACtB,OAAO,SAAS;EAChB,QAAQ,SAAS;EACjB,SAAS,SAAS;EAClB,GAAG,UAAU,aAAa,SAAS,UAAU;EAC7C,gBAAgB,SAAS;EACzB,cAAc,SAAS;EACvB,MAAM,SAAS;EAChB,EACoD,EAAE,CAAC;CACxD,MAAM,oBAAoB,sBAAsB,oBAAoB,WAAW;AAG/E,QAAO,cADgB,eADG;EAAE,GAAG;EAAqB,SAAS;EAAmB,CACxB,CACpB;;AAGtC,SAAgB,qBACd,UACA,SACQ;AACR,QAAO,KAAK,UAAU,6BAA6B,UAAU,QAAQ,EAAE,oBAAoB,EAAE;;;;;ACxQ/F,MAAM,iBAAiB;AAEvB,SAAS,OAAO,SAAyB;CACvC,MAAM,OAAO,WAAW,SAAS;AACjC,MAAK,OAAO,QAAQ;AACpB,QAAO,UAAU,KAAK,OAAO,MAAM;;AAGrC,SAAS,aAAa,SAA0C;AAc9D,QAAO,qBAbU;EACf,cAAc,QAAQ;EACtB,QAAQ,QAAQ;EAChB,OAAO,EAAE;EACT,QAAQ,EAAE;EACV,SAAS,QAAQ,cAAc,EAAE;EACjC,WAAW,QAAQ;EACnB,gBAAgB,EAAE;EAClB,cAAc,QAAQ,mBAAmB,EAAE;EAC3C,MAAM,EAAE;EACR,aAAa;EACb,GAAG;EACJ,EACqC,EAAE,eAAe,gBAAgB,CAAC;;AAG1E,SAAgB,mBAAmB,MAIP;AAC1B,QAAO,OAAO,aAAa,KAAK,CAAC;;AAGnC,SAAgB,qBAAqB,MAIP;AAC5B,QAAO,OAAO,aAAa,KAAK,CAAC;;AAGnC,SAAgB,mBAAmB,MAIP;AAC1B,QAAO,OAAO,aAAa,KAAK,CAAC"}

package/dist/hashing.d.mts

@@ -1,21 +1,12 @@
-import { O as StorageBase, T as ProfileHashBase, f as ExecutionHashBase, k as StorageHashBase } from "./types-DmKtoEd-.mjs";
+import { O as StorageHashBase, d as ExecutionHashBase, t as Contract, w as ProfileHashBase } from "./contract-types-Cd9ic3zL.mjs";
 
 //#region src/canonicalization.d.ts
-type CanonicalContractInput = {
-  readonly schemaVersion?: string | undefined;
-  readonly targetFamily: string;
-  readonly target: string;
-  readonly profileHash?: string | undefined;
-  readonly roots: Record<string, string>;
-  readonly models: Record<string, unknown>;
-  readonly storage: StorageBase | Record<string, unknown>;
-  readonly execution?: Record<string, unknown> | undefined;
-  readonly extensionPacks: Record<string, unknown>;
-  readonly capabilities: Record<string, Record<string, boolean>>;
-  readonly meta: Record<string, unknown>;
-};
-declare function canonicalizeContractToObject(input: CanonicalContractInput): Record<string, unknown>;
-declare function canonicalizeContract(input: CanonicalContractInput): string;
+declare function canonicalizeContractToObject(contract: Contract, options?: {
+  schemaVersion?: string;
+}): Record<string, unknown>;
+declare function canonicalizeContract(contract: Contract, options?: {
+  schemaVersion?: string;
+}): string;
 //#endregion
 //#region src/hashing.d.ts
 declare function computeStorageHash(args: {
@@ -34,5 +25,5 @@ declare function computeProfileHash(args: {
   capabilities: Record<string, Record<string, boolean>>;
 }): ProfileHashBase<string>;
 //#endregion
-export { type CanonicalContractInput, canonicalizeContract, canonicalizeContractToObject, computeExecutionHash, computeProfileHash, computeStorageHash };
+export { canonicalizeContract, canonicalizeContractToObject, computeExecutionHash, computeProfileHash, computeStorageHash };
 //# sourceMappingURL=hashing.d.mts.map

package/dist/hashing.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"hashing.d.mts","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"sourcesContent":[],"mappings":";;;KAiPY,sBAAA;;EAAA,SAAA,YAAA,EAAA,MAAsB;EAKhB,SAAA,MAAA,EAAA,MAAA;EACC,SAAA,WAAA,CAAA,EAAA,MAAA,GAAA,SAAA;EAIC,SAAA,KAAA,EALF,MAKE,CAAA,MAAA,EAAA,MAAA,CAAA;EAAc,SAAA,MAAA,EAJf,MAIe,CAAA,MAAA,EAAA,OAAA,CAAA;EACX,SAAA,OAAA,EADH,WACG,GADW,MACX,CAAA,MAAA,EAAA,OAAA,CAAA;EACI,SAAA,SAAA,CAAA,EADJ,MACI,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA;EACa,SAAA,cAAA,EADb,MACa,CAAA,MAAA,EAAA,OAAA,CAAA;EAAf,SAAA,YAAA,EAAA,MAAA,CAAA,MAAA,EAAe,MAAf,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EACR,SAAA,IAAA,EAAA,MAAA,CAAA,MAAA,EAAA,OAAA,CAAA;CAAM;AAGP,iBAAA,4BAAA,CACP,KAAA,EAAA,sBACA,CAAA,EAAN,MAAM,CAAA,MAAA,EAAA,OAAA,CAAA;AAuBO,iBAAA,oBAAA,CAA4B,KAAA,EAAA,sBAAsB,CAAA,EAAA,MAAA;;;iBC/QlD,kBAAA;;EDqOJ,YAAA,EAAA,MAAA;EAKM,OAAA,ECvOP,MDuOO,CAAA,MAAA,EAAA,OAAA,CAAA;CACC,CAAA,ECvOf,eDuOe,CAAA,MAAA,CAAA;AAIC,iBC5NJ,oBAAA,CD4NI,IAAA,EAAA;EAAc,MAAA,EAAA,MAAA;EACX,YAAA,EAAA,MAAA;EACI,SAAA,EC3Nd,MD2Nc,CAAA,MAAA,EAAA,OAAA,CAAA;CACa,CAAA,EC3NpC,iBD2NoC,CAAA,MAAA,CAAA;AAAf,iBC3MT,kBAAA,CD2MS,IAAA,EAAA;EACR,MAAA,EAAA,MAAA;EAAM,YAAA,EAAA,MAAA;EAGP,YAAA,EC5MA,MD4MA,CAAA,MAAA,EC5Me,MD4Ma,CAAA,MAAA,EACnC,OAAA,CAAA,CAAA;AAwBT,CAAA,CAAA,ECpOI,eDoOY,CAAA,MAAA,CAAoB"}
+{"version":3,"file":"hashing.d.mts","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"sourcesContent":[],"mappings":";;;iBAiPgB,4BAAA,WACJ,iBAuBZ;EAxBgB,aAAA,CAAA,EAAA,MAAA;AAwBhB,CAAA,CAAA,EArBG,MAqBa,CAAA,MAAA,EAAA,OAAA,CAAoB;iBAApB,oBAAA,WACJ;;;;;iBC5OI,kBAAA;;EDmNA,YAAA,EAAA,MAAA;EAwBA,OAAA,ECxOL,MDwOK,CAAA,MAAA,EAAoB,OAAA,CAAA;ICvOhC;iBAIY,oBAAA;;EARA,YAAA,EAAA,MAAA;EAQA,SAAA,EAGH,MAHG,CAAA,MAAoB,EAAA,OAAA,CAAA;AAQpC,CAAA,CAAA,EAJI,iBAIY,CAAA,MAAkB,CAAA;AAGH,iBAHf,kBAAA,CAGe,IAAA,EAAA;EAAf,MAAA,EAAA,MAAA;EACZ,YAAA,EAAA,MAAA;EAAe,YAAA,EADH,MACG,CAAA,MAAA,EADY,MACZ,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;IAAf"}

package/dist/hashing.mjs

@@ -1,3 +1,3 @@
-import { a as canonicalizeContractToObject, i as canonicalizeContract, n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-D1EPxYRl.mjs";
+import { a as canonicalizeContractToObject, i as canonicalizeContract, n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-BHjb-IPM.mjs";
 
 export { canonicalizeContract, canonicalizeContractToObject, computeExecutionHash, computeProfileHash, computeStorageHash };

package/dist/testing.d.mts

@@ -1,5 +1,4 @@
-import { O as StorageBase, T as ProfileHashBase, U as ContractModel, g as ExecutionSection, k as StorageHashBase, rt as ModelStorageBase } from "./types-DmKtoEd-.mjs";
-import { t as Contract } from "./contract-types-x89nqTli.mjs";
+import { D as StorageBase, O as StorageHashBase, V as ContractModel, h as ExecutionSection, q as ModelStorageBase, t as Contract, w as ProfileHashBase } from "./contract-types-Cd9ic3zL.mjs";
 
 //#region src/testing-factories.d.ts
 type ContractOverrides<TStorage extends StorageBase = StorageBase, TModels extends Record<string, ContractModel> = Record<string, ContractModel>> = {

package/dist/testing.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"testing.d.mts","names":[],"sources":["../src/testing-factories.ts"],"sourcesContent":[],"mappings":";;;;KAMK,mCACc,cAAc,6BACf,eAAe,iBAAiB,eAAe;EAF5D,MAAA,CAAA,EAAA,MAAA;EACc,YAAA,CAAA,EAAA,MAAA;EAAc,KAAA,CAAA,EAKvB,MALuB,CAAA,MAAA,EAAA,MAAA,CAAA;EACA,MAAA,CAAA,EAKtB,OALsB;EAAf,OAAA,CAAA,EAMN,IANM,CAMD,QANC,EAAA,aAAA,CAAA;EAA+C,YAAA,CAAA,EAOhD,MAPgD,CAAA,MAAA,EAOjC,MAPiC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EAAf,cAAA,CAAA,EAQ/B,MAR+B,CAAA,MAAA,EAAA,OAAA,CAAA;EAIxC,SAAA,CAAA,EAKI,IALJ,CAKS,gBALT,EAAA,eAAA,CAAA;EACC,WAAA,CAAA,EAKK,eALL,CAAA,MAAA,CAAA;EACM,IAAA,CAAA,EAKR,MALQ,CAAA,MAAA,EAAA,OAAA,CAAA;CAAL;cAQN,UAP0B,EAOU,eAPV,CAAA,aAAA,CAAA;AAAf,iBASD,cATC,CAAA,iBAUE,WAVF,GAUgB,WAVhB,EAAA,gBAWC,MAXD,CAAA,MAAA,EAWgB,aAXhB,CAAA,GAWiC,MAXjC,CAAA,MAAA,EAWgD,aAXhD,CAAA,CAAA,CAAA,SAAA,CAAA,EAYJ,iBAZI,CAYc,QAZd,EAYwB,OAZxB,CAAA,CAAA,EAYwC,QAZxC,CAYiD,QAZjD,EAY2D,OAZ3D,CAAA;KA2DZ,cAAA,GAAiB,WA1DH,GAAA;EACA,SAAA,MAAA,EA0DA,MA1DA,CAAA,MAAA,EAAA,OAAA,CAAA;EAAL,SAAA,KAAA,CAAA,EA2DK,MA3DL,CAAA,MAAA,EAAA,OAAA,CAAA;CACE;KA6DX,YAAA,GAAe,aA5DX,CA4DyB,gBA5DzB,GAAA;EAAM,KAAA,EAAA,MAAA;AAAA,CAAA,CAAA;AAKC,iBAyDA,iBAAA,CAzDc,SAAA,CAAA,EA0DjB,iBA1DiB,CA0DC,cA1DD,EA0DiB,MA1DjB,CAAA,MAAA,EA0DgC,YA1DhC,CAAA,CAAA,CAAA,EA2D3B,QA3D2B,CA2DlB,cA3DkB,EA2DF,MA3DE,CAAA,MAAA,EA2Da,YA3Db,CAAA,CAAA"}
+{"version":3,"file":"testing.d.mts","names":[],"sources":["../src/testing-factories.ts"],"sourcesContent":[],"mappings":";;;AAG8E,KAGzE,iBAAA,CAAA,iBACc,WADG,GACW,WADX,EAAA,gBAEJ,MAFI,CAAA,MAAA,EAEW,aAFX,CAAA,GAE4B,MAF5B,CAAA,MAAA,EAE2C,aAF3C,CAAA,CAAA,GAAA;EACH,MAAA,CAAA,EAAA,MAAA;EAAc,YAAA,CAAA,EAAA,MAAA;EACA,KAAA,CAAA,EAIvB,MAJuB,CAAA,MAAA,EAAA,MAAA,CAAA;EAAf,MAAA,CAAA,EAKP,OALO;EAA+C,OAAA,CAAA,EAMrD,IANqD,CAMhD,QANgD,EAAA,aAAA,CAAA;EAAf,YAAA,CAAA,EAOjC,MAPiC,CAAA,MAAA,EAOlB,MAPkB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EAIxC,cAAA,CAAA,EAIS,MAJT,CAAA,MAAA,EAAA,OAAA,CAAA;EACC,SAAA,CAAA,EAIG,IAJH,CAIQ,gBAJR,EAAA,eAAA,CAAA;EACM,WAAA,CAAA,EAID,eAJC,CAAA,MAAA,CAAA;EAAL,IAAA,CAAA,EAKH,MALG,CAAA,MAAA,EAAA,OAAA,CAAA;CACoB;cAO1B,UAPW,EAOyB,eAPzB,CAAA,aAAA,CAAA;AACE,iBAQH,cARG,CAAA,iBASA,WATA,GASc,WATd,EAAA,gBAUD,MAVC,CAAA,MAAA,EAUc,aAVd,CAAA,GAU+B,MAV/B,CAAA,MAAA,EAU8C,aAV9C,CAAA,CAAA,CAAA,SAAA,CAAA,EAWN,iBAXM,CAWY,QAXZ,EAWsB,OAXtB,CAAA,CAAA,EAWsC,QAXtC,CAW+C,QAX/C,EAWyD,OAXzD,CAAA;KA0Dd,cAAA,GAAiB,WAzDH,GAAA;EAAL,SAAA,MAAA,EA0DK,MA1DL,CAAA,MAAA,EAAA,OAAA,CAAA;EACE,SAAA,KAAA,CAAA,EA0DG,MA1DH,CAAA,MAAA,EAAA,OAAA,CAAA;CACP;KA4DJ,YAAA,GAAe,aA5DL,CA4DmB,gBA5DnB,GAAA;EAGT,KAAA,EAAA,MAAoC;AAE1C,CAAA,CAAA;AACmB,iBAwDH,iBAAA,CAxDG,SAAA,CAAA,EAyDN,iBAzDM,CAyDY,cAzDZ,EAyD4B,MAzD5B,CAAA,MAAA,EAyD2C,YAzD3C,CAAA,CAAA,CAAA,EA0DhB,QA1DgB,CA0DP,cA1DO,EA0DS,MA1DT,CAAA,MAAA,EA0DwB,YA1DxB,CAAA,CAAA"}

package/dist/testing.mjs

@@ -1,5 +1,5 @@
-import { n as coreHash } from "./types-DYikGC04.mjs";
-import { n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-D1EPxYRl.mjs";
+import { n as coreHash } from "./types-BP4dqfP-.mjs";
+import { n as computeProfileHash, r as computeStorageHash, t as computeExecutionHash } from "./hashing-BHjb-IPM.mjs";
 
 //#region src/testing-factories.ts
 const DUMMY_HASH = coreHash("sha256:test");

package/dist/{types-DYikGC04.mjs → types-BP4dqfP-.mjs}

@@ -21,13 +21,7 @@ function bigintJsonReplacer(_key, value) {
 function isTaggedRaw(value) {
 	return typeof value === "object" && value !== null && value.$type === "raw" && "value" in value;
 }
-/**
-* Type guard to check if a contract is a Document contract
-*/
-function isDocumentContract(contract) {
-	return typeof contract === "object" && contract !== null && "targetFamily" in contract && contract.targetFamily === "document";
-}
 
 //#endregion
-export { isTaggedBigInt as a, isDocumentContract as i, coreHash as n, isTaggedRaw as o, executionHash as r, profileHash as s, bigintJsonReplacer as t };
-//# sourceMappingURL=types-DYikGC04.mjs.map
+export { isTaggedRaw as a, isTaggedBigInt as i, coreHash as n, profileHash as o, executionHash as r, bigintJsonReplacer as t };
+//# sourceMappingURL=types-BP4dqfP-.mjs.map

package/dist/types-BP4dqfP-.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-BP4dqfP-.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["/**\n * Unique symbol used as the key for branding types.\n */\nexport const $: unique symbol = Symbol('__prisma_next_brand__');\n\n/**\n * A helper type to brand a given type with a unique identifier.\n *\n * @template TKey Text used as the brand key.\n * @template TValue Optional value associated with the brand key. Defaults to `true`.\n */\nexport type Brand<TKey extends string | number | symbol, TValue = true> = {\n  [$]: {\n    [K in TKey]: TValue;\n  };\n};\n\n/**\n * Base type for storage contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type StorageHash = StorageHashBase<'sha256:abc123...'>`\n */\nexport type StorageHashBase<THash extends string> = THash & Brand<'StorageHash'>;\n\n/**\n * Base type for execution contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type ExecutionHash = ExecutionHashBase<'sha256:def456...'>`\n */\nexport type ExecutionHashBase<THash extends string> = THash & Brand<'ExecutionHash'>;\n\nexport function executionHash<const T extends string>(value: T): ExecutionHashBase<T> {\n  return value as ExecutionHashBase<T>;\n}\n\nexport function coreHash<const T extends string>(value: T): StorageHashBase<T> {\n  return value as StorageHashBase<T>;\n}\n\n/**\n * Base type for profile contract hashes.\n * Emitted contract.d.ts files use this with the hash value as a type parameter:\n * `type ProfileHash = ProfileHashBase<'sha256:def456...'>`\n */\nexport type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;\n\nexport function profileHash<const T extends string>(value: T): ProfileHashBase<T> {\n  return value as ProfileHashBase<T>;\n}\n\n/**\n * Base type for family-specific storage blocks.\n * Family storage types (SqlStorage, MongoStorage, etc.) extend this to carry the\n * storage hash alongside family-specific data (tables, collections, etc.).\n */\nexport interface StorageBase<THash extends string = string> {\n  readonly storageHash: StorageHashBase<THash>;\n}\n\nexport interface FieldType {\n  readonly type: string;\n  readonly nullable: boolean;\n  readonly items?: FieldType;\n  readonly properties?: Record<string, FieldType>;\n}\n\nexport type GeneratedValueSpec = {\n  readonly id: string;\n  readonly params?: Record<string, unknown>;\n};\n\nexport type JsonPrimitive = string | number | boolean | null;\n\nexport type JsonValue =\n  | JsonPrimitive\n  | { readonly [key: string]: JsonValue }\n  | readonly JsonValue[];\n\nexport type TaggedBigInt = { readonly $type: 'bigint'; readonly value: string };\n\nexport function isTaggedBigInt(value: unknown): value is TaggedBigInt {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    (value as { $type?: unknown }).$type === 'bigint' &&\n    typeof (value as { value?: unknown }).value === 'string'\n  );\n}\n\nexport function bigintJsonReplacer(_key: string, value: unknown): unknown {\n  if (typeof value === 'bigint') {\n    return { $type: 'bigint', value: value.toString() } satisfies TaggedBigInt;\n  }\n  return value;\n}\n\nexport type TaggedRaw = { readonly $type: 'raw'; readonly value: JsonValue };\n\nexport function isTaggedRaw(value: unknown): value is TaggedRaw {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    (value as { $type?: unknown }).$type === 'raw' &&\n    'value' in (value as object)\n  );\n}\n\nexport type TaggedLiteralValue = TaggedBigInt | TaggedRaw;\n\nexport type ColumnDefaultLiteralValue = JsonValue | TaggedLiteralValue;\n\nexport type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | bigint | Date;\n\nexport type ColumnDefault =\n  | {\n      readonly kind: 'literal';\n      readonly value: ColumnDefaultLiteralInputValue;\n    }\n  | { readonly kind: 'function'; readonly expression: string };\n\nexport type ExecutionMutationDefaultValue = {\n  readonly kind: 'generator';\n  readonly id: GeneratedValueSpec['id'];\n  readonly params?: Record<string, unknown>;\n};\n\nexport type ExecutionMutationDefault = {\n  readonly ref: { readonly table: string; readonly column: string };\n  readonly onCreate?: ExecutionMutationDefaultValue;\n  readonly onUpdate?: ExecutionMutationDefaultValue;\n};\n\nexport type ExecutionSection<THash extends string = string> = {\n  readonly executionHash: ExecutionHashBase<THash>;\n  readonly mutations: {\n    readonly defaults: ReadonlyArray<ExecutionMutationDefault>;\n  };\n};\n\nexport interface Source {\n  readonly readOnly: boolean;\n  readonly projection: Record<string, FieldType>;\n  readonly origin?: Record<string, unknown>;\n  readonly capabilities?: Record<string, boolean>;\n}\n\n// Document family types\nexport interface DocIndex {\n  readonly name: string;\n  readonly keys: Record<string, 'asc' | 'desc'>;\n  readonly unique?: boolean;\n  readonly where?: Expr;\n}\n\nexport type Expr =\n  | { readonly kind: 'eq'; readonly path: ReadonlyArray<string>; readonly value: unknown }\n  | { readonly kind: 'exists'; readonly path: ReadonlyArray<string> };\n\nexport interface DocCollection {\n  readonly name: string;\n  readonly id?: {\n    readonly strategy: 'auto' | 'client' | 'uuid' | 'objectId';\n  };\n  readonly fields: Record<string, FieldType>;\n  readonly indexes?: ReadonlyArray<DocIndex>;\n  readonly readOnly?: boolean;\n}\n\n// Plan types - target-family agnostic execution types\nexport interface ParamDescriptor {\n  readonly index?: number;\n  readonly name?: string;\n  readonly codecId?: string;\n  readonly nativeType?: string;\n  readonly nullable?: boolean;\n  readonly source: 'dsl' | 'raw' | 'lane';\n  readonly refs?: { table: string; column: string };\n}\n\nexport interface PlanRefs {\n  readonly tables?: readonly string[];\n  readonly columns?: ReadonlyArray<{ table: string; column: string }>;\n  readonly indexes?: ReadonlyArray<{\n    readonly table: string;\n    readonly columns: ReadonlyArray<string>;\n    readonly name?: string;\n  }>;\n}\n\nexport interface PlanMeta {\n  readonly target: string;\n  readonly targetFamily?: string;\n  readonly storageHash: string;\n  readonly profileHash?: string;\n  readonly lane: string;\n  readonly annotations?: {\n    codecs?: Record<string, string>; // alias/param → codec id ('ns/name@v')\n    [key: string]: unknown;\n  };\n  readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;\n  readonly refs?: PlanRefs;\n  readonly projection?: Record<string, string> | ReadonlyArray<string>;\n  /**\n   * Optional mapping of projection alias → column type ID (fully qualified ns/name@version).\n   * Used for codec resolution when AST+refs don't provide enough type info.\n   */\n  readonly projectionTypes?: Record<string, string>;\n}\n\n/**\n * Canonical execution plan shape used by runtimes.\n *\n * - Row is the inferred result row type (TypeScript-only).\n * - Ast is the optional, family-specific AST type (e.g. SQL QueryAst).\n *\n * The payload executed by the runtime is represented by the sql + params pair\n * for now; future families can specialize this via Ast or additional metadata.\n */\nexport interface ExecutionPlan<Row = unknown, Ast = unknown> {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n  readonly ast?: Ast;\n  readonly meta: PlanMeta;\n  /**\n   * Phantom property to carry the Row generic for type-level utilities.\n   * Not set at runtime; used only for ResultType extraction.\n   */\n  readonly _row?: Row;\n}\n\n/**\n * Utility type to extract the Row type from an ExecutionPlan.\n * Example: `type Row = ResultType<typeof plan>`\n *\n * Works with both ExecutionPlan and SqlQueryPlan (SQL query plans before lowering).\n * SqlQueryPlan includes a phantom `_Row` property to preserve the generic parameter\n * for type extraction.\n */\nexport type ResultType<P> =\n  P extends ExecutionPlan<infer R, unknown> ? R : P extends { readonly _Row?: infer R } ? R : never;\n\n/**\n * Contract marker record stored in the database.\n * Represents the current contract identity for a database.\n */\nexport interface ContractMarkerRecord {\n  readonly storageHash: string;\n  readonly profileHash: string;\n  readonly contractJson: unknown | null;\n  readonly canonicalVersion: number | null;\n  readonly updatedAt: Date;\n  readonly appTag: string | null;\n  readonly meta: Record<string, unknown>;\n}\n"],"mappings":";AA+BA,SAAgB,cAAsC,OAAgC;AACpF,QAAO;;AAGT,SAAgB,SAAiC,OAA8B;AAC7E,QAAO;;AAUT,SAAgB,YAAoC,OAA8B;AAChF,QAAO;;AAiCT,SAAgB,eAAe,OAAuC;AACpE,QACE,OAAO,UAAU,YACjB,UAAU,QACT,MAA8B,UAAU,YACzC,OAAQ,MAA8B,UAAU;;AAIpD,SAAgB,mBAAmB,MAAc,OAAyB;AACxE,KAAI,OAAO,UAAU,SACnB,QAAO;EAAE,OAAO;EAAU,OAAO,MAAM,UAAU;EAAE;AAErD,QAAO;;AAKT,SAAgB,YAAY,OAAoC;AAC9D,QACE,OAAO,UAAU,YACjB,UAAU,QACT,MAA8B,UAAU,SACzC,WAAY"}

package/dist/types.d.mts

@@ -1,3 +1,2 @@
-import { $ as DomainRelation, A as TaggedBigInt, B as ContractDiscriminator, C as PlanMeta, D as Source, E as ResultType, F as executionHash, G as ContractRelation, H as ContractField, I as isDocumentContract, J as DomainDiscriminator, K as ContractRelationOn, L as isTaggedBigInt, M as TaggedRaw, N as bigintJsonReplacer, O as StorageBase, P as coreHash, Q as DomainReferenceRelation, R as isTaggedRaw, S as ParamDescriptor, T as ProfileHashBase, U as ContractModel, V as ContractEmbedRelation, W as ContractReferenceRelation, X as DomainField, Y as DomainEmbedRelation, Z as DomainModel, _ as Expr, a as ColumnDefaultLiteralValue, b as JsonPrimitive, c as DocCollection, d as DocumentStorage, et as DomainRelationOn, f as ExecutionHashBase, g as ExecutionSection, h as ExecutionPlan, i as ColumnDefaultLiteralInputValue, it as ReferenceRelationKeys, j as TaggedLiteralValue, k as StorageHashBase, l as DocIndex, m as ExecutionMutationDefaultValue, n as Brand, nt as EmbedRelationKeys, o as ContractBase, p as ExecutionMutationDefault, q as ContractVariantEntry, r as ColumnDefault, rt as ModelStorageBase, s as ContractMarkerRecord, t as $, tt as DomainVariantEntry, u as DocumentContract, v as FieldType, w as PlanRefs, x as JsonValue, y as GeneratedValueSpec, z as profileHash } from "./types-DmKtoEd-.mjs";
-import { n as ContractExecutionSection, t as Contract } from "./contract-types-x89nqTli.mjs";
-export { type $, type Brand, type ColumnDefault, type ColumnDefaultLiteralInputValue, type ColumnDefaultLiteralValue, type Contract, type ContractBase, type ContractDiscriminator, type ContractEmbedRelation, type ContractExecutionSection, type ContractField, type ContractMarkerRecord, type ContractModel, type ContractReferenceRelation, type ContractRelation, type ContractRelationOn, type ContractVariantEntry, type DocCollection, type DocIndex, type DocumentContract, type DocumentStorage, type DomainDiscriminator, type DomainEmbedRelation, type DomainField, type DomainModel, type DomainReferenceRelation, type DomainRelation, type DomainRelationOn, type DomainVariantEntry, type EmbedRelationKeys, type ExecutionHashBase, type ExecutionMutationDefault, type ExecutionMutationDefaultValue, type ExecutionPlan, type ExecutionSection, type Expr, type FieldType, type GeneratedValueSpec, type JsonPrimitive, type JsonValue, type ModelStorageBase, type ParamDescriptor, type PlanMeta, type PlanRefs, type ProfileHashBase, type ReferenceRelationKeys, type ResultType, type Source, type StorageBase, type StorageHashBase, type TaggedBigInt, type TaggedLiteralValue, type TaggedRaw, bigintJsonReplacer, coreHash, executionHash, isDocumentContract, isTaggedBigInt, isTaggedRaw, profileHash };
+import { A as TaggedLiteralValue, B as ContractField, C as PlanRefs, D as StorageBase, E as Source, F as isTaggedBigInt, G as ContractVariantEntry, H as ContractReferenceRelation, I as isTaggedRaw, J as ReferenceRelationKeys, K as EmbedRelationKeys, L as profileHash, M as bigintJsonReplacer, N as coreHash, O as StorageHashBase, P as executionHash, R as ContractDiscriminator, S as PlanMeta, T as ResultType, U as ContractRelation, V as ContractModel, W as ContractRelationOn, _ as FieldType, a as ColumnDefault, b as JsonValue, c as ContractMarkerRecord, d as ExecutionHashBase, f as ExecutionMutationDefault, g as Expr, h as ExecutionSection, i as Brand, j as TaggedRaw, k as TaggedBigInt, l as DocCollection, m as ExecutionPlan, n as ContractExecutionSection, o as ColumnDefaultLiteralInputValue, p as ExecutionMutationDefaultValue, q as ModelStorageBase, r as $, s as ColumnDefaultLiteralValue, t as Contract, u as DocIndex, v as GeneratedValueSpec, w as ProfileHashBase, x as ParamDescriptor, y as JsonPrimitive, z as ContractEmbedRelation } from "./contract-types-Cd9ic3zL.mjs";
+export { type $, type Brand, type ColumnDefault, type ColumnDefaultLiteralInputValue, type ColumnDefaultLiteralValue, type Contract, type ContractDiscriminator, type ContractEmbedRelation, type ContractExecutionSection, type ContractField, type ContractMarkerRecord, type ContractModel, type ContractReferenceRelation, type ContractRelation, type ContractRelationOn, type ContractVariantEntry, type DocCollection, type DocIndex, type EmbedRelationKeys, type ExecutionHashBase, type ExecutionMutationDefault, type ExecutionMutationDefaultValue, type ExecutionPlan, type ExecutionSection, type Expr, type FieldType, type GeneratedValueSpec, type JsonPrimitive, type JsonValue, type ModelStorageBase, type ParamDescriptor, type PlanMeta, type PlanRefs, type ProfileHashBase, type ReferenceRelationKeys, type ResultType, type Source, type StorageBase, type StorageHashBase, type TaggedBigInt, type TaggedLiteralValue, type TaggedRaw, bigintJsonReplacer, coreHash, executionHash, isTaggedBigInt, isTaggedRaw, profileHash };

package/dist/types.mjs

@@ -1,3 +1,3 @@
-import { a as isTaggedBigInt, i as isDocumentContract, n as coreHash, o as isTaggedRaw, r as executionHash, s as profileHash, t as bigintJsonReplacer } from "./types-DYikGC04.mjs";
+import { a as isTaggedRaw, i as isTaggedBigInt, n as coreHash, o as profileHash, r as executionHash, t as bigintJsonReplacer } from "./types-BP4dqfP-.mjs";
 
-export { bigintJsonReplacer, coreHash, executionHash, isDocumentContract, isTaggedBigInt, isTaggedRaw, profileHash };
+export { bigintJsonReplacer, coreHash, executionHash, isTaggedBigInt, isTaggedRaw, profileHash };

package/dist/validate-contract.d.mts

@@ -1,15 +1,17 @@
-import { t as Contract } from "./contract-types-x89nqTli.mjs";
+import { t as Contract } from "./contract-types-Cd9ic3zL.mjs";
 
 //#region src/validate-contract.d.ts
-
+type ContractValidationPhase = 'structural' | 'domain' | 'storage';
+declare class ContractValidationError extends Error {
+  readonly code = "CONTRACT.VALIDATION_FAILED";
+  readonly phase: ContractValidationPhase;
+  constructor(message: string, phase: ContractValidationPhase);
+}
 /**
  * Family-provided storage validator.
  * SQL validates tables/columns/FKs; Mongo validates collections/embedding.
  */
 type StorageValidator = (contract: Contract) => void;
-interface ValidateContractResult {
-  readonly warnings: string[];
-}
 /**
  * Framework-level contract validation (ADR 182).
  *
@@ -21,7 +23,7 @@ interface ValidateContractResult {
  * 3. **Storage validation** (family-provided): SQL validates tables/columns/FKs;
  *    Mongo validates collections/embedding.
  *
- * JSON persistence fields (`schemaVersion`, `sources`) are stripped before
+ * JSON persistence fields (`schemaVersion`, `_generated`) are stripped before
  * validation — they are not part of the in-memory contract representation.
  *
  * @template TContract  The fully-typed contract type (preserves literal types).
@@ -29,7 +31,7 @@ interface ValidateContractResult {
  * @param storageValidator  Family-specific storage validation function.
  * @returns The validated contract with full literal types.
  */
-declare function validateContract<TContract extends Contract>(value: unknown, storageValidator: StorageValidator): TContract & ValidateContractResult;
+declare function validateContract<TContract extends Contract>(value: unknown, storageValidator: StorageValidator): TContract;
 //#endregion
-export { type StorageValidator, type ValidateContractResult, validateContract };
+export { ContractValidationError, type ContractValidationPhase, type StorageValidator, validateContract };
 //# sourceMappingURL=validate-contract.d.mts.map

package/dist/validate-contract.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"validate-contract.d.mts","names":[],"sources":["../src/validate-contract.ts"],"sourcesContent":[],"mappings":";;;;;;AASA;AAEA;AAqDgB,KAvDJ,gBAAA,GAuDoB,CAAA,QAAA,EAvDU,QAuDV,EAAA,GAAA,IAAA;AAAmB,UArDlC,sBAAA,CAqDkC;EAE/B,SAAA,QAAA,EAAA,MAAA,EAAA;;;;;;;;;;;;;;;;;;;;;iBAFJ,mCAAmC,4CAE/B,mBACjB,YAAY"}
+{"version":3,"file":"validate-contract.d.mts","names":[],"sources":["../src/validate-contract.ts"],"sourcesContent":[],"mappings":";;;KAKY,uBAAA;cAEC,uBAAA,SAAgC,KAAA;EAFjC,SAAA,IAAA,GAAA,4BAAuB;EAEtB,SAAA,KAAA,EAEK,uBAFmB;EAEnB,WAAA,CAAA,OAAA,EAAA,MAAA,EAAA,KAAA,EAEoB,uBAFpB;;;;AAalB;AAmDA;AAAmD,KAnDvC,gBAAA,GAmDuC,CAAA,QAAA,EAnDT,QAmDS,EAAA,GAAA,IAAA;;;;;;;;;;;;;;;;;;;;iBAAnC,mCAAmC,4CAE/B,mBACjB"}

package/dist/validate-contract.mjs

@@ -1,61 +1,3 @@
-import { t as validateContractDomain } from "./validate-domain-CTQiBiei.mjs";
-import { type } from "arktype";
+import { n as ContractValidationError, r as validateContract } from "./validate-domain-BlwWyv01.mjs";
 
-//#region src/validate-contract.ts
-const ContractSchema = type({
-	target: "string",
-	targetFamily: "string",
-	roots: "Record<string, string>",
-	models: "Record<string, unknown>",
-	storage: "Record<string, unknown>",
-	capabilities: "Record<string, Record<string, boolean>>",
-	extensionPacks: "Record<string, unknown>",
-	meta: "Record<string, unknown>",
-	"execution?": {
-		"executionHash?": "string",
-		mutations: { defaults: "unknown[]" }
-	},
-	"profileHash?": "string"
-});
-function stripPersistenceFields(raw) {
-	const { schemaVersion: _, sources: _s, ...rest } = raw;
-	return rest;
-}
-function extractDomainShape(contract) {
-	return {
-		roots: contract.roots,
-		models: contract.models
-	};
-}
-/**
-* Framework-level contract validation (ADR 182).
-*
-* Three-pass validation:
-* 1. **Structural validation** (arktype): verifies required fields exist with
-*    correct base types.
-* 2. **Domain validation** (framework-owned): roots, relation targets,
-*    variant/base consistency, discriminators, ownership, orphans.
-* 3. **Storage validation** (family-provided): SQL validates tables/columns/FKs;
-*    Mongo validates collections/embedding.
-*
-* JSON persistence fields (`schemaVersion`, `sources`) are stripped before
-* validation — they are not part of the in-memory contract representation.
-*
-* @template TContract  The fully-typed contract type (preserves literal types).
-* @param value           Raw contract value (e.g. parsed from JSON).
-* @param storageValidator  Family-specific storage validation function.
-* @returns The validated contract with full literal types.
-*/
-function validateContract(value, storageValidator) {
-	if (typeof value !== "object" || value === null) throw new Error("Contract must be a non-null object");
-	const parsed = ContractSchema(stripPersistenceFields(value));
-	if (parsed instanceof type.errors) throw new Error(`Invalid contract structure: ${parsed.summary}`);
-	const contract = parsed;
-	const domainResult = validateContractDomain(extractDomainShape(contract));
-	storageValidator(contract);
-	return Object.assign(contract, { warnings: domainResult.warnings });
-}
-
-//#endregion
-export { validateContract };
-//# sourceMappingURL=validate-contract.mjs.map
+export { ContractValidationError, validateContract };