@contractspec/bundle.workspace 1.46.1 → 1.47.0

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

@@ -0,0 +1,66 @@
+import { discoverLayers } from "../../layer-discovery.mjs";
+
+//#region src/services/ci-check/checks/layers.ts
+/**
+* Run layer validation checks.
+*/
+async function runLayerChecks(adapters, _options) {
+	const issues = [];
+	const result = await discoverLayers(adapters, {});
+	for (const [key, feature] of result.inventory.features) {
+		if (!feature.key) issues.push({
+			ruleId: "layer-feature-missing-key",
+			severity: "error",
+			message: `Feature missing required 'key' field`,
+			category: "layers",
+			file: feature.filePath,
+			context: { key }
+		});
+		if (!feature.owners?.length) issues.push({
+			ruleId: "layer-feature-missing-owners",
+			severity: "warning",
+			message: `Feature '${key}' missing 'owners' field`,
+			category: "layers",
+			file: feature.filePath,
+			context: { key }
+		});
+		if (feature.operations.length === 0 && feature.events.length === 0 && feature.presentations.length === 0) issues.push({
+			ruleId: "layer-feature-empty",
+			severity: "warning",
+			message: `Feature '${key}' has no operations, events, or presentations`,
+			category: "layers",
+			file: feature.filePath,
+			context: { key }
+		});
+	}
+	for (const [key, example] of result.inventory.examples) {
+		if (!example.entrypoints.packageName) issues.push({
+			ruleId: "layer-example-missing-package",
+			severity: "error",
+			message: `Example '${key}' missing 'packageName' in entrypoints`,
+			category: "layers",
+			file: example.filePath,
+			context: { key }
+		});
+		if (!example.surfaces.templates && !example.surfaces.sandbox.enabled && !example.surfaces.studio.enabled && !example.surfaces.mcp.enabled) issues.push({
+			ruleId: "layer-example-no-surfaces",
+			severity: "warning",
+			message: `Example '${key}' has no enabled surfaces`,
+			category: "layers",
+			file: example.filePath,
+			context: { key }
+		});
+	}
+	for (const config of result.inventory.workspaceConfigs.values()) if (!config.valid) for (const error of config.errors) issues.push({
+		ruleId: "layer-workspace-config-invalid",
+		severity: "error",
+		message: `Invalid workspace config: ${error}`,
+		category: "layers",
+		file: config.file
+	});
+	return issues;
+}
+
+//#endregion
+export { runLayerChecks };
+//# sourceMappingURL=layers.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"layers.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/layers.ts"],"sourcesContent":["/**\n * Layer validation checks.\n */\n\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport { discoverLayers } from '../../layer-discovery';\nimport type { CICheckOptions, CIIssue } from '../types';\n\n/**\n * Run layer validation checks.\n */\nexport async function runLayerChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  _options: CICheckOptions\n): Promise<CIIssue[]> {\n  const issues: CIIssue[] = [];\n\n  // Discover all layers\n  const result = await discoverLayers(adapters, {});\n\n  // Validate features\n  for (const [key, feature] of result.inventory.features) {\n    // Check required meta fields\n    if (!feature.key) {\n      issues.push({\n        ruleId: 'layer-feature-missing-key',\n        severity: 'error',\n        message: `Feature missing required 'key' field`,\n        category: 'layers',\n        file: feature.filePath,\n        context: { key },\n      });\n    }\n\n    if (!feature.owners?.length) {\n      issues.push({\n        ruleId: 'layer-feature-missing-owners',\n        severity: 'warning',\n        message: `Feature '${key}' missing 'owners' field`,\n        category: 'layers',\n        file: feature.filePath,\n        context: { key },\n      });\n    }\n\n    // Check for empty features\n    if (\n      feature.operations.length === 0 &&\n      feature.events.length === 0 &&\n      feature.presentations.length === 0\n    ) {\n      issues.push({\n        ruleId: 'layer-feature-empty',\n        severity: 'warning',\n        message: `Feature '${key}' has no operations, events, or presentations`,\n        category: 'layers',\n        file: feature.filePath,\n        context: { key },\n      });\n    }\n  }\n\n  // Validate examples\n  for (const [key, example] of result.inventory.examples) {\n    // Check required entrypoints\n    if (!example.entrypoints.packageName) {\n      issues.push({\n        ruleId: 'layer-example-missing-package',\n        severity: 'error',\n        message: `Example '${key}' missing 'packageName' in entrypoints`,\n        category: 'layers',\n        file: example.filePath,\n        context: { key },\n      });\n    }\n\n    // Check required surfaces\n    if (\n      !example.surfaces.templates &&\n      !example.surfaces.sandbox.enabled &&\n      !example.surfaces.studio.enabled &&\n      !example.surfaces.mcp.enabled\n    ) {\n      issues.push({\n        ruleId: 'layer-example-no-surfaces',\n        severity: 'warning',\n        message: `Example '${key}' has no enabled surfaces`,\n        category: 'layers',\n        file: example.filePath,\n        context: { key },\n      });\n    }\n  }\n\n  // Validate workspace configs\n  for (const config of result.inventory.workspaceConfigs.values()) {\n    if (!config.valid) {\n      for (const error of config.errors) {\n        issues.push({\n          ruleId: 'layer-workspace-config-invalid',\n          severity: 'error',\n          message: `Invalid workspace config: ${error}`,\n          category: 'layers',\n          file: config.file,\n        });\n      }\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;AAYA,eAAsB,eACpB,UACA,UACoB;CACpB,MAAM,SAAoB,EAAE;CAG5B,MAAM,SAAS,MAAM,eAAe,UAAU,EAAE,CAAC;AAGjD,MAAK,MAAM,CAAC,KAAK,YAAY,OAAO,UAAU,UAAU;AAEtD,MAAI,CAAC,QAAQ,IACX,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS;GACT,UAAU;GACV,MAAM,QAAQ;GACd,SAAS,EAAE,KAAK;GACjB,CAAC;AAGJ,MAAI,CAAC,QAAQ,QAAQ,OACnB,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS,YAAY,IAAI;GACzB,UAAU;GACV,MAAM,QAAQ;GACd,SAAS,EAAE,KAAK;GACjB,CAAC;AAIJ,MACE,QAAQ,WAAW,WAAW,KAC9B,QAAQ,OAAO,WAAW,KAC1B,QAAQ,cAAc,WAAW,EAEjC,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS,YAAY,IAAI;GACzB,UAAU;GACV,MAAM,QAAQ;GACd,SAAS,EAAE,KAAK;GACjB,CAAC;;AAKN,MAAK,MAAM,CAAC,KAAK,YAAY,OAAO,UAAU,UAAU;AAEtD,MAAI,CAAC,QAAQ,YAAY,YACvB,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS,YAAY,IAAI;GACzB,UAAU;GACV,MAAM,QAAQ;GACd,SAAS,EAAE,KAAK;GACjB,CAAC;AAIJ,MACE,CAAC,QAAQ,SAAS,aAClB,CAAC,QAAQ,SAAS,QAAQ,WAC1B,CAAC,QAAQ,SAAS,OAAO,WACzB,CAAC,QAAQ,SAAS,IAAI,QAEtB,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS,YAAY,IAAI;GACzB,UAAU;GACV,MAAM,QAAQ;GACd,SAAS,EAAE,KAAK;GACjB,CAAC;;AAKN,MAAK,MAAM,UAAU,OAAO,UAAU,iBAAiB,QAAQ,CAC7D,KAAI,CAAC,OAAO,MACV,MAAK,MAAM,SAAS,OAAO,OACzB,QAAO,KAAK;EACV,QAAQ;EACR,UAAU;EACV,SAAS,6BAA6B;EACtC,UAAU;EACV,MAAM,OAAO;EACd,CAAC;AAKR,QAAO"}

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

@@ -0,0 +1,35 @@
+import { validateSpecStructure } from "@contractspec/module.workspace";
+
+//#region src/services/ci-check/checks/structure.ts
+/**
+* Structure validation checks.
+*/
+/**
+* Run spec structure validation checks.
+*/
+async function runStructureChecks(adapters, specFiles) {
+	const { fs } = adapters;
+	const issues = [];
+	for (const file of specFiles) {
+		const result = validateSpecStructure(await fs.readFile(file), file);
+		for (const error of result.errors) issues.push({
+			ruleId: "spec-structure-error",
+			severity: "error",
+			message: error,
+			category: "structure",
+			file
+		});
+		for (const warning of result.warnings) issues.push({
+			ruleId: "spec-structure-warning",
+			severity: "warning",
+			message: warning,
+			category: "structure",
+			file
+		});
+	}
+	return issues;
+}
+
+//#endregion
+export { runStructureChecks };
+//# sourceMappingURL=structure.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"structure.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/structure.ts"],"sourcesContent":["/**\n * Structure validation checks.\n */\n\nimport { validateSpecStructure } from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport type { CIIssue } from '../types';\n\n/**\n * Run spec structure validation checks.\n */\nexport async function runStructureChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  specFiles: string[]\n): Promise<CIIssue[]> {\n  const { fs } = adapters;\n  const issues: CIIssue[] = [];\n\n  for (const file of specFiles) {\n    const content = await fs.readFile(file);\n    const result = validateSpecStructure(content, file);\n\n    for (const error of result.errors) {\n      issues.push({\n        ruleId: 'spec-structure-error',\n        severity: 'error',\n        message: error,\n        category: 'structure',\n        file,\n      });\n    }\n\n    for (const warning of result.warnings) {\n      issues.push({\n        ruleId: 'spec-structure-warning',\n        severity: 'warning',\n        message: warning,\n        category: 'structure',\n        file,\n      });\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;;;;AAYA,eAAsB,mBACpB,UACA,WACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAM,SAAoB,EAAE;AAE5B,MAAK,MAAM,QAAQ,WAAW;EAE5B,MAAM,SAAS,sBADC,MAAM,GAAG,SAAS,KAAK,EACO,KAAK;AAEnD,OAAK,MAAM,SAAS,OAAO,OACzB,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS;GACT,UAAU;GACV;GACD,CAAC;AAGJ,OAAK,MAAM,WAAW,OAAO,SAC3B,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS;GACT,UAAU;GACV;GACD,CAAC;;AAIN,QAAO"}

package/dist/services/ci-check/checks/test-refs.mjs

@@ -0,0 +1,63 @@
+import { validateTestRefs } from "../../test-link/test-ref-validator.mjs";
+import { scanAllSpecsFromSource } from "@contractspec/module.workspace";
+
+//#region src/services/ci-check/checks/test-refs.ts
+/**
+* Test reference validation checks.
+*
+* Validates that all tests referenced in OperationSpec.tests actually exist.
+* Missing references are reported as ERRORS (blocking CI) to enforce contract integrity.
+*/
+/**
+* Run test reference validation checks.
+*/
+async function runTestRefsChecks(adapters, specFiles) {
+	const { fs } = adapters;
+	const issues = [];
+	const testSpecIndex = /* @__PURE__ */ new Map();
+	const specsByFile = /* @__PURE__ */ new Map();
+	for (const specFile of specFiles) {
+		const scans = scanAllSpecsFromSource(await fs.readFile(specFile), specFile);
+		for (const scan of scans) {
+			if (!scan.key || !scan.version) continue;
+			if (scan.specType === "test-spec") {
+				const testKey = `${scan.key}.v${scan.version}`;
+				testSpecIndex.set(testKey, {
+					key: scan.key,
+					version: scan.version,
+					file: specFile,
+					type: "test-spec"
+				});
+			}
+			if (scan.testRefs && scan.testRefs.length > 0) {
+				if (!specsByFile.has(specFile)) specsByFile.set(specFile, []);
+				specsByFile.get(specFile)?.push({
+					key: scan.key,
+					version: scan.version,
+					testRefs: scan.testRefs
+				});
+			}
+		}
+	}
+	for (const [specFile, specs] of specsByFile) for (const spec of specs) {
+		if (!spec.testRefs) continue;
+		const result = validateTestRefs(specFile, spec.key, spec.version, spec.testRefs, testSpecIndex, { treatMissingAsError: true });
+		for (const error of result.errors) issues.push({
+			ruleId: "test-ref-missing",
+			severity: "error",
+			message: error,
+			category: "test-refs",
+			file: specFile,
+			context: {
+				specKey: spec.key,
+				specVersion: spec.version,
+				missingTests: result.missingTests
+			}
+		});
+	}
+	return issues;
+}
+
+//#endregion
+export { runTestRefsChecks };
+//# sourceMappingURL=test-refs.mjs.map

package/dist/services/ci-check/checks/test-refs.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-refs.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/test-refs.ts"],"sourcesContent":["/**\n * Test reference validation checks.\n *\n * Validates that all tests referenced in OperationSpec.tests actually exist.\n * Missing references are reported as ERRORS (blocking CI) to enforce contract integrity.\n */\n\nimport { scanAllSpecsFromSource } from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../../../ports/fs';\nimport type { LoggerAdapter } from '../../../ports/logger';\nimport type { SpecLocation } from '../../integrity';\nimport { validateTestRefs } from '../../test-link';\nimport type { CIIssue } from '../types';\n\n/**\n * Run test reference validation checks.\n */\nexport async function runTestRefsChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  specFiles: string[]\n): Promise<CIIssue[]> {\n  const { fs } = adapters;\n  const issues: CIIssue[] = [];\n\n  // Build inventory of test specs\n  const testSpecIndex = new Map<string, SpecLocation>();\n  const specsByFile = new Map<\n    string,\n    {\n      key: string;\n      version: string;\n      testRefs?: { key: string; version: string }[];\n    }[]\n  >();\n\n  // Scan all spec files to build inventory\n  for (const specFile of specFiles) {\n    const content = await fs.readFile(specFile);\n    const scans = scanAllSpecsFromSource(content, specFile);\n\n    for (const scan of scans) {\n      if (!scan.key || !scan.version) continue;\n\n      // Build test spec index\n      if (scan.specType === 'test-spec') {\n        const testKey = `${scan.key}.v${scan.version}`;\n        testSpecIndex.set(testKey, {\n          key: scan.key,\n          version: scan.version,\n          file: specFile,\n          type: 'test-spec',\n        });\n      }\n\n      // Track specs with test refs for validation\n      if (scan.testRefs && scan.testRefs.length > 0) {\n        if (!specsByFile.has(specFile)) {\n          specsByFile.set(specFile, []);\n        }\n        specsByFile.get(specFile)?.push({\n          key: scan.key,\n          version: scan.version,\n          testRefs: scan.testRefs,\n        });\n      }\n    }\n  }\n\n  // Validate test references for each spec\n  for (const [specFile, specs] of specsByFile) {\n    for (const spec of specs) {\n      if (!spec.testRefs) continue;\n\n      const result = validateTestRefs(\n        specFile,\n        spec.key,\n        spec.version,\n        spec.testRefs,\n        testSpecIndex,\n        { treatMissingAsError: true }\n      );\n\n      // Report errors for missing test references\n      for (const error of result.errors) {\n        issues.push({\n          ruleId: 'test-ref-missing',\n          severity: 'error', // ERRORS - block CI for contract integrity\n          message: error,\n          category: 'test-refs',\n          file: specFile,\n          context: {\n            specKey: spec.key,\n            specVersion: spec.version,\n            missingTests: result.missingTests,\n          },\n        });\n      }\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;;;;;;;;AAiBA,eAAsB,kBACpB,UACA,WACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAM,SAAoB,EAAE;CAG5B,MAAM,gCAAgB,IAAI,KAA2B;CACrD,MAAM,8BAAc,IAAI,KAOrB;AAGH,MAAK,MAAM,YAAY,WAAW;EAEhC,MAAM,QAAQ,uBADE,MAAM,GAAG,SAAS,SAAS,EACG,SAAS;AAEvD,OAAK,MAAM,QAAQ,OAAO;AACxB,OAAI,CAAC,KAAK,OAAO,CAAC,KAAK,QAAS;AAGhC,OAAI,KAAK,aAAa,aAAa;IACjC,MAAM,UAAU,GAAG,KAAK,IAAI,IAAI,KAAK;AACrC,kBAAc,IAAI,SAAS;KACzB,KAAK,KAAK;KACV,SAAS,KAAK;KACd,MAAM;KACN,MAAM;KACP,CAAC;;AAIJ,OAAI,KAAK,YAAY,KAAK,SAAS,SAAS,GAAG;AAC7C,QAAI,CAAC,YAAY,IAAI,SAAS,CAC5B,aAAY,IAAI,UAAU,EAAE,CAAC;AAE/B,gBAAY,IAAI,SAAS,EAAE,KAAK;KAC9B,KAAK,KAAK;KACV,SAAS,KAAK;KACd,UAAU,KAAK;KAChB,CAAC;;;;AAMR,MAAK,MAAM,CAAC,UAAU,UAAU,YAC9B,MAAK,MAAM,QAAQ,OAAO;AACxB,MAAI,CAAC,KAAK,SAAU;EAEpB,MAAM,SAAS,iBACb,UACA,KAAK,KACL,KAAK,SACL,KAAK,UACL,eACA,EAAE,qBAAqB,MAAM,CAC9B;AAGD,OAAK,MAAM,SAAS,OAAO,OACzB,QAAO,KAAK;GACV,QAAQ;GACR,UAAU;GACV,SAAS;GACT,UAAU;GACV,MAAM;GACN,SAAS;IACP,SAAS,KAAK;IACd,aAAa,KAAK;IAClB,cAAc,OAAO;IACtB;GACF,CAAC;;AAKR,QAAO"}

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

@@ -0,0 +1,38 @@
+import { validateImplementationFiles } from "../../validate/implementation-validator.mjs";
+import { loadWorkspaceConfig } from "../../config.mjs";
+
+//#region src/services/ci-check/checks/tests.ts
+/**
+* Run test coverage checks.
+*/
+async function runTestChecks(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, {
+			checkTests: true,
+			outputDir: config.outputDir
+		});
+		for (const error of result.errors) issues.push({
+			ruleId: "test-missing",
+			severity: "warning",
+			message: error,
+			category: "tests",
+			file: specFile
+		});
+		for (const warning of result.warnings) issues.push({
+			ruleId: "test-warning",
+			severity: "warning",
+			message: warning,
+			category: "tests",
+			file: specFile
+		});
+	}
+	return issues;
+}
+
+//#endregion
+export { runTestChecks };
+//# sourceMappingURL=tests.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tests.mjs","names":[],"sources":["../../../../src/services/ci-check/checks/tests.ts"],"sourcesContent":["/**\n * Test coverage 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 test coverage checks.\n */\nexport async function runTestChecks(\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      checkTests: true,\n      outputDir: config.outputDir,\n    });\n\n    for (const error of result.errors) {\n      issues.push({\n        ruleId: 'test-missing',\n        severity: 'warning', // Test missing is a warning, not error\n        message: error,\n        category: 'tests',\n        file: specFile,\n      });\n    }\n\n    for (const warning of result.warnings) {\n      issues.push({\n        ruleId: 'test-warning',\n        severity: 'warning',\n        message: warning,\n        category: 'tests',\n        file: specFile,\n      });\n    }\n  }\n\n  return issues;\n}\n"],"mappings":";;;;;;;AAaA,eAAsB,cACpB,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,YAAY;GACZ,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/ci-check-service.d.mts

@@ -0,0 +1,16 @@
+import { FsAdapter } from "../../ports/fs.mjs";
+import { LoggerAdapter } from "../../ports/logger.mjs";
+import { CICheckOptions, CICheckResult } from "./types.mjs";
+
+//#region src/services/ci-check/ci-check-service.d.ts
+
+/**
+ * Run all CI checks and return structured results.
+ */
+declare function runCIChecks(adapters: {
+  fs: FsAdapter;
+  logger: LoggerAdapter;
+}, options?: CICheckOptions): Promise<CICheckResult>;
+//#endregion
+export { runCIChecks };
+//# sourceMappingURL=ci-check-service.d.mts.map

package/dist/services/ci-check/ci-check-service.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ci-check-service.d.mts","names":[],"sources":["../../../src/services/ci-check/ci-check-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;;iBAsCsB,WAAA;MACJ;UAAmB;aAC1B,iBACR,QAAQ"}

package/dist/services/ci-check/ci-check-service.mjs

@@ -0,0 +1,129 @@
+import { isTestFile } from "../../utils/filter.mjs";
+import "../../utils/index.mjs";
+import { runStructureChecks } from "./checks/structure.mjs";
+import { runIntegrityChecks } from "./checks/integrity.mjs";
+import { runDepsChecks } from "./checks/deps.mjs";
+import { runDoctorChecks } from "./checks/doctor.mjs";
+import { runHandlerChecks } from "./checks/handlers.mjs";
+import { runTestChecks } from "./checks/tests.mjs";
+import { runTestRefsChecks } from "./checks/test-refs.mjs";
+import { runCoverageChecks } from "./checks/coverage.mjs";
+import { runImplementationChecks } from "./checks/implementation.mjs";
+import { runLayerChecks } from "./checks/layers.mjs";
+import { runDriftChecks } from "./checks/drift.mjs";
+import "./checks/index.mjs";
+import { createCategorySummary, getChecksToRun, getGitInfo } from "./utils.mjs";
+import { isFeatureFile } from "@contractspec/module.workspace";
+
+//#region src/services/ci-check/ci-check-service.ts
+/**
+* CI Check service.
+*
+* Orchestrates all validation checks for CI/CD pipelines.
+* Returns structured results suitable for multiple output formats.
+*/
+/**
+* Run all CI checks and return structured results.
+*/
+async function runCIChecks(adapters, options = {}) {
+	const startTime = Date.now();
+	const { fs, logger } = adapters;
+	const issues = [];
+	const categorySummaries = [];
+	const checksToRun = getChecksToRun(options);
+	logger.info("Starting CI checks...", { checks: checksToRun });
+	const specFiles = (await fs.glob({ pattern: options.pattern })).filter((f) => !isFeatureFile(f) && !isTestFile(f, options.config));
+	if (checksToRun.includes("structure")) {
+		const categoryStart = Date.now();
+		const structureIssues = await runStructureChecks(adapters, specFiles);
+		issues.push(...structureIssues);
+		categorySummaries.push(createCategorySummary("structure", structureIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("integrity")) {
+		const categoryStart = Date.now();
+		const integrityIssues = await runIntegrityChecks(adapters, options);
+		issues.push(...integrityIssues);
+		categorySummaries.push(createCategorySummary("integrity", integrityIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("deps")) {
+		const categoryStart = Date.now();
+		const depsIssues = await runDepsChecks(adapters, options);
+		issues.push(...depsIssues);
+		categorySummaries.push(createCategorySummary("deps", depsIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("doctor")) {
+		const categoryStart = Date.now();
+		const doctorIssues = await runDoctorChecks(adapters, options);
+		issues.push(...doctorIssues);
+		categorySummaries.push(createCategorySummary("doctor", doctorIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("handlers") || options.checkHandlers) {
+		const categoryStart = Date.now();
+		const handlerIssues = await runHandlerChecks(adapters, specFiles);
+		issues.push(...handlerIssues);
+		categorySummaries.push(createCategorySummary("handlers", handlerIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("tests") || options.checkTests) {
+		const categoryStart = Date.now();
+		const testIssues = await runTestChecks(adapters, specFiles);
+		issues.push(...testIssues);
+		categorySummaries.push(createCategorySummary("tests", testIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("test-refs")) {
+		const categoryStart = Date.now();
+		const testRefIssues = await runTestRefsChecks(adapters, specFiles);
+		issues.push(...testRefIssues);
+		categorySummaries.push(createCategorySummary("test-refs", testRefIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("coverage")) {
+		const categoryStart = Date.now();
+		const coverageIssues = await runCoverageChecks(adapters, specFiles, options);
+		issues.push(...coverageIssues);
+		categorySummaries.push(createCategorySummary("coverage", coverageIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("implementation")) {
+		const categoryStart = Date.now();
+		const implIssues = await runImplementationChecks(adapters, specFiles, options);
+		issues.push(...implIssues);
+		categorySummaries.push(createCategorySummary("implementation", implIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("layers")) {
+		const categoryStart = Date.now();
+		const layerIssues = await runLayerChecks(adapters, options);
+		issues.push(...layerIssues);
+		categorySummaries.push(createCategorySummary("layers", layerIssues, Date.now() - categoryStart));
+	}
+	if (checksToRun.includes("drift")) {
+		const categoryStart = Date.now();
+		const driftIssues = await runDriftChecks(adapters, options);
+		issues.push(...driftIssues);
+		categorySummaries.push(createCategorySummary("drift", driftIssues, Date.now() - categoryStart));
+	}
+	const totalErrors = issues.filter((i) => i.severity === "error").length;
+	const totalWarnings = issues.filter((i) => i.severity === "warning").length;
+	const totalNotes = issues.filter((i) => i.severity === "note").length;
+	const success = options.failOnWarnings ? totalErrors === 0 && totalWarnings === 0 : totalErrors === 0;
+	const gitInfo = await getGitInfo(fs);
+	const result = {
+		success,
+		totalErrors,
+		totalWarnings,
+		totalNotes,
+		issues,
+		categories: categorySummaries,
+		durationMs: Date.now() - startTime,
+		timestamp: (/* @__PURE__ */ new Date()).toISOString(),
+		...gitInfo
+	};
+	logger.info("CI checks complete", {
+		success,
+		errors: totalErrors,
+		warnings: totalWarnings,
+		durationMs: result.durationMs
+	});
+	return result;
+}
+
+//#endregion
+export { runCIChecks };
+//# sourceMappingURL=ci-check-service.mjs.map

package/dist/services/ci-check/ci-check-service.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ci-check-service.mjs","names":[],"sources":["../../../src/services/ci-check/ci-check-service.ts"],"sourcesContent":["/**\n * CI Check service.\n *\n * Orchestrates all validation checks for CI/CD pipelines.\n * Returns structured results suitable for multiple output formats.\n */\n\nimport { isFeatureFile } from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../../ports/fs';\nimport type { LoggerAdapter } from '../../ports/logger';\n\nimport type {\n  CICheckCategorySummary,\n  CICheckOptions,\n  CICheckResult,\n  CIIssue,\n} from './types';\n\nimport {\n  runStructureChecks,\n  runIntegrityChecks,\n  runDepsChecks,\n  runDoctorChecks,\n  runHandlerChecks,\n  runTestChecks,\n  runTestRefsChecks,\n  runCoverageChecks,\n  runImplementationChecks,\n  runLayerChecks,\n  runDriftChecks,\n} from './checks';\n\nimport { createCategorySummary, getChecksToRun, getGitInfo } from './utils';\nimport { isTestFile } from '../../utils';\n\n/**\n * Run all CI checks and return structured results.\n */\nexport async function runCIChecks(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  options: CICheckOptions = {}\n): Promise<CICheckResult> {\n  const startTime = Date.now();\n  const { fs, logger } = adapters;\n\n  const issues: CIIssue[] = [];\n  const categorySummaries: CICheckCategorySummary[] = [];\n\n  // Determine which checks to run\n  const checksToRun = getChecksToRun(options);\n\n  logger.info('Starting CI checks...', { checks: checksToRun });\n\n  // Discover spec files\n  const files = await fs.glob({ pattern: options.pattern });\n  const specFiles = files.filter(\n    (f) => !isFeatureFile(f) && !isTestFile(f, options.config)\n  );\n\n  // Run spec structure validation\n  if (checksToRun.includes('structure')) {\n    const categoryStart = Date.now();\n    const structureIssues = await runStructureChecks(adapters, specFiles);\n    issues.push(...structureIssues);\n    categorySummaries.push(\n      createCategorySummary(\n        'structure',\n        structureIssues,\n        Date.now() - categoryStart\n      )\n    );\n  }\n\n  // Run integrity analysis\n  if (checksToRun.includes('integrity')) {\n    const categoryStart = Date.now();\n    const integrityIssues = await runIntegrityChecks(adapters, options);\n    issues.push(...integrityIssues);\n    categorySummaries.push(\n      createCategorySummary(\n        'integrity',\n        integrityIssues,\n        Date.now() - categoryStart\n      )\n    );\n  }\n\n  // Run dependency analysis\n  if (checksToRun.includes('deps')) {\n    const categoryStart = Date.now();\n    const depsIssues = await runDepsChecks(adapters, options);\n    issues.push(...depsIssues);\n    categorySummaries.push(\n      createCategorySummary('deps', depsIssues, Date.now() - categoryStart)\n    );\n  }\n\n  // Run doctor checks (skip AI in CI)\n  if (checksToRun.includes('doctor')) {\n    const categoryStart = Date.now();\n    const doctorIssues = await runDoctorChecks(adapters, options);\n    issues.push(...doctorIssues);\n    categorySummaries.push(\n      createCategorySummary('doctor', doctorIssues, Date.now() - categoryStart)\n    );\n  }\n\n  // Run handler checks\n  if (checksToRun.includes('handlers') || options.checkHandlers) {\n    const categoryStart = Date.now();\n    const handlerIssues = await runHandlerChecks(adapters, specFiles);\n    issues.push(...handlerIssues);\n    categorySummaries.push(\n      createCategorySummary(\n        'handlers',\n        handlerIssues,\n        Date.now() - categoryStart\n      )\n    );\n  }\n\n  // Run test checks\n  if (checksToRun.includes('tests') || options.checkTests) {\n    const categoryStart = Date.now();\n    const testIssues = await runTestChecks(adapters, specFiles);\n    issues.push(...testIssues);\n    categorySummaries.push(\n      createCategorySummary('tests', testIssues, Date.now() - categoryStart)\n    );\n  }\n\n  // Run test-refs checks (validate OperationSpec.tests references)\n  if (checksToRun.includes('test-refs')) {\n    const categoryStart = Date.now();\n    const testRefIssues = await runTestRefsChecks(adapters, specFiles);\n    issues.push(...testRefIssues);\n    categorySummaries.push(\n      createCategorySummary(\n        'test-refs',\n        testRefIssues,\n        Date.now() - categoryStart\n      )\n    );\n  }\n\n  // Run coverage checks (validate TestSpec.coverage requirements)\n  if (checksToRun.includes('coverage')) {\n    const categoryStart = Date.now();\n    const coverageIssues = await runCoverageChecks(\n      adapters,\n      specFiles,\n      options\n    );\n    issues.push(...coverageIssues);\n    categorySummaries.push(\n      createCategorySummary(\n        'coverage',\n        coverageIssues,\n        Date.now() - categoryStart\n      )\n    );\n  }\n\n  // Run implementation checks\n  if (checksToRun.includes('implementation')) {\n    const categoryStart = Date.now();\n    const implIssues = await runImplementationChecks(\n      adapters,\n      specFiles,\n      options\n    );\n    issues.push(...implIssues);\n    categorySummaries.push(\n      createCategorySummary(\n        'implementation',\n        implIssues,\n        Date.now() - categoryStart\n      )\n    );\n  }\n\n  // Run layers checks\n  if (checksToRun.includes('layers')) {\n    const categoryStart = Date.now();\n    const layerIssues = await runLayerChecks(adapters, options);\n    issues.push(...layerIssues);\n    categorySummaries.push(\n      createCategorySummary('layers', layerIssues, Date.now() - categoryStart)\n    );\n  }\n\n  // Run drift checks\n  if (checksToRun.includes('drift')) {\n    const categoryStart = Date.now();\n    const driftIssues = await runDriftChecks(adapters, options);\n    issues.push(...driftIssues);\n    categorySummaries.push(\n      createCategorySummary('drift', driftIssues, Date.now() - categoryStart)\n    );\n  }\n\n  // Calculate totals\n  const totalErrors = issues.filter((i) => i.severity === 'error').length;\n  const totalWarnings = issues.filter((i) => i.severity === 'warning').length;\n  const totalNotes = issues.filter((i) => i.severity === 'note').length;\n\n  // Determine success (no errors, or no warnings if failOnWarnings)\n  const success = options.failOnWarnings\n    ? totalErrors === 0 && totalWarnings === 0\n    : totalErrors === 0;\n\n  // Try to get git info\n  const gitInfo = await getGitInfo(fs);\n\n  const result: CICheckResult = {\n    success,\n    totalErrors,\n    totalWarnings,\n    totalNotes,\n    issues,\n    categories: categorySummaries,\n    durationMs: Date.now() - startTime,\n    timestamp: new Date().toISOString(),\n    ...gitInfo,\n  };\n\n  logger.info('CI checks complete', {\n    success,\n    errors: totalErrors,\n    warnings: totalWarnings,\n    durationMs: result.durationMs,\n  });\n\n  return result;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAsCA,eAAsB,YACpB,UACA,UAA0B,EAAE,EACJ;CACxB,MAAM,YAAY,KAAK,KAAK;CAC5B,MAAM,EAAE,IAAI,WAAW;CAEvB,MAAM,SAAoB,EAAE;CAC5B,MAAM,oBAA8C,EAAE;CAGtD,MAAM,cAAc,eAAe,QAAQ;AAE3C,QAAO,KAAK,yBAAyB,EAAE,QAAQ,aAAa,CAAC;CAI7D,MAAM,aADQ,MAAM,GAAG,KAAK,EAAE,SAAS,QAAQ,SAAS,CAAC,EACjC,QACrB,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,GAAG,QAAQ,OAAO,CAC3D;AAGD,KAAI,YAAY,SAAS,YAAY,EAAE;EACrC,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,kBAAkB,MAAM,mBAAmB,UAAU,UAAU;AACrE,SAAO,KAAK,GAAG,gBAAgB;AAC/B,oBAAkB,KAChB,sBACE,aACA,iBACA,KAAK,KAAK,GAAG,cACd,CACF;;AAIH,KAAI,YAAY,SAAS,YAAY,EAAE;EACrC,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,kBAAkB,MAAM,mBAAmB,UAAU,QAAQ;AACnE,SAAO,KAAK,GAAG,gBAAgB;AAC/B,oBAAkB,KAChB,sBACE,aACA,iBACA,KAAK,KAAK,GAAG,cACd,CACF;;AAIH,KAAI,YAAY,SAAS,OAAO,EAAE;EAChC,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,aAAa,MAAM,cAAc,UAAU,QAAQ;AACzD,SAAO,KAAK,GAAG,WAAW;AAC1B,oBAAkB,KAChB,sBAAsB,QAAQ,YAAY,KAAK,KAAK,GAAG,cAAc,CACtE;;AAIH,KAAI,YAAY,SAAS,SAAS,EAAE;EAClC,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,eAAe,MAAM,gBAAgB,UAAU,QAAQ;AAC7D,SAAO,KAAK,GAAG,aAAa;AAC5B,oBAAkB,KAChB,sBAAsB,UAAU,cAAc,KAAK,KAAK,GAAG,cAAc,CAC1E;;AAIH,KAAI,YAAY,SAAS,WAAW,IAAI,QAAQ,eAAe;EAC7D,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,gBAAgB,MAAM,iBAAiB,UAAU,UAAU;AACjE,SAAO,KAAK,GAAG,cAAc;AAC7B,oBAAkB,KAChB,sBACE,YACA,eACA,KAAK,KAAK,GAAG,cACd,CACF;;AAIH,KAAI,YAAY,SAAS,QAAQ,IAAI,QAAQ,YAAY;EACvD,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,aAAa,MAAM,cAAc,UAAU,UAAU;AAC3D,SAAO,KAAK,GAAG,WAAW;AAC1B,oBAAkB,KAChB,sBAAsB,SAAS,YAAY,KAAK,KAAK,GAAG,cAAc,CACvE;;AAIH,KAAI,YAAY,SAAS,YAAY,EAAE;EACrC,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,gBAAgB,MAAM,kBAAkB,UAAU,UAAU;AAClE,SAAO,KAAK,GAAG,cAAc;AAC7B,oBAAkB,KAChB,sBACE,aACA,eACA,KAAK,KAAK,GAAG,cACd,CACF;;AAIH,KAAI,YAAY,SAAS,WAAW,EAAE;EACpC,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,iBAAiB,MAAM,kBAC3B,UACA,WACA,QACD;AACD,SAAO,KAAK,GAAG,eAAe;AAC9B,oBAAkB,KAChB,sBACE,YACA,gBACA,KAAK,KAAK,GAAG,cACd,CACF;;AAIH,KAAI,YAAY,SAAS,iBAAiB,EAAE;EAC1C,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,aAAa,MAAM,wBACvB,UACA,WACA,QACD;AACD,SAAO,KAAK,GAAG,WAAW;AAC1B,oBAAkB,KAChB,sBACE,kBACA,YACA,KAAK,KAAK,GAAG,cACd,CACF;;AAIH,KAAI,YAAY,SAAS,SAAS,EAAE;EAClC,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,cAAc,MAAM,eAAe,UAAU,QAAQ;AAC3D,SAAO,KAAK,GAAG,YAAY;AAC3B,oBAAkB,KAChB,sBAAsB,UAAU,aAAa,KAAK,KAAK,GAAG,cAAc,CACzE;;AAIH,KAAI,YAAY,SAAS,QAAQ,EAAE;EACjC,MAAM,gBAAgB,KAAK,KAAK;EAChC,MAAM,cAAc,MAAM,eAAe,UAAU,QAAQ;AAC3D,SAAO,KAAK,GAAG,YAAY;AAC3B,oBAAkB,KAChB,sBAAsB,SAAS,aAAa,KAAK,KAAK,GAAG,cAAc,CACxE;;CAIH,MAAM,cAAc,OAAO,QAAQ,MAAM,EAAE,aAAa,QAAQ,CAAC;CACjE,MAAM,gBAAgB,OAAO,QAAQ,MAAM,EAAE,aAAa,UAAU,CAAC;CACrE,MAAM,aAAa,OAAO,QAAQ,MAAM,EAAE,aAAa,OAAO,CAAC;CAG/D,MAAM,UAAU,QAAQ,iBACpB,gBAAgB,KAAK,kBAAkB,IACvC,gBAAgB;CAGpB,MAAM,UAAU,MAAM,WAAW,GAAG;CAEpC,MAAM,SAAwB;EAC5B;EACA;EACA;EACA;EACA;EACA,YAAY;EACZ,YAAY,KAAK,KAAK,GAAG;EACzB,4BAAW,IAAI,MAAM,EAAC,aAAa;EACnC,GAAG;EACJ;AAED,QAAO,KAAK,sBAAsB;EAChC;EACA,QAAQ;EACR,UAAU;EACV,YAAY,OAAO;EACpB,CAAC;AAEF,QAAO"}

package/dist/services/ci-check/index.d.mts

@@ -0,0 +1,2 @@
+import { ALL_CI_CHECK_CATEGORIES, CICheckCategory, CICheckCategorySummary, CICheckOptions, CICheckResult, CIFormatOptions, CIIssue, CIIssueSeverity, CIOutputFormat, CI_CHECK_CATEGORY_LABELS } from "./types.mjs";
+import { runCIChecks } from "./ci-check-service.mjs";

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

@@ -0,0 +1,4 @@
+import { ALL_CI_CHECK_CATEGORIES, CI_CHECK_CATEGORY_LABELS } from "./types.mjs";
+import { runCIChecks } from "./ci-check-service.mjs";
+
+export {  };

package/dist/services/ci-check/types.d.mts

@@ -0,0 +1,147 @@
+import { ContractsrcConfig } from "@contractspec/lib.contracts/workspace-config";
+
+//#region src/services/ci-check/types.d.ts
+
+/**
+ * Categories of CI checks.
+ */
+type CICheckCategory = 'structure' | 'integrity' | 'deps' | 'doctor' | 'handlers' | 'tests' | 'test-refs' | 'coverage' | 'implementation' | 'layers' | 'drift';
+/**
+ * All available CI check categories.
+ */
+declare const ALL_CI_CHECK_CATEGORIES: CICheckCategory[];
+/**
+ * Human-readable labels for CI check categories.
+ */
+declare const CI_CHECK_CATEGORY_LABELS: Record<CICheckCategory, string>;
+/**
+ * Severity of a CI check issue.
+ */
+type CIIssueSeverity = 'error' | 'warning' | 'note';
+/**
+ * A single issue found during CI checks.
+ */
+interface CIIssue {
+  /** Unique ID for the issue type. */
+  ruleId: string;
+  /** Severity level. */
+  severity: CIIssueSeverity;
+  /** Human-readable message. */
+  message: string;
+  /** Category of the check. */
+  category: CICheckCategory;
+  /** File path where the issue was found. */
+  file?: string;
+  /** Line number (1-based). */
+  line?: number;
+  /** Column number (1-based). */
+  column?: number;
+  /** End line number (1-based). */
+  endLine?: number;
+  /** End column number (1-based). */
+  endColumn?: number;
+  /** Additional context. */
+  context?: Record<string, unknown>;
+}
+/**
+ * Summary statistics for a CI check category.
+ */
+interface CICheckCategorySummary {
+  /** Category name. */
+  category: CICheckCategory;
+  /** Human-readable label. */
+  label: string;
+  /** Number of errors. */
+  errors: number;
+  /** Number of warnings. */
+  warnings: number;
+  /** Number of notes. */
+  notes: number;
+  /** Whether this category passed. */
+  passed: boolean;
+  /** Duration in milliseconds. */
+  durationMs: number;
+}
+/**
+ * Overall CI check result.
+ */
+interface CICheckResult {
+  /** Whether all checks passed (no errors). */
+  success: boolean;
+  /** Total number of errors. */
+  totalErrors: number;
+  /** Total number of warnings. */
+  totalWarnings: number;
+  /** Total number of notes. */
+  totalNotes: number;
+  /** All issues found. */
+  issues: CIIssue[];
+  /** Summary by category. */
+  categories: CICheckCategorySummary[];
+  /** Total duration in milliseconds. */
+  durationMs: number;
+  /** Timestamp when the check was run. */
+  timestamp: string;
+  /** Git commit SHA if available. */
+  commitSha?: string;
+  /** Git branch if available. */
+  branch?: string;
+}
+/**
+ * Options for running CI checks.
+ */
+interface CICheckOptions {
+  /** Glob pattern for spec discovery. */
+  pattern?: string;
+  /** Check categories to run (defaults to all). */
+  checks?: CICheckCategory[];
+  /** Skip specific categories. */
+  skip?: CICheckCategory[];
+  /** Include handler existence checks. */
+  checkHandlers?: boolean;
+  /** Include test coverage checks. */
+  checkTests?: boolean;
+  /** Include drift detection checks. */
+  checkDrift?: boolean;
+  /** Fail on warnings (treat warnings as errors). */
+  failOnWarnings?: boolean;
+  /** Workspace root directory. */
+  workspaceRoot?: string;
+  /** Implementation check options. */
+  implementation?: {
+    /** Require all specs to be implemented. */
+    requireImplemented?: boolean;
+    /** Verification tier to run. */
+    verificationTier?: 'structure' | 'behavior' | 'ai';
+    /** Use cache for verification results. */
+    useCache?: boolean;
+    /** Allow partial implementations. */
+    allowPartial?: boolean;
+  };
+  /**
+   * Workspace configuration
+   */
+  config?: ContractsrcConfig;
+}
+/**
+ * Output format for CI check results.
+ */
+type CIOutputFormat = 'text' | 'json' | 'sarif';
+/**
+ * Options for formatting CI check output.
+ */
+interface CIFormatOptions {
+  /** Output format. */
+  format: CIOutputFormat;
+  /** Whether to use colors (for text format). */
+  colors?: boolean;
+  /** Tool name for SARIF output. */
+  toolName?: string;
+  /** Tool version for SARIF output. */
+  toolVersion?: string;
+  /** Repository URI for SARIF output. */
+  repositoryUri?: string;
+}
+//#endregion
+export { ALL_CI_CHECK_CATEGORIES, CICheckCategory, CICheckCategorySummary, CICheckOptions, CICheckResult, CIFormatOptions, CIIssue, CIIssueSeverity, CIOutputFormat, CI_CHECK_CATEGORY_LABELS };
+//# sourceMappingURL=types.d.mts.map

package/dist/services/ci-check/types.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.mts","names":[],"sources":["../../../src/services/ci-check/types.ts"],"sourcesContent":[],"mappings":";;;;AA6DA;AAKA;;AAQY,KA/DA,eAAA,GA+DA,WAAA,GAAA,WAAA,GAAA,MAAA,GAAA,QAAA,GAAA,UAAA,GAAA,OAAA,GAAA,WAAA,GAAA,UAAA,GAAA,gBAAA,GAAA,QAAA,GAAA,OAAA;;;AAkBZ;AAoBiB,cArFJ,uBAiGC,EAjGwB,eAiGxB,EAAA;AAcd;;;AA+BW,cA7HE,wBA6HF,EA7H4B,MA6H5B,CA7HmC,eA6HnC,EAAA,MAAA,CAAA;;AAMX;AAKA;KAvHY,eAAA;;;;UAKK,OAAA;;;;YAIL;;;;YAIA;;;;;;;;;;;;YAYA;;;;;UAMK,sBAAA;;YAEL;;;;;;;;;;;;;;;;;UAkBK,aAAA;;;;;;;;;;UAUP;;cAEI;;;;;;;;;;;;;UAcG,cAAA;;;;WAIN;;SAEF;;;;;;;;;;;;;;;;;;;;;;;;;WAyBE;;;;;KAMC,cAAA;;;;UAKK,eAAA;;UAEP"}

package/dist/services/ci-check/types.mjs

@@ -0,0 +1,37 @@
+//#region src/services/ci-check/types.ts
+/**
+* All available CI check categories.
+*/
+const ALL_CI_CHECK_CATEGORIES = [
+	"structure",
+	"integrity",
+	"deps",
+	"doctor",
+	"handlers",
+	"tests",
+	"test-refs",
+	"coverage",
+	"implementation",
+	"layers",
+	"drift"
+];
+/**
+* Human-readable labels for CI check categories.
+*/
+const CI_CHECK_CATEGORY_LABELS = {
+	structure: "Spec Structure Validation",
+	integrity: "Contract Integrity Analysis",
+	deps: "Dependency Analysis",
+	doctor: "Installation Health",
+	handlers: "Handler Implementation",
+	tests: "Test Coverage",
+	"test-refs": "Test Reference Validation",
+	coverage: "Coverage Goal Enforcement",
+	implementation: "Implementation Verification",
+	layers: "Contract Layers Validation",
+	drift: "Drift Detection"
+};
+
+//#endregion
+export { ALL_CI_CHECK_CATEGORIES, CI_CHECK_CATEGORY_LABELS };
+//# sourceMappingURL=types.mjs.map

package/dist/services/ci-check/types.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.mjs","names":[],"sources":["../../../src/services/ci-check/types.ts"],"sourcesContent":["/**\n * CI Check service types.\n *\n * Types for CI/CD validation checks with support for multiple output formats.\n */\n\nimport type { ContractsrcConfig } from '@contractspec/lib.contracts/workspace-config';\n\n/**\n * Categories of CI checks.\n */\nexport type CICheckCategory =\n  | 'structure'\n  | 'integrity'\n  | 'deps'\n  | 'doctor'\n  | 'handlers'\n  | 'tests'\n  | 'test-refs'\n  | 'coverage'\n  | 'implementation'\n  | 'layers'\n  | 'drift';\n\n/**\n * All available CI check categories.\n */\nexport const ALL_CI_CHECK_CATEGORIES: CICheckCategory[] = [\n  'structure',\n  'integrity',\n  'deps',\n  'doctor',\n  'handlers',\n  'tests',\n  'test-refs',\n  'coverage',\n  'implementation',\n  'layers',\n  'drift',\n];\n\n/**\n * Human-readable labels for CI check categories.\n */\nexport const CI_CHECK_CATEGORY_LABELS: Record<CICheckCategory, string> = {\n  structure: 'Spec Structure Validation',\n  integrity: 'Contract Integrity Analysis',\n  deps: 'Dependency Analysis',\n  doctor: 'Installation Health',\n  handlers: 'Handler Implementation',\n  tests: 'Test Coverage',\n  'test-refs': 'Test Reference Validation',\n  coverage: 'Coverage Goal Enforcement',\n  implementation: 'Implementation Verification',\n  layers: 'Contract Layers Validation',\n  drift: 'Drift Detection',\n};\n\n/**\n * Severity of a CI check issue.\n */\nexport type CIIssueSeverity = 'error' | 'warning' | 'note';\n\n/**\n * A single issue found during CI checks.\n */\nexport interface CIIssue {\n  /** Unique ID for the issue type. */\n  ruleId: string;\n  /** Severity level. */\n  severity: CIIssueSeverity;\n  /** Human-readable message. */\n  message: string;\n  /** Category of the check. */\n  category: CICheckCategory;\n  /** File path where the issue was found. */\n  file?: string;\n  /** Line number (1-based). */\n  line?: number;\n  /** Column number (1-based). */\n  column?: number;\n  /** End line number (1-based). */\n  endLine?: number;\n  /** End column number (1-based). */\n  endColumn?: number;\n  /** Additional context. */\n  context?: Record<string, unknown>;\n}\n\n/**\n * Summary statistics for a CI check category.\n */\nexport interface CICheckCategorySummary {\n  /** Category name. */\n  category: CICheckCategory;\n  /** Human-readable label. */\n  label: string;\n  /** Number of errors. */\n  errors: number;\n  /** Number of warnings. */\n  warnings: number;\n  /** Number of notes. */\n  notes: number;\n  /** Whether this category passed. */\n  passed: boolean;\n  /** Duration in milliseconds. */\n  durationMs: number;\n}\n\n/**\n * Overall CI check result.\n */\nexport interface CICheckResult {\n  /** Whether all checks passed (no errors). */\n  success: boolean;\n  /** Total number of errors. */\n  totalErrors: number;\n  /** Total number of warnings. */\n  totalWarnings: number;\n  /** Total number of notes. */\n  totalNotes: number;\n  /** All issues found. */\n  issues: CIIssue[];\n  /** Summary by category. */\n  categories: CICheckCategorySummary[];\n  /** Total duration in milliseconds. */\n  durationMs: number;\n  /** Timestamp when the check was run. */\n  timestamp: string;\n  /** Git commit SHA if available. */\n  commitSha?: string;\n  /** Git branch if available. */\n  branch?: string;\n}\n\n/**\n * Options for running CI checks.\n */\nexport interface CICheckOptions {\n  /** Glob pattern for spec discovery. */\n  pattern?: string;\n  /** Check categories to run (defaults to all). */\n  checks?: CICheckCategory[];\n  /** Skip specific categories. */\n  skip?: CICheckCategory[];\n  /** Include handler existence checks. */\n  checkHandlers?: boolean;\n  /** Include test coverage checks. */\n  checkTests?: boolean;\n  /** Include drift detection checks. */\n  checkDrift?: boolean;\n  /** Fail on warnings (treat warnings as errors). */\n  failOnWarnings?: boolean;\n  /** Workspace root directory. */\n  workspaceRoot?: string;\n  /** Implementation check options. */\n  implementation?: {\n    /** Require all specs to be implemented. */\n    requireImplemented?: boolean;\n    /** Verification tier to run. */\n    verificationTier?: 'structure' | 'behavior' | 'ai';\n    /** Use cache for verification results. */\n    useCache?: boolean;\n    /** Allow partial implementations. */\n    allowPartial?: boolean;\n  };\n  /**\n   * Workspace configuration\n   */\n  config?: ContractsrcConfig;\n}\n\n/**\n * Output format for CI check results.\n */\nexport type CIOutputFormat = 'text' | 'json' | 'sarif';\n\n/**\n * Options for formatting CI check output.\n */\nexport interface CIFormatOptions {\n  /** Output format. */\n  format: CIOutputFormat;\n  /** Whether to use colors (for text format). */\n  colors?: boolean;\n  /** Tool name for SARIF output. */\n  toolName?: string;\n  /** Tool version for SARIF output. */\n  toolVersion?: string;\n  /** Repository URI for SARIF output. */\n  repositoryUri?: string;\n}\n"],"mappings":";;;;AA2BA,MAAa,0BAA6C;CACxD;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACD;;;;AAKD,MAAa,2BAA4D;CACvE,WAAW;CACX,WAAW;CACX,MAAM;CACN,QAAQ;CACR,UAAU;CACV,OAAO;CACP,aAAa;CACb,UAAU;CACV,gBAAgB;CAChB,QAAQ;CACR,OAAO;CACR"}