@prisma-next/emitter 0.3.0-dev.5 → 0.3.0-dev.50

package/README.md

@@ -6,7 +6,7 @@ Contract emission engine that transforms authored data models into canonical JSO
 
 The emitter is the core of Prisma Next's contract-first architecture. It takes authored data models (from PSL or TypeScript builders) and produces two deterministic artifacts:
 
-1. **`contract.json`** — Canonical JSON representation of the data contract with embedded `coreHash` and `profileHash`. Callers may add `_generated` metadata field to indicate it's a generated artifact (excluded from canonicalization/hashing).
+1. **`contract.json`** — Canonical JSON representation of the data contract with embedded `storageHash` and optional `executionHash`/`profileHash`. Callers may add `_generated` metadata field to indicate it's a generated artifact (excluded from canonicalization/hashing).
 2. **`contract.d.ts`** — TypeScript type definitions used by query builders and tooling (types-only, no runtime code). Includes warning header comments generated by target family hooks to indicate it's a generated file.
 
 The emitter is target-family-agnostic and uses a pluggable hook system (`TargetFamilyHook`) to handle family-specific validation and type generation. This keeps the core thin while allowing SQL, Document, and other target families to extend emission behavior.
@@ -19,7 +19,7 @@ Provide a deterministic, verifiable representation of the application's data con
 
 - **Parse**: Accept contract IR (Intermediate Representation) from authoring surfaces
 - **Validate**: Core structure validation plus family-specific type and structure validation via hooks
-- **Canonicalize**: Compute `coreHash` (schema meaning) and `profileHash` (capabilities/pins) from canonical JSON
+- **Canonicalize**: Compute `storageHash` (schema meaning), `executionHash` (execution defaults), and `profileHash` (capabilities/pins) from canonical JSON
 - **Emit**: Generate `contract.json` and `contract.d.ts` with family-specific type generation
 - **Descriptor-Agnostic**: The emitter is completely agnostic to how descriptors are produced. It receives pre-assembled `OperationRegistry`, `codecTypeImports`, `operationTypeImports`, and `extensionIds` from the CLI or family helpers—no pack manifest parsing happens inside the emitter.
 
@@ -90,7 +90,8 @@ flowchart TD
 - **Note**: `TargetFamilyHook`, `ValidationContext`, and `TypesImportSpec` types are defined in `@prisma-next/contract/types` (shared plane) and re-exported from this package for backward compatibility.
 
 ### Hashing (`hashing.ts`)
-- `computeCoreHash`: SHA-256 of schema structure (models, storage, relations)
+- `computeStorageHash`: SHA-256 of schema structure (models, storage, relations)
+- `computeExecutionHash`: SHA-256 of execution defaults
 - `computeProfileHash`: SHA-256 of capabilities and adapter pins
 
 ### Canonicalization (`canonicalization.ts`)
@@ -156,7 +157,8 @@ const result = await emit(ir, {
 
 // result.contractJson: string (JSON) - canonical JSON without _generated metadata
 // result.contractDts: string (TypeScript definitions) - includes warning header
-// result.coreHash: string
+// result.storageHash: string
+// result.executionHash?: string
 // result.profileHash?: string
 ```
 

package/dist/exports/index.d.mts

@@ -0,0 +1,3 @@
+import { EmitOptions, EmitResult, emit } from "@prisma-next/core-control-plane/emission";
+import { TargetFamilyHook, TypesImportSpec, ValidationContext } from "@prisma-next/contract/types";
+export { type EmitOptions, type EmitResult, type TargetFamilyHook, type TypesImportSpec, type ValidationContext, emit };

package/dist/exports/index.mjs

@@ -0,0 +1,3 @@
+import { emit } from "@prisma-next/core-control-plane/emission";
+
+export { emit };

package/dist/test/{utils.d.ts → utils.d.mts}

@@ -1,4 +1,7 @@
-import { type ContractIR } from '@prisma-next/contract/ir';
+import { ContractIR } from "@prisma-next/contract/ir";
+
+//#region test/utils.d.ts
+
 /**
  * Factory function for creating ContractIR objects in tests.
  * Provides sensible defaults and allows overriding specific fields.
@@ -7,8 +10,10 @@ import { type ContractIR } from '@prisma-next/contract/ir';
  * If a field is explicitly set to `undefined` in overrides, it will be omitted
  * from the result (useful for testing validation of missing fields).
  */
-export declare function createContractIR(overrides?: Partial<ContractIR> & {
-    coreHash?: string;
-    profileHash?: string;
+declare function createContractIR(overrides?: Partial<ContractIR> & {
+  storageHash?: string;
+  profileHash?: string;
 }): ContractIR;
-//# sourceMappingURL=utils.d.ts.map
+//#endregion
+export { createContractIR };
+//# sourceMappingURL=utils.d.mts.map

package/dist/test/utils.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.mts","names":[],"sources":["../../test/utils.ts"],"sourcesContent":[],"mappings":";;;;;;AAUA;;;;;;iBAAgB,gBAAA,aACH,QAAQ;;;IAClB"}

package/dist/test/utils.mjs

@@ -0,0 +1,59 @@
+import { irHeader, irMeta } from "@prisma-next/contract/ir";
+
+//#region test/utils.ts
+/**
+* Factory function for creating ContractIR objects in tests.
+* Provides sensible defaults and allows overriding specific fields.
+* Uses the emitter factories internally for consistency.
+*
+* If a field is explicitly set to `undefined` in overrides, it will be omitted
+* from the result (useful for testing validation of missing fields).
+*/
+function createContractIR(overrides = {}) {
+	const hasTarget = "target" in overrides;
+	const hasTargetFamily = "targetFamily" in overrides;
+	const hasStorageHash = "storageHash" in overrides;
+	const hasSchemaVersion = "schemaVersion" in overrides;
+	const hasModels = "models" in overrides;
+	const hasRelations = "relations" in overrides;
+	const hasStorage = "storage" in overrides;
+	const hasCapabilities = "capabilities" in overrides;
+	const hasExtensionPacks = "extensionPacks" in overrides;
+	const hasMeta = "meta" in overrides;
+	const hasSources = "sources" in overrides;
+	const headerOpts = {};
+	if (hasTarget && overrides.target !== void 0) headerOpts.target = overrides.target;
+	else if (!hasTarget) headerOpts.target = "postgres";
+	if (hasTargetFamily && overrides.targetFamily !== void 0) headerOpts.targetFamily = overrides.targetFamily;
+	else if (!hasTargetFamily) headerOpts.targetFamily = "sql";
+	if (hasStorageHash && overrides.storageHash !== void 0) headerOpts.storageHash = overrides.storageHash;
+	else if (!hasStorageHash) headerOpts.storageHash = "sha256:test";
+	if (overrides.profileHash !== void 0) headerOpts.profileHash = overrides.profileHash;
+	const header = irHeader(headerOpts);
+	const metaOpts = {};
+	if (hasCapabilities && overrides.capabilities !== void 0) metaOpts.capabilities = overrides.capabilities;
+	else if (!hasCapabilities) metaOpts.capabilities = {};
+	if (hasExtensionPacks && overrides.extensionPacks !== void 0) metaOpts.extensionPacks = overrides.extensionPacks;
+	else if (!hasExtensionPacks) metaOpts.extensionPacks = {};
+	if (hasMeta && overrides.meta !== void 0) metaOpts.meta = overrides.meta;
+	else if (!hasMeta) metaOpts.meta = {};
+	if (hasSources && overrides.sources !== void 0) metaOpts.sources = overrides.sources;
+	else if (!hasSources) metaOpts.sources = {};
+	const meta = irMeta(Object.keys(metaOpts).length > 0 ? metaOpts : void 0);
+	return {
+		schemaVersion: hasSchemaVersion && overrides.schemaVersion !== void 0 ? overrides.schemaVersion : hasSchemaVersion && overrides.schemaVersion === void 0 ? void 0 : header.schemaVersion,
+		target: header.target,
+		targetFamily: header.targetFamily,
+		capabilities: hasCapabilities && overrides.capabilities === void 0 ? void 0 : !hasCapabilities || overrides.capabilities !== void 0 ? meta.capabilities : {},
+		extensionPacks: hasExtensionPacks && overrides.extensionPacks === void 0 ? void 0 : !hasExtensionPacks || overrides.extensionPacks !== void 0 ? meta.extensionPacks : {},
+		meta: hasMeta && overrides.meta === void 0 ? void 0 : !hasMeta || overrides.meta !== void 0 ? meta.meta : {},
+		sources: hasSources && overrides.sources === void 0 ? void 0 : !hasSources || overrides.sources !== void 0 ? meta.sources : {},
+		storage: hasStorage && overrides.storage === void 0 ? void 0 : hasStorage && overrides.storage !== void 0 ? overrides.storage : !hasStorage ? { tables: {} } : {},
+		models: hasModels && overrides.models === void 0 ? void 0 : hasModels && overrides.models !== void 0 ? overrides.models : !hasModels ? {} : {},
+		relations: hasRelations && overrides.relations === void 0 ? void 0 : hasRelations && overrides.relations !== void 0 ? overrides.relations : !hasRelations ? {} : {}
+	};
+}
+
+//#endregion
+export { createContractIR };
+//# sourceMappingURL=utils.mjs.map

package/dist/test/utils.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.mjs","names":["headerOpts: {\n    target?: string;\n    targetFamily?: string;\n    storageHash?: string;\n    profileHash?: string;\n  }","metaOpts: {\n    capabilities?: Record<string, Record<string, boolean>>;\n    extensionPacks?: Record<string, unknown>;\n    meta?: Record<string, unknown>;\n    sources?: Record<string, unknown>;\n  }"],"sources":["../../test/utils.ts"],"sourcesContent":["import { type ContractIR, irHeader, irMeta } from '@prisma-next/contract/ir';\n\n/**\n * Factory function for creating ContractIR objects in tests.\n * Provides sensible defaults and allows overriding specific fields.\n * Uses the emitter factories internally for consistency.\n *\n * If a field is explicitly set to `undefined` in overrides, it will be omitted\n * from the result (useful for testing validation of missing fields).\n */\nexport function createContractIR(\n  overrides: Partial<ContractIR> & { storageHash?: string; profileHash?: string } = {},\n): ContractIR {\n  // Check if fields are explicitly undefined (not just missing)\n  const hasTarget = 'target' in overrides;\n  const hasTargetFamily = 'targetFamily' in overrides;\n  const hasStorageHash = 'storageHash' in overrides;\n  const hasSchemaVersion = 'schemaVersion' in overrides;\n  const hasModels = 'models' in overrides;\n  const hasRelations = 'relations' in overrides;\n  const hasStorage = 'storage' in overrides;\n  const hasCapabilities = 'capabilities' in overrides;\n  const hasExtensionPacks = 'extensionPacks' in overrides;\n  const hasMeta = 'meta' in overrides;\n  const hasSources = 'sources' in overrides;\n\n  // Build header, omitting fields that are explicitly undefined\n  const headerOpts: {\n    target?: string;\n    targetFamily?: string;\n    storageHash?: string;\n    profileHash?: string;\n  } = {};\n\n  if (hasTarget && overrides.target !== undefined) {\n    headerOpts.target = overrides.target;\n  } else if (!hasTarget) {\n    headerOpts.target = 'postgres';\n  }\n\n  if (hasTargetFamily && overrides.targetFamily !== undefined) {\n    headerOpts.targetFamily = overrides.targetFamily;\n  } else if (!hasTargetFamily) {\n    headerOpts.targetFamily = 'sql';\n  }\n\n  if (hasStorageHash && overrides.storageHash !== undefined) {\n    headerOpts.storageHash = overrides.storageHash;\n  } else if (!hasStorageHash) {\n    headerOpts.storageHash = 'sha256:test';\n  }\n\n  // profileHash is not part of ContractIR, but we can accept it for header creation\n  if (overrides.profileHash !== undefined) {\n    headerOpts.profileHash = overrides.profileHash;\n  }\n\n  const header = irHeader(\n    headerOpts as {\n      target: string;\n      targetFamily: string;\n      storageHash: string;\n      profileHash?: string;\n    },\n  );\n\n  // Build meta, handling explicitly undefined fields\n  // If a field is explicitly undefined, we'll omit it from the result later\n  const metaOpts: {\n    capabilities?: Record<string, Record<string, boolean>>;\n    extensionPacks?: Record<string, unknown>;\n    meta?: Record<string, unknown>;\n    sources?: Record<string, unknown>;\n  } = {};\n\n  if (hasCapabilities && overrides.capabilities !== undefined) {\n    metaOpts.capabilities = overrides.capabilities;\n  } else if (!hasCapabilities) {\n    metaOpts.capabilities = {};\n  }\n\n  if (hasExtensionPacks && overrides.extensionPacks !== undefined) {\n    metaOpts.extensionPacks = overrides.extensionPacks;\n  } else if (!hasExtensionPacks) {\n    metaOpts.extensionPacks = {};\n  }\n\n  if (hasMeta && overrides.meta !== undefined) {\n    metaOpts.meta = overrides.meta;\n  } else if (!hasMeta) {\n    metaOpts.meta = {};\n  }\n\n  if (hasSources && overrides.sources !== undefined) {\n    metaOpts.sources = overrides.sources;\n  } else if (!hasSources) {\n    metaOpts.sources = {};\n  }\n\n  const meta = irMeta(Object.keys(metaOpts).length > 0 ? metaOpts : undefined);\n\n  // Build result by constructing the object directly (ContractIR doesn't include storageHash/profileHash)\n  // When fields are explicitly undefined, include them as undefined (tests use type assertions to bypass TS)\n  const result = {\n    schemaVersion:\n      hasSchemaVersion && overrides.schemaVersion !== undefined\n        ? overrides.schemaVersion\n        : hasSchemaVersion && overrides.schemaVersion === undefined\n          ? (undefined as unknown as string)\n          : header.schemaVersion,\n    target: header.target,\n    targetFamily: header.targetFamily,\n    // Only include meta fields if they're not explicitly undefined\n    capabilities:\n      hasCapabilities && overrides.capabilities === undefined\n        ? (undefined as unknown as Record<string, Record<string, boolean>>)\n        : !hasCapabilities || overrides.capabilities !== undefined\n          ? meta.capabilities\n          : ({} as Record<string, Record<string, boolean>>),\n    extensionPacks:\n      hasExtensionPacks && overrides.extensionPacks === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : !hasExtensionPacks || overrides.extensionPacks !== undefined\n          ? meta.extensionPacks\n          : ({} as Record<string, unknown>),\n    meta:\n      hasMeta && overrides.meta === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : !hasMeta || overrides.meta !== undefined\n          ? meta.meta\n          : ({} as Record<string, unknown>),\n    sources:\n      hasSources && overrides.sources === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : !hasSources || overrides.sources !== undefined\n          ? meta.sources\n          : ({} as Record<string, unknown>),\n    // Only include family sections if they're not explicitly undefined\n    storage:\n      hasStorage && overrides.storage === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : hasStorage && overrides.storage !== undefined\n          ? (overrides.storage as Record<string, unknown>)\n          : !hasStorage\n            ? ({ tables: {} } as Record<string, unknown>)\n            : ({} as Record<string, unknown>),\n    models:\n      hasModels && overrides.models === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : hasModels && overrides.models !== undefined\n          ? (overrides.models as Record<string, unknown>)\n          : !hasModels\n            ? {}\n            : ({} as Record<string, unknown>),\n    relations:\n      hasRelations && overrides.relations === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : hasRelations && overrides.relations !== undefined\n          ? (overrides.relations as Record<string, unknown>)\n          : !hasRelations\n            ? {}\n            : ({} as Record<string, unknown>),\n  } as ContractIR;\n\n  return result;\n}\n"],"mappings":";;;;;;;;;;;AAUA,SAAgB,iBACd,YAAkF,EAAE,EACxE;CAEZ,MAAM,YAAY,YAAY;CAC9B,MAAM,kBAAkB,kBAAkB;CAC1C,MAAM,iBAAiB,iBAAiB;CACxC,MAAM,mBAAmB,mBAAmB;CAC5C,MAAM,YAAY,YAAY;CAC9B,MAAM,eAAe,eAAe;CACpC,MAAM,aAAa,aAAa;CAChC,MAAM,kBAAkB,kBAAkB;CAC1C,MAAM,oBAAoB,oBAAoB;CAC9C,MAAM,UAAU,UAAU;CAC1B,MAAM,aAAa,aAAa;CAGhC,MAAMA,aAKF,EAAE;AAEN,KAAI,aAAa,UAAU,WAAW,OACpC,YAAW,SAAS,UAAU;UACrB,CAAC,UACV,YAAW,SAAS;AAGtB,KAAI,mBAAmB,UAAU,iBAAiB,OAChD,YAAW,eAAe,UAAU;UAC3B,CAAC,gBACV,YAAW,eAAe;AAG5B,KAAI,kBAAkB,UAAU,gBAAgB,OAC9C,YAAW,cAAc,UAAU;UAC1B,CAAC,eACV,YAAW,cAAc;AAI3B,KAAI,UAAU,gBAAgB,OAC5B,YAAW,cAAc,UAAU;CAGrC,MAAM,SAAS,SACb,WAMD;CAID,MAAMC,WAKF,EAAE;AAEN,KAAI,mBAAmB,UAAU,iBAAiB,OAChD,UAAS,eAAe,UAAU;UACzB,CAAC,gBACV,UAAS,eAAe,EAAE;AAG5B,KAAI,qBAAqB,UAAU,mBAAmB,OACpD,UAAS,iBAAiB,UAAU;UAC3B,CAAC,kBACV,UAAS,iBAAiB,EAAE;AAG9B,KAAI,WAAW,UAAU,SAAS,OAChC,UAAS,OAAO,UAAU;UACjB,CAAC,QACV,UAAS,OAAO,EAAE;AAGpB,KAAI,cAAc,UAAU,YAAY,OACtC,UAAS,UAAU,UAAU;UACpB,CAAC,WACV,UAAS,UAAU,EAAE;CAGvB,MAAM,OAAO,OAAO,OAAO,KAAK,SAAS,CAAC,SAAS,IAAI,WAAW,OAAU;AAiE5E,QA7De;EACb,eACE,oBAAoB,UAAU,kBAAkB,SAC5C,UAAU,gBACV,oBAAoB,UAAU,kBAAkB,SAC7C,SACD,OAAO;EACf,QAAQ,OAAO;EACf,cAAc,OAAO;EAErB,cACE,mBAAmB,UAAU,iBAAiB,SACzC,SACD,CAAC,mBAAmB,UAAU,iBAAiB,SAC7C,KAAK,eACJ,EAAE;EACX,gBACE,qBAAqB,UAAU,mBAAmB,SAC7C,SACD,CAAC,qBAAqB,UAAU,mBAAmB,SACjD,KAAK,iBACJ,EAAE;EACX,MACE,WAAW,UAAU,SAAS,SACzB,SACD,CAAC,WAAW,UAAU,SAAS,SAC7B,KAAK,OACJ,EAAE;EACX,SACE,cAAc,UAAU,YAAY,SAC/B,SACD,CAAC,cAAc,UAAU,YAAY,SACnC,KAAK,UACJ,EAAE;EAEX,SACE,cAAc,UAAU,YAAY,SAC/B,SACD,cAAc,UAAU,YAAY,SACjC,UAAU,UACX,CAAC,aACE,EAAE,QAAQ,EAAE,EAAE,GACd,EAAE;EACb,QACE,aAAa,UAAU,WAAW,SAC7B,SACD,aAAa,UAAU,WAAW,SAC/B,UAAU,SACX,CAAC,YACC,EAAE,GACD,EAAE;EACb,WACE,gBAAgB,UAAU,cAAc,SACnC,SACD,gBAAgB,UAAU,cAAc,SACrC,UAAU,YACX,CAAC,eACC,EAAE,GACD,EAAE;EACd"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@prisma-next/emitter",
-  "version": "0.3.0-dev.5",
+  "version": "0.3.0-dev.50",
   "type": "module",
   "sideEffects": false,
   "files": [
@@ -10,36 +10,42 @@
   ],
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/contract": "0.3.0-dev.5",
-    "@prisma-next/core-control-plane": "0.3.0-dev.5"
+    "@prisma-next/contract": "0.3.0-dev.50",
+    "@prisma-next/core-control-plane": "0.3.0-dev.50"
   },
   "devDependencies": {
     "@types/node": "24.10.4",
-    "@vitest/coverage-v8": "4.0.16",
-    "tsup": "8.5.1",
+    "tsdown": "0.18.4",
     "typescript": "5.9.3",
-    "vitest": "4.0.16",
-    "@prisma-next/operations": "0.3.0-dev.5",
-    "@prisma-next/test-utils": "0.0.1"
+    "vitest": "4.0.17",
+    "@prisma-next/operations": "0.3.0-dev.50",
+    "@prisma-next/test-utils": "0.0.1",
+    "@prisma-next/tsconfig": "0.0.0",
+    "@prisma-next/tsdown": "0.0.0"
   },
   "exports": {
     ".": {
-      "types": "./dist/src/exports/index.d.ts",
-      "import": "./dist/exports/index.js"
+      "types": "./dist/exports/index.d.mts",
+      "import": "./dist/exports/index.mjs"
     },
     "./test/utils": {
-      "types": "./dist/test/utils.d.ts",
-      "import": "./dist/test/utils.js"
+      "types": "./dist/test/utils.d.mts",
+      "import": "./dist/test/utils.mjs"
     }
   },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/prisma/prisma-next.git",
+    "directory": "packages/1-framework/3-tooling/emitter"
+  },
   "scripts": {
-    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json",
+    "build": "tsdown",
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --project tsconfig.json --noEmit",
-    "lint": "biome check . --config-path ../../../../biome.json --error-on-warnings",
-    "lint:fix": "biome check --write . --config-path ../../../../biome.json",
-    "lint:fix:unsafe": "biome check --write --unsafe . --config-path ../../../../biome.json",
-    "clean": "node ../../../../scripts/clean.mjs"
+    "lint": "biome check . --error-on-warnings",
+    "lint:fix": "biome check --write .",
+    "lint:fix:unsafe": "biome check --write --unsafe .",
+    "clean": "rm -rf dist dist-tsc dist-tsc-prod coverage .tmp-output"
   }
 }

package/test/canonicalization.test.ts

@@ -6,7 +6,7 @@ describe('canonicalization', () => {
   it('orders top-level sections correctly', () => {
     const ir = createContractIR({
       capabilities: { postgres: { jsonAgg: true } },
-      meta: { source: 'test' },
+      meta: { emitterVersion: 'test' },
     });
 
     const result = canonicalizeContract(ir);
@@ -17,6 +17,7 @@ describe('canonicalization', () => {
     const targetFamilyIndex = keys.indexOf('targetFamily');
     const targetIndex = keys.indexOf('target');
     const modelsIndex = keys.indexOf('models');
+    const relationsIndex = keys.indexOf('relations');
     const storageIndex = keys.indexOf('storage');
     const capabilitiesIndex = keys.indexOf('capabilities');
     const metaIndex = keys.indexOf('meta');
@@ -24,6 +25,8 @@ describe('canonicalization', () => {
     expect(schemaVersionIndex).toBeLessThan(targetFamilyIndex);
     expect(targetFamilyIndex).toBeLessThan(targetIndex);
     expect(targetIndex).toBeLessThan(modelsIndex);
+    expect(modelsIndex).toBeLessThan(relationsIndex);
+    expect(relationsIndex).toBeLessThan(storageIndex);
     expect(modelsIndex).toBeLessThan(storageIndex);
     expect(storageIndex).toBeLessThan(capabilitiesIndex);
     expect(capabilitiesIndex).toBeLessThan(metaIndex);
@@ -55,6 +58,73 @@ describe('canonicalization', () => {
     expect(email['nullable']).toBe(true);
   });
 
+  it.each([
+    { nullable: false },
+    { nullable: undefined },
+  ])('omits nullable:false for columns with defaults (nullable=$nullable)', ({ nullable }) => {
+    const ir = createContractIR({
+      storage: {
+        tables: {
+          user: {
+            columns: {
+              created_at: {
+                codecId: 'pg/timestamptz@1',
+                nativeType: 'timestamptz',
+                nullable,
+                default: { kind: 'function', expression: 'now()' },
+              },
+              updated_at: {
+                codecId: 'pg/timestamptz@1',
+                nativeType: 'timestamptz',
+                nullable: true,
+              },
+            },
+          },
+        },
+      },
+    });
+
+    const result = canonicalizeContract(ir);
+    const parsed = JSON.parse(result) as Record<string, unknown>;
+    const storage = parsed['storage'] as Record<string, unknown>;
+    const tables = storage['tables'] as Record<string, unknown>;
+    const user = tables['user'] as Record<string, unknown>;
+    const columns = user['columns'] as Record<string, unknown>;
+    const createdAt = columns['created_at'] as Record<string, unknown>;
+    const updatedAt = columns['updated_at'] as Record<string, unknown>;
+    expect(createdAt['nullable']).toBeUndefined();
+    expect(updatedAt['nullable']).toBe(true);
+  });
+
+  it('preserves nullable:true for columns with defaults', () => {
+    const ir = createContractIR({
+      storage: {
+        tables: {
+          user: {
+            columns: {
+              bio: {
+                codecId: 'pg/text@1',
+                nativeType: 'text',
+                nullable: true,
+                default: { kind: 'literal', value: '' },
+              },
+            },
+          },
+        },
+      },
+    });
+
+    const result = canonicalizeContract(ir);
+    const parsed = JSON.parse(result) as Record<string, unknown>;
+    const storage = parsed['storage'] as Record<string, unknown>;
+    const tables = storage['tables'] as Record<string, unknown>;
+    const user = tables['user'] as Record<string, unknown>;
+    const columns = user['columns'] as Record<string, unknown>;
+    const bio = columns['bio'] as Record<string, unknown>;
+    expect(bio['nullable']).toBe(true);
+    expect(bio['default']).toEqual({ kind: 'literal', value: '' });
+  });
+
   it('omits empty arrays and objects except required ones', () => {
     const ir = createContractIR();
 
@@ -66,14 +136,12 @@ describe('canonicalization', () => {
         tables: expect.anything(),
       },
     });
-    // Required top-level fields (capabilities, extensionPacks, meta, relations, sources) are preserved even when empty
-    // because they are required by ContractIR and needed for round-trip tests
+    // Required top-level fields (capabilities, extensionPacks, meta, relations) are preserved even when empty.
     expect(parsed).toMatchObject({
       capabilities: expect.anything(),
       extensionPacks: expect.anything(),
       meta: expect.anything(),
       relations: expect.anything(),
-      sources: expect.anything(),
     });
   });
 
@@ -117,7 +185,7 @@ describe('canonicalization', () => {
     expect(result1).not.toBe(result2);
   });
 
-  it('sorts non-semantic arrays by canonical name', () => {
+  it('sorts indexes by canonical name', () => {
     const ir = createContractIR({
       storage: {
         tables: {
@@ -144,6 +212,60 @@ describe('canonicalization', () => {
     expect(indexNames).toEqual(['user_email_idx', 'user_name_idx']);
   });
 
+  it('sorts uniques by canonical name', () => {
+    const ir = createContractIR({
+      storage: {
+        tables: {
+          user: {
+            columns: {
+              id: { codecId: 'pg/int4@1', nativeType: 'int4', nullable: false },
+              email: { codecId: 'pg/text@1', nativeType: 'text', nullable: false },
+              username: { codecId: 'pg/text@1', nativeType: 'text', nullable: false },
+            },
+            uniques: [
+              { columns: ['username'], name: 'user_username_key' },
+              { columns: ['email'], name: 'user_email_key' },
+            ],
+          },
+        },
+      },
+    });
+
+    const result = canonicalizeContract(ir);
+    const parsed = JSON.parse(result) as Record<string, unknown>;
+    const storage = parsed['storage'] as Record<string, unknown>;
+    const tables = storage['tables'] as Record<string, unknown>;
+    const user = tables['user'] as Record<string, unknown>;
+    const uniques = user['uniques'] as Array<{ name: string }>;
+    const uniqueNames = uniques.map((u) => u.name);
+    expect(uniqueNames).toEqual(['user_email_key', 'user_username_key']);
+  });
+
+  it('preserves column order in composite unique constraints', () => {
+    const ir = createContractIR({
+      storage: {
+        tables: {
+          user: {
+            columns: {
+              id: { codecId: 'pg/int4@1', nativeType: 'int4', nullable: false },
+              first_name: { codecId: 'pg/text@1', nativeType: 'text', nullable: false },
+              last_name: { codecId: 'pg/text@1', nativeType: 'text', nullable: false },
+            },
+            uniques: [{ columns: ['last_name', 'first_name'], name: 'user_name_key' }],
+          },
+        },
+      },
+    });
+
+    const result = canonicalizeContract(ir);
+    const parsed = JSON.parse(result) as Record<string, unknown>;
+    const storage = parsed['storage'] as Record<string, unknown>;
+    const tables = storage['tables'] as Record<string, unknown>;
+    const user = tables['user'] as Record<string, unknown>;
+    const uniques = user['uniques'] as Array<{ columns: string[] }>;
+    expect(uniques[0]!.columns).toEqual(['last_name', 'first_name']);
+  });
+
   it('sorts nested object keys lexicographically', () => {
     const ir = createContractIR({
       storage: {

package/test/emitter.integration.test.ts

@@ -128,7 +128,7 @@ describe('emitter integration', () => {
 
       const result = await emit(ir, options, mockSqlHook);
 
-      expect(result.coreHash).toMatch(/^sha256:[a-f0-9]{64}$/);
+      expect(result.storageHash).toMatch(/^sha256:[a-f0-9]{64}$/);
       expect(result.contractDts).toContain('export type Contract');
       expect(result.contractDts).toContain('CodecTypes');
       expect(result.contractDts).toContain('LaneCodecTypes');
@@ -138,7 +138,7 @@ describe('emitter integration', () => {
         schemaVersion: '1',
         targetFamily: 'sql',
         target: 'postgres',
-        coreHash: result.coreHash,
+        storageHash: result.storageHash,
         storage: {
           tables: {
             user: expect.anything(),
@@ -197,78 +197,82 @@ describe('emitter integration', () => {
     const result1 = await emit(ir, options, mockSqlHook);
     const result2 = await emit(ir, options, mockSqlHook);
 
-    expect(result1.coreHash).toBe(result2.coreHash);
+    expect(result1.storageHash).toBe(result2.storageHash);
     expect(result1.contractDts).toBe(result2.contractDts);
     expect(result1.contractJson).toBe(result2.contractJson);
   });
 
-  it('round-trip: IR → JSON → parse JSON → compare', async () => {
-    const ir = createContractIR({
-      models: {
-        User: {
-          storage: { table: 'user' },
-          fields: {
-            id: { column: 'id' },
-            email: { column: 'email' },
+  it(
+    'round-trip: IR → JSON → parse JSON → compare',
+    async () => {
+      const ir = createContractIR({
+        models: {
+          User: {
+            storage: { table: 'user' },
+            fields: {
+              id: { column: 'id' },
+              email: { column: 'email' },
+            },
+            relations: {},
           },
-          relations: {},
         },
-      },
-      storage: {
-        tables: {
-          user: {
-            columns: {
-              id: { codecId: 'pg/int4@1', nativeType: 'int4', nullable: false },
-              email: { codecId: 'pg/text@1', nativeType: 'text', nullable: false },
+        storage: {
+          tables: {
+            user: {
+              columns: {
+                id: { codecId: 'pg/int4@1', nativeType: 'int4', nullable: false },
+                email: { codecId: 'pg/text@1', nativeType: 'text', nullable: false },
+              },
+              primaryKey: { columns: ['id'] },
+              uniques: [],
+              indexes: [],
+              foreignKeys: [],
             },
-            primaryKey: { columns: ['id'] },
-            uniques: [],
-            indexes: [],
-            foreignKeys: [],
           },
         },
-      },
-      extensionPacks: {
-        postgres: {
-          version: '0.0.1',
+        extensionPacks: {
+          postgres: {
+            version: '0.0.1',
+          },
+          pg: {},
         },
-        pg: {},
-      },
-    });
+      });
 
-    // Create minimal test data (emitter tests don't load packs)
-    const operationRegistry = createOperationRegistry();
-    const codecTypeImports: TypesImportSpec[] = [];
-    const operationTypeImports: TypesImportSpec[] = [];
-    const extensionIds = ['postgres', 'pg'];
-    const options: EmitOptions = {
-      outputDir: '',
-      operationRegistry,
-      codecTypeImports,
-      operationTypeImports,
-      extensionIds,
-    };
+      // Create minimal test data (emitter tests don't load packs)
+      const operationRegistry = createOperationRegistry();
+      const codecTypeImports: TypesImportSpec[] = [];
+      const operationTypeImports: TypesImportSpec[] = [];
+      const extensionIds = ['postgres', 'pg'];
+      const options: EmitOptions = {
+        outputDir: '',
+        operationRegistry,
+        codecTypeImports,
+        operationTypeImports,
+        extensionIds,
+      };
 
-    const result1 = await emit(ir, options, mockSqlHook);
-    const contractJson1 = JSON.parse(result1.contractJson) as Record<string, unknown>;
+      const result1 = await emit(ir, options, mockSqlHook);
+      const contractJson1 = JSON.parse(result1.contractJson) as Record<string, unknown>;
 
-    const ir2 = createContractIR({
-      schemaVersion: contractJson1['schemaVersion'] as string,
-      targetFamily: contractJson1['targetFamily'] as string,
-      target: contractJson1['target'] as string,
-      models: contractJson1['models'] as Record<string, unknown>,
-      relations: (contractJson1['relations'] as Record<string, unknown>) || {},
-      storage: contractJson1['storage'] as Record<string, unknown>,
-      extensionPacks: contractJson1['extensionPacks'] as Record<string, unknown>,
-      capabilities:
-        (contractJson1['capabilities'] as Record<string, Record<string, boolean>>) || {},
-      meta: (contractJson1['meta'] as Record<string, unknown>) || {},
-      sources: (contractJson1['sources'] as Record<string, unknown>) || {},
-    });
+      const ir2 = createContractIR({
+        schemaVersion: contractJson1['schemaVersion'] as string,
+        targetFamily: contractJson1['targetFamily'] as string,
+        target: contractJson1['target'] as string,
+        models: contractJson1['models'] as Record<string, unknown>,
+        relations: (contractJson1['relations'] as Record<string, unknown>) || {},
+        storage: contractJson1['storage'] as Record<string, unknown>,
+        extensionPacks: contractJson1['extensionPacks'] as Record<string, unknown>,
+        capabilities:
+          (contractJson1['capabilities'] as Record<string, Record<string, boolean>>) || {},
+        meta: (contractJson1['meta'] as Record<string, unknown>) || {},
+        sources: (contractJson1['sources'] as Record<string, unknown>) || {},
+      });
 
-    const result2 = await emit(ir2, options, mockSqlHook);
+      const result2 = await emit(ir2, options, mockSqlHook);
 
-    expect(result1.contractJson).toBe(result2.contractJson);
-    expect(result1.coreHash).toBe(result2.coreHash);
-  });
+      expect(result1.contractJson).toBe(result2.contractJson);
+      expect(result1.storageHash).toBe(result2.storageHash);
+    },
+    timeouts.typeScriptCompilation,
+  );
 });

package/test/emitter.roundtrip.test.ts

@@ -133,7 +133,7 @@ describe('emitter round-trip', () => {
       const result2 = await emit(ir2, options, mockSqlHook);
 
       expect(result1.contractJson).toBe(result2.contractJson);
-      expect(result1.coreHash).toBe(result2.coreHash);
+      expect(result1.storageHash).toBe(result2.storageHash);
     },
     timeouts.typeScriptCompilation,
   );
@@ -230,7 +230,7 @@ describe('emitter round-trip', () => {
     const result2 = await emit(ir2, options, mockSqlHook);
 
     expect(result1.contractJson).toBe(result2.contractJson);
-    expect(result1.coreHash).toBe(result2.coreHash);
+    expect(result1.storageHash).toBe(result2.storageHash);
   });
 
   it('round-trip with nullable fields', async () => {
@@ -289,7 +289,7 @@ describe('emitter round-trip', () => {
     const result2 = await emit(ir2, options, mockSqlHook);
 
     expect(result1.contractJson).toBe(result2.contractJson);
-    expect(result1.coreHash).toBe(result2.coreHash);
+    expect(result1.storageHash).toBe(result2.storageHash);
 
     const parsed2 = JSON.parse(result2.contractJson) as Record<string, unknown>;
     const storage = parsed2['storage'] as Record<string, unknown>;
@@ -364,7 +364,7 @@ describe('emitter round-trip', () => {
     const result2 = await emit(ir2, options, mockSqlHook);
 
     expect(result1.contractJson).toBe(result2.contractJson);
-    expect(result1.coreHash).toBe(result2.coreHash);
+    expect(result1.storageHash).toBe(result2.storageHash);
     expect(result1.profileHash).toBe(result2.profileHash);
   });
 });

package/test/emitter.test.ts

@@ -1,8 +1,9 @@
 import type { ContractIR } from '@prisma-next/contract/ir';
 import type {
+  GenerateContractTypesOptions,
   TargetFamilyHook,
+  TypeRenderEntry,
   TypesImportSpec,
-  ValidationContext,
 } from '@prisma-next/contract/types';
 import type { EmitOptions } from '@prisma-next/core-control-plane/emission';
 import { emit } from '@prisma-next/core-control-plane/emission';
@@ -13,7 +14,7 @@ import { createContractIR } from './utils';
 
 const mockSqlHook: TargetFamilyHook = {
   id: 'sql',
-  validateTypes: (ir: ContractIR, _ctx: ValidationContext) => {
+  validateTypes: (ir: ContractIR) => {
     const storage = ir.storage as
       | { tables?: Record<string, { columns?: Record<string, { codecId?: string }> }> }
       | undefined;
@@ -45,11 +46,12 @@ const mockSqlHook: TargetFamilyHook = {
       throw new Error(`Expected targetFamily "sql", got "${ir.targetFamily}"`);
     }
   },
-  generateContractTypes: (ir: ContractIR, _codecTypeImports, _operationTypeImports) => {
+  generateContractTypes: (ir: ContractIR, _codecTypeImports, _operationTypeImports, _hashes) => {
     // Access ir properties to satisfy lint rules, but we don't use them in the mock
     void ir;
     void _codecTypeImports;
     void _operationTypeImports;
+    void _hashes;
     return `// Generated contract types
 export type CodecTypes = Record<string, never>;
 export type LaneCodecTypes = CodecTypes;
@@ -109,7 +111,7 @@ describe('emitter', () => {
       };
 
       const result = await emit(ir, options, mockSqlHook);
-      expect(result.coreHash).toMatch(/^sha256:[a-f0-9]{64}$/);
+      expect(result.storageHash).toMatch(/^sha256:[a-f0-9]{64}$/);
       expect(result.contractDts).toContain('export type Contract');
       expect(result.contractDts).toContain('CodecTypes');
 
@@ -570,10 +572,12 @@ describe('emitter', () => {
     await expect(emit(ir, options, mockSqlHook)).rejects.toThrow('ContractIR must have meta');
   });
 
-  it('throws error when sources is missing', async () => {
+  it('omits sources from emitted contract artifact', async () => {
     const ir = createContractIR({
-      sources: undefined as unknown as Record<string, unknown>,
-    }) as ContractIR;
+      sources: {
+        schema: { sourceId: 'schema.prisma' },
+      },
+    });
 
     const operationRegistry = createOperationRegistry();
     const options: EmitOptions = {
@@ -584,24 +588,68 @@ describe('emitter', () => {
       extensionIds: [],
     };
 
-    await expect(emit(ir, options, mockSqlHook)).rejects.toThrow('ContractIR must have sources');
+    const result = await emit(ir, options, mockSqlHook);
+    const contractJson = JSON.parse(result.contractJson) as Record<string, unknown>;
+    expect(contractJson).not.toHaveProperty('sources');
   });
 
-  it('throws error when sources is not an object', async () => {
+  it('accepts meta keys when family validation allows them', async () => {
     const ir = createContractIR({
-      sources: 'not-an-object' as unknown as Record<string, unknown>,
-    }) as ContractIR;
+      meta: {
+        sourceId: 'schema.prisma',
+        schemaPath: '/tmp/schema.prisma',
+        source: 'psl',
+      },
+    });
 
-    const operationRegistry = createOperationRegistry();
     const options: EmitOptions = {
       outputDir: '',
-      operationRegistry,
+      operationRegistry: createOperationRegistry(),
+      codecTypeImports: [],
+      operationTypeImports: [],
+      extensionIds: [],
+    };
+
+    await expect(emit(ir, options, mockSqlHook)).resolves.toMatchObject({
+      contractJson: expect.any(String),
+      contractDts: expect.any(String),
+    });
+  });
+
+  it('accepts canonical section keys when family validation allows them', async () => {
+    const ir = createContractIR({
+      storage: {
+        tables: {
+          user: {
+            columns: {
+              id: {
+                codecId: 'pg/int4@1',
+                nativeType: 'int4',
+                nullable: false,
+                sourceId: 'schema.prisma',
+              },
+            },
+            primaryKey: { columns: ['id'] },
+            uniques: [],
+            indexes: [],
+            foreignKeys: [],
+          },
+        },
+      } as unknown as Record<string, unknown>,
+    });
+
+    const options: EmitOptions = {
+      outputDir: '',
+      operationRegistry: createOperationRegistry(),
       codecTypeImports: [],
       operationTypeImports: [],
       extensionIds: [],
     };
 
-    await expect(emit(ir, options, mockSqlHook)).rejects.toThrow('ContractIR must have sources');
+    await expect(emit(ir, options, mockSqlHook)).resolves.toMatchObject({
+      contractJson: expect.any(String),
+      contractDts: expect.any(String),
+    });
   });
 
   it('emits contract even when extensionIds are not in contract.extensionPacks', async () => {
@@ -623,9 +671,10 @@ describe('emitter', () => {
           throw new Error(`Expected targetFamily "sql", got "${ir.targetFamily}"`);
         }
       },
-      generateContractTypes: (_ir, _codecTypeImports, _operationTypeImports) => {
+      generateContractTypes: (_ir, _codecTypeImports, _operationTypeImports, _hashes) => {
         void _codecTypeImports;
         void _operationTypeImports;
+        void _hashes;
         return `// Generated contract types
 export type CodecTypes = Record<string, never>;
 export type LaneCodecTypes = CodecTypes;
@@ -647,4 +696,56 @@ export type Contract = unknown;
     expect(result.contractJson).toBeDefined();
     expect(result.contractDts).toBeDefined();
   });
+
+  it('passes parameterizedRenderers to generateContractTypes options', async () => {
+    const ir = createContractIR({
+      storage: {
+        tables: {},
+      },
+    });
+
+    let receivedOptions: GenerateContractTypesOptions | undefined;
+
+    const mockHookCapturingOptions: TargetFamilyHook = {
+      id: 'sql',
+      validateTypes: () => {},
+      validateStructure: () => {},
+      generateContractTypes: (_ir, _codecTypeImports, _operationTypeImports, _hashes, options) => {
+        receivedOptions = options;
+        return `// Generated contract types
+export type CodecTypes = Record<string, never>;
+export type LaneCodecTypes = CodecTypes;
+export type Contract = unknown;
+`;
+      },
+    };
+
+    const vectorRenderer: TypeRenderEntry = {
+      codecId: 'pg/vector@1',
+      render: (params) => `Vector<${params['length']}>`,
+    };
+
+    const parameterizedRenderers = new Map<string, TypeRenderEntry>();
+    parameterizedRenderers.set('pg/vector@1', vectorRenderer);
+
+    const options: EmitOptions = {
+      outputDir: '',
+      operationRegistry: createOperationRegistry(),
+      codecTypeImports: [],
+      operationTypeImports: [],
+      extensionIds: [],
+      parameterizedRenderers,
+    };
+
+    await emit(ir, options, mockHookCapturingOptions);
+
+    expect(receivedOptions).toBeDefined();
+    expect(receivedOptions?.parameterizedRenderers).toBeDefined();
+    expect(receivedOptions?.parameterizedRenderers?.size).toBe(1);
+
+    const entry = receivedOptions?.parameterizedRenderers?.get('pg/vector@1');
+    expect(entry).toBeDefined();
+    expect(entry?.codecId).toBe('pg/vector@1');
+    expect(entry?.render({ length: 1536 }, { codecTypesName: 'CodecTypes' })).toBe('Vector<1536>');
+  });
 });

package/test/factories.test.ts

@@ -7,13 +7,13 @@ describe('emitter factories', () => {
       const header = irHeader({
         target: 'postgres',
         targetFamily: 'sql',
-        coreHash: 'sha256:abc123',
+        storageHash: 'sha256:abc123',
       });
       expect(header).toEqual({
         schemaVersion: '1',
         target: 'postgres',
         targetFamily: 'sql',
-        coreHash: 'sha256:abc123',
+        storageHash: 'sha256:abc123',
       });
     });
 
@@ -21,14 +21,14 @@ describe('emitter factories', () => {
       const header = irHeader({
         target: 'postgres',
         targetFamily: 'sql',
-        coreHash: 'sha256:abc123',
+        storageHash: 'sha256:abc123',
         profileHash: 'sha256:def456',
       });
       expect(header).toEqual({
         schemaVersion: '1',
         target: 'postgres',
         targetFamily: 'sql',
-        coreHash: 'sha256:abc123',
+        storageHash: 'sha256:abc123',
         profileHash: 'sha256:def456',
       });
     });
@@ -37,7 +37,7 @@ describe('emitter factories', () => {
       const header = irHeader({
         target: 'mongodb',
         targetFamily: 'document',
-        coreHash: 'sha256:xyz789',
+        storageHash: 'sha256:xyz789',
       });
       expect(header.targetFamily).toBe('document');
       expect(header.target).toBe('mongodb');
@@ -149,7 +149,7 @@ describe('emitter factories', () => {
       const header = irHeader({
         target: 'postgres',
         targetFamily: 'sql',
-        coreHash: 'sha256:abc123',
+        storageHash: 'sha256:abc123',
       });
       const meta = irMeta({
         capabilities: {
@@ -171,7 +171,7 @@ describe('emitter factories', () => {
       expect(ir.schemaVersion).toBe('1');
       expect(ir.target).toBe('postgres');
       expect(ir.targetFamily).toBe('sql');
-      // Note: coreHash is not part of ContractIR (it's computed by emitter)
+      // Note: storageHash is not part of ContractIR (it's computed by emitter)
       expect(ir.storage).toEqual(storage);
       expect(ir.models).toEqual(models);
       expect(ir.relations).toEqual(relations);
@@ -187,7 +187,7 @@ describe('emitter factories', () => {
       const header = irHeader({
         target: 'postgres',
         targetFamily: 'sql',
-        coreHash: 'sha256:abc123',
+        storageHash: 'sha256:abc123',
         profileHash: 'sha256:def456',
       });
       const meta = irMeta({});
@@ -213,7 +213,7 @@ describe('emitter factories', () => {
       const header = irHeader({
         target: 'postgres',
         targetFamily: 'sql',
-        coreHash: 'sha256:abc123',
+        storageHash: 'sha256:abc123',
       });
       const meta = irMeta({
         capabilities: {
@@ -251,7 +251,7 @@ describe('emitter factories', () => {
       const header = irHeader({
         target: 'mongodb',
         targetFamily: 'document',
-        coreHash: 'sha256:xyz789',
+        storageHash: 'sha256:xyz789',
       });
       const meta = irMeta({});
       const storage = { document: { collections: {} } };

package/test/hashing.test.ts

@@ -1,8 +1,8 @@
-import { computeCoreHash, computeProfileHash } from '@prisma-next/core-control-plane/emission';
+import { computeProfileHash, computeStorageHash } from '@prisma-next/core-control-plane/emission';
 import { describe, expect, it } from 'vitest';
 
 describe('hashing', () => {
-  it('computes core hash', () => {
+  it('computes storage hash', () => {
     const contract = {
       schemaVersion: '1',
       targetFamily: 'sql',
@@ -16,7 +16,7 @@ describe('hashing', () => {
       sources: {},
     };
 
-    const hash = computeCoreHash(contract);
+    const hash = computeStorageHash(contract);
     expect(hash).toMatch(/^sha256:[a-f0-9]{64}$/);
   });
 
@@ -52,8 +52,8 @@ describe('hashing', () => {
       sources: {},
     };
 
-    const hash1 = computeCoreHash(contract);
-    const hash2 = computeCoreHash(contract);
+    const hash1 = computeStorageHash(contract);
+    const hash2 = computeStorageHash(contract);
     expect(hash1).toBe(hash2);
   });
 });

package/test/utils.ts

@@ -9,12 +9,12 @@ import { type ContractIR, irHeader, irMeta } from '@prisma-next/contract/ir';
  * from the result (useful for testing validation of missing fields).
  */
 export function createContractIR(
-  overrides: Partial<ContractIR> & { coreHash?: string; profileHash?: string } = {},
+  overrides: Partial<ContractIR> & { storageHash?: string; profileHash?: string } = {},
 ): ContractIR {
   // Check if fields are explicitly undefined (not just missing)
   const hasTarget = 'target' in overrides;
   const hasTargetFamily = 'targetFamily' in overrides;
-  const hasCoreHash = 'coreHash' in overrides;
+  const hasStorageHash = 'storageHash' in overrides;
   const hasSchemaVersion = 'schemaVersion' in overrides;
   const hasModels = 'models' in overrides;
   const hasRelations = 'relations' in overrides;
@@ -28,7 +28,7 @@ export function createContractIR(
   const headerOpts: {
     target?: string;
     targetFamily?: string;
-    coreHash?: string;
+    storageHash?: string;
     profileHash?: string;
   } = {};
 
@@ -44,10 +44,10 @@ export function createContractIR(
     headerOpts.targetFamily = 'sql';
   }
 
-  if (hasCoreHash && overrides.coreHash !== undefined) {
-    headerOpts.coreHash = overrides.coreHash;
-  } else if (!hasCoreHash) {
-    headerOpts.coreHash = 'sha256:test';
+  if (hasStorageHash && overrides.storageHash !== undefined) {
+    headerOpts.storageHash = overrides.storageHash;
+  } else if (!hasStorageHash) {
+    headerOpts.storageHash = 'sha256:test';
   }
 
   // profileHash is not part of ContractIR, but we can accept it for header creation
@@ -59,7 +59,7 @@ export function createContractIR(
     headerOpts as {
       target: string;
       targetFamily: string;
-      coreHash: string;
+      storageHash: string;
       profileHash?: string;
     },
   );
@@ -99,7 +99,7 @@ export function createContractIR(
 
   const meta = irMeta(Object.keys(metaOpts).length > 0 ? metaOpts : undefined);
 
-  // Build result by constructing the object directly (ContractIR doesn't include coreHash/profileHash)
+  // Build result by constructing the object directly (ContractIR doesn't include storageHash/profileHash)
   // When fields are explicitly undefined, include them as undefined (tests use type assertions to bypass TS)
   const result = {
     schemaVersion:

package/dist/exports/index.js

@@ -1,6 +0,0 @@
-// src/exports/index.ts
-import { emit } from "@prisma-next/core-control-plane/emission";
-export {
-  emit
-};
-//# sourceMappingURL=index.js.map

package/dist/exports/index.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../../src/exports/index.ts"],"sourcesContent":["// Re-export types from @prisma-next/contract for backward compatibility\nexport type {\n  TargetFamilyHook,\n  TypesImportSpec,\n  ValidationContext,\n} from '@prisma-next/contract/types';\nexport type { EmitOptions, EmitResult } from '@prisma-next/core-control-plane/emission';\n// Re-export emit function and types from core-control-plane\nexport { emit } from '@prisma-next/core-control-plane/emission';\n"],"mappings":";AAQA,SAAS,YAAY;","names":[]}

package/dist/src/exports/index.d.ts

@@ -1,4 +0,0 @@
-export type { TargetFamilyHook, TypesImportSpec, ValidationContext, } from '@prisma-next/contract/types';
-export type { EmitOptions, EmitResult } from '@prisma-next/core-control-plane/emission';
-export { emit } from '@prisma-next/core-control-plane/emission';
-//# sourceMappingURL=index.d.ts.map

package/dist/src/exports/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/exports/index.ts"],"names":[],"mappings":"AACA,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AAExF,OAAO,EAAE,IAAI,EAAE,MAAM,0CAA0C,CAAC"}

package/dist/src/target-family.d.ts

@@ -1,2 +0,0 @@
-export type { TargetFamilyHook, TypesImportSpec, ValidationContext, } from '@prisma-next/contract/types';
-//# sourceMappingURL=target-family.d.ts.map

package/dist/src/target-family.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"target-family.d.ts","sourceRoot":"","sources":["../../src/target-family.ts"],"names":[],"mappings":"AAEA,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,iBAAiB,GAClB,MAAM,6BAA6B,CAAC"}

package/dist/test/utils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../test/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAoB,MAAM,0BAA0B,CAAC;AAE7E;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,GAAE,OAAO,CAAC,UAAU,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAO,GAChF,UAAU,CAyJZ"}

package/dist/test/utils.js

@@ -1,78 +0,0 @@
-// test/utils.ts
-import { irHeader, irMeta } from "@prisma-next/contract/ir";
-function createContractIR(overrides = {}) {
-  const hasTarget = "target" in overrides;
-  const hasTargetFamily = "targetFamily" in overrides;
-  const hasCoreHash = "coreHash" in overrides;
-  const hasSchemaVersion = "schemaVersion" in overrides;
-  const hasModels = "models" in overrides;
-  const hasRelations = "relations" in overrides;
-  const hasStorage = "storage" in overrides;
-  const hasCapabilities = "capabilities" in overrides;
-  const hasExtensionPacks = "extensionPacks" in overrides;
-  const hasMeta = "meta" in overrides;
-  const hasSources = "sources" in overrides;
-  const headerOpts = {};
-  if (hasTarget && overrides.target !== void 0) {
-    headerOpts.target = overrides.target;
-  } else if (!hasTarget) {
-    headerOpts.target = "postgres";
-  }
-  if (hasTargetFamily && overrides.targetFamily !== void 0) {
-    headerOpts.targetFamily = overrides.targetFamily;
-  } else if (!hasTargetFamily) {
-    headerOpts.targetFamily = "sql";
-  }
-  if (hasCoreHash && overrides.coreHash !== void 0) {
-    headerOpts.coreHash = overrides.coreHash;
-  } else if (!hasCoreHash) {
-    headerOpts.coreHash = "sha256:test";
-  }
-  if (overrides.profileHash !== void 0) {
-    headerOpts.profileHash = overrides.profileHash;
-  }
-  const header = irHeader(
-    headerOpts
-  );
-  const metaOpts = {};
-  if (hasCapabilities && overrides.capabilities !== void 0) {
-    metaOpts.capabilities = overrides.capabilities;
-  } else if (!hasCapabilities) {
-    metaOpts.capabilities = {};
-  }
-  if (hasExtensionPacks && overrides.extensionPacks !== void 0) {
-    metaOpts.extensionPacks = overrides.extensionPacks;
-  } else if (!hasExtensionPacks) {
-    metaOpts.extensionPacks = {};
-  }
-  if (hasMeta && overrides.meta !== void 0) {
-    metaOpts.meta = overrides.meta;
-  } else if (!hasMeta) {
-    metaOpts.meta = {};
-  }
-  if (hasSources && overrides.sources !== void 0) {
-    metaOpts.sources = overrides.sources;
-  } else if (!hasSources) {
-    metaOpts.sources = {};
-  }
-  const meta = irMeta(Object.keys(metaOpts).length > 0 ? metaOpts : void 0);
-  const result = {
-    schemaVersion: hasSchemaVersion && overrides.schemaVersion !== void 0 ? overrides.schemaVersion : hasSchemaVersion && overrides.schemaVersion === void 0 ? void 0 : header.schemaVersion,
-    target: header.target,
-    targetFamily: header.targetFamily,
-    // Only include meta fields if they're not explicitly undefined
-    capabilities: hasCapabilities && overrides.capabilities === void 0 ? void 0 : !hasCapabilities || overrides.capabilities !== void 0 ? meta.capabilities : {},
-    extensionPacks: hasExtensionPacks && overrides.extensionPacks === void 0 ? void 0 : !hasExtensionPacks || overrides.extensionPacks !== void 0 ? meta.extensionPacks : {},
-    meta: hasMeta && overrides.meta === void 0 ? void 0 : !hasMeta || overrides.meta !== void 0 ? meta.meta : {},
-    sources: hasSources && overrides.sources === void 0 ? void 0 : !hasSources || overrides.sources !== void 0 ? meta.sources : {},
-    // Only include family sections if they're not explicitly undefined
-    storage: hasStorage && overrides.storage === void 0 ? void 0 : hasStorage && overrides.storage !== void 0 ? overrides.storage : !hasStorage ? { tables: {} } : {},
-    models: hasModels && overrides.models === void 0 ? void 0 : hasModels && overrides.models !== void 0 ? overrides.models : !hasModels ? {} : {},
-    relations: hasRelations && overrides.relations === void 0 ? void 0 : hasRelations && overrides.relations !== void 0 ? overrides.relations : !hasRelations ? {} : {}
-  };
-  return result;
-}
-export {
-  createContractIR
-};
-//# sourceMappingURL=utils.js.map

package/dist/test/utils.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../../test/utils.ts"],"sourcesContent":["import { type ContractIR, irHeader, irMeta } from '@prisma-next/contract/ir';\n\n/**\n * Factory function for creating ContractIR objects in tests.\n * Provides sensible defaults and allows overriding specific fields.\n * Uses the emitter factories internally for consistency.\n *\n * If a field is explicitly set to `undefined` in overrides, it will be omitted\n * from the result (useful for testing validation of missing fields).\n */\nexport function createContractIR(\n  overrides: Partial<ContractIR> & { coreHash?: string; profileHash?: string } = {},\n): ContractIR {\n  // Check if fields are explicitly undefined (not just missing)\n  const hasTarget = 'target' in overrides;\n  const hasTargetFamily = 'targetFamily' in overrides;\n  const hasCoreHash = 'coreHash' in overrides;\n  const hasSchemaVersion = 'schemaVersion' in overrides;\n  const hasModels = 'models' in overrides;\n  const hasRelations = 'relations' in overrides;\n  const hasStorage = 'storage' in overrides;\n  const hasCapabilities = 'capabilities' in overrides;\n  const hasExtensionPacks = 'extensionPacks' in overrides;\n  const hasMeta = 'meta' in overrides;\n  const hasSources = 'sources' in overrides;\n\n  // Build header, omitting fields that are explicitly undefined\n  const headerOpts: {\n    target?: string;\n    targetFamily?: string;\n    coreHash?: string;\n    profileHash?: string;\n  } = {};\n\n  if (hasTarget && overrides.target !== undefined) {\n    headerOpts.target = overrides.target;\n  } else if (!hasTarget) {\n    headerOpts.target = 'postgres';\n  }\n\n  if (hasTargetFamily && overrides.targetFamily !== undefined) {\n    headerOpts.targetFamily = overrides.targetFamily;\n  } else if (!hasTargetFamily) {\n    headerOpts.targetFamily = 'sql';\n  }\n\n  if (hasCoreHash && overrides.coreHash !== undefined) {\n    headerOpts.coreHash = overrides.coreHash;\n  } else if (!hasCoreHash) {\n    headerOpts.coreHash = 'sha256:test';\n  }\n\n  // profileHash is not part of ContractIR, but we can accept it for header creation\n  if (overrides.profileHash !== undefined) {\n    headerOpts.profileHash = overrides.profileHash;\n  }\n\n  const header = irHeader(\n    headerOpts as {\n      target: string;\n      targetFamily: string;\n      coreHash: string;\n      profileHash?: string;\n    },\n  );\n\n  // Build meta, handling explicitly undefined fields\n  // If a field is explicitly undefined, we'll omit it from the result later\n  const metaOpts: {\n    capabilities?: Record<string, Record<string, boolean>>;\n    extensionPacks?: Record<string, unknown>;\n    meta?: Record<string, unknown>;\n    sources?: Record<string, unknown>;\n  } = {};\n\n  if (hasCapabilities && overrides.capabilities !== undefined) {\n    metaOpts.capabilities = overrides.capabilities;\n  } else if (!hasCapabilities) {\n    metaOpts.capabilities = {};\n  }\n\n  if (hasExtensionPacks && overrides.extensionPacks !== undefined) {\n    metaOpts.extensionPacks = overrides.extensionPacks;\n  } else if (!hasExtensionPacks) {\n    metaOpts.extensionPacks = {};\n  }\n\n  if (hasMeta && overrides.meta !== undefined) {\n    metaOpts.meta = overrides.meta;\n  } else if (!hasMeta) {\n    metaOpts.meta = {};\n  }\n\n  if (hasSources && overrides.sources !== undefined) {\n    metaOpts.sources = overrides.sources;\n  } else if (!hasSources) {\n    metaOpts.sources = {};\n  }\n\n  const meta = irMeta(Object.keys(metaOpts).length > 0 ? metaOpts : undefined);\n\n  // Build result by constructing the object directly (ContractIR doesn't include coreHash/profileHash)\n  // When fields are explicitly undefined, include them as undefined (tests use type assertions to bypass TS)\n  const result = {\n    schemaVersion:\n      hasSchemaVersion && overrides.schemaVersion !== undefined\n        ? overrides.schemaVersion\n        : hasSchemaVersion && overrides.schemaVersion === undefined\n          ? (undefined as unknown as string)\n          : header.schemaVersion,\n    target: header.target,\n    targetFamily: header.targetFamily,\n    // Only include meta fields if they're not explicitly undefined\n    capabilities:\n      hasCapabilities && overrides.capabilities === undefined\n        ? (undefined as unknown as Record<string, Record<string, boolean>>)\n        : !hasCapabilities || overrides.capabilities !== undefined\n          ? meta.capabilities\n          : ({} as Record<string, Record<string, boolean>>),\n    extensionPacks:\n      hasExtensionPacks && overrides.extensionPacks === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : !hasExtensionPacks || overrides.extensionPacks !== undefined\n          ? meta.extensionPacks\n          : ({} as Record<string, unknown>),\n    meta:\n      hasMeta && overrides.meta === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : !hasMeta || overrides.meta !== undefined\n          ? meta.meta\n          : ({} as Record<string, unknown>),\n    sources:\n      hasSources && overrides.sources === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : !hasSources || overrides.sources !== undefined\n          ? meta.sources\n          : ({} as Record<string, unknown>),\n    // Only include family sections if they're not explicitly undefined\n    storage:\n      hasStorage && overrides.storage === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : hasStorage && overrides.storage !== undefined\n          ? (overrides.storage as Record<string, unknown>)\n          : !hasStorage\n            ? ({ tables: {} } as Record<string, unknown>)\n            : ({} as Record<string, unknown>),\n    models:\n      hasModels && overrides.models === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : hasModels && overrides.models !== undefined\n          ? (overrides.models as Record<string, unknown>)\n          : !hasModels\n            ? {}\n            : ({} as Record<string, unknown>),\n    relations:\n      hasRelations && overrides.relations === undefined\n        ? (undefined as unknown as Record<string, unknown>)\n        : hasRelations && overrides.relations !== undefined\n          ? (overrides.relations as Record<string, unknown>)\n          : !hasRelations\n            ? {}\n            : ({} as Record<string, unknown>),\n  } as ContractIR;\n\n  return result;\n}\n"],"mappings":";AAAA,SAA0B,UAAU,cAAc;AAU3C,SAAS,iBACd,YAA+E,CAAC,GACpE;AAEZ,QAAM,YAAY,YAAY;AAC9B,QAAM,kBAAkB,kBAAkB;AAC1C,QAAM,cAAc,cAAc;AAClC,QAAM,mBAAmB,mBAAmB;AAC5C,QAAM,YAAY,YAAY;AAC9B,QAAM,eAAe,eAAe;AACpC,QAAM,aAAa,aAAa;AAChC,QAAM,kBAAkB,kBAAkB;AAC1C,QAAM,oBAAoB,oBAAoB;AAC9C,QAAM,UAAU,UAAU;AAC1B,QAAM,aAAa,aAAa;AAGhC,QAAM,aAKF,CAAC;AAEL,MAAI,aAAa,UAAU,WAAW,QAAW;AAC/C,eAAW,SAAS,UAAU;AAAA,EAChC,WAAW,CAAC,WAAW;AACrB,eAAW,SAAS;AAAA,EACtB;AAEA,MAAI,mBAAmB,UAAU,iBAAiB,QAAW;AAC3D,eAAW,eAAe,UAAU;AAAA,EACtC,WAAW,CAAC,iBAAiB;AAC3B,eAAW,eAAe;AAAA,EAC5B;AAEA,MAAI,eAAe,UAAU,aAAa,QAAW;AACnD,eAAW,WAAW,UAAU;AAAA,EAClC,WAAW,CAAC,aAAa;AACvB,eAAW,WAAW;AAAA,EACxB;AAGA,MAAI,UAAU,gBAAgB,QAAW;AACvC,eAAW,cAAc,UAAU;AAAA,EACrC;AAEA,QAAM,SAAS;AAAA,IACb;AAAA,EAMF;AAIA,QAAM,WAKF,CAAC;AAEL,MAAI,mBAAmB,UAAU,iBAAiB,QAAW;AAC3D,aAAS,eAAe,UAAU;AAAA,EACpC,WAAW,CAAC,iBAAiB;AAC3B,aAAS,eAAe,CAAC;AAAA,EAC3B;AAEA,MAAI,qBAAqB,UAAU,mBAAmB,QAAW;AAC/D,aAAS,iBAAiB,UAAU;AAAA,EACtC,WAAW,CAAC,mBAAmB;AAC7B,aAAS,iBAAiB,CAAC;AAAA,EAC7B;AAEA,MAAI,WAAW,UAAU,SAAS,QAAW;AAC3C,aAAS,OAAO,UAAU;AAAA,EAC5B,WAAW,CAAC,SAAS;AACnB,aAAS,OAAO,CAAC;AAAA,EACnB;AAEA,MAAI,cAAc,UAAU,YAAY,QAAW;AACjD,aAAS,UAAU,UAAU;AAAA,EAC/B,WAAW,CAAC,YAAY;AACtB,aAAS,UAAU,CAAC;AAAA,EACtB;AAEA,QAAM,OAAO,OAAO,OAAO,KAAK,QAAQ,EAAE,SAAS,IAAI,WAAW,MAAS;AAI3E,QAAM,SAAS;AAAA,IACb,eACE,oBAAoB,UAAU,kBAAkB,SAC5C,UAAU,gBACV,oBAAoB,UAAU,kBAAkB,SAC7C,SACD,OAAO;AAAA,IACf,QAAQ,OAAO;AAAA,IACf,cAAc,OAAO;AAAA;AAAA,IAErB,cACE,mBAAmB,UAAU,iBAAiB,SACzC,SACD,CAAC,mBAAmB,UAAU,iBAAiB,SAC7C,KAAK,eACJ,CAAC;AAAA,IACV,gBACE,qBAAqB,UAAU,mBAAmB,SAC7C,SACD,CAAC,qBAAqB,UAAU,mBAAmB,SACjD,KAAK,iBACJ,CAAC;AAAA,IACV,MACE,WAAW,UAAU,SAAS,SACzB,SACD,CAAC,WAAW,UAAU,SAAS,SAC7B,KAAK,OACJ,CAAC;AAAA,IACV,SACE,cAAc,UAAU,YAAY,SAC/B,SACD,CAAC,cAAc,UAAU,YAAY,SACnC,KAAK,UACJ,CAAC;AAAA;AAAA,IAEV,SACE,cAAc,UAAU,YAAY,SAC/B,SACD,cAAc,UAAU,YAAY,SACjC,UAAU,UACX,CAAC,aACE,EAAE,QAAQ,CAAC,EAAE,IACb,CAAC;AAAA,IACZ,QACE,aAAa,UAAU,WAAW,SAC7B,SACD,aAAa,UAAU,WAAW,SAC/B,UAAU,SACX,CAAC,YACC,CAAC,IACA,CAAC;AAAA,IACZ,WACE,gBAAgB,UAAU,cAAc,SACnC,SACD,gBAAgB,UAAU,cAAc,SACrC,UAAU,YACX,CAAC,eACC,CAAC,IACA,CAAC;AAAA,EACd;AAEA,SAAO;AACT;","names":[]}