@contractspec/bundle.workspace 1.57.0 → 1.58.0

package/dist/services/impact/formatters.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Impact result formatters.
+ *
+ * Formats impact detection results for various outputs:
+ * - PR comments (markdown)
+ * - GitHub check runs
+ * - JSON output
+ */
+import type { ImpactResult } from '@contractspec/module.workspace';
+import type { CheckRunPayload, PrCommentOptions } from './types';
+/**
+ * Format impact result as a PR comment (markdown).
+ */
+export declare function formatPrComment(result: ImpactResult, options?: PrCommentOptions): string;
+/**
+ * Format impact result for minimal PR comment.
+ */
+export declare function formatMinimalComment(result: ImpactResult): string;
+/**
+ * Format impact result as GitHub check run payload.
+ */
+export declare function formatCheckRun(result: ImpactResult, headSha: string, options?: {
+    key?: string;
+    failOnBreaking?: boolean;
+}): CheckRunPayload;
+/**
+ * Impact JSON output structure (v1.0).
+ */
+export interface ImpactJsonOutput {
+    schemaVersion: string;
+    breaking: boolean;
+    changes: {
+        type: string;
+        path: string;
+        summary: string;
+        severity: 'low' | 'medium' | 'high' | 'breaking';
+    }[];
+    summary: {
+        breaking: number;
+        nonBreaking: number;
+        total: number;
+    };
+}
+/**
+ * Format impact result as JSON (v1.0).
+ */
+export declare function formatJson(result: ImpactResult): string;
+//# sourceMappingURL=formatters.d.ts.map

package/dist/services/impact/formatters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatters.d.ts","sourceRoot":"","sources":["../../../src/services/impact/formatters.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAEjE;;GAEG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,YAAY,EACpB,OAAO,GAAE,gBAA2C,GACnD,MAAM,CAwHR;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAQjE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,MAAM,EACf,OAAO,GAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,OAAO,CAAA;CAAO,GACvD,eAAe,CAsCjB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE;QACP,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAAC;KAClD,EAAE,CAAC;IACJ,OAAO,EAAE;QACP,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAsBvD"}

package/dist/services/impact/impact-detection-service.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Impact detection service.
+ *
+ * Orchestrates contract snapshot generation, diff computation,
+ * and impact classification for CI/CD pipelines.
+ */
+import type { FsAdapter } from '../../ports/fs';
+import type { GitAdapter } from '../../ports/git';
+import type { LoggerAdapter } from '../../ports/logger';
+import type { ImpactDetectionOptions, ImpactDetectionResult } from './types';
+/**
+ * Detect the impact of contract changes between baseline and current state.
+ *
+ * @param adapters - Required adapters (fs, git, logger)
+ * @param options - Detection options
+ * @returns Impact detection result
+ */
+export declare function detectImpact(adapters: {
+    fs: FsAdapter;
+    git: GitAdapter;
+    logger: LoggerAdapter;
+}, options?: ImpactDetectionOptions): Promise<ImpactDetectionResult>;
+//# sourceMappingURL=impact-detection-service.d.ts.map

package/dist/services/impact/impact-detection-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact-detection-service.d.ts","sourceRoot":"","sources":["../../../src/services/impact/impact-detection-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAE7E;;;;;;GAMG;AACH,wBAAsB,YAAY,CAChC,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,GAAG,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,EACnE,OAAO,GAAE,sBAA2B,GACnC,OAAO,CAAC,qBAAqB,CAAC,CA+DhC"}

package/dist/services/impact/impact.docblock.d.ts

@@ -0,0 +1,10 @@
+/**
+ * DocBlock for Contract Impact Detection feature.
+ *
+ * Colocated documentation following the DocBlock pattern.
+ */
+import { type DocBlock } from '@contractspec/lib.contracts';
+export declare const ImpactDetectionOverviewDoc: DocBlock;
+export declare const ImpactDetectionRulesDoc: DocBlock;
+export declare const ImpactDetectionUsageDoc: DocBlock;
+//# sourceMappingURL=impact.docblock.d.ts.map

package/dist/services/impact/impact.docblock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.docblock.d.ts","sourceRoot":"","sources":["../../../src/services/impact/impact.docblock.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,KAAK,QAAQ,EAAqB,MAAM,6BAA6B,CAAC;AAE/E,eAAO,MAAM,0BAA0B,EAAE,QAsDxC,CAAC;AAEF,eAAO,MAAM,uBAAuB,EAAE,QAyCrC,CAAC;AAEF,eAAO,MAAM,uBAAuB,EAAE,QA6DrC,CAAC"}

package/dist/services/impact/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Impact detection service module.
+ */
+export * from './types';
+export { detectImpact } from './impact-detection-service';
+export { formatPrComment, formatMinimalComment, formatCheckRun, formatJson, } from './formatters';
+//# sourceMappingURL=index.d.ts.map

package/dist/services/impact/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/impact/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,SAAS,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,UAAU,GACX,MAAM,cAAc,CAAC"}

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

@@ -0,0 +1,62 @@
+/**
+ * Impact detection service types.
+ */
+import type { ImpactResult } from '@contractspec/module.workspace';
+export type { ImpactResult };
+/** Options for impact detection */
+export interface ImpactDetectionOptions {
+    /** Git ref to compare against (branch, tag, commit) */
+    baseline?: string;
+    /** Glob pattern for spec discovery */
+    pattern?: string;
+    /** Workspace root directory */
+    workspaceRoot?: string;
+}
+/** Impact detection result with additional context */
+export interface ImpactDetectionResult extends ImpactResult {
+    /** Working directory */
+    workspaceRoot: string;
+    /** Number of specs analyzed */
+    specsAnalyzed: number;
+}
+/** PR comment options */
+export interface PrCommentOptions {
+    /** Template style */
+    template: 'minimal' | 'detailed';
+    /** Include links to files */
+    includeLinks?: boolean;
+    /** Repository URL for links */
+    repositoryUrl?: string;
+    /** Commit SHA for links */
+    commitSha?: string;
+    /** Drift detection result */
+    drift?: {
+        hasDrift: boolean;
+        files: string[];
+    };
+}
+/** GitHub check run payload */
+export interface CheckRunPayload {
+    /** Check run name */
+    name: string;
+    /** Head SHA */
+    headSha: string;
+    /** Conclusion */
+    conclusion: 'success' | 'failure' | 'neutral';
+    /** Output title */
+    title: string;
+    /** Output summary */
+    summary: string;
+    /** Annotations */
+    annotations?: CheckRunAnnotation[];
+}
+/** Check run annotation */
+export interface CheckRunAnnotation {
+    path: string;
+    startLine: number;
+    endLine: number;
+    annotationLevel: 'notice' | 'warning' | 'failure';
+    message: string;
+    title?: string;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/impact/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAGnE,YAAY,EAAE,YAAY,EAAE,CAAC;AAE7B,mCAAmC;AACnC,MAAM,WAAW,sBAAsB;IACrC,uDAAuD;IACvD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sCAAsC;IACtC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+BAA+B;IAC/B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,sDAAsD;AACtD,MAAM,WAAW,qBAAsB,SAAQ,YAAY;IACzD,wBAAwB;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,yBAAyB;AACzB,MAAM,WAAW,gBAAgB;IAC/B,qBAAqB;IACrB,QAAQ,EAAE,SAAS,GAAG,UAAU,CAAC;IACjC,6BAA6B;IAC7B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,+BAA+B;IAC/B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6BAA6B;IAC7B,KAAK,CAAC,EAAE;QACN,QAAQ,EAAE,OAAO,CAAC;QAClB,KAAK,EAAE,MAAM,EAAE,CAAC;KACjB,CAAC;CACH;AAED,+BAA+B;AAC/B,MAAM,WAAW,eAAe;IAC9B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB;IACjB,UAAU,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;IAC9C,mBAAmB;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,qBAAqB;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB;IAClB,WAAW,CAAC,EAAE,kBAAkB,EAAE,CAAC;CACpC;AAED,2BAA2B;AAC3B,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;IAClD,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB"}

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

@@ -0,0 +1,31 @@
+/**
+ * Implementation auto-discovery service.
+ *
+ * Scans workspace files to find implementations that reference specs.
+ * Uses regex-based pattern matching for performance (avoids full AST parsing).
+ */
+import type { FsAdapter } from '../../ports/fs';
+import type { ImplementationType } from '@contractspec/lib.contracts';
+import type { DiscoveryOptions, SpecReferenceMatch } from './types';
+/**
+ * Infer implementation type from file path.
+ */
+export declare function inferImplementationType(filePath: string): ImplementationType;
+/**
+ * Extract spec references from source code.
+ */
+export declare function extractSpecReferences(code: string, filePath: string): SpecReferenceMatch[];
+/**
+ * Discover implementations that reference a specific spec.
+ */
+export declare function discoverImplementationsForSpec(specKey: string, adapters: {
+    fs: FsAdapter;
+}, options?: DiscoveryOptions): Promise<SpecReferenceMatch[]>;
+/**
+ * Discover all spec references in the workspace.
+ * Returns a map of spec key to implementation references.
+ */
+export declare function discoverAllImplementations(adapters: {
+    fs: FsAdapter;
+}, options?: DiscoveryOptions): Promise<Map<string, SpecReferenceMatch[]>>;
+//# sourceMappingURL=discovery.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../../src/services/implementation/discovery.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAwCpE;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB,CAmB5E;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,GACf,kBAAkB,EAAE,CA8EtB;AAOD;;GAEG;AACH,wBAAsB,8BAA8B,CAClD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAA;CAAE,EAC3B,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC,kBAAkB,EAAE,CAAC,CA8B/B;AAED;;;GAGG;AACH,wBAAsB,0BAA0B,CAC9C,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAA;CAAE,EAC3B,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC,CA+B5C"}

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

@@ -0,0 +1,7 @@
+/**
+ * Implementation tracking and discovery services.
+ */
+export * from './types';
+export * from './discovery';
+export * from './resolver';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/implementation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,SAAS,CAAC;AACxB,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC"}

package/dist/services/implementation/resolver/conventions.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Convention-based implementation path resolution.
+ */
+import type { ImplementationType } from '@contractspec/lib.contracts';
+/**
+ * Convert string to kebab-case.
+ */
+export declare function toKebabCase(value: string): string;
+/**
+ * Get convention-based implementation paths for a spec.
+ */
+export declare function getConventionPaths(specType: string, specKey: string, outputDir: string): {
+    path: string;
+    type: ImplementationType;
+}[];
+//# sourceMappingURL=conventions.d.ts.map

package/dist/services/implementation/resolver/conventions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conventions.d.ts","sourceRoot":"","sources":["../../../../src/services/implementation/resolver/conventions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAEtE;;GAEG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAKjD;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,kBAAkB,CAAA;CAAE,EAAE,CAiD9C"}

package/dist/services/implementation/resolver/conventions.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=conventions.test.d.ts.map

package/dist/services/implementation/resolver/conventions.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conventions.test.d.ts","sourceRoot":"","sources":["../../../../src/services/implementation/resolver/conventions.test.ts"],"names":[],"mappings":""}

package/dist/services/implementation/resolver/index.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Implementation resolver service.
+ *
+ * Resolves all implementations for a spec by merging:
+ * 1. Explicit mappings from spec.implementations
+ * 2. Auto-discovered references from workspace scanning
+ * 3. Convention-based paths (naming conventions)
+ */
+import type { SpecScanResult } from '@contractspec/module.workspace';
+import type { ResolvedContractsrcConfig } from '@contractspec/lib.contracts';
+import type { FsAdapter } from '../../../ports/fs';
+import type { ResolverOptions, SpecImplementationResult } from '../types';
+import type { Ora } from 'ora';
+export * from './parsers';
+export * from './conventions';
+export * from './status';
+/**
+ * Resolve all implementations for a spec file.
+ */
+export declare function resolveImplementations(specFile: SpecScanResult, adapters: {
+    fs: FsAdapter;
+}, config: ResolvedContractsrcConfig, options?: ResolverOptions, spinner?: Ora): Promise<SpecImplementationResult>;
+/**
+ * Resolve implementations for multiple spec files.
+ */
+export declare function resolveAllImplementations(specFiles: SpecScanResult[], adapters: {
+    fs: FsAdapter;
+}, config: ResolvedContractsrcConfig, options?: ResolverOptions, spinner?: Ora): Promise<SpecImplementationResult[]>;
+//# sourceMappingURL=index.d.ts.map

package/dist/services/implementation/resolver/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/services/implementation/resolver/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,EAEV,yBAAyB,EAC1B,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAEV,eAAe,EACf,wBAAwB,EACzB,MAAM,UAAU,CAAC;AAOlB,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE/B,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AAgBzB;;GAEG;AACH,wBAAsB,sBAAsB,CAC1C,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAA;CAAE,EAC3B,MAAM,EAAE,yBAAyB,EACjC,OAAO,GAAE,eAAoB,EAC7B,OAAO,CAAC,EAAE,GAAG,GACZ,OAAO,CAAC,wBAAwB,CAAC,CA4GnC;AAED;;GAEG;AACH,wBAAsB,yBAAyB,CAC7C,SAAS,EAAE,cAAc,EAAE,EAC3B,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAA;CAAE,EAC3B,MAAM,EAAE,yBAAyB,EACjC,OAAO,GAAE,eAAoB,EAC7B,OAAO,CAAC,EAAE,GAAG,GACZ,OAAO,CAAC,wBAAwB,EAAE,CAAC,CA0BrC"}

package/dist/services/implementation/resolver/parsers.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Parser utilities for extracting implementation references from source code.
+ */
+import type { ImplementationRef } from '@contractspec/lib.contracts';
+/**
+ * Parse explicit implementations from spec source code using ts-morph.
+ * Looks for: implementations: [{ path: '...', type: '...' }] inside the main spec object.
+ */
+export declare function parseExplicitImplementations(code: string): ImplementationRef[];
+//# sourceMappingURL=parsers.d.ts.map

package/dist/services/implementation/resolver/parsers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parsers.d.ts","sourceRoot":"","sources":["../../../../src/services/implementation/resolver/parsers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,iBAAiB,EAElB,MAAM,6BAA6B,CAAC;AAGrC;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,GACX,iBAAiB,EAAE,CAgHrB"}

package/dist/services/implementation/resolver/parsers.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=parsers.test.d.ts.map

package/dist/services/implementation/resolver/parsers.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parsers.test.d.ts","sourceRoot":"","sources":["../../../../src/services/implementation/resolver/parsers.test.ts"],"names":[],"mappings":""}

package/dist/services/implementation/resolver/status.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Logic for determining implementation status.
+ */
+import type { ImplementationStatus, ResolvedImplementation, SpecImplementationResult } from '../types';
+/**
+ * Determine overall implementation status.
+ */
+export declare function determineStatus(implementations: ResolvedImplementation[]): ImplementationStatus;
+/**
+ * Get implementation summary statistics.
+ */
+export declare function getImplementationSummary(results: SpecImplementationResult[]): {
+    total: number;
+    implemented: number;
+    partial: number;
+    missing: number;
+    coverage: number;
+};
+//# sourceMappingURL=status.d.ts.map

package/dist/services/implementation/resolver/status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../../../src/services/implementation/resolver/status.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACtB,wBAAwB,EACzB,MAAM,UAAU,CAAC;AAElB;;GAEG;AACH,wBAAgB,eAAe,CAC7B,eAAe,EAAE,sBAAsB,EAAE,GACxC,oBAAoB,CAqBtB;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,wBAAwB,EAAE,GAAG;IAC7E,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAeA"}

package/dist/services/implementation/resolver/status.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=status.test.d.ts.map

package/dist/services/implementation/resolver/status.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.test.d.ts","sourceRoot":"","sources":["../../../../src/services/implementation/resolver/status.test.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,89 @@
+/**
+ * Types for implementation tracking and verification.
+ */
+import type { ImplementationType } from '@contractspec/lib.contracts';
+/**
+ * Source of how an implementation was discovered/linked.
+ */
+export type ImplementationSource = 'explicit' | 'discovered' | 'convention';
+/**
+ * Status of a spec's implementation coverage.
+ */
+export type ImplementationStatus = 'implemented' | 'partial' | 'missing';
+/**
+ * A resolved implementation file for a spec.
+ */
+export 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 */
+    implementationSourceContent?: string;
+    /** Content hash for cache invalidation (SHA256) */
+    implementationSourceHash?: string;
+    /** Optional description */
+    description?: string;
+}
+/**
+ * Full resolution result for a spec's implementations.
+ */
+export interface SpecImplementationResult {
+    /** Spec key */
+    specKey: string;
+    /** Spec version */
+    specVersion: string;
+    /** 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.
+ */
+export 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;
+}
+/**
+ * Options for resolving implementations.
+ */
+export interface ResolverOptions {
+    includeExplicit?: boolean;
+    includeDiscovered?: boolean;
+    includeConvention?: boolean;
+    computeHashes?: boolean;
+    outputDir?: string;
+}
+/**
+ * Result of scanning for spec references in a file.
+ */
+export 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;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/implementation/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAEtE;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,UAAU,GAAG,YAAY,GAAG,YAAY,CAAC;AAE5E;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,aAAa,GAAG,SAAS,GAAG,SAAS,CAAC;AAEzE;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,mEAAmE;IACnE,IAAI,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,IAAI,EAAE,kBAAkB,CAAC;IACzB,wCAAwC;IACxC,MAAM,EAAE,oBAAoB,CAAC;IAC7B,sCAAsC;IACtC,MAAM,EAAE,OAAO,CAAC;IAChB,cAAc;IACd,2BAA2B,CAAC,EAAE,MAAM,CAAC;IACrC,mDAAmD;IACnD,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,2BAA2B;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,mBAAmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,QAAQ,EAAE,MAAM,CAAC;IACjB,mCAAmC;IACnC,eAAe,EAAE,sBAAsB,EAAE,CAAC;IAC1C,oCAAoC;IACpC,MAAM,EAAE,oBAAoB,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,+BAA+B;IAC/B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,8BAA8B;IAC9B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,+BAA+B;IAC/B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,wCAAwC;IACxC,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,gDAAgD;IAChD,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,kDAAkD;IAClD,aAAa,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3D,4CAA4C;IAC5C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,YAAY,EAAE,kBAAkB,CAAC;CAClC"}

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

@@ -0,0 +1,47 @@
+/**
+ * Import service for source-extractors.
+ *
+ * Integrates source extraction into the workspace bundle.
+ */
+import type { FsAdapter } from '../../ports/fs';
+import type { LoggerAdapter } from '../../ports/logger';
+import type { ResolvedContractsrcConfig } from '@contractspec/lib.contracts';
+import { type ImportIR } from '@contractspec/lib.source-extractors';
+import { type GenerationResult } from '@contractspec/lib.source-extractors/codegen';
+/**
+ * Options for the import service.
+ */
+export 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.
+ */
+export interface ImportServiceResult {
+    success: boolean;
+    ir?: ImportIR;
+    generation?: GenerationResult;
+    report: string;
+    errors?: string[];
+}
+/**
+ * Adapters needed by the import service.
+ */
+export interface ImportServiceAdapters {
+    fs: FsAdapter;
+    logger: LoggerAdapter;
+}
+/**
+ * Import contracts from source code.
+ */
+export declare function importFromSourceService(config: ResolvedContractsrcConfig, options: ImportServiceOptions, adapters: ImportServiceAdapters, cwd?: string): Promise<ImportServiceResult>;
+//# sourceMappingURL=import-service.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"import-service.d.ts","sourceRoot":"","sources":["../../../src/services/import/import-service.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAC7E,OAAO,EAIL,KAAK,QAAQ,EACd,MAAM,qCAAqC,CAAC;AAK7C,OAAO,EAKL,KAAK,gBAAgB,EACtB,MAAM,6CAA6C,CAAC;AAGrD;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,yCAAyC;IACzC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,+BAA+B;IAC/B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uCAAuC;IACvC,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,yDAAyD;IACzD,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,+CAA+C;IAC/C,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,EAAE,CAAC,EAAE,QAAQ,CAAC;IACd,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,SAAS,CAAC;IACd,MAAM,EAAE,aAAa,CAAC;CACvB;AAED;;GAEG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,yBAAyB,EACjC,OAAO,EAAE,oBAAoB,EAC7B,QAAQ,EAAE,qBAAqB,EAC/B,GAAG,CAAC,EAAE,MAAM,GACX,OAAO,CAAC,mBAAmB,CAAC,CAwH9B"}

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

@@ -0,0 +1,9 @@
+/**
+ * Import service module.
+ *
+ * Exports the import service for extracting contracts from source code.
+ */
+export { importFromSourceService, type ImportServiceOptions, type ImportServiceResult, type ImportServiceAdapters, } from './import-service';
+export { verifyImportedContracts, type VerifyOptions as ImportVerifyOptions, type VerifyResult as ImportVerifyResult, type EndpointVerification, type VerificationIssue as ImportVerificationIssue, } from './verify-service';
+export { generateMarkdownReport, generateCliReport, type ReportOptions, } from './report-service';
+//# sourceMappingURL=index.d.ts.map

package/dist/services/import/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/import/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,uBAAuB,EACvB,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,GAC3B,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,uBAAuB,EACvB,KAAK,aAAa,IAAI,mBAAmB,EACzC,KAAK,YAAY,IAAI,kBAAkB,EACvC,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,IAAI,uBAAuB,GAClD,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,KAAK,aAAa,GACnB,MAAM,kBAAkB,CAAC"}

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

@@ -0,0 +1,31 @@
+/**
+ * Report service for imported contracts.
+ *
+ * Generates markdown and CLI reports from IR and verification results.
+ */
+import type { ImportIR } from '@contractspec/lib.source-extractors';
+import type { VerifyResult } from './verify-service';
+/**
+ * Options for report generation.
+ */
+export 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.
+ */
+export declare function generateMarkdownReport(ir: ImportIR, verification?: VerifyResult, options?: ReportOptions): string;
+/**
+ * Generate CLI-friendly report output.
+ */
+export declare function generateCliReport(ir: ImportIR, verification?: VerifyResult): string;
+//# sourceMappingURL=report-service.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"report-service.d.ts","sourceRoot":"","sources":["../../../src/services/import/report-service.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,6BAA6B;IAC7B,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,kCAAkC;IAClC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,0BAA0B;IAC1B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,yBAAyB;IACzB,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,QAAQ,EACZ,YAAY,CAAC,EAAE,YAAY,EAC3B,OAAO,GAAE,aAAkB,GAC1B,MAAM,CA+HR;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,EACZ,YAAY,CAAC,EAAE,YAAY,GAC1B,MAAM,CAmCR"}

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

@@ -0,0 +1,67 @@
+/**
+ * Verify service for imported contracts.
+ *
+ * Validates extracted contracts against existing codebase and specs.
+ */
+import type { ImportIR, EndpointCandidate, Ambiguity } from '@contractspec/lib.source-extractors';
+import type { FsAdapter } from '../../ports/fs';
+import type { LoggerAdapter } from '../../ports/logger';
+/**
+ * Verification result for a single endpoint.
+ */
+export interface EndpointVerification {
+    endpoint: EndpointCandidate;
+    status: 'valid' | 'warning' | 'error';
+    issues: VerificationIssue[];
+}
+/**
+ * A single verification issue.
+ */
+export interface VerificationIssue {
+    code: string;
+    message: string;
+    severity: 'error' | 'warning' | 'info';
+    suggestion?: string;
+}
+/**
+ * Options for verification.
+ */
+export 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.
+ */
+export interface VerifyResult {
+    valid: boolean;
+    endpointResults: EndpointVerification[];
+    ambiguities: Ambiguity[];
+    summary: {
+        totalEndpoints: number;
+        validEndpoints: number;
+        warningEndpoints: number;
+        errorEndpoints: number;
+        totalIssues: number;
+    };
+}
+/**
+ * Adapters for verification service.
+ */
+export interface VerifyServiceAdapters {
+    fs: FsAdapter;
+    logger: LoggerAdapter;
+}
+/**
+ * Verify extracted contracts from IR.
+ */
+export declare function verifyImportedContracts(ir: ImportIR, options: VerifyOptions, adapters: VerifyServiceAdapters): Promise<VerifyResult>;
+//# sourceMappingURL=verify-service.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify-service.d.ts","sourceRoot":"","sources":["../../../src/services/import/verify-service.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,iBAAiB,EACjB,SAAS,EACV,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,MAAM,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC;IACtC,MAAM,EAAE,iBAAiB,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,kCAAkC;IAClC,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,mCAAmC;IACnC,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,qCAAqC;IACrC,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,6BAA6B;IAC7B,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,OAAO,CAAC;IACf,eAAe,EAAE,oBAAoB,EAAE,CAAC;IACxC,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,OAAO,EAAE;QACP,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,MAAM,CAAC;QACvB,gBAAgB,EAAE,MAAM,CAAC;QACzB,cAAc,EAAE,MAAM,CAAC;QACvB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,SAAS,CAAC;IACd,MAAM,EAAE,aAAa,CAAC;CACvB;AAED;;GAEG;AACH,wBAAsB,uBAAuB,CAC3C,EAAE,EAAE,QAAQ,EACZ,OAAO,EAAE,aAAa,EACtB,QAAQ,EAAE,qBAAqB,GAC9B,OAAO,CAAC,YAAY,CAAC,CA0HvB"}