@contractspec/bundle.workspace 1.44.0

package/dist/services/doctor/checks/workspace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace.js","names":["results: CheckResult[]"],"sources":["../../../../src/services/doctor/checks/workspace.ts"],"sourcesContent":["/**\n * Workspace structure health checks.\n *\n * Monorepo-aware checks for contracts and output directories.\n */\n\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { CheckContext, CheckResult, FixResult } from '../types';\n\n/**\n * Common contract directory paths to check.\n */\nconst CONTRACT_PATHS = ['src/contracts', 'contracts', 'src/specs', 'specs'];\n\n/**\n * Run workspace-related health checks.\n */\nexport async function runWorkspaceChecks(\n  fs: FsAdapter,\n  ctx: CheckContext\n): Promise<CheckResult[]> {\n  const results: CheckResult[] = [];\n\n  // Check monorepo status first (informational)\n  results.push(checkMonorepoStatus(ctx));\n\n  // Check if this is a valid workspace (has package.json)\n  results.push(await checkValidWorkspace(fs, ctx));\n\n  // Check if contracts directory exists (monorepo-aware)\n  results.push(await checkContractsDirectory(fs, ctx));\n\n  // Check if any contract files exist\n  results.push(await checkContractFiles(fs, ctx));\n\n  // Check output directory (monorepo-aware)\n  results.push(await checkOutputDirectory(fs, ctx));\n\n  return results;\n}\n\n/**\n * Report monorepo detection status.\n */\nfunction checkMonorepoStatus(ctx: CheckContext): CheckResult {\n  if (ctx.isMonorepo) {\n    const pkgInfo = ctx.packageName ? ` in package \"${ctx.packageName}\"` : '';\n    const locationInfo =\n      ctx.packageRoot !== ctx.workspaceRoot\n        ? ` (package root: ${ctx.packageRoot})`\n        : '';\n    return {\n      category: 'workspace',\n      name: 'Monorepo Detection',\n      status: 'pass',\n      message: `Monorepo detected${pkgInfo}`,\n      details: ctx.verbose\n        ? `Workspace root: ${ctx.workspaceRoot}${locationInfo}`\n        : undefined,\n    };\n  }\n\n  return {\n    category: 'workspace',\n    name: 'Monorepo Detection',\n    status: 'pass',\n    message: 'Single project (not a monorepo)',\n  };\n}\n\n/**\n * Check if this is a valid workspace.\n */\nasync function checkValidWorkspace(\n  fs: FsAdapter,\n  ctx: CheckContext\n): Promise<CheckResult> {\n  // In monorepo, check both workspace root and package root\n  const pathsToCheck = ctx.isMonorepo\n    ? [ctx.packageRoot, ctx.workspaceRoot]\n    : [ctx.workspaceRoot];\n\n  for (const root of pathsToCheck) {\n    const packageJsonPath = fs.join(root, 'package.json');\n    if (await fs.exists(packageJsonPath)) {\n      return {\n        category: 'workspace',\n        name: 'Valid Workspace',\n        status: 'pass',\n        message: 'package.json found',\n        details:\n          ctx.verbose && ctx.isMonorepo ? `Found at: ${root}` : undefined,\n      };\n    }\n  }\n\n  return {\n    category: 'workspace',\n    name: 'Valid Workspace',\n    status: 'fail',\n    message: 'No package.json found',\n    details: 'This does not appear to be a Node.js/TypeScript project',\n  };\n}\n\n/**\n * Check if contracts directory exists.\n *\n * In monorepo: checks current package first, then workspace root.\n */\nasync function checkContractsDirectory(\n  fs: FsAdapter,\n  ctx: CheckContext\n): Promise<CheckResult> {\n  // Determine where to look and where to create\n  const searchRoots = ctx.isMonorepo\n    ? [ctx.packageRoot, ctx.workspaceRoot]\n    : [ctx.workspaceRoot];\n\n  // Prefer creating in package root for monorepos\n  const targetRoot = ctx.isMonorepo ? ctx.packageRoot : ctx.workspaceRoot;\n\n  // Check each possible location\n  for (const root of searchRoots) {\n    for (const path of CONTRACT_PATHS) {\n      const fullPath = fs.join(root, path);\n      if (await fs.exists(fullPath)) {\n        const relativeTo = root === ctx.packageRoot ? 'package' : 'workspace';\n        return {\n          category: 'workspace',\n          name: 'Contracts Directory',\n          status: 'pass',\n          message: `Contracts directory found: ${path}`,\n          details: ctx.isMonorepo ? `Found at ${relativeTo} level` : undefined,\n        };\n      }\n    }\n  }\n\n  // Not found - suggest creating in appropriate location\n  const createPath = ctx.isMonorepo ? 'src/contracts' : 'src/contracts';\n  const locationHint = ctx.isMonorepo\n    ? ` in package \"${ctx.packageName ?? ctx.packageRoot}\"`\n    : '';\n\n  return {\n    category: 'workspace',\n    name: 'Contracts Directory',\n    status: 'warn',\n    message: 'No contracts directory found',\n    details: `Create ${createPath}/${locationHint} to organize your specs`,\n    fix: {\n      description: `Create ${createPath}/ directory${locationHint}`,\n      apply: async (): Promise<FixResult> => {\n        try {\n          const contractsDir = fs.join(targetRoot, 'src', 'contracts');\n          await fs.mkdir(contractsDir);\n          return { success: true, message: `Created ${createPath}/` };\n        } catch (error) {\n          const msg = error instanceof Error ? error.message : String(error);\n          return { success: false, message: `Failed: ${msg}` };\n        }\n      },\n    },\n  };\n}\n\n/**\n * Check if any contract files exist.\n *\n * In monorepo: searches from current package root.\n */\nasync function checkContractFiles(\n  fs: FsAdapter,\n  ctx: CheckContext\n): Promise<CheckResult> {\n  try {\n    const patterns = [\n      '**/*.operation.ts',\n      '**/*.event.ts',\n      '**/*.presentation.ts',\n      '**/*.feature.ts',\n    ];\n\n    // In monorepo, search from package root; otherwise workspace root\n    const searchRoot = ctx.isMonorepo ? ctx.packageRoot : ctx.workspaceRoot;\n\n    const files = await fs.glob({\n      patterns,\n      ignore: ['node_modules/**', 'dist/**'],\n      cwd: searchRoot,\n    });\n\n    if (files.length > 0) {\n      const locationInfo = ctx.isMonorepo ? ' (in current package)' : '';\n      return {\n        category: 'workspace',\n        name: 'Contract Files',\n        status: 'pass',\n        message: `Found ${files.length} contract file(s)${locationInfo}`,\n        details: ctx.verbose ? files.slice(0, 5).join(', ') : undefined,\n      };\n    }\n\n    const hint = ctx.isMonorepo\n      ? `No contract files found in package \"${ctx.packageName ?? 'current'}\"`\n      : 'No contract files found';\n\n    return {\n      category: 'workspace',\n      name: 'Contract Files',\n      status: 'warn',\n      message: hint,\n      details: 'Create specs using \"contractspec create\" or VS Code command',\n    };\n  } catch {\n    return {\n      category: 'workspace',\n      name: 'Contract Files',\n      status: 'skip',\n      message: 'Could not search for contract files',\n    };\n  }\n}\n\n/**\n * Find the config file, checking package level first in monorepos.\n */\nasync function findConfigFile(\n  fs: FsAdapter,\n  ctx: CheckContext\n): Promise<{\n  path: string;\n  root: string;\n  level: 'package' | 'workspace';\n} | null> {\n  // In monorepo, check package level first\n  if (ctx.isMonorepo && ctx.packageRoot !== ctx.workspaceRoot) {\n    const pkgConfigPath = fs.join(ctx.packageRoot, '.contractsrc.json');\n    if (await fs.exists(pkgConfigPath)) {\n      return { path: pkgConfigPath, root: ctx.packageRoot, level: 'package' };\n    }\n  }\n\n  // Check workspace level\n  const wsConfigPath = fs.join(ctx.workspaceRoot, '.contractsrc.json');\n  if (await fs.exists(wsConfigPath)) {\n    return { path: wsConfigPath, root: ctx.workspaceRoot, level: 'workspace' };\n  }\n\n  return null;\n}\n\n/**\n * Check if output directory is configured and exists.\n *\n * In monorepo: checks package-level config first, then workspace-level.\n * Resolves outputDir relative to the config file location.\n */\nasync function checkOutputDirectory(\n  fs: FsAdapter,\n  ctx: CheckContext\n): Promise<CheckResult> {\n  try {\n    const configInfo = await findConfigFile(fs, ctx);\n\n    if (!configInfo) {\n      const hint = ctx.isMonorepo\n        ? 'No config file found at package or workspace level'\n        : 'No config file to check output directory';\n      return {\n        category: 'workspace',\n        name: 'Output Directory',\n        status: 'skip',\n        message: hint,\n      };\n    }\n\n    const content = await fs.readFile(configInfo.path);\n    const config = JSON.parse(content) as { outputDir?: string };\n\n    const outputDir = config.outputDir ?? './src';\n    // Resolve outputDir relative to the config file's directory\n    const outputPath = fs.join(configInfo.root, outputDir);\n\n    const levelInfo = ctx.isMonorepo ? ` (${configInfo.level} level)` : '';\n\n    const exists = await fs.exists(outputPath);\n    if (exists) {\n      return {\n        category: 'workspace',\n        name: 'Output Directory',\n        status: 'pass',\n        message: `Output directory exists: ${outputDir}${levelInfo}`,\n        details: ctx.verbose ? `Resolved to: ${outputPath}` : undefined,\n      };\n    }\n\n    return {\n      category: 'workspace',\n      name: 'Output Directory',\n      status: 'warn',\n      message: `Output directory not found: ${outputDir}${levelInfo}`,\n      details: ctx.verbose ? `Expected at: ${outputPath}` : undefined,\n      fix: {\n        description: `Create ${outputDir} directory`,\n        apply: async (): Promise<FixResult> => {\n          try {\n            await fs.mkdir(outputPath);\n            return { success: true, message: `Created ${outputDir}` };\n          } catch (error) {\n            const msg = error instanceof Error ? error.message : String(error);\n            return { success: false, message: `Failed: ${msg}` };\n          }\n        },\n      },\n    };\n  } catch {\n    return {\n      category: 'workspace',\n      name: 'Output Directory',\n      status: 'skip',\n      message: 'Could not check output directory',\n    };\n  }\n}\n"],"mappings":";;;;AAYA,MAAM,iBAAiB;CAAC;CAAiB;CAAa;CAAa;CAAQ;;;;AAK3E,eAAsB,mBACpB,IACA,KACwB;CACxB,MAAMA,UAAyB,EAAE;AAGjC,SAAQ,KAAK,oBAAoB,IAAI,CAAC;AAGtC,SAAQ,KAAK,MAAM,oBAAoB,IAAI,IAAI,CAAC;AAGhD,SAAQ,KAAK,MAAM,wBAAwB,IAAI,IAAI,CAAC;AAGpD,SAAQ,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC;AAG/C,SAAQ,KAAK,MAAM,qBAAqB,IAAI,IAAI,CAAC;AAEjD,QAAO;;;;;AAMT,SAAS,oBAAoB,KAAgC;AAC3D,KAAI,IAAI,YAAY;EAClB,MAAM,UAAU,IAAI,cAAc,gBAAgB,IAAI,YAAY,KAAK;EACvE,MAAM,eACJ,IAAI,gBAAgB,IAAI,gBACpB,mBAAmB,IAAI,YAAY,KACnC;AACN,SAAO;GACL,UAAU;GACV,MAAM;GACN,QAAQ;GACR,SAAS,oBAAoB;GAC7B,SAAS,IAAI,UACT,mBAAmB,IAAI,gBAAgB,iBACvC;GACL;;AAGH,QAAO;EACL,UAAU;EACV,MAAM;EACN,QAAQ;EACR,SAAS;EACV;;;;;AAMH,eAAe,oBACb,IACA,KACsB;CAEtB,MAAM,eAAe,IAAI,aACrB,CAAC,IAAI,aAAa,IAAI,cAAc,GACpC,CAAC,IAAI,cAAc;AAEvB,MAAK,MAAM,QAAQ,cAAc;EAC/B,MAAM,kBAAkB,GAAG,KAAK,MAAM,eAAe;AACrD,MAAI,MAAM,GAAG,OAAO,gBAAgB,CAClC,QAAO;GACL,UAAU;GACV,MAAM;GACN,QAAQ;GACR,SAAS;GACT,SACE,IAAI,WAAW,IAAI,aAAa,aAAa,SAAS;GACzD;;AAIL,QAAO;EACL,UAAU;EACV,MAAM;EACN,QAAQ;EACR,SAAS;EACT,SAAS;EACV;;;;;;;AAQH,eAAe,wBACb,IACA,KACsB;CAEtB,MAAM,cAAc,IAAI,aACpB,CAAC,IAAI,aAAa,IAAI,cAAc,GACpC,CAAC,IAAI,cAAc;CAGvB,MAAM,aAAa,IAAI,aAAa,IAAI,cAAc,IAAI;AAG1D,MAAK,MAAM,QAAQ,YACjB,MAAK,MAAM,QAAQ,gBAAgB;EACjC,MAAM,WAAW,GAAG,KAAK,MAAM,KAAK;AACpC,MAAI,MAAM,GAAG,OAAO,SAAS,EAAE;GAC7B,MAAM,aAAa,SAAS,IAAI,cAAc,YAAY;AAC1D,UAAO;IACL,UAAU;IACV,MAAM;IACN,QAAQ;IACR,SAAS,8BAA8B;IACvC,SAAS,IAAI,aAAa,YAAY,WAAW,UAAU;IAC5D;;;CAMP,MAAM,aAAa,IAAI,aAAa,kBAAkB;CACtD,MAAM,eAAe,IAAI,aACrB,gBAAgB,IAAI,eAAe,IAAI,YAAY,KACnD;AAEJ,QAAO;EACL,UAAU;EACV,MAAM;EACN,QAAQ;EACR,SAAS;EACT,SAAS,UAAU,WAAW,GAAG,aAAa;EAC9C,KAAK;GACH,aAAa,UAAU,WAAW,aAAa;GAC/C,OAAO,YAAgC;AACrC,QAAI;KACF,MAAM,eAAe,GAAG,KAAK,YAAY,OAAO,YAAY;AAC5D,WAAM,GAAG,MAAM,aAAa;AAC5B,YAAO;MAAE,SAAS;MAAM,SAAS,WAAW,WAAW;MAAI;aACpD,OAAO;AAEd,YAAO;MAAE,SAAS;MAAO,SAAS,WADtB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;MACd;;;GAGzD;EACF;;;;;;;AAQH,eAAe,mBACb,IACA,KACsB;AACtB,KAAI;EACF,MAAM,WAAW;GACf;GACA;GACA;GACA;GACD;EAGD,MAAM,aAAa,IAAI,aAAa,IAAI,cAAc,IAAI;EAE1D,MAAM,QAAQ,MAAM,GAAG,KAAK;GAC1B;GACA,QAAQ,CAAC,mBAAmB,UAAU;GACtC,KAAK;GACN,CAAC;AAEF,MAAI,MAAM,SAAS,GAAG;GACpB,MAAM,eAAe,IAAI,aAAa,0BAA0B;AAChE,UAAO;IACL,UAAU;IACV,MAAM;IACN,QAAQ;IACR,SAAS,SAAS,MAAM,OAAO,mBAAmB;IAClD,SAAS,IAAI,UAAU,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,KAAK,GAAG;IACvD;;AAOH,SAAO;GACL,UAAU;GACV,MAAM;GACN,QAAQ;GACR,SARW,IAAI,aACb,uCAAuC,IAAI,eAAe,UAAU,KACpE;GAOF,SAAS;GACV;SACK;AACN,SAAO;GACL,UAAU;GACV,MAAM;GACN,QAAQ;GACR,SAAS;GACV;;;;;;AAOL,eAAe,eACb,IACA,KAKQ;AAER,KAAI,IAAI,cAAc,IAAI,gBAAgB,IAAI,eAAe;EAC3D,MAAM,gBAAgB,GAAG,KAAK,IAAI,aAAa,oBAAoB;AACnE,MAAI,MAAM,GAAG,OAAO,cAAc,CAChC,QAAO;GAAE,MAAM;GAAe,MAAM,IAAI;GAAa,OAAO;GAAW;;CAK3E,MAAM,eAAe,GAAG,KAAK,IAAI,eAAe,oBAAoB;AACpE,KAAI,MAAM,GAAG,OAAO,aAAa,CAC/B,QAAO;EAAE,MAAM;EAAc,MAAM,IAAI;EAAe,OAAO;EAAa;AAG5E,QAAO;;;;;;;;AAST,eAAe,qBACb,IACA,KACsB;AACtB,KAAI;EACF,MAAM,aAAa,MAAM,eAAe,IAAI,IAAI;AAEhD,MAAI,CAAC,WAIH,QAAO;GACL,UAAU;GACV,MAAM;GACN,QAAQ;GACR,SAPW,IAAI,aACb,uDACA;GAMH;EAGH,MAAM,UAAU,MAAM,GAAG,SAAS,WAAW,KAAK;EAGlD,MAAM,YAFS,KAAK,MAAM,QAAQ,CAET,aAAa;EAEtC,MAAM,aAAa,GAAG,KAAK,WAAW,MAAM,UAAU;EAEtD,MAAM,YAAY,IAAI,aAAa,KAAK,WAAW,MAAM,WAAW;AAGpE,MADe,MAAM,GAAG,OAAO,WAAW,CAExC,QAAO;GACL,UAAU;GACV,MAAM;GACN,QAAQ;GACR,SAAS,4BAA4B,YAAY;GACjD,SAAS,IAAI,UAAU,gBAAgB,eAAe;GACvD;AAGH,SAAO;GACL,UAAU;GACV,MAAM;GACN,QAAQ;GACR,SAAS,+BAA+B,YAAY;GACpD,SAAS,IAAI,UAAU,gBAAgB,eAAe;GACtD,KAAK;IACH,aAAa,UAAU,UAAU;IACjC,OAAO,YAAgC;AACrC,SAAI;AACF,YAAM,GAAG,MAAM,WAAW;AAC1B,aAAO;OAAE,SAAS;OAAM,SAAS,WAAW;OAAa;cAClD,OAAO;AAEd,aAAO;OAAE,SAAS;OAAO,SAAS,WADtB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;OACd;;;IAGzD;GACF;SACK;AACN,SAAO;GACL,UAAU;GACV,MAAM;GACN,QAAQ;GACR,SAAS;GACV"}

package/dist/services/doctor/doctor-service.d.ts

@@ -0,0 +1,24 @@
+import { FsAdapter } from "../../ports/fs.js";
+import { LoggerAdapter } from "../../ports/logger.js";
+import { CheckResult, DoctorOptions, DoctorPromptCallbacks, DoctorResult } from "./types.js";
+
+//#region src/services/doctor/doctor-service.d.ts
+
+/**
+ * Run all health checks and optionally apply fixes.
+ */
+declare function runDoctor(adapters: {
+  fs: FsAdapter;
+  logger: LoggerAdapter;
+}, options: DoctorOptions, prompts?: DoctorPromptCallbacks): Promise<DoctorResult>;
+/**
+ * Get a summary string for the doctor result.
+ */
+declare function formatDoctorSummary(result: DoctorResult): string;
+/**
+ * Format a single check result for display.
+ */
+declare function formatCheckResult(result: CheckResult): string;
+//#endregion
+export { formatCheckResult, formatDoctorSummary, runDoctor };
+//# sourceMappingURL=doctor-service.d.ts.map

package/dist/services/doctor/doctor-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"doctor-service.d.ts","names":[],"sources":["../../../src/services/doctor/doctor-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;;AA+CG,iBAJmB,SAAA,CAInB,QAAA,EAAA;EAAO,EAAA,EAHQ,SAGR;EAkHM,MAAA,EArHqB,aAqHrB;AAyBhB,CAAA,EAAA,OAAgB,EA7IL,aA6IsB,EAAA,OAAoB,CAApB,EA5ItB,qBA4I0C,CAAA,EA3IlD,OA2IkD,CA3I1C,YA2I0C,CAAA;;;;iBAzBrC,mBAAA,SAA4B;;;;iBAyB5B,iBAAA,SAA0B"}

package/dist/services/doctor/doctor-service.js

@@ -0,0 +1,116 @@
+import { findPackageRoot, findWorkspaceRoot, getPackageName, isMonorepo } from "../../adapters/workspace.js";
+import { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS } from "./types.js";
+import { runCliChecks } from "./checks/cli.js";
+import { runConfigChecks } from "./checks/config.js";
+import { runMcpChecks } from "./checks/mcp.js";
+import { runDepsChecks } from "./checks/deps.js";
+import { runWorkspaceChecks } from "./checks/workspace.js";
+import { runAiChecks } from "./checks/ai.js";
+import "./checks/index.js";
+
+//#region src/services/doctor/doctor-service.ts
+/**
+* Default prompt callbacks that always decline fixes.
+*/
+const defaultPrompts = {
+	confirm: async () => false,
+	input: async () => ""
+};
+/**
+* Run all health checks and optionally apply fixes.
+*/
+async function runDoctor(adapters, options, prompts = defaultPrompts) {
+	const { fs, logger } = adapters;
+	const categories = options.categories ?? ALL_CHECK_CATEGORIES;
+	const workspaceRoot = findWorkspaceRoot(options.workspaceRoot);
+	const packageRoot = findPackageRoot(options.workspaceRoot);
+	const monorepo = isMonorepo(workspaceRoot);
+	const packageName = monorepo ? getPackageName(packageRoot) : void 0;
+	const ctx = {
+		workspaceRoot,
+		packageRoot,
+		isMonorepo: monorepo,
+		packageName,
+		verbose: options.verbose ?? false
+	};
+	if (monorepo) {
+		const pkgInfo = packageName ? ` (package: ${packageName})` : "";
+		logger.info(`Detected monorepo${pkgInfo}`);
+	}
+	const allResults = [];
+	for (const category of categories) {
+		if (options.skipAi && category === "ai") continue;
+		logger.info(`Checking ${CHECK_CATEGORY_LABELS[category]}...`);
+		const categoryResults = await runCategoryChecks(category, fs, ctx, prompts);
+		for (const result of categoryResults) {
+			if (result.fix && (result.status === "fail" || result.status === "warn")) {
+				if (options.autoFix ? true : await prompts.confirm(`Fix "${result.name}"? ${result.fix.description}`)) {
+					logger.info(`Applying fix: ${result.fix.description}`);
+					const fixResult = await result.fix.apply();
+					if (fixResult.success) {
+						logger.info(`✓ ${fixResult.message}`);
+						result.status = "pass";
+						result.message = `Fixed: ${fixResult.message}`;
+						result.fix = void 0;
+					} else logger.warn(`✗ ${fixResult.message}`);
+				}
+			}
+			allResults.push(result);
+		}
+	}
+	const passed = allResults.filter((r) => r.status === "pass").length;
+	const warnings = allResults.filter((r) => r.status === "warn").length;
+	const failures = allResults.filter((r) => r.status === "fail").length;
+	return {
+		checks: allResults,
+		passed,
+		warnings,
+		failures,
+		skipped: allResults.filter((r) => r.status === "skip").length,
+		healthy: failures === 0
+	};
+}
+/**
+* Run checks for a specific category.
+*/
+async function runCategoryChecks(category, fs, ctx, prompts) {
+	switch (category) {
+		case "cli": return runCliChecks(fs, ctx);
+		case "config": return runConfigChecks(fs, ctx);
+		case "mcp": return runMcpChecks(fs, ctx);
+		case "deps": return runDepsChecks(fs, ctx);
+		case "workspace": return runWorkspaceChecks(fs, ctx);
+		case "ai": return runAiChecks(fs, ctx, prompts);
+		default: return [];
+	}
+}
+/**
+* Get a summary string for the doctor result.
+*/
+function formatDoctorSummary(result) {
+	const lines = [];
+	lines.push("");
+	lines.push("=== Health Check Summary ===");
+	lines.push("");
+	if (result.healthy) lines.push("✓ All checks passed!");
+	else lines.push("✗ Some issues found");
+	lines.push("");
+	lines.push(`  Passed:   ${result.passed}`);
+	lines.push(`  Warnings: ${result.warnings}`);
+	lines.push(`  Failures: ${result.failures}`);
+	lines.push(`  Skipped:  ${result.skipped}`);
+	return lines.join("\n");
+}
+/**
+* Format a single check result for display.
+*/
+function formatCheckResult(result) {
+	let line = `${result.status === "pass" ? "✓" : result.status === "warn" ? "⚠" : result.status === "fail" ? "✗" : "○"} ${result.name}: ${result.message}`;
+	if (result.details) line += `\n    ${result.details}`;
+	if (result.fix) line += `\n    Fix available: ${result.fix.description}`;
+	return line;
+}
+
+//#endregion
+export { formatCheckResult, formatDoctorSummary, runDoctor };
+//# sourceMappingURL=doctor-service.js.map

package/dist/services/doctor/doctor-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"doctor-service.js","names":["defaultPrompts: DoctorPromptCallbacks","ctx: CheckContext","allResults: CheckResult[]","lines: string[]"],"sources":["../../../src/services/doctor/doctor-service.ts"],"sourcesContent":["/**\n * Doctor service.\n *\n * Orchestrates health checks and applies fixes.\n */\n\nimport type { FsAdapter } from '../../ports/fs';\nimport type { LoggerAdapter } from '../../ports/logger';\nimport type {\n  CheckCategory,\n  CheckResult,\n  CheckContext,\n  DoctorOptions,\n  DoctorResult,\n  DoctorPromptCallbacks,\n} from './types';\nimport { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS } from './types';\nimport {\n  runCliChecks,\n  runConfigChecks,\n  runMcpChecks,\n  runDepsChecks,\n  runWorkspaceChecks,\n  runAiChecks,\n} from './checks/index';\nimport {\n  findPackageRoot,\n  findWorkspaceRoot,\n  isMonorepo,\n  getPackageName,\n} from '../../adapters/workspace';\n\n/**\n * Default prompt callbacks that always decline fixes.\n */\nconst defaultPrompts: DoctorPromptCallbacks = {\n  confirm: async () => false,\n  input: async () => '',\n};\n\n/**\n * Run all health checks and optionally apply fixes.\n */\nexport async function runDoctor(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  options: DoctorOptions,\n  prompts: DoctorPromptCallbacks = defaultPrompts\n): Promise<DoctorResult> {\n  const { fs, logger } = adapters;\n  const categories = options.categories ?? ALL_CHECK_CATEGORIES;\n\n  // Detect monorepo context\n  const workspaceRoot = findWorkspaceRoot(options.workspaceRoot);\n  const packageRoot = findPackageRoot(options.workspaceRoot);\n  const monorepo = isMonorepo(workspaceRoot);\n  const packageName = monorepo ? getPackageName(packageRoot) : undefined;\n\n  const ctx: CheckContext = {\n    workspaceRoot,\n    packageRoot,\n    isMonorepo: monorepo,\n    packageName,\n    verbose: options.verbose ?? false,\n  };\n\n  // Log monorepo context if detected\n  if (monorepo) {\n    const pkgInfo = packageName ? ` (package: ${packageName})` : '';\n    logger.info(`Detected monorepo${pkgInfo}`);\n  }\n\n  const allResults: CheckResult[] = [];\n\n  // Run checks for each category\n  for (const category of categories) {\n    if (options.skipAi && category === 'ai') {\n      continue;\n    }\n\n    logger.info(`Checking ${CHECK_CATEGORY_LABELS[category]}...`);\n\n    const categoryResults = await runCategoryChecks(category, fs, ctx, prompts);\n\n    // Apply fixes if enabled\n    for (const result of categoryResults) {\n      if (\n        result.fix &&\n        (result.status === 'fail' || result.status === 'warn')\n      ) {\n        const shouldFix = options.autoFix\n          ? true\n          : await prompts.confirm(\n              `Fix \"${result.name}\"? ${result.fix.description}`\n            );\n\n        if (shouldFix) {\n          logger.info(`Applying fix: ${result.fix.description}`);\n          const fixResult = await result.fix.apply();\n\n          if (fixResult.success) {\n            logger.info(`✓ ${fixResult.message}`);\n            // Update status to pass after successful fix\n            result.status = 'pass';\n            result.message = `Fixed: ${fixResult.message}`;\n            result.fix = undefined;\n          } else {\n            logger.warn(`✗ ${fixResult.message}`);\n          }\n        }\n      }\n\n      allResults.push(result);\n    }\n  }\n\n  // Calculate summary\n  const passed = allResults.filter((r) => r.status === 'pass').length;\n  const warnings = allResults.filter((r) => r.status === 'warn').length;\n  const failures = allResults.filter((r) => r.status === 'fail').length;\n  const skipped = allResults.filter((r) => r.status === 'skip').length;\n\n  return {\n    checks: allResults,\n    passed,\n    warnings,\n    failures,\n    skipped,\n    healthy: failures === 0,\n  };\n}\n\n/**\n * Run checks for a specific category.\n */\nasync function runCategoryChecks(\n  category: CheckCategory,\n  fs: FsAdapter,\n  ctx: CheckContext,\n  prompts: DoctorPromptCallbacks\n): Promise<CheckResult[]> {\n  switch (category) {\n    case 'cli':\n      return runCliChecks(fs, ctx);\n    case 'config':\n      return runConfigChecks(fs, ctx);\n    case 'mcp':\n      return runMcpChecks(fs, ctx);\n    case 'deps':\n      return runDepsChecks(fs, ctx);\n    case 'workspace':\n      return runWorkspaceChecks(fs, ctx);\n    case 'ai':\n      return runAiChecks(fs, ctx, prompts);\n    default:\n      return [];\n  }\n}\n\n/**\n * Get a summary string for the doctor result.\n */\nexport function formatDoctorSummary(result: DoctorResult): string {\n  const lines: string[] = [];\n\n  lines.push('');\n  lines.push('=== Health Check Summary ===');\n  lines.push('');\n\n  if (result.healthy) {\n    lines.push('✓ All checks passed!');\n  } else {\n    lines.push('✗ Some issues found');\n  }\n\n  lines.push('');\n  lines.push(`  Passed:   ${result.passed}`);\n  lines.push(`  Warnings: ${result.warnings}`);\n  lines.push(`  Failures: ${result.failures}`);\n  lines.push(`  Skipped:  ${result.skipped}`);\n\n  return lines.join('\\n');\n}\n\n/**\n * Format a single check result for display.\n */\nexport function formatCheckResult(result: CheckResult): string {\n  const icon =\n    result.status === 'pass'\n      ? '✓'\n      : result.status === 'warn'\n        ? '⚠'\n        : result.status === 'fail'\n          ? '✗'\n          : '○';\n\n  let line = `${icon} ${result.name}: ${result.message}`;\n\n  if (result.details) {\n    line += `\\n    ${result.details}`;\n  }\n\n  if (result.fix) {\n    line += `\\n    Fix available: ${result.fix.description}`;\n  }\n\n  return line;\n}\n"],"mappings":";;;;;;;;;;;;;;AAmCA,MAAMA,iBAAwC;CAC5C,SAAS,YAAY;CACrB,OAAO,YAAY;CACpB;;;;AAKD,eAAsB,UACpB,UACA,SACA,UAAiC,gBACV;CACvB,MAAM,EAAE,IAAI,WAAW;CACvB,MAAM,aAAa,QAAQ,cAAc;CAGzC,MAAM,gBAAgB,kBAAkB,QAAQ,cAAc;CAC9D,MAAM,cAAc,gBAAgB,QAAQ,cAAc;CAC1D,MAAM,WAAW,WAAW,cAAc;CAC1C,MAAM,cAAc,WAAW,eAAe,YAAY,GAAG;CAE7D,MAAMC,MAAoB;EACxB;EACA;EACA,YAAY;EACZ;EACA,SAAS,QAAQ,WAAW;EAC7B;AAGD,KAAI,UAAU;EACZ,MAAM,UAAU,cAAc,cAAc,YAAY,KAAK;AAC7D,SAAO,KAAK,oBAAoB,UAAU;;CAG5C,MAAMC,aAA4B,EAAE;AAGpC,MAAK,MAAM,YAAY,YAAY;AACjC,MAAI,QAAQ,UAAU,aAAa,KACjC;AAGF,SAAO,KAAK,YAAY,sBAAsB,UAAU,KAAK;EAE7D,MAAM,kBAAkB,MAAM,kBAAkB,UAAU,IAAI,KAAK,QAAQ;AAG3E,OAAK,MAAM,UAAU,iBAAiB;AACpC,OACE,OAAO,QACN,OAAO,WAAW,UAAU,OAAO,WAAW,SAQ/C;QANkB,QAAQ,UACtB,OACA,MAAM,QAAQ,QACZ,QAAQ,OAAO,KAAK,KAAK,OAAO,IAAI,cACrC,EAEU;AACb,YAAO,KAAK,iBAAiB,OAAO,IAAI,cAAc;KACtD,MAAM,YAAY,MAAM,OAAO,IAAI,OAAO;AAE1C,SAAI,UAAU,SAAS;AACrB,aAAO,KAAK,KAAK,UAAU,UAAU;AAErC,aAAO,SAAS;AAChB,aAAO,UAAU,UAAU,UAAU;AACrC,aAAO,MAAM;WAEb,QAAO,KAAK,KAAK,UAAU,UAAU;;;AAK3C,cAAW,KAAK,OAAO;;;CAK3B,MAAM,SAAS,WAAW,QAAQ,MAAM,EAAE,WAAW,OAAO,CAAC;CAC7D,MAAM,WAAW,WAAW,QAAQ,MAAM,EAAE,WAAW,OAAO,CAAC;CAC/D,MAAM,WAAW,WAAW,QAAQ,MAAM,EAAE,WAAW,OAAO,CAAC;AAG/D,QAAO;EACL,QAAQ;EACR;EACA;EACA;EACA,SAPc,WAAW,QAAQ,MAAM,EAAE,WAAW,OAAO,CAAC;EAQ5D,SAAS,aAAa;EACvB;;;;;AAMH,eAAe,kBACb,UACA,IACA,KACA,SACwB;AACxB,SAAQ,UAAR;EACE,KAAK,MACH,QAAO,aAAa,IAAI,IAAI;EAC9B,KAAK,SACH,QAAO,gBAAgB,IAAI,IAAI;EACjC,KAAK,MACH,QAAO,aAAa,IAAI,IAAI;EAC9B,KAAK,OACH,QAAO,cAAc,IAAI,IAAI;EAC/B,KAAK,YACH,QAAO,mBAAmB,IAAI,IAAI;EACpC,KAAK,KACH,QAAO,YAAY,IAAI,KAAK,QAAQ;EACtC,QACE,QAAO,EAAE;;;;;;AAOf,SAAgB,oBAAoB,QAA8B;CAChE,MAAMC,QAAkB,EAAE;AAE1B,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,+BAA+B;AAC1C,OAAM,KAAK,GAAG;AAEd,KAAI,OAAO,QACT,OAAM,KAAK,uBAAuB;KAElC,OAAM,KAAK,sBAAsB;AAGnC,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,eAAe,OAAO,SAAS;AAC1C,OAAM,KAAK,eAAe,OAAO,WAAW;AAC5C,OAAM,KAAK,eAAe,OAAO,WAAW;AAC5C,OAAM,KAAK,eAAe,OAAO,UAAU;AAE3C,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,kBAAkB,QAA6B;CAU7D,IAAI,OAAO,GART,OAAO,WAAW,SACd,MACA,OAAO,WAAW,SAChB,MACA,OAAO,WAAW,SAChB,MACA,IAES,GAAG,OAAO,KAAK,IAAI,OAAO;AAE7C,KAAI,OAAO,QACT,SAAQ,SAAS,OAAO;AAG1B,KAAI,OAAO,IACT,SAAQ,wBAAwB,OAAO,IAAI;AAG7C,QAAO"}

package/dist/services/doctor/index.d.ts

@@ -0,0 +1,2 @@
+import { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS, CheckCategory, CheckContext, CheckResult, CheckStatus, DoctorOptions, DoctorPromptCallbacks, DoctorResult, FixAction, FixResult } from "./types.js";
+import { formatCheckResult, formatDoctorSummary, runDoctor } from "./doctor-service.js";

package/dist/services/doctor/index.js

@@ -0,0 +1,2 @@
+import { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS } from "./types.js";
+import { formatCheckResult, formatDoctorSummary, runDoctor } from "./doctor-service.js";

package/dist/services/doctor/types.d.ts

@@ -0,0 +1,118 @@
+//#region src/services/doctor/types.d.ts
+/**
+ * Doctor service types.
+ *
+ * Types for health checks and auto-fix functionality.
+ */
+/**
+ * Categories of health checks.
+ */
+type CheckCategory = 'cli' | 'config' | 'mcp' | 'deps' | 'workspace' | 'ai';
+/**
+ * All available check categories.
+ */
+declare const ALL_CHECK_CATEGORIES: CheckCategory[];
+/**
+ * Human-readable labels for check categories.
+ */
+declare const CHECK_CATEGORY_LABELS: Record<CheckCategory, string>;
+/**
+ * Status of a health check.
+ */
+type CheckStatus = 'pass' | 'warn' | 'fail' | 'skip';
+/**
+ * Result of applying a fix.
+ */
+interface FixResult {
+  /** Whether the fix was successful. */
+  success: boolean;
+  /** Message describing the result. */
+  message: string;
+}
+/**
+ * An action that can fix a failed check.
+ */
+interface FixAction {
+  /** Description of what the fix will do. */
+  description: string;
+  /** Function to apply the fix. */
+  apply: () => Promise<FixResult>;
+}
+/**
+ * Result of a single health check.
+ */
+interface CheckResult {
+  /** Category of the check. */
+  category: CheckCategory;
+  /** Name of the specific check. */
+  name: string;
+  /** Status of the check. */
+  status: CheckStatus;
+  /** Human-readable message. */
+  message: string;
+  /** Optional fix action if status is 'fail' or 'warn'. */
+  fix?: FixAction;
+  /** Additional details for debugging. */
+  details?: string;
+}
+/**
+ * Options for running the doctor.
+ */
+interface DoctorOptions {
+  /** Root directory of the workspace. */
+  workspaceRoot: string;
+  /** Categories to check (defaults to all). */
+  categories?: CheckCategory[];
+  /** If true, auto-apply fixes without prompting. */
+  autoFix?: boolean;
+  /** Skip AI provider checks. */
+  skipAi?: boolean;
+  /** Verbose output. */
+  verbose?: boolean;
+}
+/**
+ * Summary of doctor results.
+ */
+interface DoctorResult {
+  /** All check results. */
+  checks: CheckResult[];
+  /** Number of passing checks. */
+  passed: number;
+  /** Number of warnings. */
+  warnings: number;
+  /** Number of failures. */
+  failures: number;
+  /** Number of skipped checks. */
+  skipped: number;
+  /** Overall health status. */
+  healthy: boolean;
+}
+/**
+ * Callback for interactive prompts during doctor.
+ */
+interface DoctorPromptCallbacks {
+  /** Confirm a fix action. */
+  confirm: (message: string) => Promise<boolean>;
+  /** Input a value (e.g., API key). */
+  input: (message: string, options?: {
+    password?: boolean;
+  }) => Promise<string>;
+}
+/**
+ * Context passed to check functions.
+ */
+interface CheckContext {
+  /** Workspace root path (monorepo root or single project root). */
+  workspaceRoot: string;
+  /** Current package root (may differ from workspaceRoot in monorepos). */
+  packageRoot: string;
+  /** Whether this is a monorepo. */
+  isMonorepo: boolean;
+  /** Current package name (if in a monorepo package). */
+  packageName?: string;
+  /** Whether verbose output is enabled. */
+  verbose: boolean;
+}
+//#endregion
+export { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS, CheckCategory, CheckContext, CheckResult, CheckStatus, DoctorOptions, DoctorPromptCallbacks, DoctorResult, FixAction, FixResult };
+//# sourceMappingURL=types.d.ts.map

package/dist/services/doctor/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","names":[],"sources":["../../../src/services/doctor/types.ts"],"sourcesContent":[],"mappings":";;AASA;AAWA;AAYA;AAYA;AAKA;AAUA;AAUA;AAEY,KA9DA,aAAA,GA8DA,KAAA,GAAA,QAAA,GAAA,KAAA,GAAA,MAAA,GAAA,WAAA,GAAA,IAAA;;;;AAgBK,cAnEJ,oBAuEE,EAvEoB,aAuEP,EAAA;AAY5B;AAkBA;AAUA;cAnGa,uBAAuB,OAAO;;;;KAY/B,WAAA;;;;UAKK,SAAA;;;;;;;;;UAUA,SAAA;;;;eAIF,QAAQ;;;;;UAMN,WAAA;;YAEL;;;;UAIF;;;;QAIF;;;;;;;UAQS,aAAA;;;;eAIF;;;;;;;;;;;UAYE,YAAA;;UAEP;;;;;;;;;;;;;;;UAgBO,qBAAA;;gCAEe;;;;QAEgC;;;;;UAM/C,YAAA"}

package/dist/services/doctor/types.js

@@ -0,0 +1,27 @@
+//#region src/services/doctor/types.ts
+/**
+* All available check categories.
+*/
+const ALL_CHECK_CATEGORIES = [
+	"cli",
+	"config",
+	"mcp",
+	"deps",
+	"workspace",
+	"ai"
+];
+/**
+* Human-readable labels for check categories.
+*/
+const CHECK_CATEGORY_LABELS = {
+	cli: "CLI Installation",
+	config: "Configuration Files",
+	mcp: "MCP Server",
+	deps: "Dependencies",
+	workspace: "Workspace Structure",
+	ai: "AI Provider"
+};
+
+//#endregion
+export { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS };
+//# sourceMappingURL=types.js.map

package/dist/services/doctor/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","names":["ALL_CHECK_CATEGORIES: CheckCategory[]","CHECK_CATEGORY_LABELS: Record<CheckCategory, string>"],"sources":["../../../src/services/doctor/types.ts"],"sourcesContent":["/**\n * Doctor service types.\n *\n * Types for health checks and auto-fix functionality.\n */\n\n/**\n * Categories of health checks.\n */\nexport type CheckCategory =\n  | 'cli'\n  | 'config'\n  | 'mcp'\n  | 'deps'\n  | 'workspace'\n  | 'ai';\n\n/**\n * All available check categories.\n */\nexport const ALL_CHECK_CATEGORIES: CheckCategory[] = [\n  'cli',\n  'config',\n  'mcp',\n  'deps',\n  'workspace',\n  'ai',\n];\n\n/**\n * Human-readable labels for check categories.\n */\nexport const CHECK_CATEGORY_LABELS: Record<CheckCategory, string> = {\n  cli: 'CLI Installation',\n  config: 'Configuration Files',\n  mcp: 'MCP Server',\n  deps: 'Dependencies',\n  workspace: 'Workspace Structure',\n  ai: 'AI Provider',\n};\n\n/**\n * Status of a health check.\n */\nexport type CheckStatus = 'pass' | 'warn' | 'fail' | 'skip';\n\n/**\n * Result of applying a fix.\n */\nexport interface FixResult {\n  /** Whether the fix was successful. */\n  success: boolean;\n  /** Message describing the result. */\n  message: string;\n}\n\n/**\n * An action that can fix a failed check.\n */\nexport interface FixAction {\n  /** Description of what the fix will do. */\n  description: string;\n  /** Function to apply the fix. */\n  apply: () => Promise<FixResult>;\n}\n\n/**\n * Result of a single health check.\n */\nexport interface CheckResult {\n  /** Category of the check. */\n  category: CheckCategory;\n  /** Name of the specific check. */\n  name: string;\n  /** Status of the check. */\n  status: CheckStatus;\n  /** Human-readable message. */\n  message: string;\n  /** Optional fix action if status is 'fail' or 'warn'. */\n  fix?: FixAction;\n  /** Additional details for debugging. */\n  details?: string;\n}\n\n/**\n * Options for running the doctor.\n */\nexport interface DoctorOptions {\n  /** Root directory of the workspace. */\n  workspaceRoot: string;\n  /** Categories to check (defaults to all). */\n  categories?: CheckCategory[];\n  /** If true, auto-apply fixes without prompting. */\n  autoFix?: boolean;\n  /** Skip AI provider checks. */\n  skipAi?: boolean;\n  /** Verbose output. */\n  verbose?: boolean;\n}\n\n/**\n * Summary of doctor results.\n */\nexport interface DoctorResult {\n  /** All check results. */\n  checks: CheckResult[];\n  /** Number of passing checks. */\n  passed: number;\n  /** Number of warnings. */\n  warnings: number;\n  /** Number of failures. */\n  failures: number;\n  /** Number of skipped checks. */\n  skipped: number;\n  /** Overall health status. */\n  healthy: boolean;\n}\n\n/**\n * Callback for interactive prompts during doctor.\n */\nexport interface DoctorPromptCallbacks {\n  /** Confirm a fix action. */\n  confirm: (message: string) => Promise<boolean>;\n  /** Input a value (e.g., API key). */\n  input: (message: string, options?: { password?: boolean }) => Promise<string>;\n}\n\n/**\n * Context passed to check functions.\n */\nexport interface CheckContext {\n  /** Workspace root path (monorepo root or single project root). */\n  workspaceRoot: string;\n  /** Current package root (may differ from workspaceRoot in monorepos). */\n  packageRoot: string;\n  /** Whether this is a monorepo. */\n  isMonorepo: boolean;\n  /** Current package name (if in a monorepo package). */\n  packageName?: string;\n  /** Whether verbose output is enabled. */\n  verbose: boolean;\n}\n"],"mappings":";;;;AAoBA,MAAaA,uBAAwC;CACnD;CACA;CACA;CACA;CACA;CACA;CACD;;;;AAKD,MAAaC,wBAAuD;CAClE,KAAK;CACL,QAAQ;CACR,KAAK;CACL,MAAM;CACN,WAAW;CACX,IAAI;CACL"}

package/dist/services/impact/formatters.d.ts

@@ -0,0 +1,27 @@
+import { CheckRunPayload, PrCommentOptions } from "./types.js";
+import { index_d_exports } from "../../index.js";
+
+//#region src/services/impact/formatters.d.ts
+
+/**
+ * Format impact result as a PR comment (markdown).
+ */
+declare function formatPrComment(result: index_d_exports.ImpactResult, options?: PrCommentOptions): string;
+/**
+ * Format impact result for minimal PR comment.
+ */
+declare function formatMinimalComment(result: index_d_exports.ImpactResult): string;
+/**
+ * Format impact result as GitHub check run payload.
+ */
+declare function formatCheckRun(result: index_d_exports.ImpactResult, headSha: string, options?: {
+  key?: string;
+  failOnBreaking?: boolean;
+}): CheckRunPayload;
+/**
+ * Format impact result as JSON.
+ */
+declare function formatJson(result: index_d_exports.ImpactResult): string;
+//#endregion
+export { formatCheckRun, formatJson, formatMinimalComment, formatPrComment };
+//# sourceMappingURL=formatters.d.ts.map

package/dist/services/impact/formatters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatters.d.ts","names":[],"sources":["../../../src/services/impact/formatters.ts"],"sourcesContent":[],"mappings":";;;;;;;;iBAegB,eAAA,SACN,eAAA,CAAA,wBACC;;;;iBAyGK,oBAAA,SAA6B,eAAA,CAAA;;;;iBAa7B,cAAA,SACN,eAAA,CAAA;;;IAGP;;;;iBA2Ca,UAAA,SAAmB,eAAA,CAAA"}

package/dist/services/impact/formatters.js

@@ -0,0 +1,111 @@
+//#region src/services/impact/formatters.ts
+/**
+* Format impact result as a PR comment (markdown).
+*/
+function formatPrComment(result, options = { template: "detailed" }) {
+	const lines = [];
+	lines.push("## 📋 ContractSpec Impact Analysis");
+	lines.push("");
+	if (result.hasBreaking) lines.push("❌ **Breaking changes detected**");
+	else if (result.hasNonBreaking) lines.push("⚠️ **Contract changed (non-breaking)**");
+	else lines.push("✅ **No contract impact**");
+	lines.push("");
+	if (result.summary.breaking > 0 || result.summary.nonBreaking > 0 || result.summary.info > 0) {
+		lines.push("### Summary");
+		lines.push("");
+		lines.push(`| Type | Count |`);
+		lines.push(`|------|-------|`);
+		if (result.summary.breaking > 0) lines.push(`| 🔴 Breaking | ${result.summary.breaking} |`);
+		if (result.summary.nonBreaking > 0) lines.push(`| 🟡 Non-breaking | ${result.summary.nonBreaking} |`);
+		if (result.summary.info > 0) lines.push(`| 🔵 Info | ${result.summary.info} |`);
+		if (result.summary.added > 0) lines.push(`| ➕ Added | ${result.summary.added} |`);
+		if (result.summary.removed > 0) lines.push(`| ➖ Removed | ${result.summary.removed} |`);
+		lines.push("");
+	}
+	if (options.template === "detailed" && result.deltas.length > 0) {
+		lines.push("### Changes");
+		lines.push("");
+		const breaking = result.deltas.filter((d) => d.severity === "breaking");
+		const nonBreaking = result.deltas.filter((d) => d.severity === "non_breaking");
+		if (breaking.length > 0) {
+			lines.push("#### 🔴 Breaking Changes");
+			lines.push("");
+			for (const delta of breaking) lines.push(`- **${delta.specKey}**: ${delta.description}`);
+			lines.push("");
+		}
+		if (nonBreaking.length > 0) {
+			lines.push("#### 🟡 Non-breaking Changes");
+			lines.push("");
+			for (const delta of nonBreaking) lines.push(`- **${delta.specKey}**: ${delta.description}`);
+			lines.push("");
+		}
+	}
+	if (result.addedSpecs.length > 0) {
+		lines.push("### Added Specs");
+		lines.push("");
+		for (const spec of result.addedSpecs) lines.push(`- \`${spec.key}\` v${spec.version} (${spec.type})`);
+		lines.push("");
+	}
+	if (result.removedSpecs.length > 0) {
+		lines.push("### Removed Specs");
+		lines.push("");
+		for (const spec of result.removedSpecs) lines.push(`- \`${spec.key}\` v${spec.version} (${spec.type})`);
+		lines.push("");
+	}
+	lines.push("---");
+	lines.push(`*Generated by ContractSpec at ${result.timestamp}*`);
+	return lines.join("\n");
+}
+/**
+* Format impact result for minimal PR comment.
+*/
+function formatMinimalComment(result) {
+	if (result.hasBreaking) return `❌ **Breaking changes detected** (${result.summary.breaking} breaking, ${result.summary.nonBreaking} non-breaking)`;
+	if (result.hasNonBreaking) return `⚠️ **Contract changed** (${result.summary.nonBreaking} non-breaking changes)`;
+	return "✅ **No contract impact**";
+}
+/**
+* Format impact result as GitHub check run payload.
+*/
+function formatCheckRun(result, headSha, options = {}) {
+	const name = options.key ?? "ContractSpec Impact";
+	const failOnBreaking = options.failOnBreaking ?? true;
+	let conclusion;
+	let title;
+	if (result.hasBreaking) {
+		conclusion = failOnBreaking ? "failure" : "neutral";
+		title = `Breaking changes detected (${result.summary.breaking})`;
+	} else if (result.hasNonBreaking) {
+		conclusion = "success";
+		title = `Non-breaking changes (${result.summary.nonBreaking})`;
+	} else {
+		conclusion = "success";
+		title = "No contract impact";
+	}
+	const summary = formatMinimalComment(result);
+	return {
+		name,
+		headSha,
+		conclusion,
+		title,
+		summary,
+		annotations: result.deltas.filter((d) => d.severity === "breaking").slice(0, 50).map((d) => ({
+			path: d.path,
+			startLine: 1,
+			endLine: 1,
+			annotationLevel: "failure",
+			message: d.description,
+			title: `Breaking: ${d.rule}`
+		}))
+	};
+}
+/**
+* Format impact result as JSON.
+*/
+function formatJson(result) {
+	return JSON.stringify(result, null, 2);
+}
+
+//#endregion
+export { formatCheckRun, formatJson, formatMinimalComment, formatPrComment };
+//# sourceMappingURL=formatters.js.map

package/dist/services/impact/formatters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatters.js","names":["lines: string[]","conclusion: 'success' | 'failure' | 'neutral'","title: string"],"sources":["../../../src/services/impact/formatters.ts"],"sourcesContent":["/**\n * Impact result formatters.\n *\n * Formats impact detection results for various outputs:\n * - PR comments (markdown)\n * - GitHub check runs\n * - JSON output\n */\n\nimport type { ImpactResult } from '../../index';\nimport type { CheckRunPayload, PrCommentOptions } from './types';\n\n/**\n * Format impact result as a PR comment (markdown).\n */\nexport function formatPrComment(\n  result: ImpactResult,\n  options: PrCommentOptions = { template: 'detailed' }\n): string {\n  const lines: string[] = [];\n\n  // Header with status\n  lines.push('## 📋 ContractSpec Impact Analysis');\n  lines.push('');\n\n  // Status badge\n  if (result.hasBreaking) {\n    lines.push('❌ **Breaking changes detected**');\n  } else if (result.hasNonBreaking) {\n    lines.push('⚠️ **Contract changed (non-breaking)**');\n  } else {\n    lines.push('✅ **No contract impact**');\n  }\n  lines.push('');\n\n  // Summary\n  if (\n    result.summary.breaking > 0 ||\n    result.summary.nonBreaking > 0 ||\n    result.summary.info > 0\n  ) {\n    lines.push('### Summary');\n    lines.push('');\n    lines.push(`| Type | Count |`);\n    lines.push(`|------|-------|`);\n    if (result.summary.breaking > 0) {\n      lines.push(`| 🔴 Breaking | ${result.summary.breaking} |`);\n    }\n    if (result.summary.nonBreaking > 0) {\n      lines.push(`| 🟡 Non-breaking | ${result.summary.nonBreaking} |`);\n    }\n    if (result.summary.info > 0) {\n      lines.push(`| 🔵 Info | ${result.summary.info} |`);\n    }\n    if (result.summary.added > 0) {\n      lines.push(`| ➕ Added | ${result.summary.added} |`);\n    }\n    if (result.summary.removed > 0) {\n      lines.push(`| ➖ Removed | ${result.summary.removed} |`);\n    }\n    lines.push('');\n  }\n\n  // Detailed changes (if detailed template)\n  if (options.template === 'detailed' && result.deltas.length > 0) {\n    lines.push('### Changes');\n    lines.push('');\n\n    // Group by severity\n    const breaking = result.deltas.filter((d) => d.severity === 'breaking');\n    const nonBreaking = result.deltas.filter(\n      (d) => d.severity === 'non_breaking'\n    );\n\n    if (breaking.length > 0) {\n      lines.push('#### 🔴 Breaking Changes');\n      lines.push('');\n      for (const delta of breaking) {\n        lines.push(`- **${delta.specKey}**: ${delta.description}`);\n      }\n      lines.push('');\n    }\n\n    if (nonBreaking.length > 0) {\n      lines.push('#### 🟡 Non-breaking Changes');\n      lines.push('');\n      for (const delta of nonBreaking) {\n        lines.push(`- **${delta.specKey}**: ${delta.description}`);\n      }\n      lines.push('');\n    }\n  }\n\n  // Added/removed specs\n  if (result.addedSpecs.length > 0) {\n    lines.push('### Added Specs');\n    lines.push('');\n    for (const spec of result.addedSpecs) {\n      lines.push(`- \\`${spec.key}\\` v${spec.version} (${spec.type})`);\n    }\n    lines.push('');\n  }\n\n  if (result.removedSpecs.length > 0) {\n    lines.push('### Removed Specs');\n    lines.push('');\n    for (const spec of result.removedSpecs) {\n      lines.push(`- \\`${spec.key}\\` v${spec.version} (${spec.type})`);\n    }\n    lines.push('');\n  }\n\n  // Footer\n  lines.push('---');\n  lines.push(`*Generated by ContractSpec at ${result.timestamp}*`);\n\n  return lines.join('\\n');\n}\n\n/**\n * Format impact result for minimal PR comment.\n */\nexport function formatMinimalComment(result: ImpactResult): string {\n  if (result.hasBreaking) {\n    return `❌ **Breaking changes detected** (${result.summary.breaking} breaking, ${result.summary.nonBreaking} non-breaking)`;\n  }\n  if (result.hasNonBreaking) {\n    return `⚠️ **Contract changed** (${result.summary.nonBreaking} non-breaking changes)`;\n  }\n  return '✅ **No contract impact**';\n}\n\n/**\n * Format impact result as GitHub check run payload.\n */\nexport function formatCheckRun(\n  result: ImpactResult,\n  headSha: string,\n  options: { key?: string; failOnBreaking?: boolean } = {}\n): CheckRunPayload {\n  const name = options.key ?? 'ContractSpec Impact';\n  const failOnBreaking = options.failOnBreaking ?? true;\n\n  let conclusion: 'success' | 'failure' | 'neutral';\n  let title: string;\n\n  if (result.hasBreaking) {\n    conclusion = failOnBreaking ? 'failure' : 'neutral';\n    title = `Breaking changes detected (${result.summary.breaking})`;\n  } else if (result.hasNonBreaking) {\n    conclusion = 'success';\n    title = `Non-breaking changes (${result.summary.nonBreaking})`;\n  } else {\n    conclusion = 'success';\n    title = 'No contract impact';\n  }\n\n  const summary = formatMinimalComment(result);\n\n  return {\n    name,\n    headSha,\n    conclusion,\n    title,\n    summary,\n    annotations: result.deltas\n      .filter((d) => d.severity === 'breaking')\n      .slice(0, 50) // GitHub limit\n      .map((d) => ({\n        path: d.path,\n        startLine: 1,\n        endLine: 1,\n        annotationLevel: 'failure' as const,\n        message: d.description,\n        title: `Breaking: ${d.rule}`,\n      })),\n  };\n}\n\n/**\n * Format impact result as JSON.\n */\nexport function formatJson(result: ImpactResult): string {\n  return JSON.stringify(result, null, 2);\n}\n"],"mappings":";;;;AAeA,SAAgB,gBACd,QACA,UAA4B,EAAE,UAAU,YAAY,EAC5C;CACR,MAAMA,QAAkB,EAAE;AAG1B,OAAM,KAAK,qCAAqC;AAChD,OAAM,KAAK,GAAG;AAGd,KAAI,OAAO,YACT,OAAM,KAAK,kCAAkC;UACpC,OAAO,eAChB,OAAM,KAAK,yCAAyC;KAEpD,OAAM,KAAK,2BAA2B;AAExC,OAAM,KAAK,GAAG;AAGd,KACE,OAAO,QAAQ,WAAW,KAC1B,OAAO,QAAQ,cAAc,KAC7B,OAAO,QAAQ,OAAO,GACtB;AACA,QAAM,KAAK,cAAc;AACzB,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,mBAAmB;AAC9B,QAAM,KAAK,mBAAmB;AAC9B,MAAI,OAAO,QAAQ,WAAW,EAC5B,OAAM,KAAK,mBAAmB,OAAO,QAAQ,SAAS,IAAI;AAE5D,MAAI,OAAO,QAAQ,cAAc,EAC/B,OAAM,KAAK,uBAAuB,OAAO,QAAQ,YAAY,IAAI;AAEnE,MAAI,OAAO,QAAQ,OAAO,EACxB,OAAM,KAAK,eAAe,OAAO,QAAQ,KAAK,IAAI;AAEpD,MAAI,OAAO,QAAQ,QAAQ,EACzB,OAAM,KAAK,eAAe,OAAO,QAAQ,MAAM,IAAI;AAErD,MAAI,OAAO,QAAQ,UAAU,EAC3B,OAAM,KAAK,iBAAiB,OAAO,QAAQ,QAAQ,IAAI;AAEzD,QAAM,KAAK,GAAG;;AAIhB,KAAI,QAAQ,aAAa,cAAc,OAAO,OAAO,SAAS,GAAG;AAC/D,QAAM,KAAK,cAAc;AACzB,QAAM,KAAK,GAAG;EAGd,MAAM,WAAW,OAAO,OAAO,QAAQ,MAAM,EAAE,aAAa,WAAW;EACvE,MAAM,cAAc,OAAO,OAAO,QAC/B,MAAM,EAAE,aAAa,eACvB;AAED,MAAI,SAAS,SAAS,GAAG;AACvB,SAAM,KAAK,2BAA2B;AACtC,SAAM,KAAK,GAAG;AACd,QAAK,MAAM,SAAS,SAClB,OAAM,KAAK,OAAO,MAAM,QAAQ,MAAM,MAAM,cAAc;AAE5D,SAAM,KAAK,GAAG;;AAGhB,MAAI,YAAY,SAAS,GAAG;AAC1B,SAAM,KAAK,+BAA+B;AAC1C,SAAM,KAAK,GAAG;AACd,QAAK,MAAM,SAAS,YAClB,OAAM,KAAK,OAAO,MAAM,QAAQ,MAAM,MAAM,cAAc;AAE5D,SAAM,KAAK,GAAG;;;AAKlB,KAAI,OAAO,WAAW,SAAS,GAAG;AAChC,QAAM,KAAK,kBAAkB;AAC7B,QAAM,KAAK,GAAG;AACd,OAAK,MAAM,QAAQ,OAAO,WACxB,OAAM,KAAK,OAAO,KAAK,IAAI,MAAM,KAAK,QAAQ,IAAI,KAAK,KAAK,GAAG;AAEjE,QAAM,KAAK,GAAG;;AAGhB,KAAI,OAAO,aAAa,SAAS,GAAG;AAClC,QAAM,KAAK,oBAAoB;AAC/B,QAAM,KAAK,GAAG;AACd,OAAK,MAAM,QAAQ,OAAO,aACxB,OAAM,KAAK,OAAO,KAAK,IAAI,MAAM,KAAK,QAAQ,IAAI,KAAK,KAAK,GAAG;AAEjE,QAAM,KAAK,GAAG;;AAIhB,OAAM,KAAK,MAAM;AACjB,OAAM,KAAK,iCAAiC,OAAO,UAAU,GAAG;AAEhE,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,qBAAqB,QAA8B;AACjE,KAAI,OAAO,YACT,QAAO,oCAAoC,OAAO,QAAQ,SAAS,aAAa,OAAO,QAAQ,YAAY;AAE7G,KAAI,OAAO,eACT,QAAO,4BAA4B,OAAO,QAAQ,YAAY;AAEhE,QAAO;;;;;AAMT,SAAgB,eACd,QACA,SACA,UAAsD,EAAE,EACvC;CACjB,MAAM,OAAO,QAAQ,OAAO;CAC5B,MAAM,iBAAiB,QAAQ,kBAAkB;CAEjD,IAAIC;CACJ,IAAIC;AAEJ,KAAI,OAAO,aAAa;AACtB,eAAa,iBAAiB,YAAY;AAC1C,UAAQ,8BAA8B,OAAO,QAAQ,SAAS;YACrD,OAAO,gBAAgB;AAChC,eAAa;AACb,UAAQ,yBAAyB,OAAO,QAAQ,YAAY;QACvD;AACL,eAAa;AACb,UAAQ;;CAGV,MAAM,UAAU,qBAAqB,OAAO;AAE5C,QAAO;EACL;EACA;EACA;EACA;EACA;EACA,aAAa,OAAO,OACjB,QAAQ,MAAM,EAAE,aAAa,WAAW,CACxC,MAAM,GAAG,GAAG,CACZ,KAAK,OAAO;GACX,MAAM,EAAE;GACR,WAAW;GACX,SAAS;GACT,iBAAiB;GACjB,SAAS,EAAE;GACX,OAAO,aAAa,EAAE;GACvB,EAAE;EACN;;;;;AAMH,SAAgB,WAAW,QAA8B;AACvD,QAAO,KAAK,UAAU,QAAQ,MAAM,EAAE"}

package/dist/services/impact/impact-detection-service.d.ts

@@ -0,0 +1,22 @@
+import { FsAdapter } from "../../ports/fs.js";
+import { GitAdapter } from "../../ports/git.js";
+import { LoggerAdapter } from "../../ports/logger.js";
+import { ImpactDetectionOptions, ImpactDetectionResult } from "./types.js";
+
+//#region src/services/impact/impact-detection-service.d.ts
+
+/**
+ * Detect the impact of contract changes between baseline and current state.
+ *
+ * @param adapters - Required adapters (fs, git, logger)
+ * @param options - Detection options
+ * @returns Impact detection result
+ */
+declare function detectImpact(adapters: {
+  fs: FsAdapter;
+  git: GitAdapter;
+  logger: LoggerAdapter;
+}, options?: ImpactDetectionOptions): Promise<ImpactDetectionResult>;
+//#endregion
+export { detectImpact };
+//# sourceMappingURL=impact-detection-service.d.ts.map

package/dist/services/impact/impact-detection-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact-detection-service.d.ts","names":[],"sources":["../../../src/services/impact/impact-detection-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;;;iBA2BsB,YAAA;MACJ;OAAgB;UAAoB;aAC3C,yBACR,QAAQ"}

package/dist/services/impact/impact-detection-service.js

@@ -0,0 +1,96 @@
+import { src_exports } from "../../index.js";
+
+//#region src/services/impact/impact-detection-service.ts
+/**
+* Impact detection service.
+*
+* Orchestrates contract snapshot generation, diff computation,
+* and impact classification for CI/CD pipelines.
+*/
+/**
+* Detect the impact of contract changes between baseline and current state.
+*
+* @param adapters - Required adapters (fs, git, logger)
+* @param options - Detection options
+* @returns Impact detection result
+*/
+async function detectImpact(adapters, options = {}) {
+	const { fs, git, logger } = adapters;
+	const workspaceRoot = options.workspaceRoot ?? process.cwd();
+	logger.info("Starting impact detection...", { baseline: options.baseline });
+	const specFiles = (await fs.glob({
+		pattern: options.pattern ?? "**/*.{operation,event}.ts",
+		cwd: workspaceRoot
+	})).filter((f) => !f.includes(".test.") && !f.includes(".spec.") && !f.includes("node_modules"));
+	logger.debug(`Found ${specFiles.length} spec files`);
+	const headSnapshot = (0, src_exports.generateSnapshot)(await loadSpecs(fs, specFiles, workspaceRoot));
+	let baseSnapshot;
+	if (options.baseline) baseSnapshot = (0, src_exports.generateSnapshot)(await loadBaselineSpecs(fs, git, specFiles, options.baseline, workspaceRoot));
+	else baseSnapshot = {
+		version: 1,
+		generatedAt: "",
+		specs: [],
+		hash: ""
+	};
+	const diffs = computeSnapshotDiffs(baseSnapshot.specs, headSnapshot.specs);
+	const impactResult = (0, src_exports.classifyImpact)(baseSnapshot.specs, headSnapshot.specs, diffs);
+	logger.info("Impact detection complete", {
+		status: impactResult.status,
+		breaking: impactResult.summary.breaking,
+		nonBreaking: impactResult.summary.nonBreaking
+	});
+	return {
+		...impactResult,
+		workspaceRoot,
+		specsAnalyzed: specFiles.length,
+		baseRef: options.baseline
+	};
+}
+/**
+* Load specs from current filesystem.
+*/
+async function loadSpecs(fs, files, _workspaceRoot) {
+	const specs = [];
+	for (const file of files) {
+		const content = await fs.readFile(file);
+		specs.push({
+			path: file,
+			content
+		});
+	}
+	return specs;
+}
+/**
+* Load specs from git baseline.
+*/
+async function loadBaselineSpecs(_fs, git, files, baseline, _workspaceRoot) {
+	const specs = [];
+	for (const file of files) try {
+		const content = await git.showFile(baseline, file);
+		specs.push({
+			path: file,
+			content
+		});
+	} catch {}
+	return specs;
+}
+/**
+* Compute diffs between two sets of spec snapshots.
+*/
+function computeSnapshotDiffs(baseSpecs, headSpecs) {
+	const diffs = [];
+	const baseMap = new Map(baseSpecs.map((s) => [`${s.key}@${s.version}`, s]));
+	const headMap = new Map(headSpecs.map((s) => [`${s.key}@${s.version}`, s]));
+	for (const [key, headSpec] of headMap) {
+		const baseSpec = baseMap.get(key);
+		if (baseSpec && headSpec.type === "operation" && baseSpec.type === "operation") {
+			const ioDiffs = (0, src_exports.computeIoDiff)(baseSpec.io, headSpec.io);
+			diffs.push(...ioDiffs);
+		}
+	}
+	return diffs;
+}
+
+//#endregion
+export { detectImpact };
+//# sourceMappingURL=impact-detection-service.js.map