@prisma-next/cli 0.12.0-dev.9 → 0.13.0-dev.1

package/dist/telemetry-BIM4beEO.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"telemetry-BIM4beEO.mjs","names":[],"sources":["../src/commands/telemetry/status.ts","../src/commands/telemetry/index.ts"],"sourcesContent":["import { readUserConfig, resolveGating, userConfigPath } from '@prisma-next/cli-telemetry';\n\n/**\n * Why telemetry resolves the way it does, in the order the CLI's\n * `resolveTelemetryGate` evaluates: CI hard-disables first, then the env\n * opt-outs, then the stored `enableTelemetry`, then the opt-out default.\n */\nexport type TelemetryStatusReason =\n  | 'ci'\n  | 'env-opt-out'\n  | 'stored-opt-out'\n  | 'stored-opt-in'\n  | 'default-on';\n\nexport interface TelemetryStatus {\n  readonly enabled: boolean;\n  readonly reason: TelemetryStatusReason;\n  readonly configPath: string;\n  readonly installationIdStored: boolean;\n}\n\n/**\n * Resolves the same gate the runtime uses (CI check + `resolveGating`) and\n * projects it into a user-facing status. Pure read: never mints, never\n * writes. The `installationId` value itself is never surfaced — only its\n * presence — so `status` discloses nothing identifying.\n */\nexport function resolveTelemetryStatus(inputs: {\n  readonly env: Readonly<Record<string, string | undefined>>;\n  readonly inCI: boolean;\n}): TelemetryStatus {\n  const config = readUserConfig();\n  const configPath = userConfigPath();\n  const installationIdStored =\n    typeof config.installationId === 'string' && config.installationId.length > 0;\n\n  if (inputs.inCI) {\n    return { enabled: false, reason: 'ci', configPath, installationIdStored };\n  }\n\n  const gating = resolveGating({ env: inputs.env, config });\n  if (!gating.enabled) {\n    const reason: TelemetryStatusReason =\n      gating.reason === 'env-override' ? 'env-opt-out' : 'stored-opt-out';\n    return { enabled: false, reason, configPath, installationIdStored };\n  }\n\n  const reason: TelemetryStatusReason =\n    config.enableTelemetry === true ? 'stored-opt-in' : 'default-on';\n  return { enabled: true, reason, configPath, installationIdStored };\n}\n\nconst REASON_EXPLANATION: Record<TelemetryStatusReason, string> = {\n  ci: 'CI environment detected — telemetry is hard-disabled.',\n  'env-opt-out': 'an environment opt-out is set (DO_NOT_TRACK / PRISMA_NEXT_DISABLE_TELEMETRY).',\n  'stored-opt-out': '\"enableTelemetry\": false is stored in your config.',\n  'stored-opt-in': '\"enableTelemetry\": true is stored in your config.',\n  'default-on': 'no explicit choice is stored, so the opt-out default applies.',\n};\n\nexport function formatTelemetryStatusLines(status: TelemetryStatus): string[] {\n  return [\n    `Telemetry is ${status.enabled ? 'enabled' : 'disabled'}: ${REASON_EXPLANATION[status.reason]}`,\n    `Config file: ${status.configPath}`,\n    `Installation ID: ${status.installationIdStored ? 'stored' : 'not stored'}`,\n  ];\n}\n","import { userConfigPath, writeUserConfig } from '@prisma-next/cli-telemetry';\nimport { Command } from 'commander';\nimport {\n  addGlobalOptions,\n  setCommandDescriptions,\n  setCommandExamples,\n} from '../../utils/command-helpers';\nimport { formatCommandHelp } from '../../utils/formatters/help';\nimport {\n  type CommonCommandOptions,\n  parseGlobalFlags,\n  parseGlobalFlagsOrExit,\n} from '../../utils/global-flags';\nimport { isCI } from '../../utils/is-ci';\nimport { createTerminalUI } from '../../utils/terminal-ui';\nimport { formatTelemetryStatusLines, resolveTelemetryStatus } from './status';\n\nfunction createTelemetryStatusCommand(): Command {\n  const command = new Command('status');\n  setCommandDescriptions(\n    command,\n    'Show whether anonymous CLI telemetry is enabled and why',\n    'Reports whether telemetry is currently enabled or disabled and the reason\\n' +\n      '(default-on, stored opt-out, environment opt-out, or CI), the path to your\\n' +\n      'user-level config file, and whether an installation ID has been stored.\\n' +\n      'Read-only: never sends an event, never mints an ID, never writes anything.',\n  );\n  return addGlobalOptions(command).action((options: CommonCommandOptions) => {\n    const flags = parseGlobalFlagsOrExit(options);\n    const ui = createTerminalUI(flags);\n    const status = resolveTelemetryStatus({ env: process.env, inCI: isCI() });\n    if (flags.json) {\n      ui.output(JSON.stringify(status));\n    } else {\n      for (const line of formatTelemetryStatusLines(status)) {\n        ui.output(line);\n      }\n    }\n    process.exit(0);\n  });\n}\n\nfunction createTelemetryEnableCommand(): Command {\n  const command = new Command('enable');\n  setCommandDescriptions(\n    command,\n    'Enable anonymous CLI telemetry',\n    'Stores \"enableTelemetry\": true in your user-level config and mints an\\n' +\n      'installation ID if one is not already stored.',\n  );\n  return addGlobalOptions(command).action((options: CommonCommandOptions) => {\n    const flags = parseGlobalFlagsOrExit(options);\n    writeUserConfig({ enableTelemetry: true });\n    const ui = createTerminalUI(flags);\n    if (flags.json) {\n      ui.output(JSON.stringify({ enableTelemetry: true, configPath: userConfigPath() }));\n    } else {\n      ui.output(`Telemetry enabled. Preference stored in ${userConfigPath()}.`);\n    }\n    process.exit(0);\n  });\n}\n\nfunction createTelemetryDisableCommand(): Command {\n  const command = new Command('disable');\n  setCommandDescriptions(\n    command,\n    'Disable anonymous CLI telemetry',\n    'Stores \"enableTelemetry\": false in your user-level config. No installation\\n' +\n      'ID is minted and no event is sent.',\n  );\n  return addGlobalOptions(command).action((options: CommonCommandOptions) => {\n    const flags = parseGlobalFlagsOrExit(options);\n    writeUserConfig({ enableTelemetry: false });\n    const ui = createTerminalUI(flags);\n    if (flags.json) {\n      ui.output(JSON.stringify({ enableTelemetry: false, configPath: userConfigPath() }));\n    } else {\n      ui.output(`Telemetry disabled. Preference stored in ${userConfigPath()}.`);\n    }\n    process.exit(0);\n  });\n}\n\nexport function createTelemetryCommand(): Command {\n  const command = new Command('telemetry');\n  setCommandDescriptions(\n    command,\n    'Inspect and change anonymous CLI telemetry',\n    'Show telemetry status, or enable / disable anonymous CLI usage data.\\n' +\n      'Telemetry is on by default (opt-out); see https://prisma-next.dev/docs/cli/telemetry\\n' +\n      'for what is collected and why.',\n  );\n  setCommandExamples(command, [\n    'prisma-next telemetry status',\n    'prisma-next telemetry disable',\n    'prisma-next telemetry enable',\n  ]);\n  command.configureHelp({\n    formatHelp: (cmd) => formatCommandHelp({ command: cmd, flags: parseGlobalFlags({}) }),\n    subcommandDescription: () => '',\n  });\n  command.addCommand(createTelemetryStatusCommand());\n  command.addCommand(createTelemetryEnableCommand());\n  command.addCommand(createTelemetryDisableCommand());\n  return command;\n}\n"],"mappings":";;;;;;;;;;AA2BA,SAAgB,uBAAuB,QAGnB;CAClB,MAAM,SAAS,eAAe;CAC9B,MAAM,aAAa,eAAe;CAClC,MAAM,uBACJ,OAAO,OAAO,mBAAmB,YAAY,OAAO,eAAe,SAAS;CAE9E,IAAI,OAAO,MACT,OAAO;EAAE,SAAS;EAAO,QAAQ;EAAM;EAAY;CAAqB;CAG1E,MAAM,SAAS,cAAc;EAAE,KAAK,OAAO;EAAK;CAAO,CAAC;CACxD,IAAI,CAAC,OAAO,SAGV,OAAO;EAAE,SAAS;EAAO,QADvB,OAAO,WAAW,iBAAiB,gBAAgB;EACpB;EAAY;CAAqB;CAKpE,OAAO;EAAE,SAAS;EAAM,QADtB,OAAO,oBAAoB,OAAO,kBAAkB;EACtB;EAAY;CAAqB;AACnE;AAEA,MAAM,qBAA4D;CAChE,IAAI;CACJ,eAAe;CACf,kBAAkB;CAClB,iBAAiB;CACjB,cAAc;AAChB;AAEA,SAAgB,2BAA2B,QAAmC;CAC5E,OAAO;EACL,gBAAgB,OAAO,UAAU,YAAY,WAAW,IAAI,mBAAmB,OAAO;EACtF,gBAAgB,OAAO;EACvB,oBAAoB,OAAO,uBAAuB,WAAW;CAC/D;AACF;;;ACjDA,SAAS,+BAAwC;CAC/C,MAAM,UAAU,IAAI,QAAQ,QAAQ;CACpC,uBACE,SACA,2DACA,4SAIF;CACA,OAAO,iBAAiB,OAAO,CAAC,CAAC,QAAQ,YAAkC;EACzE,MAAM,QAAQ,uBAAuB,OAAO;EAC5C,MAAM,KAAK,iBAAiB,KAAK;EACjC,MAAM,SAAS,uBAAuB;GAAE,KAAK,QAAQ;GAAK,MAAM,KAAK;EAAE,CAAC;EACxE,IAAI,MAAM,MACR,GAAG,OAAO,KAAK,UAAU,MAAM,CAAC;OAEhC,KAAK,MAAM,QAAQ,2BAA2B,MAAM,GAClD,GAAG,OAAO,IAAI;EAGlB,QAAQ,KAAK,CAAC;CAChB,CAAC;AACH;AAEA,SAAS,+BAAwC;CAC/C,MAAM,UAAU,IAAI,QAAQ,QAAQ;CACpC,uBACE,SACA,kCACA,wHAEF;CACA,OAAO,iBAAiB,OAAO,CAAC,CAAC,QAAQ,YAAkC;EACzE,MAAM,QAAQ,uBAAuB,OAAO;EAC5C,gBAAgB,EAAE,iBAAiB,KAAK,CAAC;EACzC,MAAM,KAAK,iBAAiB,KAAK;EACjC,IAAI,MAAM,MACR,GAAG,OAAO,KAAK,UAAU;GAAE,iBAAiB;GAAM,YAAY,eAAe;EAAE,CAAC,CAAC;OAEjF,GAAG,OAAO,2CAA2C,eAAe,EAAE,EAAE;EAE1E,QAAQ,KAAK,CAAC;CAChB,CAAC;AACH;AAEA,SAAS,gCAAyC;CAChD,MAAM,UAAU,IAAI,QAAQ,SAAS;CACrC,uBACE,SACA,mCACA,kHAEF;CACA,OAAO,iBAAiB,OAAO,CAAC,CAAC,QAAQ,YAAkC;EACzE,MAAM,QAAQ,uBAAuB,OAAO;EAC5C,gBAAgB,EAAE,iBAAiB,MAAM,CAAC;EAC1C,MAAM,KAAK,iBAAiB,KAAK;EACjC,IAAI,MAAM,MACR,GAAG,OAAO,KAAK,UAAU;GAAE,iBAAiB;GAAO,YAAY,eAAe;EAAE,CAAC,CAAC;OAElF,GAAG,OAAO,4CAA4C,eAAe,EAAE,EAAE;EAE3E,QAAQ,KAAK,CAAC;CAChB,CAAC;AACH;AAEA,SAAgB,yBAAkC;CAChD,MAAM,UAAU,IAAI,QAAQ,WAAW;CACvC,uBACE,SACA,8CACA,4LAGF;CACA,mBAAmB,SAAS;EAC1B;EACA;EACA;CACF,CAAC;CACD,QAAQ,cAAc;EACpB,aAAa,QAAQ,kBAAkB;GAAE,SAAS;GAAK,OAAO,iBAAiB,CAAC,CAAC;EAAE,CAAC;EACpF,6BAA6B;CAC/B,CAAC;CACD,QAAQ,WAAW,6BAA6B,CAAC;CACjD,QAAQ,WAAW,6BAA6B,CAAC;CACjD,QAAQ,WAAW,8BAA8B,CAAC;CAClD,OAAO;AACT"}

package/dist/{terminal-ui-5Y6mrg93.d.mts → terminal-ui-DGRNFWna.d.mts}

@@ -130,4 +130,4 @@ declare class TerminalUI {
 }
 //#endregion
 export { GlyphMode as n, TerminalUI as t };
-//# sourceMappingURL=terminal-ui-5Y6mrg93.d.mts.map
+//# sourceMappingURL=terminal-ui-DGRNFWna.d.mts.map

package/dist/terminal-ui-DGRNFWna.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal-ui-DGRNFWna.d.mts","names":[],"sources":["../src/utils/glyph-mode.ts","../src/utils/terminal-ui.ts"],"mappings":";;;KAAY,SAAA;AAAA,UAEK,cAAA;EAAA,SACN,KAAA;EAAA,SACA,GAAA,EAAK,QAAQ,CAAC,MAAA;AAAA;;;;;AAJJ;AAErB;;;;;;;;;AAE+B;;;cCmBlB,UAAA;EAAA;;;;EAAA,SAKF,aAAA;EA8BiB;;;EAAA,SAzBjB,QAAA;EA0Ie;;;;EAAA,SApIf,WAAA;EANA;;;EAAA,SAWA,WAAA;EAKK;;;EAAA,SAAL,GAAA,EAAK,QAAA,CAAS,MAAA;EAAA,wBAEC,UAAA;cAEZ,OAAA;IAAA,SACD,KAAA;IAAA,SACA,WAAA;IAAA,SACA,WAAA;IAAA,SACA,WAAA;IAAA,SACA,GAAA,GAAM,QAAA,CAAS,MAAA;EAAA;EAAA,IAUtB,KAAA;EAQJ;;;;EAAA,gBAAA,CAAiB,UAAA,YAAsB,SAAA;EAOvC,cAAA,IAAkB,cAAA;EAAA,YAIN,cAAA;EAWR;;;EAAJ,GAAA,CAAI,OAAA;EAgBC;;;EARL,OAAA,CAAQ,OAAA;EAuBH;;;EAfL,IAAA,CAAK,OAAA;EA+BA;;;EAvBL,KAAA,CAAM,OAAA;EAuCN;;;EAhCA,IAAA,CAAK,OAAA;EA0CmB;;;EAlCxB,IAAA,CAAK,OAAA;EAoI2B;;;EA5HhC,IAAA,CAAK,OAAA,UAAiB,KAAA;EAyJf;;;EAjJP,KAAA,CAAM,KAAA;EA4JF;;;EApJJ,KAAA,CAAM,OAAA;EA0JF;;;;;EAhJJ,OAAA,CAAQ,OAAA,YAAgB,KAAA,CAAM,aAAA;EAsJX;;;;EApDb,OAAA,CAAQ,OAAA,WAAkB,OAAA;;;;;EAchC,MAAA,CAAO,OAAA;;;;;;;EAeP,MAAA,CAAO,IAAA;EAQP,KAAA,CAAM,IAAA;EAGN,GAAA,CAAI,IAAA;EAGJ,IAAA,CAAK,IAAA;EAGL,GAAA,CAAI,IAAA;EAGJ,IAAA,CAAK,IAAA;EAGL,MAAA,CAAO,IAAA;AAAA"}

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

@@ -3,8 +3,10 @@ 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 { MigrationToolsError } from "@prisma-next/migration-tools/errors";
-import { Contract, ContractMarkerRecord } from "@prisma-next/contract/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";
 
 //#region src/control-api/operations/db-verify.d.ts
@@ -95,7 +97,7 @@ interface ControlClientOptions {
 /**
  * Action names for control-api operations that can emit progress events.
  */
-type ControlActionName = 'dbInit' | 'dbUpdate' | 'dbVerify' | 'migrationApply' | 'verify' | 'schemaVerify' | 'sign' | 'introspect' | 'emit';
+type ControlActionName = 'dbInit' | 'dbUpdate' | 'dbVerify' | 'migrate' | 'verify' | 'schemaVerify' | 'sign' | 'introspect' | 'emit';
 /**
  * Progress event emitted during control-api operation execution.
  *
@@ -391,6 +393,7 @@ interface DbInitSuccess {
    */
   readonly perSpace?: ReadonlyArray<PerSpaceExecutionEntry>;
   readonly summary: string;
+  readonly warnings?: ReadonlyArray<MigrationPlannerConflict>;
 }
 /**
  * Failure codes for dbInit operation.
@@ -404,6 +407,7 @@ interface DbInitFailure {
   readonly summary: string;
   readonly why: string | undefined;
   readonly conflicts: ReadonlyArray<MigrationPlannerConflict> | undefined;
+  readonly warnings?: ReadonlyArray<MigrationPlannerConflict>;
   readonly meta: Record<string, unknown> | undefined;
   readonly marker?: {
     readonly storageHash?: string;
@@ -457,6 +461,7 @@ interface DbUpdateSuccess {
    */
   readonly perSpace?: ReadonlyArray<PerSpaceExecutionEntry>;
   readonly summary: string;
+  readonly warnings?: ReadonlyArray<MigrationPlannerConflict>;
 }
 /**
  * Failure codes for dbUpdate operation.
@@ -470,6 +475,7 @@ interface DbUpdateFailure {
   readonly summary: string;
   readonly why: string | undefined;
   readonly conflicts: ReadonlyArray<MigrationPlannerConflict> | undefined;
+  readonly warnings?: ReadonlyArray<MigrationPlannerConflict>;
   readonly meta: Record<string, unknown> | undefined;
 }
 /**
@@ -513,17 +519,17 @@ interface EmitFailure {
  */
 type EmitResult = Result<EmitSuccess, EmitFailure>;
 /**
- * Options for the aggregate-walking `migrationApply` operation.
+ * Options for the aggregate-walking `migrate` operation.
  *
  * The control-api operation is responsible for: loading the
  * contract-space aggregate, reading per-space marker rows from the
  * live database, plotting per-space paths via `graphWalkStrategy`
  * (replay-only — no synth, no introspection), and dispatching
- * through the shared `applyMigration` primitive. The CLI command
+ * through the shared `runMigration` primitive. The CLI command
  * just resolves the descriptor surface (config, refs, contract
  * envelope, app-space migration packages) and hands the inputs in.
  */
-interface MigrationApplyOptions {
+interface MigrateOptions {
   /** Already-validated app contract (the canonical "where we are heading" hash). */
   readonly contract: unknown;
   /** Migrations root directory (`migrations/` under the project). */
@@ -548,7 +554,7 @@ interface MigrationApplyOptions {
    */
   readonly refName?: string;
   /**
-   * Database connection. If provided, migrationApply will connect before executing.
+   * Database connection. If provided, migrate will connect before executing.
    * If omitted, the client must already be connected.
    */
   readonly connection?: unknown;
@@ -568,7 +574,7 @@ interface MigrationApplyOptions {
  * Per-space aggregate detail (markers, ops grouped by space) lives
  * on `perSpace[]`; this list is the per-edge view.
  */
-interface MigrationApplyAppliedEntry {
+interface MigrateRanEntry {
   readonly spaceId: string;
   readonly dirName: string;
   readonly migrationHash: string;
@@ -577,13 +583,13 @@ interface MigrationApplyAppliedEntry {
   readonly operationsExecuted: number;
 }
 /**
- * Successful migrationApply result. Carries both the top-level fields
- * (`markerHash` is the **app member's** post-apply marker) and the
+ * Successful migrate result. Carries both the top-level fields
+ * (`markerHash` is the **app member's** post-migrate marker) and the
  * per-space breakdown (`perSpace` — markers / operations in canonical
  * schedule order).
  */
 /**
- * Path-decision summary for the **app member** post-apply. Surfaced
+ * Path-decision summary for the **app member** post-migrate. Surfaced
  * at the top level (and consumed by the cli-journeys suite, which
  * inspects `requiredInvariants`/`satisfiedInvariants`/
  * `selectedPath` to validate invariant routing).
@@ -591,7 +597,7 @@ interface MigrationApplyAppliedEntry {
  * Per-space path decisions for extension members are not surfaced —
  * extensions own their own ref/invariant control.
  */
-interface MigrationApplyPathDecision {
+interface MigratePathDecision {
   readonly fromHash: string;
   readonly toHash: string;
   readonly alternativeCount: number;
@@ -607,10 +613,10 @@ interface MigrationApplyPathDecision {
     readonly invariants: readonly string[];
   }[];
 }
-interface MigrationApplySuccess {
+interface MigrateSuccess {
   readonly migrationsApplied: number;
   readonly markerHash: string;
-  readonly applied: readonly MigrationApplyAppliedEntry[];
+  readonly applied: readonly MigrateRanEntry[];
   readonly summary: string;
   /**
    * Per-space breakdown in canonical schedule order (extensions
@@ -621,28 +627,28 @@ interface MigrationApplySuccess {
   /**
    * Path-decision data for the app member. Present whenever the
    * graph-walk strategy ran for the app (i.e. always for the
-   * aggregate-walking apply path). Absent only for the no-op
+   * aggregate-walking migrate path). Absent only for the no-op
    * "Already up to date" early return when the app has no plan.
    */
-  readonly pathDecision?: MigrationApplyPathDecision;
+  readonly pathDecision?: MigratePathDecision;
 }
 /**
- * Failure codes for migrationApply operation.
+ * Failure codes for migrate operation.
  */
-type MigrationApplyFailureCode = 'RUNNER_FAILED' | 'MIGRATION_PATH_NOT_FOUND';
+type MigrateFailureCode = 'RUNNER_FAILED' | 'MIGRATION_PATH_NOT_FOUND';
 /**
- * Failure details for migrationApply operation.
+ * Failure details for migrate operation.
  */
-interface MigrationApplyFailure {
-  readonly code: MigrationApplyFailureCode;
+interface MigrateFailure {
+  readonly code: MigrateFailureCode;
   readonly summary: string;
   readonly why: string | undefined;
   readonly meta: Record<string, unknown> | undefined;
 }
 /**
- * Result type for migrationApply operation.
+ * Result type for migrate operation.
  */
-type MigrationApplyResult = Result<MigrationApplySuccess, MigrationApplyFailure>;
+type MigrateResult = Result<MigrateSuccess, MigrateFailure>;
 /**
  * Options for the standalone executeContractEmit function.
  *
@@ -805,17 +811,25 @@ interface ControlClient {
    */
   readAllMarkers(): Promise<ReadonlyMap<string, ContractMarkerRecord>>;
   /**
-   * Applies pre-planned on-disk migrations to the database.
+   * Reads the per-migration ledger journal for `space` in apply order.
+   * Returns an empty array when the ledger store does not yet exist or
+   * has no rows for that space.
+   */
+  readLedger(space?: string): Promise<readonly LedgerEntryRecord[]>;
+  /**
+   * Advances the database along the migration graph to the target contract.
    * Each migration runs in its own transaction with full execution checks.
-   * Resume-safe: re-running after failure picks up from the last applied migration.
+   * Resume-safe: re-running after failure picks up from the last run migration.
    *
-   * @param options.originHash - Explicit source hash for the apply path
-   * @param options.destinationHash - Explicit destination hash for the apply path
-   * @param options.pendingMigrations - Ordered migrations to execute
-   * @returns Result pattern: Ok with applied details, NotOk with failure details
+   * @param options.contract - The target contract to migrate to
+   * @param options.migrationsDir - Root migrations directory (`migrations/` under the project)
+   * @param options.refHash - Optional app-space ref override hash
+   * @param options.refInvariants - Required invariants on the user-supplied ref
+   * @param options.refName - Resolved name of the user-supplied app-space ref
+   * @returns Result pattern: Ok with migration details, NotOk with failure details
    * @throws If not connected, target doesn't support migrations, or infrastructure failure
    */
-  migrationApply(options: MigrationApplyOptions): Promise<MigrationApplyResult>;
+  migrate(options: MigrateOptions): Promise<MigrateResult>;
   /**
    * Introspects the database schema.
    *
@@ -839,6 +853,14 @@ interface ControlClient {
    * @returns PslDocumentAst if the family supports the capability, undefined otherwise
    */
   inferPslContract(schemaIR: unknown): PslDocumentAst | undefined;
+  /**
+   * Returns the assembled PSL block descriptors from the control stack — the full
+   * set of extension-contributed top-level block descriptors. The CLI's
+   * `contract infer` command threads these through to `printPsl` so
+   * extension-contributed blocks in the inferred AST round-trip back to PSL
+   * source. Forces `init()` so the stack is built before access.
+   */
+  getPslBlockDescriptors(): AuthoringPslBlockDescriptorNamespace;
   /**
    * Renders a textual preview of a migration plan's operations for the CLI's
    * "DDL preview" output. Delegates to the family instance's
@@ -858,5 +880,5 @@ interface ControlClient {
   emit(options: EmitOptions): Promise<EmitResult>;
 }
 //#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, MigrationApplyPathDecision as w, EmitResult as x, EmitFailureCode as y };
-//# sourceMappingURL=types-Dt_SfqFm.d.mts.map
+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

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-C_tYiJYx.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;EAAA,SACnC,WAAA;EAAA,SACA,UAAA;AAAA;AAAA,KAGC,qBAAA,GAAwB,MAAA,CAAO,sBAAA,EAAwB,oBAAA;;;;;;;;;;;;;;;;;iBAkB7C,eAAA,qDACpB,OAAA,EAAS,sBAAA,CAAuB,SAAA,EAAW,SAAA,IAC1C,OAAA,CAAQ,qBAAA;;;;;;;;;;;AApDX;;;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;;;;AAEzB;EAFyB,SC6DnC,UAAA;EDxDsB;EAAA,SC0DtB,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,mBAAA;EDhEmB;EAAA,SCkEzB,QAAA;EDlEwD;;AAAkB;AAkBrF;;EAlBmE,SCwExD,MAAA;EDrDuB;;;;;EAAA,SC2DvB,UAAA;ED1DD;EAAA,SC4DC,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,WAAA;EDlEd;EAAA,SCoEQ,QAAA;EDpEqB;AAAA;;EAAA,SCwErB,YAAA;;AA5HX;;WAgIW,UAAA;EA9HQ;;;;;EAAA,SAoIR,UAAA;EA3H8B;EAAA,SA6H9B,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,aAAA;EAxIG;EAAA,SA0IT,QAAA;EAvIS;;;;;EAAA,SA6IT,IAAA;EArIU;AAUrB;;;;EAVqB,SA2IV,UAAA;EAzGC;;;;;;EAAA,SAgHD,aAAA;EA5GI;EAAA,SA8GJ,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,eAAA;EA5GF;EAAA,SA8GJ,QAAA;EA9GW;AAQtB;;;;EARsB,SAoHX,IAAA;EAnGM;;;;;EAAA,SAyGN,UAAA;EA/FA;;;AAA8B;AAMzC;;;EANW,SAuGA,cAAA;EA/FA;;;;;;EAAA,SAsGA,aAAA;EAlFM;EAAA,SAoFN,UAAA,GAAa,iBAAiB;AAAA;;;;;;;;;UAWxB,eAAA;EAvEA;;;;;;EAAA,SA8EN,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;EA/CN;;;EAAA,SAmDA,MAAA;EAlCa;;AAAiB;AAWzC;;EAXwB,SAwCb,UAAA;EAhB8B;EAAA,SAkB9B,UAAA,GAAa,iBAAiB;AAAA;;;;UAMxB,kBAAA;EAzBN;;;EAAA,SA6BA,MAAA,EAAQ,sBAAsB;EA5BA;AAMzC;;;EANyC,SAiC9B,MAAA;AAAA;;;;UAMM,WAAA;EArBwB;AAMzC;;EANyC,SAyB9B,cAAA,EAAgB,kBAAA;EAfc;EAAA,SAiB9B,UAAA,GAAa,iBAAiB;AAAA;;;AAZxB;AAMjB;;;;;;;;;UAyBiB,sBAAA;EAAA,SACN,OAAA;EAD4B;EAAA,SAG5B,IAAA;EAMyB;;;;;EAAA,SAAzB,UAAA,EAAY,aAAa;IAAA,SACvB,EAAA;IAAA,SACA,KAAA;IAAA,SACA,cAAA;EAAA;EAQW;AAAA;AAOxB;;;EAPwB,SADb,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;IASF;;;;;;;IAAA,SAAA,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;EAiBgB;;;AAAA;AAK7B;;;EAL6B,SARlB,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;;;AARwB,KAQZ,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;EANF;;;;EAAA,SAYA,QAAA,GAAW,aAAA,CAAc,sBAAA;EAAA,SACzB,OAAA;EAAA,SACA,QAAA,GAAW,aAAA,CAAc,wBAAA;AAAA;;;;KAMxB,mBAAA;;;AANgD;UAW3C,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;EAjBN;EAAA,SAmBA,WAAA;EAjBA;EAAA,SAmBA,aAAA;EAnByB;EAAA,SAqBzB,WAAA;EApBW;EAAA,SAsBX,YAAA;EArBA;EAAA,SAuBA,WAAA;AAAA;AAvBY;AAOvB;;AAPuB,KA6BX,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;AA7BzB;;;;AAAA,KAoCY,UAAA,GAAa,MAAA,CAAO,WAAA,EAAa,WAAA;;;;;;AA1BvB;AAMtB;;;;AAA2B;UAqCV,cAAA;EA7BW;EAAA,SA+BjB,QAAA;EA9BM;EAAA,SAgCN,aAAA;EA5Bc;;;;;EAAA,SAkCd,OAAA;EApCA;;;;;EAAA,SA0CA,aAAA;EAxCuC;AAOlD;;;;;EAPkD,SA+CvC,OAAA;EAxCoB;;;;EAAA,SA6CpB,UAAA;EA7C6C;EAAA,SA+C7C,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;EA4BM;;AAAM;AAMvB;;EANiB,SAtBN,QAAA,EAAU,aAAA,CAAc,sBAAA;EA4BA;;;;;;EAAA,SArBxB,YAAA,GAAe,mBAAA;AAAA;;AAqBuC;AAkBjE;KAjCY,kBAAA;;;;UAKK,cAAA;EAAA,SACN,IAAA,EAAM,kBAAA;EAAA,SACN,OAAA;EAAA,SACA,GAAA;EAAA,SACA,IAAA,EAAM,MAAM;AAAA;AAqCkB;AAUzC;;AAVyC,KA/B7B,aAAA,GAAgB,MAAA,CAAO,cAAA,EAAgB,cAAA;;;;;;;;;;AA4DvB;AAiB5B;;UA3DiB,mBAAA;EAgFgB;EAAA,SA9EtB,UAAA;EA8FO;;;;;;EAAA,SAvFP,UAAA;EA0G2B;EAAA,SAxG3B,MAAA,GAAS,WAAA;EAkHF;EAAA,SAhHP,UAAA,GAAa,iBAAiB;AAAA;;;;;;;;UAUxB,kBAAA;EA+I+B;EAAA,SA7IrC,WAAA;EA6IS;EAAA,SA3IT,aAAA;EAkJmB;EAAA,SAhJnB,WAAA;EA+JiC;EAAA,SA7JjC,KAAA;IAqKY,sDAnKV,IAAA,UA4KsB;IAAA,SA1KtB,GAAA;EAAA;EAsM6B;;;;;EAAA,SA/L/B,iBAAA;AAAA;;;;;;;;;;;UAiBM,aAAA;EA8Cf;;;;;;;EAtCA,IAAA;EAgD4B;;;;;;;;;;;EAnC5B,OAAA,CAAQ,UAAA,aAAuB,OAAA;EAuE/B;;;;;EAhEA,KAAA,IAAS,OAAA;EAwEK;;;;;;;EA/Dd,MAAA,CAAO,OAAA,EAAS,aAAA,GAAgB,OAAA,CAAQ,oBAAA;EA6EZ;;;;;;;EApE5B,YAAA,CAAa,OAAA,EAAS,mBAAA,GAAsB,OAAA,CAAQ,0BAAA;EA2F/B;;;;;;;;EAjFrB,IAAA,CAAK,OAAA,EAAS,WAAA,GAAc,OAAA,CAAQ,kBAAA;EA4GpC;;;;;;;;EAlGA,MAAA,CAAO,OAAA,EAAS,aAAA,GAAgB,OAAA,CAAQ,YAAA;EAqHZ;;;AAAkB;;;;;;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-DCA9Sldu.mjs → verify-DcOYZ1tH.mjs}

@@ -1,4 +1,4 @@
-import { D as createColorFormatter, O as formatDim, k as isVerbose } from "./command-helpers-Bbw1GbwL.mjs";
+import { M as createColorFormatter, N as formatDim, P as isVerbose } from "./command-helpers-DGMvGBeX.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
 import { bold, cyan, dim, green, magenta, red, yellow } from "colorette";
 //#region src/utils/formatters/verify.ts
@@ -381,4 +381,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-DCA9Sldu.mjs.map
+//# sourceMappingURL=verify-DcOYZ1tH.mjs.map

package/dist/{verify-DCA9Sldu.mjs.map → verify-DcOYZ1tH.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"verify-DCA9Sldu.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  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.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    ...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): 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 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  // 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.\n */\nexport function formatSchemaVerifyJson(result: VerifyDatabaseSchemaResult): string {\n  return JSON.stringify(result, 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":";;;;;;;AAgDA,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,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,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,OACQ;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,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;CAGvB,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;;;;AAKA,SAAgB,uBAAuB,QAA4C;CACjF,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC;AACvC;;;;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"}
+{"version":3,"file":"verify-DcOYZ1tH.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  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.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    ...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): 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 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  // 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.\n */\nexport function formatSchemaVerifyJson(result: VerifyDatabaseSchemaResult): string {\n  return JSON.stringify(result, 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":";;;;;;;AAgDA,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,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,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,OACQ;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,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;CAGvB,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;;;;AAKA,SAAgB,uBAAuB,QAA4C;CACjF,OAAO,KAAK,UAAU,QAAQ,MAAM,CAAC;AACvC;;;;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.12.0-dev.9",
+  "version": "0.13.0-dev.1",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
@@ -9,16 +9,15 @@
   },
   "dependencies": {
     "@clack/prompts": "^1.4.0",
-    "@dagrejs/dagre": "^3.0.0",
-    "@prisma-next/config": "0.12.0-dev.9",
-    "@prisma-next/contract": "0.12.0-dev.9",
-    "@prisma-next/emitter": "0.12.0-dev.9",
-    "@prisma-next/errors": "0.12.0-dev.9",
-    "@prisma-next/framework-components": "0.12.0-dev.9",
-    "@prisma-next/migration-tools": "0.12.0-dev.9",
-    "@prisma-next/psl-printer": "0.12.0-dev.9",
-    "@prisma-next/cli-telemetry": "0.12.0-dev.9",
-    "@prisma-next/utils": "0.12.0-dev.9",
+    "@prisma-next/config": "0.13.0-dev.1",
+    "@prisma-next/contract": "0.13.0-dev.1",
+    "@prisma-next/emitter": "0.13.0-dev.1",
+    "@prisma-next/errors": "0.13.0-dev.1",
+    "@prisma-next/framework-components": "0.13.0-dev.1",
+    "@prisma-next/migration-tools": "0.13.0-dev.1",
+    "@prisma-next/psl-printer": "0.13.0-dev.1",
+    "@prisma-next/cli-telemetry": "0.13.0-dev.1",
+    "@prisma-next/utils": "0.13.0-dev.1",
     "arktype": "^2.2.0",
     "c12": "^3.3.4",
     "ci-info": "^4.3.1",
@@ -35,18 +34,18 @@
     "wrap-ansi": "^10.0.0"
   },
   "devDependencies": {
-    "@prisma-next/sql-contract": "0.12.0-dev.9",
-    "@prisma-next/sql-contract-emitter": "0.12.0-dev.9",
-    "@prisma-next/sql-contract-ts": "0.12.0-dev.9",
-    "@prisma-next/sql-operations": "0.12.0-dev.9",
-    "@prisma-next/sql-runtime": "0.12.0-dev.9",
-    "@prisma-next/test-utils": "0.12.0-dev.9",
-    "@prisma-next/tsconfig": "0.12.0-dev.9",
-    "@prisma-next/tsdown": "0.12.0-dev.9",
-    "@types/node": "25.6.0",
-    "tsdown": "0.22.0",
+    "@prisma-next/sql-contract": "0.13.0-dev.1",
+    "@prisma-next/sql-contract-emitter": "0.13.0-dev.1",
+    "@prisma-next/sql-contract-ts": "0.13.0-dev.1",
+    "@prisma-next/sql-operations": "0.13.0-dev.1",
+    "@prisma-next/sql-runtime": "0.13.0-dev.1",
+    "@prisma-next/test-utils": "0.13.0-dev.1",
+    "@prisma-next/tsconfig": "0.13.0-dev.1",
+    "@prisma-next/tsdown": "0.13.0-dev.1",
+    "@types/node": "25.9.1",
+    "tsdown": "0.22.1",
     "typescript": "5.9.3",
-    "vitest": "4.1.6"
+    "vitest": "4.1.8"
   },
   "peerDependencies": {
     "typescript": ">=5.9"
@@ -141,6 +140,10 @@
       "types": "./dist/commands/ref.d.mts",
       "import": "./dist/commands/ref.mjs"
     },
+    "./commands/telemetry": {
+      "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"
@@ -170,6 +173,7 @@
     "lint": "biome check . --error-on-warnings",
     "lint:fix": "biome check --write .",
     "lint:fix:unsafe": "biome check --write --unsafe .",
+    "gallery": "tsx scripts/gallery.ts",
     "record": "tsx scripts/record.ts",
     "clean": "rm -rf dist dist-tsc dist-tsc-prod coverage .tmp-output"
   }

package/src/cli.ts

@@ -23,6 +23,7 @@ import { createMigrationPlanCommand } from './commands/migration-plan';
 import { createMigrationShowCommand } from './commands/migration-show';
 import { createMigrationStatusCommand } from './commands/migration-status';
 import { createRefCommand } from './commands/ref';
+import { createTelemetryCommand } from './commands/telemetry';
 import { setCommandDescriptions } from './utils/command-helpers';
 import { formatCommandHelp, formatRootHelp } from './utils/formatters/help';
 import { parseGlobalFlags } from './utils/global-flags';
@@ -303,6 +304,9 @@ const migrateCommand = createMigrateCommand();
 // Top-level ref command (replaces `migration ref`)
 const refCommand = createRefCommand();
 
+// Top-level telemetry command
+const telemetryCommand = createTelemetryCommand();
+
 // Top-level init command
 const initCommand = createInitCommand();
 
@@ -317,6 +321,7 @@ program.addCommand(contractCommand);
 program.addCommand(dbCommand);
 program.addCommand(migrationCommand);
 program.addCommand(refCommand);
+program.addCommand(telemetryCommand);
 
 // Test-only hidden command used by `cli-telemetry`'s `cli-e2e.test.ts`
 // to verify that telemetry still lands when a CLI command crashes

package/src/commands/contract-infer.ts

@@ -53,7 +53,7 @@ async function executeContractInferCommand(
     return inspectResult;
   }
 
-  const { config, target, meta, pslContractAst } = inspectResult.value;
+  const { config, target, meta, pslContractAst, pslBlockDescriptors } = inspectResult.value;
 
   if (!pslContractAst) {
     return notOk(
@@ -65,7 +65,7 @@ async function executeContractInferCommand(
   }
 
   const outputPath = resolveContractInferOutputPath(options, config.contract?.output);
-  const pslContent = printPsl(pslContractAst);
+  const pslContent = printPsl(pslContractAst, { pslBlockDescriptors: pslBlockDescriptors });
 
   if (existsSync(outputPath) && !flags.json && !flags.quiet) {
     ui.stderr(`\u26A0 Overwriting existing file: ${relative(process.cwd(), outputPath)}`);

package/src/commands/db-update.ts

@@ -71,7 +71,12 @@ function mapDbUpdateFailure(failure: DbUpdateFailure): CliStructuredError {
     return errorRunnerFailed(failure.summary, {
       why: failure.why ?? 'Migration runner failed',
       fix,
-      ...ifDefined('meta', failure.meta),
+      meta: {
+        ...failure.meta,
+        ...(failure.warnings && failure.warnings.length > 0
+          ? { plannerWarnings: failure.warnings }
+          : {}),
+      },
     });
   }
 
@@ -236,6 +241,7 @@ async function executeDbUpdateCommand(
           : undefined,
       ),
       ...ifDefined('perSpace', result.value.perSpace),
+      ...ifDefined('warnings', result.value.warnings),
       advancedRef: refAdvancementFields.advancedRef,
       plannedAdvanceRef: refAdvancementFields.plannedAdvanceRef,
       summary: result.value.summary,