@prisma-next/contract 0.12.0-dev.7 → 0.12.0-dev.71

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

@@ -0,0 +1,7 @@
+import { L as ControlPolicy, t as Contract } from "./contract-types-DTijd98n.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-DGjO7GM3.d.mts}

@@ -1,4 +1,4 @@
-import { t as Contract } from "./contract-types-9BbapbkL.mjs";
+import { t as Contract } from "./contract-types-DTijd98n.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-DGjO7GM3.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"canonicalization-DGjO7GM3.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;AAqL3C;;;;KArLY,WAAA,IAAe,OAAgB;AAAA,UAqL1B,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-CNgHuwM_.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-CNgHuwM_.mjs.map

package/dist/{canonicalization-path-match-b2jFuEso.mjs.map → canonicalization-path-match-CNgHuwM_.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-CNgHuwM_.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-DTijd98n.d.mts}

@@ -1,4 +1,4 @@
-import { T as CrossReference, _ as ContractValueObject, p as ContractModelBase, t as ApplicationDomain } from "./domain-envelope-Cv5OTm8D.mjs";
+import { C as CrossReference, m as ContractValueObject, t as ApplicationDomain, u as ContractModelBase } from "./domain-envelope-o7r176OX.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
 /**
@@ -64,11 +64,13 @@ declare function profileHash<const T extends string>(value: T): ProfileHashBase<
 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.
  */
 interface StorageNamespace {
   readonly id: string;
+  readonly entries: Readonly<Record<string, StorageEntitySlot>>;
 }
 /**
  * Base type for family-specific storage blocks.
@@ -194,6 +196,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 +256,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-DTijd98n.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract-types-DTijd98n.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,yBAAsC,KAAA,EAAO,CAAA,GAAI,iBAAA,CAAkB,CAAA;AAAA,iBAInE,QAAA,yBAAiC,KAAA,EAAO,CAAA,GAAI,eAAA,CAAgB,CAAA;;AAhCb;AAQ/D;;;KAiCY,eAAA,yBAAwC,KAAA,GAAQ,KAAK;AAAA,iBAEjD,WAAA,yBAAoC,KAAA,EAAO,CAAA,GAAI,eAAA,CAAgB,CAAA;;;;;;KASnE,iBAAA,GAAoB,QAAQ,CAAC,MAAA;;;;;AA1ClB;AASvB;UAyCiB,gBAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,iBAAA;AAAA;;;;AA3CqB;AAOjE;;;;;UAgDiB,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;;;;;;;;;iBAU7D,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;AA5JX;;;;AAAA,UAmKiB,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;;;;;AD1Pc;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-ClZaKqMW.mjs → contract-validation-error-BFA66rwU.mjs}

@@ -17,4 +17,4 @@ var DomainNamespaceResolutionError = class extends Error {
 //#endregion
 export { DomainNamespaceResolutionError as n, ContractValidationError as t };
 
-//# sourceMappingURL=contract-validation-error-ClZaKqMW.mjs.map
+//# sourceMappingURL=contract-validation-error-BFA66rwU.mjs.map

package/dist/{contract-validation-error-ClZaKqMW.mjs.map → contract-validation-error-BFA66rwU.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"contract-validation-error-ClZaKqMW.mjs","names":[],"sources":["../src/contract-validation-error.ts"],"sourcesContent":["export type ContractValidationPhase = 'structural' | 'domain' | 'storage';\n\nexport class ContractValidationError extends Error {\n  readonly code = 'CONTRACT.VALIDATION_FAILED';\n  readonly phase: ContractValidationPhase;\n\n  constructor(message: string, phase: ContractValidationPhase) {\n    super(message);\n    this.name = 'ContractValidationError';\n    this.phase = phase;\n  }\n}\n\nexport class DomainNamespaceResolutionError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'DomainNamespaceResolutionError';\n  }\n}\n"],"mappings":";AAEA,IAAa,0BAAb,cAA6C,MAAM;CACjD,OAAgB;CAChB;CAEA,YAAY,SAAiB,OAAgC;EAC3D,MAAM,OAAO;EACb,KAAK,OAAO;EACZ,KAAK,QAAQ;CACf;AACF;AAEA,IAAa,iCAAb,cAAoD,MAAM;CACxD,YAAY,SAAiB;EAC3B,MAAM,OAAO;EACb,KAAK,OAAO;CACd;AACF"}
+{"version":3,"file":"contract-validation-error-BFA66rwU.mjs","names":[],"sources":["../src/contract-validation-error.ts"],"sourcesContent":["export type ContractValidationPhase = 'structural' | 'domain' | 'storage';\n\nexport class ContractValidationError extends Error {\n  readonly code = 'CONTRACT.VALIDATION_FAILED';\n  readonly phase: ContractValidationPhase;\n\n  constructor(message: string, phase: ContractValidationPhase) {\n    super(message);\n    this.name = 'ContractValidationError';\n    this.phase = phase;\n  }\n}\n\nexport class DomainNamespaceResolutionError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'DomainNamespaceResolutionError';\n  }\n}\n"],"mappings":";AAEA,IAAa,0BAAb,cAA6C,MAAM;CACjD,OAAgB;CAChB;CAEA,YAAY,SAAiB,OAAgC;EAC3D,MAAM,OAAO;EACb,KAAK,OAAO;EACZ,KAAK,QAAQ;CACf;AACF;AAEA,IAAa,iCAAb,cAAoD,MAAM;CACxD,YAAY,SAAiB;EAC3B,MAAM,OAAO;EACb,KAAK,OAAO;CACd;AACF"}

package/dist/{contract-validation-error-T5LH4DW-.d.mts → contract-validation-error-D7g0kmcc.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-D7g0kmcc.d.mts.map

package/dist/{contract-validation-error-T5LH4DW-.d.mts.map → contract-validation-error-D7g0kmcc.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-D7g0kmcc.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-D7g0kmcc.mjs";
 export { ContractValidationError, type ContractValidationPhase, DomainNamespaceResolutionError };

package/dist/contract-validation-error.mjs

@@ -1,2 +1,2 @@
-import { n as DomainNamespaceResolutionError, t as ContractValidationError } from "./contract-validation-error-ClZaKqMW.mjs";
+import { n as DomainNamespaceResolutionError, t as ContractValidationError } from "./contract-validation-error-BFA66rwU.mjs";
 export { ContractValidationError, DomainNamespaceResolutionError };

package/dist/default-namespace-D5X_k6hJ.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-D5X_k6hJ.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"default-namespace-D5X_k6hJ.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-rpdJeUMq.mjs

@@ -0,0 +1,33 @@
+import { n as DomainNamespaceResolutionError } from "./contract-validation-error-BFA66rwU.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-rpdJeUMq.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"default-namespace-rpdJeUMq.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.d.mts

@@ -0,0 +1,2 @@
+import { n as soleDomainNamespaceId, t as UNBOUND_DOMAIN_NAMESPACE_ID } from "./default-namespace-D5X_k6hJ.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-rpdJeUMq.mjs";
+export { UNBOUND_DOMAIN_NAMESPACE_ID, soleDomainNamespaceId };

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

@@ -1,5 +1,3 @@
-import * as _$arktype_internal_variants_object_ts0 from "arktype/internal/variants/object.ts";
-
 //#region src/namespace-id.d.ts
 type NamespaceId = string & {
   readonly __brand: 'NamespaceId';
@@ -10,9 +8,43 @@ declare function asNamespaceId(value: string): NamespaceId;
 interface CrossReference {
   readonly namespace: NamespaceId;
   readonly model: string;
+  /**
+   * Contract-space identity for cross-space relations. When present, the
+   * referenced model lives in a different contract space. Absent for local
+   * (same-space) relations.
+   */
+  readonly space?: string;
+}
+declare const CrossReferenceSchema: import("arktype/internal/variants/object.ts").ObjectType<CrossReference, {}>;
+declare function crossRef(model: string, namespace?: string, space?: string): CrossReference;
+//#endregion
+//#region src/value-set-ref.d.ts
+/**
+ * Space-aware reference coordinate for a domain enum or storage value-set.
+ *
+ * `plane` names the contract plane the referenced entity lives in:
+ * - `'domain'` — the entity lives in the domain plane's `enum` slot.
+ * - `'storage'` — the entity lives in the storage plane's `valueSet` slot.
+ *
+ * `entityKind` names the source entity-kind:
+ * - `'enum'` — the referenced entity is a domain enum.
+ * - `'value-set'` — the referenced entity is a storage value-set.
+ *
+ * `namespaceId` admits the `UNBOUND_NAMESPACE_ID` (`__unbound__`) sentinel for
+ * single-namespace (unbound) references.
+ *
+ * Cross-space discrimination is presence-based: when `spaceId` is absent the
+ * reference is local (same contract-space); when `spaceId` is present the
+ * reference is cross-space. This mirrors the `ForeignKeyReference` carrier
+ * convention — no separate tag field — so local refs are JSON-minimal.
+ */
+interface ValueSetRef {
+  readonly plane: 'domain' | 'storage';
+  readonly namespaceId: string;
+  readonly entityKind: 'enum' | 'value-set';
+  readonly name: string;
+  readonly spaceId?: string;
 }
-declare const CrossReferenceSchema: _$arktype_internal_variants_object_ts0.ObjectType<CrossReference, {}>;
-declare function crossRef(model: string, namespace?: string): CrossReference;
 //#endregion
 //#region src/domain-types.d.ts
 type ScalarFieldType = {
@@ -34,6 +66,19 @@ type ContractField = {
   readonly type: ContractFieldType;
   readonly many?: true;
   readonly dict?: true;
+  readonly valueSet?: ValueSetRef;
+};
+/**
+ * A domain enum: an ordered set of named members, each with a codec-encoded
+ * value. The `codecId` identifies the codec used to encode member values in
+ * storage. The `members` array is ordered (declaration order is preserved).
+ */
+type ContractEnum = {
+  readonly codecId: string;
+  readonly members: readonly {
+    readonly name: string;
+    readonly value: string;
+  }[];
 };
 type ContractRelationOn = {
   readonly localFields: readonly string[];
@@ -79,7 +124,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.
@@ -87,6 +131,7 @@ declare const UNBOUND_DOMAIN_NAMESPACE_ID: "__unbound__";
 interface ApplicationDomainNamespace<TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
   readonly models: TModels;
   readonly valueObjects?: Record<string, ContractValueObject>;
+  readonly enum?: Record<string, ContractEnum>;
 }
 /**
  * Application-domain envelope: entity content keyed by namespace id.
@@ -98,13 +143,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 { CrossReference as C, asNamespaceId as D, NamespaceId as E, ValueSetRef as S, crossRef as T, ModelStorageBase as _, ContractEmbedRelation as a, UnionFieldType as b, ContractFieldType as c, ContractReferenceRelation as d, ContractRelation as f, EmbedRelationKeys as g, ContractVariantEntry as h, ContractDiscriminator as i, ContractModel as l, ContractValueObject as m, ApplicationDomainNamespace as n, ContractEnum as o, ContractRelationOn as p, ContractWithDomain as r, ContractField as s, ApplicationDomain as t, ContractModelBase as u, ReferenceRelationKeys as v, CrossReferenceSchema as w, ValueObjectFieldType as x, ScalarFieldType as y };
+//# sourceMappingURL=domain-envelope-o7r176OX.d.mts.map

package/dist/domain-envelope-o7r176OX.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-envelope-o7r176OX.d.mts","names":[],"sources":["../src/namespace-id.ts","../src/cross-reference.ts","../src/value-set-ref.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;EDJ0C;AAAA;AAErD;;;EAFqD,SCU1C,KAAA;AAAA;AAAA,cAGE,oBAAA,gDAAoB,UAAA,CAAA,cAAA;AAAA,iBAcjB,QAAA,CACd,KAAA,UACA,SAAA,WACA,KAAA,YACC,cAAc;;;;AD/BjB;;;;AAAqD;AAErD;;;;AAAyD;;;;ACAzD;;;;;UCeiB,WAAA;EAAA,SACN,KAAA;EAAA,SACA,WAAA;EAAA,SACA,UAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;AAAA;;;KCrBC,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,iBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,QAAA,GAAW,WAAW;AAAA;AFdjB;AAGhB;;;;AAHgB,KEsBJ,YAAA;EAAA,SACD,OAAA;EAAA,SACA,OAAA;IAAA,SAA6B,IAAA;IAAA,SAAuB,KAAA;EAAA;AAAA;AAAA,KAGnD,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;;;;;;AHtGqC;UIMpC,0BAAA,iBACC,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SAE1D,MAAA,EAAQ,OAAA;EAAA,SACR,YAAA,GAAe,MAAA,SAAe,mBAAA;EAAA,SAC9B,IAAA,GAAO,MAAA,SAAe,YAAA;AAAA;;;;AHTjC;UGgBiB,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-DGjO7GM3.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-CNgHuwM_.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,CAAC,CAAC,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-DTijd98n.mjs";
+import { a as canonicalizeContract, i as StorageSort, n as PreserveEmptyPredicate, o as canonicalizeContractToObject, r as SerializeContract, t as CanonicalizeContractOptions } from "./canonicalization-DGjO7GM3.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-CNgHuwM_.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";
@@ -30,6 +31,12 @@ const DOMAIN_MODEL_STORAGE_PATTERN = [
 	"*",
 	"storage"
 ];
+const STORAGE_NAMESPACE_ENTRIES_PATTERN = [
+	"storage",
+	"namespaces",
+	"*",
+	"entries"
+];
 const TOP_LEVEL_ORDER = [
 	"schemaVersion",
 	"canonicalVersion",
@@ -42,6 +49,7 @@ const TOP_LEVEL_ORDER = [
 	"execution",
 	"capabilities",
 	"extensionPacks",
+	"defaultControlPolicy",
 	"meta"
 ];
 function isDefaultValue(value) {
@@ -65,7 +73,7 @@ function omitDefaults(obj, path, shouldPreserveEmpty) {
 			const isDomainNamespaceSlot = matchesPathPattern(currentPath, DOMAIN_NAMESPACE_SLOT_PATTERN);
 			const isRequiredDomainModels = matchesPathPattern(currentPath, DOMAIN_MODELS_CONTAINER_PATTERN);
 			const isRequiredStorageNamespaces = isArrayEqual(currentPath, ["storage", "namespaces"]);
-			const isStorageNamespaceSlot = currentPath.length === 3 && isArrayEqual([currentPath[0], currentPath[1]], ["storage", "namespaces"]);
+			const isStorageNamespaceEntries = matchesPathPattern(currentPath, STORAGE_NAMESPACE_ENTRIES_PATTERN);
 			const isRequiredRoots = isArrayEqual(currentPath, ["roots"]);
 			const isRequiredExtensionPacks = isArrayEqual(currentPath, ["extensionPacks"]);
 			const isRequiredCapabilities = isArrayEqual(currentPath, ["capabilities"]);
@@ -80,7 +88,7 @@ function omitDefaults(obj, path, shouldPreserveEmpty) {
 			const isModelStorage = matchesPathPattern(currentPath, DOMAIN_MODEL_STORAGE_PATTERN);
 			const isNullableField = key === "nullable";
 			const isFamilyPreserved = shouldPreserveEmpty?.(currentPath) ?? false;
-			if (!isRequiredDomainNamespaces && !isDomainNamespaceSlot && !isRequiredDomainModels && !isRequiredStorageNamespaces && !isStorageNamespaceSlot && !isRequiredRoots && !isRequiredExtensionPacks && !isRequiredCapabilities && !isRequiredMeta && !isRequiredExecutionDefaults && !isExtensionNamespace && !isModelRelations && !isModelStorage && !isNullableField && !isFamilyPreserved) continue;
+			if (!isRequiredDomainNamespaces && !isDomainNamespaceSlot && !isRequiredDomainModels && !isRequiredStorageNamespaces && !isStorageNamespaceEntries && !isRequiredRoots && !isRequiredExtensionPacks && !isRequiredCapabilities && !isRequiredMeta && !isRequiredExecutionDefaults && !isExtensionNamespace && !isModelRelations && !isModelStorage && !isNullableField && !isFamilyPreserved) continue;
 		}
 		result[key] = omitDefaults(value, currentPath, shouldPreserveEmpty);
 	}
@@ -122,6 +130,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 +144,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 +168,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 };