@contractspec/bundle.workspace 0.0.0-canary-20260113162409

package/dist/services/build.d.mts

@@ -0,0 +1,61 @@
+import { FsAdapter } from "../ports/fs.mjs";
+import { LoggerAdapter } from "../ports/logger.mjs";
+import * as _contractspec_module_workspace0 from "@contractspec/module.workspace";
+import { SpecScanResult, WorkspaceConfig } from "@contractspec/module.workspace";
+
+//#region src/services/build.d.ts
+
+/**
+ * Build target types.
+ */
+type BuildTarget = 'handler' | 'component' | 'test';
+/**
+ * Options for building from a spec.
+ */
+interface BuildSpecOptions {
+  /**
+   * Which artifacts to generate.
+   */
+  targets?: BuildTarget[];
+  /**
+   * Override output directory.
+   */
+  outputDir?: string;
+  /**
+   * Whether to overwrite existing files.
+   */
+  overwrite?: boolean;
+  /**
+   * Skip writing files (dry run).
+   */
+  dryRun?: boolean;
+}
+/**
+ * Result of a single build target.
+ */
+interface BuildTargetResult {
+  target: BuildTarget;
+  outputPath: string;
+  success: boolean;
+  skipped?: boolean;
+  error?: string;
+}
+/**
+ * Result of building from a spec.
+ */
+interface BuildSpecResult {
+  specPath: string;
+  specInfo: SpecScanResult;
+  results: BuildTargetResult[];
+}
+/**
+ * Build implementation files from a spec.
+ */
+declare function buildSpec(specPath: string, adapters: {
+  fs: FsAdapter;
+  logger: LoggerAdapter;
+  workspace?: typeof _contractspec_module_workspace0;
+}, config: WorkspaceConfig, options?: BuildSpecOptions): Promise<BuildSpecResult>;
+//#endregion
+export { BuildSpecOptions, BuildSpecResult, BuildTarget, BuildTargetResult, buildSpec };
+//# sourceMappingURL=build.d.mts.map

package/dist/services/build.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"build.d.mts","names":[],"sources":["../../src/services/build.ts"],"sourcesContent":[],"mappings":";;;;;;;AA+DA;AASA;;AAIY,KAtDA,WAAA,GAsDA,SAAA,GAAA,WAAA,GAAA,MAAA;;;;AAKD,UAtDM,gBAAA,CAsDN;EAAR;;;YAlDS;;;;;;;;;;;;;;;;;UAqBK,iBAAA;UACP;;;;;;;;;UAUO,eAAA;;YAEL;WACD;;;;;iBAMW,SAAA;MAGd;UACI;qBAAa;WAGf,2BACC,mBACR,QAAQ"}

package/dist/services/build.mjs

@@ -0,0 +1,151 @@
+import { generateComponentTemplate, generateHandlerTemplate, generateTestTemplate, inferSpecTypeFromFilePath, scanSpecSource } from "@contractspec/module.workspace";
+
+//#region src/services/build.ts
+/**
+* Build/scaffold service for generating implementation files from specs.
+*
+* Uses templates from @contractspec/module.workspace to generate
+* handler, component, and test skeletons without requiring AI.
+*/
+/**
+* Build implementation files from a spec.
+*/
+async function buildSpec(specPath, adapters, config, options = {}) {
+	const { fs, logger, workspace } = adapters;
+	const scan = workspace?.scanSpecSource ?? scanSpecSource;
+	const inferType = workspace?.inferSpecTypeFromFilePath ?? inferSpecTypeFromFilePath;
+	const genHandler = workspace?.generateHandlerTemplate ?? generateHandlerTemplate;
+	const genComponent = workspace?.generateComponentTemplate ?? generateComponentTemplate;
+	const genTest = workspace?.generateTestTemplate ?? generateTestTemplate;
+	const { targets = detectDefaultTargets(specPath, inferType), outputDir = config.outputDir, overwrite = false, dryRun = false } = options;
+	const specCode = await fs.readFile(specPath);
+	const specInfo = scan(specCode, specPath);
+	const specType = inferType(specPath);
+	logger.info(`Building from spec: ${specPath}`, { specType });
+	const results = [];
+	for (const target of targets) try {
+		const result = await buildTarget(target, specPath, specCode, specInfo, specType, {
+			fs,
+			logger
+		}, outputDir, overwrite, dryRun, {
+			genHandler,
+			genComponent,
+			genTest
+		});
+		results.push(result);
+	} catch (error) {
+		results.push({
+			target,
+			outputPath: "",
+			success: false,
+			error: error instanceof Error ? error.message : String(error),
+			skipped: false
+		});
+	}
+	return {
+		specPath,
+		specInfo,
+		results
+	};
+}
+/**
+* Build a single target from a spec.
+*/
+async function buildTarget(target, specPath, _specCode, specInfo, specType, adapters, outputDir, overwrite, dryRun, generators) {
+	const { fs, logger } = adapters;
+	const { genHandler, genComponent, genTest } = generators;
+	let code;
+	let outputPath;
+	switch (target) {
+		case "handler": {
+			if (specType !== "operation") return {
+				target,
+				outputPath: "",
+				success: false,
+				skipped: true,
+				error: `Handler generation only supported for operation specs (got ${specType})`
+			};
+			const kind = specInfo.kind === "command" || specInfo.kind === "query" ? specInfo.kind : "command";
+			code = genHandler(specInfo.key ?? "unknown", kind);
+			outputPath = resolveOutputPath(specPath, outputDir, "handlers", specInfo.key ?? "unknown", ".handler.ts", adapters.fs);
+			break;
+		}
+		case "component":
+			if (specType !== "presentation") return {
+				target,
+				outputPath: "",
+				success: false,
+				skipped: true,
+				error: `Component generation only supported for presentation specs (got ${specType})`
+			};
+			code = genComponent(specInfo.key ?? "unknown", specInfo.description ?? "");
+			outputPath = resolveOutputPath(specPath, outputDir, "components", specInfo.key ?? "unknown", ".tsx", adapters.fs);
+			break;
+		case "test": {
+			const testType = specType === "operation" ? "handler" : "component";
+			code = genTest(specInfo.key ?? "unknown", testType);
+			outputPath = resolveOutputPath(specPath, outputDir, "__tests__", specInfo.key ?? "unknown", ".test.ts", adapters.fs);
+			break;
+		}
+		default: return {
+			target,
+			outputPath: "",
+			success: false,
+			error: `Unknown target: ${target}`
+		};
+	}
+	if (await fs.exists(outputPath) && !overwrite) return {
+		target,
+		outputPath,
+		success: false,
+		skipped: true,
+		error: "File already exists (use overwrite option)"
+	};
+	if (dryRun) {
+		logger.info(`[dry-run] Would write: ${outputPath}`);
+		return {
+			target,
+			outputPath,
+			success: true
+		};
+	}
+	const dirPath = fs.dirname(outputPath);
+	await fs.mkdir(dirPath);
+	await fs.writeFile(outputPath, code);
+	logger.info(`Generated: ${outputPath}`);
+	return {
+		target,
+		outputPath,
+		success: true
+	};
+}
+/**
+* Detect default targets based on spec type.
+*/
+function detectDefaultTargets(specPath, inferType) {
+	switch (inferType(specPath)) {
+		case "operation": return ["handler"];
+		case "presentation": return ["component"];
+		default: return [];
+	}
+}
+/**
+* Resolve output path for generated file.
+*/
+function resolveOutputPath(specPath, outputDir, subdir, specName, extension, fs) {
+	const sanitizedName = toKebabCase(specName.split(".").pop() ?? "unknown");
+	let baseDir;
+	if (outputDir.startsWith(".")) baseDir = fs.resolve(fs.dirname(specPath), "..", outputDir, subdir);
+	else baseDir = fs.resolve(outputDir, subdir);
+	return fs.join(baseDir, `${sanitizedName}${extension}`);
+}
+/**
+* Convert string to kebab-case.
+*/
+function toKebabCase(str) {
+	return str.replace(/\./g, "-").replace(/([a-z])([A-Z])/g, "$1-$2").toLowerCase();
+}
+
+//#endregion
+export { buildSpec };
+//# sourceMappingURL=build.mjs.map

package/dist/services/build.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"build.mjs","names":[],"sources":["../../src/services/build.ts"],"sourcesContent":["/**\n * Build/scaffold service for generating implementation files from specs.\n *\n * Uses templates from @contractspec/module.workspace to generate\n * handler, component, and test skeletons without requiring AI.\n */\n\nimport {\n  generateComponentTemplate,\n  generateHandlerTemplate,\n  generateTestTemplate,\n  inferSpecTypeFromFilePath,\n  scanSpecSource,\n  type SpecScanResult,\n  type WorkspaceConfig,\n} from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../ports/fs';\nimport type { LoggerAdapter } from '../ports/logger';\n\n/**\n * Build target types.\n */\nexport type BuildTarget = 'handler' | 'component' | 'test';\n\n/**\n * Options for building from a spec.\n */\nexport interface BuildSpecOptions {\n  /**\n   * Which artifacts to generate.\n   */\n  targets?: BuildTarget[];\n\n  /**\n   * Override output directory.\n   */\n  outputDir?: string;\n\n  /**\n   * Whether to overwrite existing files.\n   */\n  overwrite?: boolean;\n\n  /**\n   * Skip writing files (dry run).\n   */\n  dryRun?: boolean;\n}\n\n/**\n * Result of a single build target.\n */\nexport interface BuildTargetResult {\n  target: BuildTarget;\n  outputPath: string;\n  success: boolean;\n  skipped?: boolean;\n  error?: string;\n}\n\n/**\n * Result of building from a spec.\n */\nexport interface BuildSpecResult {\n  specPath: string;\n  specInfo: SpecScanResult;\n  results: BuildTargetResult[];\n}\n\n/**\n * Build implementation files from a spec.\n */\nexport async function buildSpec(\n  specPath: string,\n  adapters: {\n    fs: FsAdapter;\n    logger: LoggerAdapter;\n    workspace?: typeof import('@contractspec/module.workspace');\n  },\n  config: WorkspaceConfig,\n  options: BuildSpecOptions = {}\n): Promise<BuildSpecResult> {\n  const { fs, logger, workspace } = adapters;\n\n  // Use injected modules or defaults\n  const scan = workspace?.scanSpecSource ?? scanSpecSource;\n  const inferType =\n    workspace?.inferSpecTypeFromFilePath ?? inferSpecTypeFromFilePath;\n  const genHandler =\n    workspace?.generateHandlerTemplate ?? generateHandlerTemplate;\n  const genComponent =\n    workspace?.generateComponentTemplate ?? generateComponentTemplate;\n  const genTest = workspace?.generateTestTemplate ?? generateTestTemplate;\n\n  const {\n    targets = detectDefaultTargets(specPath, inferType),\n    outputDir = config.outputDir,\n    overwrite = false,\n    dryRun = false,\n  } = options;\n\n  // Read and scan spec\n  const specCode = await fs.readFile(specPath);\n  const specInfo = scan(specCode, specPath);\n  const specType = inferType(specPath);\n\n  logger.info(`Building from spec: ${specPath}`, { specType });\n\n  const results: BuildTargetResult[] = [];\n\n  for (const target of targets) {\n    try {\n      const result = await buildTarget(\n        target,\n        specPath,\n        specCode,\n        specInfo,\n        specType,\n        { fs, logger },\n        outputDir,\n        overwrite,\n        dryRun,\n        { genHandler, genComponent, genTest }\n      );\n      results.push(result);\n    } catch (error) {\n      results.push({\n        target,\n        outputPath: '',\n        success: false,\n        error: error instanceof Error ? error.message : String(error),\n        skipped: false, // Default to false unless overridden\n      });\n    }\n  }\n\n  return {\n    specPath,\n    specInfo,\n    results,\n  };\n}\n\n/**\n * Build a single target from a spec.\n */\nasync function buildTarget(\n  target: BuildTarget,\n  specPath: string,\n  _specCode: string,\n  specInfo: SpecScanResult,\n  specType: string,\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  outputDir: string,\n  overwrite: boolean,\n  dryRun: boolean,\n  generators: {\n    genHandler: typeof generateHandlerTemplate;\n    genComponent: typeof generateComponentTemplate;\n    genTest: typeof generateTestTemplate;\n  }\n): Promise<BuildTargetResult> {\n  const { fs, logger } = adapters;\n  const { genHandler, genComponent, genTest } = generators;\n\n  let code: string;\n  let outputPath: string;\n\n  switch (target) {\n    case 'handler': {\n      if (specType !== 'operation') {\n        return {\n          target,\n          outputPath: '',\n          success: false,\n          skipped: true,\n          error: `Handler generation only supported for operation specs (got ${specType})`,\n        };\n      }\n\n      const kind =\n        specInfo.kind === 'command' || specInfo.kind === 'query'\n          ? specInfo.kind\n          : 'command';\n\n      code = genHandler(specInfo.key ?? 'unknown', kind);\n      outputPath = resolveOutputPath(\n        specPath,\n        outputDir,\n        'handlers',\n        specInfo.key ?? 'unknown',\n        '.handler.ts',\n        adapters.fs\n      );\n      break;\n    }\n\n    case 'component': {\n      if (specType !== 'presentation') {\n        return {\n          target,\n          outputPath: '',\n          success: false,\n          skipped: true,\n          error: `Component generation only supported for presentation specs (got ${specType})`,\n        };\n      }\n\n      code = genComponent(\n        specInfo.key ?? 'unknown',\n        specInfo.description ?? ''\n      );\n      outputPath = resolveOutputPath(\n        specPath,\n        outputDir,\n        'components',\n        specInfo.key ?? 'unknown',\n        '.tsx',\n        adapters.fs\n      );\n      break;\n    }\n\n    case 'test': {\n      const testType = specType === 'operation' ? 'handler' : 'component';\n      code = genTest(specInfo.key ?? 'unknown', testType);\n      outputPath = resolveOutputPath(\n        specPath,\n        outputDir,\n        '__tests__',\n        specInfo.key ?? 'unknown',\n        '.test.ts',\n        adapters.fs\n      );\n      break;\n    }\n\n    default:\n      return {\n        target,\n        outputPath: '',\n        success: false,\n        error: `Unknown target: ${target}`,\n      };\n  }\n\n  // Check if file exists\n  const exists = await fs.exists(outputPath);\n  if (exists && !overwrite) {\n    return {\n      target,\n      outputPath,\n      success: false,\n      skipped: true,\n      error: 'File already exists (use overwrite option)',\n    };\n  }\n\n  if (dryRun) {\n    logger.info(`[dry-run] Would write: ${outputPath}`);\n    return {\n      target,\n      outputPath,\n      success: true,\n    };\n  }\n\n  // Ensure directory exists\n  const dirPath = fs.dirname(outputPath);\n  await fs.mkdir(dirPath);\n\n  // Write file\n  await fs.writeFile(outputPath, code);\n  logger.info(`Generated: ${outputPath}`);\n\n  return {\n    target,\n    outputPath,\n    success: true,\n  };\n}\n\n/**\n * Detect default targets based on spec type.\n */\nfunction detectDefaultTargets(\n  specPath: string,\n  inferType: typeof inferSpecTypeFromFilePath\n): BuildTarget[] {\n  const specType = inferType(specPath);\n\n  switch (specType) {\n    case 'operation':\n      return ['handler'];\n    case 'presentation':\n      return ['component'];\n    default:\n      return [];\n  }\n}\n\n/**\n * Resolve output path for generated file.\n */\nfunction resolveOutputPath(\n  specPath: string,\n  outputDir: string,\n  subdir: string,\n  specName: string,\n  extension: string,\n  fs: FsAdapter\n): string {\n  const sanitizedName = toKebabCase(specName.split('.').pop() ?? 'unknown');\n\n  let baseDir: string;\n  if (outputDir.startsWith('.')) {\n    // Relative to spec file location\n    baseDir = fs.resolve(fs.dirname(specPath), '..', outputDir, subdir);\n  } else {\n    // Absolute or relative to cwd\n    baseDir = fs.resolve(outputDir, subdir);\n  }\n\n  return fs.join(baseDir, `${sanitizedName}${extension}`);\n}\n\n/**\n * Convert string to kebab-case.\n */\nfunction toKebabCase(str: string): string {\n  return str\n    .replace(/\\./g, '-')\n    .replace(/([a-z])([A-Z])/g, '$1-$2')\n    .toLowerCase();\n}\n"],"mappings":";;;;;;;;;;;;AAwEA,eAAsB,UACpB,UACA,UAKA,QACA,UAA4B,EAAE,EACJ;CAC1B,MAAM,EAAE,IAAI,QAAQ,cAAc;CAGlC,MAAM,OAAO,WAAW,kBAAkB;CAC1C,MAAM,YACJ,WAAW,6BAA6B;CAC1C,MAAM,aACJ,WAAW,2BAA2B;CACxC,MAAM,eACJ,WAAW,6BAA6B;CAC1C,MAAM,UAAU,WAAW,wBAAwB;CAEnD,MAAM,EACJ,UAAU,qBAAqB,UAAU,UAAU,EACnD,YAAY,OAAO,WACnB,YAAY,OACZ,SAAS,UACP;CAGJ,MAAM,WAAW,MAAM,GAAG,SAAS,SAAS;CAC5C,MAAM,WAAW,KAAK,UAAU,SAAS;CACzC,MAAM,WAAW,UAAU,SAAS;AAEpC,QAAO,KAAK,uBAAuB,YAAY,EAAE,UAAU,CAAC;CAE5D,MAAM,UAA+B,EAAE;AAEvC,MAAK,MAAM,UAAU,QACnB,KAAI;EACF,MAAM,SAAS,MAAM,YACnB,QACA,UACA,UACA,UACA,UACA;GAAE;GAAI;GAAQ,EACd,WACA,WACA,QACA;GAAE;GAAY;GAAc;GAAS,CACtC;AACD,UAAQ,KAAK,OAAO;UACb,OAAO;AACd,UAAQ,KAAK;GACX;GACA,YAAY;GACZ,SAAS;GACT,OAAO,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;GAC7D,SAAS;GACV,CAAC;;AAIN,QAAO;EACL;EACA;EACA;EACD;;;;;AAMH,eAAe,YACb,QACA,UACA,WACA,UACA,UACA,UACA,WACA,WACA,QACA,YAK4B;CAC5B,MAAM,EAAE,IAAI,WAAW;CACvB,MAAM,EAAE,YAAY,cAAc,YAAY;CAE9C,IAAI;CACJ,IAAI;AAEJ,SAAQ,QAAR;EACE,KAAK,WAAW;AACd,OAAI,aAAa,YACf,QAAO;IACL;IACA,YAAY;IACZ,SAAS;IACT,SAAS;IACT,OAAO,8DAA8D,SAAS;IAC/E;GAGH,MAAM,OACJ,SAAS,SAAS,aAAa,SAAS,SAAS,UAC7C,SAAS,OACT;AAEN,UAAO,WAAW,SAAS,OAAO,WAAW,KAAK;AAClD,gBAAa,kBACX,UACA,WACA,YACA,SAAS,OAAO,WAChB,eACA,SAAS,GACV;AACD;;EAGF,KAAK;AACH,OAAI,aAAa,eACf,QAAO;IACL;IACA,YAAY;IACZ,SAAS;IACT,SAAS;IACT,OAAO,mEAAmE,SAAS;IACpF;AAGH,UAAO,aACL,SAAS,OAAO,WAChB,SAAS,eAAe,GACzB;AACD,gBAAa,kBACX,UACA,WACA,cACA,SAAS,OAAO,WAChB,QACA,SAAS,GACV;AACD;EAGF,KAAK,QAAQ;GACX,MAAM,WAAW,aAAa,cAAc,YAAY;AACxD,UAAO,QAAQ,SAAS,OAAO,WAAW,SAAS;AACnD,gBAAa,kBACX,UACA,WACA,aACA,SAAS,OAAO,WAChB,YACA,SAAS,GACV;AACD;;EAGF,QACE,QAAO;GACL;GACA,YAAY;GACZ,SAAS;GACT,OAAO,mBAAmB;GAC3B;;AAKL,KADe,MAAM,GAAG,OAAO,WAAW,IAC5B,CAAC,UACb,QAAO;EACL;EACA;EACA,SAAS;EACT,SAAS;EACT,OAAO;EACR;AAGH,KAAI,QAAQ;AACV,SAAO,KAAK,0BAA0B,aAAa;AACnD,SAAO;GACL;GACA;GACA,SAAS;GACV;;CAIH,MAAM,UAAU,GAAG,QAAQ,WAAW;AACtC,OAAM,GAAG,MAAM,QAAQ;AAGvB,OAAM,GAAG,UAAU,YAAY,KAAK;AACpC,QAAO,KAAK,cAAc,aAAa;AAEvC,QAAO;EACL;EACA;EACA,SAAS;EACV;;;;;AAMH,SAAS,qBACP,UACA,WACe;AAGf,SAFiB,UAAU,SAAS,EAEpC;EACE,KAAK,YACH,QAAO,CAAC,UAAU;EACpB,KAAK,eACH,QAAO,CAAC,YAAY;EACtB,QACE,QAAO,EAAE;;;;;;AAOf,SAAS,kBACP,UACA,WACA,QACA,UACA,WACA,IACQ;CACR,MAAM,gBAAgB,YAAY,SAAS,MAAM,IAAI,CAAC,KAAK,IAAI,UAAU;CAEzE,IAAI;AACJ,KAAI,UAAU,WAAW,IAAI,CAE3B,WAAU,GAAG,QAAQ,GAAG,QAAQ,SAAS,EAAE,MAAM,WAAW,OAAO;KAGnE,WAAU,GAAG,QAAQ,WAAW,OAAO;AAGzC,QAAO,GAAG,KAAK,SAAS,GAAG,gBAAgB,YAAY;;;;;AAMzD,SAAS,YAAY,KAAqB;AACxC,QAAO,IACJ,QAAQ,OAAO,IAAI,CACnB,QAAQ,mBAAmB,QAAQ,CACnC,aAAa"}

package/dist/services/ci-check/checks/coverage.mjs

@@ -0,0 +1,77 @@
+import { createParser, detectFormat } from "../../coverage/parsers/index.mjs";
+import { validateCoverage } from "../../coverage/validator.mjs";
+import { scanAllSpecsFromSource } from "@contractspec/module.workspace";
+
+//#region src/services/ci-check/checks/coverage.ts
+/**
+* Coverage goal enforcement checks.
+*
+* Validates that TestSpec.coverage requirements are met by actual coverage data.
+* Requires a coverage report file to exist (from a previous test run).
+*/
+/**
+* Run coverage goal enforcement checks.
+*/
+async function runCoverageChecks(adapters, specFiles, options) {
+	const { fs, logger } = adapters;
+	const issues = [];
+	const coverageDir = options.workspaceRoot ? `${options.workspaceRoot}/coverage` : "./coverage";
+	const possiblePaths = [
+		`${coverageDir}/coverage-final.json`,
+		`${coverageDir}/coverage.json`,
+		`${coverageDir}/coverage-summary.json`
+	];
+	let coverageContent;
+	let coveragePath;
+	for (const path of possiblePaths) if (await fs.exists(path)) {
+		coverageContent = await fs.readFile(path);
+		coveragePath = path;
+		break;
+	}
+	if (!coverageContent) {
+		logger.info("No coverage report found, skipping coverage checks");
+		return issues;
+	}
+	const coverageReport = createParser(detectFormat(coveragePath ?? "coverage.json")).parse(coverageContent);
+	for (const specFile of specFiles) {
+		if (!specFile.includes(".test-spec.")) continue;
+		const content = await fs.readFile(specFile);
+		const scans = scanAllSpecsFromSource(content, specFile);
+		for (const scan of scans) {
+			if (scan.specType !== "test-spec" || !scan.key || !scan.version) continue;
+			const coverageMatch = content.match(/coverage\s*:\s*\{([^}]+)\}/);
+			if (!coverageMatch || !coverageMatch[1]) continue;
+			const coverageBlock = coverageMatch[1];
+			const requirements = {};
+			const statementsMatch = coverageBlock.match(/statements\s*:\s*(\d+)/);
+			if (statementsMatch && statementsMatch[1]) requirements.statements = parseInt(statementsMatch[1], 10);
+			const branchesMatch = coverageBlock.match(/branches\s*:\s*(\d+)/);
+			if (branchesMatch && branchesMatch[1]) requirements.branches = parseInt(branchesMatch[1], 10);
+			const functionsMatch = coverageBlock.match(/functions\s*:\s*(\d+)/);
+			if (functionsMatch && functionsMatch[1]) requirements.functions = parseInt(functionsMatch[1], 10);
+			const linesMatch = coverageBlock.match(/lines\s*:\s*(\d+)/);
+			if (linesMatch && linesMatch[1]) requirements.lines = parseInt(linesMatch[1], 10);
+			if (Object.keys(requirements).length === 0) continue;
+			const result = validateCoverage(scan.key, scan.version, requirements, coverageReport.total);
+			for (const failure of result.failures) issues.push({
+				ruleId: "coverage-below-threshold",
+				severity: "error",
+				message: failure.message,
+				category: "coverage",
+				file: specFile,
+				context: {
+					specKey: scan.key,
+					specVersion: scan.version,
+					metric: failure.metric,
+					required: failure.required,
+					actual: failure.actual
+				}
+			});
+		}
+	}
+	return issues;
+}
+
+//#endregion
+export { runCoverageChecks };
+//# sourceMappingURL=coverage.mjs.map

package/dist/services/ci-check/checks/coverage.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/coverage.ts"],"sourcesContent":["/**\n * Coverage goal enforcement checks.\n *\n * Validates that TestSpec.coverage requirements are met by actual coverage data.\n * Requires a coverage report file to exist (from a previous test run).\n */\n\nimport { scanAllSpecsFromSource } from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport { createParser, detectFormat, validateCoverage } from '../../coverage';\nimport type { CICheckOptions, CIIssue } from '../types';\n\n/**\n * Run coverage goal enforcement checks.\n */\nexport async function runCoverageChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  specFiles: string[],\n  options: CICheckOptions\n): Promise<CIIssue[]> {\n  const { fs, logger } = adapters;\n  const issues: CIIssue[] = [];\n\n  // Try to find coverage report\n  const coverageDir = options.workspaceRoot\n    ? `${options.workspaceRoot}/coverage`\n    : './coverage';\n\n  const possiblePaths = [\n    `${coverageDir}/coverage-final.json`,\n    `${coverageDir}/coverage.json`,\n    `${coverageDir}/coverage-summary.json`,\n  ];\n\n  let coverageContent: string | undefined;\n  let coveragePath: string | undefined;\n\n  for (const path of possiblePaths) {\n    const exists = await fs.exists(path);\n    if (exists) {\n      coverageContent = await fs.readFile(path);\n      coveragePath = path;\n      break;\n    }\n  }\n\n  if (!coverageContent) {\n    logger.info('No coverage report found, skipping coverage checks');\n    return issues;\n  }\n\n  // Parse coverage report\n  const format = detectFormat(coveragePath ?? 'coverage.json');\n  const parser = createParser(format);\n  const coverageReport = parser.parse(coverageContent);\n\n  // Scan for test specs with coverage requirements\n  for (const specFile of specFiles) {\n    if (!specFile.includes('.test-spec.')) continue;\n\n    const content = await fs.readFile(specFile);\n    const scans = scanAllSpecsFromSource(content, specFile);\n\n    for (const scan of scans) {\n      if (scan.specType !== 'test-spec' || !scan.key || !scan.version) continue;\n\n      // Extract coverage requirements (simplified - actual extraction would need more parsing)\n      const coverageMatch = content.match(/coverage\\s*:\\s*\\{([^}]+)\\}/);\n      if (!coverageMatch || !coverageMatch[1]) continue;\n\n      // Parse coverage requirements\n      const coverageBlock = coverageMatch[1];\n      const requirements: Record<string, number> = {};\n\n      const statementsMatch = coverageBlock.match(/statements\\s*:\\s*(\\d+)/);\n      if (statementsMatch && statementsMatch[1])\n        requirements.statements = parseInt(statementsMatch[1], 10);\n\n      const branchesMatch = coverageBlock.match(/branches\\s*:\\s*(\\d+)/);\n      if (branchesMatch && branchesMatch[1])\n        requirements.branches = parseInt(branchesMatch[1], 10);\n\n      const functionsMatch = coverageBlock.match(/functions\\s*:\\s*(\\d+)/);\n      if (functionsMatch && functionsMatch[1])\n        requirements.functions = parseInt(functionsMatch[1], 10);\n\n      const linesMatch = coverageBlock.match(/lines\\s*:\\s*(\\d+)/);\n      if (linesMatch && linesMatch[1])\n        requirements.lines = parseInt(linesMatch[1], 10);\n\n      if (Object.keys(requirements).length === 0) continue;\n\n      // Validate coverage against requirements\n      const result = validateCoverage(\n        scan.key,\n        scan.version,\n        requirements,\n        coverageReport.total\n      );\n\n      // Report failures as errors\n      for (const failure of result.failures) {\n        issues.push({\n          ruleId: 'coverage-below-threshold',\n          severity: 'error',\n          message: failure.message,\n          category: 'coverage',\n          file: specFile,\n          context: {\n            specKey: scan.key,\n            specVersion: scan.version,\n            metric: failure.metric,\n            required: failure.required,\n            actual: failure.actual,\n          },\n        });\n      }\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;;;;;;;;;AAgBA,eAAsB,kBACpB,UACA,WACA,SACoB;CACpB,MAAM,EAAE,IAAI,WAAW;CACvB,MAAM,SAAoB,EAAE;CAG5B,MAAM,cAAc,QAAQ,gBACxB,GAAG,QAAQ,cAAc,aACzB;CAEJ,MAAM,gBAAgB;EACpB,GAAG,YAAY;EACf,GAAG,YAAY;EACf,GAAG,YAAY;EAChB;CAED,IAAI;CACJ,IAAI;AAEJ,MAAK,MAAM,QAAQ,cAEjB,KADe,MAAM,GAAG,OAAO,KAAK,EACxB;AACV,oBAAkB,MAAM,GAAG,SAAS,KAAK;AACzC,iBAAe;AACf;;AAIJ,KAAI,CAAC,iBAAiB;AACpB,SAAO,KAAK,qDAAqD;AACjE,SAAO;;CAMT,MAAM,iBADS,aADA,aAAa,gBAAgB,gBAAgB,CACzB,CACL,MAAM,gBAAgB;AAGpD,MAAK,MAAM,YAAY,WAAW;AAChC,MAAI,CAAC,SAAS,SAAS,cAAc,CAAE;EAEvC,MAAM,UAAU,MAAM,GAAG,SAAS,SAAS;EAC3C,MAAM,QAAQ,uBAAuB,SAAS,SAAS;AAEvD,OAAK,MAAM,QAAQ,OAAO;AACxB,OAAI,KAAK,aAAa,eAAe,CAAC,KAAK,OAAO,CAAC,KAAK,QAAS;GAGjE,MAAM,gBAAgB,QAAQ,MAAM,6BAA6B;AACjE,OAAI,CAAC,iBAAiB,CAAC,cAAc,GAAI;GAGzC,MAAM,gBAAgB,cAAc;GACpC,MAAM,eAAuC,EAAE;GAE/C,MAAM,kBAAkB,cAAc,MAAM,yBAAyB;AACrE,OAAI,mBAAmB,gBAAgB,GACrC,cAAa,aAAa,SAAS,gBAAgB,IAAI,GAAG;GAE5D,MAAM,gBAAgB,cAAc,MAAM,uBAAuB;AACjE,OAAI,iBAAiB,cAAc,GACjC,cAAa,WAAW,SAAS,cAAc,IAAI,GAAG;GAExD,MAAM,iBAAiB,cAAc,MAAM,wBAAwB;AACnE,OAAI,kBAAkB,eAAe,GACnC,cAAa,YAAY,SAAS,eAAe,IAAI,GAAG;GAE1D,MAAM,aAAa,cAAc,MAAM,oBAAoB;AAC3D,OAAI,cAAc,WAAW,GAC3B,cAAa,QAAQ,SAAS,WAAW,IAAI,GAAG;AAElD,OAAI,OAAO,KAAK,aAAa,CAAC,WAAW,EAAG;GAG5C,MAAM,SAAS,iBACb,KAAK,KACL,KAAK,SACL,cACA,eAAe,MAChB;AAGD,QAAK,MAAM,WAAW,OAAO,SAC3B,QAAO,KAAK;IACV,QAAQ;IACR,UAAU;IACV,SAAS,QAAQ;IACjB,UAAU;IACV,MAAM;IACN,SAAS;KACP,SAAS,KAAK;KACd,aAAa,KAAK;KAClB,QAAQ,QAAQ;KAChB,UAAU,QAAQ;KAClB,QAAQ,QAAQ;KACjB;IACF,CAAC;;;AAKR,QAAO"}

package/dist/services/ci-check/checks/deps.mjs

@@ -0,0 +1,32 @@
+import { analyzeDeps } from "../../deps.mjs";
+
+//#region src/services/ci-check/checks/deps.ts
+/**
+* Run dependency analysis checks.
+*/
+async function runDepsChecks(adapters, options) {
+	const issues = [];
+	const result = await analyzeDeps(adapters, { pattern: options.pattern });
+	for (const cycle of result.cycles) issues.push({
+		ruleId: "deps-circular",
+		severity: "error",
+		message: `Circular dependency detected: ${cycle.join(" → ")}`,
+		category: "deps",
+		context: { cycle }
+	});
+	for (const item of result.missing) for (const missing of item.missing) issues.push({
+		ruleId: "deps-missing",
+		severity: "error",
+		message: `Missing dependency: ${item.contract} requires ${missing}`,
+		category: "deps",
+		context: {
+			contract: item.contract,
+			missing
+		}
+	});
+	return issues;
+}
+
+//#endregion
+export { runDepsChecks };
+//# sourceMappingURL=deps.mjs.map

package/dist/services/ci-check/checks/deps.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"deps.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/deps.ts"],"sourcesContent":["/**\n * Dependency analysis checks.\n */\n\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport { analyzeDeps } from '../../deps';\nimport type { CICheckOptions, CIIssue } from '../types';\n\n/**\n * Run dependency analysis checks.\n */\nexport async function runDepsChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  options: CICheckOptions\n): Promise<CIIssue[]> {\n  const issues: CIIssue[] = [];\n\n  const result = await analyzeDeps(adapters, {\n    pattern: options.pattern,\n  });\n\n  // Report circular dependencies as errors\n  for (const cycle of result.cycles) {\n    issues.push({\n      ruleId: 'deps-circular',\n      severity: 'error',\n      message: `Circular dependency detected: ${cycle.join(' → ')}`,\n      category: 'deps',\n      context: { cycle },\n    });\n  }\n\n  // Report missing dependencies as errors\n  for (const item of result.missing) {\n    for (const missing of item.missing) {\n      issues.push({\n        ruleId: 'deps-missing',\n        severity: 'error',\n        message: `Missing dependency: ${item.contract} requires ${missing}`,\n        category: 'deps',\n        context: { contract: item.contract, missing },\n      });\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;AAYA,eAAsB,cACpB,UACA,SACoB;CACpB,MAAM,SAAoB,EAAE;CAE5B,MAAM,SAAS,MAAM,YAAY,UAAU,EACzC,SAAS,QAAQ,SAClB,CAAC;AAGF,MAAK,MAAM,SAAS,OAAO,OACzB,QAAO,KAAK;EACV,QAAQ;EACR,UAAU;EACV,SAAS,iCAAiC,MAAM,KAAK,MAAM;EAC3D,UAAU;EACV,SAAS,EAAE,OAAO;EACnB,CAAC;AAIJ,MAAK,MAAM,QAAQ,OAAO,QACxB,MAAK,MAAM,WAAW,KAAK,QACzB,QAAO,KAAK;EACV,QAAQ;EACR,UAAU;EACV,SAAS,uBAAuB,KAAK,SAAS,YAAY;EAC1D,UAAU;EACV,SAAS;GAAE,UAAU,KAAK;GAAU;GAAS;EAC9C,CAAC;AAIN,QAAO"}

package/dist/services/ci-check/checks/doctor.mjs

@@ -0,0 +1,38 @@
+import { runDoctor } from "../../doctor/doctor-service.mjs";
+
+//#region src/services/ci-check/checks/doctor.ts
+/**
+* Run doctor checks (skipping AI in CI).
+*/
+async function runDoctorChecks(adapters, options) {
+	const issues = [];
+	const result = await runDoctor(adapters, {
+		workspaceRoot: options.workspaceRoot ?? process.cwd(),
+		skipAi: true,
+		categories: [
+			"cli",
+			"config",
+			"deps",
+			"workspace"
+		]
+	});
+	for (const check of result.checks) if (check.status === "fail") issues.push({
+		ruleId: `doctor-${check.category}-${check.name.toLowerCase().replace(/\s+/g, "-")}`,
+		severity: "error",
+		message: `${check.name}: ${check.message}`,
+		category: "doctor",
+		context: { details: check.details }
+	});
+	else if (check.status === "warn") issues.push({
+		ruleId: `doctor-${check.category}-${check.name.toLowerCase().replace(/\s+/g, "-")}`,
+		severity: "warning",
+		message: `${check.name}: ${check.message}`,
+		category: "doctor",
+		context: { details: check.details }
+	});
+	return issues;
+}
+
+//#endregion
+export { runDoctorChecks };
+//# sourceMappingURL=doctor.mjs.map

package/dist/services/ci-check/checks/doctor.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"doctor.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/doctor.ts"],"sourcesContent":["/**\n * Doctor checks (skipping AI in CI).\n */\n\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport { runDoctor } from '../../doctor/doctor-service';\nimport type { CICheckOptions, CIIssue } from '../types';\n\n/**\n * Run doctor checks (skipping AI in CI).\n */\nexport async function runDoctorChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  options: CICheckOptions\n): Promise<CIIssue[]> {\n  const issues: CIIssue[] = [];\n\n  const workspaceRoot = options.workspaceRoot ?? process.cwd();\n\n  const result = await runDoctor(adapters, {\n    workspaceRoot,\n    skipAi: true, // Always skip AI in CI\n    categories: ['cli', 'config', 'deps', 'workspace'], // Skip AI and MCP\n  });\n\n  for (const check of result.checks) {\n    if (check.status === 'fail') {\n      issues.push({\n        ruleId: `doctor-${check.category}-${check.name.toLowerCase().replace(/\\s+/g, '-')}`,\n        severity: 'error',\n        message: `${check.name}: ${check.message}`,\n        category: 'doctor',\n        context: { details: check.details },\n      });\n    } else if (check.status === 'warn') {\n      issues.push({\n        ruleId: `doctor-${check.category}-${check.name.toLowerCase().replace(/\\s+/g, '-')}`,\n        severity: 'warning',\n        message: `${check.name}: ${check.message}`,\n        category: 'doctor',\n        context: { details: check.details },\n      });\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;AAYA,eAAsB,gBACpB,UACA,SACoB;CACpB,MAAM,SAAoB,EAAE;CAI5B,MAAM,SAAS,MAAM,UAAU,UAAU;EACvC,eAHoB,QAAQ,iBAAiB,QAAQ,KAAK;EAI1D,QAAQ;EACR,YAAY;GAAC;GAAO;GAAU;GAAQ;GAAY;EACnD,CAAC;AAEF,MAAK,MAAM,SAAS,OAAO,OACzB,KAAI,MAAM,WAAW,OACnB,QAAO,KAAK;EACV,QAAQ,UAAU,MAAM,SAAS,GAAG,MAAM,KAAK,aAAa,CAAC,QAAQ,QAAQ,IAAI;EACjF,UAAU;EACV,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM;EACjC,UAAU;EACV,SAAS,EAAE,SAAS,MAAM,SAAS;EACpC,CAAC;UACO,MAAM,WAAW,OAC1B,QAAO,KAAK;EACV,QAAQ,UAAU,MAAM,SAAS,GAAG,MAAM,KAAK,aAAa,CAAC,QAAQ,QAAQ,IAAI;EACjF,UAAU;EACV,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM;EACjC,UAAU;EACV,SAAS,EAAE,SAAS,MAAM,SAAS;EACpC,CAAC;AAIN,QAAO"}

package/dist/services/ci-check/checks/drift.mjs

@@ -0,0 +1,40 @@
+import { loadWorkspaceConfig } from "../../config.mjs";
+import { detectDrift } from "../../drift.mjs";
+
+//#region src/services/ci-check/checks/drift.ts
+/**
+* Run drift detection checks.
+*/
+async function runDriftChecks(adapters, _options) {
+	const { fs, logger } = adapters;
+	const issues = [];
+	const config = await loadWorkspaceConfig(fs);
+	if (!config.outputDir) {
+		logger.info("No outputDir configured, skipping drift checks");
+		return issues;
+	}
+	const contractsDir = "./contracts";
+	const generatedDir = config.outputDir;
+	if (!await fs.exists(generatedDir)) {
+		logger.info("Generated directory does not exist, skipping drift checks");
+		return issues;
+	}
+	try {
+		const result = await detectDrift(adapters, contractsDir, generatedDir);
+		if (result.hasDrift) for (const file of result.files) issues.push({
+			ruleId: "drift-detected",
+			severity: "error",
+			message: `Drift detected: generated file is out of sync with spec: ${file}`,
+			category: "drift",
+			file: `${generatedDir}/${file}`,
+			context: { file }
+		});
+	} catch (error) {
+		logger.warn("Drift detection failed", { error: error instanceof Error ? error.message : String(error) });
+	}
+	return issues;
+}
+
+//#endregion
+export { runDriftChecks };
+//# sourceMappingURL=drift.mjs.map

package/dist/services/ci-check/checks/drift.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/drift.ts"],"sourcesContent":["/**\n * Drift detection checks.\n *\n * Detects when generated artifacts are out of sync with specs.\n */\n\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport { loadWorkspaceConfig } from '../../config';\nimport { detectDrift } from '../../drift';\nimport type { CICheckOptions, CIIssue } from '../types';\n\n/**\n * Run drift detection checks.\n */\nexport async function runDriftChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  _options: CICheckOptions\n): Promise<CIIssue[]> {\n  const { fs, logger } = adapters;\n  const issues: CIIssue[] = [];\n\n  const config = await loadWorkspaceConfig(fs);\n\n  // Check if we have the required config\n  if (!config.outputDir) {\n    logger.info('No outputDir configured, skipping drift checks');\n    return issues;\n  }\n\n  const contractsDir = './contracts';\n  const generatedDir = config.outputDir;\n\n  // Check if generated dir exists\n  if (!(await fs.exists(generatedDir))) {\n    logger.info('Generated directory does not exist, skipping drift checks');\n    return issues;\n  }\n\n  try {\n    const result = await detectDrift(\n      adapters as Parameters<typeof detectDrift>[0],\n      contractsDir,\n      generatedDir\n    );\n\n    if (result.hasDrift) {\n      for (const file of result.files) {\n        issues.push({\n          ruleId: 'drift-detected',\n          severity: 'error',\n          message: `Drift detected: generated file is out of sync with spec: ${file}`,\n          category: 'drift',\n          file: `${generatedDir}/${file}`,\n          context: { file },\n        });\n      }\n    }\n  } catch (error) {\n    logger.warn('Drift detection failed', {\n      error: error instanceof Error ? error.message : String(error),\n    });\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;;AAeA,eAAsB,eACpB,UACA,UACoB;CACpB,MAAM,EAAE,IAAI,WAAW;CACvB,MAAM,SAAoB,EAAE;CAE5B,MAAM,SAAS,MAAM,oBAAoB,GAAG;AAG5C,KAAI,CAAC,OAAO,WAAW;AACrB,SAAO,KAAK,iDAAiD;AAC7D,SAAO;;CAGT,MAAM,eAAe;CACrB,MAAM,eAAe,OAAO;AAG5B,KAAI,CAAE,MAAM,GAAG,OAAO,aAAa,EAAG;AACpC,SAAO,KAAK,4DAA4D;AACxE,SAAO;;AAGT,KAAI;EACF,MAAM,SAAS,MAAM,YACnB,UACA,cACA,aACD;AAED,MAAI,OAAO,SACT,MAAK,MAAM,QAAQ,OAAO,MACxB,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS,4DAA4D;GACrE,UAAU;GACV,MAAM,GAAG,aAAa,GAAG;GACzB,SAAS,EAAE,MAAM;GAClB,CAAC;UAGC,OAAO;AACd,SAAO,KAAK,0BAA0B,EACpC,OAAO,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,EAC9D,CAAC;;AAGJ,QAAO"}

package/dist/services/ci-check/checks/handlers.mjs

@@ -0,0 +1,38 @@
+import { validateImplementationFiles } from "../../validate/implementation-validator.mjs";
+import { loadWorkspaceConfig } from "../../config.mjs";
+
+//#region src/services/ci-check/checks/handlers.ts
+/**
+* Run handler implementation checks.
+*/
+async function runHandlerChecks(adapters, specFiles) {
+	const { fs } = adapters;
+	const issues = [];
+	const config = await loadWorkspaceConfig(fs);
+	for (const specFile of specFiles) {
+		if (!specFile.includes(".operation.")) continue;
+		const result = await validateImplementationFiles(specFile, { fs }, config, {
+			checkHandlers: true,
+			outputDir: config.outputDir
+		});
+		for (const error of result.errors) issues.push({
+			ruleId: "handler-missing",
+			severity: "warning",
+			message: error,
+			category: "handlers",
+			file: specFile
+		});
+		for (const warning of result.warnings) issues.push({
+			ruleId: "handler-warning",
+			severity: "warning",
+			message: warning,
+			category: "handlers",
+			file: specFile
+		});
+	}
+	return issues;
+}
+
+//#endregion
+export { runHandlerChecks };
+//# sourceMappingURL=handlers.mjs.map

package/dist/services/ci-check/checks/handlers.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"handlers.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/handlers.ts"],"sourcesContent":["/**\n * Handler implementation checks.\n */\n\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport { loadWorkspaceConfig } from '../../config';\nimport { validateImplementationFiles } from '../../validate/implementation-validator';\nimport type { CIIssue } from '../types';\n\n/**\n * Run handler implementation checks.\n */\nexport async function runHandlerChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  specFiles: string[]\n): Promise<CIIssue[]> {\n  const { fs } = adapters;\n  const issues: CIIssue[] = [];\n\n  const config = await loadWorkspaceConfig(fs);\n\n  for (const specFile of specFiles) {\n    // Only check operation specs\n    if (!specFile.includes('.operation.')) continue;\n\n    const result = await validateImplementationFiles(specFile, { fs }, config, {\n      checkHandlers: true,\n      outputDir: config.outputDir,\n    });\n\n    for (const error of result.errors) {\n      issues.push({\n        ruleId: 'handler-missing',\n        severity: 'warning', // Handler missing is a warning, not error\n        message: error,\n        category: 'handlers',\n        file: specFile,\n      });\n    }\n\n    for (const warning of result.warnings) {\n      issues.push({\n        ruleId: 'handler-warning',\n        severity: 'warning',\n        message: warning,\n        category: 'handlers',\n        file: specFile,\n      });\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;;AAaA,eAAsB,iBACpB,UACA,WACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAM,SAAoB,EAAE;CAE5B,MAAM,SAAS,MAAM,oBAAoB,GAAG;AAE5C,MAAK,MAAM,YAAY,WAAW;AAEhC,MAAI,CAAC,SAAS,SAAS,cAAc,CAAE;EAEvC,MAAM,SAAS,MAAM,4BAA4B,UAAU,EAAE,IAAI,EAAE,QAAQ;GACzE,eAAe;GACf,WAAW,OAAO;GACnB,CAAC;AAEF,OAAK,MAAM,SAAS,OAAO,OACzB,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS;GACT,UAAU;GACV,MAAM;GACP,CAAC;AAGJ,OAAK,MAAM,WAAW,OAAO,SAC3B,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS;GACT,UAAU;GACV,MAAM;GACP,CAAC;;AAIN,QAAO"}

package/dist/services/ci-check/checks/implementation.mjs

@@ -0,0 +1,73 @@
+import { loadWorkspaceConfig } from "../../config.mjs";
+import { resolveAllImplementations } from "../../implementation/resolver/index.mjs";
+
+//#region src/services/ci-check/checks/implementation.ts
+/**
+* Run implementation verification checks.
+*/
+async function runImplementationChecks(adapters, specFiles, options) {
+	const { fs } = adapters;
+	const issues = [];
+	const config = await loadWorkspaceConfig(fs);
+	const implOptions = options.implementation ?? {};
+	const results = await resolveAllImplementations(specFiles.filter((f) => f.includes(".operation.")), { fs }, config, { computeHashes: implOptions.useCache ?? true });
+	for (const result of results) {
+		if (implOptions.requireImplemented && result.status === "missing") issues.push({
+			ruleId: "impl-missing",
+			severity: "error",
+			message: `Spec ${result.specKey} has no implementation`,
+			category: "implementation",
+			file: result.specPath,
+			context: {
+				specKey: result.specKey,
+				specVersion: result.specVersion,
+				status: result.status
+			}
+		});
+		else if (result.status === "missing") issues.push({
+			ruleId: "impl-missing",
+			severity: "warning",
+			message: `Spec ${result.specKey} has no implementation`,
+			category: "implementation",
+			file: result.specPath,
+			context: {
+				specKey: result.specKey,
+				specVersion: result.specVersion,
+				status: result.status
+			}
+		});
+		if (!implOptions.allowPartial && result.status === "partial") {
+			const missingImpls = result.implementations.filter((i) => !i.exists && i.type !== "test").map((i) => i.path);
+			issues.push({
+				ruleId: "impl-partial",
+				severity: "warning",
+				message: `Spec ${result.specKey} has partial implementation: missing ${missingImpls.join(", ")}`,
+				category: "implementation",
+				file: result.specPath,
+				context: {
+					specKey: result.specKey,
+					specVersion: result.specVersion,
+					status: result.status,
+					missingFiles: missingImpls
+				}
+			});
+		}
+		const missingTests = result.implementations.filter((i) => !i.exists && i.type === "test");
+		if (missingTests.length > 0) issues.push({
+			ruleId: "impl-missing-tests",
+			severity: "note",
+			message: `Spec ${result.specKey} missing test files: ${missingTests.map((t) => t.path).join(", ")}`,
+			category: "implementation",
+			file: result.specPath,
+			context: {
+				specKey: result.specKey,
+				missingTests: missingTests.map((t) => t.path)
+			}
+		});
+	}
+	return issues;
+}
+
+//#endregion
+export { runImplementationChecks };
+//# sourceMappingURL=implementation.mjs.map

package/dist/services/ci-check/checks/implementation.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/implementation.ts"],"sourcesContent":["/**\n * Implementation verification checks.\n */\n\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport { loadWorkspaceConfig } from '../../config';\nimport { resolveAllImplementations } from '../../implementation/resolver';\nimport type { CICheckOptions, CIIssue } from '../types';\n\n/**\n * Run implementation verification checks.\n */\nexport async function runImplementationChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  specFiles: string[],\n  options: CICheckOptions\n): Promise<CIIssue[]> {\n  const { fs } = adapters;\n  const issues: CIIssue[] = [];\n\n  const config = await loadWorkspaceConfig(fs);\n  const implOptions = options.implementation ?? {};\n\n  // Only check operation specs by default\n  const operationSpecs = specFiles.filter((f) => f.includes('.operation.'));\n\n  // Resolve implementations for all specs\n  const results = await resolveAllImplementations(\n    operationSpecs,\n    { fs },\n    config,\n    {\n      computeHashes: implOptions.useCache ?? true,\n    }\n  );\n\n  for (const result of results) {\n    // Check if implementation is required\n    if (implOptions.requireImplemented && result.status === 'missing') {\n      issues.push({\n        ruleId: 'impl-missing',\n        severity: 'error',\n        message: `Spec ${result.specKey} has no implementation`,\n        category: 'implementation',\n        file: result.specPath,\n        context: {\n          specKey: result.specKey,\n          specVersion: result.specVersion,\n          status: result.status,\n        },\n      });\n    } else if (result.status === 'missing') {\n      issues.push({\n        ruleId: 'impl-missing',\n        severity: 'warning',\n        message: `Spec ${result.specKey} has no implementation`,\n        category: 'implementation',\n        file: result.specPath,\n        context: {\n          specKey: result.specKey,\n          specVersion: result.specVersion,\n          status: result.status,\n        },\n      });\n    }\n\n    // Check for partial implementations\n    if (!implOptions.allowPartial && result.status === 'partial') {\n      const missingImpls = result.implementations\n        .filter((i) => !i.exists && i.type !== 'test')\n        .map((i) => i.path);\n\n      issues.push({\n        ruleId: 'impl-partial',\n        severity: 'warning',\n        message: `Spec ${result.specKey} has partial implementation: missing ${missingImpls.join(', ')}`,\n        category: 'implementation',\n        file: result.specPath,\n        context: {\n          specKey: result.specKey,\n          specVersion: result.specVersion,\n          status: result.status,\n          missingFiles: missingImpls,\n        },\n      });\n    }\n\n    // Report missing tests\n    const missingTests = result.implementations.filter(\n      (i) => !i.exists && i.type === 'test'\n    );\n    if (missingTests.length > 0) {\n      issues.push({\n        ruleId: 'impl-missing-tests',\n        severity: 'note',\n        message: `Spec ${result.specKey} missing test files: ${missingTests.map((t) => t.path).join(', ')}`,\n        category: 'implementation',\n        file: result.specPath,\n        context: {\n          specKey: result.specKey,\n          missingTests: missingTests.map((t) => t.path),\n        },\n      });\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;;AAaA,eAAsB,wBACpB,UACA,WACA,SACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAM,SAAoB,EAAE;CAE5B,MAAM,SAAS,MAAM,oBAAoB,GAAG;CAC5C,MAAM,cAAc,QAAQ,kBAAkB,EAAE;CAMhD,MAAM,UAAU,MAAM,0BAHC,UAAU,QAAQ,MAAM,EAAE,SAAS,cAAc,CAAC,EAKvE,EAAE,IAAI,EACN,QACA,EACE,eAAe,YAAY,YAAY,MACxC,CACF;AAED,MAAK,MAAM,UAAU,SAAS;AAE5B,MAAI,YAAY,sBAAsB,OAAO,WAAW,UACtD,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS,QAAQ,OAAO,QAAQ;GAChC,UAAU;GACV,MAAM,OAAO;GACb,SAAS;IACP,SAAS,OAAO;IAChB,aAAa,OAAO;IACpB,QAAQ,OAAO;IAChB;GACF,CAAC;WACO,OAAO,WAAW,UAC3B,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS,QAAQ,OAAO,QAAQ;GAChC,UAAU;GACV,MAAM,OAAO;GACb,SAAS;IACP,SAAS,OAAO;IAChB,aAAa,OAAO;IACpB,QAAQ,OAAO;IAChB;GACF,CAAC;AAIJ,MAAI,CAAC,YAAY,gBAAgB,OAAO,WAAW,WAAW;GAC5D,MAAM,eAAe,OAAO,gBACzB,QAAQ,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,OAAO,CAC7C,KAAK,MAAM,EAAE,KAAK;AAErB,UAAO,KAAK;IACV,QAAQ;IACR,UAAU;IACV,SAAS,QAAQ,OAAO,QAAQ,uCAAuC,aAAa,KAAK,KAAK;IAC9F,UAAU;IACV,MAAM,OAAO;IACb,SAAS;KACP,SAAS,OAAO;KAChB,aAAa,OAAO;KACpB,QAAQ,OAAO;KACf,cAAc;KACf;IACF,CAAC;;EAIJ,MAAM,eAAe,OAAO,gBAAgB,QACzC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,OAChC;AACD,MAAI,aAAa,SAAS,EACxB,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS,QAAQ,OAAO,QAAQ,uBAAuB,aAAa,KAAK,MAAM,EAAE,KAAK,CAAC,KAAK,KAAK;GACjG,UAAU;GACV,MAAM,OAAO;GACb,SAAS;IACP,SAAS,OAAO;IAChB,cAAc,aAAa,KAAK,MAAM,EAAE,KAAK;IAC9C;GACF,CAAC;;AAIN,QAAO"}

package/dist/services/ci-check/checks/index.mjs

@@ -0,0 +1,13 @@
+import { runStructureChecks } from "./structure.mjs";
+import { runIntegrityChecks } from "./integrity.mjs";
+import { runDepsChecks } from "./deps.mjs";
+import { runDoctorChecks } from "./doctor.mjs";
+import { runHandlerChecks } from "./handlers.mjs";
+import { runTestChecks } from "./tests.mjs";
+import { runTestRefsChecks } from "./test-refs.mjs";
+import { runCoverageChecks } from "./coverage.mjs";
+import { runImplementationChecks } from "./implementation.mjs";
+import { runLayerChecks } from "./layers.mjs";
+import { runDriftChecks } from "./drift.mjs";
+
+export {  };

package/dist/services/ci-check/checks/integrity.mjs

@@ -0,0 +1,31 @@
+import { analyzeIntegrity } from "../../integrity.mjs";
+
+//#region src/services/ci-check/checks/integrity.ts
+/**
+* Run integrity analysis checks.
+*/
+async function runIntegrityChecks(adapters, options) {
+	const issues = [];
+	const result = await analyzeIntegrity(adapters, {
+		pattern: options.pattern,
+		all: true
+	});
+	for (const issue of result.issues) issues.push({
+		ruleId: `integrity-${issue.type}`,
+		severity: issue.severity === "error" ? "error" : "warning",
+		message: issue.message,
+		category: "integrity",
+		file: issue.file,
+		context: {
+			specKey: issue.specKey,
+			specType: issue.specType,
+			featureKey: issue.featureKey,
+			ref: issue.ref
+		}
+	});
+	return issues;
+}
+
+//#endregion
+export { runIntegrityChecks };
+//# sourceMappingURL=integrity.mjs.map

package/dist/services/ci-check/checks/integrity.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/integrity.ts"],"sourcesContent":["/**\n * Integrity analysis checks.\n */\n\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport { analyzeIntegrity } from '../../integrity';\nimport type { CICheckOptions, CIIssue } from '../types';\n\n/**\n * Run integrity analysis checks.\n */\nexport async function runIntegrityChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  options: CICheckOptions\n): Promise<CIIssue[]> {\n  const issues: CIIssue[] = [];\n\n  const result = await analyzeIntegrity(adapters, {\n    pattern: options.pattern,\n    all: true,\n  });\n\n  for (const issue of result.issues) {\n    issues.push({\n      ruleId: `integrity-${issue.type}`,\n      severity: issue.severity === 'error' ? 'error' : 'warning',\n      message: issue.message,\n      category: 'integrity',\n      file: issue.file,\n      context: {\n        specKey: issue.specKey,\n        specType: issue.specType,\n        featureKey: issue.featureKey,\n        ref: issue.ref,\n      },\n    });\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;AAYA,eAAsB,mBACpB,UACA,SACoB;CACpB,MAAM,SAAoB,EAAE;CAE5B,MAAM,SAAS,MAAM,iBAAiB,UAAU;EAC9C,SAAS,QAAQ;EACjB,KAAK;EACN,CAAC;AAEF,MAAK,MAAM,SAAS,OAAO,OACzB,QAAO,KAAK;EACV,QAAQ,aAAa,MAAM;EAC3B,UAAU,MAAM,aAAa,UAAU,UAAU;EACjD,SAAS,MAAM;EACf,UAAU;EACV,MAAM,MAAM;EACZ,SAAS;GACP,SAAS,MAAM;GACf,UAAU,MAAM;GAChB,YAAY,MAAM;GAClB,KAAK,MAAM;GACZ;EACF,CAAC;AAGJ,QAAO"}