@prisma-next/contract 0.5.0-dev.8 → 0.5.0-dev.9

package/README.md

@@ -11,7 +11,7 @@ Core contract data types and JSON schemas for Prisma Next.
 This package provides the foundational type definitions for Prisma Next data contracts:
 
 - **Contract data types**: The canonical description of an application's data model and storage layout (`ContractBase`, `DocumentContract`, `Source`, `FieldType`)
-- **Plan types**: Target-family-agnostic execution plan types (`ExecutionPlan`, `PlanMeta`, `ParamDescriptor`)
+- **Plan metadata**: Target-family-agnostic plan metadata types (`PlanMeta`, `ParamDescriptor`, `PlanRefs`). The plan markers themselves (`QueryPlan`, `ExecutionPlan`) live in `@prisma-next/framework-components/runtime`; family-specific plans (`SqlExecutionPlan`, `MongoExecutionPlan`) live in their respective domains.
 - **Hash types**: Branded hash types for storage, execution, and profile hashing (`StorageHashBase`, `ExecutionHashBase`, `ProfileHashBase`)
 - **JSON Schemas**: Validation schemas for contract files
 - **Type guards**: Runtime type guards for narrowing contract types (`isDocumentContract`)
@@ -25,7 +25,6 @@ import type {
   Contract,
   ContractMarkerRecord,
   DocumentContract,
-  ExecutionPlan,
   PlanMeta,
 } from '@prisma-next/contract/types';
 import { isDocumentContract, coreHash, profileHash } from '@prisma-next/contract/types';

package/dist/{contract-types-MYdoYIIh.d.mts → contract-types-CmLTUrpi.d.mts}

@@ -220,37 +220,6 @@ interface PlanMeta {
    */
   readonly projectionTypes?: Record<string, string>;
 }
-/**
- * Canonical execution plan shape used by runtimes.
- *
- * - Row is the inferred result row type (TypeScript-only).
- * - Ast is the optional, family-specific AST type (e.g. SQL QueryAst).
- *
- * The payload executed by the runtime is represented by the sql + params pair
- * for now; future families can specialize this via Ast or additional metadata.
- */
-interface ExecutionPlan<Row = unknown, Ast = unknown> {
-  readonly sql: string;
-  readonly params: readonly unknown[];
-  readonly ast?: Ast;
-  readonly meta: PlanMeta;
-  /**
-   * Phantom property to carry the Row generic for type-level utilities.
-   * Not set at runtime; used only for ResultType extraction.
-   */
-  readonly _row?: Row;
-}
-/**
- * Utility type to extract the Row type from an ExecutionPlan.
- * Example: `type Row = ResultType<typeof plan>`
- *
- * Works with both ExecutionPlan and SqlQueryPlan (SQL query plans before lowering).
- * SqlQueryPlan includes a phantom `_Row` property to preserve the generic parameter
- * for type extraction.
- */
-type ResultType<P> = P extends ExecutionPlan<infer R, unknown> ? R : P extends {
-  readonly _Row?: infer R;
-} ? R : never;
 /**
  * Contract marker record stored in the database.
  * Represents the current contract identity for a database.
@@ -310,5 +279,5 @@ interface Contract<TStorage extends StorageBase = StorageBase, TModels extends R
   readonly meta: Record<string, unknown>;
 }
 //#endregion
-export { executionHash as A, ContractRelationOn as B, PlanRefs as C, StorageBase as D, Source as E, ContractFieldType as F, ReferenceRelationKeys as G, ContractVariantEntry as H, ContractModel as I, ValueObjectFieldType as J, ScalarFieldType as K, ContractModelBase as L, ContractDiscriminator as M, ContractEmbedRelation as N, StorageHashBase as O, ContractField as P, ContractReferenceRelation as R, PlanMeta as S, ResultType as T, EmbedRelationKeys as U, ContractValueObject as V, ModelStorageBase 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, profileHash as j, coreHash as k, DocCollection as l, ExecutionPlan as m, ContractExecutionSection as n, ColumnDefaultLiteralInputValue as o, ExecutionMutationDefaultValue as p, UnionFieldType 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, ContractRelation as z };
-//# sourceMappingURL=contract-types-MYdoYIIh.d.mts.map
+export { ContractDiscriminator as A, ContractVariantEntry as B, ProfileHashBase as C, coreHash as D, StorageHashBase as E, ContractModelBase as F, UnionFieldType as G, ModelStorageBase as H, ContractReferenceRelation as I, ValueObjectFieldType as K, ContractRelation as L, ContractField as M, ContractFieldType as N, executionHash as O, ContractModel as P, ContractRelationOn as R, PlanRefs as S, StorageBase as T, ReferenceRelationKeys as U, EmbedRelationKeys as V, ScalarFieldType as W, GeneratedValueSpec as _, ColumnDefault as a, ParamDescriptor as b, ContractMarkerRecord as c, ExecutionHashBase as d, ExecutionMutationDefault as f, FieldType as g, Expr as h, Brand as i, ContractEmbedRelation as j, profileHash as k, DocCollection as l, ExecutionSection as m, ContractExecutionSection as n, ColumnDefaultLiteralInputValue as o, ExecutionMutationDefaultValue as p, $ as r, ColumnDefaultLiteralValue as s, Contract as t, DocIndex as u, JsonPrimitive as v, Source as w, PlanMeta as x, JsonValue as y, ContractValueObject as z };
+//# sourceMappingURL=contract-types-CmLTUrpi.d.mts.map

package/dist/{contract-types-MYdoYIIh.d.mts.map → contract-types-CmLTUrpi.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"contract-types-MYdoYIIh.d.mts","names":[],"sources":["../src/domain-types.ts","../src/types.ts","../src/contract-types.ts"],"sourcesContent":[],"mappings":";KAAY,eAAA;EAAA,SAAA,IAAA,EAAA,QAAe;EAMf,SAAA,OAAA,EAAA,MAAoB;EAKpB,SAAA,UAAc,CAAA,EARF,MAQE,CAAA,MAAA,EAAA,OAAA,CAAA;CAEQ;AAAkB,KAPxC,oBAAA,GAOwC;EAAhC,SAAA,IAAA,EAAA,aAAA;EAAa,SAAA,IAAA,EAAA,MAAA;AAGjC,CAAA;AAAgC,KALpB,cAAA,GAKoB;EAAkB,SAAA,IAAA,EAAA,OAAA;EAAuB,SAAA,OAAA,EAHrD,aAGqD,CAHvC,eAGuC,GAHrB,oBAGqB,CAAA;CAAc;AAE3E,KAFA,iBAAA,GAAoB,eAIf,GAJiC,oBAIhB,GAJuC,cAIvC;AAKtB,KAPA,aAAA,GAOkB;EAKlB,SAAA,QAAA,EAAA,OAAA;EAMA,SAAA,IAAA,EAhBK,iBAgBgB;EAKrB,SAAA,IAAA,CAAA,EAAA,IAAgB;EAEhB,SAAA,IAAA,CAAA,EAAA,IAAA;AAIZ,CAAA;AAIY,KA1BA,kBAAA,GA0BmB;EAInB,SAAA,WAAgB,EAAA,SAAY,MAAA,EAAT;EAEd,SAAA,YAAiB,EAAA,SAAA,MAAA,EAAA;CAAuB;AAAmB,KA3BhE,yBAAA,GA2BgE;EAC1C,SAAA,EAAA,EAAA,MAAA;EAAf,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA,GAAA,KAAA;EACkB,SAAA,EAAA,EA1BtB,kBA0BsB;CAAf;AACF,KAxBR,qBAAA,GAwBQ;EACO,SAAA,EAAA,EAAA,MAAA;EACU,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA;CAAf;AAAM,KArBhB,gBAAA,GAAmB,yBAqBH,GArB+B,qBAqB/B;AAKX,KAxBL,qBAAA,GAwBkB;EAAuB,SAAA,KAAA,EAAA,MAAA;CAAmB;AAC5C,KArBhB,oBAAA,GAqBgB;EACM,SAAA,KAAA,EAAA,MAAA;CAAf;AADT,KAjBE,mBAAA,GAiBF;EAAiB,SAAA,MAAA,EAhBR,MAgBQ,CAAA,MAAA,EAhBO,aAgBP,CAAA;AAE1B,CAAA;AAKsE,KApB3D,gBAAA,GAAmB,QAoBwC,CApB/B,MAoB+B,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;AAAf,UAlBvC,iBAkBuC,CAAA,sBAlBC,gBAkBD,GAlBoB,gBAkBpB,CAAA,CAAA;EAArC,SAAA,MAAA,EAjBA,MAiBA,CAAA,MAAA,EAjBe,aAiBf,CAAA;EAAM,SAAA,SAAA,EAhBH,MAgBG,CAAA,MAAA,EAhBY,gBAgBZ,CAAA;EAGb,SAAA,OAAA,EAlBQ,aAkBa;EACb,SAAA,aAAA,CAAA,EAlBO,qBAkBP;EACe,SAAA,QAAA,CAAA,EAlBb,MAkBa,CAAA,MAAA,EAlBE,oBAkBF,CAAA;EAErB,SAAA,IAAA,CAAA,EAAA,MAAA;EAAoB,SAAA,KAAA,CAAA,EAAA,MAAA;;AAA8C,UAf/D,aAe+D,CAAA,sBAf3B,gBAe2B,GAfR,gBAeQ,CAAA,SAdtE,iBAcsE,CAdpD,aAcoD,CAAA,CAAA;EAAwB,SAAA,MAAA,EAbrF,MAaqF,CAAA,MAAA,EAbtE,aAasE,CAAA;;KARnG,sBAAA,GASC;EAEE,SAAA,MAAA,EAVW,MAUX,CAAA,MAAA,EAAA;IAAoB,SAAA,SAAA,EAV4B,MAU5B,CAAA,MAAA,EAV2C,gBAU3C,CAAA;EAAS,CAAA,CAAA;AAErC,CAAA;AACoB,KAVR,qBAUQ,CAAA,kBATA,sBASA,EAAA,kBAAA,MAAA,GAAA,MARe,SAQf,CAAA,QAAA,CAAA,CAAA,GAAA,QACe,MAPrB,SAOqB,CAAA,QAAA,CAAA,CAPD,SAOC,CAAA,CAAA,WAAA,CAAA,GAPyB,SAOzB,CAAA,QAAA,CAAA,CAP6C,SAO7C,CAAA,CAAA,WAAA,CAAA,CAPqE,CAOrE,CAAA,SAPgF,yBAOhF,GAN7B,CAM6B,GAAA,KAAA,EAErB,CAAA,MANN,SAMM,CAAA,QAAA,CAAA,CANc,SAMd,CAAA,CAAA,WAAA,CAAA,CAAA;AAAoB,KAJtB,iBAIsB,CAAA,kBAHd,sBAGc,EAAA,kBAAA,MAAA,GAAA,MAFC,SAED,CAAA,QAAA,CAAA,CAAA,GAAA,QAA0B,MAA9C,SAA8C,CAAA,QAAA,CAAA,CAA1B,SAA0B,CAAA,CAAA,WAAA,CAAA,GAAA,SAAA,CAAA,QAAA,CAAA,CAAoB,SAApB,CAAA,CAAA,WAAA,CAAA,CAA4C,CAA5C,CAAA,SAAuD,yBAAvD,GAAA,KAAA,GAEtD,CAFsD,EAAoB,CAAA,MAGxE,SAHwE,CAAA,QAAA,CAAA,CAGpD,SAHoD,CAAA,CAAA,WAAA,CAAA,CAAA;;;;AA3FhF;AAMA;AAKY,cCRC,CDQa,EAAA,OAAA,MAAA;;;;;AAK1B;;AAAkD,KCLtC,KDKsC,CAAA,aAAA,MAAA,GAAA,MAAA,GAAA,MAAA,EAAA,SAAA,IAAA,CAAA,GAAA;EAAuB,CCJtE,CAAA,CDIsE,EAAA,QCH/D,IDG6E,GCHtE,MDGsE,EAE3E;AAOZ,CAAA;AAKA;AAMA;AAKA;AAEA;AAIA;AAIY,KC7BA,eD6BmB,CAAA,cACG,MAAA,CAAA,GC9BkB,KD8BjC,GC9ByC,KD8BnC,CAAA,aAAA,CAAA;AAGzB;AAEA;;;;AACmB,KC7BP,iBD6BO,CAAA,cAAA,MAAA,CAAA,GC7BmC,KD6BnC,GC7B2C,KD6B3C,CAAA,eAAA,CAAA;AACkB,iBC5BrB,aD4BqB,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,EC5BwB,CD4BxB,CAAA,EC5B4B,iBD4B5B,CC5B8C,CD4B9C,CAAA;AAAf,iBCxBN,QDwBM,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECxBkC,CDwBlC,CAAA,ECxBsC,eDwBtC,CCxBsD,CDwBtD,CAAA;;;;;;AAQL,KCvBL,eDuBkB,CAAA,cAAA,MAAA,CAAA,GCvBsB,KDuBtB,GCvB8B,KDuB9B,CAAA,aAAA,CAAA;AAAuB,iBCrBrC,WDqBqC,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECrBM,CDqBN,CAAA,ECrBU,eDqBV,CCrB0B,CDqB1B,CAAA;;;;;;AAC1B,UCbV,WDaU,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,CAAA;EAMtB,SAAA,WAAA,EClBmB,eDkBG,CClBa,KDkBb,CAAA;;AAC6B,UChBvC,SAAA,CDgBuC;EAArC,SAAA,IAAA,EAAA,MAAA;EAAM,SAAA,QAAA,EAAA,OAAA;EAGb,SAAA,KAAA,CAAA,EChBO,SDgBc;EACb,SAAA,UAAA,CAAA,EChBI,MDgBJ,CAAA,MAAA,EChBmB,SDgBnB,CAAA;;AAGN,KChBF,kBAAA,GDgBE;EAAoB,SAAA,EAAA,EAAA,MAAA;EAA0B,SAAA,MAAA,CAAA,ECdxC,MDcwC,CAAA,MAAA,EAAA,OAAA,CAAA;CAAoB;AAAwB,KCX5F,aAAA,GDW4F,MAAA,GAAA,MAAA,GAAA,OAAA,GAAA,IAAA;AAAW,KCTvG,SAAA,GACR,aDQ+G,GAAA;EAC7G,UAAA,GAAA,EAAA,MAAA,CAAA,ECRwB,SDQxB;CAEE,GAAA,SCTK,SDSL,EAAA;AAAoB,KCPhB,yBAAA,GAA4B,SDOZ;AAAS,KCLzB,8BAAA,GAAiC,yBDKR,GCLoC,IDKpC;AAEzB,KCLA,aAAA,GDKiB;EACT,SAAA,IAAA,EAAA,SAAA;EACe,SAAA,KAAA,ECJb,8BDIa;CAErB,GAAA;EAAoB,SAAA,IAAA,EAAA,UAAA;EAA0B,SAAA,UAAA,EAAA,MAAA;CAAoB;AAAwB,KCF5F,6BAAA,GDE4F;EAAW,SAAA,IAAA,EAAA,WAAA;EAE7G,SAAA,EAAA,ECFS,kBDET,CAAA,IAAA,CAAA;EACE,SAAA,MAAA,CAAA,ECFY,MDEZ,CAAA,MAAA,EAAA,OAAA,CAAA;CAAoB;AAAS,KCCzB,wBAAA,GDDyB;;;;EC3FxB,CAAA;EAQD,SAAK,QAAA,CAAA,EAsFK,6BAtFL;EAEP,SAAA,QAAA,CAAA,EAqFY,6BArFZ;CAAO;AADd,KAyFS,gBAzFT,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EAAC,SAAA,aAAA,EA0FsB,iBA1FtB,CA0FwC,KA1FxC,CAAA;EAUQ,SAAA,SAAe,EAAA;IAOf,SAAA,QAAiB,EA2EN,aA3E+B,CA2EjB,wBA3E8B,CAAA;EAEnD,CAAA;CAA6C;AAAsB,UA6ElE,MAAA,CA7EkE;EAAlB,SAAA,QAAA,EAAA,OAAA;EAAiB,SAAA,UAAA,EA+E3D,MA/E2D,CAAA,MAAA,EA+E5C,SA/E4C,CAAA;EAIlE,SAAA,MAAQ,CAAA,EA4EJ,MA5EI,CAAA,MAAA,EAAA,OAAA,CAAA;EAAgC,SAAA,YAAA,CAAA,EA6E9B,MA7E8B,CAAA,MAAA,EAAA,OAAA,CAAA;;AAAI,UAiF3C,QAAA,CAjF2C;EAAe,SAAA,IAAA,EAAA,MAAA;EAS/D,SAAA,IAAA,EA0EK,MA1EU,CAAA,MAAA,EAAA,KAAyB,GAAA,MAAQ,CAAA;EAE5C,SAAA,MAAW,CAAA,EAAA,OAAA;EAAgC,SAAA,KAAA,CAAA,EA0ExC,IA1EwC;;AAAI,KA6EnD,IAAA,GA7EmD;EAAe,SAAA,IAAA,EAAA,IAAA;EAS7D,SAAA,IAAA,EAqEyB,aArEd,CAAA,MACY,CAAA;EAGvB,SAAA,KAAS,EAAA,OAAA;CAGP,GAAA;EACoB,SAAA,IAAA,EAAA,QAAA;EAAf,SAAA,IAAA,EA8DsB,aA9DtB,CAAA,MAAA,CAAA;CAAM;AAGlB,UA6DK,aAAA,CA7Da;EAKlB,SAAA,IAAA,EAAA,MAAa;EAEb,SAAA,EAAA,CAAS,EAAA;IACjB,SAAA,QAAA,EAAA,MAAA,GAAA,QAAA,GAAA,MAAA,GAAA,UAAA;EAC0B,CAAA;EACjB,SAAA,MAAA,EAwDM,MAxDN,CAAA,MAAA,EAwDqB,SAxDrB,CAAA;EAAS,SAAA,OAAA,CAAA,EAyDD,aAzDC,CAyDa,QAzDb,CAAA;EAEV,SAAA,QAAA,CAAA,EAAA,OAAA;AAEZ;AAEY,UAwDK,eAAA,CArDK;EAIV,SAAA,KAAA,CAAA,EAAA,MAAA;EAMA,SAAA,IAAA,CAAA,EAAA,MAAA;EAMA,SAAA,OAAA,CAAA,EAAgB,MAAA;EACgB,SAAA,UAAA,CAAA,EAAA,MAAA;EAAlB,SAAA,QAAA,CAAA,EAAA,OAAA;EAEW,SAAA,MAAA,EAAA,KAAA,GAAA,KAAA,GAAA,MAAA;EAAd,SAAA,IAAA,CAAA,EAAA;IAAa,KAAA,EAAA,MAAA;IAInB,MAAM,EAAA,MAAA;EAEe,CAAA;;AAClB,UAqCH,QAAA,CArCG;EACM,SAAA,MAAA,CAAA,EAAA,SAAA,MAAA,EAAA;EAAM,SAAA,OAAA,CAAA,EAsCX,aAtCW,CAAA;IAIf,KAAA,EAAQ,MAAA;IAOb,MAAI,EAAA,MAAA;EAIC,CAAA,CAAA;EAKiB,SAAA,OAAA,CAAA,EAmBb,aAnBa,CAAA;IAAf,SAAA,KAAA,EAAA,MAAA;IACgB,SAAA,OAAA,EAoBb,aApBa,CAAA,MAAA,CAAA;IAAd,SAAA,IAAA,CAAA,EAAA,MAAA;EAAa,CAAA,CAAA;AAKlC;AAUiB,UAUA,QAAA,CAVQ;EAEJ,SAAA,MAAA,EAAA,MAAA;EAGC,SAAA,YAAA,CAAA,EAAA,MAAA;EAFD,SAAA,WAAA,EAAA,MAAA;EAAa,SAAA,WAAA,CAAA,EAAA,MAAA;EAOjB,SAAA,IAAQ,EAAA,MAAA;EAOZ,SAAA,WAAA,CAAA,EAAA;IAG8B,MAAA,CAAA,EAH9B,MAG8B,CAAA,MAAA,EAAA,MAAA,CAAA;IAAd,CAAA,GAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EACX,CAAA;EACM,SAAA,gBAAA,EAFK,aAEL,CAFmB,eAEnB,CAAA;EAAyB,SAAA,IAAA,CAAA,EAD/B,QAC+B;EAKpB,SAAA,UAAA,CAAA,EALL,MAKK,CAAA,MAAA,EAAA,MAAA,CAAA,GALoB,aAKpB,CAAA,MAAA,CAAA;EAAM;AAYnC;;;EASkB,SAAA,eAAA,CAAA,EArBW,MAqBX,CAAA,MAAA,EAAA,MAAA,CAAA;;AAWlB;;;;;AAOA;;;;ACrMY,UD0KK,aC1KL,CAAwB,MAAA,OAAA,EAAA,MAAA,OAAA,CAAA,CAAA;EACQ,SAAA,GAAA,EAAA,MAAA;EAAlB,SAAA,MAAA,EAAA,SAAA,OAAA,EAAA;EAEW,SAAA,GAAA,CAAA,ED0KpB,GC1KoB;EAAd,SAAA,IAAA,ED2KN,QC3KM;EAAa;AAmBpC;;;EAEiC,SAAA,IAAA,CAAA,ED2Jf,GC3Je;;;;;;;;;;AAQR,KD8Jb,UC9Ja,CAAA,CAAA,CAAA,GD+JvB,CC/JuB,SD+Jb,aC/Ja,CAAA,KAAA,EAAA,EAAA,OAAA,CAAA,GAAA,CAAA,GD+JyB,CC/JzB,SAAA;EACE,SAAA,IAAA,CAAA,EAAA,KAAA,EAAA;CACJ,GAAA,CAAA,GAAA,KAAA;;;;;UDmKN,oBAAA;;;;;sBAKK;;iBAEL;;;;ADvNjB;AAKA;;;;;AAKA;;;AAAyE,KEC7D,wBFD6D,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EAAc,SAAA,aAAA,EEE7D,iBFF6D,CEE3C,KFF2C,CAAA;EAE3E,SAAA,SAAa,EAAA;IAOb,SAAA,QAAkB,EELP,aFKO,CELO,wBFKP,CAAA;EAKlB,CAAA;AAMZ,CAAA;AAKA;AAEA;AAIA;AAIA;AAIA;AAEA;;;;;;;;;;AAKsB,UEvBL,QFuBK,CAAA,iBEtBH,WFsBG,GEtBW,WFsBX,EAAA,gBErBJ,MFqBI,CAAA,MAAA,EErBW,iBFqBX,CAAA,GErBgC,MFqBhC,CAAA,MAAA,EErB+C,iBFqB/C,CAAA,CAAA,CAAA;EAAM,SAAA,MAAA,EAAA,MAAA;EAKX,SAAA,YAAa,EAAA,MAAA;EAAuB,SAAA,KAAA,EEtBnC,MFsBmC,CAAA,MAAA,EAAA,MAAA,CAAA;EAAmB,SAAA,MAAA,EErBrD,OFqBqD;EAC5C,SAAA,YAAA,CAAA,EErBF,MFqBE,CAAA,MAAA,EErBa,mBFqBb,CAAA;EACM,SAAA,OAAA,EErBd,QFqBc;EAAf,SAAA,YAAA,EEpBM,MFoBN,CAAA,MAAA,EEpBqB,MFoBrB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EADT,SAAA,cAAA,EElBiB,MFkBjB,CAAA,MAAA,EAAA,OAAA,CAAA;EAAiB,SAAA,SAAA,CAAA,EEjBJ,wBFiBI;EAMtB,SAAA,WAAA,EEtBmB,eFsBG,CAAA,MAAA,CAAA;EAC4C,SAAA,IAAA,EEtBtD,MFsBsD,CAAA,MAAA,EAAA,OAAA,CAAA"}
+{"version":3,"file":"contract-types-CmLTUrpi.d.mts","names":[],"sources":["../src/domain-types.ts","../src/types.ts","../src/contract-types.ts"],"sourcesContent":[],"mappings":";KAAY,eAAA;EAAA,SAAA,IAAA,EAAA,QAAe;EAMf,SAAA,OAAA,EAAA,MAAoB;EAKpB,SAAA,UAAc,CAAA,EARF,MAQE,CAAA,MAAA,EAAA,OAAA,CAAA;CAEQ;AAAkB,KAPxC,oBAAA,GAOwC;EAAhC,SAAA,IAAA,EAAA,aAAA;EAAa,SAAA,IAAA,EAAA,MAAA;AAGjC,CAAA;AAAgC,KALpB,cAAA,GAKoB;EAAkB,SAAA,IAAA,EAAA,OAAA;EAAuB,SAAA,OAAA,EAHrD,aAGqD,CAHvC,eAGuC,GAHrB,oBAGqB,CAAA;CAAc;AAE3E,KAFA,iBAAA,GAAoB,eAIf,GAJiC,oBAIhB,GAJuC,cAIvC;AAKtB,KAPA,aAAA,GAOkB;EAKlB,SAAA,QAAA,EAAA,OAAA;EAMA,SAAA,IAAA,EAhBK,iBAgBgB;EAKrB,SAAA,IAAA,CAAA,EAAA,IAAgB;EAEhB,SAAA,IAAA,CAAA,EAAA,IAAA;AAIZ,CAAA;AAIY,KA1BA,kBAAA,GA0BmB;EAInB,SAAA,WAAgB,EAAA,SAAY,MAAA,EAAT;EAEd,SAAA,YAAiB,EAAA,SAAA,MAAA,EAAA;CAAuB;AAAmB,KA3BhE,yBAAA,GA2BgE;EAC1C,SAAA,EAAA,EAAA,MAAA;EAAf,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA,GAAA,KAAA;EACkB,SAAA,EAAA,EA1BtB,kBA0BsB;CAAf;AACF,KAxBR,qBAAA,GAwBQ;EACO,SAAA,EAAA,EAAA,MAAA;EACU,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA;CAAf;AAAM,KArBhB,gBAAA,GAAmB,yBAqBH,GArB+B,qBAqB/B;AAKX,KAxBL,qBAAA,GAwBkB;EAAuB,SAAA,KAAA,EAAA,MAAA;CAAmB;AAC5C,KArBhB,oBAAA,GAqBgB;EACM,SAAA,KAAA,EAAA,MAAA;CAAf;AADT,KAjBE,mBAAA,GAiBF;EAAiB,SAAA,MAAA,EAhBR,MAgBQ,CAAA,MAAA,EAhBO,aAgBP,CAAA;AAE1B,CAAA;AAKsE,KApB3D,gBAAA,GAAmB,QAoBwC,CApB/B,MAoB+B,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;AAAf,UAlBvC,iBAkBuC,CAAA,sBAlBC,gBAkBD,GAlBoB,gBAkBpB,CAAA,CAAA;EAArC,SAAA,MAAA,EAjBA,MAiBA,CAAA,MAAA,EAjBe,aAiBf,CAAA;EAAM,SAAA,SAAA,EAhBH,MAgBG,CAAA,MAAA,EAhBY,gBAgBZ,CAAA;EAGb,SAAA,OAAA,EAlBQ,aAkBa;EACb,SAAA,aAAA,CAAA,EAlBO,qBAkBP;EACe,SAAA,QAAA,CAAA,EAlBb,MAkBa,CAAA,MAAA,EAlBE,oBAkBF,CAAA;EAErB,SAAA,IAAA,CAAA,EAAA,MAAA;EAAoB,SAAA,KAAA,CAAA,EAAA,MAAA;;AAA8C,UAf/D,aAe+D,CAAA,sBAf3B,gBAe2B,GAfR,gBAeQ,CAAA,SAdtE,iBAcsE,CAdpD,aAcoD,CAAA,CAAA;EAAwB,SAAA,MAAA,EAbrF,MAaqF,CAAA,MAAA,EAbtE,aAasE,CAAA;;KARnG,sBAAA,GASC;EAEE,SAAA,MAAA,EAVW,MAUX,CAAA,MAAA,EAAA;IAAoB,SAAA,SAAA,EAV4B,MAU5B,CAAA,MAAA,EAV2C,gBAU3C,CAAA;EAAS,CAAA,CAAA;AAErC,CAAA;AACoB,KAVR,qBAUQ,CAAA,kBATA,sBASA,EAAA,kBAAA,MAAA,GAAA,MARe,SAQf,CAAA,QAAA,CAAA,CAAA,GAAA,QACe,MAPrB,SAOqB,CAAA,QAAA,CAAA,CAPD,SAOC,CAAA,CAAA,WAAA,CAAA,GAPyB,SAOzB,CAAA,QAAA,CAAA,CAP6C,SAO7C,CAAA,CAAA,WAAA,CAAA,CAPqE,CAOrE,CAAA,SAPgF,yBAOhF,GAN7B,CAM6B,GAAA,KAAA,EAErB,CAAA,MANN,SAMM,CAAA,QAAA,CAAA,CANc,SAMd,CAAA,CAAA,WAAA,CAAA,CAAA;AAAoB,KAJtB,iBAIsB,CAAA,kBAHd,sBAGc,EAAA,kBAAA,MAAA,GAAA,MAFC,SAED,CAAA,QAAA,CAAA,CAAA,GAAA,QAA0B,MAA9C,SAA8C,CAAA,QAAA,CAAA,CAA1B,SAA0B,CAAA,CAAA,WAAA,CAAA,GAAA,SAAA,CAAA,QAAA,CAAA,CAAoB,SAApB,CAAA,CAAA,WAAA,CAAA,CAA4C,CAA5C,CAAA,SAAuD,yBAAvD,GAAA,KAAA,GAEtD,CAFsD,EAAoB,CAAA,MAGxE,SAHwE,CAAA,QAAA,CAAA,CAGpD,SAHoD,CAAA,CAAA,WAAA,CAAA,CAAA;;;;AA3FhF;AAMA;AAKY,cCRC,CDQa,EAAA,OAAA,MAAA;;;;;AAK1B;;AAAkD,KCLtC,KDKsC,CAAA,aAAA,MAAA,GAAA,MAAA,GAAA,MAAA,EAAA,SAAA,IAAA,CAAA,GAAA;EAAuB,CCJtE,CAAA,CDIsE,EAAA,QCH/D,IDG6E,GCHtE,MDGsE,EAE3E;AAOZ,CAAA;AAKA;AAMA;AAKA;AAEA;AAIA;AAIY,KC7BA,eD6BmB,CAAA,cACG,MAAA,CAAA,GC9BkB,KD8BjC,GC9ByC,KD8BnC,CAAA,aAAA,CAAA;AAGzB;AAEA;;;;AACmB,KC7BP,iBD6BO,CAAA,cAAA,MAAA,CAAA,GC7BmC,KD6BnC,GC7B2C,KD6B3C,CAAA,eAAA,CAAA;AACkB,iBC5BrB,aD4BqB,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,EC5BwB,CD4BxB,CAAA,EC5B4B,iBD4B5B,CC5B8C,CD4B9C,CAAA;AAAf,iBCxBN,QDwBM,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECxBkC,CDwBlC,CAAA,ECxBsC,eDwBtC,CCxBsD,CDwBtD,CAAA;;;;;;AAQL,KCvBL,eDuBkB,CAAA,cAAA,MAAA,CAAA,GCvBsB,KDuBtB,GCvB8B,KDuB9B,CAAA,aAAA,CAAA;AAAuB,iBCrBrC,WDqBqC,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECrBM,CDqBN,CAAA,ECrBU,eDqBV,CCrB0B,CDqB1B,CAAA;;;;;;AAC1B,UCbV,WDaU,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,CAAA;EAMtB,SAAA,WAAA,EClBmB,eDkBG,CClBa,KDkBb,CAAA;;AAC6B,UChBvC,SAAA,CDgBuC;EAArC,SAAA,IAAA,EAAA,MAAA;EAAM,SAAA,QAAA,EAAA,OAAA;EAGb,SAAA,KAAA,CAAA,EChBO,SDgBc;EACb,SAAA,UAAA,CAAA,EChBI,MDgBJ,CAAA,MAAA,EChBmB,SDgBnB,CAAA;;AAGN,KChBF,kBAAA,GDgBE;EAAoB,SAAA,EAAA,EAAA,MAAA;EAA0B,SAAA,MAAA,CAAA,ECdxC,MDcwC,CAAA,MAAA,EAAA,OAAA,CAAA;CAAoB;AAAwB,KCX5F,aAAA,GDW4F,MAAA,GAAA,MAAA,GAAA,OAAA,GAAA,IAAA;AAAW,KCTvG,SAAA,GACR,aDQ+G,GAAA;EAC7G,UAAA,GAAA,EAAA,MAAA,CAAA,ECRwB,SDQxB;CAEE,GAAA,SCTK,SDSL,EAAA;AAAoB,KCPhB,yBAAA,GAA4B,SDOZ;AAAS,KCLzB,8BAAA,GAAiC,yBDKR,GCLoC,IDKpC;AAEzB,KCLA,aAAA,GDKiB;EACT,SAAA,IAAA,EAAA,SAAA;EACe,SAAA,KAAA,ECJb,8BDIa;CAErB,GAAA;EAAoB,SAAA,IAAA,EAAA,UAAA;EAA0B,SAAA,UAAA,EAAA,MAAA;CAAoB;AAAwB,KCF5F,6BAAA,GDE4F;EAAW,SAAA,IAAA,EAAA,WAAA;EAE7G,SAAA,EAAA,ECFS,kBDET,CAAA,IAAA,CAAA;EACE,SAAA,MAAA,CAAA,ECFY,MDEZ,CAAA,MAAA,EAAA,OAAA,CAAA;CAAoB;AAAS,KCCzB,wBAAA,GDDyB;;;;EC3FxB,CAAA;EAQD,SAAK,QAAA,CAAA,EAsFK,6BAtFL;EAEP,SAAA,QAAA,CAAA,EAqFY,6BArFZ;CAAO;AADd,KAyFS,gBAzFT,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EAAC,SAAA,aAAA,EA0FsB,iBA1FtB,CA0FwC,KA1FxC,CAAA;EAUQ,SAAA,SAAe,EAAA;IAOf,SAAA,QAAiB,EA2EN,aA3E+B,CA2EjB,wBA3E8B,CAAA;EAEnD,CAAA;CAA6C;AAAsB,UA6ElE,MAAA,CA7EkE;EAAlB,SAAA,QAAA,EAAA,OAAA;EAAiB,SAAA,UAAA,EA+E3D,MA/E2D,CAAA,MAAA,EA+E5C,SA/E4C,CAAA;EAIlE,SAAA,MAAQ,CAAA,EA4EJ,MA5EI,CAAA,MAAA,EAAA,OAAA,CAAA;EAAgC,SAAA,YAAA,CAAA,EA6E9B,MA7E8B,CAAA,MAAA,EAAA,OAAA,CAAA;;AAAI,UAiF3C,QAAA,CAjF2C;EAAe,SAAA,IAAA,EAAA,MAAA;EAS/D,SAAA,IAAA,EA0EK,MA1EU,CAAA,MAAA,EAAA,KAAyB,GAAA,MAAQ,CAAA;EAE5C,SAAA,MAAW,CAAA,EAAA,OAAA;EAAgC,SAAA,KAAA,CAAA,EA0ExC,IA1EwC;;AAAI,KA6EnD,IAAA,GA7EmD;EAAe,SAAA,IAAA,EAAA,IAAA;EAS7D,SAAA,IAAA,EAqEyB,aArEd,CAAA,MACY,CAAA;EAGvB,SAAA,KAAS,EAAA,OAAA;CAGP,GAAA;EACoB,SAAA,IAAA,EAAA,QAAA;EAAf,SAAA,IAAA,EA8DsB,aA9DtB,CAAA,MAAA,CAAA;CAAM;AAGlB,UA6DK,aAAA,CA7Da;EAKlB,SAAA,IAAA,EAAA,MAAa;EAEb,SAAA,EAAA,CAAS,EAAA;IACjB,SAAA,QAAA,EAAA,MAAA,GAAA,QAAA,GAAA,MAAA,GAAA,UAAA;EAC0B,CAAA;EACjB,SAAA,MAAA,EAwDM,MAxDN,CAAA,MAAA,EAwDqB,SAxDrB,CAAA;EAAS,SAAA,OAAA,CAAA,EAyDD,aAzDC,CAyDa,QAzDb,CAAA;EAEV,SAAA,QAAA,CAAA,EAAA,OAAA;AAEZ;AAEY,UAwDK,eAAA,CArDK;EAIV,SAAA,KAAA,CAAA,EAAA,MAAA;EAMA,SAAA,IAAA,CAAA,EAAA,MAAA;EAMA,SAAA,OAAA,CAAA,EAAgB,MAAA;EACgB,SAAA,UAAA,CAAA,EAAA,MAAA;EAAlB,SAAA,QAAA,CAAA,EAAA,OAAA;EAEW,SAAA,MAAA,EAAA,KAAA,GAAA,KAAA,GAAA,MAAA;EAAd,SAAA,IAAA,CAAA,EAAA;IAAa,KAAA,EAAA,MAAA;IAInB,MAAM,EAAA,MAAA;EAEe,CAAA;;AAClB,UAqCH,QAAA,CArCG;EACM,SAAA,MAAA,CAAA,EAAA,SAAA,MAAA,EAAA;EAAM,SAAA,OAAA,CAAA,EAsCX,aAtCW,CAAA;IAIf,KAAA,EAAQ,MAAA;IAOb,MAAI,EAAA,MAAA;EAIC,CAAA,CAAA;EAKiB,SAAA,OAAA,CAAA,EAmBb,aAnBa,CAAA;IAAf,SAAA,KAAA,EAAA,MAAA;IACgB,SAAA,OAAA,EAoBb,aApBa,CAAA,MAAA,CAAA;IAAd,SAAA,IAAA,CAAA,EAAA,MAAA;EAAa,CAAA,CAAA;AAKlC;AAUiB,UAUA,QAAA,CAVQ;EAEJ,SAAA,MAAA,EAAA,MAAA;EAGC,SAAA,YAAA,CAAA,EAAA,MAAA;EAFD,SAAA,WAAA,EAAA,MAAA;EAAa,SAAA,WAAA,CAAA,EAAA,MAAA;EAOjB,SAAA,IAAQ,EAAA,MAAA;EAOZ,SAAA,WAAA,CAAA,EAAA;IAG8B,MAAA,CAAA,EAH9B,MAG8B,CAAA,MAAA,EAAA,MAAA,CAAA;IAAd,CAAA,GAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EACX,CAAA;EACM,SAAA,gBAAA,EAFK,aAEL,CAFmB,eAEnB,CAAA;EAAyB,SAAA,IAAA,CAAA,EAD/B,QAC+B;EAKpB,SAAA,UAAA,CAAA,EALL,MAKK,CAAA,MAAA,EAAA,MAAA,CAAA,GALoB,aAKpB,CAAA,MAAA,CAAA;EAAM;AAOnC;;;6BAP6B;AC9J7B;;;;;AAGoC,UDkKnB,oBAAA,CClKmB;EAmBnB,SAAA,WAAQ,EAAA,MAAA;EACN,SAAA,WAAA,EAAA,MAAA;EAAc,SAAA,YAAA,EAAA,OAAA,GAAA,IAAA;EACA,SAAA,gBAAA,EAAA,MAAA,GAAA,IAAA;EAAf,SAAA,SAAA,EDkJI,IClJJ;EAAmD,SAAA,MAAA,EAAA,MAAA,GAAA,IAAA;EAAf,SAAA,IAAA,EDoJrC,MCpJqC,CAAA,MAAA,EAAA,OAAA,CAAA;;;;AFnCtD;AAKA;;;;;AAKA;;;AAAyE,KEC7D,wBFD6D,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EAAc,SAAA,aAAA,EEE7D,iBFF6D,CEE3C,KFF2C,CAAA;EAE3E,SAAA,SAAa,EAAA;IAOb,SAAA,QAAkB,EELP,aFKO,CELO,wBFKP,CAAA;EAKlB,CAAA;AAMZ,CAAA;AAKA;AAEA;AAIA;AAIA;AAIA;AAEA;;;;;;;;;;AAKsB,UEvBL,QFuBK,CAAA,iBEtBH,WFsBG,GEtBW,WFsBX,EAAA,gBErBJ,MFqBI,CAAA,MAAA,EErBW,iBFqBX,CAAA,GErBgC,MFqBhC,CAAA,MAAA,EErB+C,iBFqB/C,CAAA,CAAA,CAAA;EAAM,SAAA,MAAA,EAAA,MAAA;EAKX,SAAA,YAAa,EAAA,MAAA;EAAuB,SAAA,KAAA,EEtBnC,MFsBmC,CAAA,MAAA,EAAA,MAAA,CAAA;EAAmB,SAAA,MAAA,EErBrD,OFqBqD;EAC5C,SAAA,YAAA,CAAA,EErBF,MFqBE,CAAA,MAAA,EErBa,mBFqBb,CAAA;EACM,SAAA,OAAA,EErBd,QFqBc;EAAf,SAAA,YAAA,EEpBM,MFoBN,CAAA,MAAA,EEpBqB,MFoBrB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EADT,SAAA,cAAA,EElBiB,MFkBjB,CAAA,MAAA,EAAA,OAAA,CAAA;EAAiB,SAAA,SAAA,CAAA,EEjBJ,wBFiBI;EAMtB,SAAA,WAAA,EEtBmB,eFsBG,CAAA,MAAA,CAAA;EAC4C,SAAA,IAAA,EEtBtD,MFsBsD,CAAA,MAAA,EAAA,OAAA,CAAA"}

package/dist/hashing.d.mts

@@ -1,4 +1,4 @@
-import { O as StorageHashBase, d as ExecutionHashBase, t as Contract, w as ProfileHashBase } from "./contract-types-MYdoYIIh.mjs";
+import { C as ProfileHashBase, E as StorageHashBase, d as ExecutionHashBase, t as Contract } from "./contract-types-CmLTUrpi.mjs";
 
 //#region src/canonicalization.d.ts
 declare function canonicalizeContractToObject(contract: Contract, options?: {

package/dist/testing.d.mts

@@ -1,4 +1,4 @@
-import { D as StorageBase, I as ContractModel, L as ContractModelBase, O as StorageHashBase, V as ContractValueObject, W as ModelStorageBase, h as ExecutionSection, t as Contract, w as ProfileHashBase } from "./contract-types-MYdoYIIh.mjs";
+import { C as ProfileHashBase, E as StorageHashBase, F as ContractModelBase, H as ModelStorageBase, P as ContractModel, T as StorageBase, m as ExecutionSection, t as Contract, z as ContractValueObject } from "./contract-types-CmLTUrpi.mjs";
 
 //#region src/testing-factories.d.ts
 type ContractOverrides<TStorage extends StorageBase = StorageBase, TModels extends Record<string, ContractModelBase> = Record<string, ContractModel>> = {

package/dist/types-aMyNgejf.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"types-aMyNgejf.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 ColumnDefaultLiteralValue = JsonValue;\n\nexport type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | 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"}
+{"version":3,"file":"types-aMyNgejf.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 ColumnDefaultLiteralValue = JsonValue;\n\nexport type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | 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 * 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"}

package/dist/types.d.mts

@@ -1,2 +1,2 @@
-import { A as executionHash, B as ContractRelationOn, C as PlanRefs, D as StorageBase, E as Source, F as ContractFieldType, G as ReferenceRelationKeys, H as ContractVariantEntry, I as ContractModel, J as ValueObjectFieldType, K as ScalarFieldType, L as ContractModelBase, M as ContractDiscriminator, N as ContractEmbedRelation, O as StorageHashBase, P as ContractField, R as ContractReferenceRelation, S as PlanMeta, T as ResultType, U as EmbedRelationKeys, V as ContractValueObject, W as ModelStorageBase, _ 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 profileHash, k as coreHash, l as DocCollection, m as ExecutionPlan, n as ContractExecutionSection, o as ColumnDefaultLiteralInputValue, p as ExecutionMutationDefaultValue, q as UnionFieldType, 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 ContractRelation } from "./contract-types-MYdoYIIh.mjs";
-export { type $, type Brand, type ColumnDefault, type ColumnDefaultLiteralInputValue, type ColumnDefaultLiteralValue, type Contract, type ContractDiscriminator, type ContractEmbedRelation, type ContractExecutionSection, type ContractField, type ContractFieldType, type ContractMarkerRecord, type ContractModel, type ContractModelBase, type ContractReferenceRelation, type ContractRelation, type ContractRelationOn, type ContractValueObject, 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 ScalarFieldType, type Source, type StorageBase, type StorageHashBase, type UnionFieldType, type ValueObjectFieldType, coreHash, executionHash, profileHash };
+import { A as ContractDiscriminator, B as ContractVariantEntry, C as ProfileHashBase, D as coreHash, E as StorageHashBase, F as ContractModelBase, G as UnionFieldType, H as ModelStorageBase, I as ContractReferenceRelation, K as ValueObjectFieldType, L as ContractRelation, M as ContractField, N as ContractFieldType, O as executionHash, P as ContractModel, R as ContractRelationOn, S as PlanRefs, T as StorageBase, U as ReferenceRelationKeys, V as EmbedRelationKeys, W as ScalarFieldType, _ as GeneratedValueSpec, a as ColumnDefault, b as ParamDescriptor, c as ContractMarkerRecord, d as ExecutionHashBase, f as ExecutionMutationDefault, g as FieldType, h as Expr, i as Brand, j as ContractEmbedRelation, k as profileHash, l as DocCollection, m as ExecutionSection, n as ContractExecutionSection, o as ColumnDefaultLiteralInputValue, p as ExecutionMutationDefaultValue, r as $, s as ColumnDefaultLiteralValue, t as Contract, u as DocIndex, v as JsonPrimitive, w as Source, x as PlanMeta, y as JsonValue, z as ContractValueObject } from "./contract-types-CmLTUrpi.mjs";
+export { type $, type Brand, type ColumnDefault, type ColumnDefaultLiteralInputValue, type ColumnDefaultLiteralValue, type Contract, type ContractDiscriminator, type ContractEmbedRelation, type ContractExecutionSection, type ContractField, type ContractFieldType, type ContractMarkerRecord, type ContractModel, type ContractModelBase, type ContractReferenceRelation, type ContractRelation, type ContractRelationOn, type ContractValueObject, type ContractVariantEntry, type DocCollection, type DocIndex, type EmbedRelationKeys, type ExecutionHashBase, type ExecutionMutationDefault, type ExecutionMutationDefaultValue, 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 ScalarFieldType, type Source, type StorageBase, type StorageHashBase, type UnionFieldType, type ValueObjectFieldType, coreHash, executionHash, profileHash };

package/dist/validate-contract.d.mts

@@ -1,4 +1,4 @@
-import { t as Contract } from "./contract-types-MYdoYIIh.mjs";
+import { t as Contract } from "./contract-types-CmLTUrpi.mjs";
 
 //#region src/validate-contract.d.ts
 type ContractValidationPhase = 'structural' | 'domain' | 'storage';

package/package.json

@@ -1,12 +1,12 @@
 {
   "name": "@prisma-next/contract",
-  "version": "0.5.0-dev.8",
+  "version": "0.5.0-dev.9",
   "type": "module",
   "sideEffects": false,
   "description": "Data contract type definitions and JSON schema for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.29",
-    "@prisma-next/utils": "0.5.0-dev.8"
+    "@prisma-next/utils": "0.5.0-dev.9"
   },
   "devDependencies": {
     "tsdown": "0.18.4",

package/src/exports/types.ts

@@ -30,7 +30,6 @@ export type {
   ExecutionHashBase,
   ExecutionMutationDefault,
   ExecutionMutationDefaultValue,
-  ExecutionPlan,
   ExecutionSection,
   Expr,
   FieldType,
@@ -41,7 +40,6 @@ export type {
   PlanMeta,
   PlanRefs,
   ProfileHashBase,
-  ResultType,
   Source,
   StorageBase,
   StorageHashBase,

package/src/types.ts

@@ -176,38 +176,6 @@ export interface PlanMeta {
   readonly projectionTypes?: Record<string, string>;
 }
 
-/**
- * Canonical execution plan shape used by runtimes.
- *
- * - Row is the inferred result row type (TypeScript-only).
- * - Ast is the optional, family-specific AST type (e.g. SQL QueryAst).
- *
- * The payload executed by the runtime is represented by the sql + params pair
- * for now; future families can specialize this via Ast or additional metadata.
- */
-export interface ExecutionPlan<Row = unknown, Ast = unknown> {
-  readonly sql: string;
-  readonly params: readonly unknown[];
-  readonly ast?: Ast;
-  readonly meta: PlanMeta;
-  /**
-   * Phantom property to carry the Row generic for type-level utilities.
-   * Not set at runtime; used only for ResultType extraction.
-   */
-  readonly _row?: Row;
-}
-
-/**
- * Utility type to extract the Row type from an ExecutionPlan.
- * Example: `type Row = ResultType<typeof plan>`
- *
- * Works with both ExecutionPlan and SqlQueryPlan (SQL query plans before lowering).
- * SqlQueryPlan includes a phantom `_Row` property to preserve the generic parameter
- * for type extraction.
- */
-export type ResultType<P> =
-  P extends ExecutionPlan<infer R, unknown> ? R : P extends { readonly _Row?: infer R } ? R : never;
-
 /**
  * Contract marker record stored in the database.
  * Represents the current contract identity for a database.