@prisma-next/contract 0.12.0-dev.5 → 0.12.0-dev.51

package/src/exports/types.ts

@@ -1,25 +1,25 @@
 export type {
   Contract,
   ContractExecutionSection,
-  ContractModelsMap,
-  ContractValueObjectsMap,
+  ContractModelDefinitions,
+  ContractValueObjectDefinitions,
 } from '../contract-types';
 export { DomainNamespaceResolutionError } from '../contract-validation-error';
 export type { ControlPolicy } from '../control-policy';
-export { effectiveControl } from '../control-policy';
+export { effectiveControlPolicy } from '../control-policy';
 export type { CrossReference } from '../cross-reference';
 export { CrossReferenceSchema, crossRef } from '../cross-reference';
+export { soleDomainNamespaceId } from '../default-namespace';
 export type {
   ApplicationDomain,
   ApplicationDomainNamespace,
   ContractWithDomain,
 } from '../domain-envelope';
+export { UNBOUND_DOMAIN_NAMESPACE_ID } from '../domain-envelope';
 export {
-  contractModels,
-  contractValueObjects,
-  resolveSingleDomainNamespaceId,
-  UNBOUND_DOMAIN_NAMESPACE_ID,
-} from '../domain-envelope';
+  domainModelsAtDefaultNamespace,
+  domainValueObjectsAtDefaultNamespace,
+} from '../domain-namespace-access';
 export type {
   ContractDiscriminator,
   ContractEmbedRelation,
@@ -41,6 +41,7 @@ export type {
 } from '../domain-types';
 export type { NamespaceId } from '../namespace-id';
 export { asNamespaceId } from '../namespace-id';
+export { type ResolvedDomainModel, resolveDomainModel } from '../resolve-domain-model';
 export type {
   $,
   Brand,
@@ -60,6 +61,7 @@ export type {
   GeneratedValueSpec,
   JsonPrimitive,
   JsonValue,
+  LedgerEntryRecord,
   PlanMeta,
   ProfileHashBase,
   Source,

package/src/hashing.ts

@@ -1,4 +1,5 @@
 import { createHash } from 'node:crypto';
+import { blindCast, castAs } from '@prisma-next/utils/casts';
 import { ifDefined } from '@prisma-next/utils/defined';
 import type { JsonObject } from '@prisma-next/utils/json';
 import {
@@ -11,6 +12,33 @@ import type { ExecutionHashBase, ProfileHashBase, StorageHashBase } from './type
 
 const SCHEMA_VERSION = '1';
 
+function isPlainRecord(value: unknown): value is Record<string, unknown> {
+  return value !== null && typeof value === 'object' && !Array.isArray(value);
+}
+
+// Storage hashes fingerprint table/column layout, not which target pack emitted a
+// namespace. Persisted contract.json carries namespace `kind` discriminators;
+// authoring-time hashes never included them (IR `kind` is non-enumerable).
+function omitNamespaceKindsForHash(storage: unknown): unknown {
+  if (!isPlainRecord(storage)) {
+    return storage;
+  }
+  const namespaces = storage['namespaces'];
+  if (!isPlainRecord(namespaces)) {
+    return storage;
+  }
+  const stripped: Record<string, unknown> = {};
+  for (const [nsId, ns] of Object.entries(namespaces)) {
+    if (isPlainRecord(ns)) {
+      const { kind: _kind, ...rest } = ns;
+      stripped[nsId] = rest;
+    } else {
+      stripped[nsId] = ns;
+    }
+  }
+  return { ...storage, namespaces: stripped };
+}
+
 function sha256(content: string): string {
   const hash = createHash('sha256');
   hash.update(content);
@@ -24,28 +52,23 @@ type HashContractSection = Record<string, unknown> & {
 
 function hashContract(section: HashContractSection): string {
   const { shouldPreserveEmpty, sortStorage, ...sectionData } = section;
-  // Blind cast: the synthesised object is a hash-only stand-in
-  // — never returned to callers, never executed as a Contract.
-  // `canonicalizeContract` only walks the storage / execution /
-  // capabilities slices, all of which are populated above, so the
-  // missing precise Contract typing on the other slots is
-  // immaterial for the hash result.
-  const contract = {
+  const storageForHash = omitNamespaceKindsForHash(sectionData['storage'] ?? {});
+  const contract = blindCast<Contract, 'hash-only partial contract for canonicalizeContract'>({
     targetFamily: sectionData['targetFamily'],
     target: sectionData['target'],
     roots: {},
     domain: { namespaces: {} },
-    storage: sectionData['storage'] ?? {},
     execution: sectionData['execution'],
     extensionPacks: {},
     capabilities: sectionData['capabilities'] ?? {},
     meta: {},
     profileHash: '',
     ...sectionData,
-  } as unknown as Contract;
+    storage: storageForHash,
+  });
   return canonicalizeContract(contract, {
     schemaVersion: SCHEMA_VERSION,
-    serializeContract: (c) => JSON.parse(JSON.stringify(c)) as JsonObject,
+    serializeContract: (c) => castAs<JsonObject>(JSON.parse(JSON.stringify(c))),
     ...ifDefined('shouldPreserveEmpty', shouldPreserveEmpty),
     ...ifDefined('sortStorage', sortStorage),
   });
@@ -60,7 +83,9 @@ export type ComputeStorageHashArgs = {
 };
 
 export function computeStorageHash(args: ComputeStorageHashArgs): StorageHashBase<string> {
-  return sha256(hashContract(args)) as StorageHashBase<string>;
+  return blindCast<StorageHashBase<string>, 'sha256 digest of canonicalized storage'>(
+    sha256(hashContract(args)),
+  );
 }
 
 export function computeExecutionHash(args: {
@@ -68,7 +93,9 @@ export function computeExecutionHash(args: {
   targetFamily: string;
   execution: Record<string, unknown>;
 }): ExecutionHashBase<string> {
-  return sha256(hashContract(args)) as ExecutionHashBase<string>;
+  return blindCast<ExecutionHashBase<string>, 'sha256 digest of canonicalized execution'>(
+    sha256(hashContract(args)),
+  );
 }
 
 export function computeProfileHash(args: {
@@ -76,5 +103,7 @@ export function computeProfileHash(args: {
   targetFamily: string;
   capabilities: Record<string, Record<string, boolean>>;
 }): ProfileHashBase<string> {
-  return sha256(hashContract(args)) as ProfileHashBase<string>;
+  return blindCast<ProfileHashBase<string>, 'sha256 digest of canonicalized profile'>(
+    sha256(hashContract(args)),
+  );
 }

package/src/resolve-domain-model.ts

@@ -0,0 +1,27 @@
+import type { ApplicationDomain } from './domain-envelope';
+import type { ContractModelBase } from './domain-types';
+
+export interface ResolvedDomainModel {
+  readonly namespaceId: string;
+  readonly model: ContractModelBase;
+}
+
+/**
+ * Resolve a bare domain model name to its namespace coordinate and model IR by
+ * scanning the contract's namespaces. For the single-namespace contracts in
+ * scope the scan is exact; cross-namespace bare-name collisions are selected
+ * explicitly (TML-2550).
+ */
+export function resolveDomainModel(
+  domain: ApplicationDomain,
+  modelName: string,
+): ResolvedDomainModel | undefined {
+  for (const namespaceId of Object.keys(domain.namespaces)) {
+    const model = domain.namespaces[namespaceId]?.models[modelName];
+    if (model !== undefined) {
+      return { namespaceId, model };
+    }
+  }
+
+  return undefined;
+}

package/src/types.ts

@@ -57,11 +57,13 @@ export type StorageEntitySlot = Readonly<Record<string, unknown>>;
 
 /**
  * Plain-data namespace entry in a storage block. Every hydrated contract
- * carries at least `id` plus zero or more entity-kind slot maps (`tables`,
- * `collections`, …). Foundation declares only this shape — no IR machinery.
+ * carries at least `id` plus entity-kind slot maps under `entries`
+ * (`table`, `collection`, …). Foundation declares only this shape — no IR
+ * machinery.
  */
 export interface StorageNamespace {
   readonly id: string;
+  readonly entries: Readonly<Record<string, StorageEntitySlot>>;
 }
 
 /**
@@ -243,3 +245,17 @@ export interface ContractMarkerRecord {
   readonly meta: Record<string, unknown>;
   readonly invariants: readonly string[];
 }
+
+/**
+ * One applied migration edge from the per-space ledger journal.
+ * Returned by `readLedger` in append (apply) order.
+ */
+export interface LedgerEntryRecord {
+  readonly space: string;
+  readonly migrationName: string;
+  readonly migrationHash: string;
+  readonly from: string | null;
+  readonly to: string;
+  readonly appliedAt: Date;
+  readonly operationCount: number;
+}

package/dist/canonicalization-CM6bJ8i8.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"canonicalization-CM6bJ8i8.d.mts","names":[],"sources":["../src/canonicalization.ts"],"mappings":";;;;;;AAcA;;;;;;KAAY,iBAAA,IAAqB,QAAA,EAAU,QAAA,KAAa,UAAU;;AAAA;AAUlE;;;;AAA6D;AAS7D;KATY,sBAAA,IAA0B,IAAuB;;;AASlB;AA6K3C;;;;KA7KY,WAAA,IAAe,OAAgB;AAAA,UA6K1B,2BAAA;EAAA,SACN,aAAA;EAAA;;;;;;;;AA0ByB;AAQpC;EAlCW,SAWA,iBAAA,EAAmB,iBAAA;;;;;;;WAOnB,mBAAA,GAAsB,sBAAA;EAiB/B;;;;;AAEO;AA0BT;EA5BE,SATS,WAAA,GAAc,WAAA;AAAA;;;;;;iBAQT,4BAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA,EAAS,2BAAA,GACR,MAAA;AAAA,iBA0Ba,oBAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA,EAAS,2BAA2B"}

package/dist/contract-types-9BbapbkL.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"contract-types-9BbapbkL.d.mts","names":[],"sources":["../src/control-policy.ts","../src/types.ts","../src/contract-types.ts"],"mappings":";;;;;;AASA;;;;AAAyB;AAUzB;KAVY,aAAA;;;;;;;;;iBAUI,gBAAA,CACd,WAAA,EAAa,aAAA,cACb,cAAA,EAAgB,aAAA,eACf,aAAA;;;;;;cCnBU,CAAA;;;;ADMY;AAUzB;;KCRY,KAAA;EAAA,CACT,CAAA,WACO,IAAA,GAAO,MAAA;AAAA;;;;;;KASL,eAAA,yBAAwC,KAAA,GAAQ,KAAK;;ADAjD;;;;KCOJ,iBAAA,yBAA0C,KAAA,GAAQ,KAAK;AAAA,iBAEnD,aAAA,wBAAA,CAAsC,KAAA,EAAO,CAAA,GAAI,iBAAA,CAAkB,CAAA;AAAA,iBAInE,QAAA,wBAAA,CAAiC,KAAA,EAAO,CAAA,GAAI,eAAA,CAAgB,CAAA;;AAhCb;AAQ/D;;;KAiCY,eAAA,yBAAwC,KAAA,GAAQ,KAAK;AAAA,iBAEjD,WAAA,wBAAA,CAAoC,KAAA,EAAO,CAAA,GAAI,eAAA,CAAgB,CAAA;;;;;;KASnE,iBAAA,GAAoB,QAAQ,CAAC,MAAA;;;;;AA1ClB;UAiDN,gBAAA;EAAA,SACN,EAAE;AAAA;;;;;;AAzCoD;AAOjE;;;UA8CiB,WAAA;EAAA,SACN,WAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7B,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,gBAAA;AAAA;AAAA,UAG9B,SAAA;EAAA,SACN,IAAA;EAAA,SACA,QAAA;EAAA,SACA,KAAA,GAAQ,SAAA;EAAA,SACR,UAAA,GAAa,MAAA,SAAe,SAAA;AAAA;AAAA,KAG3B,kBAAA;EAAA,SACD,EAAA;EAAA,SACA,MAAA,GAAS,MAAM;AAAA;AAAA,KAGd,aAAA;AAAA,KAEA,SAAA,GACR,aAAA;EAAA,UACY,GAAA,WAAc,SAAA;AAAA,aACjB,SAAA;AAAA,KAED,yBAAA,GAA4B,SAAS;AAAA,KAErC,8BAAA,GAAiC,yBAAA,GAA4B,IAAI;AAtEO;AAIpF;;;;;;;AAJoF,iBAgFpE,gCAAA,CACd,KAAA,YACC,KAAA,IAAS,8BAA8B;AAAA,KAY9B,aAAA;EAAA,SAEG,IAAA;EAAA,SACA,KAAA,EAAO,8BAA8B;AAAA;EAAA,SAErC,IAAA;EAAA,SAA2B,UAAA;AAAA;AAAA,iBAE1B,eAAA,CAAgB,KAAA,YAAiB,KAAA,IAAS,aAAa;AAAA,KAY3D,6BAAA;EAAA,SACD,IAAA;EAAA,SACA,EAAA,EAAI,kBAAA;EAAA,SACJ,MAAA,GAAS,MAAM;AAAA;AAAA,iBAGV,+BAAA,CACd,KAAA,YACC,KAAA,IAAS,6BAA6B;AAAA,KAoB7B,wBAAA;EAAA,SACD,GAAA;IAAA,SAAgB,KAAA;IAAA,SAAwB,MAAA;EAAA;EAAA,SACxC,QAAA,GAAW,6BAAA;EAAA,SACX,QAAA,GAAW,6BAA6B;AAAA;;;;;KAOvC,8BAAA,GAAiC,IAAI,CAAC,wBAAA;AAAA,KAEtC,gBAAA;EAAA,SACD,aAAA,EAAe,iBAAA,CAAkB,KAAA;EAAA,SACjC,SAAA;IAAA,SACE,QAAA,EAAU,aAAA,CAAc,wBAAA;EAAA;AAAA;AAAA,UAIpB,MAAA;EAAA,SACN,QAAA;EAAA,SACA,UAAA,EAAY,MAAA,SAAe,SAAA;EAAA,SAC3B,MAAA,GAAS,MAAA;EAAA,SACT,YAAA,GAAe,MAAA;AAAA;AAAA,UAIT,QAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,EAAM,MAAA;EAAA,SACN,MAAA;EAAA,SACA,KAAA,GAAQ,IAAI;AAAA;AAAA,KAGX,IAAA;EAAA,SACG,IAAA;EAAA,SAAqB,IAAA,EAAM,aAAA;EAAA,SAAgC,KAAA;AAAA;EAAA,SAC3D,IAAA;EAAA,SAAyB,IAAA,EAAM,aAAa;AAAA;AAAA,UAE1C,aAAA;EAAA,SACN,IAAA;EAAA,SACA,EAAA;IAAA,SACE,QAAA;EAAA;EAAA,SAEF,MAAA,EAAQ,MAAA,SAAe,SAAA;EAAA,SACvB,OAAA,GAAU,aAAA,CAAc,QAAA;EAAA,SACxB,QAAA;AAAA;AAAA,UAGM,QAAA;EAAA,SACN,MAAA;EAAA,SACA,YAAA;EAAA,SACA,WAAA;EAAA,SACA,WAAA;EAAA,SACA,IAAA;EAAA,SACA,WAAA;IAAA,UACG,GAAA;EAAA;AAAA;;;;;UAQG,oBAAA;EAAA,SACN,WAAA;EAAA,SACA,WAAA;EAAA,SACA,YAAA;EAAA,SACA,gBAAA;EAAA,SACA,SAAA,EAAW,IAAA;EAAA,SACX,MAAA;EAAA,SACA,IAAA,EAAM,MAAM;EAAA,SACZ,UAAA;AAAA;;;;;AD1Oc;AAUzB;;;;;;KECY,wBAAA;EAAA,SACD,aAAA,EAAe,iBAAA,CAAkB,KAAA;EAAA,SACjC,SAAA;IAAA,SACE,QAAA,EAAU,aAAA,CAAc,wBAAA;EAAA;AAAA;;;AFDrB;;;;ACnBhB;;;;AAA+D;AAQ/D;;;;UC+BiB,QAAA,kBACE,WAAA,GAAc,WAAA,kBACf,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SAE1D,MAAA;EAAA,SACA,YAAA;EAAA,SACA,KAAA,EAAO,MAAA,SAAe,cAAA;EDrCf;;;;EAAA,SC0CP,MAAA,EAAQ,iBAAA,CAAkB,OAAA;EAAA,SAC1B,OAAA,EAAS,QAAA;EAAA,SACT,YAAA,EAAc,MAAA,SAAe,MAAA;EAAA,SAC7B,cAAA,EAAgB,MAAA;EAAA,SAChB,SAAA,GAAY,wBAAA;EAAA,SACZ,WAAA,EAAa,eAAA;EAAA,SACb,IAAA,EAAM,MAAA;EAAA,SACN,cAAA,GAAiB,aAAA;AAAA;AAAA,KAGhB,iBAAA,mBAAoC,QAAA,IAC9C,SAAA,SAAkB,QAAA,CAAS,WAAA,mBAA8B,OAAA;AAAA,KAEtD,aAAA,WAAwB,MAAA,2BAAiC,CAAA,kCAAmC,CAAA,UACtF,CAAA,WAAY,IAAA,IACjB,IAAA;AAAA,KAID,uBAAA,eAAsC,UAAA;EAAA,SAChC,YAAA;AAAA,IAEP,EAAA,SAAW,MAAA,SAAe,mBAAA,IACxB,EAAA,GACA,MAAA,iBACF,MAAA;;KAGQ,uBAAA,mBAA0C,QAAA,IACpD,uBAAA,CACE,SAAA,yBAAkC,aAAA,CAAc,SAAA,sDAE9C,SAAA,SAAkB,MAAA,SAAe,mBAAA,IAC/B,SAAA,GACA,MAAA,iBACF,MAAA"}