@prisma-next/contract 0.11.0 → 0.12.0-dev.10

package/dist/canonicalization-Di-tQ20o.d.mts

@@ -0,0 +1,69 @@
+import { t as Contract } from "./contract-types-jgIOdqua.mjs";
+import { JsonObject } from "@prisma-next/utils/json";
+
+//#region src/canonicalization.d.ts
+/**
+ * Per-target contract serializer hook. The framework canonicalizer uses
+ * this to convert an in-memory contract (which may carry class-instance
+ * IR nodes whose runtime-only fields must not appear in the on-disk
+ * envelope) into a plain JsonObject before applying the family-agnostic
+ * canonical-key ordering / default-omission / sort steps. Targets whose
+ * contract is JSON-clean by construction return the contract unchanged.
+ */
+type SerializeContract = (contract: Contract) => JsonObject;
+/**
+ * Family-contributed predicate for the default-omission walk. Called when
+ * a value at `path` is a default (empty object/array or `false`); if this
+ * returns `true` the value is kept rather than stripped.
+ *
+ * The framework only calls the predicate inside the `isDefaultValue` branch,
+ * so there is no need to guard against non-default values.
+ */
+type PreserveEmptyPredicate = (path: readonly string[]) => boolean;
+/**
+ * Family-contributed storage sort. Applied to the serialized `storage`
+ * subtree after the default-omission walk; the result replaces the
+ * `storage` field before the final key sort. Use to establish a
+ * deterministic order for storage arrays (indexes, uniques) that the
+ * family-agnostic `sortObjectKeys` pass cannot handle.
+ */
+type StorageSort = (storage: unknown) => unknown;
+interface CanonicalizeContractOptions {
+  readonly schemaVersion?: string;
+  /**
+   * Per-target hook that converts the in-memory contract (which may
+   * carry class-instance IR nodes) into a plain JsonObject before the
+   * family-agnostic canonicalization steps run.
+   *
+   * Routing through the hook is what lets each target decide which
+   * fields appear in the on-disk envelope; runtime-only class API
+   * fields stay invisible to the canonicalization walk by virtue of
+   * the per-target serializer not putting them in the JSON shape.
+   */
+  readonly serializeContract: SerializeContract;
+  /**
+   * Family-contributed preserve-empty predicate. When the walk encounters a
+   * default value (empty object/array or `false`) at `path`, calling this
+   * with the full path allows the family to veto the omission. If absent,
+   * only the framework's family-agnostic required-slot rules apply.
+   */
+  readonly shouldPreserveEmpty?: PreserveEmptyPredicate;
+  /**
+   * Family-contributed storage sort. Applied to the serialized `storage`
+   * subtree after the default-omission walk, before the final key sort.
+   * SQL family uses this to impose a deterministic order on `indexes` and
+   * `uniques` arrays within each namespace table. Families that require no
+   * special storage ordering omit this hook.
+   */
+  readonly sortStorage?: StorageSort;
+}
+/**
+ * Object-form variant of {@link canonicalizeContract}. Exported because the
+ * emitter writes the canonical contract through a separate JSON-stringify
+ * pass and consumes the structured object directly.
+ */
+declare function canonicalizeContractToObject(contract: Contract, options: CanonicalizeContractOptions): Record<string, unknown>;
+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-Di-tQ20o.d.mts.map

package/dist/canonicalization-Di-tQ20o.d.mts.map

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

package/dist/canonicalization-path-match-b2jFuEso.mjs

@@ -0,0 +1,25 @@
+//#region src/canonicalization-path-match.ts
+function matchesPathPattern(path, pattern) {
+	if (path.length !== pattern.length) return false;
+	for (let i = 0; i < pattern.length; i++) {
+		const segment = pattern[i];
+		const value = path[i];
+		if (segment === void 0 || value === void 0) return false;
+		if (segment === "*") continue;
+		if (typeof segment === "string") {
+			if (value !== segment) return false;
+			continue;
+		}
+		if (Array.isArray(segment)) {
+			if (!segment.includes(value)) return false;
+		}
+	}
+	return true;
+}
+function createPreserveEmptyPredicate(patterns) {
+	return (path) => patterns.some((pattern) => matchesPathPattern(path, pattern));
+}
+//#endregion
+export { matchesPathPattern as n, createPreserveEmptyPredicate as t };
+
+//# sourceMappingURL=canonicalization-path-match-b2jFuEso.mjs.map

package/dist/canonicalization-path-match-b2jFuEso.mjs.map

@@ -0,0 +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"}

package/dist/{contract-types-Bt2uyqs3.d.mts → contract-types-jgIOdqua.d.mts}

@@ -1,67 +1,25 @@
-//#region src/domain-types.d.ts
-type ScalarFieldType = {
-  readonly kind: 'scalar';
-  readonly codecId: string;
-  readonly typeParams?: Record<string, unknown>;
-};
-type ValueObjectFieldType = {
-  readonly kind: 'valueObject';
-  readonly name: string;
-};
-type UnionFieldType = {
-  readonly kind: 'union';
-  readonly members: ReadonlyArray<ScalarFieldType | ValueObjectFieldType>;
-};
-type ContractFieldType = ScalarFieldType | ValueObjectFieldType | UnionFieldType;
-type ContractField = {
-  readonly nullable: boolean;
-  readonly type: ContractFieldType;
-  readonly many?: true;
-  readonly dict?: true;
-};
-type ContractRelationOn = {
-  readonly localFields: readonly string[];
-  readonly targetFields: readonly string[];
-};
-type ContractReferenceRelation = {
-  readonly to: string;
-  readonly cardinality: '1:1' | '1:N' | 'N:1';
-  readonly on: ContractRelationOn;
-};
-type ContractEmbedRelation = {
-  readonly to: string;
-  readonly cardinality: '1:1' | '1:N';
-};
-type ContractRelation = ContractReferenceRelation | ContractEmbedRelation;
-type ContractDiscriminator = {
-  readonly field: string;
-};
-type ContractVariantEntry = {
-  readonly value: string;
-};
-type ContractValueObject = {
-  readonly fields: Record<string, ContractField>;
-};
-type ModelStorageBase = Readonly<Record<string, unknown>>;
-interface ContractModelBase<TModelStorage extends ModelStorageBase = ModelStorageBase> {
-  readonly fields: Record<string, ContractField>;
-  readonly relations: Record<string, ContractRelation>;
-  readonly storage: TModelStorage;
-  readonly discriminator?: ContractDiscriminator;
-  readonly variants?: Record<string, ContractVariantEntry>;
-  readonly base?: string;
-  readonly owner?: string;
-}
-interface ContractModel<TModelStorage extends ModelStorageBase = ModelStorageBase> extends ContractModelBase<TModelStorage> {
-  readonly fields: Record<string, ContractField>;
-}
-type HasModelsWithRelations = {
-  readonly models: Record<string, {
-    readonly relations: Record<string, ContractRelation>;
-  }>;
-};
-type ReferenceRelationKeys<TContract extends HasModelsWithRelations, ModelName extends string & keyof TContract['models']> = { [K in keyof TContract['models'][ModelName]['relations']]: TContract['models'][ModelName]['relations'][K] extends ContractReferenceRelation ? K : never }[keyof TContract['models'][ModelName]['relations']];
-type EmbedRelationKeys<TContract extends HasModelsWithRelations, ModelName extends string & keyof TContract['models']> = { [K in keyof TContract['models'][ModelName]['relations']]: TContract['models'][ModelName]['relations'][K] extends ContractReferenceRelation ? never : K }[keyof TContract['models'][ModelName]['relations']];
+import { T as CrossReference, _ as ContractValueObject, p as ContractModelBase, t as ApplicationDomain } from "./domain-envelope-Cv5OTm8D.mjs";
+
+//#region src/control-policy.d.ts
+/**
+ * Governance posture for a storage-plane node or for the contract as a whole.
+ *
+ * - `managed`  — Prisma Next owns the full lifecycle (DDL, migrations, verification).
+ * - `tolerated` — node was found in the database but is not schema-managed; Prisma Next
+ *   leaves it untouched while tracking its existence.
+ * - `external` — node is owned by an external system; Prisma Next never emits DDL for it.
+ * - `observed` — read-only access; Prisma Next does not write to or migrate the node.
+ */
+type ControlPolicy = 'managed' | 'tolerated' | 'external' | 'observed';
+/**
+ * Resolves the effective control policy for a storage-plane node.
+ *
+ * Precedence: node-level value → contract default → `'managed'`.
+ *
+ * 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;
 //#endregion
 //#region src/types.d.ts
 /**
@@ -98,13 +56,32 @@ declare function coreHash<const T extends string>(value: T): StorageHashBase<T>;
  */
 type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;
 declare function profileHash<const T extends string>(value: T): ProfileHashBase<T>;
+/**
+ * One entity-kind slot in a namespace — a map of entity name to entry.
+ * Values are opaque at the foundation layer; family and target concretions
+ * refine them to typed IR classes.
+ */
+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.
+ */
+interface StorageNamespace {
+  readonly id: string;
+}
 /**
  * Base type for family-specific storage blocks.
  * Family storage types (SqlStorage, MongoStorage, etc.) extend this to carry the
  * storage hash alongside family-specific data (tables, collections, etc.).
+ *
+ * The `namespaces` map is carried by every hydrated storage block. Serialized
+ * envelope shape is target-owned; this types the in-memory contract after
+ * `deserializeContract`.
  */
 interface StorageBase<THash extends string = string> {
   readonly storageHash: StorageHashBase<THash>;
+  readonly namespaces: Readonly<Record<string, StorageNamespace>>;
 }
 interface FieldType {
   readonly type: string;
@@ -217,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
 /**
@@ -252,22 +242,27 @@ type ContractExecutionSection<THash extends string = string> = {
 interface Contract<TStorage extends StorageBase = StorageBase, TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
   readonly target: string;
   readonly targetFamily: string;
-  readonly roots: Record<string, string>;
-  readonly models: TModels;
-  readonly valueObjects?: Record<string, ContractValueObject>;
+  readonly roots: Record<string, CrossReference>;
   /**
-   * Domain plane keyed as `domain[plane][namespaceId][entityKind][entityName]`.
-   * Optional until downstream slices populate it; when absent the field is
-   * omitted from the on-disk envelope so emitted contracts stay byte-stable.
+   * Application plane (ADR 221): `domain.namespaces.<nsId>.{ models, valueObjects }`.
+   * `TModels` types the union of model entries across namespaces for family DSL inference.
    */
-  readonly domain?: Record<string, Record<string, Record<string, unknown>>>;
+  readonly domain: ApplicationDomain<TModels>;
   readonly storage: TStorage;
   readonly capabilities: Record<string, Record<string, boolean>>;
   readonly extensionPacks: Record<string, unknown>;
   readonly execution?: ContractExecutionSection;
   readonly profileHash: ProfileHashBase<string>;
   readonly meta: Record<string, unknown>;
+  readonly defaultControl?: 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;
+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>;
 //#endregion
-export { isExecutionMutationDefaultValue as A, ContractRelationOn as B, Source as C, executionHash as D, coreHash as E, ContractFieldType as F, ReferenceRelationKeys as G, ContractVariantEntry as H, ContractModel as I, ValueObjectFieldType as J, ScalarFieldType as K, ContractModelBase as L, ContractDiscriminator as M, ContractEmbedRelation as N, isColumnDefault as O, ContractField as P, ContractReferenceRelation as R, ProfileHashBase as S, StorageHashBase as T, EmbedRelationKeys as U, ContractValueObject as V, ModelStorageBase as W, FieldType as _, ColumnDefault as a, JsonValue as b, ContractMarkerRecord as c, ExecutionHashBase as d, ExecutionMutationDefault as f, Expr as g, ExecutionSection as h, Brand as i, profileHash as j, isColumnDefaultLiteralInputValue as k, DocCollection as l, ExecutionMutationDefaultValue as m, ContractExecutionSection as n, ColumnDefaultLiteralInputValue as o, ExecutionMutationDefaultPhases as p, UnionFieldType as q, $ as r, ColumnDefaultLiteralValue as s, Contract as t, DocIndex as u, GeneratedValueSpec as v, StorageBase as w, PlanMeta as x, JsonPrimitive as y, ContractRelation as z };
-//# sourceMappingURL=contract-types-Bt2uyqs3.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, effectiveControl 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, ContractValueObjectsMap as i, coreHash as j, StorageHashBase 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, PlanMeta as w, JsonPrimitive as x, FieldType as y };
+//# sourceMappingURL=contract-types-jgIOdqua.d.mts.map

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

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

package/dist/contract-validation-error-ClZaKqMW.mjs

@@ -0,0 +1,20 @@
+//#region src/contract-validation-error.ts
+var ContractValidationError = class extends Error {
+	code = "CONTRACT.VALIDATION_FAILED";
+	phase;
+	constructor(message, phase) {
+		super(message);
+		this.name = "ContractValidationError";
+		this.phase = phase;
+	}
+};
+var DomainNamespaceResolutionError = class extends Error {
+	constructor(message) {
+		super(message);
+		this.name = "DomainNamespaceResolutionError";
+	}
+};
+//#endregion
+export { DomainNamespaceResolutionError as n, ContractValidationError as t };
+
+//# sourceMappingURL=contract-validation-error-ClZaKqMW.mjs.map

package/dist/contract-validation-error-ClZaKqMW.mjs.map

@@ -0,0 +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"}

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

@@ -0,0 +1,13 @@
+//#region src/contract-validation-error.d.ts
+type ContractValidationPhase = 'structural' | 'domain' | 'storage';
+declare class ContractValidationError extends Error {
+  readonly code = "CONTRACT.VALIDATION_FAILED";
+  readonly phase: ContractValidationPhase;
+  constructor(message: string, phase: ContractValidationPhase);
+}
+declare class DomainNamespaceResolutionError extends Error {
+  constructor(message: string);
+}
+//#endregion
+export { ContractValidationPhase as n, DomainNamespaceResolutionError as r, ContractValidationError as t };
+//# sourceMappingURL=contract-validation-error-T5LH4DW-.d.mts.map

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

@@ -0,0 +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"}

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

@@ -1,10 +1,2 @@
-//#region src/contract-validation-error.d.ts
-type ContractValidationPhase = 'structural' | 'domain' | 'storage';
-declare class ContractValidationError extends Error {
-  readonly code = "CONTRACT.VALIDATION_FAILED";
-  readonly phase: ContractValidationPhase;
-  constructor(message: string, phase: ContractValidationPhase);
-}
-//#endregion
-export { ContractValidationError, type ContractValidationPhase };
-//# sourceMappingURL=contract-validation-error.d.mts.map
+import { n as ContractValidationPhase, r as DomainNamespaceResolutionError, t as ContractValidationError } from "./contract-validation-error-T5LH4DW-.mjs";
+export { ContractValidationError, type ContractValidationPhase, DomainNamespaceResolutionError };

package/dist/contract-validation-error.mjs

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

package/dist/domain-envelope-Cv5OTm8D.d.mts

@@ -0,0 +1,110 @@
+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';
+};
+declare function asNamespaceId(value: string): NamespaceId;
+//#endregion
+//#region src/cross-reference.d.ts
+interface CrossReference {
+  readonly namespace: NamespaceId;
+  readonly model: 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 = {
+  readonly kind: 'scalar';
+  readonly codecId: string;
+  readonly typeParams?: Record<string, unknown>;
+};
+type ValueObjectFieldType = {
+  readonly kind: 'valueObject';
+  readonly name: string;
+};
+type UnionFieldType = {
+  readonly kind: 'union';
+  readonly members: ReadonlyArray<ScalarFieldType | ValueObjectFieldType>;
+};
+type ContractFieldType = ScalarFieldType | ValueObjectFieldType | UnionFieldType;
+type ContractField = {
+  readonly nullable: boolean;
+  readonly type: ContractFieldType;
+  readonly many?: true;
+  readonly dict?: true;
+};
+type ContractRelationOn = {
+  readonly localFields: readonly string[];
+  readonly targetFields: readonly string[];
+};
+type ContractReferenceRelation = {
+  readonly to: CrossReference;
+  readonly cardinality: '1:1' | '1:N' | 'N:1';
+  readonly on: ContractRelationOn;
+};
+type ContractEmbedRelation = {
+  readonly to: CrossReference;
+  readonly cardinality: '1:1' | '1:N';
+};
+type ContractRelation = ContractReferenceRelation | ContractEmbedRelation;
+type ContractDiscriminator = {
+  readonly field: string;
+};
+type ContractVariantEntry = {
+  readonly value: string;
+};
+type ContractValueObject = {
+  readonly fields: Record<string, ContractField>;
+};
+type ModelStorageBase = Readonly<Record<string, unknown>>;
+interface ContractModelBase<TModelStorage extends ModelStorageBase = ModelStorageBase> {
+  readonly fields: Record<string, ContractField>;
+  readonly relations: Record<string, ContractRelation>;
+  readonly storage: TModelStorage;
+  readonly discriminator?: ContractDiscriminator;
+  readonly variants?: Record<string, ContractVariantEntry>;
+  readonly base?: CrossReference;
+  readonly owner?: string;
+}
+interface ContractModel<TModelStorage extends ModelStorageBase = ModelStorageBase> extends ContractModelBase<TModelStorage> {
+  readonly fields: Record<string, ContractField>;
+}
+type ReferenceRelationKeys<TModels extends Record<string, {
+  readonly relations: Record<string, ContractRelation>;
+}>, ModelName extends string & keyof TModels> = { [K in keyof TModels[ModelName]['relations']]: TModels[ModelName]['relations'][K] extends ContractReferenceRelation ? K : never }[keyof TModels[ModelName]['relations']];
+type EmbedRelationKeys<TModels extends Record<string, {
+  readonly relations: Record<string, ContractRelation>;
+}>, 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.
+ */
+interface ApplicationDomainNamespace<TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
+  readonly models: TModels;
+  readonly valueObjects?: Record<string, ContractValueObject>;
+}
+/**
+ * Application-domain envelope: entity content keyed by namespace id.
+ * Mirrors the storage plane's `namespaces` segment (ADR 221).
+ */
+interface ApplicationDomain<TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
+  readonly namespaces: Readonly<Record<string, ApplicationDomainNamespace<TModels>>>;
+}
+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

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

@@ -0,0 +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"}

package/dist/hashing-utils.d.mts

@@ -0,0 +1,19 @@
+import { i as StorageSort, n as PreserveEmptyPredicate } from "./canonicalization-Di-tQ20o.mjs";
+
+//#region src/canonicalization-path-match.d.ts
+type PathSegment = string | '*' | readonly string[];
+type PathPattern = readonly PathSegment[];
+declare function matchesPathPattern(path: readonly string[], pattern: PathPattern): boolean;
+declare function createPreserveEmptyPredicate(patterns: readonly PathPattern[]): PreserveEmptyPredicate;
+//#endregion
+//#region src/canonicalization-storage-sort.d.ts
+type PathSegment$1 = string | '*';
+interface NamedArraySortTarget {
+  readonly path: readonly PathSegment$1[];
+  readonly arrayKeys: readonly string[];
+}
+declare function compareByNameProperty(a: unknown, b: unknown): number;
+declare function createStorageSort(targets: readonly NamedArraySortTarget[], compare?: (a: unknown, b: unknown) => number): StorageSort;
+//#endregion
+export { type NamedArraySortTarget, type PathPattern, type PathSegment as PreserveEmptyPathSegment, type PathSegment$1 as StorageSortPathSegment, compareByNameProperty, createPreserveEmptyPredicate, createStorageSort, matchesPathPattern };
+//# sourceMappingURL=hashing-utils.d.mts.map

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

@@ -0,0 +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"}

package/dist/hashing-utils.mjs

@@ -0,0 +1,50 @@
+import { n as matchesPathPattern, t as createPreserveEmptyPredicate } from "./canonicalization-path-match-b2jFuEso.mjs";
+//#region src/canonicalization-storage-sort.ts
+function isPlainRecord(value) {
+	return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+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);
+}
+function sortArrayKeysOnRecord(record, arrayKeys, compare) {
+	const sorted = { ...record };
+	for (const key of arrayKeys) {
+		const value = record[key];
+		if (Array.isArray(value)) sorted[key] = [...value].sort(compare);
+	}
+	return sorted;
+}
+function walkAndSort(node, pathSegments, arrayKeys, compare) {
+	if (pathSegments.length === 0) {
+		if (!isPlainRecord(node)) return node;
+		return sortArrayKeysOnRecord(node, arrayKeys, compare);
+	}
+	if (!isPlainRecord(node)) return node;
+	const [head, ...rest] = pathSegments;
+	if (head === void 0) return node;
+	if (head === "*") {
+		const sorted = { ...node };
+		for (const key of Object.keys(node)) sorted[key] = walkAndSort(node[key], rest, arrayKeys, compare);
+		return sorted;
+	}
+	const child = node[head];
+	if (child === void 0) return node;
+	return {
+		...node,
+		[head]: walkAndSort(child, rest, arrayKeys, compare)
+	};
+}
+function createStorageSort(targets, compare = compareByNameProperty) {
+	return (storage) => {
+		if (!isPlainRecord(storage)) return storage;
+		let result = storage;
+		for (const target of targets) result = walkAndSort(result, target.path, target.arrayKeys, compare);
+		return result;
+	};
+}
+//#endregion
+export { compareByNameProperty, createPreserveEmptyPredicate, createStorageSort, matchesPathPattern };
+
+//# sourceMappingURL=hashing-utils.mjs.map

package/dist/hashing-utils.mjs.map

@@ -0,0 +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"}

package/dist/hashing.d.mts

@@ -1,44 +1,15 @@
-import { S as ProfileHashBase, T as StorageHashBase, d as ExecutionHashBase, t as Contract } from "./contract-types-Bt2uyqs3.mjs";
-import { JsonObject } from "@prisma-next/utils/json";
+import { T as ProfileHashBase, k as StorageHashBase, p as ExecutionHashBase } from "./contract-types-jgIOdqua.mjs";
+import { a as canonicalizeContract, i as StorageSort, n as PreserveEmptyPredicate, o as canonicalizeContractToObject, r as SerializeContract, t as CanonicalizeContractOptions } from "./canonicalization-Di-tQ20o.mjs";
 
-//#region src/canonicalization.d.ts
-/**
- * Per-target contract serializer hook. The framework canonicalizer uses
- * this to convert an in-memory contract (which may carry class-instance
- * IR nodes whose runtime-only fields must not appear in the on-disk
- * envelope) into a plain JsonObject before applying the family-agnostic
- * canonical-key ordering / default-omission / sort steps. Targets whose
- * contract is JSON-clean by construction return the contract unchanged.
- */
-type SerializeContract = (contract: Contract) => JsonObject;
-interface CanonicalizeContractOptions {
-  readonly schemaVersion?: string;
-  /**
-   * Per-target hook that converts the in-memory contract (which may
-   * carry class-instance IR nodes) into a plain JsonObject before the
-   * family-agnostic canonicalization steps run.
-   *
-   * Routing through the hook is what lets each target decide which
-   * fields appear in the on-disk envelope; runtime-only class API
-   * fields stay invisible to the canonicalization walk by virtue of
-   * the per-target serializer not putting them in the JSON shape.
-   */
-  readonly serializeContract: SerializeContract;
-}
-/**
- * Object-form variant of {@link canonicalizeContract}. Exported because the
- * emitter writes the canonical contract through a separate JSON-stringify
- * pass and consumes the structured object directly.
- */
-declare function canonicalizeContractToObject(contract: Contract, options: CanonicalizeContractOptions): Record<string, unknown>;
-declare function canonicalizeContract(contract: Contract, options: CanonicalizeContractOptions): string;
-//#endregion
 //#region src/hashing.d.ts
-declare function computeStorageHash(args: {
+type ComputeStorageHashArgs = {
   target: string;
   targetFamily: string;
   storage: Record<string, unknown>;
-}): StorageHashBase<string>;
+  readonly shouldPreserveEmpty?: PreserveEmptyPredicate;
+  readonly sortStorage?: StorageSort;
+};
+declare function computeStorageHash(args: ComputeStorageHashArgs): StorageHashBase<string>;
 declare function computeExecutionHash(args: {
   target: string;
   targetFamily: string;
@@ -50,5 +21,5 @@ declare function computeProfileHash(args: {
   capabilities: Record<string, Record<string, boolean>>;
 }): ProfileHashBase<string>;
 //#endregion
-export { type CanonicalizeContractOptions, type SerializeContract, canonicalizeContract, canonicalizeContractToObject, computeExecutionHash, computeProfileHash, computeStorageHash };
+export { type CanonicalizeContractOptions, type PreserveEmptyPredicate, type SerializeContract, type StorageSort, canonicalizeContract, canonicalizeContractToObject, computeExecutionHash, computeProfileHash, computeStorageHash };
 //# sourceMappingURL=hashing.d.mts.map

package/dist/hashing.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"hashing.d.mts","names":[],"sources":["../src/canonicalization.ts","../src/hashing.ts"],"mappings":";;;;;;AAcA;;;;;;KAAY,iBAAA,IAAqB,QAAA,EAAU,QAAA,KAAa,UAAA;AAAA,UAuRvC,2BAAA;EAAA,SACN,aAAA;EADiC;;;;;;;;AAoB5C;;EApB4C,SAYjC,iBAAA,EAAmB,iBAAA;AAAA;;;;;;iBAQd,4BAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA,EAAS,2BAAA,GACR,MAAA;AAAA,iBAuBa,oBAAA,CACd,QAAA,EAAU,QAAA,EACV,OAAA,EAAS,2BAAA;;;iBC7SK,kBAAA,CAAmB,IAAA;EACjC,MAAA;EACA,YAAA;EACA,OAAA,EAAS,MAAA;AAAA,IACP,eAAA;AAAA,iBAIY,oBAAA,CAAqB,IAAA;EACnC,MAAA;EACA,YAAA;EACA,SAAA,EAAW,MAAA;AAAA,IACT,iBAAA;AAAA,iBAIY,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":";;;;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"}