@contractspec/bundle.workspace 1.44.0

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

@@ -0,0 +1,79 @@
+import { ImplementationType } from "@contractspec/lib.contracts";
+
+//#region src/services/implementation/types.d.ts
+
+/**
+ * Source of how an implementation was discovered/linked.
+ */
+type ImplementationSource = 'explicit' | 'discovered' | 'convention';
+/**
+ * Status of a spec's implementation coverage.
+ */
+type ImplementationStatus = 'implemented' | 'partial' | 'missing';
+/**
+ * A resolved implementation file for a spec.
+ */
+interface ResolvedImplementation {
+  /** Path to the implementation file (relative to workspace root) */
+  path: string;
+  /** Type of implementation artifact */
+  type: ImplementationType;
+  /** How this implementation was found */
+  source: ImplementationSource;
+  /** Whether the file exists on disk */
+  exists: boolean;
+  /** Content hash for cache invalidation (SHA256) */
+  contentHash?: string;
+  /** Optional description */
+  description?: string;
+}
+/**
+ * Full resolution result for a spec's implementations.
+ */
+interface SpecImplementationResult {
+  /** Spec key */
+  specKey: string;
+  /** Spec version */
+  specVersion: number;
+  /** Path to the spec file */
+  specPath: string;
+  /** Spec type (operation, event, presentation, etc.) */
+  specType: string;
+  /** All resolved implementations */
+  implementations: ResolvedImplementation[];
+  /** Overall implementation status */
+  status: ImplementationStatus;
+  /** Content hash of the spec file */
+  specHash?: string;
+}
+/**
+ * Options for implementation discovery.
+ */
+interface DiscoveryOptions {
+  /** Workspace root directory */
+  workspaceRoot?: string;
+  /** Glob patterns to search */
+  includePatterns?: string[];
+  /** Glob patterns to exclude */
+  excludePatterns?: string[];
+  /** Whether to compute content hashes */
+  computeHashes?: boolean;
+}
+/**
+ * Result of scanning for spec references in a file.
+ */
+interface SpecReferenceMatch {
+  /** Path to the file containing the reference */
+  filePath: string;
+  /** Key of the spec being referenced */
+  specKey: string;
+  /** Type of reference (import, typeof, handler) */
+  referenceType: 'import' | 'typeof' | 'handler' | 'unknown';
+  /** Line number where reference was found */
+  lineNumber?: number;
+  /** Inferred implementation type based on context */
+  inferredType: ImplementationType;
+}
+//#endregion
+export { DiscoveryOptions, ImplementationSource, ImplementationStatus, ResolvedImplementation, SpecImplementationResult, SpecReferenceMatch };
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","names":[],"sources":["../../../src/services/implementation/types.ts"],"sourcesContent":[],"mappings":";;;;AAcA;AAKA;AAkBA;AAoBiB,KAhDL,oBAAA,GAgDqB,UAAA,GAAA,YAAA,GAAA,YAAA;AAcjC;;;KAzDY,oBAAA;;;;UAKK,sBAAA;;;;QAIT;;UAEE;;;;;;;;;;;UAYO,wBAAA;;;;;;;;;;mBAUE;;UAET;;;;;;;UAQO,gBAAA;;;;;;;;;;;;;UAcA,kBAAA;;;;;;;;;;gBAUD"}

package/dist/services/index.d.ts

@@ -0,0 +1,60 @@
+import { PackageManager, WorkspaceInfo, detectPackageManager, findPackageRoot, findWorkspaceRoot, getWorkspaceInfo } from "../adapters/workspace.js";
+import { ValidateSpecOptions, ValidateSpecResult, validateSpec, validateSpecs } from "./validate.js";
+import { ValidateImplementationOptions, ValidateImplementationResult, validateImplementationFiles } from "./validate-implementation.js";
+import { CompareSpecsOptions, CompareSpecsResult, compareSpecs } from "./diff.js";
+import { AnalyzeDepsOptions, AnalyzeDepsResult, analyzeDeps, exportGraphAsDot, getContractNode, getGraphStats } from "./deps.js";
+import { ListSpecsOptions, groupSpecsByType, listSpecs } from "./list.js";
+import { getApiKey, loadWorkspaceConfig, mergeWorkspaceConfig } from "./config.js";
+import { BuildSpecOptions, BuildSpecResult, BuildTarget, BuildTargetResult, buildSpec } from "./build.js";
+import { OpenApiExportServiceOptions, OpenApiExportServiceResult, OpenApiImportServiceOptions, OpenApiImportServiceResult, OpenApiSyncServiceOptions, OpenApiSyncServiceResult, OpenApiValidateServiceOptions, OpenApiValidateServiceResult } from "./openapi/types.js";
+import { importFromOpenApiService } from "./openapi/import-service.js";
+import { syncWithOpenApiService } from "./openapi/sync-service.js";
+import { validateAgainstOpenApiService } from "./openapi/validate-service.js";
+import { OpenApiExportOptions, OpenApiExportResult, exportOpenApi } from "./openapi/export-service.js";
+import "./openapi/index.js";
+import { RegistryClient, RegistryClientOptions, addToRegistry, listFromRegistry, resolveRegistryUrl, searchRegistry } from "./registry.js";
+import { SyncBuildFn, SyncSpecsOptions, SyncSpecsResult, SyncSpecsRunResult, SyncValidateFn, syncSpecs } from "./sync.js";
+import { WatchBuildFn, WatchSpecsOptions, WatchValidateFn, watchSpecs } from "./watch.js";
+import { CleanOptions, CleanResult, cleanArtifacts } from "./clean.js";
+import { RunTestsResult, TestRunResult, runTests } from "./test.js";
+import { CreateRegeneratorOptions, createRegeneratorService } from "./regenerator.js";
+import { ExtendedWorkspaceInfo, MonorepoConfig, findAllConfigFiles, formatWorkspaceInfo, getExtendedWorkspaceInfo, mergeMonorepoConfigs } from "./workspace-info.js";
+import { CoverageByType, IntegrityAnalysisOptions, IntegrityAnalysisResult, IntegrityIssue, SpecInventory, SpecLocation, analyzeIntegrity, filterIssuesBySeverity, filterIssuesByType, getAllSpecs } from "./integrity.js";
+import { DiagramOptions, DiagramType, generateMermaidDiagram } from "./integrity-diagram.js";
+import { ALL_SETUP_TARGETS, SETUP_TARGET_LABELS, SetupFileResult, SetupOptions, SetupPromptCallbacks, SetupResult, SetupScope, SetupTarget } from "./setup/types.js";
+import { runSetup } from "./setup/setup-service.js";
+import { generateAgentsMd, generateClaudeMcpConfig, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateVscodeSettings, getClaudeDesktopConfigPath } from "./setup/config-generators.js";
+import { deepMergeOverwrite, deepMergePreserve, formatJson, safeParseJson } from "./setup/file-merger.js";
+import { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS, CheckCategory, CheckContext, CheckResult, CheckStatus, DoctorOptions, DoctorPromptCallbacks, DoctorResult, FixAction, FixResult } from "./doctor/types.js";
+import { formatCheckResult, formatDoctorSummary, runDoctor } from "./doctor/doctor-service.js";
+import "./doctor/index.js";
+import { ALL_CI_CHECK_CATEGORIES, CICheckCategory, CICheckCategorySummary, CICheckOptions, CICheckResult, CIFormatOptions, CIIssue, CIIssueSeverity, CIOutputFormat, CI_CHECK_CATEGORY_LABELS } from "./ci-check/types.js";
+import { runCIChecks } from "./ci-check/ci-check-service.js";
+import "./ci-check/index.js";
+import { AgentAdapter, AgentGuideConfig, FormatOptions, GuideOptions, GuideResult } from "./agent-guide/types.js";
+import { AgentGuideService, agentGuideService, createAgentGuideService } from "./agent-guide/agent-guide-service.js";
+import { ClaudeCodeAdapter, claudeCodeAdapter } from "./agent-guide/adapters/claude-code.js";
+import { CursorCLIAdapter, cursorCLIAdapter } from "./agent-guide/adapters/cursor-cli.js";
+import { GenericMCPAdapter, genericMCPAdapter } from "./agent-guide/adapters/generic-mcp.js";
+import { agentAdapters, getAgentAdapter, listAgentTypes } from "./agent-guide/adapters/index.js";
+import "./agent-guide/index.js";
+import { AIReviewResult, BehaviorCheck, FieldMapping, FieldMatchType, IntentAlignment, SemanticVerificationResult, StructureCheck, VerifyConfig, VerifyInput, VerifyOptions, VerifyResult } from "./verify/types.js";
+import { VerifyService, createVerifyService, verifyService } from "./verify/verify-service.js";
+import { verifyStructure } from "./verify/structure-verifier.js";
+import { verifyBehavior } from "./verify/behavior-verifier.js";
+import { createQuickAIReview, verifySemanticFields, verifyWithAI, verifyWithAIEnhanced } from "./verify/ai-verifier.js";
+import "./verify/index.js";
+import { DiscoveryOptions, ImplementationSource, ImplementationStatus, ResolvedImplementation, SpecImplementationResult, SpecReferenceMatch } from "./implementation/types.js";
+import { discoverAllImplementations, discoverImplementationsForSpec, extractSpecReferences, inferImplementationType } from "./implementation/discovery.js";
+import { ResolverOptions, getImplementationSummary, resolveAllImplementations, resolveImplementations } from "./implementation/resolver.js";
+import "./implementation/index.js";
+import { CacheEntryMeta, CacheKeyString, CacheLookupResult, CacheMissReason, CacheStats, CacheStorageAdapter, DEFAULT_CACHE_CONFIG, VerificationCacheConfig, VerificationCacheEntry, VerificationCacheKey } from "./verification-cache/types.js";
+import { VerificationCacheService, cacheKeyToString, computeContentHash, createVerificationCacheService, stringToCacheKey } from "./verification-cache/cache-service.js";
+import { InMemoryCacheStorage, createInMemoryCacheStorage } from "./verification-cache/adapters/in-memory.js";
+import { FileSystemCacheStorage, createFileSystemCacheStorage } from "./verification-cache/adapters/filesystem.js";
+import { KeyValueStore, WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage } from "./verification-cache/adapters/workspace-state.js";
+import "./verification-cache/index.js";
+import { PackageInstallResult, QuickstartDependency, QuickstartMode, QuickstartOptions, QuickstartPromptCallbacks, QuickstartResult } from "./quickstart/types.js";
+import { FULL_DEPENDENCIES, MINIMAL_DEPENDENCIES, getDependencies, getDevDependencies, getProductionDependencies } from "./quickstart/dependencies.js";
+import { formatQuickstartPreview, isContractSpecInstalled, runQuickstart } from "./quickstart/quickstart-service.js";
+import { index_d_exports } from "./impact/index.js";

package/dist/services/index.js

@@ -0,0 +1,57 @@
+import { detectPackageManager, findPackageRoot, findWorkspaceRoot, getWorkspaceInfo } from "../adapters/workspace.js";
+import { validateSpec, validateSpecs } from "./validate.js";
+import { validateImplementationFiles } from "./validate-implementation.js";
+import { compareSpecs } from "./diff.js";
+import { analyzeDeps, exportGraphAsDot, getContractNode, getGraphStats } from "./deps.js";
+import { groupSpecsByType, listSpecs } from "./list.js";
+import { getApiKey, loadWorkspaceConfig, mergeWorkspaceConfig } from "./config.js";
+import { buildSpec } from "./build.js";
+import { importFromOpenApiService } from "./openapi/import-service.js";
+import { syncWithOpenApiService } from "./openapi/sync-service.js";
+import { validateAgainstOpenApiService } from "./openapi/validate-service.js";
+import { exportOpenApi } from "./openapi/export-service.js";
+import "./openapi/index.js";
+import { RegistryClient, addToRegistry, listFromRegistry, resolveRegistryUrl, searchRegistry } from "./registry.js";
+import { syncSpecs } from "./sync.js";
+import { watchSpecs } from "./watch.js";
+import { cleanArtifacts } from "./clean.js";
+import { runTests } from "./test.js";
+import { createRegeneratorService } from "./regenerator.js";
+import { findAllConfigFiles, formatWorkspaceInfo, getExtendedWorkspaceInfo, mergeMonorepoConfigs } from "./workspace-info.js";
+import { analyzeIntegrity, filterIssuesBySeverity, filterIssuesByType, getAllSpecs } from "./integrity.js";
+import { generateMermaidDiagram } from "./integrity-diagram.js";
+import { ALL_SETUP_TARGETS, SETUP_TARGET_LABELS } from "./setup/types.js";
+import { generateAgentsMd, generateClaudeMcpConfig, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateVscodeSettings, getClaudeDesktopConfigPath } from "./setup/config-generators.js";
+import { deepMergeOverwrite, deepMergePreserve, formatJson, safeParseJson } from "./setup/file-merger.js";
+import { runSetup } from "./setup/setup-service.js";
+import "./setup/index.js";
+import { ALL_CHECK_CATEGORIES, CHECK_CATEGORY_LABELS } from "./doctor/types.js";
+import { formatCheckResult, formatDoctorSummary, runDoctor } from "./doctor/doctor-service.js";
+import "./doctor/index.js";
+import { ALL_CI_CHECK_CATEGORIES, CI_CHECK_CATEGORY_LABELS } from "./ci-check/types.js";
+import { discoverAllImplementations, discoverImplementationsForSpec, extractSpecReferences, inferImplementationType } from "./implementation/discovery.js";
+import { getImplementationSummary, resolveAllImplementations, resolveImplementations } from "./implementation/resolver.js";
+import { runCIChecks } from "./ci-check/ci-check-service.js";
+import "./ci-check/index.js";
+import { ClaudeCodeAdapter, claudeCodeAdapter } from "./agent-guide/adapters/claude-code.js";
+import { CursorCLIAdapter, cursorCLIAdapter } from "./agent-guide/adapters/cursor-cli.js";
+import { GenericMCPAdapter, genericMCPAdapter } from "./agent-guide/adapters/generic-mcp.js";
+import { agentAdapters, getAgentAdapter, listAgentTypes } from "./agent-guide/adapters/index.js";
+import { AgentGuideService, agentGuideService, createAgentGuideService } from "./agent-guide/agent-guide-service.js";
+import "./agent-guide/index.js";
+import { verifyStructure } from "./verify/structure-verifier.js";
+import { verifyBehavior } from "./verify/behavior-verifier.js";
+import { createQuickAIReview, verifySemanticFields, verifyWithAI, verifyWithAIEnhanced } from "./verify/ai-verifier.js";
+import { VerifyService, createVerifyService, verifyService } from "./verify/verify-service.js";
+import "./verify/index.js";
+import "./implementation/index.js";
+import { DEFAULT_CACHE_CONFIG } from "./verification-cache/types.js";
+import { VerificationCacheService, cacheKeyToString, computeContentHash, createVerificationCacheService, stringToCacheKey } from "./verification-cache/cache-service.js";
+import { InMemoryCacheStorage, createInMemoryCacheStorage } from "./verification-cache/adapters/in-memory.js";
+import { FileSystemCacheStorage, createFileSystemCacheStorage } from "./verification-cache/adapters/filesystem.js";
+import { WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage } from "./verification-cache/adapters/workspace-state.js";
+import "./verification-cache/index.js";
+import { FULL_DEPENDENCIES, MINIMAL_DEPENDENCIES, getDependencies, getDevDependencies, getProductionDependencies } from "./quickstart/dependencies.js";
+import { formatQuickstartPreview, isContractSpecInstalled, runQuickstart } from "./quickstart/quickstart-service.js";
+import "./quickstart/index.js";
+import { impact_exports } from "./impact/index.js";

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

@@ -0,0 +1,36 @@
+import { IntegrityAnalysisResult } from "./integrity.js";
+
+//#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.ts.map

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

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

package/dist/services/integrity-diagram.js

@@ -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], Number(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.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"integrity-diagram.js","names":["lines: string[]","allLinked: { type: string; key: string; version: number }[]","result: { key: string; version: number }[]"],"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: number }[] = [];\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: number }[] {\n  const seen = new Set<string>();\n  const result: { key: string; version: number }[] = [];\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, number | undefined] {\n  const match = key.match(/^(.+)\\.v(\\d+)$/);\n  if (!match) return [undefined, undefined];\n  return [match[1], Number(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,MAAMA,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,MAAMA,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,MAAMC,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,MAAMD,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,MAAME,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,OAAO,MAAM,GAAG,CAAC;;;;;AAMrC,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"}