@contractspec/bundle.workspace 1.46.2 → 1.48.0

package/dist/services/index.mjs

@@ -0,0 +1,104 @@
+import { detectPackageManager, findPackageRoot, findWorkspaceRoot, getWorkspaceInfo } from "../adapters/workspace.mjs";
+import { validateSpec, validateSpecs } from "./validate/spec-validator.mjs";
+import { validateImplementationFiles } from "./validate/implementation-validator.mjs";
+import { validateBlueprint } from "./validate/blueprint-validator.mjs";
+import { validateTenantConfig } from "./validate/tenant-validator.mjs";
+import { validateImplementationWithAgent } from "./validate/implementation-agent-validator.mjs";
+import "./validate/index.mjs";
+import { features_exports } from "./features/index.mjs";
+import { compareSpecs } from "./diff.mjs";
+import { analyzeDeps, exportGraphAsDot, getContractNode, getGraphStats } from "./deps.mjs";
+import { groupSpecsByType, listSpecs } from "./list.mjs";
+import { getApiKey, loadWorkspaceConfig } from "./config.mjs";
+import { buildSpec } from "./build.mjs";
+import { importFromOpenApiService } from "./openapi/import-service.mjs";
+import { syncWithOpenApiService } from "./openapi/sync-service.mjs";
+import { validateAgainstOpenApiService } from "./openapi/validate-service.mjs";
+import { exportOpenApi } from "./openapi/export-service.mjs";
+import "./openapi/index.mjs";
+import { RegistryClient, addToRegistry, listFromRegistry, resolveRegistryUrl, searchRegistry } from "./registry.mjs";
+import { syncSpecs } from "./sync.mjs";
+import { watchSpecs } from "./watch.mjs";
+import { cleanArtifacts } from "./clean.mjs";
+import { listTests, runTestSpecs, runTests } from "./test/test-service.mjs";
+import { TestGeneratorService } from "./test/test-generator-service.mjs";
+import "./test/index.mjs";
+import { createRegeneratorService } from "./regenerator.mjs";
+import { findAllConfigFiles, formatWorkspaceInfo, getExtendedWorkspaceInfo, mergeMonorepoConfigs } from "./workspace-info.mjs";
+import { analyzeIntegrity, filterIssuesBySeverity, filterIssuesByType, getAllSpecs } from "./integrity.mjs";
+import { generateMermaidDiagram } from "./integrity-diagram.mjs";
+import { createEmptyLayerInventory, discoverLayers, getAllLayerLocations } from "./layer-discovery.mjs";
+import { ALL_SETUP_TARGETS, SETUP_TARGET_LABELS } from "./setup/types.mjs";
+import { generateAgentsMd, generateClaudeMcpConfig, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateVscodeSettings, getClaudeDesktopConfigPath } from "./setup/config-generators.mjs";
+import { deepMergeOverwrite, deepMergePreserve, formatJson, safeParseJson } from "./setup/file-merger.mjs";
+import { runSetup } from "./setup/setup-service.mjs";
+import { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS } from "./doctor/types.mjs";
+import { formatCheckResult, formatDoctorSummary, runDoctor } from "./doctor/doctor-service.mjs";
+import "./doctor/index.mjs";
+import { ALL_CI_CHECK_CATEGORIES, CI_CHECK_CATEGORY_LABELS } from "./ci-check/types.mjs";
+import { discoverAllImplementations, discoverImplementationsForSpec, extractSpecReferences, inferImplementationType } from "./implementation/discovery.mjs";
+import { getConventionPaths, toKebabCase } from "./implementation/resolver/conventions.mjs";
+import { getSpecKeyVariants, parseExplicitImplementations } from "./implementation/resolver/parsers.mjs";
+import { determineStatus, getImplementationSummary } from "./implementation/resolver/status.mjs";
+import { resolveAllImplementations, resolveImplementations } from "./implementation/resolver/index.mjs";
+import { generateDocsFromSpecs } from "./docs/docs-service.mjs";
+import "./docs/index.mjs";
+import { generateArtifacts } from "./generate-artifacts.mjs";
+import { runCIChecks } from "./ci-check/ci-check-service.mjs";
+import "./ci-check/index.mjs";
+import { ClaudeCodeAdapter, claudeCodeAdapter } from "./agent-guide/adapters/claude-code.mjs";
+import { CursorCLIAdapter, cursorCLIAdapter } from "./agent-guide/adapters/cursor-cli.mjs";
+import { GenericMCPAdapter, genericMCPAdapter } from "./agent-guide/adapters/generic-mcp.mjs";
+import { agentAdapters, getAgentAdapter, listAgentTypes } from "./agent-guide/adapters/index.mjs";
+import { AgentGuideService, agentGuideService, createAgentGuideService } from "./agent-guide/agent-guide-service.mjs";
+import "./agent-guide/index.mjs";
+import { formatVerificationReport, verifyImplementationAgainstParsedSpec } from "./llm/verify-static.mjs";
+import { exportSpecForLLM, generateCursorRulesFromParsedSpec, generateFeatureContextMarkdown, generateGuideFromParsedSpec } from "./llm/index.mjs";
+import { AIGenerator } from "./create/ai-generator.mjs";
+import { generateOperationSpec } from "../templates/operation.template.mjs";
+import { generateEventSpec } from "../templates/event.template.mjs";
+import { generatePresentationSpec } from "../templates/presentation.template.mjs";
+import { generateWorkflowSpec } from "../templates/workflow.template.mjs";
+import { generateMigrationSpec } from "../templates/migration.template.mjs";
+import { generateTelemetrySpec } from "../templates/telemetry.template.mjs";
+import { generateExperimentSpec } from "../templates/experiment.template.mjs";
+import { generateAppBlueprintSpec } from "../templates/app-config.template.mjs";
+import { generateDataViewSpec } from "../templates/data-view.template.mjs";
+import { generateIntegrationSpec } from "../templates/integration.template.mjs";
+import { generateKnowledgeSpaceSpec } from "../templates/knowledge.template.mjs";
+import { generateComponentTemplate, generateHandlerTemplate, generateTestTemplate } from "../templates/handler.template.mjs";
+import { generateWorkflowRunnerTemplate } from "../templates/workflow-runner.template.mjs";
+import { generateFeatureSpec } from "../templates/feature.template.mjs";
+import { SpecCreatorService, createSpecCreator } from "./create/index.mjs";
+import { verifyStructure } from "./verify/structure-verifier.mjs";
+import { verifyBehavior } from "./verify/behavior-verifier.mjs";
+import { createQuickAIReview, verifySemanticFields, verifyWithAI, verifyWithAIEnhanced } from "./verify/ai-verifier.mjs";
+import { VerifyService, createVerifyService, verifyService } from "./verify/verify-service.mjs";
+import "./verify/index.mjs";
+import "./implementation/index.mjs";
+import { DEFAULT_CACHE_CONFIG } from "./verification-cache/types.mjs";
+import { VerificationCacheService, cacheKeyToString, computeContentHash, createVerificationCacheService, stringToCacheKey } from "./verification-cache/cache-service.mjs";
+import { InMemoryCacheStorage, createInMemoryCacheStorage } from "./verification-cache/adapters/in-memory.mjs";
+import { FileSystemCacheStorage, createFileSystemCacheStorage } from "./verification-cache/adapters/filesystem.mjs";
+import { WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage } from "./verification-cache/adapters/workspace-state.mjs";
+import "./verification-cache/index.mjs";
+import { FULL_DEPENDENCIES, MINIMAL_DEPENDENCIES, getDependencies, getDevDependencies, getProductionDependencies } from "./quickstart/dependencies.mjs";
+import { formatQuickstartPreview, isContractSpecInstalled, runQuickstart } from "./quickstart/quickstart-service.mjs";
+import "./quickstart/index.mjs";
+import { impact_exports } from "./impact/index.mjs";
+import { formatFiles } from "./formatter.mjs";
+import { versioning_exports } from "./versioning/index.mjs";
+import { upgrade_exports } from "./upgrade/index.mjs";
+import { hooks_exports } from "./hooks/index.mjs";
+import { RuleSyncService } from "./rulesync.mjs";
+import { fix_exports } from "./fix/index.mjs";
+import { generateView } from "./view/index.mjs";
+import { analyzeGap } from "./gap.mjs";
+import { extractContracts } from "./extract.mjs";
+import { vibe_exports } from "./vibe/index.mjs";
+import { importFromSourceService } from "./import/import-service.mjs";
+import { verifyImportedContracts } from "./import/verify-service.mjs";
+import { generateCliReport, generateMarkdownReport } from "./import/report-service.mjs";
+import "./import/index.mjs";
+
+export {  };

package/dist/services/integrity-diagram.d.mts

@@ -0,0 +1,36 @@
+import { IntegrityAnalysisResult } from "./integrity.mjs";
+
+//#region src/services/integrity-diagram.d.ts
+
+/**
+ * Type of diagram to generate.
+ */
+type DiagramType = 'feature-map' | 'orphans' | 'dependencies' | 'full';
+/**
+ * Options for diagram generation.
+ */
+interface DiagramOptions {
+  /**
+   * Maximum number of nodes to display.
+   */
+  maxNodes?: number;
+  /**
+   * Include only specific features.
+   */
+  featureKeys?: string[];
+  /**
+   * Show spec versions in labels.
+   */
+  showVersions?: boolean;
+  /**
+   * Direction for the flowchart.
+   */
+  direction?: 'LR' | 'TB' | 'RL' | 'BT';
+}
+/**
+ * Generate a Mermaid diagram from integrity analysis results.
+ */
+declare function generateMermaidDiagram(result: IntegrityAnalysisResult, type?: DiagramType, options?: DiagramOptions): string;
+//#endregion
+export { DiagramOptions, DiagramType, generateMermaidDiagram };
+//# sourceMappingURL=integrity-diagram.d.mts.map

package/dist/services/integrity-diagram.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity-diagram.d.mts","names":[],"sources":["../../src/services/integrity-diagram.ts"],"sourcesContent":[],"mappings":";;;;;;;KAeY,WAAA;;;;UAKK,cAAA;;;;;;;;;;;;;;;;;;;;;iBAyBD,sBAAA,SACN,gCACF,uBACG"}

package/dist/services/integrity-diagram.mjs

@@ -0,0 +1,275 @@
+//#region src/services/integrity-diagram.ts
+/**
+* Generate a Mermaid diagram from integrity analysis results.
+*/
+function generateMermaidDiagram(result, type = "feature-map", options = {}) {
+	switch (type) {
+		case "feature-map": return generateFeatureMapDiagram(result, options);
+		case "orphans": return generateOrphansDiagram(result, options);
+		case "dependencies": return generateDependenciesDiagram(result, options);
+		case "full": return generateFullDiagram(result, options);
+		default: return generateFeatureMapDiagram(result, options);
+	}
+}
+/**
+* Generate a feature map diagram showing features and their linked specs.
+*/
+function generateFeatureMapDiagram(result, options) {
+	const { direction = "LR", showVersions = true, maxNodes = 50 } = options;
+	const lines = [`flowchart ${direction}`];
+	let features = result.features;
+	if (options.featureKeys && options.featureKeys.length > 0) features = features.filter((f) => options.featureKeys?.includes(f.key));
+	let nodeCount = 0;
+	if (features.length > 0) {
+		lines.push("    subgraph features [Features]");
+		for (const feature of features) {
+			if (nodeCount >= maxNodes) break;
+			const nodeId = sanitizeId(`F_${feature.key}`);
+			const label = feature.title ?? feature.key;
+			lines.push(`        ${nodeId}["${escapeLabel(label)}"]`);
+			nodeCount++;
+		}
+		lines.push("    end");
+	}
+	const ops = getReferencedSpecs(features, "operations", result.inventory);
+	if (ops.length > 0 && nodeCount < maxNodes) {
+		lines.push("    subgraph ops [Operations]");
+		for (const op of ops) {
+			if (nodeCount >= maxNodes) break;
+			const nodeId = sanitizeId(`O_${op.key}_v${op.version}`);
+			const label = showVersions ? `${op.key}.v${op.version}` : op.key;
+			lines.push(`        ${nodeId}["${escapeLabel(label)}"]`);
+			nodeCount++;
+		}
+		lines.push("    end");
+	}
+	const events = getReferencedSpecs(features, "events", result.inventory);
+	if (events.length > 0 && nodeCount < maxNodes) {
+		lines.push("    subgraph events [Events]");
+		for (const event of events) {
+			if (nodeCount >= maxNodes) break;
+			const nodeId = sanitizeId(`E_${event.key}_v${event.version}`);
+			const label = showVersions ? `${event.key}.v${event.version}` : event.key;
+			lines.push(`        ${nodeId}["${escapeLabel(label)}"]`);
+			nodeCount++;
+		}
+		lines.push("    end");
+	}
+	const presentations = getReferencedSpecs(features, "presentations", result.inventory);
+	if (presentations.length > 0 && nodeCount < maxNodes) {
+		lines.push("    subgraph presentations [Presentations]");
+		for (const pres of presentations) {
+			if (nodeCount >= maxNodes) break;
+			const nodeId = sanitizeId(`P_${pres.key}_v${pres.version}`);
+			const label = showVersions ? `${pres.key}.v${pres.version}` : pres.key;
+			lines.push(`        ${nodeId}["${escapeLabel(label)}"]`);
+			nodeCount++;
+		}
+		lines.push("    end");
+	}
+	for (const feature of features) {
+		const featureId = sanitizeId(`F_${feature.key}`);
+		for (const op of feature.operations) {
+			const opId = sanitizeId(`O_${op.key}_v${op.version}`);
+			lines.push(`    ${featureId} --> ${opId}`);
+		}
+		for (const event of feature.events) {
+			const eventId = sanitizeId(`E_${event.key}_v${event.version}`);
+			lines.push(`    ${featureId} -.-> ${eventId}`);
+		}
+		for (const pres of feature.presentations) {
+			const presId = sanitizeId(`P_${pres.key}_v${pres.version}`);
+			lines.push(`    ${featureId} --> ${presId}`);
+		}
+	}
+	return lines.join("\n");
+}
+/**
+* Generate a diagram highlighting orphaned specs.
+*/
+function generateOrphansDiagram(result, options) {
+	const { direction = "TB", showVersions = true, maxNodes = 50 } = options;
+	const lines = [`flowchart ${direction}`];
+	const linkedOps = /* @__PURE__ */ new Set();
+	const linkedEvents = /* @__PURE__ */ new Set();
+	const linkedPres = /* @__PURE__ */ new Set();
+	for (const feature of result.features) {
+		for (const op of feature.operations) linkedOps.add(`${op.key}.v${op.version}`);
+		for (const event of feature.events) linkedEvents.add(`${event.key}.v${event.version}`);
+		for (const pres of feature.presentations) linkedPres.add(`${pres.key}.v${pres.version}`);
+	}
+	let nodeCount = 0;
+	if (result.features.length > 0) {
+		lines.push("    subgraph features [Features]");
+		for (const feature of result.features) {
+			if (nodeCount >= maxNodes) break;
+			const nodeId = sanitizeId(`F_${feature.key}`);
+			lines.push(`        ${nodeId}["${escapeLabel(feature.title ?? feature.key)}"]`);
+			nodeCount++;
+		}
+		lines.push("    end");
+	}
+	if (result.orphanedSpecs.length > 0) {
+		lines.push("    subgraph orphaned [Orphaned Specs]");
+		for (const spec of result.orphanedSpecs) {
+			if (nodeCount >= maxNodes) break;
+			const nodeId = sanitizeId(`orphan_${spec.type}_${spec.key}_v${spec.version}`);
+			const label = showVersions ? `${spec.key}.v${spec.version}` : spec.key;
+			lines.push(`        ${nodeId}["${escapeLabel(label)}"]`);
+			nodeCount++;
+		}
+		lines.push("    end");
+	}
+	const allLinked = [];
+	for (const opKey of linkedOps) {
+		const [parsedKey, parsedVersion] = parseSpecKey(opKey);
+		if (parsedKey && parsedVersion) allLinked.push({
+			type: "operation",
+			key: parsedKey,
+			version: parsedVersion
+		});
+	}
+	for (const eventKey of linkedEvents) {
+		const [parsedKey, parsedVersion] = parseSpecKey(eventKey);
+		if (parsedKey && parsedVersion) allLinked.push({
+			type: "event",
+			key: parsedKey,
+			version: parsedVersion
+		});
+	}
+	for (const presKey of linkedPres) {
+		const [parsedKey, parsedVersion] = parseSpecKey(presKey);
+		if (parsedKey && parsedVersion) allLinked.push({
+			type: "presentation",
+			key: parsedKey,
+			version: parsedVersion
+		});
+	}
+	if (allLinked.length > 0 && nodeCount < maxNodes) {
+		lines.push("    subgraph linked [Linked Specs]");
+		for (const spec of allLinked) {
+			if (nodeCount >= maxNodes) break;
+			const nodeId = sanitizeId(`${spec.type}_${spec.key}_v${spec.version}`);
+			const label = showVersions ? `${spec.key}.v${spec.version}` : spec.key;
+			lines.push(`        ${nodeId}["${escapeLabel(label)}"]`);
+			nodeCount++;
+		}
+		lines.push("    end");
+	}
+	for (const feature of result.features) {
+		const featureId = sanitizeId(`F_${feature.key}`);
+		for (const op of feature.operations) {
+			const opId = sanitizeId(`operation_${op.key}_v${op.version}`);
+			lines.push(`    ${featureId} --> ${opId}`);
+		}
+		for (const event of feature.events) {
+			const eventId = sanitizeId(`event_${event.key}_v${event.version}`);
+			lines.push(`    ${featureId} -.-> ${eventId}`);
+		}
+		for (const pres of feature.presentations) {
+			const presId = sanitizeId(`presentation_${pres.key}_v${pres.version}`);
+			lines.push(`    ${featureId} --> ${presId}`);
+		}
+	}
+	return lines.join("\n");
+}
+/**
+* Generate a dependency diagram showing spec relationships.
+*/
+function generateDependenciesDiagram(result, options) {
+	const { direction = "TB", showVersions = true, maxNodes = 50 } = options;
+	const lines = [`flowchart ${direction}`];
+	let nodeCount = 0;
+	for (const feature of result.features) {
+		if (nodeCount >= maxNodes) break;
+		const featureId = sanitizeId(`F_${feature.key}`);
+		lines.push(`    ${featureId}["${escapeLabel(feature.title ?? feature.key)}"]`);
+		nodeCount++;
+		for (const op of feature.operations) {
+			if (nodeCount >= maxNodes) break;
+			const opId = sanitizeId(`O_${op.key}_v${op.version}`);
+			const label = showVersions ? `${op.key}.v${op.version}` : op.key;
+			lines.push(`    ${opId}["${escapeLabel(label)}"]`);
+			lines.push(`    ${featureId} --> ${opId}`);
+			nodeCount++;
+		}
+		for (const event of feature.events) {
+			if (nodeCount >= maxNodes) break;
+			const eventId = sanitizeId(`E_${event.key}_v${event.version}`);
+			const label = showVersions ? `${event.key}.v${event.version}` : event.key;
+			lines.push(`    ${eventId}["${escapeLabel(label)}"]`);
+			lines.push(`    ${featureId} -.-> ${eventId}`);
+			nodeCount++;
+		}
+		for (const pres of feature.presentations) {
+			if (nodeCount >= maxNodes) break;
+			const presId = sanitizeId(`P_${pres.key}_v${pres.version}`);
+			const label = showVersions ? `${pres.key}.v${pres.version}` : pres.key;
+			lines.push(`    ${presId}["${escapeLabel(label)}"]`);
+			lines.push(`    ${featureId} --> ${presId}`);
+			nodeCount++;
+		}
+		for (const link of feature.opToPresentationLinks) {
+			const opId = sanitizeId(`O_${link.op.key}_v${link.op.version}`);
+			const presId = sanitizeId(`P_${link.pres.key}_v${link.pres.version}`);
+			lines.push(`    ${opId} --> ${presId}`);
+		}
+	}
+	return lines.join("\n");
+}
+/**
+* Generate a full diagram with all relationships.
+*/
+function generateFullDiagram(result, options) {
+	const featureMap = generateFeatureMapDiagram(result, options);
+	if (result.orphanedSpecs.length === 0) return featureMap;
+	const lines = featureMap.split("\n");
+	lines.push("    subgraph orphaned [Orphaned Specs]");
+	for (const spec of result.orphanedSpecs.slice(0, 20)) {
+		const nodeId = sanitizeId(`orphan_${spec.type}_${spec.key}_v${spec.version}`);
+		const label = `${spec.key}.v${spec.version}`;
+		lines.push(`        ${nodeId}["${escapeLabel(label)}"]:::orphan`);
+	}
+	lines.push("    end");
+	lines.push("    classDef orphan stroke-dasharray: 5 5");
+	return lines.join("\n");
+}
+/**
+* Get referenced specs from features.
+*/
+function getReferencedSpecs(features, field, _inventory) {
+	const seen = /* @__PURE__ */ new Set();
+	const result = [];
+	for (const feature of features) for (const ref of feature[field]) {
+		const key = `${ref.key}.v${ref.version}`;
+		if (!seen.has(key)) {
+			seen.add(key);
+			result.push(ref);
+		}
+	}
+	return result;
+}
+/**
+* Parse a spec key like "name.v1" into [name, version].
+*/
+function parseSpecKey(key) {
+	const match = key.match(/^(.+)\.v(\d+)$/);
+	if (!match) return [void 0, void 0];
+	return [match[1], match[2]];
+}
+/**
+* Sanitize an ID for use in Mermaid.
+*/
+function sanitizeId(id) {
+	return id.replace(/[^a-zA-Z0-9_]/g, "_");
+}
+/**
+* Escape a label for use in Mermaid.
+*/
+function escapeLabel(label) {
+	return label.replace(/"/g, "'").replace(/\[/g, "(").replace(/\]/g, ")").replace(/\{/g, "(").replace(/\}/g, ")");
+}
+
+//#endregion
+export { generateMermaidDiagram };
+//# sourceMappingURL=integrity-diagram.mjs.map

package/dist/services/integrity-diagram.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity-diagram.mjs","names":[],"sources":["../../src/services/integrity-diagram.ts"],"sourcesContent":["/**\n * Mermaid diagram generation for integrity analysis.\n *\n * Generates visual diagrams showing:\n * - Feature to spec relationships\n * - Orphaned specs\n * - Dependency graphs\n */\n\nimport type { IntegrityAnalysisResult, SpecInventory } from './integrity';\nimport type { FeatureScanResult } from '@contractspec/module.workspace';\n\n/**\n * Type of diagram to generate.\n */\nexport type DiagramType = 'feature-map' | 'orphans' | 'dependencies' | 'full';\n\n/**\n * Options for diagram generation.\n */\nexport interface DiagramOptions {\n  /**\n   * Maximum number of nodes to display.\n   */\n  maxNodes?: number;\n\n  /**\n   * Include only specific features.\n   */\n  featureKeys?: string[];\n\n  /**\n   * Show spec versions in labels.\n   */\n  showVersions?: boolean;\n\n  /**\n   * Direction for the flowchart.\n   */\n  direction?: 'LR' | 'TB' | 'RL' | 'BT';\n}\n\n/**\n * Generate a Mermaid diagram from integrity analysis results.\n */\nexport function generateMermaidDiagram(\n  result: IntegrityAnalysisResult,\n  type: DiagramType = 'feature-map',\n  options: DiagramOptions = {}\n): string {\n  switch (type) {\n    case 'feature-map':\n      return generateFeatureMapDiagram(result, options);\n    case 'orphans':\n      return generateOrphansDiagram(result, options);\n    case 'dependencies':\n      return generateDependenciesDiagram(result, options);\n    case 'full':\n      return generateFullDiagram(result, options);\n    default:\n      return generateFeatureMapDiagram(result, options);\n  }\n}\n\n/**\n * Generate a feature map diagram showing features and their linked specs.\n */\nfunction generateFeatureMapDiagram(\n  result: IntegrityAnalysisResult,\n  options: DiagramOptions\n): string {\n  const { direction = 'LR', showVersions = true, maxNodes = 50 } = options;\n  const lines: string[] = [`flowchart ${direction}`];\n\n  // Filter features if specified\n  let features = result.features;\n  if (options.featureKeys && options.featureKeys.length > 0) {\n    features = features.filter((f) => options.featureKeys?.includes(f.key));\n  }\n\n  // Track node count\n  let nodeCount = 0;\n  const truncated = false;\n\n  // Add features subgraph\n  if (features.length > 0) {\n    lines.push('    subgraph features [Features]');\n    for (const feature of features) {\n      if (nodeCount >= maxNodes) break;\n      const nodeId = sanitizeId(`F_${feature.key}`);\n      const label = feature.title ?? feature.key;\n      lines.push(`        ${nodeId}[\"${escapeLabel(label)}\"]`);\n      nodeCount++;\n    }\n    lines.push('    end');\n  }\n\n  // Add operations subgraph\n  const ops = getReferencedSpecs(features, 'operations', result.inventory);\n  if (ops.length > 0 && nodeCount < maxNodes) {\n    lines.push('    subgraph ops [Operations]');\n    for (const op of ops) {\n      if (nodeCount >= maxNodes) break;\n      const nodeId = sanitizeId(`O_${op.key}_v${op.version}`);\n      const label = showVersions ? `${op.key}.v${op.version}` : op.key;\n      lines.push(`        ${nodeId}[\"${escapeLabel(label)}\"]`);\n      nodeCount++;\n    }\n    lines.push('    end');\n  }\n\n  // Add events subgraph\n  const events = getReferencedSpecs(features, 'events', result.inventory);\n  if (events.length > 0 && nodeCount < maxNodes) {\n    lines.push('    subgraph events [Events]');\n    for (const event of events) {\n      if (nodeCount >= maxNodes) break;\n      const nodeId = sanitizeId(`E_${event.key}_v${event.version}`);\n      const label = showVersions ? `${event.key}.v${event.version}` : event.key;\n      lines.push(`        ${nodeId}[\"${escapeLabel(label)}\"]`);\n      nodeCount++;\n    }\n    lines.push('    end');\n  }\n\n  // Add presentations subgraph\n  const presentations = getReferencedSpecs(\n    features,\n    'presentations',\n    result.inventory\n  );\n  if (presentations.length > 0 && nodeCount < maxNodes) {\n    lines.push('    subgraph presentations [Presentations]');\n    for (const pres of presentations) {\n      if (nodeCount >= maxNodes) break;\n      const nodeId = sanitizeId(`P_${pres.key}_v${pres.version}`);\n      const label = showVersions ? `${pres.key}.v${pres.version}` : pres.key;\n      lines.push(`        ${nodeId}[\"${escapeLabel(label)}\"]`);\n      nodeCount++;\n    }\n    lines.push('    end');\n  }\n\n  // Add edges from features to specs\n  for (const feature of features) {\n    const featureId = sanitizeId(`F_${feature.key}`);\n\n    for (const op of feature.operations) {\n      const opId = sanitizeId(`O_${op.key}_v${op.version}`);\n      lines.push(`    ${featureId} --> ${opId}`);\n    }\n\n    for (const event of feature.events) {\n      const eventId = sanitizeId(`E_${event.key}_v${event.version}`);\n      lines.push(`    ${featureId} -.-> ${eventId}`);\n    }\n\n    for (const pres of feature.presentations) {\n      const presId = sanitizeId(`P_${pres.key}_v${pres.version}`);\n      lines.push(`    ${featureId} --> ${presId}`);\n    }\n  }\n\n  if (truncated) {\n    lines.push(`    note[\"... and more (truncated at ${maxNodes} nodes)\"]`);\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Generate a diagram highlighting orphaned specs.\n */\nfunction generateOrphansDiagram(\n  result: IntegrityAnalysisResult,\n  options: DiagramOptions\n): string {\n  const { direction = 'TB', showVersions = true, maxNodes = 50 } = options;\n  const lines: string[] = [`flowchart ${direction}`];\n\n  // Add linked specs\n  const linkedOps = new Set<string>();\n  const linkedEvents = new Set<string>();\n  const linkedPres = new Set<string>();\n\n  for (const feature of result.features) {\n    for (const op of feature.operations) {\n      linkedOps.add(`${op.key}.v${op.version}`);\n    }\n    for (const event of feature.events) {\n      linkedEvents.add(`${event.key}.v${event.version}`);\n    }\n    for (const pres of feature.presentations) {\n      linkedPres.add(`${pres.key}.v${pres.version}`);\n    }\n  }\n\n  let nodeCount = 0;\n\n  // Add features\n  if (result.features.length > 0) {\n    lines.push('    subgraph features [Features]');\n    for (const feature of result.features) {\n      if (nodeCount >= maxNodes) break;\n      const nodeId = sanitizeId(`F_${feature.key}`);\n      lines.push(\n        `        ${nodeId}[\"${escapeLabel(feature.title ?? feature.key)}\"]`\n      );\n      nodeCount++;\n    }\n    lines.push('    end');\n  }\n\n  // Add orphaned specs\n  if (result.orphanedSpecs.length > 0) {\n    lines.push('    subgraph orphaned [Orphaned Specs]');\n    for (const spec of result.orphanedSpecs) {\n      if (nodeCount >= maxNodes) break;\n      const nodeId = sanitizeId(\n        `orphan_${spec.type}_${spec.key}_v${spec.version}`\n      );\n      const label = showVersions ? `${spec.key}.v${spec.version}` : spec.key;\n      lines.push(`        ${nodeId}[\"${escapeLabel(label)}\"]`);\n      nodeCount++;\n    }\n    lines.push('    end');\n  }\n\n  // Add linked specs\n  const allLinked: { type: string; key: string; version: string }[] = [];\n\n  for (const opKey of linkedOps) {\n    const [parsedKey, parsedVersion] = parseSpecKey(opKey);\n    if (parsedKey && parsedVersion) {\n      allLinked.push({\n        type: 'operation',\n        key: parsedKey,\n        version: parsedVersion,\n      });\n    }\n  }\n\n  for (const eventKey of linkedEvents) {\n    const [parsedKey, parsedVersion] = parseSpecKey(eventKey);\n    if (parsedKey && parsedVersion) {\n      allLinked.push({ type: 'event', key: parsedKey, version: parsedVersion });\n    }\n  }\n\n  for (const presKey of linkedPres) {\n    const [parsedKey, parsedVersion] = parseSpecKey(presKey);\n    if (parsedKey && parsedVersion) {\n      allLinked.push({\n        type: 'presentation',\n        key: parsedKey,\n        version: parsedVersion,\n      });\n    }\n  }\n\n  if (allLinked.length > 0 && nodeCount < maxNodes) {\n    lines.push('    subgraph linked [Linked Specs]');\n    for (const spec of allLinked) {\n      if (nodeCount >= maxNodes) break;\n      const nodeId = sanitizeId(`${spec.type}_${spec.key}_v${spec.version}`);\n      const label = showVersions ? `${spec.key}.v${spec.version}` : spec.key;\n      lines.push(`        ${nodeId}[\"${escapeLabel(label)}\"]`);\n      nodeCount++;\n    }\n    lines.push('    end');\n  }\n\n  // Add edges from features to linked specs\n  for (const feature of result.features) {\n    const featureId = sanitizeId(`F_${feature.key}`);\n\n    for (const op of feature.operations) {\n      const opId = sanitizeId(`operation_${op.key}_v${op.version}`);\n      lines.push(`    ${featureId} --> ${opId}`);\n    }\n\n    for (const event of feature.events) {\n      const eventId = sanitizeId(`event_${event.key}_v${event.version}`);\n      lines.push(`    ${featureId} -.-> ${eventId}`);\n    }\n\n    for (const pres of feature.presentations) {\n      const presId = sanitizeId(`presentation_${pres.key}_v${pres.version}`);\n      lines.push(`    ${featureId} --> ${presId}`);\n    }\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Generate a dependency diagram showing spec relationships.\n */\nfunction generateDependenciesDiagram(\n  result: IntegrityAnalysisResult,\n  options: DiagramOptions\n): string {\n  const { direction = 'TB', showVersions = true, maxNodes = 50 } = options;\n  const lines: string[] = [`flowchart ${direction}`];\n\n  let nodeCount = 0;\n\n  // Show features and their deep dependencies\n  for (const feature of result.features) {\n    if (nodeCount >= maxNodes) break;\n\n    const featureId = sanitizeId(`F_${feature.key}`);\n    lines.push(\n      `    ${featureId}[\"${escapeLabel(feature.title ?? feature.key)}\"]`\n    );\n    nodeCount++;\n\n    // Add operations\n    for (const op of feature.operations) {\n      if (nodeCount >= maxNodes) break;\n      const opId = sanitizeId(`O_${op.key}_v${op.version}`);\n      const label = showVersions ? `${op.key}.v${op.version}` : op.key;\n      lines.push(`    ${opId}[\"${escapeLabel(label)}\"]`);\n      lines.push(`    ${featureId} --> ${opId}`);\n      nodeCount++;\n    }\n\n    // Add events (linked from feature)\n    for (const event of feature.events) {\n      if (nodeCount >= maxNodes) break;\n      const eventId = sanitizeId(`E_${event.key}_v${event.version}`);\n      const label = showVersions ? `${event.key}.v${event.version}` : event.key;\n      lines.push(`    ${eventId}[\"${escapeLabel(label)}\"]`);\n      lines.push(`    ${featureId} -.-> ${eventId}`);\n      nodeCount++;\n    }\n\n    // Add presentations\n    for (const pres of feature.presentations) {\n      if (nodeCount >= maxNodes) break;\n      const presId = sanitizeId(`P_${pres.key}_v${pres.version}`);\n      const label = showVersions ? `${pres.key}.v${pres.version}` : pres.key;\n      lines.push(`    ${presId}[\"${escapeLabel(label)}\"]`);\n      lines.push(`    ${featureId} --> ${presId}`);\n      nodeCount++;\n    }\n\n    // Add op to presentation links\n    for (const link of feature.opToPresentationLinks) {\n      const opId = sanitizeId(`O_${link.op.key}_v${link.op.version}`);\n      const presId = sanitizeId(`P_${link.pres.key}_v${link.pres.version}`);\n      lines.push(`    ${opId} --> ${presId}`);\n    }\n  }\n\n  return lines.join('\\n');\n}\n\n/**\n * Generate a full diagram with all relationships.\n */\nfunction generateFullDiagram(\n  result: IntegrityAnalysisResult,\n  options: DiagramOptions\n): string {\n  // For full diagrams, combine feature-map with orphans\n  const featureMap = generateFeatureMapDiagram(result, options);\n\n  // Add orphaned specs if any\n  if (result.orphanedSpecs.length === 0) {\n    return featureMap;\n  }\n\n  const lines = featureMap.split('\\n');\n\n  // Insert orphaned specs subgraph before the end\n  lines.push('    subgraph orphaned [Orphaned Specs]');\n\n  for (const spec of result.orphanedSpecs.slice(0, 20)) {\n    const nodeId = sanitizeId(\n      `orphan_${spec.type}_${spec.key}_v${spec.version}`\n    );\n    const label = `${spec.key}.v${spec.version}`;\n    lines.push(`        ${nodeId}[\"${escapeLabel(label)}\"]:::orphan`);\n  }\n\n  lines.push('    end');\n\n  // Add styling for orphaned nodes\n  lines.push('    classDef orphan stroke-dasharray: 5 5');\n\n  return lines.join('\\n');\n}\n\n/**\n * Get referenced specs from features.\n */\nfunction getReferencedSpecs(\n  features: FeatureScanResult[],\n  field: 'operations' | 'events' | 'presentations',\n  _inventory: SpecInventory\n): { key: string; version: string }[] {\n  const seen = new Set<string>();\n  const result: { key: string; version: string }[] = [];\n\n  for (const feature of features) {\n    for (const ref of feature[field]) {\n      const key = `${ref.key}.v${ref.version}`;\n      if (!seen.has(key)) {\n        seen.add(key);\n        result.push(ref);\n      }\n    }\n  }\n\n  return result;\n}\n\n/**\n * Parse a spec key like \"name.v1\" into [name, version].\n */\nfunction parseSpecKey(key: string): [string | undefined, string | undefined] {\n  const match = key.match(/^(.+)\\.v(\\d+)$/);\n  if (!match) return [undefined, undefined];\n  return [match[1], match[2]];\n}\n\n/**\n * Sanitize an ID for use in Mermaid.\n */\nfunction sanitizeId(id: string): string {\n  return id.replace(/[^a-zA-Z0-9_]/g, '_');\n}\n\n/**\n * Escape a label for use in Mermaid.\n */\nfunction escapeLabel(label: string): string {\n  return label\n    .replace(/\"/g, \"'\")\n    .replace(/\\[/g, '(')\n    .replace(/\\]/g, ')')\n    .replace(/\\{/g, '(')\n    .replace(/\\}/g, ')');\n}\n"],"mappings":";;;;AA6CA,SAAgB,uBACd,QACA,OAAoB,eACpB,UAA0B,EAAE,EACpB;AACR,SAAQ,MAAR;EACE,KAAK,cACH,QAAO,0BAA0B,QAAQ,QAAQ;EACnD,KAAK,UACH,QAAO,uBAAuB,QAAQ,QAAQ;EAChD,KAAK,eACH,QAAO,4BAA4B,QAAQ,QAAQ;EACrD,KAAK,OACH,QAAO,oBAAoB,QAAQ,QAAQ;EAC7C,QACE,QAAO,0BAA0B,QAAQ,QAAQ;;;;;;AAOvD,SAAS,0BACP,QACA,SACQ;CACR,MAAM,EAAE,YAAY,MAAM,eAAe,MAAM,WAAW,OAAO;CACjE,MAAM,QAAkB,CAAC,aAAa,YAAY;CAGlD,IAAI,WAAW,OAAO;AACtB,KAAI,QAAQ,eAAe,QAAQ,YAAY,SAAS,EACtD,YAAW,SAAS,QAAQ,MAAM,QAAQ,aAAa,SAAS,EAAE,IAAI,CAAC;CAIzE,IAAI,YAAY;AAIhB,KAAI,SAAS,SAAS,GAAG;AACvB,QAAM,KAAK,mCAAmC;AAC9C,OAAK,MAAM,WAAW,UAAU;AAC9B,OAAI,aAAa,SAAU;GAC3B,MAAM,SAAS,WAAW,KAAK,QAAQ,MAAM;GAC7C,MAAM,QAAQ,QAAQ,SAAS,QAAQ;AACvC,SAAM,KAAK,WAAW,OAAO,IAAI,YAAY,MAAM,CAAC,IAAI;AACxD;;AAEF,QAAM,KAAK,UAAU;;CAIvB,MAAM,MAAM,mBAAmB,UAAU,cAAc,OAAO,UAAU;AACxE,KAAI,IAAI,SAAS,KAAK,YAAY,UAAU;AAC1C,QAAM,KAAK,gCAAgC;AAC3C,OAAK,MAAM,MAAM,KAAK;AACpB,OAAI,aAAa,SAAU;GAC3B,MAAM,SAAS,WAAW,KAAK,GAAG,IAAI,IAAI,GAAG,UAAU;GACvD,MAAM,QAAQ,eAAe,GAAG,GAAG,IAAI,IAAI,GAAG,YAAY,GAAG;AAC7D,SAAM,KAAK,WAAW,OAAO,IAAI,YAAY,MAAM,CAAC,IAAI;AACxD;;AAEF,QAAM,KAAK,UAAU;;CAIvB,MAAM,SAAS,mBAAmB,UAAU,UAAU,OAAO,UAAU;AACvE,KAAI,OAAO,SAAS,KAAK,YAAY,UAAU;AAC7C,QAAM,KAAK,+BAA+B;AAC1C,OAAK,MAAM,SAAS,QAAQ;AAC1B,OAAI,aAAa,SAAU;GAC3B,MAAM,SAAS,WAAW,KAAK,MAAM,IAAI,IAAI,MAAM,UAAU;GAC7D,MAAM,QAAQ,eAAe,GAAG,MAAM,IAAI,IAAI,MAAM,YAAY,MAAM;AACtE,SAAM,KAAK,WAAW,OAAO,IAAI,YAAY,MAAM,CAAC,IAAI;AACxD;;AAEF,QAAM,KAAK,UAAU;;CAIvB,MAAM,gBAAgB,mBACpB,UACA,iBACA,OAAO,UACR;AACD,KAAI,cAAc,SAAS,KAAK,YAAY,UAAU;AACpD,QAAM,KAAK,6CAA6C;AACxD,OAAK,MAAM,QAAQ,eAAe;AAChC,OAAI,aAAa,SAAU;GAC3B,MAAM,SAAS,WAAW,KAAK,KAAK,IAAI,IAAI,KAAK,UAAU;GAC3D,MAAM,QAAQ,eAAe,GAAG,KAAK,IAAI,IAAI,KAAK,YAAY,KAAK;AACnE,SAAM,KAAK,WAAW,OAAO,IAAI,YAAY,MAAM,CAAC,IAAI;AACxD;;AAEF,QAAM,KAAK,UAAU;;AAIvB,MAAK,MAAM,WAAW,UAAU;EAC9B,MAAM,YAAY,WAAW,KAAK,QAAQ,MAAM;AAEhD,OAAK,MAAM,MAAM,QAAQ,YAAY;GACnC,MAAM,OAAO,WAAW,KAAK,GAAG,IAAI,IAAI,GAAG,UAAU;AACrD,SAAM,KAAK,OAAO,UAAU,OAAO,OAAO;;AAG5C,OAAK,MAAM,SAAS,QAAQ,QAAQ;GAClC,MAAM,UAAU,WAAW,KAAK,MAAM,IAAI,IAAI,MAAM,UAAU;AAC9D,SAAM,KAAK,OAAO,UAAU,QAAQ,UAAU;;AAGhD,OAAK,MAAM,QAAQ,QAAQ,eAAe;GACxC,MAAM,SAAS,WAAW,KAAK,KAAK,IAAI,IAAI,KAAK,UAAU;AAC3D,SAAM,KAAK,OAAO,UAAU,OAAO,SAAS;;;AAQhD,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAS,uBACP,QACA,SACQ;CACR,MAAM,EAAE,YAAY,MAAM,eAAe,MAAM,WAAW,OAAO;CACjE,MAAM,QAAkB,CAAC,aAAa,YAAY;CAGlD,MAAM,4BAAY,IAAI,KAAa;CACnC,MAAM,+BAAe,IAAI,KAAa;CACtC,MAAM,6BAAa,IAAI,KAAa;AAEpC,MAAK,MAAM,WAAW,OAAO,UAAU;AACrC,OAAK,MAAM,MAAM,QAAQ,WACvB,WAAU,IAAI,GAAG,GAAG,IAAI,IAAI,GAAG,UAAU;AAE3C,OAAK,MAAM,SAAS,QAAQ,OAC1B,cAAa,IAAI,GAAG,MAAM,IAAI,IAAI,MAAM,UAAU;AAEpD,OAAK,MAAM,QAAQ,QAAQ,cACzB,YAAW,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,UAAU;;CAIlD,IAAI,YAAY;AAGhB,KAAI,OAAO,SAAS,SAAS,GAAG;AAC9B,QAAM,KAAK,mCAAmC;AAC9C,OAAK,MAAM,WAAW,OAAO,UAAU;AACrC,OAAI,aAAa,SAAU;GAC3B,MAAM,SAAS,WAAW,KAAK,QAAQ,MAAM;AAC7C,SAAM,KACJ,WAAW,OAAO,IAAI,YAAY,QAAQ,SAAS,QAAQ,IAAI,CAAC,IACjE;AACD;;AAEF,QAAM,KAAK,UAAU;;AAIvB,KAAI,OAAO,cAAc,SAAS,GAAG;AACnC,QAAM,KAAK,yCAAyC;AACpD,OAAK,MAAM,QAAQ,OAAO,eAAe;AACvC,OAAI,aAAa,SAAU;GAC3B,MAAM,SAAS,WACb,UAAU,KAAK,KAAK,GAAG,KAAK,IAAI,IAAI,KAAK,UAC1C;GACD,MAAM,QAAQ,eAAe,GAAG,KAAK,IAAI,IAAI,KAAK,YAAY,KAAK;AACnE,SAAM,KAAK,WAAW,OAAO,IAAI,YAAY,MAAM,CAAC,IAAI;AACxD;;AAEF,QAAM,KAAK,UAAU;;CAIvB,MAAM,YAA8D,EAAE;AAEtE,MAAK,MAAM,SAAS,WAAW;EAC7B,MAAM,CAAC,WAAW,iBAAiB,aAAa,MAAM;AACtD,MAAI,aAAa,cACf,WAAU,KAAK;GACb,MAAM;GACN,KAAK;GACL,SAAS;GACV,CAAC;;AAIN,MAAK,MAAM,YAAY,cAAc;EACnC,MAAM,CAAC,WAAW,iBAAiB,aAAa,SAAS;AACzD,MAAI,aAAa,cACf,WAAU,KAAK;GAAE,MAAM;GAAS,KAAK;GAAW,SAAS;GAAe,CAAC;;AAI7E,MAAK,MAAM,WAAW,YAAY;EAChC,MAAM,CAAC,WAAW,iBAAiB,aAAa,QAAQ;AACxD,MAAI,aAAa,cACf,WAAU,KAAK;GACb,MAAM;GACN,KAAK;GACL,SAAS;GACV,CAAC;;AAIN,KAAI,UAAU,SAAS,KAAK,YAAY,UAAU;AAChD,QAAM,KAAK,qCAAqC;AAChD,OAAK,MAAM,QAAQ,WAAW;AAC5B,OAAI,aAAa,SAAU;GAC3B,MAAM,SAAS,WAAW,GAAG,KAAK,KAAK,GAAG,KAAK,IAAI,IAAI,KAAK,UAAU;GACtE,MAAM,QAAQ,eAAe,GAAG,KAAK,IAAI,IAAI,KAAK,YAAY,KAAK;AACnE,SAAM,KAAK,WAAW,OAAO,IAAI,YAAY,MAAM,CAAC,IAAI;AACxD;;AAEF,QAAM,KAAK,UAAU;;AAIvB,MAAK,MAAM,WAAW,OAAO,UAAU;EACrC,MAAM,YAAY,WAAW,KAAK,QAAQ,MAAM;AAEhD,OAAK,MAAM,MAAM,QAAQ,YAAY;GACnC,MAAM,OAAO,WAAW,aAAa,GAAG,IAAI,IAAI,GAAG,UAAU;AAC7D,SAAM,KAAK,OAAO,UAAU,OAAO,OAAO;;AAG5C,OAAK,MAAM,SAAS,QAAQ,QAAQ;GAClC,MAAM,UAAU,WAAW,SAAS,MAAM,IAAI,IAAI,MAAM,UAAU;AAClE,SAAM,KAAK,OAAO,UAAU,QAAQ,UAAU;;AAGhD,OAAK,MAAM,QAAQ,QAAQ,eAAe;GACxC,MAAM,SAAS,WAAW,gBAAgB,KAAK,IAAI,IAAI,KAAK,UAAU;AACtE,SAAM,KAAK,OAAO,UAAU,OAAO,SAAS;;;AAIhD,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAS,4BACP,QACA,SACQ;CACR,MAAM,EAAE,YAAY,MAAM,eAAe,MAAM,WAAW,OAAO;CACjE,MAAM,QAAkB,CAAC,aAAa,YAAY;CAElD,IAAI,YAAY;AAGhB,MAAK,MAAM,WAAW,OAAO,UAAU;AACrC,MAAI,aAAa,SAAU;EAE3B,MAAM,YAAY,WAAW,KAAK,QAAQ,MAAM;AAChD,QAAM,KACJ,OAAO,UAAU,IAAI,YAAY,QAAQ,SAAS,QAAQ,IAAI,CAAC,IAChE;AACD;AAGA,OAAK,MAAM,MAAM,QAAQ,YAAY;AACnC,OAAI,aAAa,SAAU;GAC3B,MAAM,OAAO,WAAW,KAAK,GAAG,IAAI,IAAI,GAAG,UAAU;GACrD,MAAM,QAAQ,eAAe,GAAG,GAAG,IAAI,IAAI,GAAG,YAAY,GAAG;AAC7D,SAAM,KAAK,OAAO,KAAK,IAAI,YAAY,MAAM,CAAC,IAAI;AAClD,SAAM,KAAK,OAAO,UAAU,OAAO,OAAO;AAC1C;;AAIF,OAAK,MAAM,SAAS,QAAQ,QAAQ;AAClC,OAAI,aAAa,SAAU;GAC3B,MAAM,UAAU,WAAW,KAAK,MAAM,IAAI,IAAI,MAAM,UAAU;GAC9D,MAAM,QAAQ,eAAe,GAAG,MAAM,IAAI,IAAI,MAAM,YAAY,MAAM;AACtE,SAAM,KAAK,OAAO,QAAQ,IAAI,YAAY,MAAM,CAAC,IAAI;AACrD,SAAM,KAAK,OAAO,UAAU,QAAQ,UAAU;AAC9C;;AAIF,OAAK,MAAM,QAAQ,QAAQ,eAAe;AACxC,OAAI,aAAa,SAAU;GAC3B,MAAM,SAAS,WAAW,KAAK,KAAK,IAAI,IAAI,KAAK,UAAU;GAC3D,MAAM,QAAQ,eAAe,GAAG,KAAK,IAAI,IAAI,KAAK,YAAY,KAAK;AACnE,SAAM,KAAK,OAAO,OAAO,IAAI,YAAY,MAAM,CAAC,IAAI;AACpD,SAAM,KAAK,OAAO,UAAU,OAAO,SAAS;AAC5C;;AAIF,OAAK,MAAM,QAAQ,QAAQ,uBAAuB;GAChD,MAAM,OAAO,WAAW,KAAK,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,UAAU;GAC/D,MAAM,SAAS,WAAW,KAAK,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,UAAU;AACrE,SAAM,KAAK,OAAO,KAAK,OAAO,SAAS;;;AAI3C,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAS,oBACP,QACA,SACQ;CAER,MAAM,aAAa,0BAA0B,QAAQ,QAAQ;AAG7D,KAAI,OAAO,cAAc,WAAW,EAClC,QAAO;CAGT,MAAM,QAAQ,WAAW,MAAM,KAAK;AAGpC,OAAM,KAAK,yCAAyC;AAEpD,MAAK,MAAM,QAAQ,OAAO,cAAc,MAAM,GAAG,GAAG,EAAE;EACpD,MAAM,SAAS,WACb,UAAU,KAAK,KAAK,GAAG,KAAK,IAAI,IAAI,KAAK,UAC1C;EACD,MAAM,QAAQ,GAAG,KAAK,IAAI,IAAI,KAAK;AACnC,QAAM,KAAK,WAAW,OAAO,IAAI,YAAY,MAAM,CAAC,aAAa;;AAGnE,OAAM,KAAK,UAAU;AAGrB,OAAM,KAAK,4CAA4C;AAEvD,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAS,mBACP,UACA,OACA,YACoC;CACpC,MAAM,uBAAO,IAAI,KAAa;CAC9B,MAAM,SAA6C,EAAE;AAErD,MAAK,MAAM,WAAW,SACpB,MAAK,MAAM,OAAO,QAAQ,QAAQ;EAChC,MAAM,MAAM,GAAG,IAAI,IAAI,IAAI,IAAI;AAC/B,MAAI,CAAC,KAAK,IAAI,IAAI,EAAE;AAClB,QAAK,IAAI,IAAI;AACb,UAAO,KAAK,IAAI;;;AAKtB,QAAO;;;;;AAMT,SAAS,aAAa,KAAuD;CAC3E,MAAM,QAAQ,IAAI,MAAM,iBAAiB;AACzC,KAAI,CAAC,MAAO,QAAO,CAAC,QAAW,OAAU;AACzC,QAAO,CAAC,MAAM,IAAI,MAAM,GAAG;;;;;AAM7B,SAAS,WAAW,IAAoB;AACtC,QAAO,GAAG,QAAQ,kBAAkB,IAAI;;;;;AAM1C,SAAS,YAAY,OAAuB;AAC1C,QAAO,MACJ,QAAQ,MAAM,IAAI,CAClB,QAAQ,OAAO,IAAI,CACnB,QAAQ,OAAO,IAAI,CACnB,QAAQ,OAAO,IAAI,CACnB,QAAQ,OAAO,IAAI"}

package/dist/services/integrity.d.mts

@@ -0,0 +1,152 @@
+import { FsAdapter } from "../ports/fs.mjs";
+import { LoggerAdapter } from "../ports/logger.mjs";
+import { ExtractedTestTarget } from "./test-link/index.mjs";
+import { AnalyzedSpecType, FeatureScanResult, RefInfo } from "@contractspec/module.workspace";
+
+//#region src/services/integrity.d.ts
+
+/**
+ * Options for integrity analysis.
+ */
+interface IntegrityAnalysisOptions {
+  /**
+   * Glob pattern for file discovery.
+   */
+  pattern?: string;
+  /**
+   * Working directory for scanning.
+   */
+  cwd?: string;
+  /**
+   * Scan all packages in monorepo.
+   */
+  all?: boolean;
+  /**
+   * Analyze only a specific feature by key.
+   */
+  featureKey?: string;
+  /**
+   * Filter by spec type.
+   */
+  specType?: AnalyzedSpecType;
+  /**
+   * Require tests for specific spec types.
+   */
+  requireTestsFor?: AnalyzedSpecType[];
+}
+/**
+ * Location of a spec in the codebase.
+ */
+interface SpecLocation {
+  key: string;
+  version: string;
+  file: string;
+  type: AnalyzedSpecType;
+  stability?: string;
+  /** Test target for test-spec files (extracted from TestSpec.target) */
+  testTarget?: ExtractedTestTarget;
+  /** Test coverage info (extracted from TestSpec.scenarios) */
+  testCoverage?: {
+    hasSuccess: boolean;
+    hasError: boolean;
+  };
+}
+/**
+ * Inventory of all discovered specs organized by type.
+ */
+interface SpecInventory {
+  operations: Map<string, SpecLocation>;
+  events: Map<string, SpecLocation>;
+  presentations: Map<string, SpecLocation>;
+  capabilities: Map<string, SpecLocation>;
+  workflows: Map<string, SpecLocation>;
+  dataViews: Map<string, SpecLocation>;
+  forms: Map<string, SpecLocation>;
+  migrations: Map<string, SpecLocation>;
+  experiments: Map<string, SpecLocation>;
+  integrations: Map<string, SpecLocation>;
+  knowledge: Map<string, SpecLocation>;
+  telemetry: Map<string, SpecLocation>;
+  appConfigs: Map<string, SpecLocation>;
+  policies: Map<string, SpecLocation>;
+  testSpecs: Map<string, SpecLocation>;
+}
+/**
+ * An integrity issue found during analysis.
+ */
+interface IntegrityIssue {
+  severity: 'error' | 'warning';
+  type: 'orphaned' | 'unresolved-ref' | 'missing-feature' | 'broken-link' | 'missing-test' | 'missing-test-coverage';
+  message: string;
+  file: string;
+  specKey?: string;
+  specType?: AnalyzedSpecType;
+  ref?: RefInfo;
+  featureKey?: string;
+}
+/**
+ * Coverage metrics by spec type.
+ */
+interface CoverageByType {
+  total: number;
+  covered: number;
+  orphaned: number;
+  missingTest?: number;
+}
+/**
+ * Result of integrity analysis.
+ */
+interface IntegrityAnalysisResult {
+  /**
+   * All discovered specs organized by type.
+   */
+  inventory: SpecInventory;
+  /**
+   * All discovered features.
+   */
+  features: FeatureScanResult[];
+  /**
+   * Coverage metrics.
+   */
+  coverage: {
+    total: number;
+    linkedToFeature: number;
+    orphaned: number;
+    missingTest: number;
+    byType: Record<string, CoverageByType>;
+  };
+  /**
+   * Issues found during analysis.
+   */
+  issues: IntegrityIssue[];
+  /**
+   * Specs not linked to any feature.
+   */
+  orphanedSpecs: SpecLocation[];
+  /**
+   * Overall health status.
+   */
+  healthy: boolean;
+}
+/**
+ * Analyze contract integrity.
+ */
+declare function analyzeIntegrity(adapters: {
+  fs: FsAdapter;
+  logger: LoggerAdapter;
+}, options?: IntegrityAnalysisOptions): Promise<IntegrityAnalysisResult>;
+/**
+ * Get all specs from inventory as a flat list.
+ */
+declare function getAllSpecs(inventory: SpecInventory): SpecLocation[];
+/**
+ * Filter issues by type.
+ */
+declare function filterIssuesByType(issues: IntegrityIssue[], type: IntegrityIssue['type']): IntegrityIssue[];
+/**
+ * Filter issues by severity.
+ */
+declare function filterIssuesBySeverity(issues: IntegrityIssue[], severity: IntegrityIssue['severity']): IntegrityIssue[];
+//#endregion
+export { CoverageByType, IntegrityAnalysisOptions, IntegrityAnalysisResult, IntegrityIssue, SpecInventory, SpecLocation, analyzeIntegrity, filterIssuesBySeverity, filterIssuesByType, getAllSpecs };
+//# sourceMappingURL=integrity.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"integrity.d.mts","names":[],"sources":["../../src/services/integrity.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAiF4B,UArDX,wBAAA,CAqDW;EAAZ;;;EAES,OAAA,CAAA,EAAA,MAAA;EAAZ;;;EAEa,GAAA,CAAA,EAAA,MAAA;EAAZ;;;EAEc,GAAA,CAAA,EAAA,OAAA;EAAZ;;;EAES,UAAA,CAAA,EAAA,MAAA;EAAZ;;;EAEW,QAAA,CAAA,EAxCX,gBAwCW;EAAZ;;;EACI,eAAA,CAAA,EApCI,gBAoCJ,EAAA;AAMhB;AAoBA;AAUA;;AASY,UA3EK,YAAA,CA2EL;EAUe,GAAA,EAAA,MAAA;EAAf,OAAA,EAAA,MAAA;EAMF,IAAA,EAAA,MAAA;EAKO,IAAA,EA5FT,gBA4FS;EAAY,SAAA,CAAA,EAAA,MAAA;EAqEP;EACJ,UAAA,CAAA,EA/JH,mBA+JG;EAAmB;EAC1B,YAAA,CAAA,EAAA;IACA,UAAA,EAAA,OAAA;IAAR,QAAA,EAAA,OAAA;EAAO,CAAA;AAiYV;AAeA;;;AAGG,UA5iBc,aAAA,CA4iBd;EAAc,UAAA,EA3iBH,GA2iBG,CAAA,MAAA,EA3iBS,YA2iBT,CAAA;EAOD,MAAA,EAjjBN,GAijBM,CAAA,MAAA,EAjjBM,YAijBgB,CAAA;EAC5B,aAAA,EAjjBO,GAijBP,CAAA,MAAA,EAjjBmB,YAijBnB,CAAA;EACE,YAAA,EAjjBI,GAijBJ,CAAA,MAAA,EAjjBgB,YAijBhB,CAAA;EACT,SAAA,EAjjBU,GAijBV,CAAA,MAAA,EAjjBsB,YAijBtB,CAAA;EAAc,SAAA,EAhjBJ,GAgjBI,CAAA,MAAA,EAhjBQ,YAgjBR,CAAA;SA/iBR,YAAY;cACP,YAAY;eACX,YAAY;gBACX,YAAY;aACf,YAAY;aACZ,YAAY;cACX,YAAY;YACd,YAAY;aACX,YAAY;;;;;UAMR,cAAA;;;;;;aAYJ;QACL;;;;;;UAOS,cAAA;;;;;;;;;UAUA,uBAAA;;;;aAIJ;;;;YAKD;;;;;;;;;YAUA,eAAe;;;;;UAMjB;;;;iBAKO;;;;;;;;;iBAqEK,gBAAA;MACJ;UAAmB;aAC1B,2BACR,QAAQ;;;;iBAiYK,WAAA,YAAuB,gBAAgB;;;;iBAevC,kBAAA,SACN,wBACF,yBACL;;;;iBAOa,sBAAA,SACN,4BACE,6BACT"}