@prisma-next/contract 0.12.0-dev.4 → 0.12.0-dev.40

package/dist/apply-specifier-default-control-policy.d.mts

@@ -0,0 +1,7 @@
+import { L as ControlPolicy, t as Contract } from "./contract-types-D-Y9rfJT.mjs";
+
+//#region src/apply-specifier-default-control-policy.d.ts
+declare function applySpecifierDefaultControlPolicy(contract: Contract, specifierDefault: ControlPolicy | undefined): Contract;
+//#endregion
+export { applySpecifierDefaultControlPolicy };
+//# sourceMappingURL=apply-specifier-default-control-policy.d.mts.map

package/dist/apply-specifier-default-control-policy.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-specifier-default-control-policy.d.mts","names":[],"sources":["../src/apply-specifier-default-control-policy.ts"],"mappings":";;;iBAGgB,kCAAA,CACd,QAAA,EAAU,QAAA,EACV,gBAAA,EAAkB,aAAA,eACjB,QAAA"}

package/dist/apply-specifier-default-control-policy.mjs

@@ -0,0 +1,12 @@
+//#region src/apply-specifier-default-control-policy.ts
+function applySpecifierDefaultControlPolicy(contract, specifierDefault) {
+	if (specifierDefault === void 0 || contract.defaultControlPolicy !== void 0) return contract;
+	return {
+		...contract,
+		defaultControlPolicy: specifierDefault
+	};
+}
+//#endregion
+export { applySpecifierDefaultControlPolicy };
+
+//# sourceMappingURL=apply-specifier-default-control-policy.mjs.map

package/dist/apply-specifier-default-control-policy.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-specifier-default-control-policy.mjs","names":[],"sources":["../src/apply-specifier-default-control-policy.ts"],"sourcesContent":["import type { Contract } from './contract-types';\nimport type { ControlPolicy } from './control-policy';\n\nexport function applySpecifierDefaultControlPolicy(\n  contract: Contract,\n  specifierDefault: ControlPolicy | undefined,\n): Contract {\n  if (specifierDefault === undefined || contract.defaultControlPolicy !== undefined) {\n    return contract;\n  }\n  return { ...contract, defaultControlPolicy: specifierDefault };\n}\n"],"mappings":";AAGA,SAAgB,mCACd,UACA,kBACU;CACV,IAAI,qBAAqB,KAAA,KAAa,SAAS,yBAAyB,KAAA,GACtE,OAAO;CAET,OAAO;EAAE,GAAG;EAAU,sBAAsB;CAAiB;AAC/D"}

package/dist/{canonicalization-CM6bJ8i8.d.mts → canonicalization-BjnwugYK.d.mts}

@@ -1,4 +1,4 @@
-import { t as Contract } from "./contract-types-9BbapbkL.mjs";
+import { t as Contract } from "./contract-types-D-Y9rfJT.mjs";
 import { JsonObject } from "@prisma-next/utils/json";
 
 //#region src/canonicalization.d.ts
@@ -66,4 +66,4 @@ declare function canonicalizeContractToObject(contract: Contract, options: Canon
 declare function canonicalizeContract(contract: Contract, options: CanonicalizeContractOptions): string;
 //#endregion
 export { canonicalizeContract as a, StorageSort as i, PreserveEmptyPredicate as n, canonicalizeContractToObject as o, SerializeContract as r, CanonicalizeContractOptions as t };
-//# sourceMappingURL=canonicalization-CM6bJ8i8.d.mts.map
+//# sourceMappingURL=canonicalization-BjnwugYK.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"canonicalization-BjnwugYK.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;AA8K3C;;;;KA9KY,WAAA,IAAe,OAAgB;AAAA,UA8K1B,2BAAA;EAAA,SACN,aAAA;EAAA;;;;;;;;AA0ByB;AAQpC;EAlCW,SAWA,iBAAA,EAAmB,iBAAA;;;;;;;WAOnB,mBAAA,GAAsB,sBAAA;EAiB/B;;;;;AAEO;AA2BT;EA7BE,SATS,WAAA,GAAc,WAAA;AAAA;;;;;;iBAQT,4BAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA,EAAS,2BAAA,GACR,MAAA;AAAA,iBA2Ba,oBAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA,EAAS,2BAA2B"}

package/dist/{canonicalization-path-match-b2jFuEso.mjs → canonicalization-path-match-Czn4Vds5.mjs}

@@ -22,4 +22,4 @@ function createPreserveEmptyPredicate(patterns) {
 //#endregion
 export { matchesPathPattern as n, createPreserveEmptyPredicate as t };
 
-//# sourceMappingURL=canonicalization-path-match-b2jFuEso.mjs.map
+//# sourceMappingURL=canonicalization-path-match-Czn4Vds5.mjs.map

package/dist/{canonicalization-path-match-b2jFuEso.mjs.map → canonicalization-path-match-Czn4Vds5.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"canonicalization-path-match-b2jFuEso.mjs","names":[],"sources":["../src/canonicalization-path-match.ts"],"sourcesContent":["import type { PreserveEmptyPredicate } from './canonicalization';\n\nexport type PathSegment = string | '*' | readonly string[];\n\nexport type PathPattern = readonly PathSegment[];\n\nexport function matchesPathPattern(path: readonly string[], pattern: PathPattern): boolean {\n  if (path.length !== pattern.length) {\n    return false;\n  }\n\n  for (let i = 0; i < pattern.length; i++) {\n    const segment = pattern[i];\n    const value = path[i];\n    if (segment === undefined || value === undefined) {\n      return false;\n    }\n\n    if (segment === '*') {\n      continue;\n    }\n\n    if (typeof segment === 'string') {\n      if (value !== segment) {\n        return false;\n      }\n      continue;\n    }\n\n    if (Array.isArray(segment)) {\n      if (!segment.includes(value)) {\n        return false;\n      }\n    }\n  }\n\n  return true;\n}\n\nexport function createPreserveEmptyPredicate(\n  patterns: readonly PathPattern[],\n): PreserveEmptyPredicate {\n  return (path) => patterns.some((pattern) => matchesPathPattern(path, pattern));\n}\n"],"mappings":";AAMA,SAAgB,mBAAmB,MAAyB,SAA+B;CACzF,IAAI,KAAK,WAAW,QAAQ,QAC1B,OAAO;CAGT,KAAK,IAAI,IAAI,GAAG,IAAI,QAAQ,QAAQ,KAAK;EACvC,MAAM,UAAU,QAAQ;EACxB,MAAM,QAAQ,KAAK;EACnB,IAAI,YAAY,KAAA,KAAa,UAAU,KAAA,GACrC,OAAO;EAGT,IAAI,YAAY,KACd;EAGF,IAAI,OAAO,YAAY,UAAU;GAC/B,IAAI,UAAU,SACZ,OAAO;GAET;EACF;EAEA,IAAI,MAAM,QAAQ,OAAO;OACnB,CAAC,QAAQ,SAAS,KAAK,GACzB,OAAO;EAAA;CAGb;CAEA,OAAO;AACT;AAEA,SAAgB,6BACd,UACwB;CACxB,QAAQ,SAAS,SAAS,MAAM,YAAY,mBAAmB,MAAM,OAAO,CAAC;AAC/E"}
+{"version":3,"file":"canonicalization-path-match-Czn4Vds5.mjs","names":[],"sources":["../src/canonicalization-path-match.ts"],"sourcesContent":["import type { PreserveEmptyPredicate } from './canonicalization';\n\nexport type PathSegment = string | '*' | readonly string[];\n\nexport type PathPattern = readonly PathSegment[];\n\nexport function matchesPathPattern(path: readonly string[], pattern: PathPattern): boolean {\n  if (path.length !== pattern.length) {\n    return false;\n  }\n\n  for (let i = 0; i < pattern.length; i++) {\n    const segment = pattern[i];\n    const value = path[i];\n    if (segment === undefined || value === undefined) {\n      return false;\n    }\n\n    if (segment === '*') {\n      continue;\n    }\n\n    if (typeof segment === 'string') {\n      if (value !== segment) {\n        return false;\n      }\n      continue;\n    }\n\n    if (Array.isArray(segment)) {\n      if (!segment.includes(value)) {\n        return false;\n      }\n    }\n  }\n\n  return true;\n}\n\nexport function createPreserveEmptyPredicate(\n  patterns: readonly PathPattern[],\n): PreserveEmptyPredicate {\n  return (path) => patterns.some((pattern) => matchesPathPattern(path, pattern));\n}\n"],"mappings":";AAMA,SAAgB,mBAAmB,MAAyB,SAA+B;CACzF,IAAI,KAAK,WAAW,QAAQ,QAC1B,OAAO;CAGT,KAAK,IAAI,IAAI,GAAG,IAAI,QAAQ,QAAQ,KAAK;EACvC,MAAM,UAAU,QAAQ;EACxB,MAAM,QAAQ,KAAK;EACnB,IAAI,YAAY,KAAA,KAAa,UAAU,KAAA,GACrC,OAAO;EAGT,IAAI,YAAY,KACd;EAGF,IAAI,OAAO,YAAY,UAAU;GAC/B,IAAI,UAAU,SACZ,OAAO;GAET;EACF;EAEA,IAAI,MAAM,QAAQ,OAAO;OACnB,CAAC,QAAQ,SAAS,KAAK,GACzB,OAAO;EAAA;CAGb;CAEA,OAAO;AACT;AAEA,SAAgB,6BACd,UACwB;CACxB,QAAQ,SAAS,SAAS,MAAM,YAAY,mBAAmB,MAAM,OAAO,CAAC;AAC/E"}

package/dist/{contract-types-9BbapbkL.d.mts → contract-types-D-Y9rfJT.d.mts}

@@ -1,4 +1,4 @@
-import { T as CrossReference, _ as ContractValueObject, p as ContractModelBase, t as ApplicationDomain } from "./domain-envelope-Cv5OTm8D.mjs";
+import { l as ContractModelBase, p as ContractValueObject, t as ApplicationDomain, x as CrossReference } from "./domain-envelope-BFYbgufo.mjs";
 
 //#region src/control-policy.d.ts
 /**
@@ -19,7 +19,7 @@ type ControlPolicy = 'managed' | 'tolerated' | 'external' | 'observed';
  * Both parameters are optional raw values so this function stays node-type-agnostic
  * and can be called by any consumer (verifier, planner, etc.) without importing IR classes.
  */
-declare function effectiveControl(nodeControl: ControlPolicy | undefined, defaultControl: ControlPolicy | undefined): ControlPolicy;
+declare function effectiveControlPolicy(nodeControl: ControlPolicy | undefined, defaultControlPolicy: ControlPolicy | undefined): ControlPolicy;
 //#endregion
 //#region src/types.d.ts
 /**
@@ -194,6 +194,19 @@ 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.
+ */
+interface LedgerEntryRecord {
+  readonly space: string;
+  readonly migrationName: string;
+  readonly migrationHash: string;
+  readonly from: string | null;
+  readonly to: string;
+  readonly appliedAt: Date;
+  readonly operationCount: number;
+}
 //#endregion
 //#region src/contract-types.d.ts
 /**
@@ -241,15 +254,16 @@ interface Contract<TStorage extends StorageBase = StorageBase, TModels extends R
   readonly execution?: ContractExecutionSection;
   readonly profileHash: ProfileHashBase<string>;
   readonly meta: Record<string, unknown>;
-  readonly defaultControl?: ControlPolicy;
+  readonly defaultControlPolicy?: ControlPolicy;
 }
-type ContractModelsMap<TContract extends Contract> = TContract extends Contract<StorageBase, infer TModels> ? TModels : never;
-type ExactlyOneKey<T extends Record<string, unknown>> = keyof T extends infer Only extends keyof T ? [keyof T] extends [Only] ? Only : never : never;
+/** Model definitions union carried on a {@link Contract}'s `TModels` type parameter. */
+type ContractModelDefinitions<TContract extends Contract> = TContract extends Contract<StorageBase, infer TModels> ? TModels : never;
+type ExactlyOneNamespace<T extends Record<string, unknown>> = keyof T extends infer Only extends keyof T ? [keyof T] extends [Only] ? Only : never : never;
 type NamespaceValueObjectsOf<TNamespace> = TNamespace extends {
   readonly valueObjects?: infer VO;
 } ? VO extends Record<string, ContractValueObject> ? VO : Record<never, never> : Record<never, never>;
-/** Value-object map for the contract's sole domain namespace (type-level single-namespace projection). */
-type ContractValueObjectsMap<TContract extends Contract> = NamespaceValueObjectsOf<TContract['domain']['namespaces'][ExactlyOneKey<TContract['domain']['namespaces']>]> extends infer Projected ? Projected extends Record<string, ContractValueObject> ? Projected : Record<never, never> : Record<never, never>;
+/** Value-object map when the contract declares exactly one domain namespace. */
+type ContractValueObjectDefinitions<TContract extends Contract> = NamespaceValueObjectsOf<TContract['domain']['namespaces'][ExactlyOneNamespace<TContract['domain']['namespaces']>]> extends infer Projected ? Projected extends Record<string, ContractValueObject> ? Projected : Record<never, never> : Record<never, never>;
 //#endregion
-export { coreHash as A, PlanMeta as C, StorageEntitySlot as D, StorageBase as E, profileHash as F, ControlPolicy as I, effectiveControl as L, isColumnDefault as M, isColumnDefaultLiteralInputValue as N, StorageHashBase as O, isExecutionMutationDefaultValue as P, JsonValue as S, Source as T, ExecutionSection as _, $ as a, GeneratedValueSpec as b, ColumnDefaultLiteralInputValue as c, DocCollection as d, DocIndex as f, ExecutionMutationDefaultValue as g, ExecutionMutationDefaultPhases as h, ContractValueObjectsMap as i, executionHash as j, StorageNamespace as k, ColumnDefaultLiteralValue as l, ExecutionMutationDefault as m, ContractExecutionSection as n, Brand as o, ExecutionHashBase as p, ContractModelsMap as r, ColumnDefault as s, Contract as t, ContractMarkerRecord as u, Expr as v, ProfileHashBase as w, JsonPrimitive as x, FieldType as y };
-//# sourceMappingURL=contract-types-9BbapbkL.d.mts.map
+export { StorageNamespace as A, LedgerEntryRecord as C, StorageBase as D, Source as E, isExecutionMutationDefaultValue as F, profileHash as I, ControlPolicy as L, executionHash as M, isColumnDefault as N, StorageEntitySlot as O, isColumnDefaultLiteralInputValue as P, effectiveControlPolicy as R, JsonValue as S, ProfileHashBase as T, ExecutionSection as _, $ as a, GeneratedValueSpec as b, ColumnDefaultLiteralInputValue as c, DocCollection as d, DocIndex as f, ExecutionMutationDefaultValue as g, ExecutionMutationDefaultPhases as h, ContractValueObjectDefinitions as i, coreHash as j, StorageHashBase as k, ColumnDefaultLiteralValue as l, ExecutionMutationDefault as m, ContractExecutionSection as n, Brand as o, ExecutionHashBase as p, ContractModelDefinitions as r, ColumnDefault as s, Contract as t, ContractMarkerRecord as u, Expr as v, PlanMeta as w, JsonPrimitive as x, FieldType as y };
+//# sourceMappingURL=contract-types-D-Y9rfJT.d.mts.map

package/dist/contract-types-D-Y9rfJT.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-types-D-Y9rfJT.d.mts","names":[],"sources":["../src/control-policy.ts","../src/types.ts","../src/contract-types.ts"],"mappings":";;;;;;AASA;;;;AAAyB;AAUzB;KAVY,aAAA;;;;;;;;;iBAUI,sBAAA,CACd,WAAA,EAAa,aAAA,cACb,oBAAA,EAAsB,aAAA,eACrB,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;AA1Je;AAG1B;;;AAH0B,UAiKT,iBAAA;EAAA,SACN,KAAA;EAAA,SACA,aAAA;EAAA,SACA,aAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,SAAA,EAAW,IAAI;EAAA,SACf,cAAA;AAAA;;;;;ADxPc;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,oBAAA,GAAuB,aAAA;AAAA;;KAItB,wBAAA,mBAA2C,QAAA,IACrD,SAAA,SAAkB,QAAA,CAAS,WAAA,mBAA8B,OAAA;AAAA,KAEtD,mBAAA,WAA8B,MAAA,2BAAiC,CAAA,kCAC5D,CAAA,UACG,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,8BAAA,mBAAiD,QAAA,IAC3D,uBAAA,CACE,SAAA,yBAAkC,mBAAA,CAAoB,SAAA,sDAEpD,SAAA,SAAkB,MAAA,SAAe,mBAAA,IAC/B,SAAA,GACA,MAAA,iBACF,MAAA"}

package/dist/{contract-validation-error-T5LH4DW-.d.mts → contract-validation-error-B8UtbPEl.d.mts}

@@ -10,4 +10,4 @@ declare class DomainNamespaceResolutionError extends Error {
 }
 //#endregion
 export { ContractValidationPhase as n, DomainNamespaceResolutionError as r, ContractValidationError as t };
-//# sourceMappingURL=contract-validation-error-T5LH4DW-.d.mts.map
+//# sourceMappingURL=contract-validation-error-B8UtbPEl.d.mts.map

package/dist/{contract-validation-error-T5LH4DW-.d.mts.map → contract-validation-error-B8UtbPEl.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"contract-validation-error-T5LH4DW-.d.mts","names":[],"sources":["../src/contract-validation-error.ts"],"mappings":";KAAY,uBAAA;AAAA,cAEC,uBAAA,SAAgC,KAAA;EAAA,SAClC,IAAA;EAAA,SACA,KAAA,EAAO,uBAAA;cAEJ,OAAA,UAAiB,KAAA,EAAO,uBAAA;AAAA;AAAA,cAOzB,8BAAA,SAAuC,KAAK;cAC3C,OAAA;AAAA"}
+{"version":3,"file":"contract-validation-error-B8UtbPEl.d.mts","names":[],"sources":["../src/contract-validation-error.ts"],"mappings":";KAAY,uBAAA;AAAA,cAEC,uBAAA,SAAgC,KAAA;EAAA,SAClC,IAAA;EAAA,SACA,KAAA,EAAO,uBAAA;cAEJ,OAAA,UAAiB,KAAA,EAAO,uBAAA;AAAA;AAAA,cAOzB,8BAAA,SAAuC,KAAK;cAC3C,OAAA;AAAA"}

package/dist/contract-validation-error.d.mts

@@ -1,2 +1,2 @@
-import { n as ContractValidationPhase, r as DomainNamespaceResolutionError, t as ContractValidationError } from "./contract-validation-error-T5LH4DW-.mjs";
+import { n as ContractValidationPhase, r as DomainNamespaceResolutionError, t as ContractValidationError } from "./contract-validation-error-B8UtbPEl.mjs";
 export { ContractValidationError, type ContractValidationPhase, DomainNamespaceResolutionError };

package/dist/default-namespace-Bhu0oN8U.mjs

@@ -0,0 +1,33 @@
+import { n as DomainNamespaceResolutionError } from "./contract-validation-error-ClZaKqMW.mjs";
+//#region src/default-namespace.ts
+/**
+* Reserved sentinel domain namespace id for the late-bound application-domain
+* slot — the namespace a model lands in when it is authored without an explicit
+* namespace. This is target-agnostic: targets that allow un-namespaced
+* authoring (e.g. Mongo, SQLite) declare this id as their default on the target
+* descriptor; the framework names the sentinel, never a target. Mirrors
+* storage's `UNBOUND_NAMESPACE_ID` on the domain plane.
+*/
+const UNBOUND_DOMAIN_NAMESPACE_ID = "__unbound__";
+/**
+* Resolve the single domain namespace of a single-namespace contract.
+*
+* Bare-name access (`db.User`) reads "the contract's one namespace". Every
+* contract in scope today declares exactly one domain namespace, so this is
+* exact — there is nothing to infer. A contract that declares more than one
+* namespace is ambiguous for a bare name, so rather than silently pick one this
+* throws; cross-namespace selection is made explicit (TML-2550).
+*/
+function soleDomainNamespaceId(domain) {
+	const [soleNamespaceId, ...rest] = Object.keys(domain.namespaces);
+	if (soleNamespaceId === void 0) throw new DomainNamespaceResolutionError("domain has no namespaces");
+	if (rest.length > 0) {
+		const all = [soleNamespaceId, ...rest];
+		throw new DomainNamespaceResolutionError(`bare-name resolution requires exactly one domain namespace, found ${all.length} (${all.join(", ")}); select a namespace explicitly`);
+	}
+	return soleNamespaceId;
+}
+//#endregion
+export { soleDomainNamespaceId as n, UNBOUND_DOMAIN_NAMESPACE_ID as t };
+
+//# sourceMappingURL=default-namespace-Bhu0oN8U.mjs.map

package/dist/default-namespace-Bhu0oN8U.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"default-namespace-Bhu0oN8U.mjs","names":[],"sources":["../src/default-namespace.ts"],"sourcesContent":["import { DomainNamespaceResolutionError } from './contract-validation-error';\n\n/**\n * Reserved sentinel domain namespace id for the late-bound application-domain\n * slot — the namespace a model lands in when it is authored without an explicit\n * namespace. This is target-agnostic: targets that allow un-namespaced\n * authoring (e.g. Mongo, SQLite) declare this id as their default on the target\n * descriptor; the framework names the sentinel, never a target. Mirrors\n * storage's `UNBOUND_NAMESPACE_ID` on the domain plane.\n */\nexport const UNBOUND_DOMAIN_NAMESPACE_ID = '__unbound__' as const;\n\n/**\n * Resolve the single domain namespace of a single-namespace contract.\n *\n * Bare-name access (`db.User`) reads \"the contract's one namespace\". Every\n * contract in scope today declares exactly one domain namespace, so this is\n * exact — there is nothing to infer. A contract that declares more than one\n * namespace is ambiguous for a bare name, so rather than silently pick one this\n * throws; cross-namespace selection is made explicit (TML-2550).\n */\nexport function soleDomainNamespaceId(domain: {\n  readonly namespaces: Readonly<Record<string, unknown>>;\n}): string {\n  const [soleNamespaceId, ...rest] = Object.keys(domain.namespaces);\n  if (soleNamespaceId === undefined) {\n    throw new DomainNamespaceResolutionError('domain has no namespaces');\n  }\n  if (rest.length > 0) {\n    const all = [soleNamespaceId, ...rest];\n    throw new DomainNamespaceResolutionError(\n      `bare-name resolution requires exactly one domain namespace, found ${all.length} (${all.join(', ')}); select a namespace explicitly`,\n    );\n  }\n  return soleNamespaceId;\n}\n"],"mappings":";;;;;;;;;;AAUA,MAAa,8BAA8B;;;;;;;;;;AAW3C,SAAgB,sBAAsB,QAE3B;CACT,MAAM,CAAC,iBAAiB,GAAG,QAAQ,OAAO,KAAK,OAAO,UAAU;CAChE,IAAI,oBAAoB,KAAA,GACtB,MAAM,IAAI,+BAA+B,0BAA0B;CAErE,IAAI,KAAK,SAAS,GAAG;EACnB,MAAM,MAAM,CAAC,iBAAiB,GAAG,IAAI;EACrC,MAAM,IAAI,+BACR,qEAAqE,IAAI,OAAO,IAAI,IAAI,KAAK,IAAI,EAAE,iCACrG;CACF;CACA,OAAO;AACT"}

package/dist/default-namespace-CWdFpoc_.d.mts

@@ -0,0 +1,25 @@
+//#region src/default-namespace.d.ts
+/**
+ * Reserved sentinel domain namespace id for the late-bound application-domain
+ * slot — the namespace a model lands in when it is authored without an explicit
+ * namespace. This is target-agnostic: targets that allow un-namespaced
+ * authoring (e.g. Mongo, SQLite) declare this id as their default on the target
+ * descriptor; the framework names the sentinel, never a target. Mirrors
+ * storage's `UNBOUND_NAMESPACE_ID` on the domain plane.
+ */
+declare const UNBOUND_DOMAIN_NAMESPACE_ID: "__unbound__";
+/**
+ * Resolve the single domain namespace of a single-namespace contract.
+ *
+ * Bare-name access (`db.User`) reads "the contract's one namespace". Every
+ * contract in scope today declares exactly one domain namespace, so this is
+ * exact — there is nothing to infer. A contract that declares more than one
+ * namespace is ambiguous for a bare name, so rather than silently pick one this
+ * throws; cross-namespace selection is made explicit (TML-2550).
+ */
+declare function soleDomainNamespaceId(domain: {
+  readonly namespaces: Readonly<Record<string, unknown>>;
+}): string;
+//#endregion
+export { soleDomainNamespaceId as n, UNBOUND_DOMAIN_NAMESPACE_ID as t };
+//# sourceMappingURL=default-namespace-CWdFpoc_.d.mts.map

package/dist/default-namespace-CWdFpoc_.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"default-namespace-CWdFpoc_.d.mts","names":[],"sources":["../src/default-namespace.ts"],"mappings":";;AAUA;;;;AAAiE;AAWjE;;cAXa,2BAAA;;;;;;;AAaZ;;;iBAFe,qBAAA,CAAsB,MAAA;EAAA,SAC3B,UAAA,EAAY,QAAQ,CAAC,MAAA;AAAA"}

package/dist/default-namespace.d.mts

@@ -0,0 +1,2 @@
+import { n as soleDomainNamespaceId, t as UNBOUND_DOMAIN_NAMESPACE_ID } from "./default-namespace-CWdFpoc_.mjs";
+export { UNBOUND_DOMAIN_NAMESPACE_ID, soleDomainNamespaceId };

package/dist/default-namespace.mjs

@@ -0,0 +1,2 @@
+import { n as soleDomainNamespaceId, t as UNBOUND_DOMAIN_NAMESPACE_ID } from "./default-namespace-Bhu0oN8U.mjs";
+export { UNBOUND_DOMAIN_NAMESPACE_ID, soleDomainNamespaceId };

package/dist/{domain-envelope-Cv5OTm8D.d.mts → domain-envelope-BFYbgufo.d.mts}

@@ -79,7 +79,6 @@ type EmbedRelationKeys<TModels extends Record<string, {
 }>, ModelName extends string & keyof TModels> = { [K in keyof TModels[ModelName]['relations']]: TModels[ModelName]['relations'][K] extends ContractReferenceRelation ? never : K }[keyof TModels[ModelName]['relations']];
 //#endregion
 //#region src/domain-envelope.d.ts
-declare const UNBOUND_DOMAIN_NAMESPACE_ID: "__unbound__";
 /**
  * One namespace's application-domain entities — models and optional value
  * objects keyed by entity name within that namespace coordinate.
@@ -98,13 +97,6 @@ interface ApplicationDomain<TModels extends Record<string, ContractModelBase> =
 type ContractWithDomain = {
   readonly domain: ApplicationDomain;
 };
-declare function resolveSingleDomainNamespaceId(domain: ApplicationDomain, namespaceId?: string): string;
-declare function contractModels<TModels extends Record<string, ContractModelBase>>(contract: {
-  readonly domain: ApplicationDomain<TModels>;
-}, namespaceId?: string): TModels;
-declare function contractValueObjects<TModels extends Record<string, ContractModelBase>>(contract: {
-  readonly domain: ApplicationDomain<TModels>;
-}, namespaceId?: string): Record<string, ContractValueObject> | undefined;
 //#endregion
-export { UnionFieldType as C, crossRef as D, CrossReferenceSchema as E, NamespaceId as O, ScalarFieldType as S, CrossReference as T, ContractValueObject as _, contractModels as a, ModelStorageBase as b, ContractDiscriminator as c, ContractFieldType as d, ContractModel as f, ContractRelationOn as g, ContractRelation as h, UNBOUND_DOMAIN_NAMESPACE_ID as i, asNamespaceId as k, ContractEmbedRelation as l, ContractReferenceRelation as m, ApplicationDomainNamespace as n, contractValueObjects as o, ContractModelBase as p, ContractWithDomain as r, resolveSingleDomainNamespaceId as s, ApplicationDomain as t, ContractField as u, ContractVariantEntry as v, ValueObjectFieldType as w, ReferenceRelationKeys as x, EmbedRelationKeys as y };
-//# sourceMappingURL=domain-envelope-Cv5OTm8D.d.mts.map
+export { crossRef as C, CrossReferenceSchema as S, asNamespaceId as T, ReferenceRelationKeys as _, ContractEmbedRelation as a, ValueObjectFieldType as b, ContractModel as c, ContractRelation as d, ContractRelationOn as f, ModelStorageBase as g, EmbedRelationKeys as h, ContractDiscriminator as i, ContractModelBase as l, ContractVariantEntry as m, ApplicationDomainNamespace as n, ContractField as o, ContractValueObject as p, ContractWithDomain as r, ContractFieldType as s, ApplicationDomain as t, ContractReferenceRelation as u, ScalarFieldType as v, NamespaceId as w, CrossReference as x, UnionFieldType as y };
+//# sourceMappingURL=domain-envelope-BFYbgufo.d.mts.map

package/dist/{domain-envelope-Cv5OTm8D.d.mts.map → domain-envelope-BFYbgufo.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"domain-envelope-Cv5OTm8D.d.mts","names":[],"sources":["../src/namespace-id.ts","../src/cross-reference.ts","../src/domain-types.ts","../src/domain-envelope.ts"],"mappings":";;;KAEY,WAAA;EAAA,SAAkC,OAAO;AAAA;AAAA,iBAErC,aAAA,CAAc,KAAA,WAAgB,WAAW;;;UCAxC,cAAA;EAAA,SACN,SAAA,EAAW,WAAW;EAAA,SACtB,KAAA;AAAA;AAAA,cAGE,oBAAA,EAAoB,sCAAA,CAAA,UAAA,CAAA,cAAA;AAAA,iBAajB,QAAA,CACd,KAAA,UACA,SAAA,YACC,cAAc;;;KCvBL,eAAA;EAAA,SACD,IAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;AAAA,KAGlB,oBAAA;EAAA,SACD,IAAA;EAAA,SACA,IAAI;AAAA;AAAA,KAGH,cAAA;EAAA,SACD,IAAA;EAAA,SACA,OAAA,EAAS,aAAA,CAAc,eAAA,GAAkB,oBAAA;AAAA;AAAA,KAGxC,iBAAA,GAAoB,eAAA,GAAkB,oBAAA,GAAuB,cAAA;AAAA,KAE7D,aAAA;EAAA,SACD,QAAA;EAAA,SACA,IAAA,EAAM,iBAAiB;EAAA,SACvB,IAAA;EAAA,SACA,IAAA;AAAA;AAAA,KAGC,kBAAA;EAAA,SACD,WAAA;EAAA,SACA,YAAY;AAAA;AAAA,KAGX,yBAAA;EAAA,SACD,EAAA,EAAI,cAAA;EAAA,SACJ,WAAA;EAAA,SACA,EAAA,EAAI,kBAAkB;AAAA;AAAA,KAGrB,qBAAA;EAAA,SACD,EAAA,EAAI,cAAc;EAAA,SAClB,WAAA;AAAA;AAAA,KAGC,gBAAA,GAAmB,yBAAA,GAA4B,qBAAqB;AAAA,KAEpE,qBAAA;EAAA,SACD,KAAK;AAAA;AAAA,KAGJ,oBAAA;EAAA,SACD,KAAK;AAAA;AAAA,KAGJ,mBAAA;EAAA,SACD,MAAA,EAAQ,MAAM,SAAS,aAAA;AAAA;AAAA,KAGtB,gBAAA,GAAmB,QAAQ,CAAC,MAAA;AAAA,UAEvB,iBAAA,uBAAwC,gBAAA,GAAmB,gBAAA;EAAA,SACjE,MAAA,EAAQ,MAAA,SAAe,aAAA;EAAA,SACvB,SAAA,EAAW,MAAA,SAAe,gBAAA;EAAA,SAC1B,OAAA,EAAS,aAAA;EAAA,SACT,aAAA,GAAgB,qBAAA;EAAA,SAChB,QAAA,GAAW,MAAA,SAAe,oBAAA;EAAA,SAC1B,IAAA,GAAO,cAAA;EAAA,SACP,KAAA;AAAA;AAAA,UAGM,aAAA,uBAAoC,gBAAA,GAAmB,gBAAA,UAC9D,iBAAA,CAAkB,aAAA;EAAA,SACjB,MAAA,EAAQ,MAAA,SAAe,aAAA;AAAA;AAAA,KAKtB,qBAAA,iBACM,MAAA;EAAA,SAA0B,SAAA,EAAW,MAAA,SAAe,gBAAA;AAAA,qCACnC,OAAA,kBAErB,OAAA,CAAQ,SAAA,iBAA0B,OAAA,CAAQ,SAAA,eAAwB,CAAA,UAAW,yBAAA,GACrF,CAAA,iBAEE,OAAA,CAAQ,SAAA;AAAA,KAEJ,iBAAA,iBACM,MAAA;EAAA,SAA0B,SAAA,EAAW,MAAA,SAAe,gBAAA;AAAA,qCACnC,OAAA,kBAErB,OAAA,CAAQ,SAAA,iBAA0B,OAAA,CAAQ,SAAA,eAAwB,CAAA,UAAW,yBAAA,WAErF,CAAA,SACE,OAAA,CAAQ,SAAA;;;cCzFH,2BAAA;;AHDb;;;UGOiB,0BAAA,iBACC,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SAE1D,MAAA,EAAQ,OAAA;EAAA,SACR,YAAA,GAAe,MAAA,SAAe,mBAAA;AAAA;;;AHTgB;;UGgBxC,iBAAA,iBACC,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SAE1D,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,0BAAA,CAA2B,OAAA;AAAA;AAAA,KAG9D,kBAAA;EAAA,SACD,MAAA,EAAQ,iBAAiB;AAAA;AAAA,iBAGpB,8BAAA,CACd,MAAA,EAAQ,iBAAiB,EACzB,WAAA;AAAA,iBA4Bc,cAAA,iBAA+B,MAAA,SAAe,iBAAA,EAAA,CAC5D,QAAA;EAAA,SAAqB,MAAA,EAAQ,iBAAA,CAAkB,OAAA;AAAA,GAC/C,WAAA,YACC,OAAA;AAAA,iBAWa,oBAAA,iBAAqC,MAAA,SAAe,iBAAA,EAAA,CAClE,QAAA;EAAA,SAAqB,MAAA,EAAQ,iBAAA,CAAkB,OAAA;AAAA,GAC/C,WAAA,YACC,MAAA,SAAe,mBAAA"}
+{"version":3,"file":"domain-envelope-BFYbgufo.d.mts","names":[],"sources":["../src/namespace-id.ts","../src/cross-reference.ts","../src/domain-types.ts","../src/domain-envelope.ts"],"mappings":";;;KAEY,WAAA;EAAA,SAAkC,OAAO;AAAA;AAAA,iBAErC,aAAA,CAAc,KAAA,WAAgB,WAAW;;;UCAxC,cAAA;EAAA,SACN,SAAA,EAAW,WAAW;EAAA,SACtB,KAAA;AAAA;AAAA,cAGE,oBAAA,EAAoB,sCAAA,CAAA,UAAA,CAAA,cAAA;AAAA,iBAajB,QAAA,CACd,KAAA,UACA,SAAA,YACC,cAAc;;;KCvBL,eAAA;EAAA,SACD,IAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;AAAA,KAGlB,oBAAA;EAAA,SACD,IAAA;EAAA,SACA,IAAI;AAAA;AAAA,KAGH,cAAA;EAAA,SACD,IAAA;EAAA,SACA,OAAA,EAAS,aAAA,CAAc,eAAA,GAAkB,oBAAA;AAAA;AAAA,KAGxC,iBAAA,GAAoB,eAAA,GAAkB,oBAAA,GAAuB,cAAA;AAAA,KAE7D,aAAA;EAAA,SACD,QAAA;EAAA,SACA,IAAA,EAAM,iBAAiB;EAAA,SACvB,IAAA;EAAA,SACA,IAAA;AAAA;AAAA,KAGC,kBAAA;EAAA,SACD,WAAA;EAAA,SACA,YAAY;AAAA;AAAA,KAGX,yBAAA;EAAA,SACD,EAAA,EAAI,cAAA;EAAA,SACJ,WAAA;EAAA,SACA,EAAA,EAAI,kBAAkB;AAAA;AAAA,KAGrB,qBAAA;EAAA,SACD,EAAA,EAAI,cAAc;EAAA,SAClB,WAAA;AAAA;AAAA,KAGC,gBAAA,GAAmB,yBAAA,GAA4B,qBAAqB;AAAA,KAEpE,qBAAA;EAAA,SACD,KAAK;AAAA;AAAA,KAGJ,oBAAA;EAAA,SACD,KAAK;AAAA;AAAA,KAGJ,mBAAA;EAAA,SACD,MAAA,EAAQ,MAAM,SAAS,aAAA;AAAA;AAAA,KAGtB,gBAAA,GAAmB,QAAQ,CAAC,MAAA;AAAA,UAEvB,iBAAA,uBAAwC,gBAAA,GAAmB,gBAAA;EAAA,SACjE,MAAA,EAAQ,MAAA,SAAe,aAAA;EAAA,SACvB,SAAA,EAAW,MAAA,SAAe,gBAAA;EAAA,SAC1B,OAAA,EAAS,aAAA;EAAA,SACT,aAAA,GAAgB,qBAAA;EAAA,SAChB,QAAA,GAAW,MAAA,SAAe,oBAAA;EAAA,SAC1B,IAAA,GAAO,cAAA;EAAA,SACP,KAAA;AAAA;AAAA,UAGM,aAAA,uBAAoC,gBAAA,GAAmB,gBAAA,UAC9D,iBAAA,CAAkB,aAAA;EAAA,SACjB,MAAA,EAAQ,MAAA,SAAe,aAAA;AAAA;AAAA,KAKtB,qBAAA,iBACM,MAAA;EAAA,SAA0B,SAAA,EAAW,MAAA,SAAe,gBAAA;AAAA,qCACnC,OAAA,kBAErB,OAAA,CAAQ,SAAA,iBAA0B,OAAA,CAAQ,SAAA,eAAwB,CAAA,UAAW,yBAAA,GACrF,CAAA,iBAEE,OAAA,CAAQ,SAAA;AAAA,KAEJ,iBAAA,iBACM,MAAA;EAAA,SAA0B,SAAA,EAAW,MAAA,SAAe,gBAAA;AAAA,qCACnC,OAAA,kBAErB,OAAA,CAAQ,SAAA,iBAA0B,OAAA,CAAQ,SAAA,eAAwB,CAAA,UAAW,yBAAA,WAErF,CAAA,SACE,OAAA,CAAQ,SAAA;;;;AF1FhB;;;UGMiB,0BAAA,iBACC,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SAE1D,MAAA,EAAQ,OAAA;EAAA,SACR,YAAA,GAAe,MAAA,SAAe,mBAAA;AAAA;;;AHRgB;;UGexC,iBAAA,iBACC,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SAE1D,UAAA,EAAY,QAAA,CAAS,MAAA,SAAe,0BAAA,CAA2B,OAAA;AAAA;AAAA,KAG9D,kBAAA;EAAA,SACD,MAAA,EAAQ,iBAAiB;AAAA"}

package/dist/hashing-utils.d.mts

@@ -1,4 +1,4 @@
-import { i as StorageSort, n as PreserveEmptyPredicate } from "./canonicalization-CM6bJ8i8.mjs";
+import { i as StorageSort, n as PreserveEmptyPredicate } from "./canonicalization-BjnwugYK.mjs";
 
 //#region src/canonicalization-path-match.d.ts
 type PathSegment = string | '*' | readonly string[];

package/dist/hashing-utils.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"hashing-utils.d.mts","names":[],"sources":["../src/canonicalization-path-match.ts","../src/canonicalization-storage-sort.ts"],"mappings":";;;KAEY,WAAA;AAAA,KAEA,WAAA,YAAuB,WAAW;AAAA,iBAE9B,kBAAA,CAAmB,IAAA,qBAAyB,OAAA,EAAS,WAAW;AAAA,iBAiChE,4BAAA,CACd,QAAA,WAAmB,WAAA,KAClB,sBAAsB;;;KCvCb,aAAA;AAAA,UAEK,oBAAA;EAAA,SACN,IAAA,WAAe,aAAW;EAAA,SAC1B,SAAA;AAAA;AAAA,iBAOK,qBAAA,CAAsB,CAAA,WAAY,CAAU;AAAA,iBA2D5C,iBAAA,CACd,OAAA,WAAkB,oBAAA,IAClB,OAAA,IAAU,CAAA,WAAY,CAAA,uBACrB,WAAW"}
+{"version":3,"file":"hashing-utils.d.mts","names":[],"sources":["../src/canonicalization-path-match.ts","../src/canonicalization-storage-sort.ts"],"mappings":";;;KAEY,WAAA;AAAA,KAEA,WAAA,YAAuB,WAAW;AAAA,iBAE9B,kBAAA,CAAmB,IAAA,qBAAyB,OAAA,EAAS,WAAW;AAAA,iBAiChE,4BAAA,CACd,QAAA,WAAmB,WAAA,KAClB,sBAAsB;;;KCvCb,aAAA;AAAA,UAEK,oBAAA;EAAA,SACN,IAAA,WAAe,aAAW;EAAA,SAC1B,SAAA;AAAA;AAAA,iBAcK,qBAAA,CAAsB,CAAA,WAAY,CAAU;AAAA,iBA2D5C,iBAAA,CACd,OAAA,WAAkB,oBAAA,IAClB,OAAA,IAAU,CAAA,WAAY,CAAA,uBACrB,WAAW"}

package/dist/hashing-utils.mjs

@@ -1,12 +1,13 @@
-import { n as matchesPathPattern, t as createPreserveEmptyPredicate } from "./canonicalization-path-match-b2jFuEso.mjs";
+import { n as matchesPathPattern, t as createPreserveEmptyPredicate } from "./canonicalization-path-match-Czn4Vds5.mjs";
 //#region src/canonicalization-storage-sort.ts
 function isPlainRecord(value) {
 	return typeof value === "object" && value !== null && !Array.isArray(value);
 }
+function compareCodeUnits(a, b) {
+	return a < b ? -1 : a > b ? 1 : 0;
+}
 function compareByNameProperty(a, b) {
-	const nameA = isPlainRecord(a) && typeof a["name"] === "string" ? a["name"] : "";
-	const nameB = isPlainRecord(b) && typeof b["name"] === "string" ? b["name"] : "";
-	return nameA.localeCompare(nameB);
+	return compareCodeUnits(isPlainRecord(a) && typeof a["name"] === "string" ? a["name"] : "", isPlainRecord(b) && typeof b["name"] === "string" ? b["name"] : "");
 }
 function sortArrayKeysOnRecord(record, arrayKeys, compare) {
 	const sorted = { ...record };

package/dist/hashing-utils.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"hashing-utils.mjs","names":[],"sources":["../src/canonicalization-storage-sort.ts"],"sourcesContent":["import type { StorageSort } from './canonicalization';\n\nexport type PathSegment = string | '*';\n\nexport interface NamedArraySortTarget {\n  readonly path: readonly PathSegment[];\n  readonly arrayKeys: readonly string[];\n}\n\nfunction isPlainRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\nexport function compareByNameProperty(a: unknown, b: unknown): number {\n  const nameA = isPlainRecord(a) && typeof a['name'] === 'string' ? a['name'] : '';\n  const nameB = isPlainRecord(b) && typeof b['name'] === 'string' ? b['name'] : '';\n  return nameA.localeCompare(nameB);\n}\n\nfunction sortArrayKeysOnRecord(\n  record: Record<string, unknown>,\n  arrayKeys: readonly string[],\n  compare: (a: unknown, b: unknown) => number,\n): Record<string, unknown> {\n  const sorted: Record<string, unknown> = { ...record };\n  for (const key of arrayKeys) {\n    const value = record[key];\n    if (Array.isArray(value)) {\n      sorted[key] = [...value].sort(compare);\n    }\n  }\n  return sorted;\n}\n\nfunction walkAndSort(\n  node: unknown,\n  pathSegments: readonly PathSegment[],\n  arrayKeys: readonly string[],\n  compare: (a: unknown, b: unknown) => number,\n): unknown {\n  if (pathSegments.length === 0) {\n    if (!isPlainRecord(node)) {\n      return node;\n    }\n    return sortArrayKeysOnRecord(node, arrayKeys, compare);\n  }\n\n  if (!isPlainRecord(node)) {\n    return node;\n  }\n\n  const [head, ...rest] = pathSegments;\n  if (head === undefined) {\n    return node;\n  }\n\n  if (head === '*') {\n    const sorted: Record<string, unknown> = { ...node };\n    for (const key of Object.keys(node)) {\n      sorted[key] = walkAndSort(node[key], rest, arrayKeys, compare);\n    }\n    return sorted;\n  }\n\n  const child = node[head];\n  if (child === undefined) {\n    return node;\n  }\n\n  return { ...node, [head]: walkAndSort(child, rest, arrayKeys, compare) };\n}\n\nexport function createStorageSort(\n  targets: readonly NamedArraySortTarget[],\n  compare: (a: unknown, b: unknown) => number = compareByNameProperty,\n): StorageSort {\n  return (storage) => {\n    if (!isPlainRecord(storage)) {\n      return storage;\n    }\n\n    let result: unknown = storage;\n    for (const target of targets) {\n      result = walkAndSort(result, target.path, target.arrayKeys, compare);\n    }\n    return result;\n  };\n}\n"],"mappings":";;AASA,SAAS,cAAc,OAAkD;CACvE,OAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAC5E;AAEA,SAAgB,sBAAsB,GAAY,GAAoB;CACpE,MAAM,QAAQ,cAAc,CAAC,KAAK,OAAO,EAAE,YAAY,WAAW,EAAE,UAAU;CAC9E,MAAM,QAAQ,cAAc,CAAC,KAAK,OAAO,EAAE,YAAY,WAAW,EAAE,UAAU;CAC9E,OAAO,MAAM,cAAc,KAAK;AAClC;AAEA,SAAS,sBACP,QACA,WACA,SACyB;CACzB,MAAM,SAAkC,EAAE,GAAG,OAAO;CACpD,KAAK,MAAM,OAAO,WAAW;EAC3B,MAAM,QAAQ,OAAO;EACrB,IAAI,MAAM,QAAQ,KAAK,GACrB,OAAO,OAAO,CAAC,GAAG,KAAK,EAAE,KAAK,OAAO;CAEzC;CACA,OAAO;AACT;AAEA,SAAS,YACP,MACA,cACA,WACA,SACS;CACT,IAAI,aAAa,WAAW,GAAG;EAC7B,IAAI,CAAC,cAAc,IAAI,GACrB,OAAO;EAET,OAAO,sBAAsB,MAAM,WAAW,OAAO;CACvD;CAEA,IAAI,CAAC,cAAc,IAAI,GACrB,OAAO;CAGT,MAAM,CAAC,MAAM,GAAG,QAAQ;CACxB,IAAI,SAAS,KAAA,GACX,OAAO;CAGT,IAAI,SAAS,KAAK;EAChB,MAAM,SAAkC,EAAE,GAAG,KAAK;EAClD,KAAK,MAAM,OAAO,OAAO,KAAK,IAAI,GAChC,OAAO,OAAO,YAAY,KAAK,MAAM,MAAM,WAAW,OAAO;EAE/D,OAAO;CACT;CAEA,MAAM,QAAQ,KAAK;CACnB,IAAI,UAAU,KAAA,GACZ,OAAO;CAGT,OAAO;EAAE,GAAG;GAAO,OAAO,YAAY,OAAO,MAAM,WAAW,OAAO;CAAE;AACzE;AAEA,SAAgB,kBACd,SACA,UAA8C,uBACjC;CACb,QAAQ,YAAY;EAClB,IAAI,CAAC,cAAc,OAAO,GACxB,OAAO;EAGT,IAAI,SAAkB;EACtB,KAAK,MAAM,UAAU,SACnB,SAAS,YAAY,QAAQ,OAAO,MAAM,OAAO,WAAW,OAAO;EAErE,OAAO;CACT;AACF"}
+{"version":3,"file":"hashing-utils.mjs","names":[],"sources":["../src/canonicalization-storage-sort.ts"],"sourcesContent":["import type { StorageSort } from './canonicalization';\n\nexport type PathSegment = string | '*';\n\nexport interface NamedArraySortTarget {\n  readonly path: readonly PathSegment[];\n  readonly arrayKeys: readonly string[];\n}\n\nfunction isPlainRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\n// Order by UTF-16 code unit, not locale collation: canonicalization feeds\n// storageHash, which must be byte-identical across hosts, and locale\n// collation (localeCompare/Intl) varies by the engine's ICU build.\nfunction compareCodeUnits(a: string, b: string): number {\n  return a < b ? -1 : a > b ? 1 : 0;\n}\n\nexport function compareByNameProperty(a: unknown, b: unknown): number {\n  const nameA = isPlainRecord(a) && typeof a['name'] === 'string' ? a['name'] : '';\n  const nameB = isPlainRecord(b) && typeof b['name'] === 'string' ? b['name'] : '';\n  return compareCodeUnits(nameA, nameB);\n}\n\nfunction sortArrayKeysOnRecord(\n  record: Record<string, unknown>,\n  arrayKeys: readonly string[],\n  compare: (a: unknown, b: unknown) => number,\n): Record<string, unknown> {\n  const sorted: Record<string, unknown> = { ...record };\n  for (const key of arrayKeys) {\n    const value = record[key];\n    if (Array.isArray(value)) {\n      sorted[key] = [...value].sort(compare);\n    }\n  }\n  return sorted;\n}\n\nfunction walkAndSort(\n  node: unknown,\n  pathSegments: readonly PathSegment[],\n  arrayKeys: readonly string[],\n  compare: (a: unknown, b: unknown) => number,\n): unknown {\n  if (pathSegments.length === 0) {\n    if (!isPlainRecord(node)) {\n      return node;\n    }\n    return sortArrayKeysOnRecord(node, arrayKeys, compare);\n  }\n\n  if (!isPlainRecord(node)) {\n    return node;\n  }\n\n  const [head, ...rest] = pathSegments;\n  if (head === undefined) {\n    return node;\n  }\n\n  if (head === '*') {\n    const sorted: Record<string, unknown> = { ...node };\n    for (const key of Object.keys(node)) {\n      sorted[key] = walkAndSort(node[key], rest, arrayKeys, compare);\n    }\n    return sorted;\n  }\n\n  const child = node[head];\n  if (child === undefined) {\n    return node;\n  }\n\n  return { ...node, [head]: walkAndSort(child, rest, arrayKeys, compare) };\n}\n\nexport function createStorageSort(\n  targets: readonly NamedArraySortTarget[],\n  compare: (a: unknown, b: unknown) => number = compareByNameProperty,\n): StorageSort {\n  return (storage) => {\n    if (!isPlainRecord(storage)) {\n      return storage;\n    }\n\n    let result: unknown = storage;\n    for (const target of targets) {\n      result = walkAndSort(result, target.path, target.arrayKeys, compare);\n    }\n    return result;\n  };\n}\n"],"mappings":";;AASA,SAAS,cAAc,OAAkD;CACvE,OAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAC5E;AAKA,SAAS,iBAAiB,GAAW,GAAmB;CACtD,OAAO,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI;AAClC;AAEA,SAAgB,sBAAsB,GAAY,GAAoB;CAGpE,OAAO,iBAFO,cAAc,CAAC,KAAK,OAAO,EAAE,YAAY,WAAW,EAAE,UAAU,IAChE,cAAc,CAAC,KAAK,OAAO,EAAE,YAAY,WAAW,EAAE,UAAU,EAC1C;AACtC;AAEA,SAAS,sBACP,QACA,WACA,SACyB;CACzB,MAAM,SAAkC,EAAE,GAAG,OAAO;CACpD,KAAK,MAAM,OAAO,WAAW;EAC3B,MAAM,QAAQ,OAAO;EACrB,IAAI,MAAM,QAAQ,KAAK,GACrB,OAAO,OAAO,CAAC,GAAG,KAAK,EAAE,KAAK,OAAO;CAEzC;CACA,OAAO;AACT;AAEA,SAAS,YACP,MACA,cACA,WACA,SACS;CACT,IAAI,aAAa,WAAW,GAAG;EAC7B,IAAI,CAAC,cAAc,IAAI,GACrB,OAAO;EAET,OAAO,sBAAsB,MAAM,WAAW,OAAO;CACvD;CAEA,IAAI,CAAC,cAAc,IAAI,GACrB,OAAO;CAGT,MAAM,CAAC,MAAM,GAAG,QAAQ;CACxB,IAAI,SAAS,KAAA,GACX,OAAO;CAGT,IAAI,SAAS,KAAK;EAChB,MAAM,SAAkC,EAAE,GAAG,KAAK;EAClD,KAAK,MAAM,OAAO,OAAO,KAAK,IAAI,GAChC,OAAO,OAAO,YAAY,KAAK,MAAM,MAAM,WAAW,OAAO;EAE/D,OAAO;CACT;CAEA,MAAM,QAAQ,KAAK;CACnB,IAAI,UAAU,KAAA,GACZ,OAAO;CAGT,OAAO;EAAE,GAAG;GAAO,OAAO,YAAY,OAAO,MAAM,WAAW,OAAO;CAAE;AACzE;AAEA,SAAgB,kBACd,SACA,UAA8C,uBACjC;CACb,QAAQ,YAAY;EAClB,IAAI,CAAC,cAAc,OAAO,GACxB,OAAO;EAGT,IAAI,SAAkB;EACtB,KAAK,MAAM,UAAU,SACnB,SAAS,YAAY,QAAQ,OAAO,MAAM,OAAO,WAAW,OAAO;EAErE,OAAO;CACT;AACF"}

package/dist/hashing.d.mts

@@ -1,5 +1,5 @@
-import { O as StorageHashBase, p as ExecutionHashBase, w as ProfileHashBase } from "./contract-types-9BbapbkL.mjs";
-import { a as canonicalizeContract, i as StorageSort, n as PreserveEmptyPredicate, o as canonicalizeContractToObject, r as SerializeContract, t as CanonicalizeContractOptions } from "./canonicalization-CM6bJ8i8.mjs";
+import { T as ProfileHashBase, k as StorageHashBase, p as ExecutionHashBase } from "./contract-types-D-Y9rfJT.mjs";
+import { a as canonicalizeContract, i as StorageSort, n as PreserveEmptyPredicate, o as canonicalizeContractToObject, r as SerializeContract, t as CanonicalizeContractOptions } from "./canonicalization-BjnwugYK.mjs";
 
 //#region src/hashing.d.ts
 type ComputeStorageHashArgs = {

package/dist/hashing.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"hashing.d.mts","names":[],"sources":["../src/hashing.ts"],"mappings":";;;;KAqDY,sBAAA;EACV,MAAA;EACA,YAAA;EACA,OAAA,EAAS,MAAA;EAAA,SACA,mBAAA,GAAsB,sBAAA;EAAA,SACtB,WAAA,GAAc,WAAA;AAAA;AAAA,iBAGT,kBAAA,CAAmB,IAAA,EAAM,sBAAA,GAAyB,eAAe;AAAA,iBAIjE,oBAAA,CAAqB,IAAA;EACnC,MAAA;EACA,YAAA;EACA,SAAA,EAAW,MAAA;AAAA,IACT,iBAAiB;AAAA,iBAIL,kBAAA,CAAmB,IAAA;EACjC,MAAA;EACA,YAAA;EACA,YAAA,EAAc,MAAA,SAAe,MAAA;AAAA,IAC3B,eAAA"}
+{"version":3,"file":"hashing.d.mts","names":[],"sources":["../src/hashing.ts"],"mappings":";;;;KA4EY,sBAAA;EACV,MAAA;EACA,YAAA;EACA,OAAA,EAAS,MAAA;EAAA,SACA,mBAAA,GAAsB,sBAAA;EAAA,SACtB,WAAA,GAAc,WAAA;AAAA;AAAA,iBAGT,kBAAA,CAAmB,IAAA,EAAM,sBAAA,GAAyB,eAAe;AAAA,iBAMjE,oBAAA,CAAqB,IAAA;EACnC,MAAA;EACA,YAAA;EACA,SAAA,EAAW,MAAA;AAAA,IACT,iBAAiB;AAAA,iBAML,kBAAA,CAAmB,IAAA;EACjC,MAAA;EACA,YAAA;EACA,YAAA,EAAc,MAAA,SAAe,MAAA;AAAA,IAC3B,eAAA"}

package/dist/hashing.mjs

@@ -1,4 +1,5 @@
-import { n as matchesPathPattern } from "./canonicalization-path-match-b2jFuEso.mjs";
+import { n as matchesPathPattern } from "./canonicalization-path-match-Czn4Vds5.mjs";
+import { blindCast, castAs } from "@prisma-next/utils/casts";
 import { isArrayEqual } from "@prisma-next/utils/array-equal";
 import { ifDefined } from "@prisma-next/utils/defined";
 import { createHash } from "node:crypto";
@@ -42,6 +43,7 @@ const TOP_LEVEL_ORDER = [
 	"execution",
 	"capabilities",
 	"extensionPacks",
+	"defaultControlPolicy",
 	"meta"
 ];
 function isDefaultValue(value) {
@@ -122,6 +124,7 @@ function canonicalizeContractToObject(contract, options) {
 		...ifDefined("execution", serialized["execution"]),
 		extensionPacks: serialized["extensionPacks"],
 		capabilities: serialized["capabilities"],
+		...ifDefined("defaultControlPolicy", serialized["defaultControlPolicy"]),
 		meta: serialized["meta"]
 	}, [], options.shouldPreserveEmpty);
 	return orderTopLevel(sortObjectKeys(options.sortStorage ? {
@@ -135,6 +138,23 @@ function canonicalizeContract(contract, options) {
 //#endregion
 //#region src/hashing.ts
 const SCHEMA_VERSION = "1";
+function isPlainRecord(value) {
+	return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+function omitNamespaceKindsForHash(storage) {
+	if (!isPlainRecord(storage)) return storage;
+	const namespaces = storage["namespaces"];
+	if (!isPlainRecord(namespaces)) return storage;
+	const stripped = {};
+	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) {
 	const hash = createHash("sha256");
 	hash.update(content);
@@ -142,33 +162,34 @@ function sha256(content) {
 }
 function hashContract(section) {
 	const { shouldPreserveEmpty, sortStorage, ...sectionData } = section;
-	return canonicalizeContract({
+	const storageForHash = omitNamespaceKindsForHash(sectionData["storage"] ?? {});
+	return canonicalizeContract(blindCast({
 		targetFamily: sectionData["targetFamily"],
 		target: sectionData["target"],
 		roots: {},
 		domain: { namespaces: {} },
-		storage: sectionData["storage"] ?? {},
 		execution: sectionData["execution"],
 		extensionPacks: {},
 		capabilities: sectionData["capabilities"] ?? {},
 		meta: {},
 		profileHash: "",
-		...sectionData
-	}, {
+		...sectionData,
+		storage: storageForHash
+	}), {
 		schemaVersion: SCHEMA_VERSION,
-		serializeContract: (c) => JSON.parse(JSON.stringify(c)),
+		serializeContract: (c) => castAs(JSON.parse(JSON.stringify(c))),
 		...ifDefined("shouldPreserveEmpty", shouldPreserveEmpty),
 		...ifDefined("sortStorage", sortStorage)
 	});
 }
 function computeStorageHash(args) {
-	return sha256(hashContract(args));
+	return blindCast(sha256(hashContract(args)));
 }
 function computeExecutionHash(args) {
-	return sha256(hashContract(args));
+	return blindCast(sha256(hashContract(args)));
 }
 function computeProfileHash(args) {
-	return sha256(hashContract(args));
+	return blindCast(sha256(hashContract(args)));
 }
 //#endregion
 export { canonicalizeContract, canonicalizeContractToObject, computeExecutionHash, computeProfileHash, computeStorageHash };

package/dist/hashing.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"hashing.mjs","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"sourcesContent":["import { isArrayEqual } from '@prisma-next/utils/array-equal';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { JsonObject } from '@prisma-next/utils/json';\nimport { matchesPathPattern, type PathPattern } from './canonicalization-path-match';\nimport type { Contract } from './contract-types';\n\n/**\n * Per-target contract serializer hook. The framework canonicalizer uses\n * this to convert an in-memory contract (which may carry class-instance\n * IR nodes whose runtime-only fields must not appear in the on-disk\n * envelope) into a plain JsonObject before applying the family-agnostic\n * canonical-key ordering / default-omission / sort steps. Targets whose\n * contract is JSON-clean by construction return the contract unchanged.\n */\nexport type SerializeContract = (contract: Contract) => JsonObject;\n\n/**\n * Family-contributed predicate for the default-omission walk. Called when\n * a value at `path` is a default (empty object/array or `false`); if this\n * returns `true` the value is kept rather than stripped.\n *\n * The framework only calls the predicate inside the `isDefaultValue` branch,\n * so there is no need to guard against non-default values.\n */\nexport type PreserveEmptyPredicate = (path: readonly string[]) => boolean;\n\n/**\n * Family-contributed storage sort. Applied to the serialized `storage`\n * subtree after the default-omission walk; the result replaces the\n * `storage` field before the final key sort. Use to establish a\n * deterministic order for storage arrays (indexes, uniques) that the\n * family-agnostic `sortObjectKeys` pass cannot handle.\n */\nexport type StorageSort = (storage: unknown) => unknown;\n\nconst DOMAIN_NAMESPACE_SLOT_PATTERN = ['domain', 'namespaces', '*'] as const satisfies PathPattern;\nconst DOMAIN_MODELS_CONTAINER_PATTERN = [\n  'domain',\n  'namespaces',\n  '*',\n  'models',\n] as const satisfies PathPattern;\nconst DOMAIN_MODEL_RELATIONS_PATTERN = [\n  'domain',\n  'namespaces',\n  '*',\n  'models',\n  '*',\n  'relations',\n] as const satisfies PathPattern;\nconst DOMAIN_MODEL_STORAGE_PATTERN = [\n  'domain',\n  'namespaces',\n  '*',\n  'models',\n  '*',\n  'storage',\n] as const satisfies PathPattern;\n\nconst TOP_LEVEL_ORDER = [\n  'schemaVersion',\n  'canonicalVersion',\n  'targetFamily',\n  'target',\n  'profileHash',\n  'roots',\n  'domain',\n  'storage',\n  'execution',\n  'capabilities',\n  'extensionPacks',\n  'meta',\n] as const;\n\nfunction isDefaultValue(value: unknown): boolean {\n  if (value === false) return true;\n  if (value === null) return false;\n  if (Array.isArray(value) && value.length === 0) return true;\n  if (typeof value === 'object' && value !== null) {\n    const keys = Object.keys(value);\n    return keys.length === 0;\n  }\n  return false;\n}\n\nfunction omitDefaults(\n  obj: unknown,\n  path: readonly string[],\n  shouldPreserveEmpty: PreserveEmptyPredicate | undefined,\n): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => omitDefaults(item, path, shouldPreserveEmpty));\n  }\n\n  const result: Record<string, unknown> = {};\n\n  for (const [key, value] of Object.entries(obj)) {\n    const currentPath = [...path, key];\n\n    if (key === '_generated') {\n      continue;\n    }\n\n    if (key === 'generated' && value === false) {\n      continue;\n    }\n\n    if ((key === 'onDelete' || key === 'onUpdate') && value === 'noAction') {\n      continue;\n    }\n\n    if (isDefaultValue(value)) {\n      const isRequiredDomainNamespaces = isArrayEqual(currentPath, ['domain', 'namespaces']);\n      const isDomainNamespaceSlot = matchesPathPattern(currentPath, DOMAIN_NAMESPACE_SLOT_PATTERN);\n      const isRequiredDomainModels = matchesPathPattern(\n        currentPath,\n        DOMAIN_MODELS_CONTAINER_PATTERN,\n      );\n      const isRequiredStorageNamespaces = isArrayEqual(currentPath, ['storage', 'namespaces']);\n      const isStorageNamespaceSlot =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[1]], ['storage', 'namespaces']);\n      const isRequiredRoots = isArrayEqual(currentPath, ['roots']);\n      const isRequiredExtensionPacks = isArrayEqual(currentPath, ['extensionPacks']);\n      const isRequiredCapabilities = isArrayEqual(currentPath, ['capabilities']);\n      const isRequiredMeta = isArrayEqual(currentPath, ['meta']);\n      const isRequiredExecutionDefaults = isArrayEqual(currentPath, [\n        'execution',\n        'mutations',\n        'defaults',\n      ]);\n      const isExtensionNamespace = currentPath.length === 2 && currentPath[0] === 'extensionPacks';\n      const isModelRelations = matchesPathPattern(currentPath, DOMAIN_MODEL_RELATIONS_PATTERN);\n      const isModelStorage = matchesPathPattern(currentPath, DOMAIN_MODEL_STORAGE_PATTERN);\n\n      const isNullableField = key === 'nullable';\n\n      const isFamilyPreserved = shouldPreserveEmpty?.(currentPath) ?? false;\n\n      if (\n        !isRequiredDomainNamespaces &&\n        !isDomainNamespaceSlot &&\n        !isRequiredDomainModels &&\n        !isRequiredStorageNamespaces &&\n        !isStorageNamespaceSlot &&\n        !isRequiredRoots &&\n        !isRequiredExtensionPacks &&\n        !isRequiredCapabilities &&\n        !isRequiredMeta &&\n        !isRequiredExecutionDefaults &&\n        !isExtensionNamespace &&\n        !isModelRelations &&\n        !isModelStorage &&\n        !isNullableField &&\n        !isFamilyPreserved\n      ) {\n        continue;\n      }\n    }\n\n    result[key] = omitDefaults(value, currentPath, shouldPreserveEmpty);\n  }\n\n  return result;\n}\n\nfunction sortObjectKeys(obj: unknown): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => sortObjectKeys(item));\n  }\n\n  const sorted: Record<string, unknown> = {};\n  const keys = Object.keys(obj).sort();\n  for (const key of keys) {\n    sorted[key] = sortObjectKeys((obj as Record<string, unknown>)[key]);\n  }\n\n  return sorted;\n}\n\nexport function orderTopLevel(obj: Record<string, unknown>): Record<string, unknown> {\n  const ordered: Record<string, unknown> = {};\n  const remaining = new Set(Object.keys(obj));\n\n  for (const key of TOP_LEVEL_ORDER) {\n    if (remaining.has(key)) {\n      ordered[key] = obj[key];\n      remaining.delete(key);\n    }\n  }\n\n  for (const key of Array.from(remaining).sort()) {\n    ordered[key] = obj[key];\n  }\n\n  return ordered;\n}\n\nexport interface CanonicalizeContractOptions {\n  readonly schemaVersion?: string;\n  /**\n   * Per-target hook that converts the in-memory contract (which may\n   * carry class-instance IR nodes) into a plain JsonObject before the\n   * family-agnostic canonicalization steps run.\n   *\n   * Routing through the hook is what lets each target decide which\n   * fields appear in the on-disk envelope; runtime-only class API\n   * fields stay invisible to the canonicalization walk by virtue of\n   * the per-target serializer not putting them in the JSON shape.\n   */\n  readonly serializeContract: SerializeContract;\n  /**\n   * Family-contributed preserve-empty predicate. When the walk encounters a\n   * default value (empty object/array or `false`) at `path`, calling this\n   * with the full path allows the family to veto the omission. If absent,\n   * only the framework's family-agnostic required-slot rules apply.\n   */\n  readonly shouldPreserveEmpty?: PreserveEmptyPredicate;\n  /**\n   * Family-contributed storage sort. Applied to the serialized `storage`\n   * subtree after the default-omission walk, before the final key sort.\n   * SQL family uses this to impose a deterministic order on `indexes` and\n   * `uniques` arrays within each namespace table. Families that require no\n   * special storage ordering omit this hook.\n   */\n  readonly sortStorage?: StorageSort;\n}\n\n/**\n * Object-form variant of {@link canonicalizeContract}. Exported because the\n * emitter writes the canonical contract through a separate JSON-stringify\n * pass and consumes the structured object directly.\n */\nexport function canonicalizeContractToObject(\n  contract: Contract,\n  options: CanonicalizeContractOptions,\n): Record<string, unknown> {\n  const serialized = options.serializeContract(contract);\n  const normalized: Record<string, unknown> = {\n    ...ifDefined('schemaVersion', options.schemaVersion),\n    targetFamily: serialized['targetFamily'],\n    target: serialized['target'],\n    profileHash: serialized['profileHash'],\n    roots: serialized['roots'],\n    domain: serialized['domain'],\n    storage: serialized['storage'],\n    ...ifDefined('execution', serialized['execution']),\n    extensionPacks: serialized['extensionPacks'],\n    capabilities: serialized['capabilities'],\n    meta: serialized['meta'],\n  };\n  const withDefaultsOmitted = omitDefaults(normalized, [], options.shouldPreserveEmpty) as Record<\n    string,\n    unknown\n  >;\n  const withSortedStorage = options.sortStorage\n    ? { ...withDefaultsOmitted, storage: options.sortStorage(withDefaultsOmitted['storage']) }\n    : withDefaultsOmitted;\n  const withSortedKeys = sortObjectKeys(withSortedStorage) as Record<string, unknown>;\n  return orderTopLevel(withSortedKeys);\n}\n\nexport function canonicalizeContract(\n  contract: Contract,\n  options: CanonicalizeContractOptions,\n): string {\n  return JSON.stringify(canonicalizeContractToObject(contract, options), null, 2);\n}\n","import { createHash } from 'node:crypto';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { JsonObject } from '@prisma-next/utils/json';\nimport {\n  canonicalizeContract,\n  type PreserveEmptyPredicate,\n  type StorageSort,\n} from './canonicalization';\nimport type { Contract } from './contract-types';\nimport type { ExecutionHashBase, ProfileHashBase, StorageHashBase } from './types';\n\nconst SCHEMA_VERSION = '1';\n\nfunction sha256(content: string): string {\n  const hash = createHash('sha256');\n  hash.update(content);\n  return `sha256:${hash.digest('hex')}`;\n}\n\ntype HashContractSection = Record<string, unknown> & {\n  readonly shouldPreserveEmpty?: PreserveEmptyPredicate;\n  readonly sortStorage?: StorageSort;\n};\n\nfunction hashContract(section: HashContractSection): string {\n  const { shouldPreserveEmpty, sortStorage, ...sectionData } = section;\n  // Blind cast: the synthesised object is a hash-only stand-in\n  // — never returned to callers, never executed as a Contract.\n  // `canonicalizeContract` only walks the storage / execution /\n  // capabilities slices, all of which are populated above, so the\n  // missing precise Contract typing on the other slots is\n  // immaterial for the hash result.\n  const contract = {\n    targetFamily: sectionData['targetFamily'],\n    target: sectionData['target'],\n    roots: {},\n    domain: { namespaces: {} },\n    storage: sectionData['storage'] ?? {},\n    execution: sectionData['execution'],\n    extensionPacks: {},\n    capabilities: sectionData['capabilities'] ?? {},\n    meta: {},\n    profileHash: '',\n    ...sectionData,\n  } as unknown as Contract;\n  return canonicalizeContract(contract, {\n    schemaVersion: SCHEMA_VERSION,\n    serializeContract: (c) => JSON.parse(JSON.stringify(c)) as JsonObject,\n    ...ifDefined('shouldPreserveEmpty', shouldPreserveEmpty),\n    ...ifDefined('sortStorage', sortStorage),\n  });\n}\n\nexport type ComputeStorageHashArgs = {\n  target: string;\n  targetFamily: string;\n  storage: Record<string, unknown>;\n  readonly shouldPreserveEmpty?: PreserveEmptyPredicate;\n  readonly sortStorage?: StorageSort;\n};\n\nexport function computeStorageHash(args: ComputeStorageHashArgs): StorageHashBase<string> {\n  return sha256(hashContract(args)) as StorageHashBase<string>;\n}\n\nexport function computeExecutionHash(args: {\n  target: string;\n  targetFamily: string;\n  execution: Record<string, unknown>;\n}): ExecutionHashBase<string> {\n  return sha256(hashContract(args)) as ExecutionHashBase<string>;\n}\n\nexport function computeProfileHash(args: {\n  target: string;\n  targetFamily: string;\n  capabilities: Record<string, Record<string, boolean>>;\n}): ProfileHashBase<string> {\n  return sha256(hashContract(args)) as ProfileHashBase<string>;\n}\n"],"mappings":";;;;;AAmCA,MAAM,gCAAgC;CAAC;CAAU;CAAc;AAAG;AAClE,MAAM,kCAAkC;CACtC;CACA;CACA;CACA;AACF;AACA,MAAM,iCAAiC;CACrC;CACA;CACA;CACA;CACA;CACA;AACF;AACA,MAAM,+BAA+B;CACnC;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,MAAM,kBAAkB;CACtB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,SAAS,eAAe,OAAyB;CAC/C,IAAI,UAAU,OAAO,OAAO;CAC5B,IAAI,UAAU,MAAM,OAAO;CAC3B,IAAI,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAAG,OAAO;CACvD,IAAI,OAAO,UAAU,YAAY,UAAU,MAEzC,OADa,OAAO,KAAK,KACf,EAAE,WAAW;CAEzB,OAAO;AACT;AAEA,SAAS,aACP,KACA,MACA,qBACS;CACT,IAAI,QAAQ,QAAQ,OAAO,QAAQ,UACjC,OAAO;CAGT,IAAI,MAAM,QAAQ,GAAG,GACnB,OAAO,IAAI,KAAK,SAAS,aAAa,MAAM,MAAM,mBAAmB,CAAC;CAGxE,MAAM,SAAkC,CAAC;CAEzC,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,GAAG,GAAG;EAC9C,MAAM,cAAc,CAAC,GAAG,MAAM,GAAG;EAEjC,IAAI,QAAQ,cACV;EAGF,IAAI,QAAQ,eAAe,UAAU,OACnC;EAGF,KAAK,QAAQ,cAAc,QAAQ,eAAe,UAAU,YAC1D;EAGF,IAAI,eAAe,KAAK,GAAG;GACzB,MAAM,6BAA6B,aAAa,aAAa,CAAC,UAAU,YAAY,CAAC;GACrF,MAAM,wBAAwB,mBAAmB,aAAa,6BAA6B;GAC3F,MAAM,yBAAyB,mBAC7B,aACA,+BACF;GACA,MAAM,8BAA8B,aAAa,aAAa,CAAC,WAAW,YAAY,CAAC;GACvF,MAAM,yBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,EAAE,GAAG,CAAC,WAAW,YAAY,CAAC;GAC1E,MAAM,kBAAkB,aAAa,aAAa,CAAC,OAAO,CAAC;GAC3D,MAAM,2BAA2B,aAAa,aAAa,CAAC,gBAAgB,CAAC;GAC7E,MAAM,yBAAyB,aAAa,aAAa,CAAC,cAAc,CAAC;GACzE,MAAM,iBAAiB,aAAa,aAAa,CAAC,MAAM,CAAC;GACzD,MAAM,8BAA8B,aAAa,aAAa;IAC5D;IACA;IACA;GACF,CAAC;GACD,MAAM,uBAAuB,YAAY,WAAW,KAAK,YAAY,OAAO;GAC5E,MAAM,mBAAmB,mBAAmB,aAAa,8BAA8B;GACvF,MAAM,iBAAiB,mBAAmB,aAAa,4BAA4B;GAEnF,MAAM,kBAAkB,QAAQ;GAEhC,MAAM,oBAAoB,sBAAsB,WAAW,KAAK;GAEhE,IACE,CAAC,8BACD,CAAC,yBACD,CAAC,0BACD,CAAC,+BACD,CAAC,0BACD,CAAC,mBACD,CAAC,4BACD,CAAC,0BACD,CAAC,kBACD,CAAC,+BACD,CAAC,wBACD,CAAC,oBACD,CAAC,kBACD,CAAC,mBACD,CAAC,mBAED;EAEJ;EAEA,OAAO,OAAO,aAAa,OAAO,aAAa,mBAAmB;CACpE;CAEA,OAAO;AACT;AAEA,SAAS,eAAe,KAAuB;CAC7C,IAAI,QAAQ,QAAQ,OAAO,QAAQ,UACjC,OAAO;CAGT,IAAI,MAAM,QAAQ,GAAG,GACnB,OAAO,IAAI,KAAK,SAAS,eAAe,IAAI,CAAC;CAG/C,MAAM,SAAkC,CAAC;CACzC,MAAM,OAAO,OAAO,KAAK,GAAG,EAAE,KAAK;CACnC,KAAK,MAAM,OAAO,MAChB,OAAO,OAAO,eAAgB,IAAgC,IAAI;CAGpE,OAAO;AACT;AAEA,SAAgB,cAAc,KAAuD;CACnF,MAAM,UAAmC,CAAC;CAC1C,MAAM,YAAY,IAAI,IAAI,OAAO,KAAK,GAAG,CAAC;CAE1C,KAAK,MAAM,OAAO,iBAChB,IAAI,UAAU,IAAI,GAAG,GAAG;EACtB,QAAQ,OAAO,IAAI;EACnB,UAAU,OAAO,GAAG;CACtB;CAGF,KAAK,MAAM,OAAO,MAAM,KAAK,SAAS,EAAE,KAAK,GAC3C,QAAQ,OAAO,IAAI;CAGrB,OAAO;AACT;;;;;;AAqCA,SAAgB,6BACd,UACA,SACyB;CACzB,MAAM,aAAa,QAAQ,kBAAkB,QAAQ;CAcrD,MAAM,sBAAsB,aAAa;EAZvC,GAAG,UAAU,iBAAiB,QAAQ,aAAa;EACnD,cAAc,WAAW;EACzB,QAAQ,WAAW;EACnB,aAAa,WAAW;EACxB,OAAO,WAAW;EAClB,QAAQ,WAAW;EACnB,SAAS,WAAW;EACpB,GAAG,UAAU,aAAa,WAAW,YAAY;EACjD,gBAAgB,WAAW;EAC3B,cAAc,WAAW;EACzB,MAAM,WAAW;CAE+B,GAAG,CAAC,GAAG,QAAQ,mBAAmB;CAQpF,OAAO,cADgB,eAHG,QAAQ,cAC9B;EAAE,GAAG;EAAqB,SAAS,QAAQ,YAAY,oBAAoB,UAAU;CAAE,IACvF,mBAE8B,CAAC;AACrC;AAEA,SAAgB,qBACd,UACA,SACQ;CACR,OAAO,KAAK,UAAU,6BAA6B,UAAU,OAAO,GAAG,MAAM,CAAC;AAChF;;;ACxQA,MAAM,iBAAiB;AAEvB,SAAS,OAAO,SAAyB;CACvC,MAAM,OAAO,WAAW,QAAQ;CAChC,KAAK,OAAO,OAAO;CACnB,OAAO,UAAU,KAAK,OAAO,KAAK;AACpC;AAOA,SAAS,aAAa,SAAsC;CAC1D,MAAM,EAAE,qBAAqB,aAAa,GAAG,gBAAgB;CAoB7D,OAAO,qBAAqB;EAZ1B,cAAc,YAAY;EAC1B,QAAQ,YAAY;EACpB,OAAO,CAAC;EACR,QAAQ,EAAE,YAAY,CAAC,EAAE;EACzB,SAAS,YAAY,cAAc,CAAC;EACpC,WAAW,YAAY;EACvB,gBAAgB,CAAC;EACjB,cAAc,YAAY,mBAAmB,CAAC;EAC9C,MAAM,CAAC;EACP,aAAa;EACb,GAAG;CAE8B,GAAG;EACpC,eAAe;EACf,oBAAoB,MAAM,KAAK,MAAM,KAAK,UAAU,CAAC,CAAC;EACtD,GAAG,UAAU,uBAAuB,mBAAmB;EACvD,GAAG,UAAU,eAAe,WAAW;CACzC,CAAC;AACH;AAUA,SAAgB,mBAAmB,MAAuD;CACxF,OAAO,OAAO,aAAa,IAAI,CAAC;AAClC;AAEA,SAAgB,qBAAqB,MAIP;CAC5B,OAAO,OAAO,aAAa,IAAI,CAAC;AAClC;AAEA,SAAgB,mBAAmB,MAIP;CAC1B,OAAO,OAAO,aAAa,IAAI,CAAC;AAClC"}
+{"version":3,"file":"hashing.mjs","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"sourcesContent":["import { isArrayEqual } from '@prisma-next/utils/array-equal';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { JsonObject } from '@prisma-next/utils/json';\nimport { matchesPathPattern, type PathPattern } from './canonicalization-path-match';\nimport type { Contract } from './contract-types';\n\n/**\n * Per-target contract serializer hook. The framework canonicalizer uses\n * this to convert an in-memory contract (which may carry class-instance\n * IR nodes whose runtime-only fields must not appear in the on-disk\n * envelope) into a plain JsonObject before applying the family-agnostic\n * canonical-key ordering / default-omission / sort steps. Targets whose\n * contract is JSON-clean by construction return the contract unchanged.\n */\nexport type SerializeContract = (contract: Contract) => JsonObject;\n\n/**\n * Family-contributed predicate for the default-omission walk. Called when\n * a value at `path` is a default (empty object/array or `false`); if this\n * returns `true` the value is kept rather than stripped.\n *\n * The framework only calls the predicate inside the `isDefaultValue` branch,\n * so there is no need to guard against non-default values.\n */\nexport type PreserveEmptyPredicate = (path: readonly string[]) => boolean;\n\n/**\n * Family-contributed storage sort. Applied to the serialized `storage`\n * subtree after the default-omission walk; the result replaces the\n * `storage` field before the final key sort. Use to establish a\n * deterministic order for storage arrays (indexes, uniques) that the\n * family-agnostic `sortObjectKeys` pass cannot handle.\n */\nexport type StorageSort = (storage: unknown) => unknown;\n\nconst DOMAIN_NAMESPACE_SLOT_PATTERN = ['domain', 'namespaces', '*'] as const satisfies PathPattern;\nconst DOMAIN_MODELS_CONTAINER_PATTERN = [\n  'domain',\n  'namespaces',\n  '*',\n  'models',\n] as const satisfies PathPattern;\nconst DOMAIN_MODEL_RELATIONS_PATTERN = [\n  'domain',\n  'namespaces',\n  '*',\n  'models',\n  '*',\n  'relations',\n] as const satisfies PathPattern;\nconst DOMAIN_MODEL_STORAGE_PATTERN = [\n  'domain',\n  'namespaces',\n  '*',\n  'models',\n  '*',\n  'storage',\n] as const satisfies PathPattern;\n\nconst TOP_LEVEL_ORDER = [\n  'schemaVersion',\n  'canonicalVersion',\n  'targetFamily',\n  'target',\n  'profileHash',\n  'roots',\n  'domain',\n  'storage',\n  'execution',\n  'capabilities',\n  'extensionPacks',\n  'defaultControlPolicy',\n  'meta',\n] as const;\n\nfunction isDefaultValue(value: unknown): boolean {\n  if (value === false) return true;\n  if (value === null) return false;\n  if (Array.isArray(value) && value.length === 0) return true;\n  if (typeof value === 'object' && value !== null) {\n    const keys = Object.keys(value);\n    return keys.length === 0;\n  }\n  return false;\n}\n\nfunction omitDefaults(\n  obj: unknown,\n  path: readonly string[],\n  shouldPreserveEmpty: PreserveEmptyPredicate | undefined,\n): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => omitDefaults(item, path, shouldPreserveEmpty));\n  }\n\n  const result: Record<string, unknown> = {};\n\n  for (const [key, value] of Object.entries(obj)) {\n    const currentPath = [...path, key];\n\n    if (key === '_generated') {\n      continue;\n    }\n\n    if (key === 'generated' && value === false) {\n      continue;\n    }\n\n    if ((key === 'onDelete' || key === 'onUpdate') && value === 'noAction') {\n      continue;\n    }\n\n    if (isDefaultValue(value)) {\n      const isRequiredDomainNamespaces = isArrayEqual(currentPath, ['domain', 'namespaces']);\n      const isDomainNamespaceSlot = matchesPathPattern(currentPath, DOMAIN_NAMESPACE_SLOT_PATTERN);\n      const isRequiredDomainModels = matchesPathPattern(\n        currentPath,\n        DOMAIN_MODELS_CONTAINER_PATTERN,\n      );\n      const isRequiredStorageNamespaces = isArrayEqual(currentPath, ['storage', 'namespaces']);\n      const isStorageNamespaceSlot =\n        currentPath.length === 3 &&\n        isArrayEqual([currentPath[0], currentPath[1]], ['storage', 'namespaces']);\n      const isRequiredRoots = isArrayEqual(currentPath, ['roots']);\n      const isRequiredExtensionPacks = isArrayEqual(currentPath, ['extensionPacks']);\n      const isRequiredCapabilities = isArrayEqual(currentPath, ['capabilities']);\n      const isRequiredMeta = isArrayEqual(currentPath, ['meta']);\n      const isRequiredExecutionDefaults = isArrayEqual(currentPath, [\n        'execution',\n        'mutations',\n        'defaults',\n      ]);\n      const isExtensionNamespace = currentPath.length === 2 && currentPath[0] === 'extensionPacks';\n      const isModelRelations = matchesPathPattern(currentPath, DOMAIN_MODEL_RELATIONS_PATTERN);\n      const isModelStorage = matchesPathPattern(currentPath, DOMAIN_MODEL_STORAGE_PATTERN);\n\n      const isNullableField = key === 'nullable';\n\n      const isFamilyPreserved = shouldPreserveEmpty?.(currentPath) ?? false;\n\n      if (\n        !isRequiredDomainNamespaces &&\n        !isDomainNamespaceSlot &&\n        !isRequiredDomainModels &&\n        !isRequiredStorageNamespaces &&\n        !isStorageNamespaceSlot &&\n        !isRequiredRoots &&\n        !isRequiredExtensionPacks &&\n        !isRequiredCapabilities &&\n        !isRequiredMeta &&\n        !isRequiredExecutionDefaults &&\n        !isExtensionNamespace &&\n        !isModelRelations &&\n        !isModelStorage &&\n        !isNullableField &&\n        !isFamilyPreserved\n      ) {\n        continue;\n      }\n    }\n\n    result[key] = omitDefaults(value, currentPath, shouldPreserveEmpty);\n  }\n\n  return result;\n}\n\nfunction sortObjectKeys(obj: unknown): unknown {\n  if (obj === null || typeof obj !== 'object') {\n    return obj;\n  }\n\n  if (Array.isArray(obj)) {\n    return obj.map((item) => sortObjectKeys(item));\n  }\n\n  const sorted: Record<string, unknown> = {};\n  const keys = Object.keys(obj).sort();\n  for (const key of keys) {\n    sorted[key] = sortObjectKeys((obj as Record<string, unknown>)[key]);\n  }\n\n  return sorted;\n}\n\nexport function orderTopLevel(obj: Record<string, unknown>): Record<string, unknown> {\n  const ordered: Record<string, unknown> = {};\n  const remaining = new Set(Object.keys(obj));\n\n  for (const key of TOP_LEVEL_ORDER) {\n    if (remaining.has(key)) {\n      ordered[key] = obj[key];\n      remaining.delete(key);\n    }\n  }\n\n  for (const key of Array.from(remaining).sort()) {\n    ordered[key] = obj[key];\n  }\n\n  return ordered;\n}\n\nexport interface CanonicalizeContractOptions {\n  readonly schemaVersion?: string;\n  /**\n   * Per-target hook that converts the in-memory contract (which may\n   * carry class-instance IR nodes) into a plain JsonObject before the\n   * family-agnostic canonicalization steps run.\n   *\n   * Routing through the hook is what lets each target decide which\n   * fields appear in the on-disk envelope; runtime-only class API\n   * fields stay invisible to the canonicalization walk by virtue of\n   * the per-target serializer not putting them in the JSON shape.\n   */\n  readonly serializeContract: SerializeContract;\n  /**\n   * Family-contributed preserve-empty predicate. When the walk encounters a\n   * default value (empty object/array or `false`) at `path`, calling this\n   * with the full path allows the family to veto the omission. If absent,\n   * only the framework's family-agnostic required-slot rules apply.\n   */\n  readonly shouldPreserveEmpty?: PreserveEmptyPredicate;\n  /**\n   * Family-contributed storage sort. Applied to the serialized `storage`\n   * subtree after the default-omission walk, before the final key sort.\n   * SQL family uses this to impose a deterministic order on `indexes` and\n   * `uniques` arrays within each namespace table. Families that require no\n   * special storage ordering omit this hook.\n   */\n  readonly sortStorage?: StorageSort;\n}\n\n/**\n * Object-form variant of {@link canonicalizeContract}. Exported because the\n * emitter writes the canonical contract through a separate JSON-stringify\n * pass and consumes the structured object directly.\n */\nexport function canonicalizeContractToObject(\n  contract: Contract,\n  options: CanonicalizeContractOptions,\n): Record<string, unknown> {\n  const serialized = options.serializeContract(contract);\n  const normalized: Record<string, unknown> = {\n    ...ifDefined('schemaVersion', options.schemaVersion),\n    targetFamily: serialized['targetFamily'],\n    target: serialized['target'],\n    profileHash: serialized['profileHash'],\n    roots: serialized['roots'],\n    domain: serialized['domain'],\n    storage: serialized['storage'],\n    ...ifDefined('execution', serialized['execution']),\n    extensionPacks: serialized['extensionPacks'],\n    capabilities: serialized['capabilities'],\n    ...ifDefined('defaultControlPolicy', serialized['defaultControlPolicy']),\n    meta: serialized['meta'],\n  };\n  const withDefaultsOmitted = omitDefaults(normalized, [], options.shouldPreserveEmpty) as Record<\n    string,\n    unknown\n  >;\n  const withSortedStorage = options.sortStorage\n    ? { ...withDefaultsOmitted, storage: options.sortStorage(withDefaultsOmitted['storage']) }\n    : withDefaultsOmitted;\n  const withSortedKeys = sortObjectKeys(withSortedStorage) as Record<string, unknown>;\n  return orderTopLevel(withSortedKeys);\n}\n\nexport function canonicalizeContract(\n  contract: Contract,\n  options: CanonicalizeContractOptions,\n): string {\n  return JSON.stringify(canonicalizeContractToObject(contract, options), null, 2);\n}\n","import { createHash } from 'node:crypto';\nimport { blindCast, castAs } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { JsonObject } from '@prisma-next/utils/json';\nimport {\n  canonicalizeContract,\n  type PreserveEmptyPredicate,\n  type StorageSort,\n} from './canonicalization';\nimport type { Contract } from './contract-types';\nimport type { ExecutionHashBase, ProfileHashBase, StorageHashBase } from './types';\n\nconst SCHEMA_VERSION = '1';\n\nfunction isPlainRecord(value: unknown): value is Record<string, unknown> {\n  return value !== null && typeof value === 'object' && !Array.isArray(value);\n}\n\n// Storage hashes fingerprint table/column layout, not which target pack emitted a\n// namespace. Persisted contract.json carries namespace `kind` discriminators;\n// authoring-time hashes never included them (IR `kind` is non-enumerable).\nfunction omitNamespaceKindsForHash(storage: unknown): unknown {\n  if (!isPlainRecord(storage)) {\n    return storage;\n  }\n  const namespaces = storage['namespaces'];\n  if (!isPlainRecord(namespaces)) {\n    return storage;\n  }\n  const stripped: Record<string, unknown> = {};\n  for (const [nsId, ns] of Object.entries(namespaces)) {\n    if (isPlainRecord(ns)) {\n      const { kind: _kind, ...rest } = ns;\n      stripped[nsId] = rest;\n    } else {\n      stripped[nsId] = ns;\n    }\n  }\n  return { ...storage, namespaces: stripped };\n}\n\nfunction sha256(content: string): string {\n  const hash = createHash('sha256');\n  hash.update(content);\n  return `sha256:${hash.digest('hex')}`;\n}\n\ntype HashContractSection = Record<string, unknown> & {\n  readonly shouldPreserveEmpty?: PreserveEmptyPredicate;\n  readonly sortStorage?: StorageSort;\n};\n\nfunction hashContract(section: HashContractSection): string {\n  const { shouldPreserveEmpty, sortStorage, ...sectionData } = section;\n  const storageForHash = omitNamespaceKindsForHash(sectionData['storage'] ?? {});\n  const contract = blindCast<Contract, 'hash-only partial contract for canonicalizeContract'>({\n    targetFamily: sectionData['targetFamily'],\n    target: sectionData['target'],\n    roots: {},\n    domain: { namespaces: {} },\n    execution: sectionData['execution'],\n    extensionPacks: {},\n    capabilities: sectionData['capabilities'] ?? {},\n    meta: {},\n    profileHash: '',\n    ...sectionData,\n    storage: storageForHash,\n  });\n  return canonicalizeContract(contract, {\n    schemaVersion: SCHEMA_VERSION,\n    serializeContract: (c) => castAs<JsonObject>(JSON.parse(JSON.stringify(c))),\n    ...ifDefined('shouldPreserveEmpty', shouldPreserveEmpty),\n    ...ifDefined('sortStorage', sortStorage),\n  });\n}\n\nexport type ComputeStorageHashArgs = {\n  target: string;\n  targetFamily: string;\n  storage: Record<string, unknown>;\n  readonly shouldPreserveEmpty?: PreserveEmptyPredicate;\n  readonly sortStorage?: StorageSort;\n};\n\nexport function computeStorageHash(args: ComputeStorageHashArgs): StorageHashBase<string> {\n  return blindCast<StorageHashBase<string>, 'sha256 digest of canonicalized storage'>(\n    sha256(hashContract(args)),\n  );\n}\n\nexport function computeExecutionHash(args: {\n  target: string;\n  targetFamily: string;\n  execution: Record<string, unknown>;\n}): ExecutionHashBase<string> {\n  return blindCast<ExecutionHashBase<string>, 'sha256 digest of canonicalized execution'>(\n    sha256(hashContract(args)),\n  );\n}\n\nexport function computeProfileHash(args: {\n  target: string;\n  targetFamily: string;\n  capabilities: Record<string, Record<string, boolean>>;\n}): ProfileHashBase<string> {\n  return blindCast<ProfileHashBase<string>, 'sha256 digest of canonicalized profile'>(\n    sha256(hashContract(args)),\n  );\n}\n"],"mappings":";;;;;;AAmCA,MAAM,gCAAgC;CAAC;CAAU;CAAc;AAAG;AAClE,MAAM,kCAAkC;CACtC;CACA;CACA;CACA;AACF;AACA,MAAM,iCAAiC;CACrC;CACA;CACA;CACA;CACA;CACA;AACF;AACA,MAAM,+BAA+B;CACnC;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,MAAM,kBAAkB;CACtB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,SAAS,eAAe,OAAyB;CAC/C,IAAI,UAAU,OAAO,OAAO;CAC5B,IAAI,UAAU,MAAM,OAAO;CAC3B,IAAI,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAAG,OAAO;CACvD,IAAI,OAAO,UAAU,YAAY,UAAU,MAEzC,OADa,OAAO,KAAK,KACf,EAAE,WAAW;CAEzB,OAAO;AACT;AAEA,SAAS,aACP,KACA,MACA,qBACS;CACT,IAAI,QAAQ,QAAQ,OAAO,QAAQ,UACjC,OAAO;CAGT,IAAI,MAAM,QAAQ,GAAG,GACnB,OAAO,IAAI,KAAK,SAAS,aAAa,MAAM,MAAM,mBAAmB,CAAC;CAGxE,MAAM,SAAkC,CAAC;CAEzC,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,GAAG,GAAG;EAC9C,MAAM,cAAc,CAAC,GAAG,MAAM,GAAG;EAEjC,IAAI,QAAQ,cACV;EAGF,IAAI,QAAQ,eAAe,UAAU,OACnC;EAGF,KAAK,QAAQ,cAAc,QAAQ,eAAe,UAAU,YAC1D;EAGF,IAAI,eAAe,KAAK,GAAG;GACzB,MAAM,6BAA6B,aAAa,aAAa,CAAC,UAAU,YAAY,CAAC;GACrF,MAAM,wBAAwB,mBAAmB,aAAa,6BAA6B;GAC3F,MAAM,yBAAyB,mBAC7B,aACA,+BACF;GACA,MAAM,8BAA8B,aAAa,aAAa,CAAC,WAAW,YAAY,CAAC;GACvF,MAAM,yBACJ,YAAY,WAAW,KACvB,aAAa,CAAC,YAAY,IAAI,YAAY,EAAE,GAAG,CAAC,WAAW,YAAY,CAAC;GAC1E,MAAM,kBAAkB,aAAa,aAAa,CAAC,OAAO,CAAC;GAC3D,MAAM,2BAA2B,aAAa,aAAa,CAAC,gBAAgB,CAAC;GAC7E,MAAM,yBAAyB,aAAa,aAAa,CAAC,cAAc,CAAC;GACzE,MAAM,iBAAiB,aAAa,aAAa,CAAC,MAAM,CAAC;GACzD,MAAM,8BAA8B,aAAa,aAAa;IAC5D;IACA;IACA;GACF,CAAC;GACD,MAAM,uBAAuB,YAAY,WAAW,KAAK,YAAY,OAAO;GAC5E,MAAM,mBAAmB,mBAAmB,aAAa,8BAA8B;GACvF,MAAM,iBAAiB,mBAAmB,aAAa,4BAA4B;GAEnF,MAAM,kBAAkB,QAAQ;GAEhC,MAAM,oBAAoB,sBAAsB,WAAW,KAAK;GAEhE,IACE,CAAC,8BACD,CAAC,yBACD,CAAC,0BACD,CAAC,+BACD,CAAC,0BACD,CAAC,mBACD,CAAC,4BACD,CAAC,0BACD,CAAC,kBACD,CAAC,+BACD,CAAC,wBACD,CAAC,oBACD,CAAC,kBACD,CAAC,mBACD,CAAC,mBAED;EAEJ;EAEA,OAAO,OAAO,aAAa,OAAO,aAAa,mBAAmB;CACpE;CAEA,OAAO;AACT;AAEA,SAAS,eAAe,KAAuB;CAC7C,IAAI,QAAQ,QAAQ,OAAO,QAAQ,UACjC,OAAO;CAGT,IAAI,MAAM,QAAQ,GAAG,GACnB,OAAO,IAAI,KAAK,SAAS,eAAe,IAAI,CAAC;CAG/C,MAAM,SAAkC,CAAC;CACzC,MAAM,OAAO,OAAO,KAAK,GAAG,EAAE,KAAK;CACnC,KAAK,MAAM,OAAO,MAChB,OAAO,OAAO,eAAgB,IAAgC,IAAI;CAGpE,OAAO;AACT;AAEA,SAAgB,cAAc,KAAuD;CACnF,MAAM,UAAmC,CAAC;CAC1C,MAAM,YAAY,IAAI,IAAI,OAAO,KAAK,GAAG,CAAC;CAE1C,KAAK,MAAM,OAAO,iBAChB,IAAI,UAAU,IAAI,GAAG,GAAG;EACtB,QAAQ,OAAO,IAAI;EACnB,UAAU,OAAO,GAAG;CACtB;CAGF,KAAK,MAAM,OAAO,MAAM,KAAK,SAAS,EAAE,KAAK,GAC3C,QAAQ,OAAO,IAAI;CAGrB,OAAO;AACT;;;;;;AAqCA,SAAgB,6BACd,UACA,SACyB;CACzB,MAAM,aAAa,QAAQ,kBAAkB,QAAQ;CAerD,MAAM,sBAAsB,aAAa;EAbvC,GAAG,UAAU,iBAAiB,QAAQ,aAAa;EACnD,cAAc,WAAW;EACzB,QAAQ,WAAW;EACnB,aAAa,WAAW;EACxB,OAAO,WAAW;EAClB,QAAQ,WAAW;EACnB,SAAS,WAAW;EACpB,GAAG,UAAU,aAAa,WAAW,YAAY;EACjD,gBAAgB,WAAW;EAC3B,cAAc,WAAW;EACzB,GAAG,UAAU,wBAAwB,WAAW,uBAAuB;EACvE,MAAM,WAAW;CAE+B,GAAG,CAAC,GAAG,QAAQ,mBAAmB;CAQpF,OAAO,cADgB,eAHG,QAAQ,cAC9B;EAAE,GAAG;EAAqB,SAAS,QAAQ,YAAY,oBAAoB,UAAU;CAAE,IACvF,mBAE8B,CAAC;AACrC;AAEA,SAAgB,qBACd,UACA,SACQ;CACR,OAAO,KAAK,UAAU,6BAA6B,UAAU,OAAO,GAAG,MAAM,CAAC;AAChF;;;ACzQA,MAAM,iBAAiB;AAEvB,SAAS,cAAc,OAAkD;CACvE,OAAO,UAAU,QAAQ,OAAO,UAAU,YAAY,CAAC,MAAM,QAAQ,KAAK;AAC5E;AAKA,SAAS,0BAA0B,SAA2B;CAC5D,IAAI,CAAC,cAAc,OAAO,GACxB,OAAO;CAET,MAAM,aAAa,QAAQ;CAC3B,IAAI,CAAC,cAAc,UAAU,GAC3B,OAAO;CAET,MAAM,WAAoC,CAAC;CAC3C,KAAK,MAAM,CAAC,MAAM,OAAO,OAAO,QAAQ,UAAU,GAChD,IAAI,cAAc,EAAE,GAAG;EACrB,MAAM,EAAE,MAAM,OAAO,GAAG,SAAS;EACjC,SAAS,QAAQ;CACnB,OACE,SAAS,QAAQ;CAGrB,OAAO;EAAE,GAAG;EAAS,YAAY;CAAS;AAC5C;AAEA,SAAS,OAAO,SAAyB;CACvC,MAAM,OAAO,WAAW,QAAQ;CAChC,KAAK,OAAO,OAAO;CACnB,OAAO,UAAU,KAAK,OAAO,KAAK;AACpC;AAOA,SAAS,aAAa,SAAsC;CAC1D,MAAM,EAAE,qBAAqB,aAAa,GAAG,gBAAgB;CAC7D,MAAM,iBAAiB,0BAA0B,YAAY,cAAc,CAAC,CAAC;CAc7E,OAAO,qBAbU,UAA2E;EAC1F,cAAc,YAAY;EAC1B,QAAQ,YAAY;EACpB,OAAO,CAAC;EACR,QAAQ,EAAE,YAAY,CAAC,EAAE;EACzB,WAAW,YAAY;EACvB,gBAAgB,CAAC;EACjB,cAAc,YAAY,mBAAmB,CAAC;EAC9C,MAAM,CAAC;EACP,aAAa;EACb,GAAG;EACH,SAAS;CACX,CACmC,GAAG;EACpC,eAAe;EACf,oBAAoB,MAAM,OAAmB,KAAK,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC;EAC1E,GAAG,UAAU,uBAAuB,mBAAmB;EACvD,GAAG,UAAU,eAAe,WAAW;CACzC,CAAC;AACH;AAUA,SAAgB,mBAAmB,MAAuD;CACxF,OAAO,UACL,OAAO,aAAa,IAAI,CAAC,CAC3B;AACF;AAEA,SAAgB,qBAAqB,MAIP;CAC5B,OAAO,UACL,OAAO,aAAa,IAAI,CAAC,CAC3B;AACF;AAEA,SAAgB,mBAAmB,MAIP;CAC1B,OAAO,UACL,OAAO,aAAa,IAAI,CAAC,CAC3B;AACF"}

package/dist/{namespace-id-CVpkSFUK.mjs → namespace-id-BSCer2Vd.mjs}

@@ -6,4 +6,4 @@ function asNamespaceId(value) {
 //#endregion
 export { asNamespaceId as t };
 
-//# sourceMappingURL=namespace-id-CVpkSFUK.mjs.map
+//# sourceMappingURL=namespace-id-BSCer2Vd.mjs.map

package/dist/{namespace-id-CVpkSFUK.mjs.map → namespace-id-BSCer2Vd.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"namespace-id-CVpkSFUK.mjs","names":[],"sources":["../src/namespace-id.ts"],"sourcesContent":["import { blindCast } from '@prisma-next/utils/casts';\n\nexport type NamespaceId = string & { readonly __brand: 'NamespaceId' };\n\nexport function asNamespaceId(value: string): NamespaceId {\n  return blindCast<\n    NamespaceId,\n    'NamespaceId is a compile-time-only brand on string; this factory is the sole assertion site'\n  >(value);\n}\n"],"mappings":";;AAIA,SAAgB,cAAc,OAA4B;CACxD,OAAO,UAGL,KAAK;AACT"}
+{"version":3,"file":"namespace-id-BSCer2Vd.mjs","names":[],"sources":["../src/namespace-id.ts"],"sourcesContent":["import { blindCast } from '@prisma-next/utils/casts';\n\nexport type NamespaceId = string & { readonly __brand: 'NamespaceId' };\n\nexport function asNamespaceId(value: string): NamespaceId {\n  return blindCast<\n    NamespaceId,\n    'NamespaceId is a compile-time-only brand on string; this factory is the sole assertion site'\n  >(value);\n}\n"],"mappings":";;AAIA,SAAgB,cAAc,OAA4B;CACxD,OAAO,UAGL,KAAK;AACT"}

package/dist/resolve-domain-model-DMXbLLjV.d.mts

@@ -0,0 +1,17 @@
+import { l as ContractModelBase, t as ApplicationDomain } from "./domain-envelope-BFYbgufo.mjs";
+
+//#region src/resolve-domain-model.d.ts
+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).
+ */
+declare function resolveDomainModel(domain: ApplicationDomain, modelName: string): ResolvedDomainModel | undefined;
+//#endregion
+export { resolveDomainModel as n, ResolvedDomainModel as t };
+//# sourceMappingURL=resolve-domain-model-DMXbLLjV.d.mts.map

package/dist/resolve-domain-model-DMXbLLjV.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-domain-model-DMXbLLjV.d.mts","names":[],"sources":["../src/resolve-domain-model.ts"],"mappings":";;;UAGiB,mBAAA;EAAA,SACN,WAAA;EAAA,SACA,KAAA,EAAO,iBAAiB;AAAA;;;;;;AAAA;iBASnB,kBAAA,CACd,MAAA,EAAQ,iBAAA,EACR,SAAA,WACC,mBAAmB"}

package/dist/resolve-domain-model-R4txseVc.mjs

@@ -0,0 +1,20 @@
+//#region src/resolve-domain-model.ts
+/**
+* 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).
+*/
+function resolveDomainModel(domain, modelName) {
+	for (const namespaceId of Object.keys(domain.namespaces)) {
+		const model = domain.namespaces[namespaceId]?.models[modelName];
+		if (model !== void 0) return {
+			namespaceId,
+			model
+		};
+	}
+}
+//#endregion
+export { resolveDomainModel as t };
+
+//# sourceMappingURL=resolve-domain-model-R4txseVc.mjs.map

package/dist/resolve-domain-model-R4txseVc.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-domain-model-R4txseVc.mjs","names":[],"sources":["../src/resolve-domain-model.ts"],"sourcesContent":["import type { ApplicationDomain } from './domain-envelope';\nimport type { ContractModelBase } from './domain-types';\n\nexport interface ResolvedDomainModel {\n  readonly namespaceId: string;\n  readonly model: ContractModelBase;\n}\n\n/**\n * Resolve a bare domain model name to its namespace coordinate and model IR by\n * scanning the contract's namespaces. For the single-namespace contracts in\n * scope the scan is exact; cross-namespace bare-name collisions are selected\n * explicitly (TML-2550).\n */\nexport function resolveDomainModel(\n  domain: ApplicationDomain,\n  modelName: string,\n): ResolvedDomainModel | undefined {\n  for (const namespaceId of Object.keys(domain.namespaces)) {\n    const model = domain.namespaces[namespaceId]?.models[modelName];\n    if (model !== undefined) {\n      return { namespaceId, model };\n    }\n  }\n\n  return undefined;\n}\n"],"mappings":";;;;;;;AAcA,SAAgB,mBACd,QACA,WACiC;CACjC,KAAK,MAAM,eAAe,OAAO,KAAK,OAAO,UAAU,GAAG;EACxD,MAAM,QAAQ,OAAO,WAAW,cAAc,OAAO;EACrD,IAAI,UAAU,KAAA,GACZ,OAAO;GAAE;GAAa;EAAM;CAEhC;AAGF"}

package/dist/resolve-domain-model.d.mts

@@ -0,0 +1,2 @@
+import { n as resolveDomainModel, t as ResolvedDomainModel } from "./resolve-domain-model-DMXbLLjV.mjs";
+export { type ResolvedDomainModel, resolveDomainModel };

package/dist/resolve-domain-model.mjs

@@ -0,0 +1,2 @@
+import { t as resolveDomainModel } from "./resolve-domain-model-R4txseVc.mjs";
+export { resolveDomainModel };