@prisma-next/emitter 0.3.0-dev.6 → 0.3.0-dev.63

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [2026] [Prisma Data, Inc]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

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`)
@@ -121,7 +122,7 @@ This package is part of the **framework domain**, **tooling layer**, **migration
 
 ## Related ADRs
 
-- [ADR 004 - Core Hash vs Profile Hash](../../../../docs/architecture%20docs/adrs/ADR%20004%20-%20Core%20Hash%20vs%20Profile%20Hash.md)
+- [ADR 004 - Storage Hash vs Profile Hash](../../../../docs/architecture%20docs/adrs/ADR%20004%20-%20Storage%20Hash%20vs%20Profile%20Hash.md)
 - [ADR 006 - Dual Authoring Modes](../../../../docs/architecture%20docs/adrs/ADR%20006%20-%20Dual%20Authoring%20Modes.md)
 - [ADR 007 - Types Only Emission](../../../../docs/architecture%20docs/adrs/ADR%20007%20-%20Types%20Only%20Emission.md)
 - [ADR 010 - Canonicalization Rules](../../../../docs/architecture%20docs/adrs/ADR%20010%20-%20Canonicalization%20Rules.md)
@@ -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.6",
+  "version": "0.3.0-dev.63",
   "type": "module",
   "sideEffects": false,
   "files": [
@@ -10,36 +10,42 @@
   ],
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/contract": "0.3.0-dev.6",
-    "@prisma-next/core-control-plane": "0.3.0-dev.6"
+    "@prisma-next/core-control-plane": "0.3.0-dev.63",
+    "@prisma-next/contract": "0.3.0-dev.63"
   },
   "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.6",
-    "@prisma-next/test-utils": "0.0.1"
+    "vitest": "4.0.17",
+    "@prisma-next/test-utils": "0.0.1",
+    "@prisma-next/tsconfig": "0.0.0",
+    "@prisma-next/operations": "0.3.0-dev.63",
+    "@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: {