@contractspec/bundle.workspace 0.0.0-canary-20260114030712 → 0.0.0-canary-20260119222405

package/dist/index.d.mts

@@ -55,7 +55,7 @@ import { ClaudeCodeAdapter, claudeCodeAdapter } from "./services/agent-guide/ada
 import { CursorCLIAdapter, cursorCLIAdapter } from "./services/agent-guide/adapters/cursor-cli.mjs";
 import { GenericMCPAdapter, genericMCPAdapter } from "./services/agent-guide/adapters/generic-mcp.mjs";
 import { agentAdapters, getAgentAdapter, listAgentTypes } from "./services/agent-guide/adapters/index.mjs";
-import { VerificationIssue, formatVerificationReport, verifyImplementationAgainstParsedSpec } from "./services/llm/verify-static.mjs";
+import { VerificationIssue as VerificationIssue$1, formatVerificationReport, verifyImplementationAgainstParsedSpec } from "./services/llm/verify-static.mjs";
 import { exportSpecForLLM, generateCursorRulesFromParsedSpec, generateFeatureContextMarkdown, generateGuideFromParsedSpec } from "./services/llm/index.mjs";
 import { AIGenerator } from "./services/create/ai-generator.mjs";
 import { generateOperationSpec } from "./templates/operation.template.mjs";
@@ -74,7 +74,7 @@ import { generateWorkflowRunnerTemplate } from "./templates/workflow-runner.temp
 import { FeatureSpecParams, generateFeatureSpec } from "./templates/feature.template.mjs";
 import { index_d_exports as index_d_exports$6 } from "./templates/index.mjs";
 import { SpecCreatorService, createSpecCreator } from "./services/create/index.mjs";
-import { AIReviewResult, BehaviorCheck, FieldMapping, FieldMatchType, IntentAlignment, SemanticVerificationResult, StructureCheck, VerifyConfig, VerifyInput, VerifyOptions, VerifyResult } from "./services/verify/types.mjs";
+import { AIReviewResult, BehaviorCheck, FieldMapping, FieldMatchType, IntentAlignment, SemanticVerificationResult, StructureCheck, VerifyConfig, VerifyInput, VerifyOptions as VerifyOptions$1, VerifyResult as VerifyResult$1 } from "./services/verify/types.mjs";
 import { VerifyService, createVerifyService, verifyService } from "./services/verify/verify-service.mjs";
 import { verifyStructure } from "./services/verify/structure-verifier.mjs";
 import { verifyBehavior } from "./services/verify/behavior-verifier.mjs";
@@ -108,6 +108,9 @@ import { GapAnalysisResult, analyzeGap } from "./services/gap.mjs";
 import { GenerateArtifactsResult, generateArtifacts } from "./services/generate-artifacts.mjs";
 import { ExtractOptions, extractContracts } from "./services/extract.mjs";
 import { index_d_exports as index_d_exports$10 } from "./services/vibe/index.mjs";
+import { ImportServiceAdapters, ImportServiceOptions, ImportServiceResult, importFromSourceService } from "./services/import/import-service.mjs";
+import { EndpointVerification, VerificationIssue, VerifyOptions, VerifyResult, verifyImportedContracts } from "./services/import/verify-service.mjs";
+import { ReportOptions, generateCliReport, generateMarkdownReport } from "./services/import/report-service.mjs";
 import "./services/index.mjs";
 import { index_d_exports as index_d_exports$2 } from "./formatters/index.mjs";
 import { AIClient } from "./ai/client.mjs";
@@ -122,4 +125,4 @@ import { index_d_exports as index_d_exports$5 } from "./ai/prompts/index.mjs";
 import "./ai/index.mjs";
 import { index_d_exports as index_d_exports$8 } from "./utils/index.mjs";
 import * as module from "@contractspec/module.workspace";
-export { AIClient, AIGenerator, AIReviewResult, ALL_CHECK_CATEGORIES, ALL_CI_CHECK_CATEGORIES, ALL_SETUP_TARGETS, AgentAdapter, AgentConfig, AgentGuideConfig, AgentGuideService, type AgentMode, AgentOrchestrator, AgentProvider, AgentResult, AgentTask, AiAdapter, AiGenerateOptions, AiGenerateResult, AiGenerateStructuredOptions, type AiProvider, AiValidationResult, AnalyzeDepsOptions, AnalyzeDepsResult, BehaviorCheck, BlueprintValidationResult, BuildSpecOptions, BuildSpecResult, BuildTarget, BuildTargetResult, CHECK_CATEGORY_LABELS, CICheckCategory, CICheckCategorySummary, CICheckOptions, CICheckResult, CIFormatOptions, CIIssue, CIIssueSeverity, CIOutputFormat, CI_CHECK_CATEGORY_LABELS, CacheEntryMeta, CacheKeyString, CacheLookupResult, CacheMissReason, CacheStats, CacheStorageAdapter, CheckCategory, CheckContext, CheckResult, CheckStatus, ClaudeCodeAdapter, ClaudeCodeAgent, CleanOptions, CleanResult, CompareSpecsOptions, CompareSpecsResult, type Config, CoverageByType, CreateAdaptersOptions, CreateRegeneratorOptions, CursorAgent, CursorCLIAdapter, DEFAULT_CACHE_CONFIG, DEFAULT_SPEC_PATTERNS, DiagramOptions, DiagramType, DiscoverOptions, DiscoveryOptions, DocsServiceOptions, DocsServiceResult, DoctorOptions, DoctorPromptCallbacks, DoctorResult, ExtendedWorkspaceInfo, ExtractOptions, FULL_DEPENDENCIES, FeatureSpecParams, FieldMapping, FieldMatchType, FileStat, FileSystemCacheStorage, FixAction, FixResult, type FixStrategyType, type FixableIssue, FormatOptions, FormatterOptions, FsAdapter, GapAnalysisResult, GenerateArtifactsResult, GenericMCPAdapter, GitAdapter, GitCleanOptions, GitLogEntry, GuideOptions, GuideResult, ImplementationSource, ImplementationStatus, ImplementationValidationResult, ImplementationValidatorOptions, InMemoryCacheStorage, IntegrityAnalysisOptions, IntegrityAnalysisResult, IntegrityIssue, IntentAlignment, KeyValueStore, LayerDiscoveryOptions, LayerDiscoveryResult, LayerInventory, LayerLocation, OpenApiExportOptions as LegacyOpenApiExportOptions, OpenApiExportResult as LegacyOpenApiExportResult, ListSpecsOptions, LogLevel, LoggerAdapter, MINIMAL_DEPENDENCIES, MetaRepoInfo, MonorepoConfig, OpenAICodexAgent, OpenApiExportServiceOptions, OpenApiExportServiceResult, OpenApiImportServiceOptions, OpenApiImportServiceResult, OpenApiSyncServiceOptions, OpenApiSyncServiceResult, OpenApiValidateServiceOptions, OpenApiValidateServiceResult, PackageInstallResult, PackageManager, ProgressReporter, ProgressUpdate, QuickstartDependency, QuickstartMode, QuickstartOptions, QuickstartPromptCallbacks, QuickstartResult, RegistryClient, RegistryClientOptions, RepositoryType, ResolvedImplementation, ResolverOptions, RuleSyncOptions, RuleSyncPort, RuleSyncResult, RuleSyncService, RunTestsResult, SETUP_TARGET_LABELS, SemanticVerificationResult, SetupFileResult, SetupOptions, SetupPromptCallbacks, SetupResult, SetupScope, SetupTarget, SimpleAgent, SpecCreatorService, SpecImplementationResult, SpecInventory, SpecLocation, SpecReferenceMatch, SpecVersionAnalysis, StructureCheck, SubmoduleInfo, SyncBuildFn, SyncSpecsOptions, SyncSpecsResult, SyncSpecsRunResult, SyncValidateFn, TenantValidationContext, TenantValidationResult, TestGeneratorOptions, TestGeneratorService, TestServiceOptions, TestServiceResult, ValidateImplementationOptions, ValidateImplementationResult, ValidateSpecOptions, ValidateSpecResult, VerificationCacheConfig, VerificationCacheEntry, VerificationCacheKey, VerificationCacheService, VerificationIssue, VerifyConfig, VerifyInput, VerifyOptions, VerifyResult, VerifyService, ViewAudience, WatchBuildFn, WatchEvent, WatchEventHandler, WatchEventType, WatchOptions, WatchSpecsOptions, WatchValidateFn, Watcher, WatcherAdapter, WorkspaceAdapters, WorkspaceConfigInfo, WorkspaceInfo, WorkspaceStateCacheStorage, addToRegistry, agentAdapters, agentGuideService, analyzeDeps, analyzeGap, analyzeIntegrity, buildSpec, cacheKeyToString, claudeCodeAdapter, cleanArtifacts, compareSpecs, computeContentHash, createAgentGuideService, createConsoleLoggerAdapter, createEmptyLayerInventory, createFileSystemCacheStorage, createInMemoryCacheStorage, createNodeAdapters, createNodeAiAdapter, createNodeFsAdapter, createNodeGitAdapter, createNodeWatcherAdapter, createNoopLoggerAdapter, createQuickAIReview, createRegeneratorService, createSpecCreator, createVerificationCacheService, createVerifyService, createWorkspaceStateCacheStorage, cursorCLIAdapter, deepMergeOverwrite, deepMergePreserve, detectPackageManager, detectRepositoryType, determineStatus, discoverAllImplementations, discoverImplementationsForSpec, discoverLayers, exportGraphAsDot, exportOpenApi, exportSpecForLLM, extractContracts, extractSpecReferences, index_d_exports as features, filterIssuesBySeverity, filterIssuesByType, findAllConfigFiles, findMetaRepoRoot, findPackageRoot, findWorkspaceRoot, index_d_exports$1 as fix, formatCheckResult, formatDoctorSummary, formatFiles, formatJson, formatQuickstartPreview, formatVerificationReport, formatWorkspaceInfo, index_d_exports$2 as formatters, generateAgentsMd, generateAppBlueprintSpec, generateArtifacts, generateClaudeMcpConfig, generateComponentTemplate, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateCursorRulesFromParsedSpec, generateDataViewSpec, generateDocsFromSpecs, generateEventSpec, generateExperimentSpec, generateFeatureContextMarkdown, generateFeatureSpec, generateGuideFromParsedSpec, generateHandlerTemplate, generateIntegrationSpec, generateKnowledgeSpaceSpec, generateMermaidDiagram, generateMigrationSpec, generateOperationSpec, generatePresentationSpec, generateTelemetrySpec, generateTestTemplate, generateView, generateVscodeSettings, generateWorkflowRunnerTemplate, generateWorkflowSpec, genericMCPAdapter, getAIProvider, getAgentAdapter, getAllLayerLocations, getAllSpecs, getApiKey, getClaudeDesktopConfigPath, getContractNode, getConventionPaths, getDependencies, getDevDependencies, getExecCommand, getExtendedWorkspaceInfo, getGraphStats, getImplementationSummary, getInstallCommand, getMetaRepoInfo, getPackageName, getProductionDependencies, getRecommendedModels, getRunCommand, getSpecKeyVariants, getWorkspaceInfo, getWorkspacePackages, groupSpecsByType, index_d_exports$3 as hooks, index_d_exports$4 as impact, importFromOpenApiService, inferImplementationType, isContractSpecInstalled, isMonorepo, listAgentTypes, listFromRegistry, listSpecs, listTests, loadWorkspaceConfig, mergeMonorepoConfigs, module, parseExplicitImplementations, parseGitModules, index_d_exports$5 as prompts, resolveAllImplementations, resolveImplementations, resolveRegistryUrl, runCIChecks, runDoctor, runQuickstart, runSetup, runTestSpecs, runTests, safeParseJson, searchRegistry, stringToCacheKey, syncSpecs, syncWithOpenApiService, index_d_exports$6 as templates, toKebabCase, index_d_exports$7 as upgrade, index_d_exports$8 as utils, validateAgainstOpenApiService, validateBlueprint, validateImplementationFiles, validateImplementationWithAgent, validateProvider, validateSpec, validateSpecs, validateTenantConfig, verifyBehavior, verifyImplementationAgainstParsedSpec, verifySemanticFields, verifyService, verifyStructure, verifyWithAI, verifyWithAIEnhanced, index_d_exports$9 as versioning, index_d_exports$10 as vibe, watchSpecs };
+export { AIClient, AIGenerator, AIReviewResult, ALL_CHECK_CATEGORIES, ALL_CI_CHECK_CATEGORIES, ALL_SETUP_TARGETS, AgentAdapter, AgentConfig, AgentGuideConfig, AgentGuideService, type AgentMode, AgentOrchestrator, AgentProvider, AgentResult, AgentTask, AiAdapter, AiGenerateOptions, AiGenerateResult, AiGenerateStructuredOptions, type AiProvider, AiValidationResult, AnalyzeDepsOptions, AnalyzeDepsResult, BehaviorCheck, BlueprintValidationResult, BuildSpecOptions, BuildSpecResult, BuildTarget, BuildTargetResult, CHECK_CATEGORY_LABELS, CICheckCategory, CICheckCategorySummary, CICheckOptions, CICheckResult, CIFormatOptions, CIIssue, CIIssueSeverity, CIOutputFormat, CI_CHECK_CATEGORY_LABELS, CacheEntryMeta, CacheKeyString, CacheLookupResult, CacheMissReason, CacheStats, CacheStorageAdapter, CheckCategory, CheckContext, CheckResult, CheckStatus, ClaudeCodeAdapter, ClaudeCodeAgent, CleanOptions, CleanResult, CompareSpecsOptions, CompareSpecsResult, type Config, CoverageByType, CreateAdaptersOptions, CreateRegeneratorOptions, CursorAgent, CursorCLIAdapter, DEFAULT_CACHE_CONFIG, DEFAULT_SPEC_PATTERNS, DiagramOptions, DiagramType, DiscoverOptions, DiscoveryOptions, DocsServiceOptions, DocsServiceResult, DoctorOptions, DoctorPromptCallbacks, DoctorResult, EndpointVerification, ExtendedWorkspaceInfo, ExtractOptions, FULL_DEPENDENCIES, FeatureSpecParams, FieldMapping, FieldMatchType, FileStat, FileSystemCacheStorage, FixAction, FixResult, type FixStrategyType, type FixableIssue, FormatOptions, FormatterOptions, FsAdapter, GapAnalysisResult, GenerateArtifactsResult, GenericMCPAdapter, GitAdapter, GitCleanOptions, GitLogEntry, GuideOptions, GuideResult, ImplementationSource, ImplementationStatus, ImplementationValidationResult, ImplementationValidatorOptions, ImportServiceAdapters, ImportServiceOptions, ImportServiceResult, VerificationIssue as ImportVerificationIssue, VerifyOptions as ImportVerifyOptions, VerifyResult as ImportVerifyResult, InMemoryCacheStorage, IntegrityAnalysisOptions, IntegrityAnalysisResult, IntegrityIssue, IntentAlignment, KeyValueStore, LayerDiscoveryOptions, LayerDiscoveryResult, LayerInventory, LayerLocation, OpenApiExportOptions as LegacyOpenApiExportOptions, OpenApiExportResult as LegacyOpenApiExportResult, ListSpecsOptions, LogLevel, LoggerAdapter, MINIMAL_DEPENDENCIES, MetaRepoInfo, MonorepoConfig, OpenAICodexAgent, OpenApiExportServiceOptions, OpenApiExportServiceResult, OpenApiImportServiceOptions, OpenApiImportServiceResult, OpenApiSyncServiceOptions, OpenApiSyncServiceResult, OpenApiValidateServiceOptions, OpenApiValidateServiceResult, PackageInstallResult, PackageManager, ProgressReporter, ProgressUpdate, QuickstartDependency, QuickstartMode, QuickstartOptions, QuickstartPromptCallbacks, QuickstartResult, RegistryClient, RegistryClientOptions, ReportOptions, RepositoryType, ResolvedImplementation, ResolverOptions, RuleSyncOptions, RuleSyncPort, RuleSyncResult, RuleSyncService, RunTestsResult, SETUP_TARGET_LABELS, SemanticVerificationResult, SetupFileResult, SetupOptions, SetupPromptCallbacks, SetupResult, SetupScope, SetupTarget, SimpleAgent, SpecCreatorService, SpecImplementationResult, SpecInventory, SpecLocation, SpecReferenceMatch, SpecVersionAnalysis, StructureCheck, SubmoduleInfo, SyncBuildFn, SyncSpecsOptions, SyncSpecsResult, SyncSpecsRunResult, SyncValidateFn, TenantValidationContext, TenantValidationResult, TestGeneratorOptions, TestGeneratorService, TestServiceOptions, TestServiceResult, ValidateImplementationOptions, ValidateImplementationResult, ValidateSpecOptions, ValidateSpecResult, VerificationCacheConfig, VerificationCacheEntry, VerificationCacheKey, VerificationCacheService, VerificationIssue$1 as VerificationIssue, VerifyConfig, VerifyInput, VerifyOptions$1 as VerifyOptions, VerifyResult$1 as VerifyResult, VerifyService, ViewAudience, WatchBuildFn, WatchEvent, WatchEventHandler, WatchEventType, WatchOptions, WatchSpecsOptions, WatchValidateFn, Watcher, WatcherAdapter, WorkspaceAdapters, WorkspaceConfigInfo, WorkspaceInfo, WorkspaceStateCacheStorage, addToRegistry, agentAdapters, agentGuideService, analyzeDeps, analyzeGap, analyzeIntegrity, buildSpec, cacheKeyToString, claudeCodeAdapter, cleanArtifacts, compareSpecs, computeContentHash, createAgentGuideService, createConsoleLoggerAdapter, createEmptyLayerInventory, createFileSystemCacheStorage, createInMemoryCacheStorage, createNodeAdapters, createNodeAiAdapter, createNodeFsAdapter, createNodeGitAdapter, createNodeWatcherAdapter, createNoopLoggerAdapter, createQuickAIReview, createRegeneratorService, createSpecCreator, createVerificationCacheService, createVerifyService, createWorkspaceStateCacheStorage, cursorCLIAdapter, deepMergeOverwrite, deepMergePreserve, detectPackageManager, detectRepositoryType, determineStatus, discoverAllImplementations, discoverImplementationsForSpec, discoverLayers, exportGraphAsDot, exportOpenApi, exportSpecForLLM, extractContracts, extractSpecReferences, index_d_exports as features, filterIssuesBySeverity, filterIssuesByType, findAllConfigFiles, findMetaRepoRoot, findPackageRoot, findWorkspaceRoot, index_d_exports$1 as fix, formatCheckResult, formatDoctorSummary, formatFiles, formatJson, formatQuickstartPreview, formatVerificationReport, formatWorkspaceInfo, index_d_exports$2 as formatters, generateAgentsMd, generateAppBlueprintSpec, generateArtifacts, generateClaudeMcpConfig, generateCliReport, generateComponentTemplate, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateCursorRulesFromParsedSpec, generateDataViewSpec, generateDocsFromSpecs, generateEventSpec, generateExperimentSpec, generateFeatureContextMarkdown, generateFeatureSpec, generateGuideFromParsedSpec, generateHandlerTemplate, generateIntegrationSpec, generateKnowledgeSpaceSpec, generateMarkdownReport, generateMermaidDiagram, generateMigrationSpec, generateOperationSpec, generatePresentationSpec, generateTelemetrySpec, generateTestTemplate, generateView, generateVscodeSettings, generateWorkflowRunnerTemplate, generateWorkflowSpec, genericMCPAdapter, getAIProvider, getAgentAdapter, getAllLayerLocations, getAllSpecs, getApiKey, getClaudeDesktopConfigPath, getContractNode, getConventionPaths, getDependencies, getDevDependencies, getExecCommand, getExtendedWorkspaceInfo, getGraphStats, getImplementationSummary, getInstallCommand, getMetaRepoInfo, getPackageName, getProductionDependencies, getRecommendedModels, getRunCommand, getSpecKeyVariants, getWorkspaceInfo, getWorkspacePackages, groupSpecsByType, index_d_exports$3 as hooks, index_d_exports$4 as impact, importFromOpenApiService, importFromSourceService, inferImplementationType, isContractSpecInstalled, isMonorepo, listAgentTypes, listFromRegistry, listSpecs, listTests, loadWorkspaceConfig, mergeMonorepoConfigs, module, parseExplicitImplementations, parseGitModules, index_d_exports$5 as prompts, resolveAllImplementations, resolveImplementations, resolveRegistryUrl, runCIChecks, runDoctor, runQuickstart, runSetup, runTestSpecs, runTests, safeParseJson, searchRegistry, stringToCacheKey, syncSpecs, syncWithOpenApiService, index_d_exports$6 as templates, toKebabCase, index_d_exports$7 as upgrade, index_d_exports$8 as utils, validateAgainstOpenApiService, validateBlueprint, validateImplementationFiles, validateImplementationWithAgent, validateProvider, validateSpec, validateSpecs, validateTenantConfig, verifyBehavior, verifyImplementationAgainstParsedSpec, verifyImportedContracts, verifySemanticFields, verifyService, verifyStructure, verifyWithAI, verifyWithAIEnhanced, index_d_exports$9 as versioning, index_d_exports$10 as vibe, watchSpecs };

package/dist/index.mjs

@@ -100,6 +100,9 @@ import { generateView } from "./services/view/index.mjs";
 import { analyzeGap } from "./services/gap.mjs";
 import { extractContracts } from "./services/extract.mjs";
 import { vibe_exports } from "./services/vibe/index.mjs";
+import { importFromSourceService } from "./services/import/import-service.mjs";
+import { verifyImportedContracts } from "./services/import/verify-service.mjs";
+import { generateCliReport, generateMarkdownReport } from "./services/import/report-service.mjs";
 import "./services/index.mjs";
 import { formatters_exports } from "./formatters/index.mjs";
 import { AIClient } from "./ai/client.mjs";
@@ -107,4 +110,4 @@ import { prompts_exports } from "./ai/prompts/index.mjs";
 import "./ai/index.mjs";
 import * as module from "@contractspec/module.workspace";
 
-export { AIClient, AIGenerator, ALL_CHECK_CATEGORIES, ALL_CI_CHECK_CATEGORIES, ALL_SETUP_TARGETS, AgentGuideService, AgentOrchestrator, CHECK_CATEGORY_LABELS, CI_CHECK_CATEGORY_LABELS, ClaudeCodeAdapter, ClaudeCodeAgent, CursorAgent, CursorCLIAdapter, DEFAULT_CACHE_CONFIG, DEFAULT_SPEC_PATTERNS, FULL_DEPENDENCIES, FileSystemCacheStorage, GenericMCPAdapter, InMemoryCacheStorage, MINIMAL_DEPENDENCIES, OpenAICodexAgent, RegistryClient, RuleSyncService, SETUP_TARGET_LABELS, SimpleAgent, SpecCreatorService, TestGeneratorService, VerificationCacheService, VerifyService, WorkspaceStateCacheStorage, addToRegistry, agentAdapters, agentGuideService, analyzeDeps, analyzeGap, analyzeIntegrity, buildSpec, cacheKeyToString, claudeCodeAdapter, cleanArtifacts, compareSpecs, computeContentHash, createAgentGuideService, createConsoleLoggerAdapter, createEmptyLayerInventory, createFileSystemCacheStorage, createInMemoryCacheStorage, createNodeAdapters, createNodeAiAdapter, createNodeFsAdapter, createNodeGitAdapter, createNodeWatcherAdapter, createNoopLoggerAdapter, createQuickAIReview, createRegeneratorService, createSpecCreator, createVerificationCacheService, createVerifyService, createWorkspaceStateCacheStorage, cursorCLIAdapter, deepMergeOverwrite, deepMergePreserve, detectPackageManager, detectRepositoryType, determineStatus, discoverAllImplementations, discoverImplementationsForSpec, discoverLayers, exportGraphAsDot, exportOpenApi, exportSpecForLLM, extractContracts, extractSpecReferences, features_exports as features, filterIssuesBySeverity, filterIssuesByType, findAllConfigFiles, findMetaRepoRoot, findPackageRoot, findWorkspaceRoot, fix_exports as fix, formatCheckResult, formatDoctorSummary, formatFiles, formatJson, formatQuickstartPreview, formatVerificationReport, formatWorkspaceInfo, formatters_exports as formatters, generateAgentsMd, generateAppBlueprintSpec, generateArtifacts, generateClaudeMcpConfig, generateComponentTemplate, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateCursorRulesFromParsedSpec, generateDataViewSpec, generateDocsFromSpecs, generateEventSpec, generateExperimentSpec, generateFeatureContextMarkdown, generateFeatureSpec, generateGuideFromParsedSpec, generateHandlerTemplate, generateIntegrationSpec, generateKnowledgeSpaceSpec, generateMermaidDiagram, generateMigrationSpec, generateOperationSpec, generatePresentationSpec, generateTelemetrySpec, generateTestTemplate, generateView, generateVscodeSettings, generateWorkflowRunnerTemplate, generateWorkflowSpec, genericMCPAdapter, getAIProvider, getAgentAdapter, getAllLayerLocations, getAllSpecs, getApiKey, getClaudeDesktopConfigPath, getContractNode, getConventionPaths, getDependencies, getDevDependencies, getExecCommand, getExtendedWorkspaceInfo, getGraphStats, getImplementationSummary, getInstallCommand, getMetaRepoInfo, getPackageName, getProductionDependencies, getRecommendedModels, getRunCommand, getSpecKeyVariants, getWorkspaceInfo, getWorkspacePackages, groupSpecsByType, hooks_exports as hooks, impact_exports as impact, importFromOpenApiService, inferImplementationType, isContractSpecInstalled, isMonorepo, listAgentTypes, listFromRegistry, listSpecs, listTests, loadWorkspaceConfig, mergeMonorepoConfigs, module, parseExplicitImplementations, parseGitModules, prompts_exports as prompts, resolveAllImplementations, resolveImplementations, resolveRegistryUrl, runCIChecks, runDoctor, runQuickstart, runSetup, runTestSpecs, runTests, safeParseJson, searchRegistry, stringToCacheKey, syncSpecs, syncWithOpenApiService, templates_exports as templates, toKebabCase, upgrade_exports as upgrade, utils_exports as utils, validateAgainstOpenApiService, validateBlueprint, validateImplementationFiles, validateImplementationWithAgent, validateProvider, validateSpec, validateSpecs, validateTenantConfig, verifyBehavior, verifyImplementationAgainstParsedSpec, verifySemanticFields, verifyService, verifyStructure, verifyWithAI, verifyWithAIEnhanced, versioning_exports as versioning, vibe_exports as vibe, watchSpecs };
+export { AIClient, AIGenerator, ALL_CHECK_CATEGORIES, ALL_CI_CHECK_CATEGORIES, ALL_SETUP_TARGETS, AgentGuideService, AgentOrchestrator, CHECK_CATEGORY_LABELS, CI_CHECK_CATEGORY_LABELS, ClaudeCodeAdapter, ClaudeCodeAgent, CursorAgent, CursorCLIAdapter, DEFAULT_CACHE_CONFIG, DEFAULT_SPEC_PATTERNS, FULL_DEPENDENCIES, FileSystemCacheStorage, GenericMCPAdapter, InMemoryCacheStorage, MINIMAL_DEPENDENCIES, OpenAICodexAgent, RegistryClient, RuleSyncService, SETUP_TARGET_LABELS, SimpleAgent, SpecCreatorService, TestGeneratorService, VerificationCacheService, VerifyService, WorkspaceStateCacheStorage, addToRegistry, agentAdapters, agentGuideService, analyzeDeps, analyzeGap, analyzeIntegrity, buildSpec, cacheKeyToString, claudeCodeAdapter, cleanArtifacts, compareSpecs, computeContentHash, createAgentGuideService, createConsoleLoggerAdapter, createEmptyLayerInventory, createFileSystemCacheStorage, createInMemoryCacheStorage, createNodeAdapters, createNodeAiAdapter, createNodeFsAdapter, createNodeGitAdapter, createNodeWatcherAdapter, createNoopLoggerAdapter, createQuickAIReview, createRegeneratorService, createSpecCreator, createVerificationCacheService, createVerifyService, createWorkspaceStateCacheStorage, cursorCLIAdapter, deepMergeOverwrite, deepMergePreserve, detectPackageManager, detectRepositoryType, determineStatus, discoverAllImplementations, discoverImplementationsForSpec, discoverLayers, exportGraphAsDot, exportOpenApi, exportSpecForLLM, extractContracts, extractSpecReferences, features_exports as features, filterIssuesBySeverity, filterIssuesByType, findAllConfigFiles, findMetaRepoRoot, findPackageRoot, findWorkspaceRoot, fix_exports as fix, formatCheckResult, formatDoctorSummary, formatFiles, formatJson, formatQuickstartPreview, formatVerificationReport, formatWorkspaceInfo, formatters_exports as formatters, generateAgentsMd, generateAppBlueprintSpec, generateArtifacts, generateClaudeMcpConfig, generateCliReport, generateComponentTemplate, generateContractsrcConfig, generateCursorMcpConfig, generateCursorRules, generateCursorRulesFromParsedSpec, generateDataViewSpec, generateDocsFromSpecs, generateEventSpec, generateExperimentSpec, generateFeatureContextMarkdown, generateFeatureSpec, generateGuideFromParsedSpec, generateHandlerTemplate, generateIntegrationSpec, generateKnowledgeSpaceSpec, generateMarkdownReport, generateMermaidDiagram, generateMigrationSpec, generateOperationSpec, generatePresentationSpec, generateTelemetrySpec, generateTestTemplate, generateView, generateVscodeSettings, generateWorkflowRunnerTemplate, generateWorkflowSpec, genericMCPAdapter, getAIProvider, getAgentAdapter, getAllLayerLocations, getAllSpecs, getApiKey, getClaudeDesktopConfigPath, getContractNode, getConventionPaths, getDependencies, getDevDependencies, getExecCommand, getExtendedWorkspaceInfo, getGraphStats, getImplementationSummary, getInstallCommand, getMetaRepoInfo, getPackageName, getProductionDependencies, getRecommendedModels, getRunCommand, getSpecKeyVariants, getWorkspaceInfo, getWorkspacePackages, groupSpecsByType, hooks_exports as hooks, impact_exports as impact, importFromOpenApiService, importFromSourceService, inferImplementationType, isContractSpecInstalled, isMonorepo, listAgentTypes, listFromRegistry, listSpecs, listTests, loadWorkspaceConfig, mergeMonorepoConfigs, module, parseExplicitImplementations, parseGitModules, prompts_exports as prompts, resolveAllImplementations, resolveImplementations, resolveRegistryUrl, runCIChecks, runDoctor, runQuickstart, runSetup, runTestSpecs, runTests, safeParseJson, searchRegistry, stringToCacheKey, syncSpecs, syncWithOpenApiService, templates_exports as templates, toKebabCase, upgrade_exports as upgrade, utils_exports as utils, validateAgainstOpenApiService, validateBlueprint, validateImplementationFiles, validateImplementationWithAgent, validateProvider, validateSpec, validateSpecs, validateTenantConfig, verifyBehavior, verifyImplementationAgainstParsedSpec, verifyImportedContracts, verifySemanticFields, verifyService, verifyStructure, verifyWithAI, verifyWithAIEnhanced, versioning_exports as versioning, vibe_exports as vibe, watchSpecs };

package/dist/services/import/import-service.d.mts

@@ -0,0 +1,47 @@
+import { FsAdapter } from "../../ports/fs.mjs";
+import { LoggerAdapter } from "../../ports/logger.mjs";
+import { ResolvedContractsrcConfig } from "@contractspec/lib.contracts";
+import { ImportIR } from "@contractspec/lib.source-extractors";
+import { GenerationResult } from "@contractspec/lib.source-extractors/codegen";
+
+//#region src/services/import/import-service.d.ts
+
+/**
+ * Options for the import service.
+ */
+interface ImportServiceOptions {
+  /** Limit extraction to specific paths */
+  scope?: string[];
+  /** Force specific framework */
+  framework?: string;
+  /** Dry run mode - don't write files */
+  dryRun?: boolean;
+  /** Analysis only - extract IR without generating code */
+  analyzeOnly?: boolean;
+  /** Output directory for generated contracts */
+  outputDir?: string;
+}
+/**
+ * Result of the import service.
+ */
+interface ImportServiceResult {
+  success: boolean;
+  ir?: ImportIR;
+  generation?: GenerationResult;
+  report: string;
+  errors?: string[];
+}
+/**
+ * Adapters needed by the import service.
+ */
+interface ImportServiceAdapters {
+  fs: FsAdapter;
+  logger: LoggerAdapter;
+}
+/**
+ * Import contracts from source code.
+ */
+declare function importFromSourceService(config: ResolvedContractsrcConfig, options: ImportServiceOptions, adapters: ImportServiceAdapters, cwd?: string): Promise<ImportServiceResult>;
+//#endregion
+export { ImportServiceAdapters, ImportServiceOptions, ImportServiceResult, importFromSourceService };
+//# sourceMappingURL=import-service.d.mts.map

package/dist/services/import/import-service.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-service.d.mts","names":[],"sources":["../../../src/services/import/import-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAkEA;;;AAGY,UAtCK,oBAAA,CAsCL;EAED;EAAR,KAAA,CAAA,EAAA,MAAA,EAAA;EAAO;;;;;;;;;;;;UAxBO,mBAAA;;OAEV;eACQ;;;;;;;UAQE,qBAAA;MACX;UACI;;;;;iBAMY,uBAAA,SACZ,oCACC,gCACC,sCAET,QAAQ"}

package/dist/services/import/import-service.mjs

@@ -0,0 +1,196 @@
+import { dirname, join } from "path";
+import { detectFramework, extractFromProject } from "@contractspec/lib.source-extractors";
+import { registerAllExtractors } from "@contractspec/lib.source-extractors/extractors";
+import { generateOperations, generateRegistry, generateSchemas } from "@contractspec/lib.source-extractors/codegen";
+
+//#region src/services/import/import-service.ts
+/**
+* Import contracts from source code.
+*/
+async function importFromSourceService(config, options, adapters, cwd) {
+	const { fs, logger } = adapters;
+	const rootPath = cwd ?? process.cwd();
+	registerAllExtractors();
+	logger.info(`Scanning source code in ${rootPath}...`);
+	const extractorFs = {
+		readFile: (path$1) => fs.readFile(path$1),
+		glob: (pattern, opts) => fs.glob({
+			pattern,
+			cwd: opts?.cwd
+		}),
+		exists: (path$1) => fs.exists(path$1)
+	};
+	const project = await detectFramework(rootPath, {
+		readFile: (path$1) => fs.readFile(path$1),
+		glob: (pattern) => fs.glob({ pattern })
+	});
+	if (project.frameworks.length === 0) {
+		logger.warn("No supported frameworks detected");
+		return {
+			success: false,
+			report: generateNoFrameworkReport(),
+			errors: ["No supported frameworks detected in project"]
+		};
+	}
+	logger.info(`Detected frameworks: ${project.frameworks.map((f) => f.name).join(", ")}`);
+	const { extractorRegistry } = await import("@contractspec/lib.source-extractors");
+	for (const extractor of extractorRegistry.getAll()) if ("setFs" in extractor && typeof extractor.setFs === "function") extractor.setFs(extractorFs);
+	const extractResult = await extractFromProject(project, {
+		scope: options.scope,
+		framework: options.framework
+	});
+	if (!extractResult.success || !extractResult.ir) return {
+		success: false,
+		report: generateErrorReport(extractResult.errors ?? []),
+		errors: extractResult.errors?.map((e) => e.message)
+	};
+	const ir = extractResult.ir;
+	logger.info(`Extracted ${ir.endpoints.length} endpoints, ${ir.schemas.length} schemas`);
+	if (options.analyzeOnly) return {
+		success: true,
+		ir,
+		report: generateAnalysisReport(ir)
+	};
+	const outputDir = options.outputDir ?? join(config.outputDir, "generated");
+	const generationOptions = {
+		outputDir,
+		defaultAuth: "user"
+	};
+	const operationFiles = generateOperations(ir, generationOptions);
+	const schemaFiles = generateSchemas(ir, generationOptions);
+	const registryFile = generateRegistry(operationFiles);
+	const allFiles = [
+		...operationFiles,
+		...schemaFiles,
+		registryFile
+	];
+	if (!options.dryRun) for (const file of allFiles) {
+		const fullPath = join(outputDir, file.path);
+		const dir = dirname(fullPath);
+		if (!await fs.exists(dir)) await fs.mkdir(dir);
+		await fs.writeFile(fullPath, file.content);
+		logger.info(`Created: ${fullPath}`);
+	}
+	else for (const file of allFiles) logger.info(`[DRY RUN] Would create: ${join(outputDir, file.path)}`);
+	const generationResult = {
+		files: allFiles,
+		operationsGenerated: operationFiles.length,
+		schemasGenerated: schemaFiles.length,
+		warnings: []
+	};
+	return {
+		success: true,
+		ir,
+		generation: generationResult,
+		report: generateSuccessReport(ir, generationResult, options)
+	};
+}
+/**
+* Generate report when no frameworks are detected.
+*/
+function generateNoFrameworkReport() {
+	return `# Import Report
+
+## ❌ No Supported Frameworks Detected
+
+No supported frameworks were detected in the project.
+
+### Supported Frameworks
+
+- NestJS
+- Express
+- Fastify
+- Hono
+- Elysia
+- tRPC
+- Next.js API Routes
+
+Please ensure your project uses one of these frameworks and has the appropriate dependencies installed.
+`;
+}
+/**
+* Generate error report.
+*/
+function generateErrorReport(errors) {
+	return `# Import Report
+
+## ❌ Extraction Failed
+
+${errors.map((e) => `- ${e.message}`).join("\n")}
+`;
+}
+/**
+* Generate analysis-only report.
+*/
+function generateAnalysisReport(ir) {
+	return `# Import Analysis Report
+
+## Summary
+
+- **Files Scanned**: ${ir.stats.filesScanned}
+- **Endpoints Found**: ${ir.stats.endpointsFound}
+- **Schemas Found**: ${ir.stats.schemasFound}
+- **Errors Found**: ${ir.stats.errorsFound}
+- **Events Found**: ${ir.stats.eventsFound}
+
+## Confidence Breakdown
+
+| Level | Count |
+|-------|-------|
+| High | ${ir.stats.highConfidence} |
+| Medium | ${ir.stats.mediumConfidence} |
+| Low/Ambiguous | ${ir.stats.lowConfidence} |
+
+## Detected Frameworks
+
+${ir.project.frameworks.map((f) => `- ${f.name} (${f.confidence})`).join("\n")}
+
+## Endpoints
+
+${ir.endpoints.map((e) => `- \`${e.method} ${e.path}\` - ${e.confidence.level}`).join("\n")}
+
+## Ambiguities (Require Review)
+
+${ir.ambiguities.length > 0 ? ir.ambiguities.map((a) => `- ${a.description}`).join("\n") : "None"}
+`;
+}
+/**
+* Generate success report.
+*/
+function generateSuccessReport(ir, gen, options) {
+	return `# Import Report${options.dryRun ? " (Dry Run)" : ""}
+
+## ✅ Import Successful
+
+### Extraction Summary
+
+- **Files Scanned**: ${ir.stats.filesScanned}
+- **Endpoints Found**: ${ir.stats.endpointsFound}
+- **Schemas Found**: ${ir.stats.schemasFound}
+
+### Generation Summary
+
+- **Operations Generated**: ${gen.operationsGenerated}
+- **Schemas Generated**: ${gen.schemasGenerated}
+- **Total Files**: ${gen.files.length}
+
+### Confidence Breakdown
+
+| Level | Count |
+|-------|-------|
+| High | ${ir.stats.highConfidence} |
+| Medium | ${ir.stats.mediumConfidence} |
+| Low/Ambiguous | ${ir.stats.lowConfidence} |
+
+### Next Steps
+
+1. Review generated contracts in \`${options.outputDir ?? "generated/"}\`
+2. Fill in TODO placeholders with business context
+3. Run \`contractspec validate\` to verify contracts
+4. Move stable contracts from \`generated/\` to \`curated/\`
+`;
+}
+
+//#endregion
+export { importFromSourceService };
+//# sourceMappingURL=import-service.mjs.map

package/dist/services/import/import-service.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-service.mjs","names":["path"],"sources":["../../../src/services/import/import-service.ts"],"sourcesContent":["/**\n * Import service for source-extractors.\n *\n * Integrates source extraction into the workspace bundle.\n */\n\nimport type { FsAdapter } from '../../ports/fs';\nimport type { LoggerAdapter } from '../../ports/logger';\nimport type { ResolvedContractsrcConfig } from '@contractspec/lib.contracts';\nimport {\n  detectFramework,\n  extractFromProject,\n  type ExtractOptions,\n  type ImportIR,\n} from '@contractspec/lib.source-extractors';\nimport {\n  type ExtractorFsAdapter,\n  registerAllExtractors,\n} from '@contractspec/lib.source-extractors/extractors';\nimport {\n  generateOperations,\n  generateRegistry,\n  generateSchemas,\n  type GenerationOptions,\n  type GenerationResult,\n} from '@contractspec/lib.source-extractors/codegen';\nimport { dirname, join } from 'path';\n\n/**\n * Options for the import service.\n */\nexport interface ImportServiceOptions {\n  /** Limit extraction to specific paths */\n  scope?: string[];\n  /** Force specific framework */\n  framework?: string;\n  /** Dry run mode - don't write files */\n  dryRun?: boolean;\n  /** Analysis only - extract IR without generating code */\n  analyzeOnly?: boolean;\n  /** Output directory for generated contracts */\n  outputDir?: string;\n}\n\n/**\n * Result of the import service.\n */\nexport interface ImportServiceResult {\n  success: boolean;\n  ir?: ImportIR;\n  generation?: GenerationResult;\n  report: string;\n  errors?: string[];\n}\n\n/**\n * Adapters needed by the import service.\n */\nexport interface ImportServiceAdapters {\n  fs: FsAdapter;\n  logger: LoggerAdapter;\n}\n\n/**\n * Import contracts from source code.\n */\nexport async function importFromSourceService(\n  config: ResolvedContractsrcConfig,\n  options: ImportServiceOptions,\n  adapters: ImportServiceAdapters,\n  cwd?: string\n): Promise<ImportServiceResult> {\n  const { fs, logger } = adapters;\n  const rootPath = cwd ?? process.cwd();\n\n  // Register all extractors\n  registerAllExtractors();\n\n  logger.info(`Scanning source code in ${rootPath}...`);\n\n  // Create adapter bridge\n  const extractorFs: ExtractorFsAdapter = {\n    readFile: (path) => fs.readFile(path),\n    glob: (pattern, opts) => fs.glob({ pattern, cwd: opts?.cwd }),\n    exists: (path) => fs.exists(path),\n  };\n\n  // Detect frameworks\n  const project = await detectFramework(rootPath, {\n    readFile: (path) => fs.readFile(path),\n    glob: (pattern) => fs.glob({ pattern }),\n  });\n\n  if (project.frameworks.length === 0) {\n    logger.warn('No supported frameworks detected');\n    return {\n      success: false,\n      report: generateNoFrameworkReport(),\n      errors: ['No supported frameworks detected in project'],\n    };\n  }\n\n  logger.info(\n    `Detected frameworks: ${project.frameworks.map((f) => f.name).join(', ')}`\n  );\n\n  // Set up extractors with fs adapter\n  const { extractorRegistry } =\n    await import('@contractspec/lib.source-extractors');\n  for (const extractor of extractorRegistry.getAll()) {\n    if ('setFs' in extractor && typeof extractor.setFs === 'function') {\n      extractor.setFs(extractorFs);\n    }\n  }\n\n  // Extract contracts\n  const extractOptions: ExtractOptions = {\n    scope: options.scope,\n    framework: options.framework,\n  };\n\n  const extractResult = await extractFromProject(project, extractOptions);\n\n  if (!extractResult.success || !extractResult.ir) {\n    return {\n      success: false,\n      report: generateErrorReport(extractResult.errors ?? []),\n      errors: extractResult.errors?.map((e) => e.message),\n    };\n  }\n\n  const ir = extractResult.ir;\n\n  logger.info(\n    `Extracted ${ir.endpoints.length} endpoints, ${ir.schemas.length} schemas`\n  );\n\n  // If analyze-only mode, just return the IR\n  if (options.analyzeOnly) {\n    return {\n      success: true,\n      ir,\n      report: generateAnalysisReport(ir),\n    };\n  }\n\n  // Generate code\n  const outputDir = options.outputDir ?? join(config.outputDir, 'generated');\n  const generationOptions: GenerationOptions = {\n    outputDir,\n    defaultAuth: 'user',\n  };\n\n  const operationFiles = generateOperations(ir, generationOptions);\n  const schemaFiles = generateSchemas(ir, generationOptions);\n  const registryFile = generateRegistry(operationFiles);\n\n  const allFiles = [...operationFiles, ...schemaFiles, registryFile];\n\n  // Write files if not dry-run\n  if (!options.dryRun) {\n    for (const file of allFiles) {\n      const fullPath = join(outputDir, file.path);\n      const dir = dirname(fullPath);\n\n      if (!(await fs.exists(dir))) {\n        await fs.mkdir(dir);\n      }\n\n      await fs.writeFile(fullPath, file.content);\n      logger.info(`Created: ${fullPath}`);\n    }\n  } else {\n    for (const file of allFiles) {\n      logger.info(`[DRY RUN] Would create: ${join(outputDir, file.path)}`);\n    }\n  }\n\n  const generationResult: GenerationResult = {\n    files: allFiles,\n    operationsGenerated: operationFiles.length,\n    schemasGenerated: schemaFiles.length,\n    warnings: [],\n  };\n\n  return {\n    success: true,\n    ir,\n    generation: generationResult,\n    report: generateSuccessReport(ir, generationResult, options),\n  };\n}\n\n/**\n * Generate report when no frameworks are detected.\n */\nfunction generateNoFrameworkReport(): string {\n  return `# Import Report\n\n## ❌ No Supported Frameworks Detected\n\nNo supported frameworks were detected in the project.\n\n### Supported Frameworks\n\n- NestJS\n- Express\n- Fastify\n- Hono\n- Elysia\n- tRPC\n- Next.js API Routes\n\nPlease ensure your project uses one of these frameworks and has the appropriate dependencies installed.\n`;\n}\n\n/**\n * Generate error report.\n */\nfunction generateErrorReport(errors: { message: string }[]): string {\n  return `# Import Report\n\n## ❌ Extraction Failed\n\n${errors.map((e) => `- ${e.message}`).join('\\n')}\n`;\n}\n\n/**\n * Generate analysis-only report.\n */\nfunction generateAnalysisReport(ir: ImportIR): string {\n  return `# Import Analysis Report\n\n## Summary\n\n- **Files Scanned**: ${ir.stats.filesScanned}\n- **Endpoints Found**: ${ir.stats.endpointsFound}\n- **Schemas Found**: ${ir.stats.schemasFound}\n- **Errors Found**: ${ir.stats.errorsFound}\n- **Events Found**: ${ir.stats.eventsFound}\n\n## Confidence Breakdown\n\n| Level | Count |\n|-------|-------|\n| High | ${ir.stats.highConfidence} |\n| Medium | ${ir.stats.mediumConfidence} |\n| Low/Ambiguous | ${ir.stats.lowConfidence} |\n\n## Detected Frameworks\n\n${ir.project.frameworks.map((f) => `- ${f.name} (${f.confidence})`).join('\\n')}\n\n## Endpoints\n\n${ir.endpoints.map((e) => `- \\`${e.method} ${e.path}\\` - ${e.confidence.level}`).join('\\n')}\n\n## Ambiguities (Require Review)\n\n${ir.ambiguities.length > 0 ? ir.ambiguities.map((a) => `- ${a.description}`).join('\\n') : 'None'}\n`;\n}\n\n/**\n * Generate success report.\n */\nfunction generateSuccessReport(\n  ir: ImportIR,\n  gen: GenerationResult,\n  options: ImportServiceOptions\n): string {\n  const mode = options.dryRun ? ' (Dry Run)' : '';\n  return `# Import Report${mode}\n\n## ✅ Import Successful\n\n### Extraction Summary\n\n- **Files Scanned**: ${ir.stats.filesScanned}\n- **Endpoints Found**: ${ir.stats.endpointsFound}\n- **Schemas Found**: ${ir.stats.schemasFound}\n\n### Generation Summary\n\n- **Operations Generated**: ${gen.operationsGenerated}\n- **Schemas Generated**: ${gen.schemasGenerated}\n- **Total Files**: ${gen.files.length}\n\n### Confidence Breakdown\n\n| Level | Count |\n|-------|-------|\n| High | ${ir.stats.highConfidence} |\n| Medium | ${ir.stats.mediumConfidence} |\n| Low/Ambiguous | ${ir.stats.lowConfidence} |\n\n### Next Steps\n\n1. Review generated contracts in \\`${options.outputDir ?? 'generated/'}\\`\n2. Fill in TODO placeholders with business context\n3. Run \\`contractspec validate\\` to verify contracts\n4. Move stable contracts from \\`generated/\\` to \\`curated/\\`\n`;\n}\n"],"mappings":";;;;;;;;;AAkEA,eAAsB,wBACpB,QACA,SACA,UACA,KAC8B;CAC9B,MAAM,EAAE,IAAI,WAAW;CACvB,MAAM,WAAW,OAAO,QAAQ,KAAK;AAGrC,wBAAuB;AAEvB,QAAO,KAAK,2BAA2B,SAAS,KAAK;CAGrD,MAAM,cAAkC;EACtC,WAAW,WAAS,GAAG,SAASA,OAAK;EACrC,OAAO,SAAS,SAAS,GAAG,KAAK;GAAE;GAAS,KAAK,MAAM;GAAK,CAAC;EAC7D,SAAS,WAAS,GAAG,OAAOA,OAAK;EAClC;CAGD,MAAM,UAAU,MAAM,gBAAgB,UAAU;EAC9C,WAAW,WAAS,GAAG,SAASA,OAAK;EACrC,OAAO,YAAY,GAAG,KAAK,EAAE,SAAS,CAAC;EACxC,CAAC;AAEF,KAAI,QAAQ,WAAW,WAAW,GAAG;AACnC,SAAO,KAAK,mCAAmC;AAC/C,SAAO;GACL,SAAS;GACT,QAAQ,2BAA2B;GACnC,QAAQ,CAAC,8CAA8C;GACxD;;AAGH,QAAO,KACL,wBAAwB,QAAQ,WAAW,KAAK,MAAM,EAAE,KAAK,CAAC,KAAK,KAAK,GACzE;CAGD,MAAM,EAAE,sBACN,MAAM,OAAO;AACf,MAAK,MAAM,aAAa,kBAAkB,QAAQ,CAChD,KAAI,WAAW,aAAa,OAAO,UAAU,UAAU,WACrD,WAAU,MAAM,YAAY;CAUhC,MAAM,gBAAgB,MAAM,mBAAmB,SALR;EACrC,OAAO,QAAQ;EACf,WAAW,QAAQ;EACpB,CAEsE;AAEvE,KAAI,CAAC,cAAc,WAAW,CAAC,cAAc,GAC3C,QAAO;EACL,SAAS;EACT,QAAQ,oBAAoB,cAAc,UAAU,EAAE,CAAC;EACvD,QAAQ,cAAc,QAAQ,KAAK,MAAM,EAAE,QAAQ;EACpD;CAGH,MAAM,KAAK,cAAc;AAEzB,QAAO,KACL,aAAa,GAAG,UAAU,OAAO,cAAc,GAAG,QAAQ,OAAO,UAClE;AAGD,KAAI,QAAQ,YACV,QAAO;EACL,SAAS;EACT;EACA,QAAQ,uBAAuB,GAAG;EACnC;CAIH,MAAM,YAAY,QAAQ,aAAa,KAAK,OAAO,WAAW,YAAY;CAC1E,MAAM,oBAAuC;EAC3C;EACA,aAAa;EACd;CAED,MAAM,iBAAiB,mBAAmB,IAAI,kBAAkB;CAChE,MAAM,cAAc,gBAAgB,IAAI,kBAAkB;CAC1D,MAAM,eAAe,iBAAiB,eAAe;CAErD,MAAM,WAAW;EAAC,GAAG;EAAgB,GAAG;EAAa;EAAa;AAGlE,KAAI,CAAC,QAAQ,OACX,MAAK,MAAM,QAAQ,UAAU;EAC3B,MAAM,WAAW,KAAK,WAAW,KAAK,KAAK;EAC3C,MAAM,MAAM,QAAQ,SAAS;AAE7B,MAAI,CAAE,MAAM,GAAG,OAAO,IAAI,CACxB,OAAM,GAAG,MAAM,IAAI;AAGrB,QAAM,GAAG,UAAU,UAAU,KAAK,QAAQ;AAC1C,SAAO,KAAK,YAAY,WAAW;;KAGrC,MAAK,MAAM,QAAQ,SACjB,QAAO,KAAK,2BAA2B,KAAK,WAAW,KAAK,KAAK,GAAG;CAIxE,MAAM,mBAAqC;EACzC,OAAO;EACP,qBAAqB,eAAe;EACpC,kBAAkB,YAAY;EAC9B,UAAU,EAAE;EACb;AAED,QAAO;EACL,SAAS;EACT;EACA,YAAY;EACZ,QAAQ,sBAAsB,IAAI,kBAAkB,QAAQ;EAC7D;;;;;AAMH,SAAS,4BAAoC;AAC3C,QAAO;;;;;;;;;;;;;;;;;;;;;;AAuBT,SAAS,oBAAoB,QAAuC;AAClE,QAAO;;;;EAIP,OAAO,KAAK,MAAM,KAAK,EAAE,UAAU,CAAC,KAAK,KAAK,CAAC;;;;;;AAOjD,SAAS,uBAAuB,IAAsB;AACpD,QAAO;;;;uBAIc,GAAG,MAAM,aAAa;yBACpB,GAAG,MAAM,eAAe;uBAC1B,GAAG,MAAM,aAAa;sBACvB,GAAG,MAAM,YAAY;sBACrB,GAAG,MAAM,YAAY;;;;;;WAMhC,GAAG,MAAM,eAAe;aACtB,GAAG,MAAM,iBAAiB;oBACnB,GAAG,MAAM,cAAc;;;;EAIzC,GAAG,QAAQ,WAAW,KAAK,MAAM,KAAK,EAAE,KAAK,IAAI,EAAE,WAAW,GAAG,CAAC,KAAK,KAAK,CAAC;;;;EAI7E,GAAG,UAAU,KAAK,MAAM,OAAO,EAAE,OAAO,GAAG,EAAE,KAAK,OAAO,EAAE,WAAW,QAAQ,CAAC,KAAK,KAAK,CAAC;;;;EAI1F,GAAG,YAAY,SAAS,IAAI,GAAG,YAAY,KAAK,MAAM,KAAK,EAAE,cAAc,CAAC,KAAK,KAAK,GAAG,OAAO;;;;;;AAOlG,SAAS,sBACP,IACA,KACA,SACQ;AAER,QAAO,kBADM,QAAQ,SAAS,eAAe,GACf;;;;;;uBAMT,GAAG,MAAM,aAAa;yBACpB,GAAG,MAAM,eAAe;uBAC1B,GAAG,MAAM,aAAa;;;;8BAIf,IAAI,oBAAoB;2BAC3B,IAAI,iBAAiB;qBAC3B,IAAI,MAAM,OAAO;;;;;;WAM3B,GAAG,MAAM,eAAe;aACtB,GAAG,MAAM,iBAAiB;oBACnB,GAAG,MAAM,cAAc;;;;qCAIN,QAAQ,aAAa,aAAa"}

package/dist/services/import/index.d.mts

@@ -0,0 +1,3 @@
+import { ImportServiceAdapters, ImportServiceOptions, ImportServiceResult, importFromSourceService } from "./import-service.mjs";
+import { EndpointVerification, VerificationIssue, VerifyOptions, VerifyResult, verifyImportedContracts } from "./verify-service.mjs";
+import { ReportOptions, generateCliReport, generateMarkdownReport } from "./report-service.mjs";

package/dist/services/import/index.mjs

@@ -0,0 +1,5 @@
+import { importFromSourceService } from "./import-service.mjs";
+import { verifyImportedContracts } from "./verify-service.mjs";
+import { generateCliReport, generateMarkdownReport } from "./report-service.mjs";
+
+export {  };

package/dist/services/import/report-service.d.mts

@@ -0,0 +1,31 @@
+import { VerifyResult } from "./verify-service.mjs";
+import { ImportIR } from "@contractspec/lib.source-extractors";
+
+//#region src/services/import/report-service.d.ts
+
+/**
+ * Options for report generation.
+ */
+interface ReportOptions {
+  /** Include endpoint details */
+  includeEndpoints?: boolean;
+  /** Include schema details */
+  includeSchemas?: boolean;
+  /** Include verification issues */
+  includeIssues?: boolean;
+  /** Include ambiguities */
+  includeAmbiguities?: boolean;
+  /** Include statistics */
+  includeStats?: boolean;
+}
+/**
+ * Generate a markdown report from IR and optional verification.
+ */
+declare function generateMarkdownReport(ir: ImportIR, verification?: VerifyResult, options?: ReportOptions): string;
+/**
+ * Generate CLI-friendly report output.
+ */
+declare function generateCliReport(ir: ImportIR, verification?: VerifyResult): string;
+//#endregion
+export { ReportOptions, generateCliReport, generateMarkdownReport };
+//# sourceMappingURL=report-service.d.mts.map

package/dist/services/import/report-service.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-service.d.mts","names":[],"sources":["../../../src/services/import/report-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAoKgB,UAxJC,aAAA,CAwJgB;;;;;;;;;;;;;;;iBAxIjB,sBAAA,KACV,yBACW,wBACN;;;;iBAqIK,iBAAA,KACV,yBACW"}

package/dist/services/import/report-service.mjs

@@ -0,0 +1,124 @@
+//#region src/services/import/report-service.ts
+/**
+* Generate a markdown report from IR and optional verification.
+*/
+function generateMarkdownReport(ir, verification, options = {}) {
+	const lines = [];
+	lines.push("# Import Report");
+	lines.push("");
+	lines.push(`**Generated**: ${(/* @__PURE__ */ new Date()).toISOString()}`);
+	lines.push("");
+	lines.push("## Summary");
+	lines.push("");
+	lines.push(`| Metric | Count |`);
+	lines.push(`|--------|-------|`);
+	lines.push(`| Files Scanned | ${ir.stats.filesScanned} |`);
+	lines.push(`| Endpoints Found | ${ir.stats.endpointsFound} |`);
+	lines.push(`| Schemas Found | ${ir.stats.schemasFound} |`);
+	lines.push(`| Errors Found | ${ir.stats.errorsFound} |`);
+	lines.push(`| Events Found | ${ir.stats.eventsFound} |`);
+	lines.push("");
+	if (options.includeStats !== false) {
+		lines.push("### Confidence");
+		lines.push("");
+		lines.push(`| Level | Count |`);
+		lines.push(`|-------|-------|`);
+		lines.push(`| High | ${ir.stats.highConfidence} |`);
+		lines.push(`| Medium | ${ir.stats.mediumConfidence} |`);
+		lines.push(`| Low/Ambiguous | ${ir.stats.lowConfidence} |`);
+		lines.push("");
+	}
+	lines.push("### Frameworks Detected");
+	lines.push("");
+	for (const fw of ir.project.frameworks) lines.push(`- **${fw.name}** (${fw.confidence})`);
+	lines.push("");
+	if (options.includeEndpoints !== false && ir.endpoints.length > 0) {
+		lines.push("## Endpoints");
+		lines.push("");
+		lines.push("| Method | Path | Kind | Confidence |");
+		lines.push("|--------|------|------|------------|");
+		for (const ep of ir.endpoints) lines.push(`| ${ep.method} | \`${ep.path}\` | ${ep.kind} | ${ep.confidence.level} |`);
+		lines.push("");
+	}
+	if (options.includeSchemas !== false && ir.schemas.length > 0) {
+		lines.push("## Schemas");
+		lines.push("");
+		lines.push("| Name | Type | Confidence |");
+		lines.push("|------|------|------------|");
+		for (const schema of ir.schemas) lines.push(`| ${schema.name} | ${schema.schemaType} | ${schema.confidence.level} |`);
+		lines.push("");
+	}
+	if (verification && options.includeIssues !== false) {
+		lines.push("## Verification");
+		lines.push("");
+		lines.push(`| Status | Count |`);
+		lines.push(`|--------|-------|`);
+		lines.push(`| Valid | ${verification.summary.validEndpoints} |`);
+		lines.push(`| Warnings | ${verification.summary.warningEndpoints} |`);
+		lines.push(`| Errors | ${verification.summary.errorEndpoints} |`);
+		lines.push("");
+		const issueEndpoints = verification.endpointResults.filter((r) => r.issues.length > 0);
+		if (issueEndpoints.length > 0) {
+			lines.push("### Issues");
+			lines.push("");
+			for (const result of issueEndpoints) {
+				lines.push(`#### ${result.endpoint.method} ${result.endpoint.path}`);
+				for (const issue of result.issues) {
+					const icon = issue.severity === "error" ? "❌" : issue.severity === "warning" ? "⚠️" : "ℹ️";
+					lines.push(`- ${icon} **${issue.code}**: ${issue.message}`);
+					if (issue.suggestion) lines.push(`  - *Suggestion*: ${issue.suggestion}`);
+				}
+				lines.push("");
+			}
+		}
+	}
+	if (options.includeAmbiguities !== false && ir.ambiguities.length > 0) {
+		lines.push("## Ambiguities (Require Review)");
+		lines.push("");
+		for (const amb of ir.ambiguities) {
+			lines.push(`- **${amb.type}** (${amb.itemId}): ${amb.description}`);
+			if (amb.suggestion) lines.push(`  - *Suggestion*: ${amb.suggestion}`);
+		}
+		lines.push("");
+	}
+	lines.push("## Next Steps");
+	lines.push("");
+	lines.push("1. Review generated contracts in the output directory");
+	lines.push("2. Fill in TODO placeholders with business context");
+	lines.push("3. Run `contractspec validate` to verify contracts");
+	lines.push("4. Move stable contracts from `generated/` to `curated/`");
+	lines.push("");
+	return lines.join("\n");
+}
+/**
+* Generate CLI-friendly report output.
+*/
+function generateCliReport(ir, verification) {
+	const lines = [];
+	lines.push("");
+	lines.push("📊 Summary");
+	lines.push(`   Files scanned: ${ir.stats.filesScanned}`);
+	lines.push(`   Endpoints:     ${ir.stats.endpointsFound}`);
+	lines.push(`   Schemas:       ${ir.stats.schemasFound}`);
+	lines.push("");
+	lines.push("📈 Confidence");
+	lines.push(`   High:   ${ir.stats.highConfidence}`);
+	lines.push(`   Medium: ${ir.stats.mediumConfidence}`);
+	lines.push(`   Low:    ${ir.stats.lowConfidence}`);
+	lines.push("");
+	lines.push("🔧 Frameworks");
+	for (const fw of ir.project.frameworks) lines.push(`   • ${fw.name}`);
+	lines.push("");
+	if (verification) {
+		lines.push("✅ Verification");
+		lines.push(`   Valid:    ${verification.summary.validEndpoints}`);
+		lines.push(`   Warnings: ${verification.summary.warningEndpoints}`);
+		lines.push(`   Errors:   ${verification.summary.errorEndpoints}`);
+		lines.push("");
+	}
+	return lines.join("\n");
+}
+
+//#endregion
+export { generateCliReport, generateMarkdownReport };
+//# sourceMappingURL=report-service.mjs.map

package/dist/services/import/report-service.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-service.mjs","names":[],"sources":["../../../src/services/import/report-service.ts"],"sourcesContent":["/**\n * Report service for imported contracts.\n *\n * Generates markdown and CLI reports from IR and verification results.\n */\n\nimport type { ImportIR } from '@contractspec/lib.source-extractors';\nimport type { VerifyResult } from './verify-service';\n\n/**\n * Options for report generation.\n */\nexport interface ReportOptions {\n  /** Include endpoint details */\n  includeEndpoints?: boolean;\n  /** Include schema details */\n  includeSchemas?: boolean;\n  /** Include verification issues */\n  includeIssues?: boolean;\n  /** Include ambiguities */\n  includeAmbiguities?: boolean;\n  /** Include statistics */\n  includeStats?: boolean;\n}\n\n/**\n * Generate a markdown report from IR and optional verification.\n */\nexport function generateMarkdownReport(\n  ir: ImportIR,\n  verification?: VerifyResult,\n  options: ReportOptions = {}\n): string {\n  const lines: string[] = [];\n\n  lines.push('# Import Report');\n  lines.push('');\n  lines.push(`**Generated**: ${new Date().toISOString()}`);\n  lines.push('');\n\n  // Summary section\n  lines.push('## Summary');\n  lines.push('');\n  lines.push(`| Metric | Count |`);\n  lines.push(`|--------|-------|`);\n  lines.push(`| Files Scanned | ${ir.stats.filesScanned} |`);\n  lines.push(`| Endpoints Found | ${ir.stats.endpointsFound} |`);\n  lines.push(`| Schemas Found | ${ir.stats.schemasFound} |`);\n  lines.push(`| Errors Found | ${ir.stats.errorsFound} |`);\n  lines.push(`| Events Found | ${ir.stats.eventsFound} |`);\n  lines.push('');\n\n  // Confidence breakdown\n  if (options.includeStats !== false) {\n    lines.push('### Confidence');\n    lines.push('');\n    lines.push(`| Level | Count |`);\n    lines.push(`|-------|-------|`);\n    lines.push(`| High | ${ir.stats.highConfidence} |`);\n    lines.push(`| Medium | ${ir.stats.mediumConfidence} |`);\n    lines.push(`| Low/Ambiguous | ${ir.stats.lowConfidence} |`);\n    lines.push('');\n  }\n\n  // Frameworks detected\n  lines.push('### Frameworks Detected');\n  lines.push('');\n  for (const fw of ir.project.frameworks) {\n    lines.push(`- **${fw.name}** (${fw.confidence})`);\n  }\n  lines.push('');\n\n  // Endpoints section\n  if (options.includeEndpoints !== false && ir.endpoints.length > 0) {\n    lines.push('## Endpoints');\n    lines.push('');\n    lines.push('| Method | Path | Kind | Confidence |');\n    lines.push('|--------|------|------|------------|');\n    for (const ep of ir.endpoints) {\n      lines.push(\n        `| ${ep.method} | \\`${ep.path}\\` | ${ep.kind} | ${ep.confidence.level} |`\n      );\n    }\n    lines.push('');\n  }\n\n  // Schemas section\n  if (options.includeSchemas !== false && ir.schemas.length > 0) {\n    lines.push('## Schemas');\n    lines.push('');\n    lines.push('| Name | Type | Confidence |');\n    lines.push('|------|------|------------|');\n    for (const schema of ir.schemas) {\n      lines.push(\n        `| ${schema.name} | ${schema.schemaType} | ${schema.confidence.level} |`\n      );\n    }\n    lines.push('');\n  }\n\n  // Verification results\n  if (verification && options.includeIssues !== false) {\n    lines.push('## Verification');\n    lines.push('');\n    lines.push(`| Status | Count |`);\n    lines.push(`|--------|-------|`);\n    lines.push(`| Valid | ${verification.summary.validEndpoints} |`);\n    lines.push(`| Warnings | ${verification.summary.warningEndpoints} |`);\n    lines.push(`| Errors | ${verification.summary.errorEndpoints} |`);\n    lines.push('');\n\n    const issueEndpoints = verification.endpointResults.filter(\n      (r) => r.issues.length > 0\n    );\n    if (issueEndpoints.length > 0) {\n      lines.push('### Issues');\n      lines.push('');\n      for (const result of issueEndpoints) {\n        lines.push(`#### ${result.endpoint.method} ${result.endpoint.path}`);\n        for (const issue of result.issues) {\n          const icon =\n            issue.severity === 'error'\n              ? '❌'\n              : issue.severity === 'warning'\n                ? '⚠️'\n                : 'ℹ️';\n          lines.push(`- ${icon} **${issue.code}**: ${issue.message}`);\n          if (issue.suggestion) {\n            lines.push(`  - *Suggestion*: ${issue.suggestion}`);\n          }\n        }\n        lines.push('');\n      }\n    }\n  }\n\n  // Ambiguities section\n  if (options.includeAmbiguities !== false && ir.ambiguities.length > 0) {\n    lines.push('## Ambiguities (Require Review)');\n    lines.push('');\n    for (const amb of ir.ambiguities) {\n      lines.push(`- **${amb.type}** (${amb.itemId}): ${amb.description}`);\n      if (amb.suggestion) {\n        lines.push(`  - *Suggestion*: ${amb.suggestion}`);\n      }\n    }\n    lines.push('');\n  }\n\n  // Next steps\n  lines.push('## Next Steps');\n  lines.push('');\n  lines.push('1. Review generated contracts in the output directory');\n  lines.push('2. Fill in TODO placeholders with business context');\n  lines.push('3. Run `contractspec validate` to verify contracts');\n  lines.push('4. Move stable contracts from `generated/` to `curated/`');\n  lines.push('');\n\n  return lines.join('\\n');\n}\n\n/**\n * Generate CLI-friendly report output.\n */\nexport function generateCliReport(\n  ir: ImportIR,\n  verification?: VerifyResult\n): string {\n  const lines: string[] = [];\n\n  // Summary\n  lines.push('');\n  lines.push('📊 Summary');\n  lines.push(`   Files scanned: ${ir.stats.filesScanned}`);\n  lines.push(`   Endpoints:     ${ir.stats.endpointsFound}`);\n  lines.push(`   Schemas:       ${ir.stats.schemasFound}`);\n  lines.push('');\n\n  // Confidence\n  lines.push('📈 Confidence');\n  lines.push(`   High:   ${ir.stats.highConfidence}`);\n  lines.push(`   Medium: ${ir.stats.mediumConfidence}`);\n  lines.push(`   Low:    ${ir.stats.lowConfidence}`);\n  lines.push('');\n\n  // Frameworks\n  lines.push('🔧 Frameworks');\n  for (const fw of ir.project.frameworks) {\n    lines.push(`   • ${fw.name}`);\n  }\n  lines.push('');\n\n  // Verification\n  if (verification) {\n    lines.push('✅ Verification');\n    lines.push(`   Valid:    ${verification.summary.validEndpoints}`);\n    lines.push(`   Warnings: ${verification.summary.warningEndpoints}`);\n    lines.push(`   Errors:   ${verification.summary.errorEndpoints}`);\n    lines.push('');\n  }\n\n  return lines.join('\\n');\n}\n"],"mappings":";;;;AA4BA,SAAgB,uBACd,IACA,cACA,UAAyB,EAAE,EACnB;CACR,MAAM,QAAkB,EAAE;AAE1B,OAAM,KAAK,kBAAkB;AAC7B,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,mCAAkB,IAAI,MAAM,EAAC,aAAa,GAAG;AACxD,OAAM,KAAK,GAAG;AAGd,OAAM,KAAK,aAAa;AACxB,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,qBAAqB;AAChC,OAAM,KAAK,qBAAqB;AAChC,OAAM,KAAK,qBAAqB,GAAG,MAAM,aAAa,IAAI;AAC1D,OAAM,KAAK,uBAAuB,GAAG,MAAM,eAAe,IAAI;AAC9D,OAAM,KAAK,qBAAqB,GAAG,MAAM,aAAa,IAAI;AAC1D,OAAM,KAAK,oBAAoB,GAAG,MAAM,YAAY,IAAI;AACxD,OAAM,KAAK,oBAAoB,GAAG,MAAM,YAAY,IAAI;AACxD,OAAM,KAAK,GAAG;AAGd,KAAI,QAAQ,iBAAiB,OAAO;AAClC,QAAM,KAAK,iBAAiB;AAC5B,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,oBAAoB;AAC/B,QAAM,KAAK,oBAAoB;AAC/B,QAAM,KAAK,YAAY,GAAG,MAAM,eAAe,IAAI;AACnD,QAAM,KAAK,cAAc,GAAG,MAAM,iBAAiB,IAAI;AACvD,QAAM,KAAK,qBAAqB,GAAG,MAAM,cAAc,IAAI;AAC3D,QAAM,KAAK,GAAG;;AAIhB,OAAM,KAAK,0BAA0B;AACrC,OAAM,KAAK,GAAG;AACd,MAAK,MAAM,MAAM,GAAG,QAAQ,WAC1B,OAAM,KAAK,OAAO,GAAG,KAAK,MAAM,GAAG,WAAW,GAAG;AAEnD,OAAM,KAAK,GAAG;AAGd,KAAI,QAAQ,qBAAqB,SAAS,GAAG,UAAU,SAAS,GAAG;AACjE,QAAM,KAAK,eAAe;AAC1B,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,wCAAwC;AACnD,QAAM,KAAK,wCAAwC;AACnD,OAAK,MAAM,MAAM,GAAG,UAClB,OAAM,KACJ,KAAK,GAAG,OAAO,OAAO,GAAG,KAAK,OAAO,GAAG,KAAK,KAAK,GAAG,WAAW,MAAM,IACvE;AAEH,QAAM,KAAK,GAAG;;AAIhB,KAAI,QAAQ,mBAAmB,SAAS,GAAG,QAAQ,SAAS,GAAG;AAC7D,QAAM,KAAK,aAAa;AACxB,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,+BAA+B;AAC1C,QAAM,KAAK,+BAA+B;AAC1C,OAAK,MAAM,UAAU,GAAG,QACtB,OAAM,KACJ,KAAK,OAAO,KAAK,KAAK,OAAO,WAAW,KAAK,OAAO,WAAW,MAAM,IACtE;AAEH,QAAM,KAAK,GAAG;;AAIhB,KAAI,gBAAgB,QAAQ,kBAAkB,OAAO;AACnD,QAAM,KAAK,kBAAkB;AAC7B,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,qBAAqB;AAChC,QAAM,KAAK,qBAAqB;AAChC,QAAM,KAAK,aAAa,aAAa,QAAQ,eAAe,IAAI;AAChE,QAAM,KAAK,gBAAgB,aAAa,QAAQ,iBAAiB,IAAI;AACrE,QAAM,KAAK,cAAc,aAAa,QAAQ,eAAe,IAAI;AACjE,QAAM,KAAK,GAAG;EAEd,MAAM,iBAAiB,aAAa,gBAAgB,QACjD,MAAM,EAAE,OAAO,SAAS,EAC1B;AACD,MAAI,eAAe,SAAS,GAAG;AAC7B,SAAM,KAAK,aAAa;AACxB,SAAM,KAAK,GAAG;AACd,QAAK,MAAM,UAAU,gBAAgB;AACnC,UAAM,KAAK,QAAQ,OAAO,SAAS,OAAO,GAAG,OAAO,SAAS,OAAO;AACpE,SAAK,MAAM,SAAS,OAAO,QAAQ;KACjC,MAAM,OACJ,MAAM,aAAa,UACf,MACA,MAAM,aAAa,YACjB,OACA;AACR,WAAM,KAAK,KAAK,KAAK,KAAK,MAAM,KAAK,MAAM,MAAM,UAAU;AAC3D,SAAI,MAAM,WACR,OAAM,KAAK,qBAAqB,MAAM,aAAa;;AAGvD,UAAM,KAAK,GAAG;;;;AAMpB,KAAI,QAAQ,uBAAuB,SAAS,GAAG,YAAY,SAAS,GAAG;AACrE,QAAM,KAAK,kCAAkC;AAC7C,QAAM,KAAK,GAAG;AACd,OAAK,MAAM,OAAO,GAAG,aAAa;AAChC,SAAM,KAAK,OAAO,IAAI,KAAK,MAAM,IAAI,OAAO,KAAK,IAAI,cAAc;AACnE,OAAI,IAAI,WACN,OAAM,KAAK,qBAAqB,IAAI,aAAa;;AAGrD,QAAM,KAAK,GAAG;;AAIhB,OAAM,KAAK,gBAAgB;AAC3B,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,wDAAwD;AACnE,OAAM,KAAK,qDAAqD;AAChE,OAAM,KAAK,qDAAqD;AAChE,OAAM,KAAK,2DAA2D;AACtE,OAAM,KAAK,GAAG;AAEd,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,kBACd,IACA,cACQ;CACR,MAAM,QAAkB,EAAE;AAG1B,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,aAAa;AACxB,OAAM,KAAK,qBAAqB,GAAG,MAAM,eAAe;AACxD,OAAM,KAAK,qBAAqB,GAAG,MAAM,iBAAiB;AAC1D,OAAM,KAAK,qBAAqB,GAAG,MAAM,eAAe;AACxD,OAAM,KAAK,GAAG;AAGd,OAAM,KAAK,gBAAgB;AAC3B,OAAM,KAAK,cAAc,GAAG,MAAM,iBAAiB;AACnD,OAAM,KAAK,cAAc,GAAG,MAAM,mBAAmB;AACrD,OAAM,KAAK,cAAc,GAAG,MAAM,gBAAgB;AAClD,OAAM,KAAK,GAAG;AAGd,OAAM,KAAK,gBAAgB;AAC3B,MAAK,MAAM,MAAM,GAAG,QAAQ,WAC1B,OAAM,KAAK,QAAQ,GAAG,OAAO;AAE/B,OAAM,KAAK,GAAG;AAGd,KAAI,cAAc;AAChB,QAAM,KAAK,iBAAiB;AAC5B,QAAM,KAAK,gBAAgB,aAAa,QAAQ,iBAAiB;AACjE,QAAM,KAAK,gBAAgB,aAAa,QAAQ,mBAAmB;AACnE,QAAM,KAAK,gBAAgB,aAAa,QAAQ,iBAAiB;AACjE,QAAM,KAAK,GAAG;;AAGhB,QAAO,MAAM,KAAK,KAAK"}

package/dist/services/import/verify-service.d.mts

@@ -0,0 +1,67 @@
+import { FsAdapter } from "../../ports/fs.mjs";
+import { LoggerAdapter } from "../../ports/logger.mjs";
+import { Ambiguity, EndpointCandidate, ImportIR } from "@contractspec/lib.source-extractors";
+
+//#region src/services/import/verify-service.d.ts
+
+/**
+ * Verification result for a single endpoint.
+ */
+interface EndpointVerification {
+  endpoint: EndpointCandidate;
+  status: 'valid' | 'warning' | 'error';
+  issues: VerificationIssue[];
+}
+/**
+ * A single verification issue.
+ */
+interface VerificationIssue {
+  code: string;
+  message: string;
+  severity: 'error' | 'warning' | 'info';
+  suggestion?: string;
+}
+/**
+ * Options for verification.
+ */
+interface VerifyOptions {
+  /** Check for duplicate endpoints */
+  checkDuplicates?: boolean;
+  /** Check for conflicting paths */
+  checkConflicts?: boolean;
+  /** Validate schema completeness */
+  validateSchemas?: boolean;
+  /** Compare against existing specs */
+  compareExisting?: boolean;
+  /** Path to existing specs */
+  existingSpecsPath?: string;
+}
+/**
+ * Result of verification.
+ */
+interface VerifyResult {
+  valid: boolean;
+  endpointResults: EndpointVerification[];
+  ambiguities: Ambiguity[];
+  summary: {
+    totalEndpoints: number;
+    validEndpoints: number;
+    warningEndpoints: number;
+    errorEndpoints: number;
+    totalIssues: number;
+  };
+}
+/**
+ * Adapters for verification service.
+ */
+interface VerifyServiceAdapters {
+  fs: FsAdapter;
+  logger: LoggerAdapter;
+}
+/**
+ * Verify extracted contracts from IR.
+ */
+declare function verifyImportedContracts(ir: ImportIR, options: VerifyOptions, adapters: VerifyServiceAdapters): Promise<VerifyResult>;
+//#endregion
+export { EndpointVerification, VerificationIssue, VerifyOptions, VerifyResult, verifyImportedContracts };
+//# sourceMappingURL=verify-service.d.mts.map

package/dist/services/import/verify-service.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-service.d.mts","names":[],"sources":["../../../src/services/import/verify-service.ts"],"sourcesContent":[],"mappings":";;;;;;AAoDA;AAgBA;AAQA;AACM,UA5DW,oBAAA,CA4DX;EACK,QAAA,EA5DC,iBA4DD;EACC,MAAA,EAAA,OAAA,GAAA,SAAA,GAAA,OAAA;EACD,MAAA,EA5DD,iBA4DC,EAAA;;;;;UAtDM,iBAAA;;;;;;;;;UAUA,aAAA;;;;;;;;;;;;;;;UAgBA,YAAA;;mBAEE;eACJ;;;;;;;;;;;;UAaE,qBAAA;MACX;UACI;;;;;iBAMY,uBAAA,KAChB,mBACK,yBACC,wBACT,QAAQ"}

package/dist/services/import/verify-service.mjs

@@ -0,0 +1,105 @@
+//#region src/services/import/verify-service.ts
+/**
+* Verify extracted contracts from IR.
+*/
+async function verifyImportedContracts(ir, options, adapters) {
+	const { logger } = adapters;
+	const endpointResults = [];
+	const ambiguities = [...ir.ambiguities];
+	logger.info(`Verifying ${ir.endpoints.length} endpoints...`);
+	for (const endpoint of ir.endpoints) {
+		const issues = [];
+		if (endpoint.confidence.level === "low" || endpoint.confidence.level === "ambiguous") issues.push({
+			code: "LOW_CONFIDENCE",
+			message: `Endpoint has ${endpoint.confidence.level} confidence`,
+			severity: "warning",
+			suggestion: "Review source code and add explicit schema annotations"
+		});
+		if (!endpoint.input && (endpoint.method === "POST" || endpoint.method === "PUT" || endpoint.method === "PATCH")) issues.push({
+			code: "MISSING_INPUT_SCHEMA",
+			message: "Command endpoint missing input schema",
+			severity: "warning",
+			suggestion: "Add Zod schema or class-validator DTO"
+		});
+		if (!endpoint.output) issues.push({
+			code: "MISSING_OUTPUT_SCHEMA",
+			message: "Endpoint missing output schema",
+			severity: "info",
+			suggestion: "Infer from return type or add explicit schema"
+		});
+		if (options.checkDuplicates) {
+			if (ir.endpoints.filter((e) => e.id !== endpoint.id && e.path === endpoint.path && e.method === endpoint.method).length > 0) issues.push({
+				code: "DUPLICATE_ENDPOINT",
+				message: `Duplicate ${endpoint.method} ${endpoint.path} found`,
+				severity: "error"
+			});
+		}
+		if (options.checkConflicts) {
+			const conflicts = findPathConflicts(endpoint, ir.endpoints);
+			for (const conflict of conflicts) issues.push({
+				code: "PATH_CONFLICT",
+				message: `Path may conflict with ${conflict.method} ${conflict.path}`,
+				severity: "warning"
+			});
+		}
+		const status = issues.some((i) => i.severity === "error") ? "error" : issues.some((i) => i.severity === "warning") ? "warning" : "valid";
+		endpointResults.push({
+			endpoint,
+			status,
+			issues
+		});
+	}
+	if (options.validateSchemas) {
+		for (const schema of ir.schemas) if (!schema.fields || schema.fields.length === 0) ambiguities.push({
+			type: "schema",
+			itemId: schema.id,
+			description: `Schema ${schema.name} has no extracted fields`,
+			suggestion: "Review schema definition and add explicit field types",
+			source: schema.source
+		});
+	}
+	const summary = {
+		totalEndpoints: endpointResults.length,
+		validEndpoints: endpointResults.filter((r) => r.status === "valid").length,
+		warningEndpoints: endpointResults.filter((r) => r.status === "warning").length,
+		errorEndpoints: endpointResults.filter((r) => r.status === "error").length,
+		totalIssues: endpointResults.reduce((sum, r) => sum + r.issues.length, 0)
+	};
+	logger.info(`Verification complete: ${summary.validEndpoints} valid, ${summary.warningEndpoints} warnings, ${summary.errorEndpoints} errors`);
+	return {
+		valid: summary.errorEndpoints === 0,
+		endpointResults,
+		ambiguities,
+		summary
+	};
+}
+/**
+* Find path conflicts (e.g., /users/:id vs /users/profile).
+*/
+function findPathConflicts(endpoint, allEndpoints) {
+	const conflicts = [];
+	const endpointParts = endpoint.path.split("/").filter(Boolean);
+	for (const other of allEndpoints) {
+		if (other.id === endpoint.id) continue;
+		if (other.method !== endpoint.method) continue;
+		const otherParts = other.path.split("/").filter(Boolean);
+		if (otherParts.length !== endpointParts.length) continue;
+		let mightConflict = true;
+		for (let i = 0; i < endpointParts.length; i++) {
+			const a = endpointParts[i] ?? "";
+			const b = otherParts[i] ?? "";
+			const aIsParam = a.startsWith(":") || a.startsWith("{");
+			const bIsParam = b.startsWith(":") || b.startsWith("{");
+			if (!aIsParam && !bIsParam && a !== b) {
+				mightConflict = false;
+				break;
+			}
+		}
+		if (mightConflict && endpoint.path !== other.path) conflicts.push(other);
+	}
+	return conflicts;
+}
+
+//#endregion
+export { verifyImportedContracts };
+//# sourceMappingURL=verify-service.mjs.map

package/dist/services/import/verify-service.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-service.mjs","names":[],"sources":["../../../src/services/import/verify-service.ts"],"sourcesContent":["/**\n * Verify service for imported contracts.\n *\n * Validates extracted contracts against existing codebase and specs.\n */\n\nimport type {\n  ImportIR,\n  EndpointCandidate,\n  Ambiguity,\n} from '@contractspec/lib.source-extractors';\nimport type { FsAdapter } from '../../ports/fs';\nimport type { LoggerAdapter } from '../../ports/logger';\n\n/**\n * Verification result for a single endpoint.\n */\nexport interface EndpointVerification {\n  endpoint: EndpointCandidate;\n  status: 'valid' | 'warning' | 'error';\n  issues: VerificationIssue[];\n}\n\n/**\n * A single verification issue.\n */\nexport interface VerificationIssue {\n  code: string;\n  message: string;\n  severity: 'error' | 'warning' | 'info';\n  suggestion?: string;\n}\n\n/**\n * Options for verification.\n */\nexport interface VerifyOptions {\n  /** Check for duplicate endpoints */\n  checkDuplicates?: boolean;\n  /** Check for conflicting paths */\n  checkConflicts?: boolean;\n  /** Validate schema completeness */\n  validateSchemas?: boolean;\n  /** Compare against existing specs */\n  compareExisting?: boolean;\n  /** Path to existing specs */\n  existingSpecsPath?: string;\n}\n\n/**\n * Result of verification.\n */\nexport interface VerifyResult {\n  valid: boolean;\n  endpointResults: EndpointVerification[];\n  ambiguities: Ambiguity[];\n  summary: {\n    totalEndpoints: number;\n    validEndpoints: number;\n    warningEndpoints: number;\n    errorEndpoints: number;\n    totalIssues: number;\n  };\n}\n\n/**\n * Adapters for verification service.\n */\nexport interface VerifyServiceAdapters {\n  fs: FsAdapter;\n  logger: LoggerAdapter;\n}\n\n/**\n * Verify extracted contracts from IR.\n */\nexport async function verifyImportedContracts(\n  ir: ImportIR,\n  options: VerifyOptions,\n  adapters: VerifyServiceAdapters\n): Promise<VerifyResult> {\n  const { logger } = adapters;\n  const endpointResults: EndpointVerification[] = [];\n  const ambiguities: Ambiguity[] = [...ir.ambiguities];\n\n  logger.info(`Verifying ${ir.endpoints.length} endpoints...`);\n\n  // Check each endpoint\n  for (const endpoint of ir.endpoints) {\n    const issues: VerificationIssue[] = [];\n\n    // Check confidence level\n    if (\n      endpoint.confidence.level === 'low' ||\n      endpoint.confidence.level === 'ambiguous'\n    ) {\n      issues.push({\n        code: 'LOW_CONFIDENCE',\n        message: `Endpoint has ${endpoint.confidence.level} confidence`,\n        severity: 'warning',\n        suggestion: 'Review source code and add explicit schema annotations',\n      });\n    }\n\n    // Check for missing input schema\n    if (\n      !endpoint.input &&\n      (endpoint.method === 'POST' ||\n        endpoint.method === 'PUT' ||\n        endpoint.method === 'PATCH')\n    ) {\n      issues.push({\n        code: 'MISSING_INPUT_SCHEMA',\n        message: 'Command endpoint missing input schema',\n        severity: 'warning',\n        suggestion: 'Add Zod schema or class-validator DTO',\n      });\n    }\n\n    // Check for missing output schema\n    if (!endpoint.output) {\n      issues.push({\n        code: 'MISSING_OUTPUT_SCHEMA',\n        message: 'Endpoint missing output schema',\n        severity: 'info',\n        suggestion: 'Infer from return type or add explicit schema',\n      });\n    }\n\n    // Check for duplicate paths\n    if (options.checkDuplicates) {\n      const duplicates = ir.endpoints.filter(\n        (e) =>\n          e.id !== endpoint.id &&\n          e.path === endpoint.path &&\n          e.method === endpoint.method\n      );\n      if (duplicates.length > 0) {\n        issues.push({\n          code: 'DUPLICATE_ENDPOINT',\n          message: `Duplicate ${endpoint.method} ${endpoint.path} found`,\n          severity: 'error',\n        });\n      }\n    }\n\n    // Check for path conflicts\n    if (options.checkConflicts) {\n      const conflicts = findPathConflicts(endpoint, ir.endpoints);\n      for (const conflict of conflicts) {\n        issues.push({\n          code: 'PATH_CONFLICT',\n          message: `Path may conflict with ${conflict.method} ${conflict.path}`,\n          severity: 'warning',\n        });\n      }\n    }\n\n    const status = issues.some((i) => i.severity === 'error')\n      ? 'error'\n      : issues.some((i) => i.severity === 'warning')\n        ? 'warning'\n        : 'valid';\n\n    endpointResults.push({ endpoint, status, issues });\n  }\n\n  // Validate schemas if requested\n  if (options.validateSchemas) {\n    for (const schema of ir.schemas) {\n      if (!schema.fields || schema.fields.length === 0) {\n        ambiguities.push({\n          type: 'schema',\n          itemId: schema.id,\n          description: `Schema ${schema.name} has no extracted fields`,\n          suggestion: 'Review schema definition and add explicit field types',\n          source: schema.source,\n        });\n      }\n    }\n  }\n\n  const summary = {\n    totalEndpoints: endpointResults.length,\n    validEndpoints: endpointResults.filter((r) => r.status === 'valid').length,\n    warningEndpoints: endpointResults.filter((r) => r.status === 'warning')\n      .length,\n    errorEndpoints: endpointResults.filter((r) => r.status === 'error').length,\n    totalIssues: endpointResults.reduce((sum, r) => sum + r.issues.length, 0),\n  };\n\n  logger.info(\n    `Verification complete: ${summary.validEndpoints} valid, ` +\n      `${summary.warningEndpoints} warnings, ${summary.errorEndpoints} errors`\n  );\n\n  return {\n    valid: summary.errorEndpoints === 0,\n    endpointResults,\n    ambiguities,\n    summary,\n  };\n}\n\n/**\n * Find path conflicts (e.g., /users/:id vs /users/profile).\n */\nfunction findPathConflicts(\n  endpoint: EndpointCandidate,\n  allEndpoints: EndpointCandidate[]\n): EndpointCandidate[] {\n  const conflicts: EndpointCandidate[] = [];\n\n  const endpointParts = endpoint.path.split('/').filter(Boolean);\n\n  for (const other of allEndpoints) {\n    if (other.id === endpoint.id) continue;\n    if (other.method !== endpoint.method) continue;\n\n    const otherParts = other.path.split('/').filter(Boolean);\n    if (otherParts.length !== endpointParts.length) continue;\n\n    let mightConflict = true;\n    for (let i = 0; i < endpointParts.length; i++) {\n      const a = endpointParts[i] ?? '';\n      const b = otherParts[i] ?? '';\n\n      const aIsParam = a.startsWith(':') || a.startsWith('{');\n      const bIsParam = b.startsWith(':') || b.startsWith('{');\n\n      if (!aIsParam && !bIsParam && a !== b) {\n        mightConflict = false;\n        break;\n      }\n    }\n\n    if (mightConflict && endpoint.path !== other.path) {\n      conflicts.push(other);\n    }\n  }\n\n  return conflicts;\n}\n"],"mappings":";;;;AA4EA,eAAsB,wBACpB,IACA,SACA,UACuB;CACvB,MAAM,EAAE,WAAW;CACnB,MAAM,kBAA0C,EAAE;CAClD,MAAM,cAA2B,CAAC,GAAG,GAAG,YAAY;AAEpD,QAAO,KAAK,aAAa,GAAG,UAAU,OAAO,eAAe;AAG5D,MAAK,MAAM,YAAY,GAAG,WAAW;EACnC,MAAM,SAA8B,EAAE;AAGtC,MACE,SAAS,WAAW,UAAU,SAC9B,SAAS,WAAW,UAAU,YAE9B,QAAO,KAAK;GACV,MAAM;GACN,SAAS,gBAAgB,SAAS,WAAW,MAAM;GACnD,UAAU;GACV,YAAY;GACb,CAAC;AAIJ,MACE,CAAC,SAAS,UACT,SAAS,WAAW,UACnB,SAAS,WAAW,SACpB,SAAS,WAAW,SAEtB,QAAO,KAAK;GACV,MAAM;GACN,SAAS;GACT,UAAU;GACV,YAAY;GACb,CAAC;AAIJ,MAAI,CAAC,SAAS,OACZ,QAAO,KAAK;GACV,MAAM;GACN,SAAS;GACT,UAAU;GACV,YAAY;GACb,CAAC;AAIJ,MAAI,QAAQ,iBAOV;OANmB,GAAG,UAAU,QAC7B,MACC,EAAE,OAAO,SAAS,MAClB,EAAE,SAAS,SAAS,QACpB,EAAE,WAAW,SAAS,OACzB,CACc,SAAS,EACtB,QAAO,KAAK;IACV,MAAM;IACN,SAAS,aAAa,SAAS,OAAO,GAAG,SAAS,KAAK;IACvD,UAAU;IACX,CAAC;;AAKN,MAAI,QAAQ,gBAAgB;GAC1B,MAAM,YAAY,kBAAkB,UAAU,GAAG,UAAU;AAC3D,QAAK,MAAM,YAAY,UACrB,QAAO,KAAK;IACV,MAAM;IACN,SAAS,0BAA0B,SAAS,OAAO,GAAG,SAAS;IAC/D,UAAU;IACX,CAAC;;EAIN,MAAM,SAAS,OAAO,MAAM,MAAM,EAAE,aAAa,QAAQ,GACrD,UACA,OAAO,MAAM,MAAM,EAAE,aAAa,UAAU,GAC1C,YACA;AAEN,kBAAgB,KAAK;GAAE;GAAU;GAAQ;GAAQ,CAAC;;AAIpD,KAAI,QAAQ,iBACV;OAAK,MAAM,UAAU,GAAG,QACtB,KAAI,CAAC,OAAO,UAAU,OAAO,OAAO,WAAW,EAC7C,aAAY,KAAK;GACf,MAAM;GACN,QAAQ,OAAO;GACf,aAAa,UAAU,OAAO,KAAK;GACnC,YAAY;GACZ,QAAQ,OAAO;GAChB,CAAC;;CAKR,MAAM,UAAU;EACd,gBAAgB,gBAAgB;EAChC,gBAAgB,gBAAgB,QAAQ,MAAM,EAAE,WAAW,QAAQ,CAAC;EACpE,kBAAkB,gBAAgB,QAAQ,MAAM,EAAE,WAAW,UAAU,CACpE;EACH,gBAAgB,gBAAgB,QAAQ,MAAM,EAAE,WAAW,QAAQ,CAAC;EACpE,aAAa,gBAAgB,QAAQ,KAAK,MAAM,MAAM,EAAE,OAAO,QAAQ,EAAE;EAC1E;AAED,QAAO,KACL,0BAA0B,QAAQ,eAAe,UAC5C,QAAQ,iBAAiB,aAAa,QAAQ,eAAe,SACnE;AAED,QAAO;EACL,OAAO,QAAQ,mBAAmB;EAClC;EACA;EACA;EACD;;;;;AAMH,SAAS,kBACP,UACA,cACqB;CACrB,MAAM,YAAiC,EAAE;CAEzC,MAAM,gBAAgB,SAAS,KAAK,MAAM,IAAI,CAAC,OAAO,QAAQ;AAE9D,MAAK,MAAM,SAAS,cAAc;AAChC,MAAI,MAAM,OAAO,SAAS,GAAI;AAC9B,MAAI,MAAM,WAAW,SAAS,OAAQ;EAEtC,MAAM,aAAa,MAAM,KAAK,MAAM,IAAI,CAAC,OAAO,QAAQ;AACxD,MAAI,WAAW,WAAW,cAAc,OAAQ;EAEhD,IAAI,gBAAgB;AACpB,OAAK,IAAI,IAAI,GAAG,IAAI,cAAc,QAAQ,KAAK;GAC7C,MAAM,IAAI,cAAc,MAAM;GAC9B,MAAM,IAAI,WAAW,MAAM;GAE3B,MAAM,WAAW,EAAE,WAAW,IAAI,IAAI,EAAE,WAAW,IAAI;GACvD,MAAM,WAAW,EAAE,WAAW,IAAI,IAAI,EAAE,WAAW,IAAI;AAEvD,OAAI,CAAC,YAAY,CAAC,YAAY,MAAM,GAAG;AACrC,oBAAgB;AAChB;;;AAIJ,MAAI,iBAAiB,SAAS,SAAS,MAAM,KAC3C,WAAU,KAAK,MAAM;;AAIzB,QAAO"}

package/dist/services/index.d.mts

@@ -100,4 +100,8 @@ import { ViewAudience, generateView } from "./view/index.mjs";
 import { GapAnalysisResult, analyzeGap } from "./gap.mjs";
 import { GenerateArtifactsResult, generateArtifacts } from "./generate-artifacts.mjs";
 import { ExtractOptions, extractContracts } from "./extract.mjs";
-import { index_d_exports as index_d_exports$6 } from "./vibe/index.mjs";
+import { index_d_exports as index_d_exports$6 } from "./vibe/index.mjs";
+import { ImportServiceAdapters, ImportServiceOptions, ImportServiceResult, importFromSourceService } from "./import/import-service.mjs";
+import { EndpointVerification, VerificationIssue as VerificationIssue$1, VerifyOptions as VerifyOptions$1, VerifyResult as VerifyResult$1, verifyImportedContracts } from "./import/verify-service.mjs";
+import { ReportOptions, generateCliReport, generateMarkdownReport } from "./import/report-service.mjs";
+import "./import/index.mjs";

package/dist/services/index.mjs

@@ -96,5 +96,9 @@ 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/sync.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"sync.d.mts","names":[],"sources":["../../src/services/sync.ts"],"sourcesContent":[],"mappings":";;;;;;;;;AAqCY,UAxBK,gBAAA,CA2BZ;EAEO,OAAA,CAAA,EAAA,MAAA;EAEU,UAAA,CAAA,EAAS,CAAA,MAAA,GAAA,SAAA,CAAA,EAAA;EACb,QAAA,CAAA,EAAA,OAAA;EAAmB,YAAA,CAAA,EA5BpB,IA4BoB,CA5Bf,gBA4Be,EAAA,WAAA,CAAA;EAC3B,MAAA,CAAA,EAAA,OAAA;;AAGE,UA5BK,kBAAA,CA4BL;EACG,QAAA,EAAA,MAAA;EAEJ,SAAA,CAAA,EAAA,MAAA;EAAR,UAAA,CAAA,EA5BY,kBA4BZ;EAAO,KAAA,CAAA,EAAA,OAAA;;;;;;UApBO,eAAA;;QAET;;KAGI,sEAGP,QAAQ;KAED,cAAA,yBAAuC,QAAQ;iBAErC,SAAA;MACJ;UAAmB;WAC3B,2BACC;UAEC;aACG;IAEZ,QAAQ"}
+{"version":3,"file":"sync.d.mts","names":[],"sources":["../../src/services/sync.ts"],"sourcesContent":[],"mappings":";;;;;;;;;AAqCY,UAxBK,gBAAA,CA2BJ;EAED,OAAA,CAAA,EAAA,MAAA;EAEU,UAAA,CAAA,EAAS,CAAA,MAAA,GAAA,SAAA,CAAA,EAAA;EACb,QAAA,CAAA,EAAA,OAAA;EAAmB,YAAA,CAAA,EA5BpB,IA4BoB,CA5Bf,gBA4Be,EAAA,WAAA,CAAA;EAC3B,MAAA,CAAA,EAAA,OAAA;;AAGE,UA5BK,kBAAA,CA4BL;EACG,QAAA,EAAA,MAAA;EAEJ,SAAA,CAAA,EAAA,MAAA;EAAR,UAAA,CAAA,EA5BY,kBA4BZ;EAAO,KAAA,CAAA,EAAA,OAAA;;;;;;UApBO,eAAA;;QAET;;KAGI,sEAGP,QAAQ;KAED,cAAA,yBAAuC,QAAQ;iBAErC,SAAA;MACJ;UAAmB;WAC3B,2BACC;UAEC;aACG;IAEZ,QAAQ"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@contractspec/bundle.workspace",
-  "version": "0.0.0-canary-20260114030712",
+  "version": "0.0.0-canary-20260119222405",
   "description": "Workspace utilities for monorepo development",
   "keywords": [
     "contractspec",
@@ -31,11 +31,12 @@
   "dependencies": {
     "@ai-sdk/anthropic": "3.0.11",
     "@ai-sdk/openai": "3.0.8",
-    "@contractspec/lib.ai-agent": "0.0.0-canary-20260114030712",
-    "@contractspec/lib.ai-providers": "0.0.0-canary-20260114030712",
-    "@contractspec/lib.contracts": "0.0.0-canary-20260114030712",
-    "@contractspec/lib.contracts-transformers": "0.0.0-canary-20260114030712",
-    "@contractspec/module.workspace": "0.0.0-canary-20260114030712",
+    "@contractspec/lib.ai-agent": "0.0.0-canary-20260119222405",
+    "@contractspec/lib.ai-providers": "1.48.0",
+    "@contractspec/lib.contracts": "0.0.0-canary-20260119222405",
+    "@contractspec/lib.contracts-transformers": "0.0.0-canary-20260119222405",
+    "@contractspec/lib.source-extractors": "0.0.0-canary-20260119222405",
+    "@contractspec/module.workspace": "0.0.0-canary-20260119222405",
     "ai": "6.0.29",
     "chalk": "^5.6.2",
     "chokidar": "^5.0.0",
@@ -47,8 +48,8 @@
     "zod": "^4.3.5"
   },
   "devDependencies": {
-    "@contractspec/tool.tsdown": "0.0.0-canary-20260114030712",
-    "@contractspec/tool.typescript": "0.0.0-canary-20260114030712",
+    "@contractspec/tool.tsdown": "1.48.0",
+    "@contractspec/tool.typescript": "1.48.0",
     "@types/micromatch": "^4.0.10",
     "@types/node": "^25.0.6",
     "tsdown": "^0.19.0",