@prisma-next/cli 0.14.0-dev.4 → 0.14.0-dev.40

package/dist/{types-C_tYiJYx.d.mts → types-CKgJmH02.d.mts}

@@ -1,10 +1,10 @@
 import { CliStructuredError as CliStructuredError$1 } from "@prisma-next/errors/control";
 import { Result } from "@prisma-next/utils/result";
-import { ContractSourceDiagnostics, ContractSourceProvider } from "@prisma-next/config/config-types";
 import { ControlAdapterDescriptor, ControlDriverDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlFamilyDescriptor, ControlFamilyInstance, ControlTargetDescriptor, CoreSchemaView, MigrationPlanOperation, MigrationPlannerConflict, OperationPreview, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
-import { ContractSpaceMember } from "@prisma-next/migration-tools/aggregate";
+import { AggregateContractSpace } from "@prisma-next/migration-tools/aggregate";
 import { MigrationToolsError } from "@prisma-next/migration-tools/errors";
+import { ContractSourceDiagnostics, ContractSourceProvider } from "@prisma-next/config/config-types";
 import { Contract, ContractMarkerRecord, LedgerEntryRecord } from "@prisma-next/contract/types";
 import { AuthoringPslBlockDescriptorNamespace } from "@prisma-next/framework-components/authoring";
 import { PslDocumentAst } from "@prisma-next/framework-components/psl-ast";
@@ -15,9 +15,9 @@ import { PslDocumentAst } from "@prisma-next/framework-components/psl-ast";
  *
  * Loader → verifier pipeline. The loader (sole descriptor-import
  * boundary) builds a {@link import('@prisma-next/migration-tools/aggregate').ContractSpaceAggregate};
- * the aggregate verifier bundles `markerCheck` + per-space pre-projected
- * `schemaCheck`. `mode: 'strict' | 'lenient'` maps directly to the user
- * facing `--strict` flag.
+ * the aggregate verifier bundles `markerCheck` + per-space `schemaCheck`
+ * (each contract space verified against the full schema; extras stripped to its own view).
+ * `mode: 'strict' | 'lenient'` maps directly to the user facing `--strict` flag.
  */
 interface ExecuteDbVerifyOptions<TFamilyId extends string, TTargetId extends string> {
   readonly driver: ControlDriverInstance<TFamilyId, TTargetId>;
@@ -40,13 +40,19 @@ interface ExecuteDbVerifyOptions<TFamilyId extends string, TTargetId extends str
  * emitted, so downstream tooling and integration tests assert on the
  * same shape).
  *
- * On success, the per-space schema results are returned for the CLI to
+ * On success, the per-space verify results are returned for the CLI to
  * render. When `skipSchema` is true (`--marker-only`), the schema map
  * is empty.
  */
 interface ExecuteDbVerifySuccess {
   readonly schemaResults: ReadonlyMap<string, VerifyDatabaseSchemaResult>;
-  readonly memberOrder: readonly string[];
+  /**
+   * Live element names no contract space declares, deduplicated and reported
+   * once for the whole database (never per space). Strict mode fails on a
+   * non-empty list; lenient mode surfaces it informationally.
+   */
+  readonly unclaimed: readonly string[];
+  readonly spaceOrder: readonly string[];
   readonly appSpaceId: string;
 }
 type ExecuteDbVerifyResult = Result<ExecuteDbVerifySuccess, CliStructuredError$1>;
@@ -60,11 +66,11 @@ type ExecuteDbVerifyResult = Result<ExecuteDbVerifySuccess, CliStructuredError$1
  *    structured CLI error.
  * 2. **Read DB state**: marker rows + (when `skipSchema` is `false`)
  *    schema introspection.
- * 3. **Verify**: {@link verifyMigration} returns per-space
- *    `markerCheck` + per-space pre-projected `schemaCheck` (closes F23).
- *    Marker mismatches map to `CliStructuredError` (code `5002`) so
- *    callers (CLI command) can render and exit. Schema results are
- *    returned to the caller verbatim.
+ * 3. **Verify**: {@link verifyMigration} returns per-space `markerCheck` +
+ *    per-space `schemaCheck` (each contract space verified against the full schema,
+ *    then scoped to its own contract space). Marker mismatches map to
+ *    `CliStructuredError` (code `5002`) so callers (CLI command) can render
+ *    and exit. Verify results are returned to the caller verbatim.
  */
 declare function executeDbVerify<TFamilyId extends string, TTargetId extends string>(options: ExecuteDbVerifyOptions<TFamilyId, TTargetId>): Promise<ExecuteDbVerifyResult>;
 //#endregion
@@ -535,9 +541,9 @@ interface MigrateOptions {
   /** Migrations root directory (`migrations/` under the project). */
   readonly migrationsDir: string;
   /**
-   * Optional app-space ref override. When provided, the app member's
+   * Optional app-space ref override. When provided, the app space's
    * graph-walk targets this hash instead of `contract.storage.storageHash`.
-   * Extension members always walk to their own `headRef.hash`.
+   * Extension spaces always walk to their own `headRef.hash`.
    */
   readonly refHash?: string;
   /**
@@ -584,17 +590,17 @@ interface MigrateRanEntry {
 }
 /**
  * Successful migrate result. Carries both the top-level fields
- * (`markerHash` is the **app member's** post-migrate marker) and the
+ * (`markerHash` is the **app space's** post-migrate marker) and the
  * per-space breakdown (`perSpace` — markers / operations in canonical
  * schedule order).
  */
 /**
- * Path-decision summary for the **app member** post-migrate. Surfaced
+ * Path-decision summary for the **app space** post-migrate. Surfaced
  * at the top level (and consumed by the cli-journeys suite, which
  * inspects `requiredInvariants`/`satisfiedInvariants`/
  * `selectedPath` to validate invariant routing).
  *
- * Per-space path decisions for extension members are not surfaced —
+ * Per-space path decisions for extension spaces are not surfaced —
  * extensions own their own ref/invariant control.
  */
 interface MigratePathDecision {
@@ -625,7 +631,7 @@ interface MigrateSuccess {
    */
   readonly perSpace: ReadonlyArray<PerSpaceExecutionEntry>;
   /**
-   * Path-decision data for the app member. Present whenever the
+   * Path-decision data for the app space. Present whenever the
    * graph-walk strategy ran for the app (i.e. always for the
    * aggregate-walking migrate path). Absent only for the no-op
    * "Already up to date" early return when the app has no plan.
@@ -792,7 +798,7 @@ interface ControlClient {
    *   markers, and (unless `skipSchema` is true) per-space schema
    *   verification with pre-projection (closes F23).
    *
-   * @returns Result pattern: per-space schema results on success;
+   * @returns Result pattern: per-space verify results on success;
    *          structured CLI error on marker / loader failure.
    * @throws If not connected or infrastructure failure
    */
@@ -881,4 +887,4 @@ interface ControlClient {
 }
 //#endregion
 export { ExecuteDbVerifyOptions as A, IntrospectOptions as C, SchemaVerifyOptions as D, PerSpaceExecutionEntry as E, executeDbVerify as M, CliStructuredError$1 as N, SignOptions as O, EmitSuccess as S, OnControlProgress as T, EmitContractConfig as _, ControlClientOptions as a, EmitOptions as b, DbInitFailureCode as c, DbInitSuccess as d, DbUpdateFailure as f, DbUpdateSuccess as g, DbUpdateResult as h, ControlClient as i, ExecuteDbVerifyResult as j, VerifyOptions as k, DbInitOptions as l, DbUpdateOptions as m, ContractEmitResult as n, ControlProgressEvent as o, DbUpdateFailureCode as p, ControlActionName as r, DbInitFailure as s, ContractEmitOptions as t, DbInitResult as u, EmitFailure as v, MigratePathDecision as w, EmitResult as x, EmitFailureCode as y };
-//# sourceMappingURL=types-C_tYiJYx.d.mts.map
+//# sourceMappingURL=types-CKgJmH02.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-CKgJmH02.d.mts","names":[],"sources":["../src/control-api/operations/db-verify.ts","../src/control-api/types.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;AA2CA;UAAiB,sBAAA;EAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;EAAA,SACzC,cAAA,EAAgB,qBAAA,CAAsB,SAAA;EAAA,SACtC,QAAA,EAAU,QAAA;EAAA,SACV,aAAA;EAAA,SACA,QAAA,EAAU,SAAA;EAAA,SACV,cAAA,EAAgB,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;EAAA,SACpE,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;EAAA,SAC7E,IAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,GAAa,iBAAA;AAAA;;;;;;;;;;;;;UAeP,sBAAA;EAAA,SACN,aAAA,EAAe,WAAW,SAAS,0BAAA;EAzBnB;;;;;EAAA,SA+BhB,SAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;AAAA;AAAA,KAGC,qBAAA,GAAwB,MAAA,CAAO,sBAAA,EAAwB,oBAAA;;;;;;;;;;;;;;AA3B1B;AAezC;;iBA8BsB,eAAA,qDACpB,OAAA,EAAS,sBAAA,CAAuB,SAAA,EAAW,SAAA,IAC1C,OAAA,CAAQ,qBAAA;;;;;;;;;;;AA1DX;;;UCAiB,oBAAA;EAAA,SAEN,MAAA,EAAQ,uBAAA;EAAA,SAER,MAAA,EAAQ,uBAAA;EAAA,SAER,OAAA,EAAS,wBAAA;EDJO;EAAA,SCOhB,MAAA,GAAS,uBAAA;EAAA,SAET,cAAA,GAAiB,aAAA,CAAc,0BAAA;EDL0B;;;;;EAAA,SCWzD,UAAA;AAAA;;;;KAUC,iBAAA;;;;;;;;;;;;;;KAwBA,oBAAA;EAAA,SAEG,MAAA,EAAQ,iBAAA;EAAA,SACR,IAAA;EAAA,SACA,MAAA;EAAA,SACA,YAAA;EAAA,SACA,KAAA;AAAA;EAAA,SAGA,MAAA,EAAQ,iBAAiB;EAAA,SACzB,IAAA;EAAA,SACA,MAAA;EAAA,SACA,OAAA;AAAA;;;;;;KAQH,iBAAA,IAAqB,KAA2B,EAApB,oBAAoB;AD7C5D;;;AAAA,UCsDiB,aAAA;EDrDN;EAAA,SCuDA,QAAA;EDvDmC;;;;;EAAA,SC6DnC,UAAA;EDlDC;EAAA,SCoDD,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,mBAAA;ED1DyB;EAAA,SC4D/B,QAAA;ED5DgC;;;AAA0C;AAkBrF;EAlB2C,SCkEhC,MAAA;EDhD0B;;;;;EAAA,SCsD1B,UAAA;EDpDD;EAAA,SCsDC,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,WAAA;ED7Df;EAAA,SC+DS,QAAA;ED9DA;;AAAqB;EAArB,SCkEA,YAAA;;;AA5HX;WAgIW,UAAA;;;;;;WAMA,UAAA;EA3HiB;EAAA,SA6HjB,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,aAAA;EAxIN;EAAA,SA0IA,QAAA;EAvIA;;;;;EAAA,SA6IA,IAAA;EArIU;AAAA;AAUrB;;;EAVqB,SA2IV,UAAA;EAjIkB;AAwB7B;;;;;EAxB6B,SAwIlB,aAAA;EA7GI;EAAA,SA+GJ,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,eAAA;EA7GF;EAAA,SA+GJ,QAAA;EA9GW;AAAA;AAQtB;;;EARsB,SAoHX,IAAA;EA5GiD;AAS5D;;;;EAT4D,SAkHjD,UAAA;EAjGA;;;;AAE8B;AAMzC;;EARW,SAyGA,cAAA;EAjF8B;;;;;;EAAA,SAwF9B,aAAA;EAxF8B;EAAA,SA0F9B,UAAA,GAAa,iBAAiB;AAAA;;;;;;;;;UAWxB,eAAA;EA7EwB;AAMzC;;;;;EANyC,SAoF9B,QAAA,EAAU,QAAA;EAAA,SACV,aAAA;EAAA,SACA,MAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA;EAAA,SACA,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,iBAAA;EArDN;;;EAAA,SAyDA,MAAA;EAlCA;;;AAA8B;AAWzC;EAXW,SAwCA,UAAA;;WAEA,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,kBAAA;EA1BN;;;EAAA,SA8BA,MAAA,EAAQ,sBAAsB;EA5BA;AAAA;AAMzC;;EANyC,SAiC9B,MAAA;AAAA;;;;UAMM,WAAA;EArBwB;AAAA;AAMzC;EANyC,SAyB9B,cAAA,EAAgB,kBAAA;;WAEhB,UAAA,GAAa,iBAAiB;AAAA;;;;AAZxB;AAMjB;;;;;;;;UAyBiB,sBAAA;EAAA,SACN,OAAA;EADM;EAAA,SAGN,IAAA;;;;;;WAMA,UAAA,EAAY,aAAa;IAAA,SACvB,EAAA;IAAA,SACA,KAAA;IAAA,SACA,cAAA;EAAA;EAQA;;AAAW;AAOxB;;EAPa,SADF,MAAA;IAAA,SACE,WAAA;EAAA;AAAA;;;;UAOI,aAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;IAAA,SACE,UAAA,EAAY,aAAA;MAAA,SACV,EAAA;MAAA,SACA,KAAA;MAAA,SACA,cAAA;IAAA;IAAA;;;;;;;IAAA,SASF,OAAA,GAAU,gBAAA;EAAA;EAAA,SAEZ,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,SAAA;IAAA,SACE,iBAAA;IAAA,SACA,kBAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAiBD;;;;AAAiB;AAK7B;;EALY,SARD,QAAA,GAAW,aAAA,CAAc,sBAAA;EAAA,SACzB,OAAA;EAAA,SACA,QAAA,GAAW,aAAA,CAAc,wBAAA;AAAA;;;;KAMxB,iBAAA;;;;UAKK,aAAA;EAAA,SACN,IAAA,EAAM,iBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,SAAA,EAAW,aAAA,CAAc,wBAAA;EAAA,SACzB,QAAA,GAAW,aAAA,CAAc,wBAAA;EAAA,SACzB,IAAA,EAAM,MAAA;EAAA,SACN,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;AAAA;;AAAW;AAQxB;;KAAY,YAAA,GAAe,MAAA,CAAO,aAAA,EAAe,aAAA;;;;UAKhC,eAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;IAAA,SACE,UAAA,EAAY,aAAA;MAAA,SACV,EAAA;MAAA,SACA,KAAA;MAAA,SACA,cAAA;IAAA;IANiB;;;;;;;IAAA,SAenB,OAAA,GAAU,gBAAA;EAAA;EAAA,SAEZ,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,SAAA;IAAA,SACE,iBAAA;IAAA,SACA,kBAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EARA;;;;EAAA,SAcF,QAAA,GAAW,aAAA,CAAc,sBAAA;EAAA,SACzB,OAAA;EAAA,SACA,QAAA,GAAW,aAAA,CAAc,wBAAA;AAAA;;;;KAMxB,mBAAA;;;;UAKK,eAAA;EAAA,SACN,IAAA,EAAM,mBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,SAAA,EAAW,aAAA,CAAc,wBAAA;EAAA,SACzB,QAAA,GAAW,aAAA,CAAc,wBAAA;EAAA,SACzB,IAAA,EAAM,MAAA;AAAA;;;;;KAOL,cAAA,GAAiB,MAAA,CAAO,eAAA,EAAiB,eAAA;;;;;UAMpC,WAAA;EAlBA;EAAA,SAoBN,WAAA;EAlBA;EAAA,SAoBA,aAAA;EAnBW;EAAA,SAqBX,WAAA;EApBA;EAAA,SAsBA,YAAA;EAtByB;EAAA,SAwBzB,WAAA;AAAA;;AAvBY;AAOvB;KAsBY,eAAA;;;;UAQK,WAAA;EAAA,SACN,IAAA,EAAM,eAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,IAAA,EAAM,MAAA;EAAA,SACN,WAAA,GAAc,yBAAA;AAAA;AAnC2C;AAMpE;;;AANoE,KA0CxD,UAAA,GAAa,MAAA,CAAO,WAAA,EAAa,WAAA;;;;;;;AA1BvB;AAMtB;;;;UAqCiB,cAAA;EA7BA;EAAA,SA+BN,QAAA;;WAEA,aAAA;EA7BM;;;;;EAAA,SAmCN,OAAA;EArCA;;;;;EAAA,SA2CA,aAAA;EAxCuC;AAAA;AAOlD;;;;EAPkD,SA+CvC,OAAA;EAxCc;;;;EAAA,SA6Cd,UAAA;EA7CkC;EAAA,SA+ClC,UAAA,GAAa,iBAAiB;AAAA;;;;AA6CZ;AAkB7B;;;;;;;;;UAxBiB,eAAA;EAAA,SACN,OAAA;EAAA,SACA,OAAA;EAAA,SACA,aAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,kBAAA;AAAA;;AA+BY;AAIvB;;;;;;;;;;;;;UAjBiB,mBAAA;EAAA,SACN,QAAA;EAAA,SACA,MAAA;EAAA,SACA,gBAAA;EAAA,SACA,eAAA;EAAA,SACA,OAAA;EAAA,SACA,kBAAA;EAAA,SACA,mBAAA;EAAA,SACA,YAAA;IAAA,SACE,OAAA;IAAA,SACA,aAAA;IAAA,SACA,IAAA;IAAA,SACA,EAAA;IAAA,SACA,UAAA;EAAA;AAAA;AAAA,UAII,cAAA;EAAA,SACN,iBAAA;EAAA,SACA,UAAA;EAAA,SACA,OAAA,WAAkB,eAAA;EAAA,SAClB,OAAA;EA4BA;;;AAAY;AAMvB;EANW,SAtBA,QAAA,EAAU,aAAA,CAAc,sBAAA;;;;;;;WAOxB,YAAA,GAAe,mBAAA;AAAA;;;AAqBuC;KAfrD,kBAAA;;;;UAKK,cAAA;EAAA,SACN,IAAA,EAAM,kBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,IAAA,EAAM,MAAM;AAAA;;AAqCkB;AAUzC;KAzCY,aAAA,GAAgB,MAAA,CAAO,cAAA,EAAgB,cAAA;;;;;;;;;;;AA4DvB;AAiB5B;UA3DiB,mBAAA;;WAEN,UAAA;EAqFA;;;;;;EAAA,SA9EA,UAAA;EA0GK;EAAA,SAxGL,MAAA,GAAS,WAAA;EAwGU;EAAA,SAtGnB,UAAA,GAAa,iBAAiB;AAAA;;;;;;;;UAUxB,kBAAA;EAwID;EAAA,SAtIL,WAAA;EA6IiB;EAAA,SA3IjB,aAAA;EAkJoC;EAAA,SAhJpC,WAAA;EA+JQ;EAAA,SA7JR,KAAA;IA6JyB,sDA3JvB,IAAA,UAmK8B;IAAA,SAjK9B,GAAA;EAAA;EA4Le;;;;;EAAA,SArLjB,iBAAA;AAAA;;;;;;;;;;;UAiBM,aAAA;EAqCyB;;;;;;;EA7BxC,IAAA;EAgDK;;;;;;;;;;;EAnCL,OAAA,CAAQ,UAAA,aAAuB,OAAA;EAwDa;;;;;EAjD5C,KAAA,IAAS,OAAA;EAwET;;;;;;;EA/DA,MAAA,CAAO,OAAA,EAAS,aAAA,GAAgB,OAAA,CAAQ,oBAAA;EA6E7B;;;;;;;EApEX,YAAA,CAAa,OAAA,EAAS,mBAAA,GAAsB,OAAA,CAAQ,0BAAA;EA2FpD;;;;;;;;EAjFA,IAAA,CAAK,OAAA,EAAS,WAAA,GAAc,OAAA,CAAQ,kBAAA;EAmGC;;;;;;;;EAzFrC,MAAA,CAAO,OAAA,EAAS,aAAA,GAAgB,OAAA,CAAQ,YAAA;EAqHnC;;;;AAAyC;;;;;EA1G9C,QAAA,CAAS,OAAA,EAAS,eAAA,GAAkB,OAAA,CAAQ,cAAA;;;;;;;;;;;;;;EAe5C,QAAA,CAAS,OAAA,EAAS,eAAA,GAAkB,OAAA,CAAQ,qBAAA;;;;;;;EAQ5C,UAAA,IAAc,OAAA,CAAQ,oBAAA;;;;;;EAOtB,cAAA,IAAkB,OAAA,CAAQ,WAAA,SAAoB,oBAAA;;;;;;EAO9C,UAAA,CAAW,KAAA,YAAiB,OAAA,UAAiB,iBAAA;;;;;;;;;;;;;;EAe7C,OAAA,CAAQ,OAAA,EAAS,cAAA,GAAiB,OAAA,CAAQ,aAAA;;;;;;;EAQ1C,UAAA,CAAW,OAAA,GAAU,iBAAA,GAAoB,OAAA;;;;;;;;EASzC,YAAA,CAAa,QAAA,YAAoB,cAAA;;;;;;;;EASjC,gBAAA,CAAiB,QAAA,YAAoB,cAAA;;;;;;;;EASrC,sBAAA,IAA0B,oCAAA;;;;;;;;;EAU1B,kBAAA,CAAmB,UAAA,WAAqB,sBAAA,KAA2B,gBAAA;;;;;;;;EASnE,IAAA,CAAK,OAAA,EAAS,WAAA,GAAc,OAAA,CAAQ,UAAA;AAAA"}

package/dist/{verify-DcOYZ1tH.mjs → verify-DC14_nPu.mjs}

@@ -1,4 +1,4 @@
-import { M as createColorFormatter, N as formatDim, P as isVerbose } from "./command-helpers-DGMvGBeX.mjs";
+import { M as createColorFormatter, N as formatDim, P as isVerbose } from "./command-helpers-6cNJZ863.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
 import { bold, cyan, dim, green, magenta, red, yellow } from "colorette";
 //#region src/utils/formatters/verify.ts
@@ -18,6 +18,11 @@ function formatVerifyOutput(result, flags) {
 	lines.push(`${formatDimText(`  storageHash: ${result.contract.storageHash}`)}`);
 	if (result.contract.profileHash) lines.push(`${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);
 	if (result.mode === "full" && result.schema && isVerbose(flags, 1)) lines.push(`${formatDimText(`  schema: pass=${result.schema.counts.pass} warn=${result.schema.counts.warn} fail=${result.schema.counts.fail}`)}`);
+	if (result.unclaimed && result.unclaimed.length > 0) {
+		lines.push("");
+		lines.push(formatYellow("Unclaimed elements (declared by no contract):"));
+		for (const name of result.unclaimed) lines.push(`  ${formatYellow("⚠")} ${name}`);
+	}
 	if (result.warning) {
 		lines.push("");
 		lines.push(`${formatYellow("⚠")} ${result.warning}`);
@@ -42,6 +47,7 @@ function formatVerifyJson(result) {
 		...ifDefined("missingCodecs", result.missingCodecs),
 		...ifDefined("codecCoverageSkipped", result.codecCoverageSkipped),
 		...ifDefined("schema", result.schema),
+		unclaimed: result.unclaimed ?? [],
 		...ifDefined("warning", result.warning),
 		...ifDefined("meta", result.meta),
 		timings: result.timings
@@ -316,12 +322,13 @@ function renderSchemaVerificationTree(node, flags, options) {
 /**
 * Formats human-readable output for database schema verification.
 */
-function formatSchemaVerifyOutput(result, flags) {
+function formatSchemaVerifyOutput(result, flags, unclaimed = []) {
 	if (flags.quiet) return "";
 	const lines = [];
 	const useColor = flags.color !== false;
 	const formatGreen = createColorFormatter(useColor, green);
 	const formatRed = createColorFormatter(useColor, red);
+	const formatYellow = createColorFormatter(useColor, yellow);
 	const formatDimText = (text) => formatDim(useColor, text);
 	const treeLines = renderSchemaVerificationTree(result.schema.root, flags, {
 		isLast: true,
@@ -331,6 +338,17 @@ function formatSchemaVerifyOutput(result, flags) {
 		isRoot: true
 	});
 	lines.push(...treeLines);
+	if (result.schema.schemaDiffIssues.length > 0) {
+		lines.push("");
+		lines.push(formatRed("Schema drift:"));
+		for (const issue of result.schema.schemaDiffIssues) lines.push(`  ${formatRed("✖")} ${issue.message}`);
+	}
+	if (unclaimed.length > 0) {
+		const strict = result.meta?.strict ?? false;
+		lines.push("");
+		lines.push((strict ? formatRed : formatYellow)("Unclaimed elements (declared by no contract):"));
+		for (const name of unclaimed) lines.push(`  ${(strict ? formatRed : formatYellow)(strict ? "✖" : "⚠")} ${name}`);
+	}
 	if (isVerbose(flags, 1)) {
 		lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
 		lines.push(`${formatDimText(`  pass=${result.schema.counts.pass} warn=${result.schema.counts.warn} fail=${result.schema.counts.fail}`)}`);
@@ -344,10 +362,15 @@ function formatSchemaVerifyOutput(result, flags) {
 	return lines.join("\n");
 }
 /**
-* Formats JSON output for database schema verification.
+* Formats JSON output for database schema verification. The unclaimed-elements
+* list is a top-level field alongside the combined result, reported once for
+* the whole database.
 */
-function formatSchemaVerifyJson(result) {
-	return JSON.stringify(result, null, 2);
+function formatSchemaVerifyJson(result, unclaimed = []) {
+	return JSON.stringify({
+		...result,
+		unclaimed
+	}, null, 2);
 }
 /**
 * Formats human-readable output for database sign.
@@ -381,4 +404,4 @@ function formatSignJson(result) {
 //#endregion
 export { formatSignJson as a, formatVerifyOutput as c, formatSchemaVerifyOutput as i, formatIntrospectOutput as n, formatSignOutput as o, formatSchemaVerifyJson as r, formatVerifyJson as s, formatIntrospectJson as t };
 
-//# sourceMappingURL=verify-DcOYZ1tH.mjs.map
+//# sourceMappingURL=verify-DC14_nPu.mjs.map

package/dist/verify-DC14_nPu.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-DC14_nPu.mjs","names":[],"sources":["../src/utils/formatters/verify.ts"],"sourcesContent":["import type {\n  CoreSchemaView,\n  IntrospectSchemaResult,\n  SchemaTreeNode,\n  SchemaVerificationNode,\n  SignDatabaseResult,\n  VerifyDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { bold, cyan, dim, green, magenta, red, yellow } from 'colorette';\nimport type { GlobalFlags } from '../global-flags';\nimport { createColorFormatter, formatDim, isVerbose } from './helpers';\n\n// ============================================================================\n// Verify Output Formatters\n// ============================================================================\n\nexport interface DbVerifyCommandSuccessResult {\n  readonly ok: true;\n  readonly mode: 'full' | 'marker-only';\n  readonly summary: string;\n  readonly contract: VerifyDatabaseResult['contract'];\n  readonly marker?: VerifyDatabaseResult['marker'];\n  readonly target: VerifyDatabaseResult['target'];\n  readonly missingCodecs?: VerifyDatabaseResult['missingCodecs'];\n  readonly codecCoverageSkipped?: VerifyDatabaseResult['codecCoverageSkipped'];\n  readonly schema?: {\n    readonly summary: string;\n    readonly counts: VerifyDatabaseSchemaResult['schema']['counts'];\n    readonly strict: boolean;\n  };\n  /**\n   * Live element names no contract space declares. In full success this is\n   * only ever non-empty in lenient mode — strict mode fails on it — and is\n   * rendered informationally.\n   */\n  readonly unclaimed?: readonly string[];\n  readonly warning?: string;\n  readonly meta?:\n    | (NonNullable<VerifyDatabaseResult['meta']> & {\n        readonly schemaVerification: 'performed' | 'skipped';\n      })\n    | {\n        readonly schemaVerification: 'performed' | 'skipped';\n      };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\n/**\n * Formats human-readable output for database verify.\n */\nexport function formatVerifyOutput(\n  result: DbVerifyCommandSuccessResult,\n  flags: GlobalFlags,\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatYellow = createColorFormatter(useColor, yellow);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n  const verificationMode =\n    result.mode === 'full'\n      ? `marker + schema${result.schema?.strict ? ' (strict)' : ' (tolerant)'}`\n      : 'marker only (--marker-only)';\n\n  lines.push(`${formatGreen('✔')} ${result.summary}`);\n  lines.push(`${formatDimText(`  verification: ${verificationMode}`)}`);\n  lines.push(`${formatDimText(`  storageHash: ${result.contract.storageHash}`)}`);\n  if (result.contract.profileHash) {\n    lines.push(`${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);\n  }\n  if (result.mode === 'full' && result.schema && isVerbose(flags, 1)) {\n    lines.push(\n      `${formatDimText(`  schema: pass=${result.schema.counts.pass} warn=${result.schema.counts.warn} fail=${result.schema.counts.fail}`)}`,\n    );\n  }\n  if (result.unclaimed && result.unclaimed.length > 0) {\n    lines.push('');\n    lines.push(formatYellow('Unclaimed elements (declared by no contract):'));\n    for (const name of result.unclaimed) {\n      lines.push(`  ${formatYellow('⚠')} ${name}`);\n    }\n  }\n\n  if (result.warning) {\n    lines.push('');\n    lines.push(`${formatYellow('⚠')} ${result.warning}`);\n  }\n\n  if (isVerbose(flags, 1)) {\n    if (result.codecCoverageSkipped) {\n      lines.push(\n        `${formatDimText('  Codec coverage check skipped (helper returned no supported types)')}`,\n      );\n    }\n    lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats JSON output for database verify.\n */\nexport function formatVerifyJson(result: DbVerifyCommandSuccessResult): string {\n  const output = {\n    ok: result.ok,\n    summary: result.summary,\n    mode: result.mode,\n    contract: result.contract,\n    ...ifDefined('marker', result.marker),\n    target: result.target,\n    ...ifDefined('missingCodecs', result.missingCodecs),\n    ...ifDefined('codecCoverageSkipped', result.codecCoverageSkipped),\n    ...ifDefined('schema', result.schema),\n    unclaimed: result.unclaimed ?? [],\n    ...ifDefined('warning', result.warning),\n    ...ifDefined('meta', result.meta),\n    timings: result.timings,\n  };\n\n  return JSON.stringify(output, null, 2);\n}\n\n/**\n * Formats JSON output for database introspection.\n */\nexport function formatIntrospectJson(result: IntrospectSchemaResult<unknown>): string {\n  return JSON.stringify(result, null, 2);\n}\n\n/**\n * Renders a schema tree structure from CoreSchemaView.\n * Matches the style of renderSchemaVerificationTree for consistency.\n */\nfunction renderSchemaTree(\n  node: SchemaTreeNode,\n  flags: GlobalFlags,\n  options: {\n    readonly isLast: boolean;\n    readonly prefix: string;\n    readonly useColor: boolean;\n    readonly formatDimText: (text: string) => string;\n    readonly isRoot?: boolean;\n  },\n): string[] {\n  const { isLast, prefix, useColor, formatDimText, isRoot = false } = options;\n  const lines: string[] = [];\n\n  // Format node label with color based on kind (matching schema-verify style)\n  let formattedLabel: string = node.label;\n\n  if (useColor) {\n    switch (node.kind) {\n      case 'root':\n        formattedLabel = bold(node.label);\n        break;\n      case 'entity': {\n        // Parse \"table tableName\" format - color \"table\" dim, tableName cyan\n        const tableMatch = node.label.match(/^table\\s+(.+)$/);\n        if (tableMatch?.[1]) {\n          const tableName = tableMatch[1];\n          formattedLabel = `${dim('table')} ${cyan(tableName)}`;\n        } else {\n          // Fallback: color entire label with cyan\n          formattedLabel = cyan(node.label);\n        }\n        break;\n      }\n      case 'collection': {\n        // \"columns\" grouping node - dim the label\n        formattedLabel = dim(node.label);\n        break;\n      }\n      case 'field': {\n        // Parse column name format: \"columnName: typeDisplay (nullability)\"\n        // Color code: column name (cyan), type (default), nullability (dim)\n        const columnMatch = node.label.match(/^([^:]+):\\s*(.+)$/);\n        if (columnMatch?.[1] && columnMatch[2]) {\n          const columnName = columnMatch[1];\n          const rest = columnMatch[2];\n          // Parse rest: \"typeDisplay (nullability)\"\n          const typeMatch = rest.match(/^([^\\s(]+)\\s*(\\([^)]+\\))$/);\n          if (typeMatch?.[1] && typeMatch[2]) {\n            const typeDisplay = typeMatch[1];\n            const nullability = typeMatch[2];\n            formattedLabel = `${cyan(columnName)}: ${typeDisplay} ${dim(nullability)}`;\n          } else {\n            // Fallback if format doesn't match\n            formattedLabel = `${cyan(columnName)}: ${rest}`;\n          }\n        } else {\n          formattedLabel = node.label;\n        }\n        break;\n      }\n      case 'index': {\n        // Parse index/unique constraint/primary key formats\n        // \"primary key: columnName\" -> dim \"primary key\", cyan columnName\n        const pkMatch = node.label.match(/^primary key:\\s*(.+)$/);\n        if (pkMatch?.[1]) {\n          const columnNames = pkMatch[1];\n          formattedLabel = `${dim('primary key')}: ${cyan(columnNames)}`;\n        } else {\n          // \"unique name\" -> dim \"unique\", cyan \"name\"\n          const uniqueMatch = node.label.match(/^unique\\s+(.+)$/);\n          if (uniqueMatch?.[1]) {\n            const name = uniqueMatch[1];\n            formattedLabel = `${dim('unique')} ${cyan(name)}`;\n          } else {\n            // \"index name\" or \"unique index name\" -> dim label prefix, cyan name\n            const indexMatch = node.label.match(/^(unique\\s+)?index\\s+(.+)$/);\n            if (indexMatch?.[2]) {\n              const indexPrefix = indexMatch[1] ? `${dim('unique')} ` : '';\n              const name = indexMatch[2];\n              formattedLabel = `${indexPrefix}${dim('index')} ${cyan(name)}`;\n            } else {\n              formattedLabel = dim(node.label);\n            }\n          }\n        }\n        break;\n      }\n      case 'dependency': {\n        // Parse extension message formats similar to schema-verify\n        // \"extensionName extension is enabled\" -> cyan extensionName, dim rest\n        const extMatch = node.label.match(/^([^\\s]+)\\s+(extension is enabled)$/);\n        if (extMatch?.[1] && extMatch[2]) {\n          const extName = extMatch[1];\n          const rest = extMatch[2];\n          formattedLabel = `${cyan(extName)} ${dim(rest)}`;\n        } else {\n          // Fallback: color entire label with magenta\n          formattedLabel = magenta(node.label);\n        }\n        break;\n      }\n      default:\n        formattedLabel = node.label;\n        break;\n    }\n  }\n\n  // Root node renders without tree characters or prefix\n  if (isRoot) {\n    lines.push(formattedLabel);\n  } else {\n    const treeChar = isLast ? '└' : '├';\n    const treePrefix = `${formatDimText(treeChar)}─ `;\n    lines.push(`${prefix}${treePrefix}${formattedLabel}`);\n  }\n\n  // Render children if present\n  if (node.children && node.children.length > 0) {\n    const childPrefix = isRoot ? '' : `${prefix}${isLast ? '   ' : `${formatDimText('│')}  `}`;\n    for (let i = 0; i < node.children.length; i++) {\n      const child = node.children[i];\n      if (!child) continue;\n      const isLastChild = i === node.children.length - 1;\n      const childLines = renderSchemaTree(child, flags, {\n        isLast: isLastChild,\n        prefix: childPrefix,\n        useColor,\n        formatDimText,\n        isRoot: false,\n      });\n      lines.push(...childLines);\n    }\n  }\n\n  return lines;\n}\n\n/**\n * Formats human-readable output for database introspection.\n */\nexport function formatIntrospectOutput(\n  result: IntrospectSchemaResult<unknown>,\n  schemaView: CoreSchemaView | undefined,\n  flags: GlobalFlags,\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  if (schemaView) {\n    // Render tree structure - root node is special (no tree characters)\n    const treeLines = renderSchemaTree(schemaView.root, flags, {\n      isLast: true,\n      prefix: '',\n      useColor,\n      formatDimText,\n      isRoot: true,\n    });\n    lines.push(...treeLines);\n  } else {\n    // Fallback: print summary when toSchemaView is not available\n    lines.push(`✔ ${result.summary}`);\n    if (isVerbose(flags, 1)) {\n      lines.push(`  Target: ${result.target.familyId}/${result.target.id}`);\n      if (result.meta?.dbUrl) {\n        lines.push(`  Database: ${result.meta.dbUrl}`);\n      }\n    }\n  }\n\n  // Add timings in verbose mode\n  if (isVerbose(flags, 1)) {\n    lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Renders a schema verification tree structure from SchemaVerificationNode.\n * Similar to renderSchemaTree but for verification nodes with status-based colors and glyphs.\n */\nfunction renderSchemaVerificationTree(\n  node: SchemaVerificationNode,\n  flags: GlobalFlags,\n  options: {\n    readonly isLast: boolean;\n    readonly prefix: string;\n    readonly useColor: boolean;\n    readonly formatDimText: (text: string) => string;\n    readonly isRoot?: boolean;\n  },\n): string[] {\n  const { isLast, prefix, useColor, formatDimText, isRoot = false } = options;\n  const lines: string[] = [];\n\n  // Format status glyph and color based on status\n  let statusGlyph = '';\n  let statusColor: (text: string) => string = (text) => text;\n  if (useColor) {\n    switch (node.status) {\n      case 'pass':\n        statusGlyph = '✔';\n        statusColor = green;\n        break;\n      case 'warn':\n        statusGlyph = '⚠';\n        statusColor = (text) => (useColor ? yellow(text) : text);\n        break;\n      case 'fail':\n        statusGlyph = '✖';\n        statusColor = red;\n        break;\n    }\n  } else {\n    switch (node.status) {\n      case 'pass':\n        statusGlyph = '✔';\n        break;\n      case 'warn':\n        statusGlyph = '⚠';\n        break;\n      case 'fail':\n        statusGlyph = '✖';\n        break;\n    }\n  }\n\n  // Format node label with color based on kind\n  // For column nodes, we need to parse the name to color code different parts\n  let labelColor: (text: string) => string = (text) => text;\n  let formattedLabel: string = node.name;\n\n  if (useColor) {\n    switch (node.kind) {\n      case 'contract':\n      case 'schema':\n        labelColor = bold;\n        formattedLabel = labelColor(node.name);\n        break;\n      case 'table': {\n        // Parse \"table tableName\" format - color \"table\" dim, tableName cyan\n        const tableMatch = node.name.match(/^table\\s+(.+)$/);\n        if (tableMatch?.[1]) {\n          const tableName = tableMatch[1];\n          formattedLabel = `${dim('table')} ${cyan(tableName)}`;\n        } else {\n          formattedLabel = dim(node.name);\n        }\n        break;\n      }\n      case 'columns':\n        labelColor = dim;\n        formattedLabel = labelColor(node.name);\n        break;\n      case 'column': {\n        // Parse column name format: \"columnName: contractType -> nativeType (nullability)\"\n        // Color code: column name (cyan), contract type (default), native type (dim), nullability (dim)\n        const columnMatch = node.name.match(/^([^:]+):\\s*(.+)$/);\n        if (columnMatch?.[1] && columnMatch[2]) {\n          const columnName = columnMatch[1];\n          const rest = columnMatch[2];\n          // Parse rest: \"contractType -> nativeType (nullability)\"\n          // Match contract type (can contain /, @, etc.), arrow, native type, then nullability in parentheses\n          const typeMatch = rest.match(/^([^\\s→]+)\\s*→\\s*([^\\s(]+)\\s*(\\([^)]+\\))$/);\n          if (typeMatch?.[1] && typeMatch[2] && typeMatch[3]) {\n            const contractType = typeMatch[1];\n            const nativeType = typeMatch[2];\n            const nullability = typeMatch[3];\n            formattedLabel = `${cyan(columnName)}: ${contractType} → ${dim(nativeType)} ${dim(nullability)}`;\n          } else {\n            // Fallback if format doesn't match (e.g., no native type or no nullability)\n            formattedLabel = `${cyan(columnName)}: ${rest}`;\n          }\n        } else {\n          formattedLabel = node.name;\n        }\n        break;\n      }\n      case 'type':\n      case 'nullability':\n        labelColor = (text) => text; // Default color\n        formattedLabel = labelColor(node.name);\n        break;\n      case 'primaryKey': {\n        // Parse \"primary key: columnName\" format - color \"primary key\" dim, columnName cyan\n        const pkMatch = node.name.match(/^primary key:\\s*(.+)$/);\n        if (pkMatch?.[1]) {\n          const columnNames = pkMatch[1];\n          formattedLabel = `${dim('primary key')}: ${cyan(columnNames)}`;\n        } else {\n          formattedLabel = dim(node.name);\n        }\n        break;\n      }\n      case 'foreignKey':\n      case 'unique':\n      case 'index':\n        labelColor = dim;\n        formattedLabel = labelColor(node.name);\n        break;\n      case 'dependency': {\n        // Parse specific extension message formats\n        // \"database is postgres\" -> dim \"database is\", cyan \"postgres\"\n        const dbMatch = node.name.match(/^database is\\s+(.+)$/);\n        if (dbMatch?.[1]) {\n          const dbName = dbMatch[1];\n          formattedLabel = `${dim('database is')} ${cyan(dbName)}`;\n        } else {\n          // \"vector extension is enabled\" -> dim everything except extension name\n          // Match pattern: \"extensionName extension is enabled\"\n          const extMatch = node.name.match(/^([^\\s]+)\\s+(extension is enabled)$/);\n          if (extMatch?.[1] && extMatch[2]) {\n            const extName = extMatch[1];\n            const rest = extMatch[2];\n            formattedLabel = `${cyan(extName)} ${dim(rest)}`;\n          } else {\n            // Fallback: color entire name with magenta\n            labelColor = magenta;\n            formattedLabel = labelColor(node.name);\n          }\n        }\n        break;\n      }\n      default:\n        formattedLabel = node.name;\n        break;\n    }\n  } else {\n    formattedLabel = node.name;\n  }\n\n  const statusGlyphColored = statusColor(statusGlyph);\n\n  // Build the label with optional message for failure/warn nodes\n  let nodeLabel = formattedLabel;\n  if (\n    (node.status === 'fail' || node.status === 'warn') &&\n    node.message &&\n    node.message.length > 0\n  ) {\n    // Always show message for failure/warn nodes - it provides crucial context\n    // For parent nodes, the message summarizes child failures\n    // For leaf nodes, the message explains the specific issue\n    const messageText = formatDimText(`(${node.message})`);\n    nodeLabel = `${formattedLabel} ${messageText}`;\n  }\n\n  // Root node renders without tree characters or | prefix\n  // Root node renders without tree characters or prefix\n  if (isRoot) {\n    lines.push(`${statusGlyphColored} ${nodeLabel}`);\n  } else {\n    const treeChar = isLast ? '└' : '├';\n    const treePrefix = `${formatDimText(treeChar)}─ `;\n    lines.push(`${prefix}${treePrefix}${statusGlyphColored} ${nodeLabel}`);\n  }\n\n  // Render children if present\n  if (node.children && node.children.length > 0) {\n    const childPrefix = isRoot ? '' : `${prefix}${isLast ? '   ' : `${formatDimText('│')}  `}`;\n    for (let i = 0; i < node.children.length; i++) {\n      const child = node.children[i];\n      if (!child) continue;\n      const isLastChild = i === node.children.length - 1;\n      const childLines = renderSchemaVerificationTree(child, flags, {\n        isLast: isLastChild,\n        prefix: childPrefix,\n        useColor,\n        formatDimText,\n        isRoot: false,\n      });\n      lines.push(...childLines);\n    }\n  }\n\n  return lines;\n}\n\n/**\n * Formats human-readable output for database schema verification.\n */\nexport function formatSchemaVerifyOutput(\n  result: VerifyDatabaseSchemaResult,\n  flags: GlobalFlags,\n  unclaimed: readonly string[] = [],\n): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatRed = createColorFormatter(useColor, red);\n  const formatYellow = createColorFormatter(useColor, yellow);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  // Render verification tree first\n  const treeLines = renderSchemaVerificationTree(result.schema.root, flags, {\n    isLast: true,\n    prefix: '',\n    useColor,\n    formatDimText,\n    isRoot: true,\n  });\n  lines.push(...treeLines);\n\n  if (result.schema.schemaDiffIssues.length > 0) {\n    lines.push('');\n    lines.push(formatRed('Schema drift:'));\n    for (const issue of result.schema.schemaDiffIssues) {\n      lines.push(`  ${formatRed('✖')} ${issue.message}`);\n    }\n  }\n\n  if (unclaimed.length > 0) {\n    const strict = result.meta?.strict ?? false;\n    lines.push('');\n    lines.push(\n      (strict ? formatRed : formatYellow)('Unclaimed elements (declared by no contract):'),\n    );\n    for (const name of unclaimed) {\n      lines.push(`  ${(strict ? formatRed : formatYellow)(strict ? '✖' : '⚠')} ${name}`);\n    }\n  }\n\n  // Add counts and timings in verbose mode\n  if (isVerbose(flags, 1)) {\n    lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);\n    lines.push(\n      `${formatDimText(`  pass=${result.schema.counts.pass} warn=${result.schema.counts.warn} fail=${result.schema.counts.fail}`)}`,\n    );\n  }\n\n  // Blank line before summary\n  lines.push('');\n\n  // Summary line at the end: summary with status glyph\n  if (result.ok) {\n    lines.push(`${formatGreen('✔')} ${result.summary}`);\n  } else {\n    const codeText = result.code ? ` (${result.code})` : '';\n    lines.push(`${formatRed('✖')} ${result.summary}${codeText}`);\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats JSON output for database schema verification. The unclaimed-elements\n * list is a top-level field alongside the combined result, reported once for\n * the whole database.\n */\nexport function formatSchemaVerifyJson(\n  result: VerifyDatabaseSchemaResult,\n  unclaimed: readonly string[] = [],\n): string {\n  return JSON.stringify({ ...result, unclaimed }, null, 2);\n}\n\n// ============================================================================\n// Sign Output Formatters\n// ============================================================================\n\n/**\n * Formats human-readable output for database sign.\n */\nexport function formatSignOutput(result: SignDatabaseResult, flags: GlobalFlags): string {\n  if (flags.quiet) {\n    return '';\n  }\n\n  const lines: string[] = [];\n\n  const useColor = flags.color !== false;\n  const formatGreen = createColorFormatter(useColor, green);\n  const formatDimText = (text: string) => formatDim(useColor, text);\n\n  if (result.ok) {\n    // Main success message in white (not dimmed)\n    lines.push(`${formatGreen('✔')} Database signed`);\n\n    // Show from -> to hashes with clear labels\n    const previousHash = result.marker.previous?.storageHash ?? 'none';\n    const currentHash = result.contract.storageHash;\n\n    lines.push(`${formatDimText(`  from: ${previousHash}`)}`);\n    lines.push(`${formatDimText(`  to:   ${currentHash}`)}`);\n\n    if (isVerbose(flags, 1)) {\n      if (result.contract.profileHash) {\n        lines.push(`${formatDimText(`  profileHash: ${result.contract.profileHash}`)}`);\n      }\n      if (result.marker.previous?.profileHash) {\n        lines.push(\n          `${formatDimText(`  previous profileHash: ${result.marker.previous.profileHash}`)}`,\n        );\n      }\n      lines.push(`${formatDimText(`  Total time: ${result.timings.total}ms`)}`);\n    }\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Formats JSON output for database sign.\n */\nexport function formatSignJson(result: SignDatabaseResult): string {\n  return JSON.stringify(result, null, 2);\n}\n"],"mappings":";;;;;;;AAsDA,SAAgB,mBACd,QACA,OACQ;CACR,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,CAAC;CAEzB,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,KAAK;CACxD,MAAM,eAAe,qBAAqB,UAAU,MAAM;CAC1D,MAAM,iBAAiB,SAAiB,UAAU,UAAU,IAAI;CAChE,MAAM,mBACJ,OAAO,SAAS,SACZ,kBAAkB,OAAO,QAAQ,SAAS,cAAc,kBACxD;CAEN,MAAM,KAAK,GAAG,YAAY,GAAG,EAAE,GAAG,OAAO,SAAS;CAClD,MAAM,KAAK,GAAG,cAAc,mBAAmB,kBAAkB,GAAG;CACpE,MAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,aAAa,GAAG;CAC9E,IAAI,OAAO,SAAS,aAClB,MAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,aAAa,GAAG;CAEhF,IAAI,OAAO,SAAS,UAAU,OAAO,UAAU,UAAU,OAAO,CAAC,GAC/D,MAAM,KACJ,GAAG,cAAc,kBAAkB,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,MAAM,GACpI;CAEF,IAAI,OAAO,aAAa,OAAO,UAAU,SAAS,GAAG;EACnD,MAAM,KAAK,EAAE;EACb,MAAM,KAAK,aAAa,+CAA+C,CAAC;EACxE,KAAK,MAAM,QAAQ,OAAO,WACxB,MAAM,KAAK,KAAK,aAAa,GAAG,EAAE,GAAG,MAAM;CAE/C;CAEA,IAAI,OAAO,SAAS;EAClB,MAAM,KAAK,EAAE;EACb,MAAM,KAAK,GAAG,aAAa,GAAG,EAAE,GAAG,OAAO,SAAS;CACrD;CAEA,IAAI,UAAU,OAAO,CAAC,GAAG;EACvB,IAAI,OAAO,sBACT,MAAM,KACJ,GAAG,cAAc,qEAAqE,GACxF;EAEF,MAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,GAAG,GAAG;CAC1E;CAEA,OAAO,MAAM,KAAK,IAAI;AACxB;;;;AAKA,SAAgB,iBAAiB,QAA8C;CAC7E,MAAM,SAAS;EACb,IAAI,OAAO;EACX,SAAS,OAAO;EAChB,MAAM,OAAO;EACb,UAAU,OAAO;EACjB,GAAG,UAAU,UAAU,OAAO,MAAM;EACpC,QAAQ,OAAO;EACf,GAAG,UAAU,iBAAiB,OAAO,aAAa;EAClD,GAAG,UAAU,wBAAwB,OAAO,oBAAoB;EAChE,GAAG,UAAU,UAAU,OAAO,MAAM;EACpC,WAAW,OAAO,aAAa,CAAC;EAChC,GAAG,UAAU,WAAW,OAAO,OAAO;EACtC,GAAG,UAAU,QAAQ,OAAO,IAAI;EAChC,SAAS,OAAO;CAClB;CAEA,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC;AACvC;;;;AAKA,SAAgB,qBAAqB,QAAiD;CACpF,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC;AACvC;;;;;AAMA,SAAS,iBACP,MACA,OACA,SAOU;CACV,MAAM,EAAE,QAAQ,QAAQ,UAAU,eAAe,SAAS,UAAU;CACpE,MAAM,QAAkB,CAAC;CAGzB,IAAI,iBAAyB,KAAK;CAElC,IAAI,UACF,QAAQ,KAAK,MAAb;EACE,KAAK;GACH,iBAAiB,KAAK,KAAK,KAAK;GAChC;EACF,KAAK,UAAU;GAEb,MAAM,aAAa,KAAK,MAAM,MAAM,gBAAgB;GACpD,IAAI,aAAa,IAAI;IACnB,MAAM,YAAY,WAAW;IAC7B,iBAAiB,GAAG,IAAI,OAAO,EAAE,GAAG,KAAK,SAAS;GACpD,OAEE,iBAAiB,KAAK,KAAK,KAAK;GAElC;EACF;EACA,KAAK;GAEH,iBAAiB,IAAI,KAAK,KAAK;GAC/B;EAEF,KAAK,SAAS;GAGZ,MAAM,cAAc,KAAK,MAAM,MAAM,mBAAmB;GACxD,IAAI,cAAc,MAAM,YAAY,IAAI;IACtC,MAAM,aAAa,YAAY;IAC/B,MAAM,OAAO,YAAY;IAEzB,MAAM,YAAY,KAAK,MAAM,2BAA2B;IACxD,IAAI,YAAY,MAAM,UAAU,IAAI;KAClC,MAAM,cAAc,UAAU;KAC9B,MAAM,cAAc,UAAU;KAC9B,iBAAiB,GAAG,KAAK,UAAU,EAAE,IAAI,YAAY,GAAG,IAAI,WAAW;IACzE,OAEE,iBAAiB,GAAG,KAAK,UAAU,EAAE,IAAI;GAE7C,OACE,iBAAiB,KAAK;GAExB;EACF;EACA,KAAK,SAAS;GAGZ,MAAM,UAAU,KAAK,MAAM,MAAM,uBAAuB;GACxD,IAAI,UAAU,IAAI;IAChB,MAAM,cAAc,QAAQ;IAC5B,iBAAiB,GAAG,IAAI,aAAa,EAAE,IAAI,KAAK,WAAW;GAC7D,OAAO;IAEL,MAAM,cAAc,KAAK,MAAM,MAAM,iBAAiB;IACtD,IAAI,cAAc,IAAI;KACpB,MAAM,OAAO,YAAY;KACzB,iBAAiB,GAAG,IAAI,QAAQ,EAAE,GAAG,KAAK,IAAI;IAChD,OAAO;KAEL,MAAM,aAAa,KAAK,MAAM,MAAM,4BAA4B;KAChE,IAAI,aAAa,IAAI;MACnB,MAAM,cAAc,WAAW,KAAK,GAAG,IAAI,QAAQ,EAAE,KAAK;MAC1D,MAAM,OAAO,WAAW;MACxB,iBAAiB,GAAG,cAAc,IAAI,OAAO,EAAE,GAAG,KAAK,IAAI;KAC7D,OACE,iBAAiB,IAAI,KAAK,KAAK;IAEnC;GACF;GACA;EACF;EACA,KAAK,cAAc;GAGjB,MAAM,WAAW,KAAK,MAAM,MAAM,qCAAqC;GACvE,IAAI,WAAW,MAAM,SAAS,IAAI;IAChC,MAAM,UAAU,SAAS;IACzB,MAAM,OAAO,SAAS;IACtB,iBAAiB,GAAG,KAAK,OAAO,EAAE,GAAG,IAAI,IAAI;GAC/C,OAEE,iBAAiB,QAAQ,KAAK,KAAK;GAErC;EACF;EACA;GACE,iBAAiB,KAAK;GACtB;CACJ;CAIF,IAAI,QACF,MAAM,KAAK,cAAc;MACpB;EAEL,MAAM,aAAa,GAAG,cADL,SAAS,MAAM,GACY,EAAE;EAC9C,MAAM,KAAK,GAAG,SAAS,aAAa,gBAAgB;CACtD;CAGA,IAAI,KAAK,YAAY,KAAK,SAAS,SAAS,GAAG;EAC7C,MAAM,cAAc,SAAS,KAAK,GAAG,SAAS,SAAS,QAAQ,GAAG,cAAc,GAAG,EAAE;EACrF,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,SAAS,QAAQ,KAAK;GAC7C,MAAM,QAAQ,KAAK,SAAS;GAC5B,IAAI,CAAC,OAAO;GAEZ,MAAM,aAAa,iBAAiB,OAAO,OAAO;IAChD,QAFkB,MAAM,KAAK,SAAS,SAAS;IAG/C,QAAQ;IACR;IACA;IACA,QAAQ;GACV,CAAC;GACD,MAAM,KAAK,GAAG,UAAU;EAC1B;CACF;CAEA,OAAO;AACT;;;;AAKA,SAAgB,uBACd,QACA,YACA,OACQ;CACR,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,CAAC;CAEzB,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,iBAAiB,SAAiB,UAAU,UAAU,IAAI;CAEhE,IAAI,YAAY;EAEd,MAAM,YAAY,iBAAiB,WAAW,MAAM,OAAO;GACzD,QAAQ;GACR,QAAQ;GACR;GACA;GACA,QAAQ;EACV,CAAC;EACD,MAAM,KAAK,GAAG,SAAS;CACzB,OAAO;EAEL,MAAM,KAAK,KAAK,OAAO,SAAS;EAChC,IAAI,UAAU,OAAO,CAAC,GAAG;GACvB,MAAM,KAAK,aAAa,OAAO,OAAO,SAAS,GAAG,OAAO,OAAO,IAAI;GACpE,IAAI,OAAO,MAAM,OACf,MAAM,KAAK,eAAe,OAAO,KAAK,OAAO;EAEjD;CACF;CAGA,IAAI,UAAU,OAAO,CAAC,GACpB,MAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,GAAG,GAAG;CAG1E,OAAO,MAAM,KAAK,IAAI;AACxB;;;;;AAMA,SAAS,6BACP,MACA,OACA,SAOU;CACV,MAAM,EAAE,QAAQ,QAAQ,UAAU,eAAe,SAAS,UAAU;CACpE,MAAM,QAAkB,CAAC;CAGzB,IAAI,cAAc;CAClB,IAAI,eAAyC,SAAS;CACtD,IAAI,UACF,QAAQ,KAAK,QAAb;EACE,KAAK;GACH,cAAc;GACd,cAAc;GACd;EACF,KAAK;GACH,cAAc;GACd,eAAe,SAAU,WAAW,OAAO,IAAI,IAAI;GACnD;EACF,KAAK;GACH,cAAc;GACd,cAAc;GACd;CACJ;MAEA,QAAQ,KAAK,QAAb;EACE,KAAK;GACH,cAAc;GACd;EACF,KAAK;GACH,cAAc;GACd;EACF,KAAK;GACH,cAAc;GACd;CACJ;CAKF,IAAI,cAAwC,SAAS;CACrD,IAAI,iBAAyB,KAAK;CAElC,IAAI,UACF,QAAQ,KAAK,MAAb;EACE,KAAK;EACL,KAAK;GACH,aAAa;GACb,iBAAiB,WAAW,KAAK,IAAI;GACrC;EACF,KAAK,SAAS;GAEZ,MAAM,aAAa,KAAK,KAAK,MAAM,gBAAgB;GACnD,IAAI,aAAa,IAAI;IACnB,MAAM,YAAY,WAAW;IAC7B,iBAAiB,GAAG,IAAI,OAAO,EAAE,GAAG,KAAK,SAAS;GACpD,OACE,iBAAiB,IAAI,KAAK,IAAI;GAEhC;EACF;EACA,KAAK;GACH,aAAa;GACb,iBAAiB,WAAW,KAAK,IAAI;GACrC;EACF,KAAK,UAAU;GAGb,MAAM,cAAc,KAAK,KAAK,MAAM,mBAAmB;GACvD,IAAI,cAAc,MAAM,YAAY,IAAI;IACtC,MAAM,aAAa,YAAY;IAC/B,MAAM,OAAO,YAAY;IAGzB,MAAM,YAAY,KAAK,MAAM,2CAA2C;IACxE,IAAI,YAAY,MAAM,UAAU,MAAM,UAAU,IAAI;KAClD,MAAM,eAAe,UAAU;KAC/B,MAAM,aAAa,UAAU;KAC7B,MAAM,cAAc,UAAU;KAC9B,iBAAiB,GAAG,KAAK,UAAU,EAAE,IAAI,aAAa,KAAK,IAAI,UAAU,EAAE,GAAG,IAAI,WAAW;IAC/F,OAEE,iBAAiB,GAAG,KAAK,UAAU,EAAE,IAAI;GAE7C,OACE,iBAAiB,KAAK;GAExB;EACF;EACA,KAAK;EACL,KAAK;GACH,cAAc,SAAS;GACvB,iBAAiB,WAAW,KAAK,IAAI;GACrC;EACF,KAAK,cAAc;GAEjB,MAAM,UAAU,KAAK,KAAK,MAAM,uBAAuB;GACvD,IAAI,UAAU,IAAI;IAChB,MAAM,cAAc,QAAQ;IAC5B,iBAAiB,GAAG,IAAI,aAAa,EAAE,IAAI,KAAK,WAAW;GAC7D,OACE,iBAAiB,IAAI,KAAK,IAAI;GAEhC;EACF;EACA,KAAK;EACL,KAAK;EACL,KAAK;GACH,aAAa;GACb,iBAAiB,WAAW,KAAK,IAAI;GACrC;EACF,KAAK,cAAc;GAGjB,MAAM,UAAU,KAAK,KAAK,MAAM,sBAAsB;GACtD,IAAI,UAAU,IAAI;IAChB,MAAM,SAAS,QAAQ;IACvB,iBAAiB,GAAG,IAAI,aAAa,EAAE,GAAG,KAAK,MAAM;GACvD,OAAO;IAGL,MAAM,WAAW,KAAK,KAAK,MAAM,qCAAqC;IACtE,IAAI,WAAW,MAAM,SAAS,IAAI;KAChC,MAAM,UAAU,SAAS;KACzB,MAAM,OAAO,SAAS;KACtB,iBAAiB,GAAG,KAAK,OAAO,EAAE,GAAG,IAAI,IAAI;IAC/C,OAAO;KAEL,aAAa;KACb,iBAAiB,WAAW,KAAK,IAAI;IACvC;GACF;GACA;EACF;EACA;GACE,iBAAiB,KAAK;GACtB;CACJ;MAEA,iBAAiB,KAAK;CAGxB,MAAM,qBAAqB,YAAY,WAAW;CAGlD,IAAI,YAAY;CAChB,KACG,KAAK,WAAW,UAAU,KAAK,WAAW,WAC3C,KAAK,WACL,KAAK,QAAQ,SAAS,GACtB;EAIA,MAAM,cAAc,cAAc,IAAI,KAAK,QAAQ,EAAE;EACrD,YAAY,GAAG,eAAe,GAAG;CACnC;CAIA,IAAI,QACF,MAAM,KAAK,GAAG,mBAAmB,GAAG,WAAW;MAC1C;EAEL,MAAM,aAAa,GAAG,cADL,SAAS,MAAM,GACY,EAAE;EAC9C,MAAM,KAAK,GAAG,SAAS,aAAa,mBAAmB,GAAG,WAAW;CACvE;CAGA,IAAI,KAAK,YAAY,KAAK,SAAS,SAAS,GAAG;EAC7C,MAAM,cAAc,SAAS,KAAK,GAAG,SAAS,SAAS,QAAQ,GAAG,cAAc,GAAG,EAAE;EACrF,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,SAAS,QAAQ,KAAK;GAC7C,MAAM,QAAQ,KAAK,SAAS;GAC5B,IAAI,CAAC,OAAO;GAEZ,MAAM,aAAa,6BAA6B,OAAO,OAAO;IAC5D,QAFkB,MAAM,KAAK,SAAS,SAAS;IAG/C,QAAQ;IACR;IACA;IACA,QAAQ;GACV,CAAC;GACD,MAAM,KAAK,GAAG,UAAU;EAC1B;CACF;CAEA,OAAO;AACT;;;;AAKA,SAAgB,yBACd,QACA,OACA,YAA+B,CAAC,GACxB;CACR,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,CAAC;CAEzB,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,KAAK;CACxD,MAAM,YAAY,qBAAqB,UAAU,GAAG;CACpD,MAAM,eAAe,qBAAqB,UAAU,MAAM;CAC1D,MAAM,iBAAiB,SAAiB,UAAU,UAAU,IAAI;CAGhE,MAAM,YAAY,6BAA6B,OAAO,OAAO,MAAM,OAAO;EACxE,QAAQ;EACR,QAAQ;EACR;EACA;EACA,QAAQ;CACV,CAAC;CACD,MAAM,KAAK,GAAG,SAAS;CAEvB,IAAI,OAAO,OAAO,iBAAiB,SAAS,GAAG;EAC7C,MAAM,KAAK,EAAE;EACb,MAAM,KAAK,UAAU,eAAe,CAAC;EACrC,KAAK,MAAM,SAAS,OAAO,OAAO,kBAChC,MAAM,KAAK,KAAK,UAAU,GAAG,EAAE,GAAG,MAAM,SAAS;CAErD;CAEA,IAAI,UAAU,SAAS,GAAG;EACxB,MAAM,SAAS,OAAO,MAAM,UAAU;EACtC,MAAM,KAAK,EAAE;EACb,MAAM,MACH,SAAS,YAAY,aAAA,CAAc,+CAA+C,CACrF;EACA,KAAK,MAAM,QAAQ,WACjB,MAAM,KAAK,MAAM,SAAS,YAAY,aAAA,CAAc,SAAS,MAAM,GAAG,EAAE,GAAG,MAAM;CAErF;CAGA,IAAI,UAAU,OAAO,CAAC,GAAG;EACvB,MAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,GAAG,GAAG;EACxE,MAAM,KACJ,GAAG,cAAc,UAAU,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,MAAM,GAC5H;CACF;CAGA,MAAM,KAAK,EAAE;CAGb,IAAI,OAAO,IACT,MAAM,KAAK,GAAG,YAAY,GAAG,EAAE,GAAG,OAAO,SAAS;MAC7C;EACL,MAAM,WAAW,OAAO,OAAO,KAAK,OAAO,KAAK,KAAK;EACrD,MAAM,KAAK,GAAG,UAAU,GAAG,EAAE,GAAG,OAAO,UAAU,UAAU;CAC7D;CAEA,OAAO,MAAM,KAAK,IAAI;AACxB;;;;;;AAOA,SAAgB,uBACd,QACA,YAA+B,CAAC,GACxB;CACR,OAAO,KAAK,UAAU;EAAE,GAAG;EAAQ;CAAU,GAAG,MAAM,CAAC;AACzD;;;;AASA,SAAgB,iBAAiB,QAA4B,OAA4B;CACvF,IAAI,MAAM,OACR,OAAO;CAGT,MAAM,QAAkB,CAAC;CAEzB,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,KAAK;CACxD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,IAAI;CAEhE,IAAI,OAAO,IAAI;EAEb,MAAM,KAAK,GAAG,YAAY,GAAG,EAAE,iBAAiB;EAGhD,MAAM,eAAe,OAAO,OAAO,UAAU,eAAe;EAC5D,MAAM,cAAc,OAAO,SAAS;EAEpC,MAAM,KAAK,GAAG,cAAc,WAAW,cAAc,GAAG;EACxD,MAAM,KAAK,GAAG,cAAc,WAAW,aAAa,GAAG;EAEvD,IAAI,UAAU,OAAO,CAAC,GAAG;GACvB,IAAI,OAAO,SAAS,aAClB,MAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,aAAa,GAAG;GAEhF,IAAI,OAAO,OAAO,UAAU,aAC1B,MAAM,KACJ,GAAG,cAAc,2BAA2B,OAAO,OAAO,SAAS,aAAa,GAClF;GAEF,MAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,GAAG,GAAG;EAC1E;CACF;CAEA,OAAO,MAAM,KAAK,IAAI;AACxB;;;;AAKA,SAAgB,eAAe,QAAoC;CACjE,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC;AACvC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@prisma-next/cli",
-  "version": "0.14.0-dev.4",
+  "version": "0.14.0-dev.40",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
@@ -9,18 +9,19 @@
   },
   "dependencies": {
     "@clack/prompts": "^1.4.0",
-    "@prisma-next/config": "0.14.0-dev.4",
-    "@prisma-next/contract": "0.14.0-dev.4",
-    "@prisma-next/emitter": "0.14.0-dev.4",
-    "@prisma-next/errors": "0.14.0-dev.4",
-    "@prisma-next/framework-components": "0.14.0-dev.4",
-    "@prisma-next/migration-tools": "0.14.0-dev.4",
-    "@prisma-next/psl-parser": "0.14.0-dev.4",
-    "@prisma-next/psl-printer": "0.14.0-dev.4",
-    "@prisma-next/cli-telemetry": "0.14.0-dev.4",
-    "@prisma-next/utils": "0.14.0-dev.4",
+    "@prisma-next/config": "0.14.0-dev.40",
+    "@prisma-next/config-loader": "0.14.0-dev.40",
+    "@prisma-next/contract": "0.14.0-dev.40",
+    "@prisma-next/emitter": "0.14.0-dev.40",
+    "@prisma-next/errors": "0.14.0-dev.40",
+    "@prisma-next/framework-components": "0.14.0-dev.40",
+    "@prisma-next/language-server": "0.14.0-dev.40",
+    "@prisma-next/migration-tools": "0.14.0-dev.40",
+    "@prisma-next/psl-parser": "0.14.0-dev.40",
+    "@prisma-next/psl-printer": "0.14.0-dev.40",
+    "@prisma-next/cli-telemetry": "0.14.0-dev.40",
+    "@prisma-next/utils": "0.14.0-dev.40",
     "arktype": "^2.2.0",
-    "c12": "^3.3.4",
     "ci-info": "^4.3.1",
     "clipanion": "4.0.0-rc.4",
     "closest-match": "^1.3.3",
@@ -35,14 +36,14 @@
     "wrap-ansi": "^10.0.0"
   },
   "devDependencies": {
-    "@prisma-next/sql-contract": "0.14.0-dev.4",
-    "@prisma-next/sql-contract-emitter": "0.14.0-dev.4",
-    "@prisma-next/sql-contract-ts": "0.14.0-dev.4",
-    "@prisma-next/sql-operations": "0.14.0-dev.4",
-    "@prisma-next/sql-runtime": "0.14.0-dev.4",
-    "@prisma-next/test-utils": "0.14.0-dev.4",
-    "@prisma-next/tsconfig": "0.14.0-dev.4",
-    "@prisma-next/tsdown": "0.14.0-dev.4",
+    "@prisma-next/sql-contract": "0.14.0-dev.40",
+    "@prisma-next/sql-contract-emitter": "0.14.0-dev.40",
+    "@prisma-next/sql-contract-ts": "0.14.0-dev.40",
+    "@prisma-next/sql-operations": "0.14.0-dev.40",
+    "@prisma-next/sql-runtime": "0.14.0-dev.40",
+    "@prisma-next/test-utils": "0.14.0-dev.40",
+    "@prisma-next/tsconfig": "0.14.0-dev.40",
+    "@prisma-next/tsdown": "0.14.0-dev.40",
     "@types/node": "25.9.1",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",
@@ -145,10 +146,6 @@
       "types": "./dist/commands/telemetry/index.d.mts",
       "import": "./dist/commands/telemetry/index.mjs"
     },
-    "./config-loader": {
-      "types": "./dist/config-loader.d.mts",
-      "import": "./dist/config-loader.mjs"
-    },
     "./migration-cli": {
       "types": "./dist/migration-cli.d.mts",
       "import": "./dist/migration-cli.mjs"

package/src/cli.ts

@@ -14,6 +14,7 @@ import { createDbSignCommand } from './commands/db-sign';
 import { createDbUpdateCommand } from './commands/db-update';
 import { createDbVerifyCommand } from './commands/db-verify';
 import { createFormatCommand } from './commands/format';
+import { createLspCommand } from './commands/lsp';
 import { createMigrateCommand } from './commands/migrate';
 import { createMigrationCheckCommand } from './commands/migration-check';
 import { createMigrationGraphCommand } from './commands/migration-graph';
@@ -312,6 +313,7 @@ const telemetryCommand = createTelemetryCommand();
 const initCommand = createInitCommand();
 
 const formatCommand = createFormatCommand();
+const lspCommand = createLspCommand();
 
 // Register top-level commands in the order the spec's intended-surface
 // diagram lists them: verbs (init, migrate) first, then subject
@@ -321,6 +323,7 @@ const formatCommand = createFormatCommand();
 program.addCommand(initCommand);
 program.addCommand(migrateCommand);
 program.addCommand(formatCommand);
+program.addCommand(lspCommand);
 program.addCommand(contractCommand);
 program.addCommand(dbCommand);
 program.addCommand(migrationCommand);

package/src/commands/contract-emit.ts

@@ -1,10 +1,10 @@
+import { loadConfig } from '@prisma-next/config-loader';
 import { getEmittedArtifactPaths } from '@prisma-next/emitter';
 import { errorContractConfigMissing } from '@prisma-next/errors/control';
 import { ifDefined } from '@prisma-next/utils/defined';
 import { notOk, ok, type Result } from '@prisma-next/utils/result';
 import { Command } from 'commander';
 import { dirname, join, relative, resolve } from 'pathe';
-import { loadConfig } from '../config-loader';
 import { executeContractEmit } from '../control-api/operations/contract-emit';
 import type { ContractEmitResult } from '../control-api/types';
 import { CliStructuredError, errorUnexpected } from '../utils/cli-errors';

package/src/commands/db-sign.ts

@@ -1,4 +1,5 @@
 import { readFile } from 'node:fs/promises';
+import { loadConfig } from '@prisma-next/config-loader';
 import type {
   SignDatabaseResult,
   VerifyDatabaseSchemaResult,
@@ -8,7 +9,6 @@ import { parseContractRef } from '@prisma-next/migration-tools/ref-resolution';
 import { notOk, ok, type Result } from '@prisma-next/utils/result';
 import { Command } from 'commander';
 import { join, relative, resolve } from 'pathe';
-import { loadConfig } from '../config-loader';
 import { createControlClient } from '../control-api/client';
 import { ContractValidationError } from '../control-api/errors';
 import {

package/src/commands/db-verify.ts

@@ -1,9 +1,7 @@
 import { readFile } from 'node:fs/promises';
+import { loadConfig } from '@prisma-next/config-loader';
 import type { Contract } from '@prisma-next/contract/types';
-import type {
-  VerifyDatabaseResult,
-  VerifyDatabaseSchemaResult,
-} from '@prisma-next/framework-components/control';
+import type { VerifyDatabaseResult } from '@prisma-next/framework-components/control';
 import {
   createControlStack,
   VERIFY_CODE_HASH_MISMATCH,
@@ -14,7 +12,6 @@ import { ifDefined } from '@prisma-next/utils/defined';
 import { notOk, ok, type Result } from '@prisma-next/utils/result';
 import { Command } from 'commander';
 import { relative, resolve } from 'pathe';
-import { loadConfig } from '../config-loader';
 import { createControlClient } from '../control-api/client';
 import { ContractValidationError } from '../control-api/errors';
 import {
@@ -29,7 +26,7 @@ import {
   errorTargetMismatch,
   errorUnexpected,
 } from '../utils/cli-errors';
-import { combineSchemaResults } from '../utils/combine-schema-results';
+import { type CombinedVerifyResult, combineVerifyResults } from '../utils/combine-verify-results';
 import {
   addGlobalOptions,
   maskConnectionUrl,
@@ -103,7 +100,7 @@ function mapVerifyFailure(verifyResult: VerifyDatabaseResult): CliStructuredErro
   return errorRuntime(verifyResult.summary);
 }
 
-type DbVerifyFailure = CliStructuredError | VerifyDatabaseSchemaResult;
+type DbVerifyFailure = CliStructuredError | CombinedVerifyResult;
 
 function errorInvalidVerifyMode(options: {
   readonly why: string;
@@ -419,12 +416,13 @@ async function executeDbVerifyCommand(
       });
     }
 
-    const combined = combineSchemaResults(
+    const combined = combineVerifyResults(
       aggregateResult.value.schemaResults,
       aggregateResult.value.appSpaceId,
       options.strict ?? false,
+      aggregateResult.value.unclaimed,
     );
-    if (!combined.ok) {
+    if (!combined.result.ok) {
       return notOk(combined);
     }
 
@@ -438,10 +436,11 @@ async function executeDbVerifyCommand(
       ...ifDefined('missingCodecs', verifyResult.missingCodecs),
       ...ifDefined('codecCoverageSkipped', verifyResult.codecCoverageSkipped),
       schema: {
-        summary: combined.summary,
-        counts: combined.schema.counts,
-        strict: combined.meta?.strict ?? false,
+        summary: combined.result.summary,
+        counts: combined.result.schema.counts,
+        strict: combined.result.meta?.strict ?? false,
       },
+      unclaimed: combined.unclaimed,
       meta: {
         ...(verifyResult.meta ?? {}),
         schemaVerification: 'performed',
@@ -459,7 +458,7 @@ async function executeDbSchemaOnlyVerifyCommand(
   options: DbVerifyOptions,
   flags: GlobalFlags,
   ui: TerminalUI,
-): Promise<Result<VerifyDatabaseSchemaResult, CliStructuredError>> {
+): Promise<Result<CombinedVerifyResult, CliStructuredError>> {
   const paths = await resolveVerifyPaths(options);
   renderVerifyHeader(paths, options, 'schema-only', flags, ui);
 
@@ -484,10 +483,11 @@ async function executeDbSchemaOnlyVerifyCommand(
     if (!aggregateResult.ok) return notOk(aggregateResult.failure);
 
     return ok(
-      combineSchemaResults(
+      combineVerifyResults(
         aggregateResult.value.schemaResults,
         aggregateResult.value.appSpaceId,
         options.strict ?? false,
+        aggregateResult.value.unclaimed,
       ),
     );
   } catch (error) {
@@ -542,18 +542,26 @@ export function createDbVerifyCommand(): Command {
 
       if (mode === 'schema-only') {
         const result = await executeDbSchemaOnlyVerifyCommand(options, flags, ui);
-        const exitCode = handleResult(result, flags, ui, (schemaVerifyResult) => {
+        const exitCode = handleResult(result, flags, ui, (combined) => {
           if (flags.json) {
-            ui.output(formatSchemaVerifyJson(schemaVerifyResult));
+            ui.output(formatSchemaVerifyJson(combined.result, combined.unclaimed));
           } else {
-            const output = formatSchemaVerifyOutput(schemaVerifyResult, flags);
+            // Always show schema-drift failures, even in quiet mode — exiting 1
+            // without diagnostics is unhelpful (same policy as the full-mode
+            // failure branch below).
+            const renderFlags = combined.result.ok ? flags : { ...flags, quiet: false };
+            const output = formatSchemaVerifyOutput(
+              combined.result,
+              renderFlags,
+              combined.unclaimed,
+            );
             if (output) {
               ui.log(output);
             }
           }
         });
 
-        if (result.ok && !result.value.ok) {
+        if (result.ok && !result.value.result.ok) {
           process.exit(1);
         }
 
@@ -580,11 +588,15 @@ export function createDbVerifyCommand(): Command {
       }
 
       if (flags.json) {
-        ui.output(formatSchemaVerifyJson(result.failure));
+        ui.output(formatSchemaVerifyJson(result.failure.result, result.failure.unclaimed));
       } else {
         // Always show schema-drift failures, even in quiet mode — exiting 1 without
         // diagnostics is unhelpful.
-        const output = formatSchemaVerifyOutput(result.failure, { ...flags, quiet: false });
+        const output = formatSchemaVerifyOutput(
+          result.failure.result,
+          { ...flags, quiet: false },
+          result.failure.unclaimed,
+        );
         if (output) {
           ui.log(output);
         }

package/src/commands/inspect-live-schema.ts

@@ -1,9 +1,9 @@
+import { loadConfig } from '@prisma-next/config-loader';
 import type { AuthoringPslBlockDescriptorNamespace } from '@prisma-next/framework-components/authoring';
 import type { CoreSchemaView } from '@prisma-next/framework-components/control';
 import type { PslDocumentAst } from '@prisma-next/framework-components/psl-ast';
 import { notOk, ok, type Result } from '@prisma-next/utils/result';
 import { relative, resolve } from 'pathe';
-import { loadConfig } from '../config-loader';
 import { createControlClient } from '../control-api/client';
 import {
   CliStructuredError,

package/src/commands/lsp.ts

@@ -0,0 +1,32 @@
+import { Command } from 'commander';
+import {
+  addGlobalOptions,
+  setCommandDescriptions,
+  setCommandExamples,
+} from '../utils/command-helpers';
+
+export function createLspCommand(): Command {
+  const command = new Command('lsp');
+  setCommandDescriptions(
+    command,
+    'Start the Prisma Next language server',
+    'Launches a Language Server Protocol server that publishes PSL parse diagnostics\n' +
+      'and handles whole-document PSL formatting for the schema inputs declared in\n' +
+      'your config (contract.source.inputs). Formatting uses the Prisma Next PSL\n' +
+      'formatter and the formatter block from the project config.\n' +
+      'Communicates over stdio; intended to be spawned by an\n' +
+      'editor, not run interactively. The server keeps running until the editor client\n' +
+      'disconnects.',
+  );
+  setCommandExamples(command, ['prisma-next lsp --stdio']);
+  addGlobalOptions(command)
+    .option('--stdio', 'Communicate with the editor over stdio (the default and only transport)')
+    .action(async () => {
+      // Lazy import so `vscode-languageserver` stays off every other command's
+      // startup path — only `prisma-next lsp` pays its load cost.
+      const { startServer } = await import('@prisma-next/language-server');
+      startServer();
+    });
+
+  return command;
+}