@contractspec/bundle.workspace 1.44.0 → 1.45.0

package/dist/index.js

@@ -1,4 +1,3 @@
-import { __exportAll, __reExport } from "./_virtual/rolldown_runtime.js";
 import { createNodeFsAdapter } from "./adapters/fs.js";
 import { createNodeGitAdapter } from "./adapters/git.js";
 import { createNodeWatcherAdapter } from "./adapters/watcher.js";
@@ -7,12 +6,21 @@ import { createConsoleLoggerAdapter, createNoopLoggerAdapter } from "./adapters/
 import { createNodeAdapters } from "./adapters/factory.js";
 import { detectPackageManager, detectRepositoryType, findMetaRepoRoot, findPackageRoot, findWorkspaceRoot, getExecCommand, getInstallCommand, getMetaRepoInfo, getPackageName, getRunCommand, getWorkspaceInfo, getWorkspacePackages, isMonorepo, parseGitModules } from "./adapters/workspace.js";
 import "./adapters/index.js";
-import { validateSpec, validateSpecs } from "./services/validate.js";
-import { validateImplementationFiles } from "./services/validate-implementation.js";
+import { validateSpec, validateSpecs } from "./services/validate/spec-validator.js";
+import { validateImplementationFiles } from "./services/validate/implementation-validator.js";
+import { validateBlueprint } from "./services/validate/blueprint-validator.js";
+import { validateTenantConfig } from "./services/validate/tenant-validator.js";
+import { getAIProvider, getRecommendedModels, validateProvider } from "./ai/providers.js";
+import { SimpleAgent } from "./ai/agents/simple-agent.js";
+import { CursorAgent } from "./ai/agents/cursor-agent.js";
+import { ClaudeCodeAgent } from "./ai/agents/claude-code-agent.js";
+import { OpenAICodexAgent } from "./ai/agents/openai-codex-agent.js";
+import { AgentOrchestrator } from "./ai/agents/orchestrator.js";
+import { validateImplementationWithAgent } from "./services/validate/implementation-agent-validator.js";
 import { compareSpecs } from "./services/diff.js";
 import { analyzeDeps, exportGraphAsDot, getContractNode, getGraphStats } from "./services/deps.js";
 import { groupSpecsByType, listSpecs } from "./services/list.js";
-import { getApiKey, loadWorkspaceConfig, mergeWorkspaceConfig } from "./services/config.js";
+import { getApiKey, loadWorkspaceConfig } from "./services/config.js";
 import { buildSpec } from "./services/build.js";
 import { importFromOpenApiService } from "./services/openapi/import-service.js";
 import { syncWithOpenApiService } from "./services/openapi/sync-service.js";
@@ -22,11 +30,12 @@ import { RegistryClient, addToRegistry, listFromRegistry, resolveRegistryUrl, se
 import { syncSpecs } from "./services/sync.js";
 import { watchSpecs } from "./services/watch.js";
 import { cleanArtifacts } from "./services/clean.js";
-import { runTests } from "./services/test.js";
+import { runTestSpecs, runTests } from "./services/test/test-service.js";
 import { createRegeneratorService } from "./services/regenerator.js";
 import { findAllConfigFiles, formatWorkspaceInfo, getExtendedWorkspaceInfo, mergeMonorepoConfigs } from "./services/workspace-info.js";
 import { analyzeIntegrity, filterIssuesBySeverity, filterIssuesByType, getAllSpecs } from "./services/integrity.js";
 import { generateMermaidDiagram } from "./services/integrity-diagram.js";
+import { createEmptyLayerInventory, discoverLayers, getAllLayerLocations } from "./services/layer-discovery.js";
 import { ALL_SETUP_TARGETS, SETUP_TARGET_LABELS } from "./services/setup/types.js";
 import { generateAgentsMd, generateClaudeMcpConfig, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateVscodeSettings, getClaudeDesktopConfigPath } from "./services/setup/config-generators.js";
 import { deepMergeOverwrite, deepMergePreserve, formatJson, safeParseJson } from "./services/setup/file-merger.js";
@@ -42,6 +51,24 @@ import { CursorCLIAdapter, cursorCLIAdapter } from "./services/agent-guide/adapt
 import { GenericMCPAdapter, genericMCPAdapter } from "./services/agent-guide/adapters/generic-mcp.js";
 import { agentAdapters, getAgentAdapter, listAgentTypes } from "./services/agent-guide/adapters/index.js";
 import { AgentGuideService, agentGuideService, createAgentGuideService } from "./services/agent-guide/agent-guide-service.js";
+import { formatVerificationReport, verifyImplementationAgainstParsedSpec } from "./services/llm/verify-static.js";
+import { exportSpecForLLM, generateCursorRulesFromParsedSpec, generateFeatureContextMarkdown, generateGuideFromParsedSpec } from "./services/llm/index.js";
+import { AIGenerator } from "./services/create/ai-generator.js";
+import { generateOperationSpec } from "./templates/operation.template.js";
+import { generateEventSpec } from "./templates/event.template.js";
+import { generatePresentationSpec } from "./templates/presentation.template.js";
+import { generateWorkflowSpec } from "./templates/workflow.template.js";
+import { generateMigrationSpec } from "./templates/migration.template.js";
+import { generateTelemetrySpec } from "./templates/telemetry.template.js";
+import { generateExperimentSpec } from "./templates/experiment.template.js";
+import { generateAppBlueprintSpec } from "./templates/app-config.template.js";
+import { generateDataViewSpec } from "./templates/data-view.template.js";
+import { generateIntegrationSpec } from "./templates/integration.template.js";
+import { generateKnowledgeSpaceSpec } from "./templates/knowledge.template.js";
+import { generateComponentTemplate, generateHandlerTemplate, generateTestTemplate } from "./templates/handler.template.js";
+import { generateWorkflowRunnerTemplate } from "./templates/workflow-runner.template.js";
+import { templates_exports } from "./templates/index.js";
+import { SpecCreatorService, createSpecCreator } from "./services/create/index.js";
 import { verifyStructure } from "./services/verify/structure-verifier.js";
 import { verifyBehavior } from "./services/verify/behavior-verifier.js";
 import { createQuickAIReview, verifySemanticFields, verifyWithAI, verifyWithAIEnhanced } from "./services/verify/ai-verifier.js";
@@ -53,152 +80,14 @@ import { FileSystemCacheStorage, createFileSystemCacheStorage } from "./services
 import { WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage } from "./services/verification-cache/adapters/workspace-state.js";
 import { FULL_DEPENDENCIES, MINIMAL_DEPENDENCIES, getDependencies, getDevDependencies, getProductionDependencies } from "./services/quickstart/dependencies.js";
 import { formatQuickstartPreview, isContractSpecInstalled, runQuickstart } from "./services/quickstart/quickstart-service.js";
+import { generateDocsFromSpecs } from "./services/docs/docs-service.js";
 import { impact_exports } from "./services/impact/index.js";
+import { formatFiles } from "./services/formatter.js";
 import "./services/index.js";
 import { formatters_exports } from "./formatters/index.js";
-import { templates_exports } from "./templates/index.js";
-import { ai_exports } from "./ai/index.js";
-
-export * from "@contractspec/module.workspace"
-
-//#region src/index.ts
-var src_exports = /* @__PURE__ */ __exportAll({
-	ALL_CHECK_CATEGORIES: () => ALL_CHECK_CATEGORIES,
-	ALL_CI_CHECK_CATEGORIES: () => ALL_CI_CHECK_CATEGORIES,
-	ALL_SETUP_TARGETS: () => ALL_SETUP_TARGETS,
-	AgentGuideService: () => AgentGuideService,
-	CHECK_CATEGORY_LABELS: () => CHECK_CATEGORY_LABELS,
-	CI_CHECK_CATEGORY_LABELS: () => CI_CHECK_CATEGORY_LABELS,
-	ClaudeCodeAdapter: () => ClaudeCodeAdapter,
-	CursorCLIAdapter: () => CursorCLIAdapter,
-	DEFAULT_CACHE_CONFIG: () => DEFAULT_CACHE_CONFIG,
-	FULL_DEPENDENCIES: () => FULL_DEPENDENCIES,
-	FileSystemCacheStorage: () => FileSystemCacheStorage,
-	GenericMCPAdapter: () => GenericMCPAdapter,
-	InMemoryCacheStorage: () => InMemoryCacheStorage,
-	MINIMAL_DEPENDENCIES: () => MINIMAL_DEPENDENCIES,
-	RegistryClient: () => RegistryClient,
-	SETUP_TARGET_LABELS: () => SETUP_TARGET_LABELS,
-	VerificationCacheService: () => VerificationCacheService,
-	VerifyService: () => VerifyService,
-	WorkspaceStateCacheStorage: () => WorkspaceStateCacheStorage,
-	addToRegistry: () => addToRegistry,
-	agentAdapters: () => agentAdapters,
-	agentGuideService: () => agentGuideService,
-	ai: () => ai_exports,
-	analyzeDeps: () => analyzeDeps,
-	analyzeIntegrity: () => analyzeIntegrity,
-	buildSpec: () => buildSpec,
-	cacheKeyToString: () => cacheKeyToString,
-	claudeCodeAdapter: () => claudeCodeAdapter,
-	cleanArtifacts: () => cleanArtifacts,
-	compareSpecs: () => compareSpecs,
-	computeContentHash: () => computeContentHash,
-	createAgentGuideService: () => createAgentGuideService,
-	createConsoleLoggerAdapter: () => createConsoleLoggerAdapter,
-	createFileSystemCacheStorage: () => createFileSystemCacheStorage,
-	createInMemoryCacheStorage: () => createInMemoryCacheStorage,
-	createNodeAdapters: () => createNodeAdapters,
-	createNodeAiAdapter: () => createNodeAiAdapter,
-	createNodeFsAdapter: () => createNodeFsAdapter,
-	createNodeGitAdapter: () => createNodeGitAdapter,
-	createNodeWatcherAdapter: () => createNodeWatcherAdapter,
-	createNoopLoggerAdapter: () => createNoopLoggerAdapter,
-	createQuickAIReview: () => createQuickAIReview,
-	createRegeneratorService: () => createRegeneratorService,
-	createVerificationCacheService: () => createVerificationCacheService,
-	createVerifyService: () => createVerifyService,
-	createWorkspaceStateCacheStorage: () => createWorkspaceStateCacheStorage,
-	cursorCLIAdapter: () => cursorCLIAdapter,
-	deepMergeOverwrite: () => deepMergeOverwrite,
-	deepMergePreserve: () => deepMergePreserve,
-	detectPackageManager: () => detectPackageManager,
-	detectRepositoryType: () => detectRepositoryType,
-	discoverAllImplementations: () => discoverAllImplementations,
-	discoverImplementationsForSpec: () => discoverImplementationsForSpec,
-	exportGraphAsDot: () => exportGraphAsDot,
-	exportOpenApi: () => exportOpenApi,
-	extractSpecReferences: () => extractSpecReferences,
-	filterIssuesBySeverity: () => filterIssuesBySeverity,
-	filterIssuesByType: () => filterIssuesByType,
-	findAllConfigFiles: () => findAllConfigFiles,
-	findMetaRepoRoot: () => findMetaRepoRoot,
-	findPackageRoot: () => findPackageRoot,
-	findWorkspaceRoot: () => findWorkspaceRoot,
-	formatCheckResult: () => formatCheckResult,
-	formatDoctorSummary: () => formatDoctorSummary,
-	formatJson: () => formatJson,
-	formatQuickstartPreview: () => formatQuickstartPreview,
-	formatWorkspaceInfo: () => formatWorkspaceInfo,
-	formatters: () => formatters_exports,
-	generateAgentsMd: () => generateAgentsMd,
-	generateClaudeMcpConfig: () => generateClaudeMcpConfig,
-	generateContractsrcConfig: () => generateContractsrcConfig,
-	generateCursorMcpConfig: () => generateCursorMcpConfig,
-	generateCursorRules: () => generateCursorRules,
-	generateMermaidDiagram: () => generateMermaidDiagram,
-	generateVscodeSettings: () => generateVscodeSettings,
-	genericMCPAdapter: () => genericMCPAdapter,
-	getAgentAdapter: () => getAgentAdapter,
-	getAllSpecs: () => getAllSpecs,
-	getApiKey: () => getApiKey,
-	getClaudeDesktopConfigPath: () => getClaudeDesktopConfigPath,
-	getContractNode: () => getContractNode,
-	getDependencies: () => getDependencies,
-	getDevDependencies: () => getDevDependencies,
-	getExecCommand: () => getExecCommand,
-	getExtendedWorkspaceInfo: () => getExtendedWorkspaceInfo,
-	getGraphStats: () => getGraphStats,
-	getImplementationSummary: () => getImplementationSummary,
-	getInstallCommand: () => getInstallCommand,
-	getMetaRepoInfo: () => getMetaRepoInfo,
-	getPackageName: () => getPackageName,
-	getProductionDependencies: () => getProductionDependencies,
-	getRunCommand: () => getRunCommand,
-	getWorkspaceInfo: () => getWorkspaceInfo,
-	getWorkspacePackages: () => getWorkspacePackages,
-	groupSpecsByType: () => groupSpecsByType,
-	impact: () => impact_exports,
-	importFromOpenApiService: () => importFromOpenApiService,
-	inferImplementationType: () => inferImplementationType,
-	isContractSpecInstalled: () => isContractSpecInstalled,
-	isMonorepo: () => isMonorepo,
-	listAgentTypes: () => listAgentTypes,
-	listFromRegistry: () => listFromRegistry,
-	listSpecs: () => listSpecs,
-	loadWorkspaceConfig: () => loadWorkspaceConfig,
-	mergeMonorepoConfigs: () => mergeMonorepoConfigs,
-	mergeWorkspaceConfig: () => mergeWorkspaceConfig,
-	parseGitModules: () => parseGitModules,
-	resolveAllImplementations: () => resolveAllImplementations,
-	resolveImplementations: () => resolveImplementations,
-	resolveRegistryUrl: () => resolveRegistryUrl,
-	runCIChecks: () => runCIChecks,
-	runDoctor: () => runDoctor,
-	runQuickstart: () => runQuickstart,
-	runSetup: () => runSetup,
-	runTests: () => runTests,
-	safeParseJson: () => safeParseJson,
-	searchRegistry: () => searchRegistry,
-	stringToCacheKey: () => stringToCacheKey,
-	syncSpecs: () => syncSpecs,
-	syncWithOpenApiService: () => syncWithOpenApiService,
-	templates: () => templates_exports,
-	validateAgainstOpenApiService: () => validateAgainstOpenApiService,
-	validateImplementationFiles: () => validateImplementationFiles,
-	validateSpec: () => validateSpec,
-	validateSpecs: () => validateSpecs,
-	verifyBehavior: () => verifyBehavior,
-	verifySemanticFields: () => verifySemanticFields,
-	verifyService: () => verifyService,
-	verifyStructure: () => verifyStructure,
-	verifyWithAI: () => verifyWithAI,
-	verifyWithAIEnhanced: () => verifyWithAIEnhanced,
-	watchSpecs: () => watchSpecs
-});
-import * as import__contractspec_module_workspace from "@contractspec/module.workspace";
-__reExport(src_exports, import__contractspec_module_workspace);
+import { AIClient } from "./ai/client.js";
+import { prompts_exports } from "./ai/prompts/index.js";
+import "./ai/index.js";
+import * as module from "@contractspec/module.workspace";
 
-//#endregion
-export { ALL_CHECK_CATEGORIES, ALL_CI_CHECK_CATEGORIES, ALL_SETUP_TARGETS, AgentGuideService, CHECK_CATEGORY_LABELS, CI_CHECK_CATEGORY_LABELS, ClaudeCodeAdapter, CursorCLIAdapter, DEFAULT_CACHE_CONFIG, FULL_DEPENDENCIES, FileSystemCacheStorage, GenericMCPAdapter, InMemoryCacheStorage, MINIMAL_DEPENDENCIES, RegistryClient, SETUP_TARGET_LABELS, VerificationCacheService, VerifyService, WorkspaceStateCacheStorage, addToRegistry, agentAdapters, agentGuideService, ai_exports as ai, analyzeDeps, analyzeIntegrity, buildSpec, cacheKeyToString, claudeCodeAdapter, cleanArtifacts, compareSpecs, computeContentHash, createAgentGuideService, createConsoleLoggerAdapter, createFileSystemCacheStorage, createInMemoryCacheStorage, createNodeAdapters, createNodeAiAdapter, createNodeFsAdapter, createNodeGitAdapter, createNodeWatcherAdapter, createNoopLoggerAdapter, createQuickAIReview, createRegeneratorService, createVerificationCacheService, createVerifyService, createWorkspaceStateCacheStorage, cursorCLIAdapter, deepMergeOverwrite, deepMergePreserve, detectPackageManager, detectRepositoryType, discoverAllImplementations, discoverImplementationsForSpec, exportGraphAsDot, exportOpenApi, extractSpecReferences, filterIssuesBySeverity, filterIssuesByType, findAllConfigFiles, findMetaRepoRoot, findPackageRoot, findWorkspaceRoot, formatCheckResult, formatDoctorSummary, formatJson, formatQuickstartPreview, formatWorkspaceInfo, formatters_exports as formatters, generateAgentsMd, generateClaudeMcpConfig, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateMermaidDiagram, generateVscodeSettings, genericMCPAdapter, getAgentAdapter, getAllSpecs, getApiKey, getClaudeDesktopConfigPath, getContractNode, getDependencies, getDevDependencies, getExecCommand, getExtendedWorkspaceInfo, getGraphStats, getImplementationSummary, getInstallCommand, getMetaRepoInfo, getPackageName, getProductionDependencies, getRunCommand, getWorkspaceInfo, getWorkspacePackages, groupSpecsByType, impact_exports as impact, importFromOpenApiService, inferImplementationType, isContractSpecInstalled, isMonorepo, listAgentTypes, listFromRegistry, listSpecs, loadWorkspaceConfig, mergeMonorepoConfigs, mergeWorkspaceConfig, parseGitModules, resolveAllImplementations, resolveImplementations, resolveRegistryUrl, runCIChecks, runDoctor, runQuickstart, runSetup, runTests, safeParseJson, searchRegistry, src_exports, stringToCacheKey, syncSpecs, syncWithOpenApiService, templates_exports as templates, validateAgainstOpenApiService, validateImplementationFiles, validateSpec, validateSpecs, verifyBehavior, verifySemanticFields, verifyService, verifyStructure, verifyWithAI, verifyWithAIEnhanced, watchSpecs };
-//# sourceMappingURL=index.js.map
+export { AIClient, AIGenerator, ALL_CHECK_CATEGORIES, ALL_CI_CHECK_CATEGORIES, ALL_SETUP_TARGETS, AgentGuideService, AgentOrchestrator, CHECK_CATEGORY_LABELS, CI_CHECK_CATEGORY_LABELS, ClaudeCodeAdapter, ClaudeCodeAgent, CursorAgent, CursorCLIAdapter, DEFAULT_CACHE_CONFIG, FULL_DEPENDENCIES, FileSystemCacheStorage, GenericMCPAdapter, InMemoryCacheStorage, MINIMAL_DEPENDENCIES, OpenAICodexAgent, RegistryClient, SETUP_TARGET_LABELS, SimpleAgent, SpecCreatorService, VerificationCacheService, VerifyService, WorkspaceStateCacheStorage, addToRegistry, agentAdapters, agentGuideService, analyzeDeps, analyzeIntegrity, buildSpec, cacheKeyToString, claudeCodeAdapter, cleanArtifacts, compareSpecs, computeContentHash, createAgentGuideService, createConsoleLoggerAdapter, createEmptyLayerInventory, createFileSystemCacheStorage, createInMemoryCacheStorage, createNodeAdapters, createNodeAiAdapter, createNodeFsAdapter, createNodeGitAdapter, createNodeWatcherAdapter, createNoopLoggerAdapter, createQuickAIReview, createRegeneratorService, createSpecCreator, createVerificationCacheService, createVerifyService, createWorkspaceStateCacheStorage, cursorCLIAdapter, deepMergeOverwrite, deepMergePreserve, detectPackageManager, detectRepositoryType, discoverAllImplementations, discoverImplementationsForSpec, discoverLayers, exportGraphAsDot, exportOpenApi, exportSpecForLLM, extractSpecReferences, filterIssuesBySeverity, filterIssuesByType, findAllConfigFiles, findMetaRepoRoot, findPackageRoot, findWorkspaceRoot, formatCheckResult, formatDoctorSummary, formatFiles, formatJson, formatQuickstartPreview, formatVerificationReport, formatWorkspaceInfo, formatters_exports as formatters, generateAgentsMd, generateAppBlueprintSpec, generateClaudeMcpConfig, generateComponentTemplate, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateCursorRulesFromParsedSpec, generateDataViewSpec, generateDocsFromSpecs, generateEventSpec, generateExperimentSpec, generateFeatureContextMarkdown, generateGuideFromParsedSpec, generateHandlerTemplate, generateIntegrationSpec, generateKnowledgeSpaceSpec, generateMermaidDiagram, generateMigrationSpec, generateOperationSpec, generatePresentationSpec, generateTelemetrySpec, generateTestTemplate, generateVscodeSettings, generateWorkflowRunnerTemplate, generateWorkflowSpec, genericMCPAdapter, getAIProvider, getAgentAdapter, getAllLayerLocations, getAllSpecs, getApiKey, getClaudeDesktopConfigPath, getContractNode, getDependencies, getDevDependencies, getExecCommand, getExtendedWorkspaceInfo, getGraphStats, getImplementationSummary, getInstallCommand, getMetaRepoInfo, getPackageName, getProductionDependencies, getRecommendedModels, getRunCommand, getWorkspaceInfo, getWorkspacePackages, groupSpecsByType, impact_exports as impact, importFromOpenApiService, inferImplementationType, isContractSpecInstalled, isMonorepo, listAgentTypes, listFromRegistry, listSpecs, loadWorkspaceConfig, mergeMonorepoConfigs, module, parseGitModules, prompts_exports as prompts, resolveAllImplementations, resolveImplementations, resolveRegistryUrl, runCIChecks, runDoctor, runQuickstart, runSetup, runTestSpecs, runTests, safeParseJson, searchRegistry, stringToCacheKey, syncSpecs, syncWithOpenApiService, templates_exports as templates, validateAgainstOpenApiService, validateBlueprint, validateImplementationFiles, validateImplementationWithAgent, validateProvider, validateSpec, validateSpecs, validateTenantConfig, verifyBehavior, verifyImplementationAgainstParsedSpec, verifySemanticFields, verifyService, verifyStructure, verifyWithAI, verifyWithAIEnhanced, watchSpecs };

package/dist/services/agent-guide/agent-guide-service.js

@@ -40,21 +40,21 @@ var AgentGuideService = class {
 	generateFeatureGuide(feature, deps, options = {}) {
 		const adapter = getAgentAdapter(options.agent ?? this.config.defaultAgent);
 		const firstOp = feature.operations?.[0];
-		const spec = firstOp ? deps.specs?.getSpec(firstOp.key, firstOp.version) : void 0;
+		const spec = firstOp ? deps.specs?.get(firstOp.key, firstOp.version) : void 0;
 		let plan;
 		if (spec) {
 			plan = generateImplementationPlan(spec, { projectRoot: this.config.projectRoot });
 			plan.target = {
 				type: "feature",
 				key: feature.meta.key,
-				version: 1
+				version: "1.0.0"
 			};
 			plan.context.goal = feature.meta.description ?? plan.context.goal;
 		} else plan = {
 			target: {
 				type: "feature",
 				key: feature.meta.key,
-				version: 1
+				version: "1.0.0"
 			},
 			context: {
 				goal: feature.meta.description ?? `Implement feature ${feature.meta.key}`,

package/dist/services/agent-guide/agent-guide-service.js.map

@@ -1 +1 @@
-{"version":3,"file":"agent-guide-service.js","names":["DEFAULT_CONFIG: AgentGuideConfig","plan: ImplementationPlan"],"sources":["../../../src/services/agent-guide/agent-guide-service.ts"],"sourcesContent":["/**\n * Agent Guide Service\n *\n * Generates implementation plans and prompts for AI coding agents.\n * Bridges ContractSpec specifications with agent-specific formats.\n */\n\nimport type {\n  AnyOperationSpec,\n  OperationSpecRegistry,\n  PresentationRegistry,\n} from '@contractspec/lib.contracts';\nimport type { FeatureModuleSpec } from '@contractspec/lib.contracts/features';\nimport type {\n  AgentType,\n  ImplementationPlan,\n} from '@contractspec/lib.contracts/llm';\nimport {\n  featureToMarkdown,\n  generateImplementationPlan,\n  operationSpecToAgentPrompt,\n  operationSpecToFullMarkdown,\n} from '@contractspec/lib.contracts/llm';\nimport { getAgentAdapter, listAgentTypes } from './adapters';\nimport type { AgentGuideConfig, GuideOptions, GuideResult } from './types';\n\nconst DEFAULT_CONFIG: AgentGuideConfig = {\n  defaultAgent: 'generic-mcp',\n  verbose: false,\n};\n\n/**\n * Agent Guide Service\n *\n * Main service for generating implementation guidance for AI coding agents.\n */\nexport class AgentGuideService {\n  private config: AgentGuideConfig;\n\n  constructor(config: Partial<AgentGuideConfig> = {}) {\n    this.config = { ...DEFAULT_CONFIG, ...config };\n  }\n\n  /**\n   * Generate an implementation guide for a spec.\n   */\n  generateGuide(\n    spec: AnyOperationSpec,\n    options: GuideOptions = {}\n  ): GuideResult {\n    const agent = options.agent ?? this.config.defaultAgent;\n    const adapter = getAgentAdapter(agent);\n\n    // Generate the implementation plan\n    const plan = generateImplementationPlan(spec, {\n      projectRoot: this.config.projectRoot,\n      existingFiles: options.targetPath ? [options.targetPath] : undefined,\n    });\n\n    // Format for the target agent\n    const prompt = adapter.formatPlan(plan);\n\n    // Generate raw markdown for clipboard/export\n    const markdown = operationSpecToFullMarkdown(spec);\n\n    return {\n      plan,\n      prompt,\n      markdown,\n    };\n  }\n\n  /**\n   * Generate a guide for a feature (includes all related specs).\n   */\n  generateFeatureGuide(\n    feature: FeatureModuleSpec,\n    deps: {\n      specs?: OperationSpecRegistry;\n      presentations?: PresentationRegistry;\n    },\n    options: GuideOptions = {}\n  ): GuideResult {\n    const agent = options.agent ?? this.config.defaultAgent;\n    const adapter = getAgentAdapter(agent);\n\n    // Create a composite plan for the feature\n    const firstOp = feature.operations?.[0];\n    const spec = firstOp\n      ? deps.specs?.getSpec(firstOp.key, firstOp.version)\n      : undefined;\n\n    // Generate base plan from first spec or create feature-level plan\n    let plan: ImplementationPlan;\n    if (spec) {\n      plan = generateImplementationPlan(spec, {\n        projectRoot: this.config.projectRoot,\n      });\n      // Override target to indicate it's a feature\n      plan.target = {\n        type: 'feature',\n        key: feature.meta.key,\n        version: 1,\n      };\n      plan.context.goal = feature.meta.description ?? plan.context.goal;\n    } else {\n      // Create a minimal plan for features without specs\n      plan = {\n        target: {\n          type: 'feature',\n          key: feature.meta.key,\n          version: 1,\n        },\n        context: {\n          goal:\n            feature.meta.description ?? `Implement feature ${feature.meta.key}`,\n          description: feature.meta.title ?? feature.meta.key,\n          background: '',\n        },\n        specMarkdown: featureToMarkdown(feature, deps),\n        fileStructure: [],\n        steps: [\n          {\n            order: 1,\n            title: 'Implement Feature',\n            description: `Implement the ${feature.meta.key} feature`,\n            acceptanceCriteria: [],\n          },\n        ],\n        constraints: { policy: [], security: [], pii: [] },\n        verificationChecklist: [],\n      };\n    }\n\n    // Enhance spec markdown with full feature context\n    plan.specMarkdown = featureToMarkdown(feature, deps, {\n      format: 'full',\n      includeRelatedSpecs: true,\n      includeRelatedEvents: true,\n      includeRelatedPresentations: true,\n    });\n\n    // Add steps for each operation\n    if (feature.operations?.length) {\n      plan.steps = feature.operations.map((op, idx) => ({\n        order: idx + 1,\n        title: `Implement ${op.key}`,\n        description: `Implement operation ${op.key}.v${op.version}`,\n        acceptanceCriteria: [`Operation ${op.key} works as specified`],\n      }));\n    }\n\n    const prompt = adapter.formatPlan(plan);\n    const markdown = featureToMarkdown(feature, deps);\n\n    return {\n      plan,\n      prompt,\n      markdown,\n    };\n  }\n\n  /**\n   * Generate agent-specific configuration (e.g., cursor rules).\n   */\n  generateAgentConfig(\n    spec: AnyOperationSpec,\n    agent?: AgentType\n  ): string | undefined {\n    const adapter = getAgentAdapter(agent ?? this.config.defaultAgent);\n    return adapter.generateConfig?.(spec);\n  }\n\n  /**\n   * Export a spec in a specific format for an agent.\n   */\n  exportForAgent(\n    spec: AnyOperationSpec,\n    _agent: AgentType,\n    taskType: 'implement' | 'test' | 'refactor' | 'review' = 'implement',\n    existingCode?: string\n  ): string {\n    return operationSpecToAgentPrompt(spec, { taskType, existingCode });\n  }\n\n  /**\n   * List available agent types.\n   */\n  listAgentTypes(): AgentType[] {\n    return listAgentTypes();\n  }\n\n  /**\n   * Get the default agent type.\n   */\n  getDefaultAgent(): AgentType {\n    return this.config.defaultAgent;\n  }\n\n  /**\n   * Update configuration.\n   */\n  configure(config: Partial<AgentGuideConfig>): void {\n    this.config = { ...this.config, ...config };\n  }\n}\n\n/**\n * Create a new AgentGuideService instance.\n */\nexport function createAgentGuideService(\n  config?: Partial<AgentGuideConfig>\n): AgentGuideService {\n  return new AgentGuideService(config);\n}\n\n/** Default singleton instance */\nexport const agentGuideService = new AgentGuideService();\n"],"mappings":";;;;AA0BA,MAAMA,iBAAmC;CACvC,cAAc;CACd,SAAS;CACV;;;;;;AAOD,IAAa,oBAAb,MAA+B;CAC7B,AAAQ;CAER,YAAY,SAAoC,EAAE,EAAE;AAClD,OAAK,SAAS;GAAE,GAAG;GAAgB,GAAG;GAAQ;;;;;CAMhD,cACE,MACA,UAAwB,EAAE,EACb;EAEb,MAAM,UAAU,gBADF,QAAQ,SAAS,KAAK,OAAO,aACL;EAGtC,MAAM,OAAO,2BAA2B,MAAM;GAC5C,aAAa,KAAK,OAAO;GACzB,eAAe,QAAQ,aAAa,CAAC,QAAQ,WAAW,GAAG;GAC5D,CAAC;AAQF,SAAO;GACL;GACA,QAPa,QAAQ,WAAW,KAAK;GAQrC,UALe,4BAA4B,KAAK;GAMjD;;;;;CAMH,qBACE,SACA,MAIA,UAAwB,EAAE,EACb;EAEb,MAAM,UAAU,gBADF,QAAQ,SAAS,KAAK,OAAO,aACL;EAGtC,MAAM,UAAU,QAAQ,aAAa;EACrC,MAAM,OAAO,UACT,KAAK,OAAO,QAAQ,QAAQ,KAAK,QAAQ,QAAQ,GACjD;EAGJ,IAAIC;AACJ,MAAI,MAAM;AACR,UAAO,2BAA2B,MAAM,EACtC,aAAa,KAAK,OAAO,aAC1B,CAAC;AAEF,QAAK,SAAS;IACZ,MAAM;IACN,KAAK,QAAQ,KAAK;IAClB,SAAS;IACV;AACD,QAAK,QAAQ,OAAO,QAAQ,KAAK,eAAe,KAAK,QAAQ;QAG7D,QAAO;GACL,QAAQ;IACN,MAAM;IACN,KAAK,QAAQ,KAAK;IAClB,SAAS;IACV;GACD,SAAS;IACP,MACE,QAAQ,KAAK,eAAe,qBAAqB,QAAQ,KAAK;IAChE,aAAa,QAAQ,KAAK,SAAS,QAAQ,KAAK;IAChD,YAAY;IACb;GACD,cAAc,kBAAkB,SAAS,KAAK;GAC9C,eAAe,EAAE;GACjB,OAAO,CACL;IACE,OAAO;IACP,OAAO;IACP,aAAa,iBAAiB,QAAQ,KAAK,IAAI;IAC/C,oBAAoB,EAAE;IACvB,CACF;GACD,aAAa;IAAE,QAAQ,EAAE;IAAE,UAAU,EAAE;IAAE,KAAK,EAAE;IAAE;GAClD,uBAAuB,EAAE;GAC1B;AAIH,OAAK,eAAe,kBAAkB,SAAS,MAAM;GACnD,QAAQ;GACR,qBAAqB;GACrB,sBAAsB;GACtB,6BAA6B;GAC9B,CAAC;AAGF,MAAI,QAAQ,YAAY,OACtB,MAAK,QAAQ,QAAQ,WAAW,KAAK,IAAI,SAAS;GAChD,OAAO,MAAM;GACb,OAAO,aAAa,GAAG;GACvB,aAAa,uBAAuB,GAAG,IAAI,IAAI,GAAG;GAClD,oBAAoB,CAAC,aAAa,GAAG,IAAI,qBAAqB;GAC/D,EAAE;EAGL,MAAM,SAAS,QAAQ,WAAW,KAAK;EACvC,MAAM,WAAW,kBAAkB,SAAS,KAAK;AAEjD,SAAO;GACL;GACA;GACA;GACD;;;;;CAMH,oBACE,MACA,OACoB;AAEpB,SADgB,gBAAgB,SAAS,KAAK,OAAO,aAAa,CACnD,iBAAiB,KAAK;;;;;CAMvC,eACE,MACA,QACA,WAAyD,aACzD,cACQ;AACR,SAAO,2BAA2B,MAAM;GAAE;GAAU;GAAc,CAAC;;;;;CAMrE,iBAA8B;AAC5B,SAAO,gBAAgB;;;;;CAMzB,kBAA6B;AAC3B,SAAO,KAAK,OAAO;;;;;CAMrB,UAAU,QAAyC;AACjD,OAAK,SAAS;GAAE,GAAG,KAAK;GAAQ,GAAG;GAAQ;;;;;;AAO/C,SAAgB,wBACd,QACmB;AACnB,QAAO,IAAI,kBAAkB,OAAO;;;AAItC,MAAa,oBAAoB,IAAI,mBAAmB"}
+{"version":3,"file":"agent-guide-service.js","names":["DEFAULT_CONFIG: AgentGuideConfig","plan: ImplementationPlan"],"sources":["../../../src/services/agent-guide/agent-guide-service.ts"],"sourcesContent":["/**\n * Agent Guide Service\n *\n * Generates implementation plans and prompts for AI coding agents.\n * Bridges ContractSpec specifications with agent-specific formats.\n */\n\nimport type {\n  AnyOperationSpec,\n  OperationSpecRegistry,\n  PresentationRegistry,\n} from '@contractspec/lib.contracts';\nimport type { FeatureModuleSpec } from '@contractspec/lib.contracts/features';\nimport type {\n  AgentType,\n  ImplementationPlan,\n} from '@contractspec/lib.contracts/llm';\nimport {\n  featureToMarkdown,\n  generateImplementationPlan,\n  operationSpecToAgentPrompt,\n  operationSpecToFullMarkdown,\n} from '@contractspec/lib.contracts/llm';\nimport { getAgentAdapter, listAgentTypes } from './adapters';\nimport type { AgentGuideConfig, GuideOptions, GuideResult } from './types';\n\nconst DEFAULT_CONFIG: AgentGuideConfig = {\n  defaultAgent: 'generic-mcp',\n  verbose: false,\n};\n\n/**\n * Agent Guide Service\n *\n * Main service for generating implementation guidance for AI coding agents.\n */\nexport class AgentGuideService {\n  private config: AgentGuideConfig;\n\n  constructor(config: Partial<AgentGuideConfig> = {}) {\n    this.config = { ...DEFAULT_CONFIG, ...config };\n  }\n\n  /**\n   * Generate an implementation guide for a spec.\n   */\n  generateGuide(\n    spec: AnyOperationSpec,\n    options: GuideOptions = {}\n  ): GuideResult {\n    const agent = options.agent ?? this.config.defaultAgent;\n    const adapter = getAgentAdapter(agent);\n\n    // Generate the implementation plan\n    const plan = generateImplementationPlan(spec, {\n      projectRoot: this.config.projectRoot,\n      existingFiles: options.targetPath ? [options.targetPath] : undefined,\n    });\n\n    // Format for the target agent\n    const prompt = adapter.formatPlan(plan);\n\n    // Generate raw markdown for clipboard/export\n    const markdown = operationSpecToFullMarkdown(spec);\n\n    return {\n      plan,\n      prompt,\n      markdown,\n    };\n  }\n\n  /**\n   * Generate a guide for a feature (includes all related specs).\n   */\n  generateFeatureGuide(\n    feature: FeatureModuleSpec,\n    deps: {\n      specs?: OperationSpecRegistry;\n      presentations?: PresentationRegistry;\n    },\n    options: GuideOptions = {}\n  ): GuideResult {\n    const agent = options.agent ?? this.config.defaultAgent;\n    const adapter = getAgentAdapter(agent);\n\n    // Create a composite plan for the feature\n    const firstOp = feature.operations?.[0];\n    const spec = firstOp\n      ? deps.specs?.get(firstOp.key, firstOp.version)\n      : undefined;\n\n    // Generate base plan from first spec or create feature-level plan\n    let plan: ImplementationPlan;\n    if (spec) {\n      plan = generateImplementationPlan(spec, {\n        projectRoot: this.config.projectRoot,\n      });\n      // Override target to indicate it's a feature\n      plan.target = {\n        type: 'feature',\n        key: feature.meta.key,\n        version: '1.0.0',\n      };\n      plan.context.goal = feature.meta.description ?? plan.context.goal;\n    } else {\n      // Create a minimal plan for features without specs\n      plan = {\n        target: {\n          type: 'feature',\n          key: feature.meta.key,\n          version: '1.0.0',\n        },\n        context: {\n          goal:\n            feature.meta.description ?? `Implement feature ${feature.meta.key}`,\n          description: feature.meta.title ?? feature.meta.key,\n          background: '',\n        },\n        specMarkdown: featureToMarkdown(feature, deps),\n        fileStructure: [],\n        steps: [\n          {\n            order: 1,\n            title: 'Implement Feature',\n            description: `Implement the ${feature.meta.key} feature`,\n            acceptanceCriteria: [],\n          },\n        ],\n        constraints: { policy: [], security: [], pii: [] },\n        verificationChecklist: [],\n      };\n    }\n\n    // Enhance spec markdown with full feature context\n    plan.specMarkdown = featureToMarkdown(feature, deps, {\n      format: 'full',\n      includeRelatedSpecs: true,\n      includeRelatedEvents: true,\n      includeRelatedPresentations: true,\n    });\n\n    // Add steps for each operation\n    if (feature.operations?.length) {\n      plan.steps = feature.operations.map((op, idx) => ({\n        order: idx + 1,\n        title: `Implement ${op.key}`,\n        description: `Implement operation ${op.key}.v${op.version}`,\n        acceptanceCriteria: [`Operation ${op.key} works as specified`],\n      }));\n    }\n\n    const prompt = adapter.formatPlan(plan);\n    const markdown = featureToMarkdown(feature, deps);\n\n    return {\n      plan,\n      prompt,\n      markdown,\n    };\n  }\n\n  /**\n   * Generate agent-specific configuration (e.g., cursor rules).\n   */\n  generateAgentConfig(\n    spec: AnyOperationSpec,\n    agent?: AgentType\n  ): string | undefined {\n    const adapter = getAgentAdapter(agent ?? this.config.defaultAgent);\n    return adapter.generateConfig?.(spec);\n  }\n\n  /**\n   * Export a spec in a specific format for an agent.\n   */\n  exportForAgent(\n    spec: AnyOperationSpec,\n    _agent: AgentType,\n    taskType: 'implement' | 'test' | 'refactor' | 'review' = 'implement',\n    existingCode?: string\n  ): string {\n    return operationSpecToAgentPrompt(spec, { taskType, existingCode });\n  }\n\n  /**\n   * List available agent types.\n   */\n  listAgentTypes(): AgentType[] {\n    return listAgentTypes();\n  }\n\n  /**\n   * Get the default agent type.\n   */\n  getDefaultAgent(): AgentType {\n    return this.config.defaultAgent;\n  }\n\n  /**\n   * Update configuration.\n   */\n  configure(config: Partial<AgentGuideConfig>): void {\n    this.config = { ...this.config, ...config };\n  }\n}\n\n/**\n * Create a new AgentGuideService instance.\n */\nexport function createAgentGuideService(\n  config?: Partial<AgentGuideConfig>\n): AgentGuideService {\n  return new AgentGuideService(config);\n}\n\n/** Default singleton instance */\nexport const agentGuideService = new AgentGuideService();\n"],"mappings":";;;;AA0BA,MAAMA,iBAAmC;CACvC,cAAc;CACd,SAAS;CACV;;;;;;AAOD,IAAa,oBAAb,MAA+B;CAC7B,AAAQ;CAER,YAAY,SAAoC,EAAE,EAAE;AAClD,OAAK,SAAS;GAAE,GAAG;GAAgB,GAAG;GAAQ;;;;;CAMhD,cACE,MACA,UAAwB,EAAE,EACb;EAEb,MAAM,UAAU,gBADF,QAAQ,SAAS,KAAK,OAAO,aACL;EAGtC,MAAM,OAAO,2BAA2B,MAAM;GAC5C,aAAa,KAAK,OAAO;GACzB,eAAe,QAAQ,aAAa,CAAC,QAAQ,WAAW,GAAG;GAC5D,CAAC;AAQF,SAAO;GACL;GACA,QAPa,QAAQ,WAAW,KAAK;GAQrC,UALe,4BAA4B,KAAK;GAMjD;;;;;CAMH,qBACE,SACA,MAIA,UAAwB,EAAE,EACb;EAEb,MAAM,UAAU,gBADF,QAAQ,SAAS,KAAK,OAAO,aACL;EAGtC,MAAM,UAAU,QAAQ,aAAa;EACrC,MAAM,OAAO,UACT,KAAK,OAAO,IAAI,QAAQ,KAAK,QAAQ,QAAQ,GAC7C;EAGJ,IAAIC;AACJ,MAAI,MAAM;AACR,UAAO,2BAA2B,MAAM,EACtC,aAAa,KAAK,OAAO,aAC1B,CAAC;AAEF,QAAK,SAAS;IACZ,MAAM;IACN,KAAK,QAAQ,KAAK;IAClB,SAAS;IACV;AACD,QAAK,QAAQ,OAAO,QAAQ,KAAK,eAAe,KAAK,QAAQ;QAG7D,QAAO;GACL,QAAQ;IACN,MAAM;IACN,KAAK,QAAQ,KAAK;IAClB,SAAS;IACV;GACD,SAAS;IACP,MACE,QAAQ,KAAK,eAAe,qBAAqB,QAAQ,KAAK;IAChE,aAAa,QAAQ,KAAK,SAAS,QAAQ,KAAK;IAChD,YAAY;IACb;GACD,cAAc,kBAAkB,SAAS,KAAK;GAC9C,eAAe,EAAE;GACjB,OAAO,CACL;IACE,OAAO;IACP,OAAO;IACP,aAAa,iBAAiB,QAAQ,KAAK,IAAI;IAC/C,oBAAoB,EAAE;IACvB,CACF;GACD,aAAa;IAAE,QAAQ,EAAE;IAAE,UAAU,EAAE;IAAE,KAAK,EAAE;IAAE;GAClD,uBAAuB,EAAE;GAC1B;AAIH,OAAK,eAAe,kBAAkB,SAAS,MAAM;GACnD,QAAQ;GACR,qBAAqB;GACrB,sBAAsB;GACtB,6BAA6B;GAC9B,CAAC;AAGF,MAAI,QAAQ,YAAY,OACtB,MAAK,QAAQ,QAAQ,WAAW,KAAK,IAAI,SAAS;GAChD,OAAO,MAAM;GACb,OAAO,aAAa,GAAG;GACvB,aAAa,uBAAuB,GAAG,IAAI,IAAI,GAAG;GAClD,oBAAoB,CAAC,aAAa,GAAG,IAAI,qBAAqB;GAC/D,EAAE;EAGL,MAAM,SAAS,QAAQ,WAAW,KAAK;EACvC,MAAM,WAAW,kBAAkB,SAAS,KAAK;AAEjD,SAAO;GACL;GACA;GACA;GACD;;;;;CAMH,oBACE,MACA,OACoB;AAEpB,SADgB,gBAAgB,SAAS,KAAK,OAAO,aAAa,CACnD,iBAAiB,KAAK;;;;;CAMvC,eACE,MACA,QACA,WAAyD,aACzD,cACQ;AACR,SAAO,2BAA2B,MAAM;GAAE;GAAU;GAAc,CAAC;;;;;CAMrE,iBAA8B;AAC5B,SAAO,gBAAgB;;;;;CAMzB,kBAA6B;AAC3B,SAAO,KAAK,OAAO;;;;;CAMrB,UAAU,QAAyC;AACjD,OAAK,SAAS;GAAE,GAAG,KAAK;GAAQ,GAAG;GAAQ;;;;;;AAO/C,SAAgB,wBACd,QACmB;AACnB,QAAO,IAAI,kBAAkB,OAAO;;;AAItC,MAAa,oBAAoB,IAAI,mBAAmB"}

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

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

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

@@ -1,7 +1,8 @@
-import { validateImplementationFiles } from "../validate-implementation.js";
+import { validateImplementationFiles } from "../validate/implementation-validator.js";
 import { analyzeDeps } from "../deps.js";
 import { loadWorkspaceConfig } from "../config.js";
 import { analyzeIntegrity } from "../integrity.js";
+import { discoverLayers } from "../layer-discovery.js";
 import { runDoctor } from "../doctor/doctor-service.js";
 import { resolveAllImplementations } from "../implementation/resolver.js";
 import { isFeatureFile, validateSpecStructure } from "@contractspec/module.workspace";
@@ -66,6 +67,12 @@ async function runCIChecks(adapters, 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));
+	}
 	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;
@@ -338,6 +345,65 @@ async function runImplementationChecks(adapters, specFiles, options) {
 	return issues;
 }
 /**
+* 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;
+}
+/**
 * Create a category summary from issues.
 */
 function createCategorySummary(category, issues, durationMs) {
@@ -348,7 +414,8 @@ function createCategorySummary(category, issues, durationMs) {
 		doctor: "Installation Health",
 		handlers: "Handler Implementation",
 		tests: "Test Coverage",
-		implementation: "Implementation Verification"
+		implementation: "Implementation Verification",
+		layers: "Contract Layers Validation"
 	};
 	const errors = issues.filter((i) => i.severity === "error").length;
 	const warnings = issues.filter((i) => i.severity === "warning").length;

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

@@ -1 +1 @@
-{"version":3,"file":"ci-check-service.js","names":["issues: CIIssue[]","categorySummaries: CICheckCategorySummary[]","result: CICheckResult","allCategories: CICheckCategory[]","categoryLabels: Record<CICheckCategory, string>"],"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 {\n  isFeatureFile,\n  validateSpecStructure,\n} from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../../ports/fs';\nimport type { LoggerAdapter } from '../../ports/logger';\nimport { analyzeIntegrity } from '../integrity';\nimport { analyzeDeps } from '../deps';\nimport { runDoctor } from '../doctor/doctor-service';\nimport { validateImplementationFiles } from '../validate-implementation';\nimport { loadWorkspaceConfig } from '../config';\nimport { resolveAllImplementations } from '../implementation/resolver';\n\nimport type {\n  CICheckCategory,\n  CICheckCategorySummary,\n  CICheckOptions,\n  CICheckResult,\n  CIIssue,\n} from './types';\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) && !f.includes('.test.') && !f.includes('.spec.')\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 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  // 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\n/**\n * Determine which checks to run based on options.\n */\nfunction getChecksToRun(options: CICheckOptions): CICheckCategory[] {\n  const allCategories: CICheckCategory[] = [\n    'structure',\n    'integrity',\n    'deps',\n    'doctor',\n  ];\n\n  // Add optional checks if explicitly requested\n  if (options.checkHandlers) {\n    allCategories.push('handlers');\n  }\n  if (options.checkTests) {\n    allCategories.push('tests');\n  }\n  if (options.implementation) {\n    allCategories.push('implementation');\n  }\n\n  // If specific checks are requested, use those\n  if (options.checks && options.checks.length > 0) {\n    return options.checks;\n  }\n\n  // Otherwise, use all minus skipped\n  if (options.skip && options.skip.length > 0) {\n    return allCategories.filter((c) => !options.skip?.includes(c));\n  }\n\n  return allCategories;\n}\n\n/**\n * Run spec structure validation checks.\n */\nasync 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\n/**\n * Run integrity analysis checks.\n */\nasync 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\n/**\n * Run dependency analysis checks.\n */\nasync 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\n/**\n * Run doctor checks (skipping AI in CI).\n */\nasync 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\n/**\n * Run handler implementation checks.\n */\nasync 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\n/**\n * Run test coverage checks.\n */\nasync 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\n/**\n * Run implementation verification checks.\n */\nasync 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\n/**\n * Create a category summary from issues.\n */\nfunction createCategorySummary(\n  category: CICheckCategory,\n  issues: CIIssue[],\n  durationMs: number\n): CICheckCategorySummary {\n  const categoryLabels: 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    implementation: 'Implementation Verification',\n  };\n\n  const errors = issues.filter((i) => i.severity === 'error').length;\n  const warnings = issues.filter((i) => i.severity === 'warning').length;\n  const notes = issues.filter((i) => i.severity === 'note').length;\n\n  return {\n    category,\n    label: categoryLabels[category],\n    errors,\n    warnings,\n    notes,\n    passed: errors === 0,\n    durationMs,\n  };\n}\n\n/**\n * Get git information if available.\n */\nasync function getGitInfo(\n  fs: FsAdapter\n): Promise<{ commitSha?: string; branch?: string }> {\n  try {\n    // Try to read from .git/HEAD and refs\n    const gitHeadPath = '.git/HEAD';\n    if (!(await fs.exists(gitHeadPath))) {\n      return {};\n    }\n\n    const headContent = await fs.readFile(gitHeadPath);\n    const refMatch = headContent.match(/^ref: (.+)$/m);\n\n    if (refMatch) {\n      const branch = refMatch[1]?.replace('refs/heads/', '');\n      const refPath = `.git/${refMatch[1]}`;\n\n      if (await fs.exists(refPath)) {\n        const commitSha = (await fs.readFile(refPath)).trim();\n        return { commitSha, branch };\n      }\n\n      return { branch };\n    }\n\n    // Detached HEAD - content is the SHA\n    const commitSha = headContent.trim();\n    return { commitSha };\n  } catch {\n    return {};\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;AA+BA,eAAsB,YACpB,UACA,UAA0B,EAAE,EACJ;CACxB,MAAM,YAAY,KAAK,KAAK;CAC5B,MAAM,EAAE,IAAI,WAAW;CAEvB,MAAMA,SAAoB,EAAE;CAC5B,MAAMC,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,EAAE,SAAS,SAAS,IAAI,CAAC,EAAE,SAAS,SAAS,CAC3E;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,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;;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,MAAMC,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;;;;;AAMT,SAAS,eAAe,SAA4C;CAClE,MAAMC,gBAAmC;EACvC;EACA;EACA;EACA;EACD;AAGD,KAAI,QAAQ,cACV,eAAc,KAAK,WAAW;AAEhC,KAAI,QAAQ,WACV,eAAc,KAAK,QAAQ;AAE7B,KAAI,QAAQ,eACV,eAAc,KAAK,iBAAiB;AAItC,KAAI,QAAQ,UAAU,QAAQ,OAAO,SAAS,EAC5C,QAAO,QAAQ;AAIjB,KAAI,QAAQ,QAAQ,QAAQ,KAAK,SAAS,EACxC,QAAO,cAAc,QAAQ,MAAM,CAAC,QAAQ,MAAM,SAAS,EAAE,CAAC;AAGhE,QAAO;;;;;AAMT,eAAe,mBACb,UACA,WACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAMH,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;;;;;AAMT,eAAe,mBACb,UACA,SACoB;CACpB,MAAMA,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;;;;;AAMT,eAAe,cACb,UACA,SACoB;CACpB,MAAMA,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;;;;;AAMT,eAAe,gBACb,UACA,SACoB;CACpB,MAAMA,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;;;;;AAMT,eAAe,iBACb,UACA,WACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAMA,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;;;;;AAMT,eAAe,cACb,UACA,WACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAMA,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;;;;;AAMT,eAAe,wBACb,UACA,WACA,SACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAMA,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;;;;;AAMT,SAAS,sBACP,UACA,QACA,YACwB;CACxB,MAAMI,iBAAkD;EACtD,WAAW;EACX,WAAW;EACX,MAAM;EACN,QAAQ;EACR,UAAU;EACV,OAAO;EACP,gBAAgB;EACjB;CAED,MAAM,SAAS,OAAO,QAAQ,MAAM,EAAE,aAAa,QAAQ,CAAC;CAC5D,MAAM,WAAW,OAAO,QAAQ,MAAM,EAAE,aAAa,UAAU,CAAC;CAChE,MAAM,QAAQ,OAAO,QAAQ,MAAM,EAAE,aAAa,OAAO,CAAC;AAE1D,QAAO;EACL;EACA,OAAO,eAAe;EACtB;EACA;EACA;EACA,QAAQ,WAAW;EACnB;EACD;;;;;AAMH,eAAe,WACb,IACkD;AAClD,KAAI;EAEF,MAAM,cAAc;AACpB,MAAI,CAAE,MAAM,GAAG,OAAO,YAAY,CAChC,QAAO,EAAE;EAGX,MAAM,cAAc,MAAM,GAAG,SAAS,YAAY;EAClD,MAAM,WAAW,YAAY,MAAM,eAAe;AAElD,MAAI,UAAU;GACZ,MAAM,SAAS,SAAS,IAAI,QAAQ,eAAe,GAAG;GACtD,MAAM,UAAU,QAAQ,SAAS;AAEjC,OAAI,MAAM,GAAG,OAAO,QAAQ,CAE1B,QAAO;IAAE,YADU,MAAM,GAAG,SAAS,QAAQ,EAAE,MAAM;IACjC;IAAQ;AAG9B,UAAO,EAAE,QAAQ;;AAKnB,SAAO,EAAE,WADS,YAAY,MAAM,EAChB;SACd;AACN,SAAO,EAAE"}
+{"version":3,"file":"ci-check-service.js","names":["issues: CIIssue[]","categorySummaries: CICheckCategorySummary[]","result: CICheckResult","allCategories: CICheckCategory[]","categoryLabels: Record<CICheckCategory, string>"],"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 {\n  isFeatureFile,\n  validateSpecStructure,\n} from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../../ports/fs';\nimport type { LoggerAdapter } from '../../ports/logger';\nimport { analyzeIntegrity } from '../integrity';\nimport { analyzeDeps } from '../deps';\nimport { runDoctor } from '../doctor/doctor-service';\nimport { validateImplementationFiles } from '../validate/implementation-validator';\nimport { loadWorkspaceConfig } from '../config';\nimport { resolveAllImplementations } from '../implementation/resolver';\nimport { discoverLayers } from '../layer-discovery';\n\nimport type {\n  CICheckCategory,\n  CICheckCategorySummary,\n  CICheckOptions,\n  CICheckResult,\n  CIIssue,\n} from './types';\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) && !f.includes('.test.') && !f.includes('.spec.')\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 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  // 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\n/**\n * Determine which checks to run based on options.\n */\nfunction getChecksToRun(options: CICheckOptions): CICheckCategory[] {\n  const allCategories: CICheckCategory[] = [\n    'structure',\n    'integrity',\n    'deps',\n    'doctor',\n  ];\n\n  // Add optional checks if explicitly requested\n  if (options.checkHandlers) {\n    allCategories.push('handlers');\n  }\n  if (options.checkTests) {\n    allCategories.push('tests');\n  }\n  if (options.implementation) {\n    allCategories.push('implementation');\n  }\n\n  // If specific checks are requested, use those\n  if (options.checks && options.checks.length > 0) {\n    return options.checks;\n  }\n\n  // Otherwise, use all minus skipped\n  if (options.skip && options.skip.length > 0) {\n    return allCategories.filter((c) => !options.skip?.includes(c));\n  }\n\n  return allCategories;\n}\n\n/**\n * Run spec structure validation checks.\n */\nasync 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\n/**\n * Run integrity analysis checks.\n */\nasync 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\n/**\n * Run dependency analysis checks.\n */\nasync 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\n/**\n * Run doctor checks (skipping AI in CI).\n */\nasync 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\n/**\n * Run handler implementation checks.\n */\nasync 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\n/**\n * Run test coverage checks.\n */\nasync 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\n/**\n * Run implementation verification checks.\n */\nasync 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\n/**\n * Run layer validation checks.\n */\nasync 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\n/**\n * Create a category summary from issues.\n */\nfunction createCategorySummary(\n  category: CICheckCategory,\n  issues: CIIssue[],\n  durationMs: number\n): CICheckCategorySummary {\n  const categoryLabels: 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    implementation: 'Implementation Verification',\n    layers: 'Contract Layers Validation',\n  };\n\n  const errors = issues.filter((i) => i.severity === 'error').length;\n  const warnings = issues.filter((i) => i.severity === 'warning').length;\n  const notes = issues.filter((i) => i.severity === 'note').length;\n\n  return {\n    category,\n    label: categoryLabels[category],\n    errors,\n    warnings,\n    notes,\n    passed: errors === 0,\n    durationMs,\n  };\n}\n\n/**\n * Get git information if available.\n */\nasync function getGitInfo(\n  fs: FsAdapter\n): Promise<{ commitSha?: string; branch?: string }> {\n  try {\n    // Try to read from .git/HEAD and refs\n    const gitHeadPath = '.git/HEAD';\n    if (!(await fs.exists(gitHeadPath))) {\n      return {};\n    }\n\n    const headContent = await fs.readFile(gitHeadPath);\n    const refMatch = headContent.match(/^ref: (.+)$/m);\n\n    if (refMatch) {\n      const branch = refMatch[1]?.replace('refs/heads/', '');\n      const refPath = `.git/${refMatch[1]}`;\n\n      if (await fs.exists(refPath)) {\n        const commitSha = (await fs.readFile(refPath)).trim();\n        return { commitSha, branch };\n      }\n\n      return { branch };\n    }\n\n    // Detached HEAD - content is the SHA\n    const commitSha = headContent.trim();\n    return { commitSha };\n  } catch {\n    return {};\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;AAgCA,eAAsB,YACpB,UACA,UAA0B,EAAE,EACJ;CACxB,MAAM,YAAY,KAAK,KAAK;CAC5B,MAAM,EAAE,IAAI,WAAW;CAEvB,MAAMA,SAAoB,EAAE;CAC5B,MAAMC,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,EAAE,SAAS,SAAS,IAAI,CAAC,EAAE,SAAS,SAAS,CAC3E;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,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;;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,MAAMC,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;;;;;AAMT,SAAS,eAAe,SAA4C;CAClE,MAAMC,gBAAmC;EACvC;EACA;EACA;EACA;EACD;AAGD,KAAI,QAAQ,cACV,eAAc,KAAK,WAAW;AAEhC,KAAI,QAAQ,WACV,eAAc,KAAK,QAAQ;AAE7B,KAAI,QAAQ,eACV,eAAc,KAAK,iBAAiB;AAItC,KAAI,QAAQ,UAAU,QAAQ,OAAO,SAAS,EAC5C,QAAO,QAAQ;AAIjB,KAAI,QAAQ,QAAQ,QAAQ,KAAK,SAAS,EACxC,QAAO,cAAc,QAAQ,MAAM,CAAC,QAAQ,MAAM,SAAS,EAAE,CAAC;AAGhE,QAAO;;;;;AAMT,eAAe,mBACb,UACA,WACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAMH,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;;;;;AAMT,eAAe,mBACb,UACA,SACoB;CACpB,MAAMA,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;;;;;AAMT,eAAe,cACb,UACA,SACoB;CACpB,MAAMA,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;;;;;AAMT,eAAe,gBACb,UACA,SACoB;CACpB,MAAMA,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;;;;;AAMT,eAAe,iBACb,UACA,WACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAMA,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;;;;;AAMT,eAAe,cACb,UACA,WACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAMA,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;;;;;AAMT,eAAe,wBACb,UACA,WACA,SACoB;CACpB,MAAM,EAAE,OAAO;CACf,MAAMA,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;;;;;AAMT,eAAe,eACb,UACA,UACoB;CACpB,MAAMA,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;;;;;AAMT,SAAS,sBACP,UACA,QACA,YACwB;CACxB,MAAMI,iBAAkD;EACtD,WAAW;EACX,WAAW;EACX,MAAM;EACN,QAAQ;EACR,UAAU;EACV,OAAO;EACP,gBAAgB;EAChB,QAAQ;EACT;CAED,MAAM,SAAS,OAAO,QAAQ,MAAM,EAAE,aAAa,QAAQ,CAAC;CAC5D,MAAM,WAAW,OAAO,QAAQ,MAAM,EAAE,aAAa,UAAU,CAAC;CAChE,MAAM,QAAQ,OAAO,QAAQ,MAAM,EAAE,aAAa,OAAO,CAAC;AAE1D,QAAO;EACL;EACA,OAAO,eAAe;EACtB;EACA;EACA;EACA,QAAQ,WAAW;EACnB;EACD;;;;;AAMH,eAAe,WACb,IACkD;AAClD,KAAI;EAEF,MAAM,cAAc;AACpB,MAAI,CAAE,MAAM,GAAG,OAAO,YAAY,CAChC,QAAO,EAAE;EAGX,MAAM,cAAc,MAAM,GAAG,SAAS,YAAY;EAClD,MAAM,WAAW,YAAY,MAAM,eAAe;AAElD,MAAI,UAAU;GACZ,MAAM,SAAS,SAAS,IAAI,QAAQ,eAAe,GAAG;GACtD,MAAM,UAAU,QAAQ,SAAS;AAEjC,OAAI,MAAM,GAAG,OAAO,QAAQ,CAE1B,QAAO;IAAE,YADU,MAAM,GAAG,SAAS,QAAQ,EAAE,MAAM;IACjC;IAAQ;AAG9B,UAAO,EAAE,QAAQ;;AAKnB,SAAO,EAAE,WADS,YAAY,MAAM,EAChB;SACd;AACN,SAAO,EAAE"}

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

@@ -7,7 +7,7 @@
 /**
  * Categories of CI checks.
  */
-type CICheckCategory = 'structure' | 'integrity' | 'deps' | 'doctor' | 'handlers' | 'tests' | 'implementation';
+type CICheckCategory = 'structure' | 'integrity' | 'deps' | 'doctor' | 'handlers' | 'tests' | 'implementation' | 'layers';
 /**
  * All available CI check categories.
  */

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","names":[],"sources":["../../../src/services/ci-check/types.ts"],"sourcesContent":[],"mappings":";;AASA;AAYA;AAaA;AAaA;AAKA;;;AAoBY,KA/DA,eAAA,GA+DA,WAAA,GAAA,WAAA,GAAA,MAAA,GAAA,QAAA,GAAA,UAAA,GAAA,OAAA,GAAA,gBAAA;;AAMZ;AAoBA;AA0BiB,cAvGJ,uBA2GF,EA3G2B,eA6G7B,EAAA;AAyBT;AAKA;;cA9Ha,0BAA0B,OAAO;;;;KAalC,eAAA;;;;UAKK,OAAA;;;;YAIL;;;;YAIA;;;;;;;;;;;;YAYA;;;;;UAMK,sBAAA;;YAEL;;;;;;;;;;;;;;;;;UAkBK,aAAA;;;;;;;;;;UAUP;;cAEI;;;;;;;;;;;;;UAcG,cAAA;;;;WAIN;;SAEF;;;;;;;;;;;;;;;;;;;;;;;;KAyBG,cAAA;;;;UAKK,eAAA;;UAEP"}
+{"version":3,"file":"types.d.ts","names":[],"sources":["../../../src/services/ci-check/types.ts"],"sourcesContent":[],"mappings":";;AASA;AAaA;AAcA;AAcA;AAKA;;;AAoBY,KAlEA,eAAA,GAkEA,WAAA,GAAA,WAAA,GAAA,MAAA,GAAA,QAAA,GAAA,UAAA,GAAA,OAAA,GAAA,gBAAA,GAAA,QAAA;;AAMZ;AAoBA;AA0BiB,cAzGJ,uBA6GF,EA7G2B,eA+G7B,EAAA;AAyBT;AAKA;;cA/Ha,0BAA0B,OAAO;;;;KAclC,eAAA;;;;UAKK,OAAA;;;;YAIL;;;;YAIA;;;;;;;;;;;;YAYA;;;;;UAMK,sBAAA;;YAEL;;;;;;;;;;;;;;;;;UAkBK,aAAA;;;;;;;;;;UAUP;;cAEI;;;;;;;;;;;;;UAcG,cAAA;;;;WAIN;;SAEF;;;;;;;;;;;;;;;;;;;;;;;;KAyBG,cAAA;;;;UAKK,eAAA;;UAEP"}

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

@@ -9,7 +9,8 @@ const ALL_CI_CHECK_CATEGORIES = [
 	"doctor",
 	"handlers",
 	"tests",
-	"implementation"
+	"implementation",
+	"layers"
 ];
 /**
 * Human-readable labels for CI check categories.
@@ -21,7 +22,8 @@ const CI_CHECK_CATEGORY_LABELS = {
 	doctor: "Installation Health",
 	handlers: "Handler Implementation",
 	tests: "Test Coverage",
-	implementation: "Implementation Verification"
+	implementation: "Implementation Verification",
+	layers: "Contract Layers Validation"
 };
 
 //#endregion

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

@@ -1 +1 @@
-{"version":3,"file":"types.js","names":["ALL_CI_CHECK_CATEGORIES: CICheckCategory[]","CI_CHECK_CATEGORY_LABELS: Record<CICheckCategory, string>"],"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\n/**\n * Categories of CI checks.\n */\nexport type CICheckCategory =\n  | 'structure'\n  | 'integrity'\n  | 'deps'\n  | 'doctor'\n  | 'handlers'\n  | 'tests'\n  | 'implementation';\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  'implementation',\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  implementation: 'Implementation Verification',\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  /** 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\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":";;;;AAqBA,MAAaA,0BAA6C;CACxD;CACA;CACA;CACA;CACA;CACA;CACA;CACD;;;;AAKD,MAAaC,2BAA4D;CACvE,WAAW;CACX,WAAW;CACX,MAAM;CACN,QAAQ;CACR,UAAU;CACV,OAAO;CACP,gBAAgB;CACjB"}
+{"version":3,"file":"types.js","names":["ALL_CI_CHECK_CATEGORIES: CICheckCategory[]","CI_CHECK_CATEGORY_LABELS: Record<CICheckCategory, string>"],"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\n/**\n * Categories of CI checks.\n */\nexport type CICheckCategory =\n  | 'structure'\n  | 'integrity'\n  | 'deps'\n  | 'doctor'\n  | 'handlers'\n  | 'tests'\n  | 'implementation'\n  | 'layers';\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  'implementation',\n  'layers',\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  implementation: 'Implementation Verification',\n  layers: 'Contract Layers Validation',\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  /** 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\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":";;;;AAsBA,MAAaA,0BAA6C;CACxD;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACD;;;;AAKD,MAAaC,2BAA4D;CACvE,WAAW;CACX,WAAW;CACX,MAAM;CACN,QAAQ;CACR,UAAU;CACV,OAAO;CACP,gBAAgB;CAChB,QAAQ;CACT"}