@prisma-next/contract 0.3.0-dev.14 → 0.3.0-dev.141

package/dist/types-DmKtoEd-.d.mts

@@ -0,0 +1,303 @@
+//#region src/domain-types.d.ts
+type ContractField = {
+  readonly nullable: boolean;
+  readonly codecId: string;
+};
+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 ModelStorageBase = Readonly<Record<string, unknown>>;
+interface ContractModel<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;
+}
+/** @deprecated Use {@link ContractField} */
+type DomainField = ContractField;
+/** @deprecated Use {@link ContractRelationOn} */
+type DomainRelationOn = ContractRelationOn;
+/** @deprecated Use {@link ContractReferenceRelation} */
+type DomainReferenceRelation = ContractReferenceRelation;
+/** @deprecated Use {@link ContractEmbedRelation} */
+type DomainEmbedRelation = ContractEmbedRelation;
+/** @deprecated Use {@link ContractRelation} */
+type DomainRelation = ContractRelation;
+/** @deprecated Use {@link ContractDiscriminator} */
+type DomainDiscriminator = ContractDiscriminator;
+/** @deprecated Use {@link ContractVariantEntry} */
+type DomainVariantEntry = ContractVariantEntry;
+/** @deprecated Use {@link ContractModel} */
+type DomainModel = ContractModel;
+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']];
+//#endregion
+//#region src/types.d.ts
+/**
+ * Unique symbol used as the key for branding types.
+ */
+declare const $: unique symbol;
+/**
+ * A helper type to brand a given type with a unique identifier.
+ *
+ * @template TKey Text used as the brand key.
+ * @template TValue Optional value associated with the brand key. Defaults to `true`.
+ */
+type Brand<TKey extends string | number | symbol, TValue = true> = {
+  [$]: { [K in TKey]: TValue };
+};
+/**
+ * Base type for storage contract hashes.
+ * Emitted contract.d.ts files use this with the hash value as a type parameter:
+ * `type StorageHash = StorageHashBase<'sha256:abc123...'>`
+ */
+type StorageHashBase<THash extends string> = THash & Brand<'StorageHash'>;
+/**
+ * Base type for execution contract hashes.
+ * Emitted contract.d.ts files use this with the hash value as a type parameter:
+ * `type ExecutionHash = ExecutionHashBase<'sha256:def456...'>`
+ */
+type ExecutionHashBase<THash extends string> = THash & Brand<'ExecutionHash'>;
+declare function executionHash<const T extends string>(value: T): ExecutionHashBase<T>;
+declare function coreHash<const T extends string>(value: T): StorageHashBase<T>;
+/**
+ * Base type for profile contract hashes.
+ * Emitted contract.d.ts files use this with the hash value as a type parameter:
+ * `type ProfileHash = ProfileHashBase<'sha256:def456...'>`
+ */
+type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;
+declare function profileHash<const T extends string>(value: T): ProfileHashBase<T>;
+/**
+ * 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.).
+ */
+interface StorageBase<THash extends string = string> {
+  readonly storageHash: StorageHashBase<THash>;
+}
+interface ContractBase<TStorageHash extends StorageHashBase<string> = StorageHashBase<string>, TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>, TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>> {
+  readonly schemaVersion: string;
+  readonly target: string;
+  readonly targetFamily: string;
+  readonly storageHash: TStorageHash;
+  readonly executionHash?: TExecutionHash | undefined;
+  readonly profileHash?: TProfileHash | undefined;
+  readonly capabilities: Record<string, Record<string, boolean>>;
+  readonly extensionPacks: Record<string, unknown>;
+  readonly meta: Record<string, unknown>;
+  readonly sources: Record<string, Source>;
+  readonly execution?: ExecutionSection;
+  readonly roots: Record<string, string>;
+  readonly models: Record<string, DomainModel>;
+}
+interface FieldType {
+  readonly type: string;
+  readonly nullable: boolean;
+  readonly items?: FieldType;
+  readonly properties?: Record<string, FieldType>;
+}
+type GeneratedValueSpec = {
+  readonly id: string;
+  readonly params?: Record<string, unknown>;
+};
+type JsonPrimitive = string | number | boolean | null;
+type JsonValue = JsonPrimitive | {
+  readonly [key: string]: JsonValue;
+} | readonly JsonValue[];
+type TaggedBigInt = {
+  readonly $type: 'bigint';
+  readonly value: string;
+};
+declare function isTaggedBigInt(value: unknown): value is TaggedBigInt;
+declare function bigintJsonReplacer(_key: string, value: unknown): unknown;
+type TaggedRaw = {
+  readonly $type: 'raw';
+  readonly value: JsonValue;
+};
+declare function isTaggedRaw(value: unknown): value is TaggedRaw;
+type TaggedLiteralValue = TaggedBigInt | TaggedRaw;
+type ColumnDefaultLiteralValue = JsonValue | TaggedLiteralValue;
+type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | bigint | Date;
+type ColumnDefault = {
+  readonly kind: 'literal';
+  readonly value: ColumnDefaultLiteralInputValue;
+} | {
+  readonly kind: 'function';
+  readonly expression: string;
+};
+type ExecutionMutationDefaultValue = {
+  readonly kind: 'generator';
+  readonly id: GeneratedValueSpec['id'];
+  readonly params?: Record<string, unknown>;
+};
+type ExecutionMutationDefault = {
+  readonly ref: {
+    readonly table: string;
+    readonly column: string;
+  };
+  readonly onCreate?: ExecutionMutationDefaultValue;
+  readonly onUpdate?: ExecutionMutationDefaultValue;
+};
+type ExecutionSection<THash extends string = string> = {
+  readonly executionHash: ExecutionHashBase<THash>;
+  readonly mutations: {
+    readonly defaults: ReadonlyArray<ExecutionMutationDefault>;
+  };
+};
+interface Source {
+  readonly readOnly: boolean;
+  readonly projection: Record<string, FieldType>;
+  readonly origin?: Record<string, unknown>;
+  readonly capabilities?: Record<string, boolean>;
+}
+interface DocIndex {
+  readonly name: string;
+  readonly keys: Record<string, 'asc' | 'desc'>;
+  readonly unique?: boolean;
+  readonly where?: Expr;
+}
+type Expr = {
+  readonly kind: 'eq';
+  readonly path: ReadonlyArray<string>;
+  readonly value: unknown;
+} | {
+  readonly kind: 'exists';
+  readonly path: ReadonlyArray<string>;
+};
+interface DocCollection {
+  readonly name: string;
+  readonly id?: {
+    readonly strategy: 'auto' | 'client' | 'uuid' | 'objectId';
+  };
+  readonly fields: Record<string, FieldType>;
+  readonly indexes?: ReadonlyArray<DocIndex>;
+  readonly readOnly?: boolean;
+}
+interface DocumentStorage {
+  readonly document: {
+    readonly collections: Record<string, DocCollection>;
+  };
+}
+interface DocumentContract<TStorageHash extends StorageHashBase<string> = StorageHashBase<string>, TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>, TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>> extends ContractBase<TStorageHash, TExecutionHash, TProfileHash> {
+  readonly targetFamily: string;
+  readonly storage: DocumentStorage;
+}
+interface ParamDescriptor {
+  readonly index?: number;
+  readonly name?: string;
+  readonly codecId?: string;
+  readonly nativeType?: string;
+  readonly nullable?: boolean;
+  readonly source: 'dsl' | 'raw' | 'lane';
+  readonly refs?: {
+    table: string;
+    column: string;
+  };
+}
+interface PlanRefs {
+  readonly tables?: readonly string[];
+  readonly columns?: ReadonlyArray<{
+    table: string;
+    column: string;
+  }>;
+  readonly indexes?: ReadonlyArray<{
+    readonly table: string;
+    readonly columns: ReadonlyArray<string>;
+    readonly name?: string;
+  }>;
+}
+interface PlanMeta {
+  readonly target: string;
+  readonly targetFamily?: string;
+  readonly storageHash: string;
+  readonly profileHash?: string;
+  readonly lane: string;
+  readonly annotations?: {
+    codecs?: Record<string, string>;
+    [key: string]: unknown;
+  };
+  readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;
+  readonly refs?: PlanRefs;
+  readonly projection?: Record<string, string> | ReadonlyArray<string>;
+  /**
+   * Optional mapping of projection alias → column type ID (fully qualified ns/name@version).
+   * Used for codec resolution when AST+refs don't provide enough type info.
+   */
+  readonly projectionTypes?: Record<string, string>;
+}
+/**
+ * Canonical execution plan shape used by runtimes.
+ *
+ * - Row is the inferred result row type (TypeScript-only).
+ * - Ast is the optional, family-specific AST type (e.g. SQL QueryAst).
+ *
+ * The payload executed by the runtime is represented by the sql + params pair
+ * for now; future families can specialize this via Ast or additional metadata.
+ */
+interface ExecutionPlan<Row = unknown, Ast = unknown> {
+  readonly sql: string;
+  readonly params: readonly unknown[];
+  readonly ast?: Ast;
+  readonly meta: PlanMeta;
+  /**
+   * Phantom property to carry the Row generic for type-level utilities.
+   * Not set at runtime; used only for ResultType extraction.
+   */
+  readonly _row?: Row;
+}
+/**
+ * Utility type to extract the Row type from an ExecutionPlan.
+ * Example: `type Row = ResultType<typeof plan>`
+ *
+ * Works with both ExecutionPlan and SqlQueryPlan (SQL query plans before lowering).
+ * SqlQueryPlan includes a phantom `_Row` property to preserve the generic parameter
+ * for type extraction.
+ */
+type ResultType<P> = P extends ExecutionPlan<infer R, unknown> ? R : P extends {
+  readonly _Row?: infer R;
+} ? R : never;
+/**
+ * Type guard to check if a contract is a Document contract
+ */
+declare function isDocumentContract(contract: unknown): contract is DocumentContract;
+/**
+ * Contract marker record stored in the database.
+ * Represents the current contract identity for a database.
+ */
+interface ContractMarkerRecord {
+  readonly storageHash: string;
+  readonly profileHash: string;
+  readonly contractJson: unknown | null;
+  readonly canonicalVersion: number | null;
+  readonly updatedAt: Date;
+  readonly appTag: string | null;
+  readonly meta: Record<string, unknown>;
+}
+//#endregion
+export { DomainRelation as $, TaggedBigInt as A, ContractDiscriminator as B, PlanMeta as C, Source as D, ResultType as E, executionHash as F, ContractRelation as G, ContractField as H, isDocumentContract as I, DomainDiscriminator as J, ContractRelationOn as K, isTaggedBigInt as L, TaggedRaw as M, bigintJsonReplacer as N, StorageBase as O, coreHash as P, DomainReferenceRelation as Q, isTaggedRaw as R, ParamDescriptor as S, ProfileHashBase as T, ContractModel as U, ContractEmbedRelation as V, ContractReferenceRelation as W, DomainField as X, DomainEmbedRelation as Y, DomainModel as Z, Expr as _, ColumnDefaultLiteralValue as a, JsonPrimitive as b, DocCollection as c, DocumentStorage as d, DomainRelationOn as et, ExecutionHashBase as f, ExecutionSection as g, ExecutionPlan as h, ColumnDefaultLiteralInputValue as i, ReferenceRelationKeys as it, TaggedLiteralValue as j, StorageHashBase as k, DocIndex as l, ExecutionMutationDefaultValue as m, Brand as n, EmbedRelationKeys as nt, ContractBase as o, ExecutionMutationDefault as p, ContractVariantEntry as q, ColumnDefault as r, ModelStorageBase as rt, ContractMarkerRecord as s, $ as t, DomainVariantEntry as tt, DocumentContract as u, FieldType as v, PlanRefs as w, JsonValue as x, GeneratedValueSpec as y, profileHash as z };
+//# sourceMappingURL=types-DmKtoEd-.d.mts.map

package/dist/types-DmKtoEd-.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-DmKtoEd-.d.mts","names":[],"sources":["../src/domain-types.ts","../src/types.ts"],"sourcesContent":[],"mappings":";KAAY,aAAA;EAAA,SAAA,QAAa,EAAA,OAAA;EAKb,SAAA,OAAA,EAAA,MAAkB;AAK9B,CAAA;AAMY,KAXA,kBAAA,GAWqB;EAKrB,SAAA,WAAgB,EAAA,SAAG,MAAA,EAAA;EAEnB,SAAA,YAAA,EAAA,SAAqB,MAAA,EAAA;AAIjC,CAAA;AAIY,KArBA,yBAAA,GAqB4B;EAEvB,SAAA,EAAA,EAAA,MAAa;EAAuB,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA,GAAA,KAAA;EAAmB,SAAA,EAAA,EApBzD,kBAoByD;CACtC;AAAf,KAlBP,qBAAA,GAkBO;EACkB,SAAA,EAAA,EAAA,MAAA;EAAf,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA;CACF;AACO,KAhBf,gBAAA,GAAmB,yBAgBJ,GAhBgC,qBAgBhC;AACU,KAfzB,qBAAA,GAeyB;EAAf,SAAA,KAAA,EAAA,MAAA;CAAM;AAQhB,KAnBA,oBAAA,GAmBc;EAEd,SAAA,KAAA,EAAA,MAAgB;AAE5B,CAAA;AAEY,KArBA,gBAAA,GAAmB,QAqBG,CArBM,MAqBN,CAAA,MAAA,EAAA,OAAqB,CAAA,CAAA;AAE3C,UArBK,aAqBS,CAAA,sBArB2B,gBAqBR,GArB2B,gBAqB3B,CAAA,CAAA;EAEjC,SAAA,MAAA,EAtBO,MAsBY,CAAA,MAAA,EAtBG,aAsBA,CAAA;EAEtB,SAAA,SAAA,EAvBU,MAuBQ,CAAA,MAAG,EAvBI,gBAuBJ,CAAA;EAErB,SAAA,OAAW,EAxBH,aAwBM;EAIrB,SAAA,aAAA,CAAA,EA3BsB,qBA2BA;EAC4C,SAAA,QAAA,CAAA,EA3BjD,MA2BiD,CAAA,MAAA,EA3BlC,oBA2BkC,CAAA;EAAf,SAAA,IAAA,CAAA,EAAA,MAAA;EAArC,SAAA,KAAA,CAAA,EAAA,MAAA;;AAGnB;AACoB,KAvBR,WAAA,GAAc,aAuBN;;AAGN,KAxBF,gBAAA,GAAmB,kBAwBjB;;AAA8C,KAtBhD,uBAAA,GAA0B,yBAsBsB;;AAA4C,KApB5F,mBAAA,GAAsB,qBAoBsE;;AAClG,KAnBM,cAAA,GAAiB,gBAmBvB;;AAEsB,KAnBhB,mBAAA,GAAsB,qBAmBN;;AAEhB,KAnBA,kBAAA,GAAqB,oBAmBJ;;AAEM,KAnBvB,WAAA,GAAc,aAmBS;KAf9B,sBAAA,GAiBS;EAAoB,SAAA,MAAA,EAhBf,MAgBe,CAAA,MAAA,EAAA;IAA0B,SAAA,SAAA,EAhBJ,MAgBI,CAAA,MAAA,EAhBW,gBAgBX,CAAA;EAAoB,CAAA,CAAA;CAAwB;AAAW,KAbvG,qBAauG,CAAA,kBAZ/F,sBAY+F,EAAA,kBAAA,MAAA,GAAA,MAXhF,SAWgF,CAAA,QAAA,CAAA,CAAA,GAAA,QAE7G,MAXQ,SAWR,CAAA,QAAA,CAAA,CAX4B,SAW5B,CAAA,CAAA,WAAA,CAAA,GAXsD,SAWtD,CAAA,QAAA,CAAA,CAX0E,SAW1E,CAAA,CAAA,WAAA,CAAA,CAXkG,CAWlG,CAAA,SAX6G,yBAW7G,GAVA,CAUA,GAAA,KAAA,EACE,CAAA,MATA,SASA,CAAA,QAAA,CAAA,CAToB,SASpB,CAAA,CAAA,WAAA,CAAA,CAAA;AAAoB,KAPhB,iBAOgB,CAAA,kBANR,sBAMQ,EAAA,kBAAA,MAAA,GAAA,MALO,SAKP,CAAA,QAAA,CAAA,CAAA,GAAA,QAAS,MAHvB,SAGuB,CAAA,QAAA,CAAA,CAHH,SAGG,CAAA,CAAA,WAAA,CAAA,GAHuB,SAGvB,CAAA,QAAA,CAAA,CAH2C,SAG3C,CAAA,CAAA,WAAA,CAAA,CAHmE,CAGnE,CAAA,SAH8E,yBAG9E,GAAA,KAAA,GAD/B,CAC+B,SAA7B,oBAAoB;;;AApF5B;AAKA;AAKA;AAMY,cCXC,CDWD,EAAA,OAAqB,MAAA;AAKjC;AAEA;AAIA;AAIA;AAEA;;AAAwE,KCpB5D,KDoB4D,CAAA,aAAA,MAAA,GAAA,MAAA,GAAA,MAAA,EAAA,SAAA,IAAA,CAAA,GAAA;EACtC,CCpB/B,CAAA,CDoB+B,EAAA,QCnBxB,IDmBS,GCnBF,MDmBE,EACkB;CAAf;;;;;;AAWV,KCtBA,eDsBW,CAAA,cAAG,MAAa,CAAA,GCtBa,KDsBb,GCtBqB,KDsBrB,CAAA,aAAA,CAAA;AAEvC;AAEA;AAEA;AAEA;AAEA;AAEY,KC3BA,iBD2BkB,CAAA,cAAG,MAAA,CAAA,GC3BqB,KD2BD,GC3BS,KD2BT,CAAA,eAAA,CAAA;AAEzC,iBC3BI,aD2BU,CAAA,gBAAa,MAAA,CAAA,CAAA,KAAA,EC3BsB,CD2BtB,CAAA,EC3B0B,iBD2B1B,CC3B4C,CD2B5C,CAAA;AAIlC,iBC3BW,QD2BW,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,EC3B6B,CD2B7B,CAAA,EC3BiC,eD2BjC,CC3BiD,CD2BjD,CAAA;;;;;AAI3B;AACoB,KCvBR,eDuBQ,CAAA,cAAA,MAAA,CAAA,GCvBgC,KDuBhC,GCvBwC,KDuBxC,CAAA,aAAA,CAAA;AACe,iBCtBnB,WDsBmB,CAAA,gBAAA,MAAA,CAAA,CAAA,KAAA,ECtBwB,CDsBxB,CAAA,ECtB4B,eDsB5B,CCtB4C,CDsB5C,CAAA;;;;;;AAEgF,UCflG,WDekG,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,CAAA;EAC7G,SAAA,WAAA,ECfkB,eDelB,CCfkC,KDelC,CAAA;;AAEsB,UCdX,YDcW,CAAA,qBCbL,eDaK,CAAA,MAAA,CAAA,GCbqB,eDarB,CAAA,MAAA,CAAA,EAAA,uBCZH,iBDYG,CAAA,MAAA,CAAA,GCZyB,iBDYzB,CAAA,MAAA,CAAA,EAAA,qBCXL,eDWK,CAAA,MAAA,CAAA,GCXqB,eDWrB,CAAA,MAAA,CAAA,CAAA,CAAA;EAAS,SAAA,aAAA,EAAA,MAAA;EAEzB,SAAA,MAAA,EAAA,MAAiB;EACT,SAAA,YAAA,EAAA,MAAA;EACe,SAAA,WAAA,ECVX,YDUW;EAErB,SAAA,aAAA,CAAA,ECXa,cDWb,GAAA,SAAA;EAAoB,SAAA,WAAA,CAAA,ECVT,YDUS,GAAA,SAAA;EAA0B,SAAA,YAAA,ECTnC,MDSmC,CAAA,MAAA,ECTpB,MDSoB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA;EAAoB,SAAA,cAAA,ECRrD,MDQqD,CAAA,MAAA,EAAA,OAAA,CAAA;EAAwB,SAAA,IAAA,ECPvF,MDOuF,CAAA,MAAA,EAAA,OAAA,CAAA;EAAW,SAAA,OAAA,ECN/F,MDM+F,CAAA,MAAA,ECNhF,MDMgF,CAAA;EAE7G,SAAA,SAAA,CAAA,ECPiB,gBDOjB;EACE,SAAA,KAAA,ECPU,MDOV,CAAA,MAAA,EAAA,MAAA,CAAA;EAAoB,SAAA,MAAA,ECNT,MDMS,CAAA,MAAA,ECNM,WDMN,CAAA;;UCHX,SAAA;;;EA5EJ,SAAkD,KAAA,CAAA,EA+E5C,SA/E4C;EAQnD,SAAK,UAAA,CAAA,EAwEO,MAxEP,CAAA,MAAA,EAwEsB,SAxEtB,CAAA;;AAEA,KAyEL,kBAAA,GAzEK;EADd,SAAA,EAAA,EAAA,MAAA;EAAC,SAAA,MAAA,CAAA,EA4EgB,MA5EhB,CAAA,MAAA,EAAA,OAAA,CAAA;AAUJ,CAAA;AAOY,KA8DA,aAAA,GA9DiB,MAAA,GAAA,MAAyB,GAAA,OAAa,GAAA,IAAA;AAEnD,KA8DJ,SAAA,GACR,aA/DyB,GAAA;EAAgC,UAAA,GAAA,EAAA,MAAA,CAAA,EAgE/B,SAhE+B;CAAsB,GAAA,SAiEtE,SAjEsE,EAAA;AAAlB,KAmErD,YAAA,GAnEqD;EAAiB,SAAA,KAAA,EAAA,QAAA;EAIlE,SAAA,KAAQ,EAAA,MAAA;CAAgC;AAAoB,iBAiE5D,cAAA,CAjE4D,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IAiEnB,YAjEmB;AAAhB,iBA0E5C,kBAAA,CA1E4C,IAAA,EAAA,MAAA,EAAA,KAAA,EAAA,OAAA,CAAA,EAAA,OAAA;AAAe,KAiF/D,SAAA,GAjF+D;EAS/D,SAAA,KAAA,EAAA,KAAe;EAEX,SAAA,KAAW,EAsEsC,SAtEtC;CAAgC;AAAoB,iBAwE/D,WAAA,CAxE+D,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IAwEzB,SAxEyB;AAAhB,KAiFnD,kBAAA,GAAqB,YAjF8B,GAiFf,SAjFe;AAAe,KAmFlE,yBAAA,GAA4B,SAnFsC,GAmF1B,kBAnF0B;AAS7D,KA4EL,8BAAA,GAAiC,yBA3EN,GAAA,MAAA,GA2E2C,IA3E3C;AAGtB,KA0EL,aAAA,GA1EiB;EACN,SAAA,IAAA,EAAA,SAAA;EAA0B,SAAA,KAAA,EA4E3B,8BA5E2B;CACxB,GAAA;EAA4B,SAAA,IAAA,EAAA,UAAA;EAC9B,SAAA,UAAA,EAAA,MAAA;CAA0B;AAKzB,KAyEZ,6BAAA,GAzEY;EACG,SAAA,IAAA,EAAA,WAAA;EACF,SAAA,EAAA,EAyEV,kBAzEU,CAAA,IAAA,CAAA;EACe,SAAA,MAAA,CAAA,EAyEpB,MAzEoB,CAAA,MAAA,EAAA,OAAA,CAAA;CAAf;AACE,KA2Ef,wBAAA,GA3Ee;EACV,SAAA,GAAA,EAAA;IACkB,SAAA,KAAA,EAAA,MAAA;IAAf,SAAA,MAAA,EAAA,MAAA;EACG,CAAA;EACL,SAAA,QAAA,CAAA,EAyEI,6BAzEJ;EACgB,SAAA,QAAA,CAAA,EAyEZ,6BAzEY;CAAf;AAAM,KA4Eb,gBA5Ea,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EAGR,SAAA,aAAS,EA0EA,iBA1EA,CA0EkB,KA1ElB,CAAA;EAGP,SAAA,SAAA,EAAA;IACoB,SAAA,QAAA,EAwEhB,aAxEgB,CAwEF,wBAxEE,CAAA;EAAf,CAAA;CAAM;AAGlB,UAyEK,MAAA,CAzEL;EAKA,SAAA,QAAa,EAAA,OAAA;EAEb,SAAA,UAAS,EAoEE,MApEF,CAAA,MAAA,EAoEiB,SApEjB,CAAA;EACjB,SAAA,MAAA,CAAA,EAoEgB,MApEhB,CAAA,MAAA,EAAA,OAAA,CAAA;EAC0B,SAAA,YAAA,CAAA,EAoEJ,MApEI,CAAA,MAAA,EAAA,OAAA,CAAA;;AACR,UAuEL,QAAA,CAvEK;EAEV,SAAA,IAAA,EAAY,MAAA;EAER,SAAA,IAAA,EAqEC,MArEa,CAAA,MAAA,EAA2B,KAAA,GAAA,MAAY,CAAA;EASrD,SAAA,MAAA,CAAA,EAAA,OAAkB;EAOtB,SAAA,KAAS,CAAA,EAuDF,IAvDE;AAErB;AASY,KA+CA,IAAA,GA/CA;EAEA,SAAA,IAAA,EAAA,IAAA;EAEA,SAAA,IAAA,EA4C8B,aA5C9B,CAAA,MAA8B,CAAA;EAE9B,SAAA,KAAA,EAAa,OAAA;AAOzB,CAAA,GAAY;EAMA,SAAA,IAAA,EAAA,QAAA;EAMA,SAAA,IAAA,EAwBkC,aAxBlB,CAAA,MAAA,CAAA;CACgB;AAAlB,UAyBT,aAAA,CAzBS;EAEW,SAAA,IAAA,EAAA,MAAA;EAAd,SAAA,EAAA,CAAA,EAAA;IAAa,SAAA,QAAA,EAAA,MAAA,GAAA,QAAA,GAAA,MAAA,GAAA,UAAA;EAInB,CAAA;EAEqB,SAAA,MAAA,EAsBnB,MAtBmB,CAAA,MAAA,EAsBJ,SAtBI,CAAA;EAAf,SAAA,OAAA,CAAA,EAuBF,aAvBE,CAuBY,QAvBZ,CAAA;EACH,SAAA,QAAA,CAAA,EAAA,OAAA;;AACY,UAyBf,eAAA,CAzBe;EAIf,SAAA,QAAQ,EAAA;IAOb,SAAI,WAC0B,EAehB,MAfgB,CAAA,MACI,EAcL,aAdkB,CAAA;EAE1C,CAAA;;AAKE,UAWF,gBAXE,CAAA,qBAYI,eAZJ,CAAA,MAAA,CAAA,GAY8B,eAZ9B,CAAA,MAAA,CAAA,EAAA,uBAaM,iBAbN,CAAA,MAAA,CAAA,GAakC,iBAblC,CAAA,MAAA,CAAA,EAAA,qBAcI,eAdJ,CAAA,MAAA,CAAA,GAc8B,eAd9B,CAAA,MAAA,CAAA,CAAA,SAeT,YAfS,CAeI,YAfJ,EAekB,cAflB,EAekC,YAflC,CAAA,CAAA;EACgB,SAAA,YAAA,EAAA,MAAA;EAAd,SAAA,OAAA,EAiBD,eAjBC;;AAIJ,UAiBA,eAAA,CAjBe;EAMf,SAAA,KAAA,CAAA,EAAA,MAAgB;EACV,SAAA,IAAA,CAAA,EAAA,MAAA;EAA0B,SAAA,OAAA,CAAA,EAAA,MAAA;EACxB,SAAA,UAAA,CAAA,EAAA,MAAA;EAA4B,SAAA,QAAA,CAAA,EAAA,OAAA;EAC9B,SAAA,MAAA,EAAA,KAAA,GAAA,KAAA,GAAA,MAAA;EAA0B,SAAA,IAAA,CAAA,EAAA;IAC1B,KAAA,EAAA,MAAA;IAAc,MAAA,EAAA,MAAA;EAAgB,CAAA;;AAA3C,UAiBO,QAAA,CAjBP;EAAY,SAAA,MAAA,CAAA,EAAA,SAAA,MAAA,EAAA;EAOL,SAAA,OAAA,CAAA,EAYI,aAZW,CAAA;IAUf,KAAA,EAAQ,MAAA;IAEJ,MAAA,EAAA,MAAA;EAGC,CAAA,CAAA;EAFD,SAAA,OAAA,CAAA,EAAA,aAAA,CAAA;IAAa,SAAA,KAAA,EAAA,MAAA;IAOjB,SAAQ,OAAA,EALH,aAKG,CAAA,MAAA,CAAA;IAOZ,SAAA,IAAA,CAAA,EAAA,MAAA;EAG8B,CAAA,CAAA;;AACzB,UAXD,QAAA,CAWC;EACM,SAAA,MAAA,EAAA,MAAA;EAAyB,SAAA,YAAA,CAAA,EAAA,MAAA;EAKpB,SAAA,WAAA,EAAA,MAAA;EAAM,SAAA,WAAA,CAAA,EAAA,MAAA;EAYlB,SAAA,IAAA,EAAA,MAAa;EAGb,SAAA,WAAA,CAAA,EAAA;IACA,MAAA,CAAA,EA1BJ,MA0BI,CAAA,MAAA,EAAA,MAAA,CAAA;IAKC,CAAA,GAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EAAG,CAAA;EAWT,SAAA,gBAAU,EAvCO,aAuCP,CAvCqB,eAuCrB,CAAA;EACpB,SAAA,IAAA,CAAA,EAvCgB,QAuChB;EAAU,SAAA,UAAA,CAAA,EAtCY,MAsCZ,CAAA,MAAA,EAAA,MAAA,CAAA,GAtCqC,aAsCrC,CAAA,MAAA,CAAA;EAAsC;;AAKlD;AAaA;6BAnD6B;;;;;;;;;;;UAYZ;;;iBAGA;iBACA;;;;;kBAKC;;;;;;;;;;KAWN,gBACV,UAAU,sCAAsC;;;;;;iBAKlC,kBAAA,iCAAmD;;;;;UAalD,oBAAA;;;;;sBAKK;;iBAEL"}

package/dist/types.d.mts

@@ -0,0 +1,3 @@
+import { $ as DomainRelation, A as TaggedBigInt, B as ContractDiscriminator, C as PlanMeta, D as Source, E as ResultType, F as executionHash, G as ContractRelation, H as ContractField, I as isDocumentContract, J as DomainDiscriminator, K as ContractRelationOn, L as isTaggedBigInt, M as TaggedRaw, N as bigintJsonReplacer, O as StorageBase, P as coreHash, Q as DomainReferenceRelation, R as isTaggedRaw, S as ParamDescriptor, T as ProfileHashBase, U as ContractModel, V as ContractEmbedRelation, W as ContractReferenceRelation, X as DomainField, Y as DomainEmbedRelation, Z as DomainModel, _ as Expr, a as ColumnDefaultLiteralValue, b as JsonPrimitive, c as DocCollection, d as DocumentStorage, et as DomainRelationOn, f as ExecutionHashBase, g as ExecutionSection, h as ExecutionPlan, i as ColumnDefaultLiteralInputValue, it as ReferenceRelationKeys, j as TaggedLiteralValue, k as StorageHashBase, l as DocIndex, m as ExecutionMutationDefaultValue, n as Brand, nt as EmbedRelationKeys, o as ContractBase, p as ExecutionMutationDefault, q as ContractVariantEntry, r as ColumnDefault, rt as ModelStorageBase, s as ContractMarkerRecord, t as $, tt as DomainVariantEntry, u as DocumentContract, v as FieldType, w as PlanRefs, x as JsonValue, y as GeneratedValueSpec, z as profileHash } from "./types-DmKtoEd-.mjs";
+import { n as ContractExecutionSection, t as Contract } from "./contract-types-x89nqTli.mjs";
+export { type $, type Brand, type ColumnDefault, type ColumnDefaultLiteralInputValue, type ColumnDefaultLiteralValue, type Contract, type ContractBase, type ContractDiscriminator, type ContractEmbedRelation, type ContractExecutionSection, type ContractField, type ContractMarkerRecord, type ContractModel, type ContractReferenceRelation, type ContractRelation, type ContractRelationOn, type ContractVariantEntry, type DocCollection, type DocIndex, type DocumentContract, type DocumentStorage, type DomainDiscriminator, type DomainEmbedRelation, type DomainField, type DomainModel, type DomainReferenceRelation, type DomainRelation, type DomainRelationOn, type DomainVariantEntry, type EmbedRelationKeys, type ExecutionHashBase, type ExecutionMutationDefault, type ExecutionMutationDefaultValue, type ExecutionPlan, type ExecutionSection, type Expr, type FieldType, type GeneratedValueSpec, type JsonPrimitive, type JsonValue, type ModelStorageBase, type ParamDescriptor, type PlanMeta, type PlanRefs, type ProfileHashBase, type ReferenceRelationKeys, type ResultType, type Source, type StorageBase, type StorageHashBase, type TaggedBigInt, type TaggedLiteralValue, type TaggedRaw, bigintJsonReplacer, coreHash, executionHash, isDocumentContract, isTaggedBigInt, isTaggedRaw, profileHash };

package/dist/types.mjs

@@ -0,0 +1,3 @@
+import { a as isTaggedBigInt, i as isDocumentContract, n as coreHash, o as isTaggedRaw, r as executionHash, s as profileHash, t as bigintJsonReplacer } from "./types-DYikGC04.mjs";
+
+export { bigintJsonReplacer, coreHash, executionHash, isDocumentContract, isTaggedBigInt, isTaggedRaw, profileHash };

package/dist/validate-contract.d.mts

@@ -0,0 +1,35 @@
+import { t as Contract } from "./contract-types-x89nqTli.mjs";
+
+//#region src/validate-contract.d.ts
+
+/**
+ * Family-provided storage validator.
+ * SQL validates tables/columns/FKs; Mongo validates collections/embedding.
+ */
+type StorageValidator = (contract: Contract) => void;
+interface ValidateContractResult {
+  readonly warnings: string[];
+}
+/**
+ * Framework-level contract validation (ADR 182).
+ *
+ * Three-pass validation:
+ * 1. **Structural validation** (arktype): verifies required fields exist with
+ *    correct base types.
+ * 2. **Domain validation** (framework-owned): roots, relation targets,
+ *    variant/base consistency, discriminators, ownership, orphans.
+ * 3. **Storage validation** (family-provided): SQL validates tables/columns/FKs;
+ *    Mongo validates collections/embedding.
+ *
+ * JSON persistence fields (`schemaVersion`, `sources`) are stripped before
+ * validation — they are not part of the in-memory contract representation.
+ *
+ * @template TContract  The fully-typed contract type (preserves literal types).
+ * @param value           Raw contract value (e.g. parsed from JSON).
+ * @param storageValidator  Family-specific storage validation function.
+ * @returns The validated contract with full literal types.
+ */
+declare function validateContract<TContract extends Contract>(value: unknown, storageValidator: StorageValidator): TContract & ValidateContractResult;
+//#endregion
+export { type StorageValidator, type ValidateContractResult, validateContract };
+//# sourceMappingURL=validate-contract.d.mts.map

package/dist/validate-contract.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-contract.d.mts","names":[],"sources":["../src/validate-contract.ts"],"sourcesContent":[],"mappings":";;;;;;AASA;AAEA;AAqDgB,KAvDJ,gBAAA,GAuDoB,CAAA,QAAA,EAvDU,QAuDV,EAAA,GAAA,IAAA;AAAmB,UArDlC,sBAAA,CAqDkC;EAE/B,SAAA,QAAA,EAAA,MAAA,EAAA;;;;;;;;;;;;;;;;;;;;;iBAFJ,mCAAmC,4CAE/B,mBACjB,YAAY"}

package/dist/validate-contract.mjs

@@ -0,0 +1,61 @@
+import { t as validateContractDomain } from "./validate-domain-CTQiBiei.mjs";
+import { type } from "arktype";
+
+//#region src/validate-contract.ts
+const ContractSchema = type({
+	target: "string",
+	targetFamily: "string",
+	roots: "Record<string, string>",
+	models: "Record<string, unknown>",
+	storage: "Record<string, unknown>",
+	capabilities: "Record<string, Record<string, boolean>>",
+	extensionPacks: "Record<string, unknown>",
+	meta: "Record<string, unknown>",
+	"execution?": {
+		"executionHash?": "string",
+		mutations: { defaults: "unknown[]" }
+	},
+	"profileHash?": "string"
+});
+function stripPersistenceFields(raw) {
+	const { schemaVersion: _, sources: _s, ...rest } = raw;
+	return rest;
+}
+function extractDomainShape(contract) {
+	return {
+		roots: contract.roots,
+		models: contract.models
+	};
+}
+/**
+* Framework-level contract validation (ADR 182).
+*
+* Three-pass validation:
+* 1. **Structural validation** (arktype): verifies required fields exist with
+*    correct base types.
+* 2. **Domain validation** (framework-owned): roots, relation targets,
+*    variant/base consistency, discriminators, ownership, orphans.
+* 3. **Storage validation** (family-provided): SQL validates tables/columns/FKs;
+*    Mongo validates collections/embedding.
+*
+* JSON persistence fields (`schemaVersion`, `sources`) are stripped before
+* validation — they are not part of the in-memory contract representation.
+*
+* @template TContract  The fully-typed contract type (preserves literal types).
+* @param value           Raw contract value (e.g. parsed from JSON).
+* @param storageValidator  Family-specific storage validation function.
+* @returns The validated contract with full literal types.
+*/
+function validateContract(value, storageValidator) {
+	if (typeof value !== "object" || value === null) throw new Error("Contract must be a non-null object");
+	const parsed = ContractSchema(stripPersistenceFields(value));
+	if (parsed instanceof type.errors) throw new Error(`Invalid contract structure: ${parsed.summary}`);
+	const contract = parsed;
+	const domainResult = validateContractDomain(extractDomainShape(contract));
+	storageValidator(contract);
+	return Object.assign(contract, { warnings: domainResult.warnings });
+}
+
+//#endregion
+export { validateContract };
+//# sourceMappingURL=validate-contract.mjs.map

package/dist/validate-contract.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-contract.mjs","names":["domainResult: DomainValidationResult"],"sources":["../src/validate-contract.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type { Contract } from './contract-types';\nimport type { DomainContractShape, DomainValidationResult } from './validate-domain';\nimport { validateContractDomain } from './validate-domain';\n\n/**\n * Family-provided storage validator.\n * SQL validates tables/columns/FKs; Mongo validates collections/embedding.\n */\nexport type StorageValidator = (contract: Contract) => void;\n\nexport interface ValidateContractResult {\n  readonly warnings: string[];\n}\n\nconst ContractSchema = type({\n  target: 'string',\n  targetFamily: 'string',\n  roots: 'Record<string, string>',\n  models: 'Record<string, unknown>',\n  storage: 'Record<string, unknown>',\n  capabilities: 'Record<string, Record<string, boolean>>',\n  extensionPacks: 'Record<string, unknown>',\n  meta: 'Record<string, unknown>',\n  'execution?': {\n    'executionHash?': 'string',\n    mutations: {\n      defaults: 'unknown[]',\n    },\n  },\n  'profileHash?': 'string',\n});\n\nfunction stripPersistenceFields(raw: Record<string, unknown>): Record<string, unknown> {\n  const { schemaVersion: _, sources: _s, ...rest } = raw;\n  return rest;\n}\n\nfunction extractDomainShape(contract: Contract): DomainContractShape {\n  return {\n    roots: contract.roots,\n    models: contract.models,\n  };\n}\n\n/**\n * Framework-level contract validation (ADR 182).\n *\n * Three-pass validation:\n * 1. **Structural validation** (arktype): verifies required fields exist with\n *    correct base types.\n * 2. **Domain validation** (framework-owned): roots, relation targets,\n *    variant/base consistency, discriminators, ownership, orphans.\n * 3. **Storage validation** (family-provided): SQL validates tables/columns/FKs;\n *    Mongo validates collections/embedding.\n *\n * JSON persistence fields (`schemaVersion`, `sources`) are stripped before\n * validation — they are not part of the in-memory contract representation.\n *\n * @template TContract  The fully-typed contract type (preserves literal types).\n * @param value           Raw contract value (e.g. parsed from JSON).\n * @param storageValidator  Family-specific storage validation function.\n * @returns The validated contract with full literal types.\n */\nexport function validateContract<TContract extends Contract>(\n  value: unknown,\n  storageValidator: StorageValidator,\n): TContract & ValidateContractResult {\n  if (typeof value !== 'object' || value === null) {\n    throw new Error('Contract must be a non-null object');\n  }\n\n  const stripped = stripPersistenceFields(value as Record<string, unknown>);\n\n  const parsed = ContractSchema(stripped);\n  if (parsed instanceof type.errors) {\n    throw new Error(`Invalid contract structure: ${parsed.summary}`);\n  }\n\n  // Arktype verified the structural shape; Contract adds branded hash types and\n  // ContractModel generics that can't be expressed in the schema.\n  const contract = parsed as unknown as Contract;\n\n  const domainResult: DomainValidationResult = validateContractDomain(extractDomainShape(contract));\n\n  storageValidator(contract);\n\n  // TContract narrows Contract with literal types from the caller's contract.d.ts;\n  // the runtime object is the same — the cast preserves the caller's type parameter.\n  return Object.assign(contract as unknown as TContract, {\n    warnings: domainResult.warnings,\n  });\n}\n"],"mappings":";;;;AAeA,MAAM,iBAAiB,KAAK;CAC1B,QAAQ;CACR,cAAc;CACd,OAAO;CACP,QAAQ;CACR,SAAS;CACT,cAAc;CACd,gBAAgB;CAChB,MAAM;CACN,cAAc;EACZ,kBAAkB;EAClB,WAAW,EACT,UAAU,aACX;EACF;CACD,gBAAgB;CACjB,CAAC;AAEF,SAAS,uBAAuB,KAAuD;CACrF,MAAM,EAAE,eAAe,GAAG,SAAS,IAAI,GAAG,SAAS;AACnD,QAAO;;AAGT,SAAS,mBAAmB,UAAyC;AACnE,QAAO;EACL,OAAO,SAAS;EAChB,QAAQ,SAAS;EAClB;;;;;;;;;;;;;;;;;;;;;AAsBH,SAAgB,iBACd,OACA,kBACoC;AACpC,KAAI,OAAO,UAAU,YAAY,UAAU,KACzC,OAAM,IAAI,MAAM,qCAAqC;CAKvD,MAAM,SAAS,eAFE,uBAAuB,MAAiC,CAElC;AACvC,KAAI,kBAAkB,KAAK,OACzB,OAAM,IAAI,MAAM,+BAA+B,OAAO,UAAU;CAKlE,MAAM,WAAW;CAEjB,MAAMA,eAAuC,uBAAuB,mBAAmB,SAAS,CAAC;AAEjG,kBAAiB,SAAS;AAI1B,QAAO,OAAO,OAAO,UAAkC,EACrD,UAAU,aAAa,UACxB,CAAC"}

package/dist/validate-domain-CTQiBiei.mjs

@@ -0,0 +1,84 @@
+//#region src/validate-domain.ts
+function validateContractDomain(contract) {
+	const errors = [];
+	const warnings = [];
+	const modelNames = new Set(Object.keys(contract.models));
+	validateRoots(contract, modelNames, errors);
+	validateVariantsAndBases(contract, modelNames, errors);
+	validateRelationTargets(contract, modelNames, errors);
+	validateDiscriminators(contract, errors);
+	validateOwnership(contract, modelNames, errors);
+	detectOrphanedModels(contract, modelNames, warnings);
+	if (errors.length > 0) throw new Error(`Contract domain validation failed:\n- ${errors.join("\n- ")}`);
+	return { warnings };
+}
+function validateRoots(contract, modelNames, errors) {
+	const seenValues = /* @__PURE__ */ new Set();
+	for (const [rootKey, modelName] of Object.entries(contract.roots)) {
+		if (seenValues.has(modelName)) errors.push(`Duplicate root value: "${modelName}" is mapped by multiple root keys`);
+		seenValues.add(modelName);
+		if (!modelNames.has(modelName)) errors.push(`Root "${rootKey}" references model "${modelName}" which does not exist in models`);
+	}
+}
+function validateVariantsAndBases(contract, modelNames, errors) {
+	const models = new Map(Object.entries(contract.models));
+	for (const [modelName, model] of models) {
+		if (model.variants) for (const variantName of Object.keys(model.variants)) {
+			if (!modelNames.has(variantName)) {
+				errors.push(`Model "${modelName}" lists variant "${variantName}" which does not exist in models`);
+				continue;
+			}
+			const variantModel = models.get(variantName);
+			if (!variantModel) continue;
+			if (variantModel.base !== modelName) errors.push(`Variant "${variantName}" has base "${variantModel.base ?? "(none)"}" but expected "${modelName}"`);
+		}
+		if (model.base) {
+			if (!modelNames.has(model.base)) {
+				errors.push(`Model "${modelName}" has base "${model.base}" which does not exist in models`);
+				continue;
+			}
+			const baseModel = models.get(model.base);
+			if (!baseModel) continue;
+			if (!baseModel.variants || !Object.hasOwn(baseModel.variants, modelName)) errors.push(`Model "${modelName}" has base "${model.base}" which does not list it as a variant`);
+		}
+	}
+}
+function validateRelationTargets(contract, modelNames, errors) {
+	for (const [modelName, model] of Object.entries(contract.models)) for (const [relName, relation] of Object.entries(model.relations ?? {})) if (!modelNames.has(relation.to)) errors.push(`Relation "${relName}" on model "${modelName}" targets "${relation.to}" which does not exist in models`);
+}
+function validateDiscriminators(contract, errors) {
+	for (const [modelName, model] of Object.entries(contract.models)) {
+		if (model.discriminator) {
+			if (!model.variants || Object.keys(model.variants).length === 0) errors.push(`Model "${modelName}" has discriminator but no variants`);
+			if (!Object.hasOwn(model.fields, model.discriminator.field)) errors.push(`Discriminator field "${model.discriminator.field}" is not a field on model "${modelName}"`);
+		}
+		if (model.variants && Object.keys(model.variants).length > 0 && !model.discriminator) errors.push(`Model "${modelName}" has variants but no discriminator`);
+		if (model.base) {
+			if (model.discriminator) errors.push(`Model "${modelName}" has base and must not have discriminator`);
+			if (model.variants && Object.keys(model.variants).length > 0) errors.push(`Model "${modelName}" has base and must not have variants`);
+		}
+	}
+}
+function validateOwnership(contract, modelNames, errors) {
+	for (const [modelName, model] of Object.entries(contract.models)) {
+		if (!model.owner) continue;
+		if (model.owner === modelName) errors.push(`Model "${modelName}" cannot own itself`);
+		if (!modelNames.has(model.owner)) errors.push(`Model "${modelName}" has owner "${model.owner}" which does not exist in models`);
+		for (const [rootKey, rootModel] of Object.entries(contract.roots)) if (rootModel === modelName) errors.push(`Owned model "${modelName}" must not appear in roots (found as root "${rootKey}")`);
+	}
+}
+function detectOrphanedModels(contract, modelNames, warnings) {
+	const referenced = /* @__PURE__ */ new Set();
+	for (const modelName of Object.values(contract.roots)) referenced.add(modelName);
+	for (const [modelName, model] of Object.entries(contract.models)) {
+		for (const relation of Object.values(model.relations ?? {})) referenced.add(relation.to);
+		if (model.variants) for (const variantName of Object.keys(model.variants)) referenced.add(variantName);
+		if (model.base) referenced.add(model.base);
+		if (model.owner) referenced.add(modelName);
+	}
+	for (const modelName of modelNames) if (!referenced.has(modelName)) warnings.push(`Orphaned model: "${modelName}" is not referenced by any root, relation, or variant`);
+}
+
+//#endregion
+export { validateContractDomain as t };
+//# sourceMappingURL=validate-domain-CTQiBiei.mjs.map

package/dist/validate-domain-CTQiBiei.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-domain-CTQiBiei.mjs","names":["errors: string[]","warnings: string[]"],"sources":["../src/validate-domain.ts"],"sourcesContent":["export interface DomainModelShape {\n  readonly fields: Record<string, unknown>;\n  readonly relations?: Record<string, { readonly to: string }>;\n  readonly discriminator?: { readonly field: string };\n  readonly variants?: Record<string, unknown>;\n  readonly base?: string;\n  readonly owner?: string;\n}\n\nexport interface DomainContractShape {\n  readonly roots: Record<string, string>;\n  readonly models: Record<string, DomainModelShape>;\n}\n\nexport interface DomainValidationResult {\n  readonly warnings: string[];\n}\n\nexport function validateContractDomain(contract: DomainContractShape): DomainValidationResult {\n  const errors: string[] = [];\n  const warnings: string[] = [];\n  const modelNames = new Set(Object.keys(contract.models));\n\n  validateRoots(contract, modelNames, errors);\n  validateVariantsAndBases(contract, modelNames, errors);\n  validateRelationTargets(contract, modelNames, errors);\n  validateDiscriminators(contract, errors);\n  validateOwnership(contract, modelNames, errors);\n  detectOrphanedModels(contract, modelNames, warnings);\n\n  if (errors.length > 0) {\n    throw new Error(`Contract domain validation failed:\\n- ${errors.join('\\n- ')}`);\n  }\n\n  return { warnings };\n}\n\nfunction validateRoots(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  const seenValues = new Set<string>();\n  for (const [rootKey, modelName] of Object.entries(contract.roots)) {\n    if (seenValues.has(modelName)) {\n      errors.push(`Duplicate root value: \"${modelName}\" is mapped by multiple root keys`);\n    }\n    seenValues.add(modelName);\n\n    if (!modelNames.has(modelName)) {\n      errors.push(\n        `Root \"${rootKey}\" references model \"${modelName}\" which does not exist in models`,\n      );\n    }\n  }\n}\n\nfunction validateVariantsAndBases(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  const models = new Map(Object.entries(contract.models));\n\n  for (const [modelName, model] of models) {\n    if (model.variants) {\n      for (const variantName of Object.keys(model.variants)) {\n        if (!modelNames.has(variantName)) {\n          errors.push(\n            `Model \"${modelName}\" lists variant \"${variantName}\" which does not exist in models`,\n          );\n          continue;\n        }\n        const variantModel = models.get(variantName);\n        if (!variantModel) continue;\n        if (variantModel.base !== modelName) {\n          errors.push(\n            `Variant \"${variantName}\" has base \"${variantModel.base ?? '(none)'}\" but expected \"${modelName}\"`,\n          );\n        }\n      }\n    }\n\n    if (model.base) {\n      if (!modelNames.has(model.base)) {\n        errors.push(`Model \"${modelName}\" has base \"${model.base}\" which does not exist in models`);\n        continue;\n      }\n      const baseModel = models.get(model.base);\n      if (!baseModel) continue;\n      if (!baseModel.variants || !Object.hasOwn(baseModel.variants, modelName)) {\n        errors.push(\n          `Model \"${modelName}\" has base \"${model.base}\" which does not list it as a variant`,\n        );\n      }\n    }\n  }\n}\n\nfunction validateRelationTargets(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    for (const [relName, relation] of Object.entries(model.relations ?? {})) {\n      if (!modelNames.has(relation.to)) {\n        errors.push(\n          `Relation \"${relName}\" on model \"${modelName}\" targets \"${relation.to}\" which does not exist in models`,\n        );\n      }\n    }\n  }\n}\n\nfunction validateDiscriminators(contract: DomainContractShape, errors: string[]): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (model.discriminator) {\n      if (!model.variants || Object.keys(model.variants).length === 0) {\n        errors.push(`Model \"${modelName}\" has discriminator but no variants`);\n      }\n      if (!Object.hasOwn(model.fields, model.discriminator.field)) {\n        errors.push(\n          `Discriminator field \"${model.discriminator.field}\" is not a field on model \"${modelName}\"`,\n        );\n      }\n    }\n\n    if (model.variants && Object.keys(model.variants).length > 0 && !model.discriminator) {\n      errors.push(`Model \"${modelName}\" has variants but no discriminator`);\n    }\n\n    if (model.base) {\n      if (model.discriminator) {\n        errors.push(`Model \"${modelName}\" has base and must not have discriminator`);\n      }\n      if (model.variants && Object.keys(model.variants).length > 0) {\n        errors.push(`Model \"${modelName}\" has base and must not have variants`);\n      }\n    }\n  }\n}\n\nfunction validateOwnership(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  errors: string[],\n): void {\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (!model.owner) continue;\n\n    if (model.owner === modelName) {\n      errors.push(`Model \"${modelName}\" cannot own itself`);\n    }\n\n    if (!modelNames.has(model.owner)) {\n      errors.push(`Model \"${modelName}\" has owner \"${model.owner}\" which does not exist in models`);\n    }\n\n    for (const [rootKey, rootModel] of Object.entries(contract.roots)) {\n      if (rootModel === modelName) {\n        errors.push(\n          `Owned model \"${modelName}\" must not appear in roots (found as root \"${rootKey}\")`,\n        );\n      }\n    }\n  }\n}\n\nfunction detectOrphanedModels(\n  contract: DomainContractShape,\n  modelNames: Set<string>,\n  warnings: string[],\n): void {\n  const referenced = new Set<string>();\n\n  for (const modelName of Object.values(contract.roots)) {\n    referenced.add(modelName);\n  }\n\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    for (const relation of Object.values(model.relations ?? {})) {\n      referenced.add(relation.to);\n    }\n    if (model.variants) {\n      for (const variantName of Object.keys(model.variants)) {\n        referenced.add(variantName);\n      }\n    }\n    if (model.base) {\n      referenced.add(model.base);\n    }\n    if (model.owner) {\n      referenced.add(modelName);\n    }\n  }\n\n  for (const modelName of modelNames) {\n    if (!referenced.has(modelName)) {\n      warnings.push(\n        `Orphaned model: \"${modelName}\" is not referenced by any root, relation, or variant`,\n      );\n    }\n  }\n}\n"],"mappings":";AAkBA,SAAgB,uBAAuB,UAAuD;CAC5F,MAAMA,SAAmB,EAAE;CAC3B,MAAMC,WAAqB,EAAE;CAC7B,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,OAAO,CAAC;AAExD,eAAc,UAAU,YAAY,OAAO;AAC3C,0BAAyB,UAAU,YAAY,OAAO;AACtD,yBAAwB,UAAU,YAAY,OAAO;AACrD,wBAAuB,UAAU,OAAO;AACxC,mBAAkB,UAAU,YAAY,OAAO;AAC/C,sBAAqB,UAAU,YAAY,SAAS;AAEpD,KAAI,OAAO,SAAS,EAClB,OAAM,IAAI,MAAM,yCAAyC,OAAO,KAAK,OAAO,GAAG;AAGjF,QAAO,EAAE,UAAU;;AAGrB,SAAS,cACP,UACA,YACA,QACM;CACN,MAAM,6BAAa,IAAI,KAAa;AACpC,MAAK,MAAM,CAAC,SAAS,cAAc,OAAO,QAAQ,SAAS,MAAM,EAAE;AACjE,MAAI,WAAW,IAAI,UAAU,CAC3B,QAAO,KAAK,0BAA0B,UAAU,mCAAmC;AAErF,aAAW,IAAI,UAAU;AAEzB,MAAI,CAAC,WAAW,IAAI,UAAU,CAC5B,QAAO,KACL,SAAS,QAAQ,sBAAsB,UAAU,kCAClD;;;AAKP,SAAS,yBACP,UACA,YACA,QACM;CACN,MAAM,SAAS,IAAI,IAAI,OAAO,QAAQ,SAAS,OAAO,CAAC;AAEvD,MAAK,MAAM,CAAC,WAAW,UAAU,QAAQ;AACvC,MAAI,MAAM,SACR,MAAK,MAAM,eAAe,OAAO,KAAK,MAAM,SAAS,EAAE;AACrD,OAAI,CAAC,WAAW,IAAI,YAAY,EAAE;AAChC,WAAO,KACL,UAAU,UAAU,mBAAmB,YAAY,kCACpD;AACD;;GAEF,MAAM,eAAe,OAAO,IAAI,YAAY;AAC5C,OAAI,CAAC,aAAc;AACnB,OAAI,aAAa,SAAS,UACxB,QAAO,KACL,YAAY,YAAY,cAAc,aAAa,QAAQ,SAAS,kBAAkB,UAAU,GACjG;;AAKP,MAAI,MAAM,MAAM;AACd,OAAI,CAAC,WAAW,IAAI,MAAM,KAAK,EAAE;AAC/B,WAAO,KAAK,UAAU,UAAU,cAAc,MAAM,KAAK,kCAAkC;AAC3F;;GAEF,MAAM,YAAY,OAAO,IAAI,MAAM,KAAK;AACxC,OAAI,CAAC,UAAW;AAChB,OAAI,CAAC,UAAU,YAAY,CAAC,OAAO,OAAO,UAAU,UAAU,UAAU,CACtE,QAAO,KACL,UAAU,UAAU,cAAc,MAAM,KAAK,uCAC9C;;;;AAMT,SAAS,wBACP,UACA,YACA,QACM;AACN,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,CAC9D,MAAK,MAAM,CAAC,SAAS,aAAa,OAAO,QAAQ,MAAM,aAAa,EAAE,CAAC,CACrE,KAAI,CAAC,WAAW,IAAI,SAAS,GAAG,CAC9B,QAAO,KACL,aAAa,QAAQ,cAAc,UAAU,aAAa,SAAS,GAAG,kCACvE;;AAMT,SAAS,uBAAuB,UAA+B,QAAwB;AACrF,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;AAChE,MAAI,MAAM,eAAe;AACvB,OAAI,CAAC,MAAM,YAAY,OAAO,KAAK,MAAM,SAAS,CAAC,WAAW,EAC5D,QAAO,KAAK,UAAU,UAAU,qCAAqC;AAEvE,OAAI,CAAC,OAAO,OAAO,MAAM,QAAQ,MAAM,cAAc,MAAM,CACzD,QAAO,KACL,wBAAwB,MAAM,cAAc,MAAM,6BAA6B,UAAU,GAC1F;;AAIL,MAAI,MAAM,YAAY,OAAO,KAAK,MAAM,SAAS,CAAC,SAAS,KAAK,CAAC,MAAM,cACrE,QAAO,KAAK,UAAU,UAAU,qCAAqC;AAGvE,MAAI,MAAM,MAAM;AACd,OAAI,MAAM,cACR,QAAO,KAAK,UAAU,UAAU,4CAA4C;AAE9E,OAAI,MAAM,YAAY,OAAO,KAAK,MAAM,SAAS,CAAC,SAAS,EACzD,QAAO,KAAK,UAAU,UAAU,uCAAuC;;;;AAM/E,SAAS,kBACP,UACA,YACA,QACM;AACN,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;AAChE,MAAI,CAAC,MAAM,MAAO;AAElB,MAAI,MAAM,UAAU,UAClB,QAAO,KAAK,UAAU,UAAU,qBAAqB;AAGvD,MAAI,CAAC,WAAW,IAAI,MAAM,MAAM,CAC9B,QAAO,KAAK,UAAU,UAAU,eAAe,MAAM,MAAM,kCAAkC;AAG/F,OAAK,MAAM,CAAC,SAAS,cAAc,OAAO,QAAQ,SAAS,MAAM,CAC/D,KAAI,cAAc,UAChB,QAAO,KACL,gBAAgB,UAAU,6CAA6C,QAAQ,IAChF;;;AAMT,SAAS,qBACP,UACA,YACA,UACM;CACN,MAAM,6BAAa,IAAI,KAAa;AAEpC,MAAK,MAAM,aAAa,OAAO,OAAO,SAAS,MAAM,CACnD,YAAW,IAAI,UAAU;AAG3B,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;AAChE,OAAK,MAAM,YAAY,OAAO,OAAO,MAAM,aAAa,EAAE,CAAC,CACzD,YAAW,IAAI,SAAS,GAAG;AAE7B,MAAI,MAAM,SACR,MAAK,MAAM,eAAe,OAAO,KAAK,MAAM,SAAS,CACnD,YAAW,IAAI,YAAY;AAG/B,MAAI,MAAM,KACR,YAAW,IAAI,MAAM,KAAK;AAE5B,MAAI,MAAM,MACR,YAAW,IAAI,UAAU;;AAI7B,MAAK,MAAM,aAAa,WACtB,KAAI,CAAC,WAAW,IAAI,UAAU,CAC5B,UAAS,KACP,oBAAoB,UAAU,uDAC/B"}

package/dist/validate-domain.d.mts

@@ -0,0 +1,24 @@
+//#region src/validate-domain.d.ts
+interface DomainModelShape {
+  readonly fields: Record<string, unknown>;
+  readonly relations?: Record<string, {
+    readonly to: string;
+  }>;
+  readonly discriminator?: {
+    readonly field: string;
+  };
+  readonly variants?: Record<string, unknown>;
+  readonly base?: string;
+  readonly owner?: string;
+}
+interface DomainContractShape {
+  readonly roots: Record<string, string>;
+  readonly models: Record<string, DomainModelShape>;
+}
+interface DomainValidationResult {
+  readonly warnings: string[];
+}
+declare function validateContractDomain(contract: DomainContractShape): DomainValidationResult;
+//#endregion
+export { type DomainContractShape, type DomainModelShape, type DomainValidationResult, validateContractDomain };
+//# sourceMappingURL=validate-domain.d.mts.map

package/dist/validate-domain.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-domain.d.mts","names":[],"sources":["../src/validate-domain.ts"],"sourcesContent":[],"mappings":";UAAiB,gBAAA;EAAA,SAAA,MAAA,EACE,MADc,CAAA,MAAA,EAAA,OAAA,CAAA;EACd,SAAA,SAAA,CAAA,EACI,MADJ,CAAA,MAAA,EAAA;IACI,SAAA,EAAA,EAAA,MAAA;EAED,CAAA,CAAA;EAAM,SAAA,aAAA,CAAA,EAAA;IAKX,SAAA,KAAA,EAAA,MAAmB;EAClB,CAAA;EACgB,SAAA,QAAA,CAAA,EAPZ,MAOY,CAAA,MAAA,EAAA,OAAA,CAAA;EAAf,SAAA,IAAA,CAAA,EAAA,MAAA;EAAM,SAAA,KAAA,CAAA,EAAA,MAAA;AAGzB;AAIgB,UATC,mBAAA,CASqB;kBARpB;mBACC,eAAe;;UAGjB,sBAAA;;;iBAID,sBAAA,WAAiC,sBAAsB"}

package/dist/validate-domain.mjs

@@ -0,0 +1,3 @@
+import { t as validateContractDomain } from "./validate-domain-CTQiBiei.mjs";
+
+export { validateContractDomain };