@contractspec/bundle.workspace 1.46.2 → 1.48.0

package/dist/services/import/import-service.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-service.mjs","names":["path"],"sources":["../../../src/services/import/import-service.ts"],"sourcesContent":["/**\n * Import service for source-extractors.\n *\n * Integrates source extraction into the workspace bundle.\n */\n\nimport type { FsAdapter } from '../../ports/fs';\nimport type { LoggerAdapter } from '../../ports/logger';\nimport type { ResolvedContractsrcConfig } from '@contractspec/lib.contracts';\nimport {\n  detectFramework,\n  extractFromProject,\n  type ExtractOptions,\n  type ImportIR,\n} from '@contractspec/lib.source-extractors';\nimport {\n  type ExtractorFsAdapter,\n  registerAllExtractors,\n} from '@contractspec/lib.source-extractors/extractors';\nimport {\n  generateOperations,\n  generateRegistry,\n  generateSchemas,\n  type GenerationOptions,\n  type GenerationResult,\n} from '@contractspec/lib.source-extractors/codegen';\nimport { dirname, join } from 'path';\n\n/**\n * Options for the import service.\n */\nexport interface ImportServiceOptions {\n  /** Limit extraction to specific paths */\n  scope?: string[];\n  /** Force specific framework */\n  framework?: string;\n  /** Dry run mode - don't write files */\n  dryRun?: boolean;\n  /** Analysis only - extract IR without generating code */\n  analyzeOnly?: boolean;\n  /** Output directory for generated contracts */\n  outputDir?: string;\n}\n\n/**\n * Result of the import service.\n */\nexport interface ImportServiceResult {\n  success: boolean;\n  ir?: ImportIR;\n  generation?: GenerationResult;\n  report: string;\n  errors?: string[];\n}\n\n/**\n * Adapters needed by the import service.\n */\nexport interface ImportServiceAdapters {\n  fs: FsAdapter;\n  logger: LoggerAdapter;\n}\n\n/**\n * Import contracts from source code.\n */\nexport async function importFromSourceService(\n  config: ResolvedContractsrcConfig,\n  options: ImportServiceOptions,\n  adapters: ImportServiceAdapters,\n  cwd?: string\n): Promise<ImportServiceResult> {\n  const { fs, logger } = adapters;\n  const rootPath = cwd ?? process.cwd();\n\n  // Register all extractors\n  registerAllExtractors();\n\n  logger.info(`Scanning source code in ${rootPath}...`);\n\n  // Create adapter bridge\n  const extractorFs: ExtractorFsAdapter = {\n    readFile: (path) => fs.readFile(path),\n    glob: (pattern, opts) => fs.glob({ pattern, cwd: opts?.cwd }),\n    exists: (path) => fs.exists(path),\n  };\n\n  // Detect frameworks\n  const project = await detectFramework(rootPath, {\n    readFile: (path) => fs.readFile(path),\n    glob: (pattern) => fs.glob({ pattern }),\n  });\n\n  if (project.frameworks.length === 0) {\n    logger.warn('No supported frameworks detected');\n    return {\n      success: false,\n      report: generateNoFrameworkReport(),\n      errors: ['No supported frameworks detected in project'],\n    };\n  }\n\n  logger.info(\n    `Detected frameworks: ${project.frameworks.map((f) => f.name).join(', ')}`\n  );\n\n  // Set up extractors with fs adapter\n  const { extractorRegistry } =\n    await import('@contractspec/lib.source-extractors');\n  for (const extractor of extractorRegistry.getAll()) {\n    if ('setFs' in extractor && typeof extractor.setFs === 'function') {\n      extractor.setFs(extractorFs);\n    }\n  }\n\n  // Extract contracts\n  const extractOptions: ExtractOptions = {\n    scope: options.scope,\n    framework: options.framework,\n  };\n\n  const extractResult = await extractFromProject(project, extractOptions);\n\n  if (!extractResult.success || !extractResult.ir) {\n    return {\n      success: false,\n      report: generateErrorReport(extractResult.errors ?? []),\n      errors: extractResult.errors?.map((e) => e.message),\n    };\n  }\n\n  const ir = extractResult.ir;\n\n  logger.info(\n    `Extracted ${ir.endpoints.length} endpoints, ${ir.schemas.length} schemas`\n  );\n\n  // If analyze-only mode, just return the IR\n  if (options.analyzeOnly) {\n    return {\n      success: true,\n      ir,\n      report: generateAnalysisReport(ir),\n    };\n  }\n\n  // Generate code\n  const outputDir = options.outputDir ?? join(config.outputDir, 'generated');\n  const generationOptions: GenerationOptions = {\n    outputDir,\n    defaultAuth: 'user',\n  };\n\n  const operationFiles = generateOperations(ir, generationOptions);\n  const schemaFiles = generateSchemas(ir, generationOptions);\n  const registryFile = generateRegistry(operationFiles);\n\n  const allFiles = [...operationFiles, ...schemaFiles, registryFile];\n\n  // Write files if not dry-run\n  if (!options.dryRun) {\n    for (const file of allFiles) {\n      const fullPath = join(outputDir, file.path);\n      const dir = dirname(fullPath);\n\n      if (!(await fs.exists(dir))) {\n        await fs.mkdir(dir);\n      }\n\n      await fs.writeFile(fullPath, file.content);\n      logger.info(`Created: ${fullPath}`);\n    }\n  } else {\n    for (const file of allFiles) {\n      logger.info(`[DRY RUN] Would create: ${join(outputDir, file.path)}`);\n    }\n  }\n\n  const generationResult: GenerationResult = {\n    files: allFiles,\n    operationsGenerated: operationFiles.length,\n    schemasGenerated: schemaFiles.length,\n    warnings: [],\n  };\n\n  return {\n    success: true,\n    ir,\n    generation: generationResult,\n    report: generateSuccessReport(ir, generationResult, options),\n  };\n}\n\n/**\n * Generate report when no frameworks are detected.\n */\nfunction generateNoFrameworkReport(): string {\n  return `# Import Report\n\n## ❌ No Supported Frameworks Detected\n\nNo supported frameworks were detected in the project.\n\n### Supported Frameworks\n\n- NestJS\n- Express\n- Fastify\n- Hono\n- Elysia\n- tRPC\n- Next.js API Routes\n\nPlease ensure your project uses one of these frameworks and has the appropriate dependencies installed.\n`;\n}\n\n/**\n * Generate error report.\n */\nfunction generateErrorReport(errors: { message: string }[]): string {\n  return `# Import Report\n\n## ❌ Extraction Failed\n\n${errors.map((e) => `- ${e.message}`).join('\\n')}\n`;\n}\n\n/**\n * Generate analysis-only report.\n */\nfunction generateAnalysisReport(ir: ImportIR): string {\n  return `# Import Analysis Report\n\n## Summary\n\n- **Files Scanned**: ${ir.stats.filesScanned}\n- **Endpoints Found**: ${ir.stats.endpointsFound}\n- **Schemas Found**: ${ir.stats.schemasFound}\n- **Errors Found**: ${ir.stats.errorsFound}\n- **Events Found**: ${ir.stats.eventsFound}\n\n## Confidence Breakdown\n\n| Level | Count |\n|-------|-------|\n| High | ${ir.stats.highConfidence} |\n| Medium | ${ir.stats.mediumConfidence} |\n| Low/Ambiguous | ${ir.stats.lowConfidence} |\n\n## Detected Frameworks\n\n${ir.project.frameworks.map((f) => `- ${f.name} (${f.confidence})`).join('\\n')}\n\n## Endpoints\n\n${ir.endpoints.map((e) => `- \\`${e.method} ${e.path}\\` - ${e.confidence.level}`).join('\\n')}\n\n## Ambiguities (Require Review)\n\n${ir.ambiguities.length > 0 ? ir.ambiguities.map((a) => `- ${a.description}`).join('\\n') : 'None'}\n`;\n}\n\n/**\n * Generate success report.\n */\nfunction generateSuccessReport(\n  ir: ImportIR,\n  gen: GenerationResult,\n  options: ImportServiceOptions\n): string {\n  const mode = options.dryRun ? ' (Dry Run)' : '';\n  return `# Import Report${mode}\n\n## ✅ Import Successful\n\n### Extraction Summary\n\n- **Files Scanned**: ${ir.stats.filesScanned}\n- **Endpoints Found**: ${ir.stats.endpointsFound}\n- **Schemas Found**: ${ir.stats.schemasFound}\n\n### Generation Summary\n\n- **Operations Generated**: ${gen.operationsGenerated}\n- **Schemas Generated**: ${gen.schemasGenerated}\n- **Total Files**: ${gen.files.length}\n\n### Confidence Breakdown\n\n| Level | Count |\n|-------|-------|\n| High | ${ir.stats.highConfidence} |\n| Medium | ${ir.stats.mediumConfidence} |\n| Low/Ambiguous | ${ir.stats.lowConfidence} |\n\n### Next Steps\n\n1. Review generated contracts in \\`${options.outputDir ?? 'generated/'}\\`\n2. Fill in TODO placeholders with business context\n3. Run \\`contractspec validate\\` to verify contracts\n4. Move stable contracts from \\`generated/\\` to \\`curated/\\`\n`;\n}\n"],"mappings":";;;;;;;;;AAkEA,eAAsB,wBACpB,QACA,SACA,UACA,KAC8B;CAC9B,MAAM,EAAE,IAAI,WAAW;CACvB,MAAM,WAAW,OAAO,QAAQ,KAAK;AAGrC,wBAAuB;AAEvB,QAAO,KAAK,2BAA2B,SAAS,KAAK;CAGrD,MAAM,cAAkC;EACtC,WAAW,WAAS,GAAG,SAASA,OAAK;EACrC,OAAO,SAAS,SAAS,GAAG,KAAK;GAAE;GAAS,KAAK,MAAM;GAAK,CAAC;EAC7D,SAAS,WAAS,GAAG,OAAOA,OAAK;EAClC;CAGD,MAAM,UAAU,MAAM,gBAAgB,UAAU;EAC9C,WAAW,WAAS,GAAG,SAASA,OAAK;EACrC,OAAO,YAAY,GAAG,KAAK,EAAE,SAAS,CAAC;EACxC,CAAC;AAEF,KAAI,QAAQ,WAAW,WAAW,GAAG;AACnC,SAAO,KAAK,mCAAmC;AAC/C,SAAO;GACL,SAAS;GACT,QAAQ,2BAA2B;GACnC,QAAQ,CAAC,8CAA8C;GACxD;;AAGH,QAAO,KACL,wBAAwB,QAAQ,WAAW,KAAK,MAAM,EAAE,KAAK,CAAC,KAAK,KAAK,GACzE;CAGD,MAAM,EAAE,sBACN,MAAM,OAAO;AACf,MAAK,MAAM,aAAa,kBAAkB,QAAQ,CAChD,KAAI,WAAW,aAAa,OAAO,UAAU,UAAU,WACrD,WAAU,MAAM,YAAY;CAUhC,MAAM,gBAAgB,MAAM,mBAAmB,SALR;EACrC,OAAO,QAAQ;EACf,WAAW,QAAQ;EACpB,CAEsE;AAEvE,KAAI,CAAC,cAAc,WAAW,CAAC,cAAc,GAC3C,QAAO;EACL,SAAS;EACT,QAAQ,oBAAoB,cAAc,UAAU,EAAE,CAAC;EACvD,QAAQ,cAAc,QAAQ,KAAK,MAAM,EAAE,QAAQ;EACpD;CAGH,MAAM,KAAK,cAAc;AAEzB,QAAO,KACL,aAAa,GAAG,UAAU,OAAO,cAAc,GAAG,QAAQ,OAAO,UAClE;AAGD,KAAI,QAAQ,YACV,QAAO;EACL,SAAS;EACT;EACA,QAAQ,uBAAuB,GAAG;EACnC;CAIH,MAAM,YAAY,QAAQ,aAAa,KAAK,OAAO,WAAW,YAAY;CAC1E,MAAM,oBAAuC;EAC3C;EACA,aAAa;EACd;CAED,MAAM,iBAAiB,mBAAmB,IAAI,kBAAkB;CAChE,MAAM,cAAc,gBAAgB,IAAI,kBAAkB;CAC1D,MAAM,eAAe,iBAAiB,eAAe;CAErD,MAAM,WAAW;EAAC,GAAG;EAAgB,GAAG;EAAa;EAAa;AAGlE,KAAI,CAAC,QAAQ,OACX,MAAK,MAAM,QAAQ,UAAU;EAC3B,MAAM,WAAW,KAAK,WAAW,KAAK,KAAK;EAC3C,MAAM,MAAM,QAAQ,SAAS;AAE7B,MAAI,CAAE,MAAM,GAAG,OAAO,IAAI,CACxB,OAAM,GAAG,MAAM,IAAI;AAGrB,QAAM,GAAG,UAAU,UAAU,KAAK,QAAQ;AAC1C,SAAO,KAAK,YAAY,WAAW;;KAGrC,MAAK,MAAM,QAAQ,SACjB,QAAO,KAAK,2BAA2B,KAAK,WAAW,KAAK,KAAK,GAAG;CAIxE,MAAM,mBAAqC;EACzC,OAAO;EACP,qBAAqB,eAAe;EACpC,kBAAkB,YAAY;EAC9B,UAAU,EAAE;EACb;AAED,QAAO;EACL,SAAS;EACT;EACA,YAAY;EACZ,QAAQ,sBAAsB,IAAI,kBAAkB,QAAQ;EAC7D;;;;;AAMH,SAAS,4BAAoC;AAC3C,QAAO;;;;;;;;;;;;;;;;;;;;;;AAuBT,SAAS,oBAAoB,QAAuC;AAClE,QAAO;;;;EAIP,OAAO,KAAK,MAAM,KAAK,EAAE,UAAU,CAAC,KAAK,KAAK,CAAC;;;;;;AAOjD,SAAS,uBAAuB,IAAsB;AACpD,QAAO;;;;uBAIc,GAAG,MAAM,aAAa;yBACpB,GAAG,MAAM,eAAe;uBAC1B,GAAG,MAAM,aAAa;sBACvB,GAAG,MAAM,YAAY;sBACrB,GAAG,MAAM,YAAY;;;;;;WAMhC,GAAG,MAAM,eAAe;aACtB,GAAG,MAAM,iBAAiB;oBACnB,GAAG,MAAM,cAAc;;;;EAIzC,GAAG,QAAQ,WAAW,KAAK,MAAM,KAAK,EAAE,KAAK,IAAI,EAAE,WAAW,GAAG,CAAC,KAAK,KAAK,CAAC;;;;EAI7E,GAAG,UAAU,KAAK,MAAM,OAAO,EAAE,OAAO,GAAG,EAAE,KAAK,OAAO,EAAE,WAAW,QAAQ,CAAC,KAAK,KAAK,CAAC;;;;EAI1F,GAAG,YAAY,SAAS,IAAI,GAAG,YAAY,KAAK,MAAM,KAAK,EAAE,cAAc,CAAC,KAAK,KAAK,GAAG,OAAO;;;;;;AAOlG,SAAS,sBACP,IACA,KACA,SACQ;AAER,QAAO,kBADM,QAAQ,SAAS,eAAe,GACf;;;;;;uBAMT,GAAG,MAAM,aAAa;yBACpB,GAAG,MAAM,eAAe;uBAC1B,GAAG,MAAM,aAAa;;;;8BAIf,IAAI,oBAAoB;2BAC3B,IAAI,iBAAiB;qBAC3B,IAAI,MAAM,OAAO;;;;;;WAM3B,GAAG,MAAM,eAAe;aACtB,GAAG,MAAM,iBAAiB;oBACnB,GAAG,MAAM,cAAc;;;;qCAIN,QAAQ,aAAa,aAAa"}

package/dist/services/import/index.d.mts

@@ -0,0 +1,3 @@
+import { ImportServiceAdapters, ImportServiceOptions, ImportServiceResult, importFromSourceService } from "./import-service.mjs";
+import { EndpointVerification, VerificationIssue, VerifyOptions, VerifyResult, verifyImportedContracts } from "./verify-service.mjs";
+import { ReportOptions, generateCliReport, generateMarkdownReport } from "./report-service.mjs";

package/dist/services/import/index.mjs

@@ -0,0 +1,5 @@
+import { importFromSourceService } from "./import-service.mjs";
+import { verifyImportedContracts } from "./verify-service.mjs";
+import { generateCliReport, generateMarkdownReport } from "./report-service.mjs";
+
+export {  };

package/dist/services/import/report-service.d.mts

@@ -0,0 +1,31 @@
+import { VerifyResult } from "./verify-service.mjs";
+import { ImportIR } from "@contractspec/lib.source-extractors";
+
+//#region src/services/import/report-service.d.ts
+
+/**
+ * Options for report generation.
+ */
+interface ReportOptions {
+  /** Include endpoint details */
+  includeEndpoints?: boolean;
+  /** Include schema details */
+  includeSchemas?: boolean;
+  /** Include verification issues */
+  includeIssues?: boolean;
+  /** Include ambiguities */
+  includeAmbiguities?: boolean;
+  /** Include statistics */
+  includeStats?: boolean;
+}
+/**
+ * Generate a markdown report from IR and optional verification.
+ */
+declare function generateMarkdownReport(ir: ImportIR, verification?: VerifyResult, options?: ReportOptions): string;
+/**
+ * Generate CLI-friendly report output.
+ */
+declare function generateCliReport(ir: ImportIR, verification?: VerifyResult): string;
+//#endregion
+export { ReportOptions, generateCliReport, generateMarkdownReport };
+//# sourceMappingURL=report-service.d.mts.map

package/dist/services/import/report-service.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-service.d.mts","names":[],"sources":["../../../src/services/import/report-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAoKgB,UAxJC,aAAA,CAwJgB;;;;;;;;;;;;;;;iBAxIjB,sBAAA,KACV,yBACW,wBACN;;;;iBAqIK,iBAAA,KACV,yBACW"}

package/dist/services/import/report-service.mjs

@@ -0,0 +1,124 @@
+//#region src/services/import/report-service.ts
+/**
+* Generate a markdown report from IR and optional verification.
+*/
+function generateMarkdownReport(ir, verification, options = {}) {
+	const lines = [];
+	lines.push("# Import Report");
+	lines.push("");
+	lines.push(`**Generated**: ${(/* @__PURE__ */ new Date()).toISOString()}`);
+	lines.push("");
+	lines.push("## Summary");
+	lines.push("");
+	lines.push(`| Metric | Count |`);
+	lines.push(`|--------|-------|`);
+	lines.push(`| Files Scanned | ${ir.stats.filesScanned} |`);
+	lines.push(`| Endpoints Found | ${ir.stats.endpointsFound} |`);
+	lines.push(`| Schemas Found | ${ir.stats.schemasFound} |`);
+	lines.push(`| Errors Found | ${ir.stats.errorsFound} |`);
+	lines.push(`| Events Found | ${ir.stats.eventsFound} |`);
+	lines.push("");
+	if (options.includeStats !== false) {
+		lines.push("### Confidence");
+		lines.push("");
+		lines.push(`| Level | Count |`);
+		lines.push(`|-------|-------|`);
+		lines.push(`| High | ${ir.stats.highConfidence} |`);
+		lines.push(`| Medium | ${ir.stats.mediumConfidence} |`);
+		lines.push(`| Low/Ambiguous | ${ir.stats.lowConfidence} |`);
+		lines.push("");
+	}
+	lines.push("### Frameworks Detected");
+	lines.push("");
+	for (const fw of ir.project.frameworks) lines.push(`- **${fw.name}** (${fw.confidence})`);
+	lines.push("");
+	if (options.includeEndpoints !== false && ir.endpoints.length > 0) {
+		lines.push("## Endpoints");
+		lines.push("");
+		lines.push("| Method | Path | Kind | Confidence |");
+		lines.push("|--------|------|------|------------|");
+		for (const ep of ir.endpoints) lines.push(`| ${ep.method} | \`${ep.path}\` | ${ep.kind} | ${ep.confidence.level} |`);
+		lines.push("");
+	}
+	if (options.includeSchemas !== false && ir.schemas.length > 0) {
+		lines.push("## Schemas");
+		lines.push("");
+		lines.push("| Name | Type | Confidence |");
+		lines.push("|------|------|------------|");
+		for (const schema of ir.schemas) lines.push(`| ${schema.name} | ${schema.schemaType} | ${schema.confidence.level} |`);
+		lines.push("");
+	}
+	if (verification && options.includeIssues !== false) {
+		lines.push("## Verification");
+		lines.push("");
+		lines.push(`| Status | Count |`);
+		lines.push(`|--------|-------|`);
+		lines.push(`| Valid | ${verification.summary.validEndpoints} |`);
+		lines.push(`| Warnings | ${verification.summary.warningEndpoints} |`);
+		lines.push(`| Errors | ${verification.summary.errorEndpoints} |`);
+		lines.push("");
+		const issueEndpoints = verification.endpointResults.filter((r) => r.issues.length > 0);
+		if (issueEndpoints.length > 0) {
+			lines.push("### Issues");
+			lines.push("");
+			for (const result of issueEndpoints) {
+				lines.push(`#### ${result.endpoint.method} ${result.endpoint.path}`);
+				for (const issue of result.issues) {
+					const icon = issue.severity === "error" ? "❌" : issue.severity === "warning" ? "⚠️" : "ℹ️";
+					lines.push(`- ${icon} **${issue.code}**: ${issue.message}`);
+					if (issue.suggestion) lines.push(`  - *Suggestion*: ${issue.suggestion}`);
+				}
+				lines.push("");
+			}
+		}
+	}
+	if (options.includeAmbiguities !== false && ir.ambiguities.length > 0) {
+		lines.push("## Ambiguities (Require Review)");
+		lines.push("");
+		for (const amb of ir.ambiguities) {
+			lines.push(`- **${amb.type}** (${amb.itemId}): ${amb.description}`);
+			if (amb.suggestion) lines.push(`  - *Suggestion*: ${amb.suggestion}`);
+		}
+		lines.push("");
+	}
+	lines.push("## Next Steps");
+	lines.push("");
+	lines.push("1. Review generated contracts in the output directory");
+	lines.push("2. Fill in TODO placeholders with business context");
+	lines.push("3. Run `contractspec validate` to verify contracts");
+	lines.push("4. Move stable contracts from `generated/` to `curated/`");
+	lines.push("");
+	return lines.join("\n");
+}
+/**
+* Generate CLI-friendly report output.
+*/
+function generateCliReport(ir, verification) {
+	const lines = [];
+	lines.push("");
+	lines.push("📊 Summary");
+	lines.push(`   Files scanned: ${ir.stats.filesScanned}`);
+	lines.push(`   Endpoints:     ${ir.stats.endpointsFound}`);
+	lines.push(`   Schemas:       ${ir.stats.schemasFound}`);
+	lines.push("");
+	lines.push("📈 Confidence");
+	lines.push(`   High:   ${ir.stats.highConfidence}`);
+	lines.push(`   Medium: ${ir.stats.mediumConfidence}`);
+	lines.push(`   Low:    ${ir.stats.lowConfidence}`);
+	lines.push("");
+	lines.push("🔧 Frameworks");
+	for (const fw of ir.project.frameworks) lines.push(`   • ${fw.name}`);
+	lines.push("");
+	if (verification) {
+		lines.push("✅ Verification");
+		lines.push(`   Valid:    ${verification.summary.validEndpoints}`);
+		lines.push(`   Warnings: ${verification.summary.warningEndpoints}`);
+		lines.push(`   Errors:   ${verification.summary.errorEndpoints}`);
+		lines.push("");
+	}
+	return lines.join("\n");
+}
+
+//#endregion
+export { generateCliReport, generateMarkdownReport };
+//# sourceMappingURL=report-service.mjs.map

package/dist/services/import/report-service.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-service.mjs","names":[],"sources":["../../../src/services/import/report-service.ts"],"sourcesContent":["/**\n * Report service for imported contracts.\n *\n * Generates markdown and CLI reports from IR and verification results.\n */\n\nimport type { ImportIR } from '@contractspec/lib.source-extractors';\nimport type { VerifyResult } from './verify-service';\n\n/**\n * Options for report generation.\n */\nexport interface ReportOptions {\n  /** Include endpoint details */\n  includeEndpoints?: boolean;\n  /** Include schema details */\n  includeSchemas?: boolean;\n  /** Include verification issues */\n  includeIssues?: boolean;\n  /** Include ambiguities */\n  includeAmbiguities?: boolean;\n  /** Include statistics */\n  includeStats?: boolean;\n}\n\n/**\n * Generate a markdown report from IR and optional verification.\n */\nexport function generateMarkdownReport(\n  ir: ImportIR,\n  verification?: VerifyResult,\n  options: ReportOptions = {}\n): string {\n  const lines: string[] = [];\n\n  lines.push('# Import Report');\n  lines.push('');\n  lines.push(`**Generated**: ${new Date().toISOString()}`);\n  lines.push('');\n\n  // Summary section\n  lines.push('## Summary');\n  lines.push('');\n  lines.push(`| Metric | Count |`);\n  lines.push(`|--------|-------|`);\n  lines.push(`| Files Scanned | ${ir.stats.filesScanned} |`);\n  lines.push(`| Endpoints Found | ${ir.stats.endpointsFound} |`);\n  lines.push(`| Schemas Found | ${ir.stats.schemasFound} |`);\n  lines.push(`| Errors Found | ${ir.stats.errorsFound} |`);\n  lines.push(`| Events Found | ${ir.stats.eventsFound} |`);\n  lines.push('');\n\n  // Confidence breakdown\n  if (options.includeStats !== false) {\n    lines.push('### Confidence');\n    lines.push('');\n    lines.push(`| Level | Count |`);\n    lines.push(`|-------|-------|`);\n    lines.push(`| High | ${ir.stats.highConfidence} |`);\n    lines.push(`| Medium | ${ir.stats.mediumConfidence} |`);\n    lines.push(`| Low/Ambiguous | ${ir.stats.lowConfidence} |`);\n    lines.push('');\n  }\n\n  // Frameworks detected\n  lines.push('### Frameworks Detected');\n  lines.push('');\n  for (const fw of ir.project.frameworks) {\n    lines.push(`- **${fw.name}** (${fw.confidence})`);\n  }\n  lines.push('');\n\n  // Endpoints section\n  if (options.includeEndpoints !== false && ir.endpoints.length > 0) {\n    lines.push('## Endpoints');\n    lines.push('');\n    lines.push('| Method | Path | Kind | Confidence |');\n    lines.push('|--------|------|------|------------|');\n    for (const ep of ir.endpoints) {\n      lines.push(\n        `| ${ep.method} | \\`${ep.path}\\` | ${ep.kind} | ${ep.confidence.level} |`\n      );\n    }\n    lines.push('');\n  }\n\n  // Schemas section\n  if (options.includeSchemas !== false && ir.schemas.length > 0) {\n    lines.push('## Schemas');\n    lines.push('');\n    lines.push('| Name | Type | Confidence |');\n    lines.push('|------|------|------------|');\n    for (const schema of ir.schemas) {\n      lines.push(\n        `| ${schema.name} | ${schema.schemaType} | ${schema.confidence.level} |`\n      );\n    }\n    lines.push('');\n  }\n\n  // Verification results\n  if (verification && options.includeIssues !== false) {\n    lines.push('## Verification');\n    lines.push('');\n    lines.push(`| Status | Count |`);\n    lines.push(`|--------|-------|`);\n    lines.push(`| Valid | ${verification.summary.validEndpoints} |`);\n    lines.push(`| Warnings | ${verification.summary.warningEndpoints} |`);\n    lines.push(`| Errors | ${verification.summary.errorEndpoints} |`);\n    lines.push('');\n\n    const issueEndpoints = verification.endpointResults.filter(\n      (r) => r.issues.length > 0\n    );\n    if (issueEndpoints.length > 0) {\n      lines.push('### Issues');\n      lines.push('');\n      for (const result of issueEndpoints) {\n        lines.push(`#### ${result.endpoint.method} ${result.endpoint.path}`);\n        for (const issue of result.issues) {\n          const icon =\n            issue.severity === 'error'\n              ? '❌'\n              : issue.severity === 'warning'\n                ? '⚠️'\n                : 'ℹ️';\n          lines.push(`- ${icon} **${issue.code}**: ${issue.message}`);\n          if (issue.suggestion) {\n            lines.push(`  - *Suggestion*: ${issue.suggestion}`);\n          }\n        }\n        lines.push('');\n      }\n    }\n  }\n\n  // Ambiguities section\n  if (options.includeAmbiguities !== false && ir.ambiguities.length > 0) {\n    lines.push('## Ambiguities (Require Review)');\n    lines.push('');\n    for (const amb of ir.ambiguities) {\n      lines.push(`- **${amb.type}** (${amb.itemId}): ${amb.description}`);\n      if (amb.suggestion) {\n        lines.push(`  - *Suggestion*: ${amb.suggestion}`);\n      }\n    }\n    lines.push('');\n  }\n\n  // Next steps\n  lines.push('## Next Steps');\n  lines.push('');\n  lines.push('1. Review generated contracts in the output directory');\n  lines.push('2. Fill in TODO placeholders with business context');\n  lines.push('3. Run `contractspec validate` to verify contracts');\n  lines.push('4. Move stable contracts from `generated/` to `curated/`');\n  lines.push('');\n\n  return lines.join('\\n');\n}\n\n/**\n * Generate CLI-friendly report output.\n */\nexport function generateCliReport(\n  ir: ImportIR,\n  verification?: VerifyResult\n): string {\n  const lines: string[] = [];\n\n  // Summary\n  lines.push('');\n  lines.push('📊 Summary');\n  lines.push(`   Files scanned: ${ir.stats.filesScanned}`);\n  lines.push(`   Endpoints:     ${ir.stats.endpointsFound}`);\n  lines.push(`   Schemas:       ${ir.stats.schemasFound}`);\n  lines.push('');\n\n  // Confidence\n  lines.push('📈 Confidence');\n  lines.push(`   High:   ${ir.stats.highConfidence}`);\n  lines.push(`   Medium: ${ir.stats.mediumConfidence}`);\n  lines.push(`   Low:    ${ir.stats.lowConfidence}`);\n  lines.push('');\n\n  // Frameworks\n  lines.push('🔧 Frameworks');\n  for (const fw of ir.project.frameworks) {\n    lines.push(`   • ${fw.name}`);\n  }\n  lines.push('');\n\n  // Verification\n  if (verification) {\n    lines.push('✅ Verification');\n    lines.push(`   Valid:    ${verification.summary.validEndpoints}`);\n    lines.push(`   Warnings: ${verification.summary.warningEndpoints}`);\n    lines.push(`   Errors:   ${verification.summary.errorEndpoints}`);\n    lines.push('');\n  }\n\n  return lines.join('\\n');\n}\n"],"mappings":";;;;AA4BA,SAAgB,uBACd,IACA,cACA,UAAyB,EAAE,EACnB;CACR,MAAM,QAAkB,EAAE;AAE1B,OAAM,KAAK,kBAAkB;AAC7B,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,mCAAkB,IAAI,MAAM,EAAC,aAAa,GAAG;AACxD,OAAM,KAAK,GAAG;AAGd,OAAM,KAAK,aAAa;AACxB,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,qBAAqB;AAChC,OAAM,KAAK,qBAAqB;AAChC,OAAM,KAAK,qBAAqB,GAAG,MAAM,aAAa,IAAI;AAC1D,OAAM,KAAK,uBAAuB,GAAG,MAAM,eAAe,IAAI;AAC9D,OAAM,KAAK,qBAAqB,GAAG,MAAM,aAAa,IAAI;AAC1D,OAAM,KAAK,oBAAoB,GAAG,MAAM,YAAY,IAAI;AACxD,OAAM,KAAK,oBAAoB,GAAG,MAAM,YAAY,IAAI;AACxD,OAAM,KAAK,GAAG;AAGd,KAAI,QAAQ,iBAAiB,OAAO;AAClC,QAAM,KAAK,iBAAiB;AAC5B,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,oBAAoB;AAC/B,QAAM,KAAK,oBAAoB;AAC/B,QAAM,KAAK,YAAY,GAAG,MAAM,eAAe,IAAI;AACnD,QAAM,KAAK,cAAc,GAAG,MAAM,iBAAiB,IAAI;AACvD,QAAM,KAAK,qBAAqB,GAAG,MAAM,cAAc,IAAI;AAC3D,QAAM,KAAK,GAAG;;AAIhB,OAAM,KAAK,0BAA0B;AACrC,OAAM,KAAK,GAAG;AACd,MAAK,MAAM,MAAM,GAAG,QAAQ,WAC1B,OAAM,KAAK,OAAO,GAAG,KAAK,MAAM,GAAG,WAAW,GAAG;AAEnD,OAAM,KAAK,GAAG;AAGd,KAAI,QAAQ,qBAAqB,SAAS,GAAG,UAAU,SAAS,GAAG;AACjE,QAAM,KAAK,eAAe;AAC1B,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,wCAAwC;AACnD,QAAM,KAAK,wCAAwC;AACnD,OAAK,MAAM,MAAM,GAAG,UAClB,OAAM,KACJ,KAAK,GAAG,OAAO,OAAO,GAAG,KAAK,OAAO,GAAG,KAAK,KAAK,GAAG,WAAW,MAAM,IACvE;AAEH,QAAM,KAAK,GAAG;;AAIhB,KAAI,QAAQ,mBAAmB,SAAS,GAAG,QAAQ,SAAS,GAAG;AAC7D,QAAM,KAAK,aAAa;AACxB,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,+BAA+B;AAC1C,QAAM,KAAK,+BAA+B;AAC1C,OAAK,MAAM,UAAU,GAAG,QACtB,OAAM,KACJ,KAAK,OAAO,KAAK,KAAK,OAAO,WAAW,KAAK,OAAO,WAAW,MAAM,IACtE;AAEH,QAAM,KAAK,GAAG;;AAIhB,KAAI,gBAAgB,QAAQ,kBAAkB,OAAO;AACnD,QAAM,KAAK,kBAAkB;AAC7B,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,qBAAqB;AAChC,QAAM,KAAK,qBAAqB;AAChC,QAAM,KAAK,aAAa,aAAa,QAAQ,eAAe,IAAI;AAChE,QAAM,KAAK,gBAAgB,aAAa,QAAQ,iBAAiB,IAAI;AACrE,QAAM,KAAK,cAAc,aAAa,QAAQ,eAAe,IAAI;AACjE,QAAM,KAAK,GAAG;EAEd,MAAM,iBAAiB,aAAa,gBAAgB,QACjD,MAAM,EAAE,OAAO,SAAS,EAC1B;AACD,MAAI,eAAe,SAAS,GAAG;AAC7B,SAAM,KAAK,aAAa;AACxB,SAAM,KAAK,GAAG;AACd,QAAK,MAAM,UAAU,gBAAgB;AACnC,UAAM,KAAK,QAAQ,OAAO,SAAS,OAAO,GAAG,OAAO,SAAS,OAAO;AACpE,SAAK,MAAM,SAAS,OAAO,QAAQ;KACjC,MAAM,OACJ,MAAM,aAAa,UACf,MACA,MAAM,aAAa,YACjB,OACA;AACR,WAAM,KAAK,KAAK,KAAK,KAAK,MAAM,KAAK,MAAM,MAAM,UAAU;AAC3D,SAAI,MAAM,WACR,OAAM,KAAK,qBAAqB,MAAM,aAAa;;AAGvD,UAAM,KAAK,GAAG;;;;AAMpB,KAAI,QAAQ,uBAAuB,SAAS,GAAG,YAAY,SAAS,GAAG;AACrE,QAAM,KAAK,kCAAkC;AAC7C,QAAM,KAAK,GAAG;AACd,OAAK,MAAM,OAAO,GAAG,aAAa;AAChC,SAAM,KAAK,OAAO,IAAI,KAAK,MAAM,IAAI,OAAO,KAAK,IAAI,cAAc;AACnE,OAAI,IAAI,WACN,OAAM,KAAK,qBAAqB,IAAI,aAAa;;AAGrD,QAAM,KAAK,GAAG;;AAIhB,OAAM,KAAK,gBAAgB;AAC3B,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,wDAAwD;AACnE,OAAM,KAAK,qDAAqD;AAChE,OAAM,KAAK,qDAAqD;AAChE,OAAM,KAAK,2DAA2D;AACtE,OAAM,KAAK,GAAG;AAEd,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,kBACd,IACA,cACQ;CACR,MAAM,QAAkB,EAAE;AAG1B,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,aAAa;AACxB,OAAM,KAAK,qBAAqB,GAAG,MAAM,eAAe;AACxD,OAAM,KAAK,qBAAqB,GAAG,MAAM,iBAAiB;AAC1D,OAAM,KAAK,qBAAqB,GAAG,MAAM,eAAe;AACxD,OAAM,KAAK,GAAG;AAGd,OAAM,KAAK,gBAAgB;AAC3B,OAAM,KAAK,cAAc,GAAG,MAAM,iBAAiB;AACnD,OAAM,KAAK,cAAc,GAAG,MAAM,mBAAmB;AACrD,OAAM,KAAK,cAAc,GAAG,MAAM,gBAAgB;AAClD,OAAM,KAAK,GAAG;AAGd,OAAM,KAAK,gBAAgB;AAC3B,MAAK,MAAM,MAAM,GAAG,QAAQ,WAC1B,OAAM,KAAK,QAAQ,GAAG,OAAO;AAE/B,OAAM,KAAK,GAAG;AAGd,KAAI,cAAc;AAChB,QAAM,KAAK,iBAAiB;AAC5B,QAAM,KAAK,gBAAgB,aAAa,QAAQ,iBAAiB;AACjE,QAAM,KAAK,gBAAgB,aAAa,QAAQ,mBAAmB;AACnE,QAAM,KAAK,gBAAgB,aAAa,QAAQ,iBAAiB;AACjE,QAAM,KAAK,GAAG;;AAGhB,QAAO,MAAM,KAAK,KAAK"}

package/dist/services/import/verify-service.d.mts

@@ -0,0 +1,67 @@
+import { FsAdapter } from "../../ports/fs.mjs";
+import { LoggerAdapter } from "../../ports/logger.mjs";
+import { Ambiguity, EndpointCandidate, ImportIR } from "@contractspec/lib.source-extractors";
+
+//#region src/services/import/verify-service.d.ts
+
+/**
+ * Verification result for a single endpoint.
+ */
+interface EndpointVerification {
+  endpoint: EndpointCandidate;
+  status: 'valid' | 'warning' | 'error';
+  issues: VerificationIssue[];
+}
+/**
+ * A single verification issue.
+ */
+interface VerificationIssue {
+  code: string;
+  message: string;
+  severity: 'error' | 'warning' | 'info';
+  suggestion?: string;
+}
+/**
+ * Options for verification.
+ */
+interface VerifyOptions {
+  /** Check for duplicate endpoints */
+  checkDuplicates?: boolean;
+  /** Check for conflicting paths */
+  checkConflicts?: boolean;
+  /** Validate schema completeness */
+  validateSchemas?: boolean;
+  /** Compare against existing specs */
+  compareExisting?: boolean;
+  /** Path to existing specs */
+  existingSpecsPath?: string;
+}
+/**
+ * Result of verification.
+ */
+interface VerifyResult {
+  valid: boolean;
+  endpointResults: EndpointVerification[];
+  ambiguities: Ambiguity[];
+  summary: {
+    totalEndpoints: number;
+    validEndpoints: number;
+    warningEndpoints: number;
+    errorEndpoints: number;
+    totalIssues: number;
+  };
+}
+/**
+ * Adapters for verification service.
+ */
+interface VerifyServiceAdapters {
+  fs: FsAdapter;
+  logger: LoggerAdapter;
+}
+/**
+ * Verify extracted contracts from IR.
+ */
+declare function verifyImportedContracts(ir: ImportIR, options: VerifyOptions, adapters: VerifyServiceAdapters): Promise<VerifyResult>;
+//#endregion
+export { EndpointVerification, VerificationIssue, VerifyOptions, VerifyResult, verifyImportedContracts };
+//# sourceMappingURL=verify-service.d.mts.map

package/dist/services/import/verify-service.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-service.d.mts","names":[],"sources":["../../../src/services/import/verify-service.ts"],"sourcesContent":[],"mappings":";;;;;;AAoDA;AAgBA;AAQA;AACM,UA5DW,oBAAA,CA4DX;EACK,QAAA,EA5DC,iBA4DD;EACC,MAAA,EAAA,OAAA,GAAA,SAAA,GAAA,OAAA;EACD,MAAA,EA5DD,iBA4DC,EAAA;;;;;UAtDM,iBAAA;;;;;;;;;UAUA,aAAA;;;;;;;;;;;;;;;UAgBA,YAAA;;mBAEE;eACJ;;;;;;;;;;;;UAaE,qBAAA;MACX;UACI;;;;;iBAMY,uBAAA,KAChB,mBACK,yBACC,wBACT,QAAQ"}

package/dist/services/import/verify-service.mjs

@@ -0,0 +1,105 @@
+//#region src/services/import/verify-service.ts
+/**
+* Verify extracted contracts from IR.
+*/
+async function verifyImportedContracts(ir, options, adapters) {
+	const { logger } = adapters;
+	const endpointResults = [];
+	const ambiguities = [...ir.ambiguities];
+	logger.info(`Verifying ${ir.endpoints.length} endpoints...`);
+	for (const endpoint of ir.endpoints) {
+		const issues = [];
+		if (endpoint.confidence.level === "low" || endpoint.confidence.level === "ambiguous") issues.push({
+			code: "LOW_CONFIDENCE",
+			message: `Endpoint has ${endpoint.confidence.level} confidence`,
+			severity: "warning",
+			suggestion: "Review source code and add explicit schema annotations"
+		});
+		if (!endpoint.input && (endpoint.method === "POST" || endpoint.method === "PUT" || endpoint.method === "PATCH")) issues.push({
+			code: "MISSING_INPUT_SCHEMA",
+			message: "Command endpoint missing input schema",
+			severity: "warning",
+			suggestion: "Add Zod schema or class-validator DTO"
+		});
+		if (!endpoint.output) issues.push({
+			code: "MISSING_OUTPUT_SCHEMA",
+			message: "Endpoint missing output schema",
+			severity: "info",
+			suggestion: "Infer from return type or add explicit schema"
+		});
+		if (options.checkDuplicates) {
+			if (ir.endpoints.filter((e) => e.id !== endpoint.id && e.path === endpoint.path && e.method === endpoint.method).length > 0) issues.push({
+				code: "DUPLICATE_ENDPOINT",
+				message: `Duplicate ${endpoint.method} ${endpoint.path} found`,
+				severity: "error"
+			});
+		}
+		if (options.checkConflicts) {
+			const conflicts = findPathConflicts(endpoint, ir.endpoints);
+			for (const conflict of conflicts) issues.push({
+				code: "PATH_CONFLICT",
+				message: `Path may conflict with ${conflict.method} ${conflict.path}`,
+				severity: "warning"
+			});
+		}
+		const status = issues.some((i) => i.severity === "error") ? "error" : issues.some((i) => i.severity === "warning") ? "warning" : "valid";
+		endpointResults.push({
+			endpoint,
+			status,
+			issues
+		});
+	}
+	if (options.validateSchemas) {
+		for (const schema of ir.schemas) if (!schema.fields || schema.fields.length === 0) ambiguities.push({
+			type: "schema",
+			itemId: schema.id,
+			description: `Schema ${schema.name} has no extracted fields`,
+			suggestion: "Review schema definition and add explicit field types",
+			source: schema.source
+		});
+	}
+	const summary = {
+		totalEndpoints: endpointResults.length,
+		validEndpoints: endpointResults.filter((r) => r.status === "valid").length,
+		warningEndpoints: endpointResults.filter((r) => r.status === "warning").length,
+		errorEndpoints: endpointResults.filter((r) => r.status === "error").length,
+		totalIssues: endpointResults.reduce((sum, r) => sum + r.issues.length, 0)
+	};
+	logger.info(`Verification complete: ${summary.validEndpoints} valid, ${summary.warningEndpoints} warnings, ${summary.errorEndpoints} errors`);
+	return {
+		valid: summary.errorEndpoints === 0,
+		endpointResults,
+		ambiguities,
+		summary
+	};
+}
+/**
+* Find path conflicts (e.g., /users/:id vs /users/profile).
+*/
+function findPathConflicts(endpoint, allEndpoints) {
+	const conflicts = [];
+	const endpointParts = endpoint.path.split("/").filter(Boolean);
+	for (const other of allEndpoints) {
+		if (other.id === endpoint.id) continue;
+		if (other.method !== endpoint.method) continue;
+		const otherParts = other.path.split("/").filter(Boolean);
+		if (otherParts.length !== endpointParts.length) continue;
+		let mightConflict = true;
+		for (let i = 0; i < endpointParts.length; i++) {
+			const a = endpointParts[i] ?? "";
+			const b = otherParts[i] ?? "";
+			const aIsParam = a.startsWith(":") || a.startsWith("{");
+			const bIsParam = b.startsWith(":") || b.startsWith("{");
+			if (!aIsParam && !bIsParam && a !== b) {
+				mightConflict = false;
+				break;
+			}
+		}
+		if (mightConflict && endpoint.path !== other.path) conflicts.push(other);
+	}
+	return conflicts;
+}
+
+//#endregion
+export { verifyImportedContracts };
+//# sourceMappingURL=verify-service.mjs.map

package/dist/services/import/verify-service.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-service.mjs","names":[],"sources":["../../../src/services/import/verify-service.ts"],"sourcesContent":["/**\n * Verify service for imported contracts.\n *\n * Validates extracted contracts against existing codebase and specs.\n */\n\nimport type {\n  ImportIR,\n  EndpointCandidate,\n  Ambiguity,\n} from '@contractspec/lib.source-extractors';\nimport type { FsAdapter } from '../../ports/fs';\nimport type { LoggerAdapter } from '../../ports/logger';\n\n/**\n * Verification result for a single endpoint.\n */\nexport interface EndpointVerification {\n  endpoint: EndpointCandidate;\n  status: 'valid' | 'warning' | 'error';\n  issues: VerificationIssue[];\n}\n\n/**\n * A single verification issue.\n */\nexport interface VerificationIssue {\n  code: string;\n  message: string;\n  severity: 'error' | 'warning' | 'info';\n  suggestion?: string;\n}\n\n/**\n * Options for verification.\n */\nexport interface VerifyOptions {\n  /** Check for duplicate endpoints */\n  checkDuplicates?: boolean;\n  /** Check for conflicting paths */\n  checkConflicts?: boolean;\n  /** Validate schema completeness */\n  validateSchemas?: boolean;\n  /** Compare against existing specs */\n  compareExisting?: boolean;\n  /** Path to existing specs */\n  existingSpecsPath?: string;\n}\n\n/**\n * Result of verification.\n */\nexport interface VerifyResult {\n  valid: boolean;\n  endpointResults: EndpointVerification[];\n  ambiguities: Ambiguity[];\n  summary: {\n    totalEndpoints: number;\n    validEndpoints: number;\n    warningEndpoints: number;\n    errorEndpoints: number;\n    totalIssues: number;\n  };\n}\n\n/**\n * Adapters for verification service.\n */\nexport interface VerifyServiceAdapters {\n  fs: FsAdapter;\n  logger: LoggerAdapter;\n}\n\n/**\n * Verify extracted contracts from IR.\n */\nexport async function verifyImportedContracts(\n  ir: ImportIR,\n  options: VerifyOptions,\n  adapters: VerifyServiceAdapters\n): Promise<VerifyResult> {\n  const { logger } = adapters;\n  const endpointResults: EndpointVerification[] = [];\n  const ambiguities: Ambiguity[] = [...ir.ambiguities];\n\n  logger.info(`Verifying ${ir.endpoints.length} endpoints...`);\n\n  // Check each endpoint\n  for (const endpoint of ir.endpoints) {\n    const issues: VerificationIssue[] = [];\n\n    // Check confidence level\n    if (\n      endpoint.confidence.level === 'low' ||\n      endpoint.confidence.level === 'ambiguous'\n    ) {\n      issues.push({\n        code: 'LOW_CONFIDENCE',\n        message: `Endpoint has ${endpoint.confidence.level} confidence`,\n        severity: 'warning',\n        suggestion: 'Review source code and add explicit schema annotations',\n      });\n    }\n\n    // Check for missing input schema\n    if (\n      !endpoint.input &&\n      (endpoint.method === 'POST' ||\n        endpoint.method === 'PUT' ||\n        endpoint.method === 'PATCH')\n    ) {\n      issues.push({\n        code: 'MISSING_INPUT_SCHEMA',\n        message: 'Command endpoint missing input schema',\n        severity: 'warning',\n        suggestion: 'Add Zod schema or class-validator DTO',\n      });\n    }\n\n    // Check for missing output schema\n    if (!endpoint.output) {\n      issues.push({\n        code: 'MISSING_OUTPUT_SCHEMA',\n        message: 'Endpoint missing output schema',\n        severity: 'info',\n        suggestion: 'Infer from return type or add explicit schema',\n      });\n    }\n\n    // Check for duplicate paths\n    if (options.checkDuplicates) {\n      const duplicates = ir.endpoints.filter(\n        (e) =>\n          e.id !== endpoint.id &&\n          e.path === endpoint.path &&\n          e.method === endpoint.method\n      );\n      if (duplicates.length > 0) {\n        issues.push({\n          code: 'DUPLICATE_ENDPOINT',\n          message: `Duplicate ${endpoint.method} ${endpoint.path} found`,\n          severity: 'error',\n        });\n      }\n    }\n\n    // Check for path conflicts\n    if (options.checkConflicts) {\n      const conflicts = findPathConflicts(endpoint, ir.endpoints);\n      for (const conflict of conflicts) {\n        issues.push({\n          code: 'PATH_CONFLICT',\n          message: `Path may conflict with ${conflict.method} ${conflict.path}`,\n          severity: 'warning',\n        });\n      }\n    }\n\n    const status = issues.some((i) => i.severity === 'error')\n      ? 'error'\n      : issues.some((i) => i.severity === 'warning')\n        ? 'warning'\n        : 'valid';\n\n    endpointResults.push({ endpoint, status, issues });\n  }\n\n  // Validate schemas if requested\n  if (options.validateSchemas) {\n    for (const schema of ir.schemas) {\n      if (!schema.fields || schema.fields.length === 0) {\n        ambiguities.push({\n          type: 'schema',\n          itemId: schema.id,\n          description: `Schema ${schema.name} has no extracted fields`,\n          suggestion: 'Review schema definition and add explicit field types',\n          source: schema.source,\n        });\n      }\n    }\n  }\n\n  const summary = {\n    totalEndpoints: endpointResults.length,\n    validEndpoints: endpointResults.filter((r) => r.status === 'valid').length,\n    warningEndpoints: endpointResults.filter((r) => r.status === 'warning')\n      .length,\n    errorEndpoints: endpointResults.filter((r) => r.status === 'error').length,\n    totalIssues: endpointResults.reduce((sum, r) => sum + r.issues.length, 0),\n  };\n\n  logger.info(\n    `Verification complete: ${summary.validEndpoints} valid, ` +\n      `${summary.warningEndpoints} warnings, ${summary.errorEndpoints} errors`\n  );\n\n  return {\n    valid: summary.errorEndpoints === 0,\n    endpointResults,\n    ambiguities,\n    summary,\n  };\n}\n\n/**\n * Find path conflicts (e.g., /users/:id vs /users/profile).\n */\nfunction findPathConflicts(\n  endpoint: EndpointCandidate,\n  allEndpoints: EndpointCandidate[]\n): EndpointCandidate[] {\n  const conflicts: EndpointCandidate[] = [];\n\n  const endpointParts = endpoint.path.split('/').filter(Boolean);\n\n  for (const other of allEndpoints) {\n    if (other.id === endpoint.id) continue;\n    if (other.method !== endpoint.method) continue;\n\n    const otherParts = other.path.split('/').filter(Boolean);\n    if (otherParts.length !== endpointParts.length) continue;\n\n    let mightConflict = true;\n    for (let i = 0; i < endpointParts.length; i++) {\n      const a = endpointParts[i] ?? '';\n      const b = otherParts[i] ?? '';\n\n      const aIsParam = a.startsWith(':') || a.startsWith('{');\n      const bIsParam = b.startsWith(':') || b.startsWith('{');\n\n      if (!aIsParam && !bIsParam && a !== b) {\n        mightConflict = false;\n        break;\n      }\n    }\n\n    if (mightConflict && endpoint.path !== other.path) {\n      conflicts.push(other);\n    }\n  }\n\n  return conflicts;\n}\n"],"mappings":";;;;AA4EA,eAAsB,wBACpB,IACA,SACA,UACuB;CACvB,MAAM,EAAE,WAAW;CACnB,MAAM,kBAA0C,EAAE;CAClD,MAAM,cAA2B,CAAC,GAAG,GAAG,YAAY;AAEpD,QAAO,KAAK,aAAa,GAAG,UAAU,OAAO,eAAe;AAG5D,MAAK,MAAM,YAAY,GAAG,WAAW;EACnC,MAAM,SAA8B,EAAE;AAGtC,MACE,SAAS,WAAW,UAAU,SAC9B,SAAS,WAAW,UAAU,YAE9B,QAAO,KAAK;GACV,MAAM;GACN,SAAS,gBAAgB,SAAS,WAAW,MAAM;GACnD,UAAU;GACV,YAAY;GACb,CAAC;AAIJ,MACE,CAAC,SAAS,UACT,SAAS,WAAW,UACnB,SAAS,WAAW,SACpB,SAAS,WAAW,SAEtB,QAAO,KAAK;GACV,MAAM;GACN,SAAS;GACT,UAAU;GACV,YAAY;GACb,CAAC;AAIJ,MAAI,CAAC,SAAS,OACZ,QAAO,KAAK;GACV,MAAM;GACN,SAAS;GACT,UAAU;GACV,YAAY;GACb,CAAC;AAIJ,MAAI,QAAQ,iBAOV;OANmB,GAAG,UAAU,QAC7B,MACC,EAAE,OAAO,SAAS,MAClB,EAAE,SAAS,SAAS,QACpB,EAAE,WAAW,SAAS,OACzB,CACc,SAAS,EACtB,QAAO,KAAK;IACV,MAAM;IACN,SAAS,aAAa,SAAS,OAAO,GAAG,SAAS,KAAK;IACvD,UAAU;IACX,CAAC;;AAKN,MAAI,QAAQ,gBAAgB;GAC1B,MAAM,YAAY,kBAAkB,UAAU,GAAG,UAAU;AAC3D,QAAK,MAAM,YAAY,UACrB,QAAO,KAAK;IACV,MAAM;IACN,SAAS,0BAA0B,SAAS,OAAO,GAAG,SAAS;IAC/D,UAAU;IACX,CAAC;;EAIN,MAAM,SAAS,OAAO,MAAM,MAAM,EAAE,aAAa,QAAQ,GACrD,UACA,OAAO,MAAM,MAAM,EAAE,aAAa,UAAU,GAC1C,YACA;AAEN,kBAAgB,KAAK;GAAE;GAAU;GAAQ;GAAQ,CAAC;;AAIpD,KAAI,QAAQ,iBACV;OAAK,MAAM,UAAU,GAAG,QACtB,KAAI,CAAC,OAAO,UAAU,OAAO,OAAO,WAAW,EAC7C,aAAY,KAAK;GACf,MAAM;GACN,QAAQ,OAAO;GACf,aAAa,UAAU,OAAO,KAAK;GACnC,YAAY;GACZ,QAAQ,OAAO;GAChB,CAAC;;CAKR,MAAM,UAAU;EACd,gBAAgB,gBAAgB;EAChC,gBAAgB,gBAAgB,QAAQ,MAAM,EAAE,WAAW,QAAQ,CAAC;EACpE,kBAAkB,gBAAgB,QAAQ,MAAM,EAAE,WAAW,UAAU,CACpE;EACH,gBAAgB,gBAAgB,QAAQ,MAAM,EAAE,WAAW,QAAQ,CAAC;EACpE,aAAa,gBAAgB,QAAQ,KAAK,MAAM,MAAM,EAAE,OAAO,QAAQ,EAAE;EAC1E;AAED,QAAO,KACL,0BAA0B,QAAQ,eAAe,UAC5C,QAAQ,iBAAiB,aAAa,QAAQ,eAAe,SACnE;AAED,QAAO;EACL,OAAO,QAAQ,mBAAmB;EAClC;EACA;EACA;EACD;;;;;AAMH,SAAS,kBACP,UACA,cACqB;CACrB,MAAM,YAAiC,EAAE;CAEzC,MAAM,gBAAgB,SAAS,KAAK,MAAM,IAAI,CAAC,OAAO,QAAQ;AAE9D,MAAK,MAAM,SAAS,cAAc;AAChC,MAAI,MAAM,OAAO,SAAS,GAAI;AAC9B,MAAI,MAAM,WAAW,SAAS,OAAQ;EAEtC,MAAM,aAAa,MAAM,KAAK,MAAM,IAAI,CAAC,OAAO,QAAQ;AACxD,MAAI,WAAW,WAAW,cAAc,OAAQ;EAEhD,IAAI,gBAAgB;AACpB,OAAK,IAAI,IAAI,GAAG,IAAI,cAAc,QAAQ,KAAK;GAC7C,MAAM,IAAI,cAAc,MAAM;GAC9B,MAAM,IAAI,WAAW,MAAM;GAE3B,MAAM,WAAW,EAAE,WAAW,IAAI,IAAI,EAAE,WAAW,IAAI;GACvD,MAAM,WAAW,EAAE,WAAW,IAAI,IAAI,EAAE,WAAW,IAAI;AAEvD,OAAI,CAAC,YAAY,CAAC,YAAY,MAAM,GAAG;AACrC,oBAAgB;AAChB;;;AAIJ,MAAI,iBAAiB,SAAS,SAAS,MAAM,KAC3C,WAAU,KAAK,MAAM;;AAIzB,QAAO"}

package/dist/services/index.d.mts

@@ -0,0 +1,107 @@
+import { PackageManager, WorkspaceInfo, detectPackageManager, findPackageRoot, findWorkspaceRoot, getWorkspaceInfo } from "../adapters/workspace.mjs";
+import { ValidateSpecOptions, ValidateSpecResult, validateSpec, validateSpecs } from "./validate/spec-validator.mjs";
+import { ValidateImplementationOptions, ValidateImplementationResult, validateImplementationFiles } from "./validate/implementation-validator.mjs";
+import { BlueprintValidationResult, validateBlueprint } from "./validate/blueprint-validator.mjs";
+import { TenantValidationContext, TenantValidationResult, validateTenantConfig } from "./validate/tenant-validator.mjs";
+import { ImplementationValidationResult, ImplementationValidatorOptions, validateImplementationWithAgent } from "./validate/implementation-agent-validator.mjs";
+import "./validate/index.mjs";
+import { CoverageByType, IntegrityAnalysisOptions, IntegrityAnalysisResult, IntegrityIssue, SpecInventory, SpecLocation, analyzeIntegrity, filterIssuesBySeverity, filterIssuesByType, getAllSpecs } from "./integrity.mjs";
+import { index_d_exports } from "./features/index.mjs";
+import { CompareSpecsOptions, CompareSpecsResult, compareSpecs } from "./diff.mjs";
+import { AnalyzeDepsOptions, AnalyzeDepsResult, analyzeDeps, exportGraphAsDot, getContractNode, getGraphStats } from "./deps.mjs";
+import { ListSpecsOptions, groupSpecsByType, listSpecs } from "./list.mjs";
+import { getApiKey, loadWorkspaceConfig } from "./config.mjs";
+import { BuildSpecOptions, BuildSpecResult, BuildTarget, BuildTargetResult, buildSpec } from "./build.mjs";
+import { OpenApiExportServiceOptions, OpenApiExportServiceResult, OpenApiImportServiceOptions, OpenApiImportServiceResult, OpenApiSyncServiceOptions, OpenApiSyncServiceResult, OpenApiValidateServiceOptions, OpenApiValidateServiceResult } from "./openapi/types.mjs";
+import { importFromOpenApiService } from "./openapi/import-service.mjs";
+import { syncWithOpenApiService } from "./openapi/sync-service.mjs";
+import { validateAgainstOpenApiService } from "./openapi/validate-service.mjs";
+import { OpenApiExportOptions, OpenApiExportResult, exportOpenApi } from "./openapi/export-service.mjs";
+import "./openapi/index.mjs";
+import { RegistryClient, RegistryClientOptions, addToRegistry, listFromRegistry, resolveRegistryUrl, searchRegistry } from "./registry.mjs";
+import { SyncBuildFn, SyncSpecsOptions, SyncSpecsResult, SyncSpecsRunResult, SyncValidateFn, syncSpecs } from "./sync.mjs";
+import { WatchBuildFn, WatchSpecsOptions, WatchValidateFn, watchSpecs } from "./watch.mjs";
+import { CleanOptions, CleanResult, cleanArtifacts } from "./clean.mjs";
+import { RunTestsResult, TestServiceOptions, TestServiceResult, listTests, runTestSpecs, runTests } from "./test/test-service.mjs";
+import { TestGeneratorOptions, TestGeneratorService } from "./test/test-generator-service.mjs";
+import "./test/index.mjs";
+import { CreateRegeneratorOptions, createRegeneratorService } from "./regenerator.mjs";
+import { ExtendedWorkspaceInfo, MonorepoConfig, findAllConfigFiles, formatWorkspaceInfo, getExtendedWorkspaceInfo, mergeMonorepoConfigs } from "./workspace-info.mjs";
+import { DiagramOptions, DiagramType, generateMermaidDiagram } from "./integrity-diagram.mjs";
+import { LayerDiscoveryOptions, LayerDiscoveryResult, LayerInventory, LayerLocation, WorkspaceConfigInfo, createEmptyLayerInventory, discoverLayers, getAllLayerLocations } from "./layer-discovery.mjs";
+import { ALL_SETUP_TARGETS, SETUP_TARGET_LABELS, SetupFileResult, SetupOptions, SetupPromptCallbacks, SetupResult, SetupScope, SetupTarget } from "./setup/types.mjs";
+import { runSetup } from "./setup/setup-service.mjs";
+import { generateAgentsMd, generateClaudeMcpConfig, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateVscodeSettings, getClaudeDesktopConfigPath } from "./setup/config-generators.mjs";
+import { deepMergeOverwrite, deepMergePreserve, formatJson, safeParseJson } from "./setup/file-merger.mjs";
+import { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS, CheckCategory, CheckContext, CheckResult, CheckStatus, DoctorOptions, DoctorPromptCallbacks, DoctorResult, FixAction, FixResult } from "./doctor/types.mjs";
+import { formatCheckResult, formatDoctorSummary, runDoctor } from "./doctor/doctor-service.mjs";
+import "./doctor/index.mjs";
+import { ALL_CI_CHECK_CATEGORIES, CICheckCategory, CICheckCategorySummary, CICheckOptions, CICheckResult, CIFormatOptions, CIIssue, CIIssueSeverity, CIOutputFormat, CI_CHECK_CATEGORY_LABELS } from "./ci-check/types.mjs";
+import { runCIChecks } from "./ci-check/ci-check-service.mjs";
+import "./ci-check/index.mjs";
+import { AgentAdapter, AgentGuideConfig, FormatOptions, GuideOptions, GuideResult } from "./agent-guide/types.mjs";
+import { AgentGuideService, agentGuideService, createAgentGuideService } from "./agent-guide/agent-guide-service.mjs";
+import { ClaudeCodeAdapter, claudeCodeAdapter } from "./agent-guide/adapters/claude-code.mjs";
+import { CursorCLIAdapter, cursorCLIAdapter } from "./agent-guide/adapters/cursor-cli.mjs";
+import { GenericMCPAdapter, genericMCPAdapter } from "./agent-guide/adapters/generic-mcp.mjs";
+import { agentAdapters, getAgentAdapter, listAgentTypes } from "./agent-guide/adapters/index.mjs";
+import "./agent-guide/index.mjs";
+import { VerificationIssue, formatVerificationReport, verifyImplementationAgainstParsedSpec } from "./llm/verify-static.mjs";
+import { exportSpecForLLM, generateCursorRulesFromParsedSpec, generateFeatureContextMarkdown, generateGuideFromParsedSpec } from "./llm/index.mjs";
+import { AIGenerator } from "./create/ai-generator.mjs";
+import { generateOperationSpec } from "../templates/operation.template.mjs";
+import { generateEventSpec } from "../templates/event.template.mjs";
+import { generatePresentationSpec } from "../templates/presentation.template.mjs";
+import { generateWorkflowSpec } from "../templates/workflow.template.mjs";
+import { generateMigrationSpec } from "../templates/migration.template.mjs";
+import { generateTelemetrySpec } from "../templates/telemetry.template.mjs";
+import { generateExperimentSpec } from "../templates/experiment.template.mjs";
+import { generateAppBlueprintSpec } from "../templates/app-config.template.mjs";
+import { generateDataViewSpec } from "../templates/data-view.template.mjs";
+import { generateIntegrationSpec } from "../templates/integration.template.mjs";
+import { generateKnowledgeSpaceSpec } from "../templates/knowledge.template.mjs";
+import { generateComponentTemplate, generateHandlerTemplate, generateTestTemplate } from "../templates/handler.template.mjs";
+import { generateWorkflowRunnerTemplate } from "../templates/workflow-runner.template.mjs";
+import { FeatureSpecParams, generateFeatureSpec } from "../templates/feature.template.mjs";
+import { SpecCreatorService, createSpecCreator } from "./create/index.mjs";
+import { AIReviewResult, BehaviorCheck, FieldMapping, FieldMatchType, IntentAlignment, SemanticVerificationResult, StructureCheck, VerifyConfig, VerifyInput, VerifyOptions, VerifyResult } from "./verify/types.mjs";
+import { VerifyService, createVerifyService, verifyService } from "./verify/verify-service.mjs";
+import { verifyStructure } from "./verify/structure-verifier.mjs";
+import { verifyBehavior } from "./verify/behavior-verifier.mjs";
+import { createQuickAIReview, verifySemanticFields, verifyWithAI, verifyWithAIEnhanced } from "./verify/ai-verifier.mjs";
+import "./verify/index.mjs";
+import { DiscoveryOptions, ImplementationSource, ImplementationStatus, ResolvedImplementation, ResolverOptions, SpecImplementationResult, SpecReferenceMatch } from "./implementation/types.mjs";
+import { discoverAllImplementations, discoverImplementationsForSpec, extractSpecReferences, inferImplementationType } from "./implementation/discovery.mjs";
+import { getSpecKeyVariants, parseExplicitImplementations } from "./implementation/resolver/parsers.mjs";
+import { getConventionPaths, toKebabCase } from "./implementation/resolver/conventions.mjs";
+import { determineStatus, getImplementationSummary } from "./implementation/resolver/status.mjs";
+import { resolveAllImplementations, resolveImplementations } from "./implementation/resolver/index.mjs";
+import "./implementation/index.mjs";
+import { CacheEntryMeta, CacheKeyString, CacheLookupResult, CacheMissReason, CacheStats, CacheStorageAdapter, DEFAULT_CACHE_CONFIG, VerificationCacheConfig, VerificationCacheEntry, VerificationCacheKey } from "./verification-cache/types.mjs";
+import { VerificationCacheService, cacheKeyToString, computeContentHash, createVerificationCacheService, stringToCacheKey } from "./verification-cache/cache-service.mjs";
+import { InMemoryCacheStorage, createInMemoryCacheStorage } from "./verification-cache/adapters/in-memory.mjs";
+import { FileSystemCacheStorage, createFileSystemCacheStorage } from "./verification-cache/adapters/filesystem.mjs";
+import { KeyValueStore, WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage } from "./verification-cache/adapters/workspace-state.mjs";
+import "./verification-cache/index.mjs";
+import { PackageInstallResult, QuickstartDependency, QuickstartMode, QuickstartOptions, QuickstartPromptCallbacks, QuickstartResult } from "./quickstart/types.mjs";
+import { FULL_DEPENDENCIES, MINIMAL_DEPENDENCIES, getDependencies, getDevDependencies, getProductionDependencies } from "./quickstart/dependencies.mjs";
+import { formatQuickstartPreview, isContractSpecInstalled, runQuickstart } from "./quickstart/quickstart-service.mjs";
+import { DocsServiceOptions, DocsServiceResult, generateDocsFromSpecs } from "./docs/docs-service.mjs";
+import "./docs/index.mjs";
+import { index_d_exports as index_d_exports$1 } from "./impact/index.mjs";
+import { FormatterOptions, formatFiles } from "./formatter.mjs";
+import { SpecVersionAnalysis } from "./versioning/types.mjs";
+import { index_d_exports as index_d_exports$2 } from "./versioning/index.mjs";
+import { index_d_exports as index_d_exports$3 } from "./upgrade/index.mjs";
+import { index_d_exports as index_d_exports$4 } from "./hooks/index.mjs";
+import { RuleSyncService } from "./rulesync.mjs";
+import { index_d_exports as index_d_exports$5 } from "./fix/index.mjs";
+import { ViewAudience, generateView } from "./view/index.mjs";
+import { GapAnalysisResult, analyzeGap } from "./gap.mjs";
+import { GenerateArtifactsResult, generateArtifacts } from "./generate-artifacts.mjs";
+import { ExtractOptions, extractContracts } from "./extract.mjs";
+import { index_d_exports as index_d_exports$6 } from "./vibe/index.mjs";
+import { ImportServiceAdapters, ImportServiceOptions, ImportServiceResult, importFromSourceService } from "./import/import-service.mjs";
+import { EndpointVerification, VerificationIssue as VerificationIssue$1, VerifyOptions as VerifyOptions$1, VerifyResult as VerifyResult$1, verifyImportedContracts } from "./import/verify-service.mjs";
+import { ReportOptions, generateCliReport, generateMarkdownReport } from "./import/report-service.mjs";
+import "./import/index.mjs";