@prisma-next/cli 0.5.0-dev.1 → 0.5.0-dev.11

package/dist/{verify-BxiVp50b.mjs.map → verify-Bkycc-Tf.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"verify-BxiVp50b.mjs","names":["lines: string[]","formattedLabel: string","statusColor: (text: string) => string","labelColor: (text: string) => string"],"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;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMA,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,eAAe,qBAAqB,UAAU,OAAO;CAC3D,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CACjE,MAAM,mBACJ,OAAO,SAAS,SACZ,kBAAkB,OAAO,QAAQ,SAAS,cAAc,kBACxD;AAEN,OAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,OAAO,UAAU;AACnD,OAAM,KAAK,GAAG,cAAc,mBAAmB,mBAAmB,GAAG;AACrE,OAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,cAAc,GAAG;AAC/E,KAAI,OAAO,SAAS,YAClB,OAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,cAAc,GAAG;AAEjF,KAAI,OAAO,SAAS,UAAU,OAAO,UAAU,UAAU,OAAO,EAAE,CAChE,OAAM,KACJ,GAAG,cAAc,kBAAkB,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,OAAO,GACpI;AAEH,KAAI,OAAO,SAAS;AAClB,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,GAAG,aAAa,IAAI,CAAC,GAAG,OAAO,UAAU;;AAGtD,KAAI,UAAU,OAAO,EAAE,EAAE;AACvB,MAAI,OAAO,qBACT,OAAM,KACJ,GAAG,cAAc,sEAAsE,GACxF;AAEH,QAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;;AAG3E,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,iBAAiB,QAA8C;CAC7E,MAAM,SAAS;EACb,IAAI,OAAO;EACX,SAAS,OAAO;EAChB,MAAM,OAAO;EACb,UAAU,OAAO;EACjB,GAAG,UAAU,UAAU,OAAO,OAAO;EACrC,QAAQ,OAAO;EACf,GAAG,UAAU,iBAAiB,OAAO,cAAc;EACnD,GAAG,UAAU,wBAAwB,OAAO,qBAAqB;EACjE,GAAG,UAAU,UAAU,OAAO,OAAO;EACrC,GAAG,UAAU,WAAW,OAAO,QAAQ;EACvC,GAAG,UAAU,QAAQ,OAAO,KAAK;EACjC,SAAS,OAAO;EACjB;AAED,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE;;;;;AAMxC,SAAgB,qBAAqB,QAAiD;AACpF,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE;;;;;;AAOxC,SAAS,iBACP,MACA,OACA,SAOU;CACV,MAAM,EAAE,QAAQ,QAAQ,UAAU,eAAe,SAAS,UAAU;CACpE,MAAMA,QAAkB,EAAE;CAG1B,IAAIC,iBAAyB,KAAK;AAElC,KAAI,SACF,SAAQ,KAAK,MAAb;EACE,KAAK;AACH,oBAAiB,KAAK,KAAK,MAAM;AACjC;EACF,KAAK,UAAU;GAEb,MAAM,aAAa,KAAK,MAAM,MAAM,iBAAiB;AACrD,OAAI,aAAa,IAAI;IACnB,MAAM,YAAY,WAAW;AAC7B,qBAAiB,GAAG,IAAI,QAAQ,CAAC,GAAG,KAAK,UAAU;SAGnD,kBAAiB,KAAK,KAAK,MAAM;AAEnC;;EAEF,KAAK;AAEH,oBAAiB,IAAI,KAAK,MAAM;AAChC;EAEF,KAAK,SAAS;GAGZ,MAAM,cAAc,KAAK,MAAM,MAAM,oBAAoB;AACzD,OAAI,cAAc,MAAM,YAAY,IAAI;IACtC,MAAM,aAAa,YAAY;IAC/B,MAAM,OAAO,YAAY;IAEzB,MAAM,YAAY,KAAK,MAAM,4BAA4B;AACzD,QAAI,YAAY,MAAM,UAAU,IAAI;KAClC,MAAM,cAAc,UAAU;KAC9B,MAAM,cAAc,UAAU;AAC9B,sBAAiB,GAAG,KAAK,WAAW,CAAC,IAAI,YAAY,GAAG,IAAI,YAAY;UAGxE,kBAAiB,GAAG,KAAK,WAAW,CAAC,IAAI;SAG3C,kBAAiB,KAAK;AAExB;;EAEF,KAAK,SAAS;GAGZ,MAAM,UAAU,KAAK,MAAM,MAAM,wBAAwB;AACzD,OAAI,UAAU,IAAI;IAChB,MAAM,cAAc,QAAQ;AAC5B,qBAAiB,GAAG,IAAI,cAAc,CAAC,IAAI,KAAK,YAAY;UACvD;IAEL,MAAM,cAAc,KAAK,MAAM,MAAM,kBAAkB;AACvD,QAAI,cAAc,IAAI;KACpB,MAAM,OAAO,YAAY;AACzB,sBAAiB,GAAG,IAAI,SAAS,CAAC,GAAG,KAAK,KAAK;WAC1C;KAEL,MAAM,aAAa,KAAK,MAAM,MAAM,6BAA6B;AACjE,SAAI,aAAa,IAAI;MACnB,MAAM,cAAc,WAAW,KAAK,GAAG,IAAI,SAAS,CAAC,KAAK;MAC1D,MAAM,OAAO,WAAW;AACxB,uBAAiB,GAAG,cAAc,IAAI,QAAQ,CAAC,GAAG,KAAK,KAAK;WAE5D,kBAAiB,IAAI,KAAK,MAAM;;;AAItC;;EAEF,KAAK,cAAc;GAGjB,MAAM,WAAW,KAAK,MAAM,MAAM,sCAAsC;AACxE,OAAI,WAAW,MAAM,SAAS,IAAI;IAChC,MAAM,UAAU,SAAS;IACzB,MAAM,OAAO,SAAS;AACtB,qBAAiB,GAAG,KAAK,QAAQ,CAAC,GAAG,IAAI,KAAK;SAG9C,kBAAiB,QAAQ,KAAK,MAAM;AAEtC;;EAEF;AACE,oBAAiB,KAAK;AACtB;;AAKN,KAAI,OACF,OAAM,KAAK,eAAe;MACrB;EAEL,MAAM,aAAa,GAAG,cADL,SAAS,MAAM,IACa,CAAC;AAC9C,QAAM,KAAK,GAAG,SAAS,aAAa,iBAAiB;;AAIvD,KAAI,KAAK,YAAY,KAAK,SAAS,SAAS,GAAG;EAC7C,MAAM,cAAc,SAAS,KAAK,GAAG,SAAS,SAAS,QAAQ,GAAG,cAAc,IAAI,CAAC;AACrF,OAAK,IAAI,IAAI,GAAG,IAAI,KAAK,SAAS,QAAQ,KAAK;GAC7C,MAAM,QAAQ,KAAK,SAAS;AAC5B,OAAI,CAAC,MAAO;GAEZ,MAAM,aAAa,iBAAiB,OAAO,OAAO;IAChD,QAFkB,MAAM,KAAK,SAAS,SAAS;IAG/C,QAAQ;IACR;IACA;IACA,QAAQ;IACT,CAAC;AACF,SAAM,KAAK,GAAG,WAAW;;;AAI7B,QAAO;;;;;AAMT,SAAgB,uBACd,QACA,YACA,OACQ;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMD,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;AAEjE,KAAI,YAAY;EAEd,MAAM,YAAY,iBAAiB,WAAW,MAAM,OAAO;GACzD,QAAQ;GACR,QAAQ;GACR;GACA;GACA,QAAQ;GACT,CAAC;AACF,QAAM,KAAK,GAAG,UAAU;QACnB;AAEL,QAAM,KAAK,KAAK,OAAO,UAAU;AACjC,MAAI,UAAU,OAAO,EAAE,EAAE;AACvB,SAAM,KAAK,aAAa,OAAO,OAAO,SAAS,GAAG,OAAO,OAAO,KAAK;AACrE,OAAI,OAAO,MAAM,MACf,OAAM,KAAK,eAAe,OAAO,KAAK,QAAQ;;;AAMpD,KAAI,UAAU,OAAO,EAAE,CACrB,OAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;AAG3E,QAAO,MAAM,KAAK,KAAK;;;;;;AAOzB,SAAS,6BACP,MACA,OACA,SAOU;CACV,MAAM,EAAE,QAAQ,QAAQ,UAAU,eAAe,SAAS,UAAU;CACpE,MAAMA,QAAkB,EAAE;CAG1B,IAAI,cAAc;CAClB,IAAIE,eAAyC,SAAS;AACtD,KAAI,SACF,SAAQ,KAAK,QAAb;EACE,KAAK;AACH,iBAAc;AACd,iBAAc;AACd;EACF,KAAK;AACH,iBAAc;AACd,kBAAe,SAAU,WAAW,OAAO,KAAK,GAAG;AACnD;EACF,KAAK;AACH,iBAAc;AACd,iBAAc;AACd;;KAGJ,SAAQ,KAAK,QAAb;EACE,KAAK;AACH,iBAAc;AACd;EACF,KAAK;AACH,iBAAc;AACd;EACF,KAAK;AACH,iBAAc;AACd;;CAMN,IAAIC,cAAwC,SAAS;CACrD,IAAIF,iBAAyB,KAAK;AAElC,KAAI,SACF,SAAQ,KAAK,MAAb;EACE,KAAK;EACL,KAAK;AACH,gBAAa;AACb,oBAAiB,WAAW,KAAK,KAAK;AACtC;EACF,KAAK,SAAS;GAEZ,MAAM,aAAa,KAAK,KAAK,MAAM,iBAAiB;AACpD,OAAI,aAAa,IAAI;IACnB,MAAM,YAAY,WAAW;AAC7B,qBAAiB,GAAG,IAAI,QAAQ,CAAC,GAAG,KAAK,UAAU;SAEnD,kBAAiB,IAAI,KAAK,KAAK;AAEjC;;EAEF,KAAK;AACH,gBAAa;AACb,oBAAiB,WAAW,KAAK,KAAK;AACtC;EACF,KAAK,UAAU;GAGb,MAAM,cAAc,KAAK,KAAK,MAAM,oBAAoB;AACxD,OAAI,cAAc,MAAM,YAAY,IAAI;IACtC,MAAM,aAAa,YAAY;IAC/B,MAAM,OAAO,YAAY;IAGzB,MAAM,YAAY,KAAK,MAAM,4CAA4C;AACzE,QAAI,YAAY,MAAM,UAAU,MAAM,UAAU,IAAI;KAClD,MAAM,eAAe,UAAU;KAC/B,MAAM,aAAa,UAAU;KAC7B,MAAM,cAAc,UAAU;AAC9B,sBAAiB,GAAG,KAAK,WAAW,CAAC,IAAI,aAAa,KAAK,IAAI,WAAW,CAAC,GAAG,IAAI,YAAY;UAG9F,kBAAiB,GAAG,KAAK,WAAW,CAAC,IAAI;SAG3C,kBAAiB,KAAK;AAExB;;EAEF,KAAK;EACL,KAAK;AACH,iBAAc,SAAS;AACvB,oBAAiB,WAAW,KAAK,KAAK;AACtC;EACF,KAAK,cAAc;GAEjB,MAAM,UAAU,KAAK,KAAK,MAAM,wBAAwB;AACxD,OAAI,UAAU,IAAI;IAChB,MAAM,cAAc,QAAQ;AAC5B,qBAAiB,GAAG,IAAI,cAAc,CAAC,IAAI,KAAK,YAAY;SAE5D,kBAAiB,IAAI,KAAK,KAAK;AAEjC;;EAEF,KAAK;EACL,KAAK;EACL,KAAK;AACH,gBAAa;AACb,oBAAiB,WAAW,KAAK,KAAK;AACtC;EACF,KAAK,cAAc;GAGjB,MAAM,UAAU,KAAK,KAAK,MAAM,uBAAuB;AACvD,OAAI,UAAU,IAAI;IAChB,MAAM,SAAS,QAAQ;AACvB,qBAAiB,GAAG,IAAI,cAAc,CAAC,GAAG,KAAK,OAAO;UACjD;IAGL,MAAM,WAAW,KAAK,KAAK,MAAM,sCAAsC;AACvE,QAAI,WAAW,MAAM,SAAS,IAAI;KAChC,MAAM,UAAU,SAAS;KACzB,MAAM,OAAO,SAAS;AACtB,sBAAiB,GAAG,KAAK,QAAQ,CAAC,GAAG,IAAI,KAAK;WACzC;AAEL,kBAAa;AACb,sBAAiB,WAAW,KAAK,KAAK;;;AAG1C;;EAEF;AACE,oBAAiB,KAAK;AACtB;;KAGJ,kBAAiB,KAAK;CAGxB,MAAM,qBAAqB,YAAY,YAAY;CAGnD,IAAI,YAAY;AAChB,MACG,KAAK,WAAW,UAAU,KAAK,WAAW,WAC3C,KAAK,WACL,KAAK,QAAQ,SAAS,GACtB;EAIA,MAAM,cAAc,cAAc,IAAI,KAAK,QAAQ,GAAG;AACtD,cAAY,GAAG,eAAe,GAAG;;AAKnC,KAAI,OACF,OAAM,KAAK,GAAG,mBAAmB,GAAG,YAAY;MAC3C;EAEL,MAAM,aAAa,GAAG,cADL,SAAS,MAAM,IACa,CAAC;AAC9C,QAAM,KAAK,GAAG,SAAS,aAAa,mBAAmB,GAAG,YAAY;;AAIxE,KAAI,KAAK,YAAY,KAAK,SAAS,SAAS,GAAG;EAC7C,MAAM,cAAc,SAAS,KAAK,GAAG,SAAS,SAAS,QAAQ,GAAG,cAAc,IAAI,CAAC;AACrF,OAAK,IAAI,IAAI,GAAG,IAAI,KAAK,SAAS,QAAQ,KAAK;GAC7C,MAAM,QAAQ,KAAK,SAAS;AAC5B,OAAI,CAAC,MAAO;GAEZ,MAAM,aAAa,6BAA6B,OAAO,OAAO;IAC5D,QAFkB,MAAM,KAAK,SAAS,SAAS;IAG/C,QAAQ;IACR;IACA;IACA,QAAQ;IACT,CAAC;AACF,SAAM,KAAK,GAAG,WAAW;;;AAI7B,QAAO;;;;;AAMT,SAAgB,yBACd,QACA,OACQ;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMD,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,YAAY,qBAAqB,UAAU,IAAI;CACrD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CAGjE,MAAM,YAAY,6BAA6B,OAAO,OAAO,MAAM,OAAO;EACxE,QAAQ;EACR,QAAQ;EACR;EACA;EACA,QAAQ;EACT,CAAC;AACF,OAAM,KAAK,GAAG,UAAU;AAGxB,KAAI,UAAU,OAAO,EAAE,EAAE;AACvB,QAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;AACzE,QAAM,KACJ,GAAG,cAAc,UAAU,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,OAAO,GAC5H;;AAIH,OAAM,KAAK,GAAG;AAGd,KAAI,OAAO,GACT,OAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,OAAO,UAAU;MAC9C;EACL,MAAM,WAAW,OAAO,OAAO,KAAK,OAAO,KAAK,KAAK;AACrD,QAAM,KAAK,GAAG,UAAU,IAAI,CAAC,GAAG,OAAO,UAAU,WAAW;;AAG9D,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,uBAAuB,QAA4C;AACjF,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE;;;;;AAUxC,SAAgB,iBAAiB,QAA4B,OAA4B;AACvF,KAAI,MAAM,MACR,QAAO;CAGT,MAAMA,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;AAEjE,KAAI,OAAO,IAAI;AAEb,QAAM,KAAK,GAAG,YAAY,IAAI,CAAC,kBAAkB;EAGjD,MAAM,eAAe,OAAO,OAAO,UAAU,eAAe;EAC5D,MAAM,cAAc,OAAO,SAAS;AAEpC,QAAM,KAAK,GAAG,cAAc,WAAW,eAAe,GAAG;AACzD,QAAM,KAAK,GAAG,cAAc,WAAW,cAAc,GAAG;AAExD,MAAI,UAAU,OAAO,EAAE,EAAE;AACvB,OAAI,OAAO,SAAS,YAClB,OAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,cAAc,GAAG;AAEjF,OAAI,OAAO,OAAO,UAAU,YAC1B,OAAM,KACJ,GAAG,cAAc,2BAA2B,OAAO,OAAO,SAAS,cAAc,GAClF;AAEH,SAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;;;AAI7E,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,eAAe,QAAoC;AACjE,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE"}
+{"version":3,"file":"verify-Bkycc-Tf.mjs","names":["lines: string[]","formattedLabel: string","statusColor: (text: string) => string","labelColor: (text: string) => string"],"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;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMA,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,eAAe,qBAAqB,UAAU,OAAO;CAC3D,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CACjE,MAAM,mBACJ,OAAO,SAAS,SACZ,kBAAkB,OAAO,QAAQ,SAAS,cAAc,kBACxD;AAEN,OAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,OAAO,UAAU;AACnD,OAAM,KAAK,GAAG,cAAc,mBAAmB,mBAAmB,GAAG;AACrE,OAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,cAAc,GAAG;AAC/E,KAAI,OAAO,SAAS,YAClB,OAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,cAAc,GAAG;AAEjF,KAAI,OAAO,SAAS,UAAU,OAAO,UAAU,UAAU,OAAO,EAAE,CAChE,OAAM,KACJ,GAAG,cAAc,kBAAkB,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,OAAO,GACpI;AAEH,KAAI,OAAO,SAAS;AAClB,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,GAAG,aAAa,IAAI,CAAC,GAAG,OAAO,UAAU;;AAGtD,KAAI,UAAU,OAAO,EAAE,EAAE;AACvB,MAAI,OAAO,qBACT,OAAM,KACJ,GAAG,cAAc,sEAAsE,GACxF;AAEH,QAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;;AAG3E,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,iBAAiB,QAA8C;CAC7E,MAAM,SAAS;EACb,IAAI,OAAO;EACX,SAAS,OAAO;EAChB,MAAM,OAAO;EACb,UAAU,OAAO;EACjB,GAAG,UAAU,UAAU,OAAO,OAAO;EACrC,QAAQ,OAAO;EACf,GAAG,UAAU,iBAAiB,OAAO,cAAc;EACnD,GAAG,UAAU,wBAAwB,OAAO,qBAAqB;EACjE,GAAG,UAAU,UAAU,OAAO,OAAO;EACrC,GAAG,UAAU,WAAW,OAAO,QAAQ;EACvC,GAAG,UAAU,QAAQ,OAAO,KAAK;EACjC,SAAS,OAAO;EACjB;AAED,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE;;;;;AAMxC,SAAgB,qBAAqB,QAAiD;AACpF,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE;;;;;;AAOxC,SAAS,iBACP,MACA,OACA,SAOU;CACV,MAAM,EAAE,QAAQ,QAAQ,UAAU,eAAe,SAAS,UAAU;CACpE,MAAMA,QAAkB,EAAE;CAG1B,IAAIC,iBAAyB,KAAK;AAElC,KAAI,SACF,SAAQ,KAAK,MAAb;EACE,KAAK;AACH,oBAAiB,KAAK,KAAK,MAAM;AACjC;EACF,KAAK,UAAU;GAEb,MAAM,aAAa,KAAK,MAAM,MAAM,iBAAiB;AACrD,OAAI,aAAa,IAAI;IACnB,MAAM,YAAY,WAAW;AAC7B,qBAAiB,GAAG,IAAI,QAAQ,CAAC,GAAG,KAAK,UAAU;SAGnD,kBAAiB,KAAK,KAAK,MAAM;AAEnC;;EAEF,KAAK;AAEH,oBAAiB,IAAI,KAAK,MAAM;AAChC;EAEF,KAAK,SAAS;GAGZ,MAAM,cAAc,KAAK,MAAM,MAAM,oBAAoB;AACzD,OAAI,cAAc,MAAM,YAAY,IAAI;IACtC,MAAM,aAAa,YAAY;IAC/B,MAAM,OAAO,YAAY;IAEzB,MAAM,YAAY,KAAK,MAAM,4BAA4B;AACzD,QAAI,YAAY,MAAM,UAAU,IAAI;KAClC,MAAM,cAAc,UAAU;KAC9B,MAAM,cAAc,UAAU;AAC9B,sBAAiB,GAAG,KAAK,WAAW,CAAC,IAAI,YAAY,GAAG,IAAI,YAAY;UAGxE,kBAAiB,GAAG,KAAK,WAAW,CAAC,IAAI;SAG3C,kBAAiB,KAAK;AAExB;;EAEF,KAAK,SAAS;GAGZ,MAAM,UAAU,KAAK,MAAM,MAAM,wBAAwB;AACzD,OAAI,UAAU,IAAI;IAChB,MAAM,cAAc,QAAQ;AAC5B,qBAAiB,GAAG,IAAI,cAAc,CAAC,IAAI,KAAK,YAAY;UACvD;IAEL,MAAM,cAAc,KAAK,MAAM,MAAM,kBAAkB;AACvD,QAAI,cAAc,IAAI;KACpB,MAAM,OAAO,YAAY;AACzB,sBAAiB,GAAG,IAAI,SAAS,CAAC,GAAG,KAAK,KAAK;WAC1C;KAEL,MAAM,aAAa,KAAK,MAAM,MAAM,6BAA6B;AACjE,SAAI,aAAa,IAAI;MACnB,MAAM,cAAc,WAAW,KAAK,GAAG,IAAI,SAAS,CAAC,KAAK;MAC1D,MAAM,OAAO,WAAW;AACxB,uBAAiB,GAAG,cAAc,IAAI,QAAQ,CAAC,GAAG,KAAK,KAAK;WAE5D,kBAAiB,IAAI,KAAK,MAAM;;;AAItC;;EAEF,KAAK,cAAc;GAGjB,MAAM,WAAW,KAAK,MAAM,MAAM,sCAAsC;AACxE,OAAI,WAAW,MAAM,SAAS,IAAI;IAChC,MAAM,UAAU,SAAS;IACzB,MAAM,OAAO,SAAS;AACtB,qBAAiB,GAAG,KAAK,QAAQ,CAAC,GAAG,IAAI,KAAK;SAG9C,kBAAiB,QAAQ,KAAK,MAAM;AAEtC;;EAEF;AACE,oBAAiB,KAAK;AACtB;;AAKN,KAAI,OACF,OAAM,KAAK,eAAe;MACrB;EAEL,MAAM,aAAa,GAAG,cADL,SAAS,MAAM,IACa,CAAC;AAC9C,QAAM,KAAK,GAAG,SAAS,aAAa,iBAAiB;;AAIvD,KAAI,KAAK,YAAY,KAAK,SAAS,SAAS,GAAG;EAC7C,MAAM,cAAc,SAAS,KAAK,GAAG,SAAS,SAAS,QAAQ,GAAG,cAAc,IAAI,CAAC;AACrF,OAAK,IAAI,IAAI,GAAG,IAAI,KAAK,SAAS,QAAQ,KAAK;GAC7C,MAAM,QAAQ,KAAK,SAAS;AAC5B,OAAI,CAAC,MAAO;GAEZ,MAAM,aAAa,iBAAiB,OAAO,OAAO;IAChD,QAFkB,MAAM,KAAK,SAAS,SAAS;IAG/C,QAAQ;IACR;IACA;IACA,QAAQ;IACT,CAAC;AACF,SAAM,KAAK,GAAG,WAAW;;;AAI7B,QAAO;;;;;AAMT,SAAgB,uBACd,QACA,YACA,OACQ;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMD,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;AAEjE,KAAI,YAAY;EAEd,MAAM,YAAY,iBAAiB,WAAW,MAAM,OAAO;GACzD,QAAQ;GACR,QAAQ;GACR;GACA;GACA,QAAQ;GACT,CAAC;AACF,QAAM,KAAK,GAAG,UAAU;QACnB;AAEL,QAAM,KAAK,KAAK,OAAO,UAAU;AACjC,MAAI,UAAU,OAAO,EAAE,EAAE;AACvB,SAAM,KAAK,aAAa,OAAO,OAAO,SAAS,GAAG,OAAO,OAAO,KAAK;AACrE,OAAI,OAAO,MAAM,MACf,OAAM,KAAK,eAAe,OAAO,KAAK,QAAQ;;;AAMpD,KAAI,UAAU,OAAO,EAAE,CACrB,OAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;AAG3E,QAAO,MAAM,KAAK,KAAK;;;;;;AAOzB,SAAS,6BACP,MACA,OACA,SAOU;CACV,MAAM,EAAE,QAAQ,QAAQ,UAAU,eAAe,SAAS,UAAU;CACpE,MAAMA,QAAkB,EAAE;CAG1B,IAAI,cAAc;CAClB,IAAIE,eAAyC,SAAS;AACtD,KAAI,SACF,SAAQ,KAAK,QAAb;EACE,KAAK;AACH,iBAAc;AACd,iBAAc;AACd;EACF,KAAK;AACH,iBAAc;AACd,kBAAe,SAAU,WAAW,OAAO,KAAK,GAAG;AACnD;EACF,KAAK;AACH,iBAAc;AACd,iBAAc;AACd;;KAGJ,SAAQ,KAAK,QAAb;EACE,KAAK;AACH,iBAAc;AACd;EACF,KAAK;AACH,iBAAc;AACd;EACF,KAAK;AACH,iBAAc;AACd;;CAMN,IAAIC,cAAwC,SAAS;CACrD,IAAIF,iBAAyB,KAAK;AAElC,KAAI,SACF,SAAQ,KAAK,MAAb;EACE,KAAK;EACL,KAAK;AACH,gBAAa;AACb,oBAAiB,WAAW,KAAK,KAAK;AACtC;EACF,KAAK,SAAS;GAEZ,MAAM,aAAa,KAAK,KAAK,MAAM,iBAAiB;AACpD,OAAI,aAAa,IAAI;IACnB,MAAM,YAAY,WAAW;AAC7B,qBAAiB,GAAG,IAAI,QAAQ,CAAC,GAAG,KAAK,UAAU;SAEnD,kBAAiB,IAAI,KAAK,KAAK;AAEjC;;EAEF,KAAK;AACH,gBAAa;AACb,oBAAiB,WAAW,KAAK,KAAK;AACtC;EACF,KAAK,UAAU;GAGb,MAAM,cAAc,KAAK,KAAK,MAAM,oBAAoB;AACxD,OAAI,cAAc,MAAM,YAAY,IAAI;IACtC,MAAM,aAAa,YAAY;IAC/B,MAAM,OAAO,YAAY;IAGzB,MAAM,YAAY,KAAK,MAAM,4CAA4C;AACzE,QAAI,YAAY,MAAM,UAAU,MAAM,UAAU,IAAI;KAClD,MAAM,eAAe,UAAU;KAC/B,MAAM,aAAa,UAAU;KAC7B,MAAM,cAAc,UAAU;AAC9B,sBAAiB,GAAG,KAAK,WAAW,CAAC,IAAI,aAAa,KAAK,IAAI,WAAW,CAAC,GAAG,IAAI,YAAY;UAG9F,kBAAiB,GAAG,KAAK,WAAW,CAAC,IAAI;SAG3C,kBAAiB,KAAK;AAExB;;EAEF,KAAK;EACL,KAAK;AACH,iBAAc,SAAS;AACvB,oBAAiB,WAAW,KAAK,KAAK;AACtC;EACF,KAAK,cAAc;GAEjB,MAAM,UAAU,KAAK,KAAK,MAAM,wBAAwB;AACxD,OAAI,UAAU,IAAI;IAChB,MAAM,cAAc,QAAQ;AAC5B,qBAAiB,GAAG,IAAI,cAAc,CAAC,IAAI,KAAK,YAAY;SAE5D,kBAAiB,IAAI,KAAK,KAAK;AAEjC;;EAEF,KAAK;EACL,KAAK;EACL,KAAK;AACH,gBAAa;AACb,oBAAiB,WAAW,KAAK,KAAK;AACtC;EACF,KAAK,cAAc;GAGjB,MAAM,UAAU,KAAK,KAAK,MAAM,uBAAuB;AACvD,OAAI,UAAU,IAAI;IAChB,MAAM,SAAS,QAAQ;AACvB,qBAAiB,GAAG,IAAI,cAAc,CAAC,GAAG,KAAK,OAAO;UACjD;IAGL,MAAM,WAAW,KAAK,KAAK,MAAM,sCAAsC;AACvE,QAAI,WAAW,MAAM,SAAS,IAAI;KAChC,MAAM,UAAU,SAAS;KACzB,MAAM,OAAO,SAAS;AACtB,sBAAiB,GAAG,KAAK,QAAQ,CAAC,GAAG,IAAI,KAAK;WACzC;AAEL,kBAAa;AACb,sBAAiB,WAAW,KAAK,KAAK;;;AAG1C;;EAEF;AACE,oBAAiB,KAAK;AACtB;;KAGJ,kBAAiB,KAAK;CAGxB,MAAM,qBAAqB,YAAY,YAAY;CAGnD,IAAI,YAAY;AAChB,MACG,KAAK,WAAW,UAAU,KAAK,WAAW,WAC3C,KAAK,WACL,KAAK,QAAQ,SAAS,GACtB;EAIA,MAAM,cAAc,cAAc,IAAI,KAAK,QAAQ,GAAG;AACtD,cAAY,GAAG,eAAe,GAAG;;AAKnC,KAAI,OACF,OAAM,KAAK,GAAG,mBAAmB,GAAG,YAAY;MAC3C;EAEL,MAAM,aAAa,GAAG,cADL,SAAS,MAAM,IACa,CAAC;AAC9C,QAAM,KAAK,GAAG,SAAS,aAAa,mBAAmB,GAAG,YAAY;;AAIxE,KAAI,KAAK,YAAY,KAAK,SAAS,SAAS,GAAG;EAC7C,MAAM,cAAc,SAAS,KAAK,GAAG,SAAS,SAAS,QAAQ,GAAG,cAAc,IAAI,CAAC;AACrF,OAAK,IAAI,IAAI,GAAG,IAAI,KAAK,SAAS,QAAQ,KAAK;GAC7C,MAAM,QAAQ,KAAK,SAAS;AAC5B,OAAI,CAAC,MAAO;GAEZ,MAAM,aAAa,6BAA6B,OAAO,OAAO;IAC5D,QAFkB,MAAM,KAAK,SAAS,SAAS;IAG/C,QAAQ;IACR;IACA;IACA,QAAQ;IACT,CAAC;AACF,SAAM,KAAK,GAAG,WAAW;;;AAI7B,QAAO;;;;;AAMT,SAAgB,yBACd,QACA,OACQ;AACR,KAAI,MAAM,MACR,QAAO;CAGT,MAAMD,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,YAAY,qBAAqB,UAAU,IAAI;CACrD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;CAGjE,MAAM,YAAY,6BAA6B,OAAO,OAAO,MAAM,OAAO;EACxE,QAAQ;EACR,QAAQ;EACR;EACA;EACA,QAAQ;EACT,CAAC;AACF,OAAM,KAAK,GAAG,UAAU;AAGxB,KAAI,UAAU,OAAO,EAAE,EAAE;AACvB,QAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;AACzE,QAAM,KACJ,GAAG,cAAc,UAAU,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,KAAK,QAAQ,OAAO,OAAO,OAAO,OAAO,GAC5H;;AAIH,OAAM,KAAK,GAAG;AAGd,KAAI,OAAO,GACT,OAAM,KAAK,GAAG,YAAY,IAAI,CAAC,GAAG,OAAO,UAAU;MAC9C;EACL,MAAM,WAAW,OAAO,OAAO,KAAK,OAAO,KAAK,KAAK;AACrD,QAAM,KAAK,GAAG,UAAU,IAAI,CAAC,GAAG,OAAO,UAAU,WAAW;;AAG9D,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,uBAAuB,QAA4C;AACjF,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE;;;;;AAUxC,SAAgB,iBAAiB,QAA4B,OAA4B;AACvF,KAAI,MAAM,MACR,QAAO;CAGT,MAAMA,QAAkB,EAAE;CAE1B,MAAM,WAAW,MAAM,UAAU;CACjC,MAAM,cAAc,qBAAqB,UAAU,MAAM;CACzD,MAAM,iBAAiB,SAAiB,UAAU,UAAU,KAAK;AAEjE,KAAI,OAAO,IAAI;AAEb,QAAM,KAAK,GAAG,YAAY,IAAI,CAAC,kBAAkB;EAGjD,MAAM,eAAe,OAAO,OAAO,UAAU,eAAe;EAC5D,MAAM,cAAc,OAAO,SAAS;AAEpC,QAAM,KAAK,GAAG,cAAc,WAAW,eAAe,GAAG;AACzD,QAAM,KAAK,GAAG,cAAc,WAAW,cAAc,GAAG;AAExD,MAAI,UAAU,OAAO,EAAE,EAAE;AACvB,OAAI,OAAO,SAAS,YAClB,OAAM,KAAK,GAAG,cAAc,kBAAkB,OAAO,SAAS,cAAc,GAAG;AAEjF,OAAI,OAAO,OAAO,UAAU,YAC1B,OAAM,KACJ,GAAG,cAAc,2BAA2B,OAAO,OAAO,SAAS,cAAc,GAClF;AAEH,SAAM,KAAK,GAAG,cAAc,iBAAiB,OAAO,QAAQ,MAAM,IAAI,GAAG;;;AAI7E,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,eAAe,QAAoC;AACjE,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@prisma-next/cli",
-  "version": "0.5.0-dev.1",
+  "version": "0.5.0-dev.11",
   "type": "module",
   "sideEffects": false,
   "files": [
@@ -19,32 +19,33 @@
     "colorette": "^2.0.20",
     "commander": "^12.0.0",
     "esbuild": "^0.25.11",
+    "jsonc-parser": "^3.3.1",
     "package-manager-detector": "^1.6.0",
     "pathe": "^2.0.3",
     "string-width": "^8.2.0",
     "strip-ansi": "^7.1.2",
     "wrap-ansi": "^10.0.0",
-    "@prisma-next/config": "0.5.0-dev.1",
-    "@prisma-next/contract": "0.5.0-dev.1",
-    "@prisma-next/emitter": "0.5.0-dev.1",
-    "@prisma-next/errors": "0.5.0-dev.1",
-    "@prisma-next/migration-tools": "0.5.0-dev.1",
-    "@prisma-next/psl-printer": "0.5.0-dev.1",
-    "@prisma-next/framework-components": "0.5.0-dev.1",
-    "@prisma-next/utils": "0.5.0-dev.1"
+    "@prisma-next/emitter": "0.5.0-dev.11",
+    "@prisma-next/contract": "0.5.0-dev.11",
+    "@prisma-next/framework-components": "0.5.0-dev.11",
+    "@prisma-next/config": "0.5.0-dev.11",
+    "@prisma-next/errors": "0.5.0-dev.11",
+    "@prisma-next/psl-printer": "0.5.0-dev.11",
+    "@prisma-next/utils": "0.5.0-dev.11",
+    "@prisma-next/migration-tools": "0.5.0-dev.11"
   },
   "devDependencies": {
     "@types/node": "24.10.4",
     "tsdown": "0.18.4",
     "typescript": "5.9.3",
     "vitest": "4.0.17",
-    "@prisma-next/sql-contract-emitter": "0.5.0-dev.1",
-    "@prisma-next/sql-contract-ts": "0.5.0-dev.1",
-    "@prisma-next/sql-contract": "0.5.0-dev.1",
-    "@prisma-next/sql-runtime": "0.5.0-dev.1",
-    "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/sql-operations": "0.5.0-dev.1",
+    "@prisma-next/sql-contract": "0.5.0-dev.11",
+    "@prisma-next/sql-contract-emitter": "0.5.0-dev.11",
+    "@prisma-next/sql-contract-ts": "0.5.0-dev.11",
+    "@prisma-next/sql-operations": "0.5.0-dev.11",
+    "@prisma-next/sql-runtime": "0.5.0-dev.11",
     "@prisma-next/tsconfig": "0.0.0",
+    "@prisma-next/test-utils": "0.0.1",
     "@prisma-next/tsdown": "0.0.0"
   },
   "exports": {
@@ -56,6 +57,10 @@
       "types": "./dist/exports/config-types.d.mts",
       "import": "./dist/exports/config-types.mjs"
     },
+    "./init-output": {
+      "types": "./dist/exports/init-output.d.mts",
+      "import": "./dist/exports/init-output.mjs"
+    },
     "./commands/db-init": {
       "types": "./dist/commands/db-init.d.mts",
       "import": "./dist/commands/db-init.mjs"

package/src/commands/init/detect-pnpm-catalog.ts

@@ -0,0 +1,141 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { dirname, join } from 'pathe';
+
+/**
+ * Catalog entry detected in a `pnpm-workspace.yaml` that overrides one of
+ * the packages `init` installs. The `version` is the raw value as written
+ * in the workspace file (no normalisation), so the warning surfaces the
+ * exact text the user can search for if they want to find the override.
+ */
+export interface PnpmCatalogOverride {
+  readonly name: string;
+  readonly version: string;
+}
+
+/**
+ * Result of scanning for a pnpm workspace catalog that overrides any of
+ * the packages `init` is about to install. Returns `null` when no
+ * `pnpm-workspace.yaml` is found in `baseDir` or any ancestor; an empty
+ * `entries` array means a workspace exists but contains none of our
+ * packages.
+ */
+export interface PnpmCatalogScanResult {
+  /** Absolute path of the `pnpm-workspace.yaml` that was consulted. */
+  readonly workspaceFile: string;
+  readonly entries: readonly PnpmCatalogOverride[];
+}
+
+/**
+ * Walks up from `baseDir` looking for `pnpm-workspace.yaml`, then scans
+ * its top-level `catalog:` block for entries that match any of `packages`.
+ *
+ * Implements FR7.3 / Spec Decision 8 (honour-and-warn): when `init` runs
+ * inside a pnpm workspace whose catalog overrides one of the packages it
+ * installs, surface a structured warning so the user knows the catalog
+ * version (not the published `latest`) is what ended up in their
+ * `node_modules`. pnpm itself does this silently; the warning closes the
+ * "looks fine, must be wrong version six months later" gap.
+ *
+ * Notes / scope:
+ *
+ * - We only inspect the unnamed top-level `catalog:` block. pnpm also
+ *   supports `catalogs:` (plural — *named* catalogs referenced via
+ *   `catalog:foo` specifiers); those don't apply to a vanilla
+ *   `pnpm add prisma-next` invocation, so we skip them.
+ * - We don't validate YAML syntax exhaustively. The file format pnpm
+ *   ships is line-oriented and well-known; a minimal regex is more
+ *   robust than depending on a YAML parser for one warning.
+ * - We don't compare against the registry's `latest` — pnpm uses the
+ *   catalog version regardless, so the warning fires whenever a match
+ *   exists. The user-facing copy explains how to opt out.
+ */
+export function detectPnpmCatalogOverrides(
+  baseDir: string,
+  packages: readonly string[],
+): PnpmCatalogScanResult | null {
+  const workspaceFile = findNearestPnpmWorkspaceFile(baseDir);
+  if (workspaceFile === null) {
+    return null;
+  }
+
+  const contents = readFileSync(workspaceFile, 'utf-8');
+  const catalog = extractCatalogBlock(contents);
+  if (catalog === null) {
+    return { workspaceFile, entries: [] };
+  }
+
+  const wanted = new Set(packages);
+  const entries: PnpmCatalogOverride[] = [];
+  for (const [name, version] of catalog) {
+    if (wanted.has(name)) {
+      entries.push({ name, version });
+    }
+  }
+  return { workspaceFile, entries };
+}
+
+function findNearestPnpmWorkspaceFile(baseDir: string): string | null {
+  let dir = baseDir;
+  let prev = '';
+  while (dir !== prev) {
+    const candidate = join(dir, 'pnpm-workspace.yaml');
+    if (existsSync(candidate)) {
+      return candidate;
+    }
+    prev = dir;
+    dir = dirname(dir);
+  }
+  return null;
+}
+
+/**
+ * Returns the entries inside the top-level `catalog:` block as `[name, version]`
+ * pairs in document order, or `null` when no `catalog:` block exists.
+ *
+ * The parser is intentionally minimal: it reads line-by-line, locates the
+ * top-level `catalog:` line (no leading whitespace), then collects every
+ * subsequent indented line of the form `<key>: <value>` until the next
+ * top-level key (or end of file). Quotes around `<key>` and `<value>`
+ * are stripped; comments (`#…`) are ignored.
+ */
+function extractCatalogBlock(contents: string): Array<[string, string]> | null {
+  const lines = contents.split(/\r?\n/);
+  const startIdx = lines.findIndex((line) => /^catalog\s*:\s*$/.test(line));
+  if (startIdx === -1) {
+    return null;
+  }
+
+  const entries: Array<[string, string]> = [];
+  for (let i = startIdx + 1; i < lines.length; i++) {
+    const raw = lines[i] ?? '';
+    if (raw.trim() === '' || /^\s*#/.test(raw)) {
+      continue;
+    }
+    if (!/^\s/.test(raw)) {
+      // Hit the next top-level key — catalog block ended.
+      break;
+    }
+    const match = raw.match(/^\s+(?:'([^']+)'|"([^"]+)"|([^:\s'"]+))\s*:\s*(.*?)\s*(?:#.*)?$/);
+    if (!match) {
+      continue;
+    }
+    const name = match[1] ?? match[2] ?? match[3];
+    if (name === undefined) continue;
+    const rawValue = match[4] ?? '';
+    const version = stripQuotes(rawValue.trim());
+    if (version === '') continue;
+    entries.push([name, version]);
+  }
+  return entries;
+}
+
+function stripQuotes(value: string): string {
+  if (value.length >= 2) {
+    const first = value[0];
+    const last = value[value.length - 1];
+    if ((first === '"' && last === '"') || (first === "'" && last === "'")) {
+      return value.slice(1, -1);
+    }
+  }
+  return value;
+}

package/src/commands/init/errors.ts

@@ -0,0 +1,254 @@
+import { CliStructuredError } from '../../utils/cli-errors';
+
+/**
+ * No `package.json` / `deno.json` / `deno.jsonc` in the target directory.
+ *
+ * `init` cannot bootstrap a fresh project from a bare directory (NG1) — that
+ * gap is tracked separately. The fix is for the user to run `npm init` (or
+ * the equivalent for their package manager) first.
+ */
+export function errorInitMissingManifest(): CliStructuredError {
+  return new CliStructuredError('5001', 'No project manifest found', {
+    domain: 'CLI',
+    why: 'No package.json or deno.json found in the target directory. `prisma-next init` requires an existing project to attach to.',
+    fix: 'Initialize your project first (e.g. `npm init -y` or `deno init`), then re-run `prisma-next init`.',
+    docsUrl: 'https://prisma-next.dev/docs/cli/init',
+  });
+}
+
+/**
+ * Re-init in non-interactive mode without `--force`. Distinct from the
+ * decline-the-prompt path (which is `errorInitUserAborted`) because here
+ * the user was never given the choice — `--force` is the contract.
+ */
+export function errorInitReinitNeedsForce(): CliStructuredError {
+  return new CliStructuredError('5002', 'Project is already initialized', {
+    domain: 'CLI',
+    why: 'A `prisma-next.config.ts` already exists in this directory. Re-running `init` would overwrite the scaffolded files; in non-interactive mode `init` will not do that without `--force`.',
+    fix: 'Pass `--force` to overwrite the existing scaffold, or run `init` interactively to confirm.',
+    docsUrl: 'https://prisma-next.dev/docs/cli/init',
+  });
+}
+
+/**
+ * Non-interactive mode is missing one or more required inputs. Lists every
+ * missing flag in the error so an agent / CI script can react without
+ * needing to parse English.
+ *
+ * @param missing — kebab-case flag names without leading dashes
+ * @param why — additional context (e.g. "stdin is not a TTY") that helps
+ *              the user understand why interactive fallback was skipped.
+ */
+export function errorInitMissingFlags(options: {
+  readonly missing: readonly string[];
+  readonly why: string;
+}): CliStructuredError {
+  const flagList = options.missing.map((flag) => `--${flag}`).join(', ');
+  const fixList = options.missing
+    .map((flag) => {
+      switch (flag) {
+        case 'target':
+          return '--target postgres|mongodb';
+        case 'authoring':
+          return '--authoring psl|typescript';
+        case 'schema-path':
+          return '--schema-path <path>';
+        default:
+          return `--${flag} <value>`;
+      }
+    })
+    .join(' ');
+  return new CliStructuredError('5003', 'Missing required flags', {
+    domain: 'CLI',
+    why: `${options.why} Missing required flag(s): ${flagList}.`,
+    fix: `Re-run with the missing flag(s) supplied, e.g. \`prisma-next init --yes ${fixList}\`. Use \`prisma-next init --help\` to see every flag.`,
+    docsUrl: 'https://prisma-next.dev/docs/cli/init',
+    meta: { missingFlags: options.missing },
+  });
+}
+
+/**
+ * A flag value was supplied but is not in the allowed set. Lists the
+ * allowed values in `meta` for machine-readable consumption.
+ */
+export function errorInitInvalidFlagValue(options: {
+  readonly flag: string;
+  readonly value: string;
+  readonly allowed: readonly string[];
+}): CliStructuredError {
+  return new CliStructuredError('5004', `Invalid value for --${options.flag}`, {
+    domain: 'CLI',
+    why: `\`--${options.flag} ${options.value}\` is not one of: ${options.allowed.join(', ')}.`,
+    fix: `Use one of: ${options.allowed.map((v) => `--${options.flag} ${v}`).join(', ')}.`,
+    docsUrl: 'https://prisma-next.dev/docs/cli/init',
+    meta: { flag: options.flag, value: options.value, allowed: options.allowed },
+  });
+}
+
+/**
+ * The user cancelled an interactive prompt (Ctrl-C, escape, declined a
+ * selection). Distinct from `errorInitReinitNeedsForce` because that path
+ * applies to non-interactive mode where the user was never given the
+ * choice; this one is the generic "user said no" path. Maps to exit code
+ * 3 (USER_ABORTED).
+ */
+export function errorInitUserAborted(): CliStructuredError {
+  return new CliStructuredError('5006', 'Init cancelled', {
+    domain: 'CLI',
+    why: 'The interactive prompt was cancelled before all required inputs were supplied. No files were modified.',
+    fix: 'Re-run `prisma-next init` and complete the prompts, or pass the required inputs as flags (see `--help`) for a non-interactive run.',
+    severity: 'info',
+  });
+}
+
+/**
+ * `--strict-probe` was supplied without `--probe-db`. Per FR8.3 / NFR9
+ * (offline-by-default), `--strict-probe` is a no-op without `--probe-db` —
+ * but rather than silently ignoring it we tell the user what they probably
+ * meant. Without this guard, the flag combination silently does nothing,
+ * which is exactly the kind of "looks like it worked" trap that a strict
+ * mode is supposed to prevent.
+ */
+export function errorInitStrictProbeWithoutProbe(): CliStructuredError {
+  return new CliStructuredError('5005', '`--strict-probe` requires `--probe-db`', {
+    domain: 'CLI',
+    why: '`--strict-probe` only changes how a *failed* probe is reported; without `--probe-db` no probe is attempted in the first place. (`init` is offline-by-default — it never opens a connection to your database without explicit consent.)',
+    fix: 'Add `--probe-db` to opt in to the probe, or drop `--strict-probe` if you do not need the version check.',
+    docsUrl: 'https://prisma-next.dev/docs/cli/init',
+  });
+}
+
+/**
+ * Dependency installation failed and the pnpm → npm fallback (FR7.2)
+ * either did not apply (pm ≠ pnpm or stderr did not match a recognised
+ * leak) or also failed. Files scaffolded before the install step are
+ * already on disk; `meta.filesWritten` carries the list so a follow-up
+ * agent can resume manually. Maps to exit code `4 = INSTALL_FAILED`.
+ */
+export function errorInitInstallFailed(options: {
+  readonly addCommand: string;
+  readonly addDevCommand: string;
+  readonly emitCommand: string;
+  readonly filesWritten: readonly string[];
+  readonly stderrLines: readonly string[];
+}): CliStructuredError {
+  const trimmed = options.stderrLines.map((s) => s.trim()).filter(Boolean);
+  const why =
+    trimmed.length === 0
+      ? 'The package manager exited with an error and no recoverable fallback applied.'
+      : `The package manager exited with: ${trimmed[0]}`;
+  return new CliStructuredError('5007', 'Failed to install dependencies', {
+    domain: 'CLI',
+    why,
+    fix: `Install manually:\n  ${options.addCommand}\n  ${options.addDevCommand}\nThen run \`${options.emitCommand}\` to emit the contract.`,
+    docsUrl: 'https://prisma-next.dev/docs/cli/init',
+    meta: {
+      filesWritten: options.filesWritten,
+      stderr: trimmed,
+    },
+  });
+}
+
+/**
+ * The user's project manifest (typically `package.json`) failed to parse
+ * as JSON. Init reads the manifest to merge `scripts` (FR3.5) and to
+ * skip `@types/node` when it is already declared (FR2.1); a malformed
+ * file would otherwise surface as an `INTERNAL_ERROR` with a raw
+ * `SyntaxError` stack, which violates the FR1.6 contract that every
+ * documented failure mode maps to a stable exit code.
+ *
+ * Maps to exit code `2 = PRECONDITION` — the user can fix the manifest
+ * and re-run.
+ */
+export function errorInitInvalidManifest(options: {
+  readonly path: string;
+  readonly cause: string;
+}): CliStructuredError {
+  return new CliStructuredError('5010', `Failed to parse ${options.path}`, {
+    domain: 'CLI',
+    why: `\`${options.path}\` is not valid JSON: ${options.cause}`,
+    fix: `Fix the JSON syntax in \`${options.path}\` (a missing comma or unbalanced brace is the most common cause), then re-run \`prisma-next init\`.`,
+    docsUrl: 'https://prisma-next.dev/docs/cli/init',
+    meta: { path: options.path, cause: options.cause },
+  });
+}
+
+/**
+ * The user's existing `tsconfig.json` could not be parsed even with JSONC
+ * tolerance (comments + trailing commas) enabled. Init merges the
+ * minimum compiler options the scaffolded files need (FR2.2), so an
+ * unparseable tsconfig is a hard precondition failure: we cannot
+ * faithfully edit a file we cannot read.
+ *
+ * Init must surface this **before** writing any scaffold file so the
+ * user's working tree stays byte-identical (FR6.2 / NFR3) — see
+ * `runInit` for the precondition gate.
+ *
+ * Maps to exit code `2 = PRECONDITION` — the user can fix the file and
+ * re-run.
+ */
+export function errorInitInvalidTsconfig(options: {
+  readonly path: string;
+  readonly cause: string;
+}): CliStructuredError {
+  return new CliStructuredError('5011', `Failed to parse ${options.path}`, {
+    domain: 'CLI',
+    why: `\`${options.path}\` is not valid JSON or JSONC: ${options.cause}`,
+    fix: `Fix the syntax in \`${options.path}\` and re-run \`prisma-next init\`. \`init\` accepts JSONC (comments and trailing commas) but cannot recover from unbalanced braces or missing commas.`,
+    docsUrl: 'https://prisma-next.dev/docs/cli/init',
+    meta: { path: options.path, cause: options.cause },
+  });
+}
+
+/**
+ * `--probe-db` was supplied along with `--strict-probe` and the probe
+ * could not complete (no `DATABASE_URL`, network/auth error, the target
+ * driver was not installed, …). Without `--strict-probe` the probe
+ * surfaces these as warnings; `--strict-probe` escalates them to
+ * fatal so a CI gate can rely on "init exit code 2 means something
+ * about the runtime environment is wrong" (FR8.3).
+ *
+ * Maps to exit code `2 = PRECONDITION`. The caller's project files
+ * are already on disk by this point — the probe runs after the write
+ * phase — but the install/emit steps may or may not have completed
+ * depending on `--no-install` and the exact failure mode; `meta`
+ * carries `filesWritten` so a follow-up agent can resume manually.
+ */
+export function errorInitProbeFailed(options: {
+  readonly cause: string;
+  readonly filesWritten: readonly string[];
+}): CliStructuredError {
+  return new CliStructuredError('5012', 'Database probe failed', {
+    domain: 'CLI',
+    why: `\`--probe-db\` could not complete and \`--strict-probe\` was set: ${options.cause}`,
+    fix: 'Confirm `DATABASE_URL` points at a reachable server, or drop `--strict-probe` to treat probe failures as warnings.',
+    docsUrl: 'https://prisma-next.dev/docs/cli/init',
+    meta: {
+      filesWritten: options.filesWritten,
+      cause: options.cause,
+    },
+  });
+}
+
+/**
+ * `prisma-next contract emit` failed after a successful install. Surface
+ * the underlying error so the user can fix it and re-run; files and
+ * dependencies remain on disk untouched. Maps to exit code
+ * `5 = EMIT_FAILED`.
+ */
+export function errorInitEmitFailed(options: {
+  readonly emitCommand: string;
+  readonly filesWritten: readonly string[];
+  readonly cause: string;
+}): CliStructuredError {
+  return new CliStructuredError('5008', 'Failed to emit contract', {
+    domain: 'CLI',
+    why: `\`prisma-next contract emit\` failed: ${options.cause}`,
+    fix: `Inspect your contract file, fix the underlying issue, then re-run \`${options.emitCommand}\`. Pass \`-v\` for the full error envelope.`,
+    docsUrl: 'https://prisma-next.dev/docs/cli/contract-emit',
+    meta: {
+      filesWritten: options.filesWritten,
+      cause: options.cause,
+    },
+  });
+}