@prisma-next/contract 0.3.0-dev.139 → 0.3.0-dev.140

package/src/testing-factories.ts

@@ -0,0 +1,93 @@
+import type { Contract } from './contract-types';
+import type { ContractModel, ModelStorageBase } from './domain-types';
+import { computeExecutionHash, computeProfileHash, computeStorageHash } from './hashing';
+import type { ExecutionSection, ProfileHashBase, StorageBase } from './types';
+import { coreHash } from './types';
+
+type ContractOverrides<
+  TStorage extends StorageBase = StorageBase,
+  TModels extends Record<string, ContractModel> = Record<string, ContractModel>,
+> = {
+  target?: string;
+  targetFamily?: string;
+  roots?: Record<string, string>;
+  models?: TModels;
+  storage?: Omit<TStorage, 'storageHash'>;
+  capabilities?: Record<string, Record<string, boolean>>;
+  extensionPacks?: Record<string, unknown>;
+  execution?: ExecutionSection;
+  profileHash?: ProfileHashBase<string>;
+  meta?: Record<string, unknown>;
+};
+
+const DUMMY_HASH = coreHash('sha256:test');
+
+export function createContract<
+  TStorage extends StorageBase = StorageBase,
+  TModels extends Record<string, ContractModel> = Record<string, ContractModel>,
+>(overrides: ContractOverrides<TStorage, TModels> = {}): Contract<TStorage, TModels> {
+  const target = overrides.target ?? 'postgres';
+  const targetFamily = overrides.targetFamily ?? 'sql';
+  const capabilities = overrides.capabilities ?? {};
+
+  const rawStorage =
+    overrides.storage ?? ({ tables: {} } as unknown as Omit<TStorage, 'storageHash'>);
+
+  const storageHash = computeStorageHash({
+    target,
+    targetFamily,
+    storage: rawStorage as Record<string, unknown>,
+  });
+
+  const storage = {
+    ...rawStorage,
+    storageHash,
+  } as TStorage;
+
+  const computedProfileHash =
+    overrides.profileHash ?? computeProfileHash({ target, targetFamily, capabilities });
+
+  return {
+    target,
+    targetFamily,
+    roots: overrides.roots ?? {},
+    models: (overrides.models ?? {}) as TModels,
+    storage,
+    capabilities,
+    extensionPacks: overrides.extensionPacks ?? {},
+    ...(overrides.execution !== undefined
+      ? {
+          execution: {
+            ...overrides.execution,
+            executionHash: computeExecutionHash({
+              target,
+              targetFamily,
+              execution: overrides.execution,
+            }),
+          },
+        }
+      : {}),
+    profileHash: computedProfileHash,
+    meta: overrides.meta ?? {},
+  };
+}
+
+type SqlStorageLike = StorageBase & {
+  readonly tables: Record<string, unknown>;
+  readonly types?: Record<string, unknown>;
+};
+
+type SqlModelLike = ContractModel<ModelStorageBase & { table: string }>;
+
+export function createSqlContract(
+  overrides: ContractOverrides<SqlStorageLike, Record<string, SqlModelLike>> = {},
+): Contract<SqlStorageLike, Record<string, SqlModelLike>> {
+  return createContract<SqlStorageLike, Record<string, SqlModelLike>>({
+    target: 'postgres',
+    targetFamily: 'sql',
+    storage: overrides.storage ?? { tables: {} },
+    ...overrides,
+  });
+}
+
+export { DUMMY_HASH };

package/src/types.ts

@@ -1,6 +1,6 @@
 import type { OperationRegistry } from '@prisma-next/operations';
+import type { Contract } from './contract-types';
 import type { DomainModel } from './domain-types';
-import type { ContractIR } from './ir';
 
 /**
  * Unique symbol used as the key for branding types.
@@ -383,20 +383,20 @@ export interface TargetFamilyHook {
 
   /**
    * Validates that all type IDs in the contract come from referenced extension packs.
-   * @param ir - Contract IR to validate
+   * @param contract - Contract to validate
    * @param ctx - Validation context with operation registry and extension IDs
    */
-  validateTypes(ir: ContractIR, ctx: ValidationContext): void;
+  validateTypes(contract: Contract, ctx: ValidationContext): void;
 
   /**
    * Validates family-specific contract structure.
-   * @param ir - Contract IR to validate
+   * @param contract - Contract to validate
    */
-  validateStructure(ir: ContractIR): void;
+  validateStructure(contract: Contract): void;
 
   /**
    * Generates contract.d.ts file content.
-   * @param ir - Contract IR
+   * @param contract - Contract
    * @param codecTypeImports - Array of codec type import specs
    * @param operationTypeImports - Array of operation type import specs
    * @param hashes - Contract hash values (storageHash, executionHash, profileHash)
@@ -404,7 +404,7 @@ export interface TargetFamilyHook {
    * @returns Generated TypeScript type definitions as string
    */
   generateContractTypes(
-    ir: ContractIR,
+    contract: Contract,
     codecTypeImports: ReadonlyArray<TypesImportSpec>,
     operationTypeImports: ReadonlyArray<TypesImportSpec>,
     hashes: {

package/dist/contract-types-C0y-Bn8M.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"contract-types-C0y-Bn8M.d.mts","names":[],"sources":["../src/domain-types.ts","../src/types.ts","../src/contract-types.ts"],"sourcesContent":[],"mappings":";;;;KAAY,aAAA;;;;AAAA,KAKA,kBAAA,GALa;EAKb,SAAA,WAAA,EAAkB,SAAA,MAAA,EAAA;EAKlB,SAAA,YAAA,EAAA,SAAyB,MAAA,EAGtB;AAGf,CAAA;AAKY,KAXA,yBAAA,GAWmB;EAEnB,SAAA,EAAA,EAAA,MAAA;EAIA,SAAA,WAAA,EAAA,KAAoB,GAAA,KAAA,GAAA,KAAA;EAIpB,SAAA,EAAA,EAlBG,kBAkByB;AAExC,CAAA;AAAqD,KAjBzC,qBAAA,GAiByC;EAAmB,SAAA,EAAA,EAAA,MAAA;EACtC,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA;CAAf;AACkB,KAdzB,gBAAA,GAAmB,yBAcM,GAdsB,qBActB;AAAf,KAZV,qBAAA,GAYU;EACF,SAAA,KAAA,EAAA,MAAA;CACO;AACU,KAXzB,oBAAA,GAWyB;EAAf,SAAA,KAAA,EAAA,MAAA;CAAM;AAQhB,KAfA,gBAAA,GAAmB,QAeL,CAfc,MAeD,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;AAE3B,UAfK,aAeW,CAAA,sBAfyB,gBAeJ,GAfuB,gBAevB,CAAA,CAAA;EAErC,SAAA,MAAA,EAhBO,MAgBP,CAAA,MAAuB,EAhBD,aAgBI,CAAA;EAE1B,SAAA,SAAA,EAjBU,MAiBS,CAAA,MAAA,EAjBM,gBAiBH,CAAA;EAEtB,SAAA,OAAA,EAlBQ,aAkBS;EAEjB,SAAA,aAAmB,CAAA,EAnBJ,qBAmBO;EAEtB,SAAA,QAAA,CAAA,EApBU,MAoBQ,CAAA,MAAG,EApBI,oBAoBgB,CAAA;EAEzC,SAAA,IAAA,CAAW,EAAA,MAAA;EAIlB,SAAA,KAAA,CAAA,EAAA,MAAA;;;AACc,KAnBP,WAAA,GAAc,aAmBP;;AAGP,KApBA,gBAAA,GAAmB,kBAoBE;;AAEE,KApBvB,uBAAA,GAA0B,yBAoBH;;AAED,KApBtB,mBAAA,GAAsB,qBAoBA;;AAA8C,KAlBpE,cAAA,GAAiB,gBAkBmD;;AAAmC,KAhBvG,mBAAA,GAAsB,qBAgBiF;;AAG3G,KAjBI,kBAAA,GAAqB,oBAiBzB;;AAA6B,KAfzB,WAAA,GAAc,aAeW;AAErC,KAbK,sBAAA,GAawB;EACT,SAAA,MAAA,EAbD,MAaC,CAAA,MAAA,EAAA;IACe,SAAA,SAAA,EAdqB,MAcrB,CAAA,MAAA,EAdoC,gBAcpC,CAAA;EAErB,CAAA,CAAA;CAAoB;AAA0B,KAbhD,qBAagD,CAAA,kBAZxC,sBAYwC,EAAA,kBAAA,MAAA,GAAA,MAXzB,SAWyB,CAAA,QAAA,CAAA,CAAA,GAAA,QAAoB,MATlE,SASkE,CAAA,QAAA,CAAA,CAT9C,SAS8C,CAAA,CAAA,WAAA,CAAA,GATpB,SASoB,CAAA,QAAA,CAAA,CATA,SASA,CAAA,CAAA,WAAA,CAAA,CATwB,CASxB,CAAA,SATmC,yBASnC,GAR1E,CAQ0E,GAAA,KAAA,EAAwB,CAAA,MANhG,SAMgG,CAAA,QAAA,CAAA,CAN5E,SAM4E,CAAA,CAAA,WAAA,CAAA,CAAA;AAAW,KAJvG,iBAIuG,CAAA,kBAH/F,sBAG+F,EAAA,kBAAA,MAAA,GAAA,MAFhF,SAEgF,CAAA,QAAA,CAAA,CAAA,GAAA,QAE7G,MAFQ,SAER,CAAA,QAAA,CAAA,CAF4B,SAE5B,CAAA,CAAA,WAAA,CAAA,GAFsD,SAEtD,CAAA,QAAA,CAAA,CAF0E,SAE1E,CAAA,CAAA,WAAA,CAAA,CAFkG,CAElG,CAAA,SAF6G,yBAE7G,GAAA,KAAA,GAAA,CAAA,EACE,CAAA,MAAA,SAAA,CAAA,QAAA,CAAA,CAAoB,SAApB,CAAA,CAAA,WAAA,CAAA,CAAA;;;;AApFR;AAKA;AAKY,cCHC,CDGD,EAAA,OAAA,MAAyB;AAMrC;AAKA;AAEA;AAIA;AAIA;AAEA;AAAqD,KClBzC,KDkByC,CAAA,aAAA,MAAA,GAAA,MAAA,GAAA,MAAA,EAAA,SAAA,IAAA,CAAA,GAAA;EAAmB,CCjBrE,CAAA,CDiBqE,EAAA,QChB9D,IDiBwB,GCjBjB,MDiBiB,EAAf;CACkB;;;;AAGA,UCdpB,iBAAA,CDcoB;EAAf;EAAM,SAAA,cAAA,EAAA,MAAA;AAQ5B;AAEA;AAEA;AAEA;AAEA;AAEA;AAEY,KCxBA,eDwBkB,CAAA,cAAG,MAAA,CAAA,GCxBmB,KDwBnB,GCxB2B,KDwBP,CAAA,aAAA,CAAA;AAErD;AAAwC;;;;AAKf,KCxBb,iBDwBa,CAAA,cAAA,MAAA,CAAA,GCxB6B,KDwB7B,GCxBqC,KDwBrC,CAAA,eAAA,CAAA;AAGb,iBCzBI,QDyBiB,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECzBuB,CDyBvB,CAAA,ECzB2B,eDyB3B,CCzB2C,CDyB3C,CAAA;;;;;;AAI+C,KCpBpE,eDoBoE,CAAA,cAAA,MAAA,CAAA,GCpB5B,KDoB4B,GCpBpB,KDoBoB,CAAA,aAAA,CAAA;AAAwB,iBClBxF,WDkBwF,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,EClB7C,CDkB6C,CAAA,EClBzC,eDkByC,CClBzB,CDkByB,CAAA;;;;;;AAK5F,UCdK,WDcY,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,CAAA;EACT,SAAA,WAAA,ECdI,eDcJ,CCdoB,KDcpB,CAAA;;AAGN,UCdG,YDcH,CAAA,qBCbS,eDaT,CAAA,MAAA,CAAA,GCbmC,eDanC,CAAA,MAAA,CAAA,EAAA,uBCZW,iBDYX,CAAA,MAAA,CAAA,GCZuC,iBDYvC,CAAA,MAAA,CAAA,EAAA,qBCXS,eDWT,CAAA,MAAA,CAAA,GCXmC,eDWnC,CAAA,MAAA,CAAA,CAAA,CAAA;EAAoB,SAAA,aAAA,EAAA,MAAA;EAA0B,SAAA,MAAA,EAAA,MAAA;EAAoB,SAAA,YAAA,EAAA,MAAA;EAAwB,SAAA,WAAA,ECNhF,YDMgF;EAAW,SAAA,aAAA,CAAA,ECLxF,cDKwF,GAAA,SAAA;EAE7G,SAAA,WAAA,CAAA,ECNmB,YDMnB,GAAA,SAAA;EACE,SAAA,YAAA,ECNiB,MDMjB,CAAA,MAAA,ECNgC,MDMhC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EAAoB,SAAA,cAAA,ECLD,MDKC,CAAA,MAAA,EAAA,OAAA,CAAA;EAAS,SAAA,IAAA,ECJpB,MDIoB,CAAA,MAAA,EAAA,OAAA,CAAA;oBCHjB,eAAe;uBACZ;kBACL;EA5EL,SAAkD,MAAA,EA6E5C,MA7E4C,CAAA,MAAA,EA6E7B,WA7E6B,CAAA;AAQ/D;AAEU,UAsEO,SAAA,CAtEP;EAAO,SAAA,IAAA,EAAA,MAAA;EADd,SAAA,QAAA,EAAA,OAAA;EAAC,SAAA,KAAA,CAAA,EA0Ee,SA1Ef;EAQa,SAAA,UAAA,CAAiB,EAmEV,MAnEU,CAAA,MAAA,EAmEK,SAnEL,CAAA;AAUlC;AAOY,KAqDA,kBAAA,GArDiB;EAEb,SAAA,EAAQ,EAAA,MAAA;EAAgC,SAAA,MAAA,CAAA,EAqDpC,MArDoC,CAAA,MAAA,EAAA,OAAA,CAAA;CAAoB;AAAhB,KAwDhD,aAAA,GAxDgD,MAAA,GAAA,MAAA,GAAA,OAAA,GAAA,IAAA;AAAe,KA0D/D,SAAA,GACR,aA3DuE,GAAA;EAS/D,UAAA,GAAA,EAAA,MAAe,CAAA,EAmDG,SAnDH;AAE3B,CAAA,GAAgB,SAkDH,SAlDc,EAAA;AAAgC,KAoD/C,YAAA,GApD+C;EAAoB,SAAA,KAAA,EAAA,QAAA;EAAhB,SAAA,KAAA,EAAA,MAAA;CAAe;AAS7D,iBA6CD,cAAA,CA5CwB,KAAhB,EAAA,OAAA,CAAA,EAAA,KAAe,IA4CkB,YA5ClB;AAGtB,iBAkDD,kBAAA,CAlDa,IAAA,EAAA,MAAA,EAAA,KAAA,EAAA,OAAA,CAAA,EAAA,OAAA;AACN,KAwDX,SAAA,GAxDW;EAA0B,SAAA,KAAA,EAAA,KAAA;EACxB,SAAA,KAAA,EAuDwC,SAvDxC;CAA4B;AAC9B,iBAwDP,WAAA,CAxDO,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IAwD+B,SAxD/B;AAA0B,KAiErC,kBAAA,GAAqB,YAjEgB,GAiED,SAjEC;AAKzB,KA8DZ,yBAAA,GAA4B,SA9DhB,GA8D4B,kBA9D5B;AACG,KA+Df,8BAAA,GAAiC,yBA/DlB,GAAA,MAAA,GA+DuD,IA/DvD;AACF,KAgEb,aAAA,GAhEa;EACe,SAAA,IAAA,EAAA,SAAA;EAAf,SAAA,KAAA,EAkEH,8BAlEG;CACE,GAAA;EACV,SAAA,IAAA,EAAA,UAAA;EACkB,SAAA,UAAA,EAAA,MAAA;CAAf;AACG,KAkEX,6BAAA,GAlEW;EACL,SAAA,IAAA,EAAA,WAAA;EACgB,SAAA,EAAA,EAkEnB,kBAlEmB,CAAA,IAAA,CAAA;EAAf,SAAA,MAAA,CAAA,EAmEC,MAnED,CAAA,MAAA,EAAA,OAAA,CAAA;CAAM;AAGR,KAmEL,wBAAA,GAnEc;EAGP,SAAA,GAAA,EAAA;IACoB,SAAA,KAAA,EAAA,MAAA;IAAf,SAAA,MAAA,EAAA,MAAA;EAAM,CAAA;EAGlB,SAAA,QAAA,CAAA,EA8DU,6BA5DI;EAGd,SAAA,QAAa,CAAA,EA0DH,6BA1DG;AAEzB,CAAA;AACI,KA0DQ,gBAAA,GA1DR;EAC0B,SAAA,SAAA,EAAA;IACjB,SAAA,QAAA,EA0DU,aA1DV,CA0DwB,wBA1DxB,CAAA;EAAS,CAAA;AAEtB,CAAA;AAEgB,UA0DC,MAAA,CA1Da;EASd,SAAA,QAAA,EAAA,OAAkB;EAOtB,SAAA,UAAS,EA4CE,MA5C0C,CAAA,MAAS,EA4CpC,SA5CoC,CAAA;EAE1D,SAAA,MAAW,CAAA,EA2CP,MA3CO,CAAA,MAA2B,EAAA,OAAS,CAAA;EASnD,SAAA,YAAkB,CAAA,EAmCJ,MAnCI,CAAA,MAAG,EAAA,OAAA,CAAe;AAEhD;AAEY,UAmCK,QAAA,CAnCL;EAEA,SAAA,IAAA,EAAA,MAAa;EAOb,SAAA,IAAA,EA4BK,MA5BL,CAAA,MAAA,EAAA,KAA6B,GAAA,MAE1B,CAAA;EAIH,SAAA,MAAA,CAAA,EAAA,OAAA;EAMA,SAAA,KAAA,CAAA,EAkBO,IAlBS;AAM5B;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;EAIjB,SAAA,MAAA,EALE,MAKa,CAAA,MAES,EAPP,SAOO,CAAA;EAIxB,SAAA,OAAA,CAAA,EAVI,aAUY,CAVE,QAUF,CAAA;EACV,SAAA,QAAA,CAAA,EAAA,OAAA;;AACE,UARR,eAAA,CAQQ;EAA4B,SAAA,QAAA,EAAA;IAC9B,SAAA,WAAA,EAPG,MAOH,CAAA,MAAA,EAPkB,aAOlB,CAAA;EAA0B,CAAA;;AACZ,UAJpB,gBAIoB,CAAA,qBAHd,eAGc,CAAA,MAAA,CAAA,GAHY,eAGZ,CAAA,MAAA,CAAA,EAAA,uBAFZ,iBAEY,CAAA,MAAA,CAAA,GAFgB,iBAEhB,CAAA,MAAA,CAAA,EAAA,qBADd,eACc,CAAA,MAAA,CAAA,GADY,eACZ,CAAA,MAAA,CAAA,CAAA,SAA3B,YAA2B,CAAd,YAAc,EAAA,cAAA,EAAgB,YAAhB,CAAA,CAAA;EAAgB,SAAA,YAAA,EAAA,MAAA;EAGjC,SAAA,OAAA,EAAA,eAAA;;AAHE,UAOL,eAAA,CAPK;EAOL,SAAA,KAAA,CAAA,EAAA,MAAe;EAUf,SAAA,IAAQ,CAAA,EAAA,MAAA;EAEJ,SAAA,OAAA,CAAA,EAAA,MAAA;EAGC,SAAA,UAAA,CAAA,EAAA,MAAA;EAFD,SAAA,QAAA,CAAA,EAAA,OAAA;EAAa,SAAA,MAAA,EAAA,KAAA,GAAA,KAAA,GAAA,MAAA;EAOjB,SAAA,IAAQ,CAAA,EAAA;IAOZ,KAAA,EAAA,MAAA;IAG8B,MAAA,EAAA,MAAA;EAAd,CAAA;;AAEL,UAtBP,QAAA,CAsBO;EAAyB,SAAA,MAAA,CAAA,EAAA,SAAA,MAAA,EAAA;EAKpB,SAAA,OAAA,CAAA,EAzBR,aAyBQ,CAAA;IAAM,KAAA,EAAA,MAAA;IAYlB,MAAA,EAAA,MAAa;EAGb,CAAA,CAAA;EACA,SAAA,OAAA,CAAA,EAxCI,aAwCJ,CAAA;IAKC,SAAA,KAAA,EAAA,MAAA;IAAG,SAAA,OAAA,EA3CC,aA2CD,CAAA,MAAA,CAAA;IAWT,SAAU,IAAA,CAAA,EAAA,MAAA;EACpB,CAAA,CAAA;;AAAgD,UAlDjC,QAAA,CAkDiC;EAAC,SAAA,MAAA,EAAA,MAAA;EAKnC,SAAA,YAAkB,CAAA,EAAA,MAAA;EAajB,SAAA,WAAA,EAAA,MAAoB;EAepB,SAAA,WAAe,CAAA,EAAA,MAAA;EAUf,SAAA,IAAA,EAAA,MAAiB;EACH,SAAA,WAAA,CAAA,EAAA;IACa,MAAA,CAAA,EAxF/B,MAwF+B,CAAA,MAAA,EAAA,MAAA,CAAA;IAAd,CAAA,GAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EACkB,CAAA;EAAd,SAAA,gBAAA,EAtFL,aAsFK,CAtFS,eAsFT,CAAA;EACR,SAAA,IAAA,CAAA,EAtFR,QAsFQ;EAKmB,SAAA,UAAA,CAAA,EA1FrB,MA0FqB,CAAA,MAAA,EAAA,MAAA,CAAA,GA1FI,aA0FJ,CAAA,MAAA,CAAA;EAAZ;;AAOjC;AAQA;EAQiB,SAAA,eAAA,CAAA,EA5GY,MA4GgB,CAAA,MAAA,EAAA,MAAA,CAAA;;;;;;;;AAuB7C;;;AAcwB,UArIP,aAqIO,CAAA,MAAA,OAAA,EAAA,MAAA,OAAA,CAAA,CAAA;EAYhB,SAAA,GAAA,EAAA,MAAA;EAC4B,SAAA,MAAA,EAAA,SAAA,OAAA,EAAA;EAAd,SAAA,GAAA,CAAA,EA/IL,GA+IK;EACkB,SAAA,IAAA,EA/IvB,QA+IuB;EAAd;;;AAqC1B;EAwBiB,SAAA,IAAA,CAAA,EAvMC,GAuMD;;;;;;;;ACpcjB;;AAC0B,KDuQd,UCvQc,CAAA,CAAA,CAAA,GDwQxB,CCxQwB,SDwQd,aCxQc,CAAA,KAAA,EAAA,EAAA,OAAA,CAAA,GAAA,CAAA,GDwQwB,CCxQxB,SAAA;EAEW,SAAA,IAAA,CAAA,EAAA,KAAA,EAAA;CAAd,GAAA,CAAA,GAAA,KAAA;;AAmBvB;;AACiC,iBDuPjB,kBAAA,CCvPiB,QAAA,EAAA,OAAA,CAAA,EAAA,QAAA,IDuPkC,gBCvPlC;;;;;AAKf,UD+PD,oBAAA,CC/PC;EACC,SAAA,WAAA,EAAA,MAAA;EACC,SAAA,WAAA,EAAA,MAAA;EACoB,SAAA,YAAA,EAAA,OAAA,GAAA,IAAA;EAAf,SAAA,gBAAA,EAAA,MAAA,GAAA,IAAA;EACE,SAAA,SAAA,EDgQL,IChQK;EACJ,SAAA,MAAA,EAAA,MAAA,GAAA,IAAA;EACE,SAAA,IAAA,EDgQR,MChQQ,CAAA,MAAA,EAAA,OAAA,CAAA;;;;;;UDwQR,eAAA;;;;;;;;;UAUA,iBAAA;+BACc;8BACD,cAAc;kCACV,cAAc;0BACtB;;;;;iCAKO,YAAY;;;;;;UAO5B,iBAAA;;;;;;;UAQA,eAAA;;4BAEW,8BAA8B;;;;;UAMzC,4BAAA;;;;;;oCAMmB,YAAY;;;;;sCAKV,cAAc;;;;;uCAKb,cAAc;;;;;;UAOpC,gBAAA;;;;;;;oBAQG,iBAAiB;;;;;wBAMb;;;;;;;;;;4BAYhB,8BACc,cAAc,wCACV,cAAc;;;;eAM1B;;;;;;;;;;;;;;;;;;;KA+BF,YAAA,sBAEE,8BAA8B;;;;;;;;;;;;;;;;;;;;;UAsB3B,4BAAA;;;;;;;;;;+BAWc;;;;;;;;;;+BAWA;;;;;yBAMN;;;;;;ADjfzB;AAKA;AAKA;AAMA;AAKA;AAEA;AAIA;AAIY,KEdA,wBFc4B,CAAA,cAAT,MAAQ,GAAA,MAAA,CAAA,GAAA;EAEtB,SAAA,aAAa,EEfJ,iBFeI,CEfc,KFed,CAAA;EAAuB,SAAA,SAAA,EAAA;IAAmB,SAAA,QAAA,EEbjD,aFaiD,CEbnC,wBFamC,CAAA;EACtC,CAAA;CAAf;;;;;;;;AAYnB;AAEA;AAEA;AAEA;AAEA;AAEA;AAEA;AAEA;AAIK,UEzBY,QFyBZ,CAAA,iBExBc,WFwBQ,GExBM,WFwBN,EAAA,gBEvBT,MFuBS,CAAA,MAAA,EEvBM,aFuBN,CAAA,GEvBuB,MFuBvB,CAAA,MAAA,EEvBsC,aFuBtC,CAAA,CAAA,CAAA;EAC4C,SAAA,MAAA,EAAA,MAAA;EAAf,SAAA,YAAA,EAAA,MAAA;EAArC,SAAA,KAAA,EEpBD,MFoBC,CAAA,MAAA,EAAA,MAAA,CAAA;EAAM,SAAA,MAAA,EEnBN,OFmBM;EAGb,SAAA,OAAA,EErBQ,QFqBa;EACb,SAAA,YAAA,EErBK,MFqBL,CAAA,MAAA,EErBoB,MFqBpB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EACe,SAAA,cAAA,EErBR,MFqBQ,CAAA,MAAA,EAAA,OAAA,CAAA;EAErB,SAAA,SAAA,CAAA,EEtBS,wBFsBT;EAAoB,SAAA,WAAA,CAAA,EErBT,eFqBS,CAAA,MAAA,CAAA;EAA0B,SAAA,IAAA,EEpB3C,MFoB2C,CAAA,MAAA,EAAA,OAAA,CAAA"}

package/dist/ir-BPkihpFL.d.mts

@@ -1,86 +0,0 @@
-//#region src/ir.d.ts
-/**
- * ContractIR types and factories for building contract intermediate representation.
- * ContractIR is family-agnostic and used by authoring, emitter, and no-emit runtime.
- */
-/**
- * ContractIR represents the intermediate representation of a contract.
- * It is family-agnostic and contains generic storage, models, and relations.
- * Note: storageHash/executionHash and profileHash are computed by the emitter, not part of the IR.
- */
-interface ContractIR<TStorage extends Record<string, unknown> = Record<string, unknown>, TModels extends Record<string, unknown> = Record<string, unknown>, TRelations extends Record<string, unknown> = Record<string, unknown>, TExecution extends Record<string, unknown> = Record<string, unknown>> {
-  readonly schemaVersion: string;
-  readonly targetFamily: string;
-  readonly target: string;
-  readonly roots?: Record<string, string>;
-  readonly models: TModels;
-  readonly relations?: TRelations;
-  readonly storage: TStorage;
-  readonly execution?: TExecution;
-  readonly extensionPacks: Record<string, unknown>;
-  readonly capabilities: Record<string, Record<string, boolean>>;
-  readonly meta: Record<string, unknown>;
-  readonly sources: Record<string, unknown>;
-}
-/**
- * Creates the header portion of a ContractIR.
- * Contains schema version, target, target family, storage hash, and optional profile hash.
- */
-declare function irHeader(opts: {
-  target: string;
-  targetFamily: string;
-  storageHash: string;
-  executionHash?: string | undefined;
-  profileHash?: string | undefined;
-}): {
-  readonly schemaVersion: string;
-  readonly target: string;
-  readonly targetFamily: string;
-  readonly storageHash: string;
-  readonly executionHash?: string | undefined;
-  readonly profileHash?: string | undefined;
-};
-/**
- * Creates the meta portion of a ContractIR.
- * Contains capabilities, extensionPacks, meta, and sources with empty object defaults.
- * If a field is explicitly `undefined`, it will be omitted (for testing validation).
- */
-declare function irMeta(opts?: {
-  capabilities?: Record<string, Record<string, boolean>> | undefined;
-  extensionPacks?: Record<string, unknown> | undefined;
-  meta?: Record<string, unknown> | undefined;
-  sources?: Record<string, unknown> | undefined;
-}): {
-  readonly capabilities: Record<string, Record<string, boolean>>;
-  readonly extensionPacks: Record<string, unknown>;
-  readonly meta: Record<string, unknown>;
-  readonly sources: Record<string, unknown>;
-};
-/**
- * Creates a complete ContractIR by combining header, meta, and family-specific sections.
- * This is a family-agnostic factory that accepts generic storage, models, and relations.
- */
-declare function contractIR<TStorage extends Record<string, unknown>, TModels extends Record<string, unknown>, TRelations extends Record<string, unknown>, TExecution extends Record<string, unknown>>(opts: {
-  header: {
-    readonly schemaVersion: string;
-    readonly target: string;
-    readonly targetFamily: string;
-    readonly storageHash: string;
-    readonly executionHash?: string | undefined;
-    readonly profileHash?: string | undefined;
-  };
-  meta: {
-    readonly capabilities: Record<string, Record<string, boolean>>;
-    readonly extensionPacks: Record<string, unknown>;
-    readonly meta: Record<string, unknown>;
-    readonly sources: Record<string, unknown>;
-  };
-  roots?: Record<string, string>;
-  storage: TStorage;
-  models: TModels;
-  relations?: TRelations;
-  execution?: TExecution;
-}): ContractIR<TStorage, TModels, TRelations, TExecution>;
-//#endregion
-export { irMeta as i, contractIR as n, irHeader as r, ContractIR as t };
-//# sourceMappingURL=ir-BPkihpFL.d.mts.map

package/dist/ir-BPkihpFL.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ir-BPkihpFL.d.mts","names":[],"sources":["../src/ir.ts"],"sourcesContent":[],"mappings":";;AAiBA;;;;;;;;AAI+C,UAJ9B,UAI8B,CAAA,iBAH5B,MAG4B,CAAA,MAAA,EAAA,OAAA,CAAA,GAHF,MAGE,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,gBAF7B,MAE6B,CAAA,MAAA,EAAA,OAAA,CAAA,GAFH,MAEG,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,mBAD1B,MAC0B,CAAA,MAAA,EAAA,OAAA,CAAA,GADA,MACA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,mBAA1B,MAA0B,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,MAAA,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA;EAK5B,SAAA,aAAA,EAAA,MAAA;EACA,SAAA,YAAA,EAAA,MAAA;EACI,SAAA,MAAA,EAAA,MAAA;EACH,SAAA,KAAA,CAAA,EAHD,MAGC,CAAA,MAAA,EAAA,MAAA,CAAA;EACG,SAAA,MAAA,EAHJ,OAGI;EACI,SAAA,SAAA,CAAA,EAHJ,UAGI;EACa,SAAA,OAAA,EAHpB,QAGoB;EAAf,SAAA,SAAA,CAAA,EAFF,UAEE;EACR,SAAA,cAAA,EAFU,MAEV,CAAA,MAAA,EAAA,OAAA,CAAA;EACG,SAAA,YAAA,EAFK,MAEL,CAAA,MAAA,EAFoB,MAEpB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EAAM,SAAA,IAAA,EADT,MACS,CAAA,MAAA,EAAA,OAAA,CAAA;EAOV,SAAA,OAAQ,EAPJ,MAOI,CAAA,MAAA,EAAA,OAAA,CAAA;AA6BxB;;;;;AAIY,iBAjCI,QAAA,CAiCJ,IAAA,EAAA;EAE4B,MAAA,EAAA,MAAA;EAAf,YAAA,EAAA,MAAA;EACE,WAAA,EAAA,MAAA;EACV,aAAA,CAAA,EAAA,MAAA,GAAA,SAAA;EACG,WAAA,CAAA,EAAA,MAAA,GAAA,SAAA;CAAM,CAAA,EAAA;EAcV,SAAA,aAAU,EAAA,MAAA;EACP,SAAA,MAAA,EAAA,MAAA;EACD,SAAA,YAAA,EAAA,MAAA;EACG,SAAA,WAAA,EAAA,MAAA;EACA,SAAA,aAAA,CAAA,EAAA,MAAA,GAAA,SAAA;EAWqB,SAAA,WAAA,CAAA,EAAA,MAAA,GAAA,SAAA;CAAf;;;;;;AAOjB,iBA7CM,MAAA,CA6CN,IAGwB,CAHxB,EAAA;EACI,YAAA,CAAA,EA7CG,MA6CH,CAAA,MAAA,EA7CkB,MA6ClB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA,SAAA;EACA,cAAA,CAAA,EA7CK,MA6CL,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA;EACC,IAAA,CAAA,EA7CN,MA6CM,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA;EAAU,OAAA,CAAA,EA5Cb,MA4Ca,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA;CAAS,CAAA,EAAA;EAAY,SAAA,YAAA,EA1CrB,MA0CqB,CAAA,MAAA,EA1CN,MA0CM,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EAA1C,SAAA,cAAA,EAzCuB,MAyCvB,CAAA,MAAA,EAAA,OAAA,CAAA;EAAU,SAAA,IAAA,EAxCG,MAwCH,CAAA,MAAA,EAAA,OAAA,CAAA;oBAvCM;;;;;;iBAcJ,4BACG,yCACD,4CACG,4CACA;;;;;;;;;;2BAWM,eAAe;6BACb;mBACV;sBACG;;UAEZ;WACC;UACD;cACI;cACA;IACV,WAAW,UAAU,SAAS,YAAY"}

package/dist/ir.d.mts

@@ -1,2 +0,0 @@
-import { i as irMeta, n as contractIR, r as irHeader, t as ContractIR } from "./ir-BPkihpFL.mjs";
-export { ContractIR, contractIR, irHeader, irMeta };

package/dist/ir.mjs

@@ -1,52 +0,0 @@
-//#region src/ir.ts
-function ifDefined(key, value) {
-	return value !== void 0 ? { [key]: value } : {};
-}
-/**
-* Creates the header portion of a ContractIR.
-* Contains schema version, target, target family, storage hash, and optional profile hash.
-*/
-function irHeader(opts) {
-	return {
-		schemaVersion: "1",
-		target: opts.target,
-		targetFamily: opts.targetFamily,
-		storageHash: opts.storageHash,
-		...ifDefined("executionHash", opts.executionHash),
-		...ifDefined("profileHash", opts.profileHash)
-	};
-}
-/**
-* Creates the meta portion of a ContractIR.
-* Contains capabilities, extensionPacks, meta, and sources with empty object defaults.
-* If a field is explicitly `undefined`, it will be omitted (for testing validation).
-*/
-function irMeta(opts) {
-	return {
-		capabilities: opts?.capabilities ?? {},
-		extensionPacks: opts?.extensionPacks ?? {},
-		meta: opts?.meta ?? {},
-		sources: opts?.sources ?? {}
-	};
-}
-/**
-* Creates a complete ContractIR by combining header, meta, and family-specific sections.
-* This is a family-agnostic factory that accepts generic storage, models, and relations.
-*/
-function contractIR(opts) {
-	return {
-		schemaVersion: opts.header.schemaVersion,
-		target: opts.header.target,
-		targetFamily: opts.header.targetFamily,
-		...opts.meta,
-		...ifDefined("roots", opts.roots),
-		storage: opts.storage,
-		models: opts.models,
-		...ifDefined("relations", opts.relations),
-		...ifDefined("execution", opts.execution)
-	};
-}
-
-//#endregion
-export { contractIR, irHeader, irMeta };
-//# sourceMappingURL=ir.mjs.map

package/dist/ir.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"ir.mjs","names":[],"sources":["../src/ir.ts"],"sourcesContent":["function ifDefined<K extends string, V>(\n  key: K,\n  value: V | undefined,\n): Record<never, never> | { [P in K]: V } {\n  return value !== undefined ? ({ [key]: value } as { [P in K]: V }) : {};\n}\n\n/**\n * ContractIR types and factories for building contract intermediate representation.\n * ContractIR is family-agnostic and used by authoring, emitter, and no-emit runtime.\n */\n\n/**\n * ContractIR represents the intermediate representation of a contract.\n * It is family-agnostic and contains generic storage, models, and relations.\n * Note: storageHash/executionHash and profileHash are computed by the emitter, not part of the IR.\n */\nexport interface ContractIR<\n  TStorage extends Record<string, unknown> = Record<string, unknown>,\n  TModels extends Record<string, unknown> = Record<string, unknown>,\n  TRelations extends Record<string, unknown> = Record<string, unknown>,\n  TExecution extends Record<string, unknown> = Record<string, unknown>,\n> {\n  readonly schemaVersion: string;\n  readonly targetFamily: string;\n  readonly target: string;\n  readonly roots?: Record<string, string>;\n  readonly models: TModels;\n  readonly relations?: TRelations;\n  readonly storage: TStorage;\n  readonly execution?: TExecution;\n  readonly extensionPacks: Record<string, unknown>;\n  readonly capabilities: Record<string, Record<string, boolean>>;\n  readonly meta: Record<string, unknown>;\n  readonly sources: Record<string, unknown>;\n}\n\n/**\n * Creates the header portion of a ContractIR.\n * Contains schema version, target, target family, storage hash, and optional profile hash.\n */\nexport function irHeader(opts: {\n  target: string;\n  targetFamily: string;\n  storageHash: string;\n  executionHash?: string | undefined;\n  profileHash?: string | undefined;\n}): {\n  readonly schemaVersion: string;\n  readonly target: string;\n  readonly targetFamily: string;\n  readonly storageHash: string;\n  readonly executionHash?: string | undefined;\n  readonly profileHash?: string | undefined;\n} {\n  return {\n    schemaVersion: '1',\n    target: opts.target,\n    targetFamily: opts.targetFamily,\n    storageHash: opts.storageHash,\n    ...ifDefined('executionHash', opts.executionHash),\n    ...ifDefined('profileHash', opts.profileHash),\n  };\n}\n\n/**\n * Creates the meta portion of a ContractIR.\n * Contains capabilities, extensionPacks, meta, and sources with empty object defaults.\n * If a field is explicitly `undefined`, it will be omitted (for testing validation).\n */\nexport function irMeta(opts?: {\n  capabilities?: Record<string, Record<string, boolean>> | undefined;\n  extensionPacks?: Record<string, unknown> | undefined;\n  meta?: Record<string, unknown> | undefined;\n  sources?: Record<string, unknown> | undefined;\n}): {\n  readonly capabilities: Record<string, Record<string, boolean>>;\n  readonly extensionPacks: Record<string, unknown>;\n  readonly meta: Record<string, unknown>;\n  readonly sources: Record<string, unknown>;\n} {\n  return {\n    capabilities: opts?.capabilities ?? {},\n    extensionPacks: opts?.extensionPacks ?? {},\n    meta: opts?.meta ?? {},\n    sources: opts?.sources ?? {},\n  };\n}\n\n/**\n * Creates a complete ContractIR by combining header, meta, and family-specific sections.\n * This is a family-agnostic factory that accepts generic storage, models, and relations.\n */\nexport function contractIR<\n  TStorage extends Record<string, unknown>,\n  TModels extends Record<string, unknown>,\n  TRelations extends Record<string, unknown>,\n  TExecution extends Record<string, unknown>,\n>(opts: {\n  header: {\n    readonly schemaVersion: string;\n    readonly target: string;\n    readonly targetFamily: string;\n    readonly storageHash: string;\n    readonly executionHash?: string | undefined;\n    readonly profileHash?: string | undefined;\n  };\n  meta: {\n    readonly capabilities: Record<string, Record<string, boolean>>;\n    readonly extensionPacks: Record<string, unknown>;\n    readonly meta: Record<string, unknown>;\n    readonly sources: Record<string, unknown>;\n  };\n  roots?: Record<string, string>;\n  storage: TStorage;\n  models: TModels;\n  relations?: TRelations;\n  execution?: TExecution;\n}): ContractIR<TStorage, TModels, TRelations, TExecution> {\n  return {\n    schemaVersion: opts.header.schemaVersion,\n    target: opts.header.target,\n    targetFamily: opts.header.targetFamily,\n    ...opts.meta,\n    ...ifDefined('roots', opts.roots),\n    storage: opts.storage,\n    models: opts.models,\n    ...ifDefined('relations', opts.relations),\n    ...ifDefined('execution', opts.execution),\n  };\n}\n"],"mappings":";AAAA,SAAS,UACP,KACA,OACwC;AACxC,QAAO,UAAU,SAAa,GAAG,MAAM,OAAO,GAAuB,EAAE;;;;;;AAqCzE,SAAgB,SAAS,MAavB;AACA,QAAO;EACL,eAAe;EACf,QAAQ,KAAK;EACb,cAAc,KAAK;EACnB,aAAa,KAAK;EAClB,GAAG,UAAU,iBAAiB,KAAK,cAAc;EACjD,GAAG,UAAU,eAAe,KAAK,YAAY;EAC9C;;;;;;;AAQH,SAAgB,OAAO,MAUrB;AACA,QAAO;EACL,cAAc,MAAM,gBAAgB,EAAE;EACtC,gBAAgB,MAAM,kBAAkB,EAAE;EAC1C,MAAM,MAAM,QAAQ,EAAE;EACtB,SAAS,MAAM,WAAW,EAAE;EAC7B;;;;;;AAOH,SAAgB,WAKd,MAoBwD;AACxD,QAAO;EACL,eAAe,KAAK,OAAO;EAC3B,QAAQ,KAAK,OAAO;EACpB,cAAc,KAAK,OAAO;EAC1B,GAAG,KAAK;EACR,GAAG,UAAU,SAAS,KAAK,MAAM;EACjC,SAAS,KAAK;EACd,QAAQ,KAAK;EACb,GAAG,UAAU,aAAa,KAAK,UAAU;EACzC,GAAG,UAAU,aAAa,KAAK,UAAU;EAC1C"}

package/dist/types.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["import type { OperationRegistry } from '@prisma-next/operations';\nimport type { DomainModel } from './domain-types';\nimport type { ContractIR } from './ir';\n\n/**\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 * Context passed to type renderers during contract.d.ts generation.\n */\nexport interface RenderTypeContext {\n  /** The name of the CodecTypes type alias (typically 'CodecTypes') */\n  readonly codecTypesName: string;\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 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 ContractBase<\n  TStorageHash extends StorageHashBase<string> = StorageHashBase<string>,\n  TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>,\n  TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>,\n> {\n  readonly schemaVersion: string;\n  readonly target: string;\n  readonly targetFamily: string;\n  readonly storageHash: TStorageHash;\n  readonly executionHash?: TExecutionHash | undefined;\n  readonly profileHash?: TProfileHash | undefined;\n  readonly capabilities: Record<string, Record<string, boolean>>;\n  readonly extensionPacks: Record<string, unknown>;\n  readonly meta: Record<string, unknown>;\n  readonly sources: Record<string, Source>;\n  readonly execution?: ExecutionSection;\n  readonly roots: Record<string, string>;\n  readonly models: Record<string, DomainModel>;\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 = {\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\nexport interface DocumentStorage {\n  readonly document: {\n    readonly collections: Record<string, DocCollection>;\n  };\n}\n\nexport interface DocumentContract<\n  TStorageHash extends StorageHashBase<string> = StorageHashBase<string>,\n  TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>,\n  TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>,\n> extends ContractBase<TStorageHash, TExecutionHash, TProfileHash> {\n  // Accept string to work with JSON imports; runtime validation ensures 'document'\n  readonly targetFamily: string;\n  readonly storage: DocumentStorage;\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 * Type guard to check if a contract is a Document contract\n */\nexport function isDocumentContract(contract: unknown): contract is DocumentContract {\n  return (\n    typeof contract === 'object' &&\n    contract !== null &&\n    'targetFamily' in contract &&\n    contract.targetFamily === 'document'\n  );\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\n// Emitter types - moved from @prisma-next/emitter to shared location\n/**\n * Specifies how to import TypeScript types from a package.\n * Used in extension pack manifests to declare codec and operation type imports.\n */\nexport interface TypesImportSpec {\n  readonly package: string;\n  readonly named: string;\n  readonly alias: string;\n}\n\n/**\n * Validation context passed to TargetFamilyHook.validateTypes().\n * Contains pre-assembled operation registry, type imports, and extension IDs.\n */\nexport interface ValidationContext {\n  readonly operationRegistry?: OperationRegistry;\n  readonly codecTypeImports?: ReadonlyArray<TypesImportSpec>;\n  readonly operationTypeImports?: ReadonlyArray<TypesImportSpec>;\n  readonly extensionIds?: ReadonlyArray<string>;\n  /**\n   * Parameterized codec descriptors collected from adapters and extensions.\n   * Map of codecId → descriptor for quick lookup during type generation.\n   */\n  readonly parameterizedCodecs?: Map<string, ParameterizedCodecDescriptor>;\n}\n\n/**\n * Context for rendering parameterized types during contract.d.ts generation.\n * Passed to type renderers so they can reference CodecTypes by name.\n */\nexport interface TypeRenderContext {\n  readonly codecTypesName: string;\n}\n\n/**\n * A normalized type renderer for parameterized codecs.\n * This is the interface expected by TargetFamilyHook.generateContractTypes.\n */\nexport interface TypeRenderEntry {\n  readonly codecId: string;\n  readonly render: (params: Record<string, unknown>, ctx: TypeRenderContext) => string;\n}\n\n/**\n * Additional options for generateContractTypes.\n */\nexport interface GenerateContractTypesOptions {\n  /**\n   * Normalized parameterized type renderers, keyed by codecId.\n   * When a column has typeParams and a renderer exists for its codecId,\n   * the renderer is called to produce the TypeScript type expression.\n   */\n  readonly parameterizedRenderers?: Map<string, TypeRenderEntry>;\n  /**\n   * Type imports for parameterized codecs.\n   * These are merged with codec and operation type imports in contract.d.ts.\n   */\n  readonly parameterizedTypeImports?: ReadonlyArray<TypesImportSpec>;\n  /**\n   * Query operation type imports for the query builder.\n   * Flat operation signatures keyed by operation name, emitted as standalone QueryOperationTypes.\n   */\n  readonly queryOperationTypeImports?: ReadonlyArray<TypesImportSpec>;\n}\n\n/**\n * SPI interface for target family hooks that extend emission behavior.\n * Implemented by family-specific emitter hooks (e.g., SQL family).\n */\nexport interface TargetFamilyHook {\n  readonly id: string;\n\n  /**\n   * Validates that all type IDs in the contract come from referenced extension packs.\n   * @param ir - Contract IR to validate\n   * @param ctx - Validation context with operation registry and extension IDs\n   */\n  validateTypes(ir: ContractIR, ctx: ValidationContext): void;\n\n  /**\n   * Validates family-specific contract structure.\n   * @param ir - Contract IR to validate\n   */\n  validateStructure(ir: ContractIR): void;\n\n  /**\n   * Generates contract.d.ts file content.\n   * @param ir - Contract IR\n   * @param codecTypeImports - Array of codec type import specs\n   * @param operationTypeImports - Array of operation type import specs\n   * @param hashes - Contract hash values (storageHash, executionHash, profileHash)\n   * @param options - Additional options including parameterized type renderers\n   * @returns Generated TypeScript type definitions as string\n   */\n  generateContractTypes(\n    ir: ContractIR,\n    codecTypeImports: ReadonlyArray<TypesImportSpec>,\n    operationTypeImports: ReadonlyArray<TypesImportSpec>,\n    hashes: {\n      readonly storageHash: string;\n      readonly executionHash?: string;\n      readonly profileHash: string;\n    },\n    options?: GenerateContractTypesOptions,\n  ): string;\n}\n\n// ============================================================================\n// Parameterized Codec Descriptor Types\n// ============================================================================\n//\n// Types for codecs that support type parameters (e.g., Vector<1536>, Decimal<2>).\n// These enable precise TypeScript types for parameterized columns without\n// coupling the SQL family emitter to specific adapter codec IDs.\n//\n// ============================================================================\n\n/**\n * Declarative type renderer that produces a TypeScript type expression.\n *\n * Renderers can be:\n * - A template string with `{{paramName}}` placeholders (e.g., `Vector<{{length}}>`)\n * - A function that receives typeParams and context and returns a type expression\n *\n * **Prefer template strings** for most cases:\n * - Templates are JSON-serializable (safe for pack-ref metadata)\n * - Templates can be statically analyzed by tooling\n *\n * Function renderers are allowed but have tradeoffs:\n * - Require runtime execution during emission (the emitter runs code)\n * - Not JSON-serializable (can't be stored in contract.json)\n * - The emitted artifacts (contract.json, contract.d.ts) still contain no\n *   executable code - this constraint applies to outputs, not the emission process\n */\nexport type TypeRenderer =\n  | string\n  | ((params: Record<string, unknown>, ctx: RenderTypeContext) => string);\n\n/**\n * Descriptor for a codec that supports type parameters.\n *\n * Parameterized codecs allow columns to carry additional metadata (typeParams)\n * that affects the generated TypeScript types. For example:\n * - A vector codec can use `{ length: 1536 }` to generate `Vector<1536>`\n * - A decimal codec can use `{ precision: 10, scale: 2 }` to generate `Decimal<10, 2>`\n *\n * The SQL family emitter uses these descriptors to generate precise types\n * without hard-coding knowledge of specific codec IDs.\n *\n * @example\n * ```typescript\n * const vectorCodecDescriptor: ParameterizedCodecDescriptor = {\n *   codecId: 'pg/vector@1',\n *   outputTypeRenderer: 'Vector<{{length}}>',\n *   // Optional: paramsSchema for runtime validation\n * };\n * ```\n */\nexport interface ParameterizedCodecDescriptor {\n  /** The codec ID this descriptor applies to (e.g., 'pg/vector@1') */\n  readonly codecId: string;\n\n  /**\n   * Renderer for the output (read) type.\n   * Can be a template string or function.\n   *\n   * This is the primary renderer used by SQL emission to generate\n   * model field types in contract.d.ts.\n   */\n  readonly outputTypeRenderer: TypeRenderer;\n\n  /**\n   * Optional renderer for the input (write) type.\n   * If not provided, outputTypeRenderer is used for both.\n   *\n   * **Reserved for future use**: Currently, SQL emission only uses\n   * outputTypeRenderer. This field is defined for future support of\n   * asymmetric codecs where input and output types differ (e.g., a\n   * codec that accepts `string | number` but always returns `number`).\n   */\n  readonly inputTypeRenderer?: TypeRenderer;\n\n  /**\n   * Optional import spec for types used by this codec's renderers.\n   * The emitter will add this import to contract.d.ts.\n   */\n  readonly typesImport?: TypesImportSpec;\n}\n"],"mappings":";AA2CA,SAAgB,SAAiC,OAA8B;AAC7E,QAAO;;AAUT,SAAgB,YAAoC,OAA8B;AAChF,QAAO;;AAqDT,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;;;;;AA4JhB,SAAgB,mBAAmB,UAAiD;AAClF,QACE,OAAO,aAAa,YACpB,aAAa,QACb,kBAAkB,YAClB,SAAS,iBAAiB"}

package/src/exports/ir.ts

@@ -1 +0,0 @@
-export * from '../ir';

package/src/ir.ts

@@ -1,131 +0,0 @@
-function ifDefined<K extends string, V>(
-  key: K,
-  value: V | undefined,
-): Record<never, never> | { [P in K]: V } {
-  return value !== undefined ? ({ [key]: value } as { [P in K]: V }) : {};
-}
-
-/**
- * ContractIR types and factories for building contract intermediate representation.
- * ContractIR is family-agnostic and used by authoring, emitter, and no-emit runtime.
- */
-
-/**
- * ContractIR represents the intermediate representation of a contract.
- * It is family-agnostic and contains generic storage, models, and relations.
- * Note: storageHash/executionHash and profileHash are computed by the emitter, not part of the IR.
- */
-export interface ContractIR<
-  TStorage extends Record<string, unknown> = Record<string, unknown>,
-  TModels extends Record<string, unknown> = Record<string, unknown>,
-  TRelations extends Record<string, unknown> = Record<string, unknown>,
-  TExecution extends Record<string, unknown> = Record<string, unknown>,
-> {
-  readonly schemaVersion: string;
-  readonly targetFamily: string;
-  readonly target: string;
-  readonly roots?: Record<string, string>;
-  readonly models: TModels;
-  readonly relations?: TRelations;
-  readonly storage: TStorage;
-  readonly execution?: TExecution;
-  readonly extensionPacks: Record<string, unknown>;
-  readonly capabilities: Record<string, Record<string, boolean>>;
-  readonly meta: Record<string, unknown>;
-  readonly sources: Record<string, unknown>;
-}
-
-/**
- * Creates the header portion of a ContractIR.
- * Contains schema version, target, target family, storage hash, and optional profile hash.
- */
-export function irHeader(opts: {
-  target: string;
-  targetFamily: string;
-  storageHash: string;
-  executionHash?: string | undefined;
-  profileHash?: string | undefined;
-}): {
-  readonly schemaVersion: string;
-  readonly target: string;
-  readonly targetFamily: string;
-  readonly storageHash: string;
-  readonly executionHash?: string | undefined;
-  readonly profileHash?: string | undefined;
-} {
-  return {
-    schemaVersion: '1',
-    target: opts.target,
-    targetFamily: opts.targetFamily,
-    storageHash: opts.storageHash,
-    ...ifDefined('executionHash', opts.executionHash),
-    ...ifDefined('profileHash', opts.profileHash),
-  };
-}
-
-/**
- * Creates the meta portion of a ContractIR.
- * Contains capabilities, extensionPacks, meta, and sources with empty object defaults.
- * If a field is explicitly `undefined`, it will be omitted (for testing validation).
- */
-export function irMeta(opts?: {
-  capabilities?: Record<string, Record<string, boolean>> | undefined;
-  extensionPacks?: Record<string, unknown> | undefined;
-  meta?: Record<string, unknown> | undefined;
-  sources?: Record<string, unknown> | undefined;
-}): {
-  readonly capabilities: Record<string, Record<string, boolean>>;
-  readonly extensionPacks: Record<string, unknown>;
-  readonly meta: Record<string, unknown>;
-  readonly sources: Record<string, unknown>;
-} {
-  return {
-    capabilities: opts?.capabilities ?? {},
-    extensionPacks: opts?.extensionPacks ?? {},
-    meta: opts?.meta ?? {},
-    sources: opts?.sources ?? {},
-  };
-}
-
-/**
- * Creates a complete ContractIR by combining header, meta, and family-specific sections.
- * This is a family-agnostic factory that accepts generic storage, models, and relations.
- */
-export function contractIR<
-  TStorage extends Record<string, unknown>,
-  TModels extends Record<string, unknown>,
-  TRelations extends Record<string, unknown>,
-  TExecution extends Record<string, unknown>,
->(opts: {
-  header: {
-    readonly schemaVersion: string;
-    readonly target: string;
-    readonly targetFamily: string;
-    readonly storageHash: string;
-    readonly executionHash?: string | undefined;
-    readonly profileHash?: string | undefined;
-  };
-  meta: {
-    readonly capabilities: Record<string, Record<string, boolean>>;
-    readonly extensionPacks: Record<string, unknown>;
-    readonly meta: Record<string, unknown>;
-    readonly sources: Record<string, unknown>;
-  };
-  roots?: Record<string, string>;
-  storage: TStorage;
-  models: TModels;
-  relations?: TRelations;
-  execution?: TExecution;
-}): ContractIR<TStorage, TModels, TRelations, TExecution> {
-  return {
-    schemaVersion: opts.header.schemaVersion,
-    target: opts.header.target,
-    targetFamily: opts.header.targetFamily,
-    ...opts.meta,
-    ...ifDefined('roots', opts.roots),
-    storage: opts.storage,
-    models: opts.models,
-    ...ifDefined('relations', opts.relations),
-    ...ifDefined('execution', opts.execution),
-  };
-}