@contractspec/bundle.workspace 1.57.0 → 1.58.0

package/dist/services/index.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Workspace services (use-cases).
+ */
+export * from './validate/index';
+export * as features from './features';
+export * from './diff';
+export * from './deps';
+export * from './list';
+export * from './config';
+export * from './build';
+export * from './openapi/index';
+export * from './registry';
+export * from './sync';
+export * from './watch';
+export * from './clean';
+export * from './test';
+export * from './regenerator';
+export * from './workspace-info';
+export * from './integrity';
+export * from './integrity-diagram';
+export * from './layer-discovery';
+export * from './setup/index';
+export * from './doctor/index';
+export * from './action-pr';
+export * from './ci-check/index';
+export * from './agent-guide/index';
+export * from './llm/index';
+export * from './create/index';
+export * from './verify/index';
+export * from './implementation/index';
+export * from './verification-cache/index';
+export * from './quickstart/index';
+export * from './docs/index';
+export * as impact from './impact/index';
+export * from './formatter';
+export * from './action-drift/index';
+export * as versioning from './versioning/index';
+export type { SpecVersionAnalysis } from './versioning/types';
+export * as upgrade from './upgrade/index';
+export * as hooks from './hooks/index';
+export * from './rulesync';
+export * as fix from './fix';
+export * from './view/index';
+export * from './gap';
+export * from './generate-artifacts';
+export * from './extract';
+export * as vibe from './vibe/index';
+export * from './import/index';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/services/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,kBAAkB,CAAC;AACjC,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,cAAc,QAAQ,CAAC;AACvB,cAAc,QAAQ,CAAC;AACvB,cAAc,QAAQ,CAAC;AACvB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,QAAQ,CAAC;AACvB,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,QAAQ,CAAC;AACvB,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,aAAa,CAAC;AAC5B,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,wBAAwB,CAAC;AACvC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,oBAAoB,CAAC;AACnC,cAAc,cAAc,CAAC;AAC7B,OAAO,KAAK,MAAM,MAAM,gBAAgB,CAAC;AACzC,cAAc,aAAa,CAAC;AAC5B,cAAc,sBAAsB,CAAC;AACrC,OAAO,KAAK,UAAU,MAAM,oBAAoB,CAAC;AACjD,YAAY,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAC;AAC3C,OAAO,KAAK,KAAK,MAAM,eAAe,CAAC;AACvC,cAAc,YAAY,CAAC;AAC3B,OAAO,KAAK,GAAG,MAAM,OAAO,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,cAAc,OAAO,CAAC;AACtB,cAAc,sBAAsB,CAAC;AACrC,cAAc,WAAW,CAAC;AAC1B,OAAO,KAAK,IAAI,MAAM,cAAc,CAAC;AACrC,cAAc,gBAAgB,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"integrity-diagram.d.ts","sourceRoot":"","sources":["../../src/services/integrity-diagram.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,uBAAuB,EAAiB,MAAM,aAAa,CAAC;AAG1E;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,cAAc,GAAG,MAAM,CAAC;AAE9E;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B;;OAEG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAEvB;;OAEG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB;;OAEG;IACH,SAAS,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;CACvC;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,uBAAuB,EAC/B,IAAI,GAAE,WAA2B,EACjC,OAAO,GAAE,cAAmB,GAC3B,MAAM,CAaR"}

package/dist/services/integrity.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"integrity.d.ts","sourceRoot":"","sources":["../../src/services/integrity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EAEtB,KAAK,OAAO,EAGb,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAEL,KAAK,mBAAmB,EAEzB,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC;;OAEG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;OAEG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;IAEb;;OAEG;IACH,GAAG,CAAC,EAAE,OAAO,CAAC;IAEd;;OAEG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB;;OAEG;IACH,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAE5B;;OAEG;IACH,eAAe,CAAC,EAAE,gBAAgB,EAAE,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uEAAuE;IACvE,UAAU,CAAC,EAAE,mBAAmB,CAAC;IACjC,6DAA6D;IAC7D,YAAY,CAAC,EAAE;QAAE,UAAU,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;CAC3D;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAClC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACzC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACrC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACrC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACjC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACtC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACvC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACrC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACrC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACtC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACpC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,IAAI,EACA,UAAU,GACV,gBAAgB,GAChB,iBAAiB,GACjB,aAAa,GACb,cAAc,GACd,uBAAuB,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC;;OAEG;IACH,SAAS,EAAE,aAAa,CAAC;IAEzB;;OAEG;IACH,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAE9B;;OAEG;IACH,QAAQ,EAAE;QACR,KAAK,EAAE,MAAM,CAAC;QACd,eAAe,EAAE,MAAM,CAAC;QACxB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;KACxC,CAAC;IAEF;;OAEG;IACH,MAAM,EAAE,cAAc,EAAE,CAAC;IAEzB;;OAEG;IACH,aAAa,EAAE,YAAY,EAAE,CAAC;IAE9B;;OAEG;IACH,OAAO,EAAE,OAAO,CAAC;CAClB;AA4DD;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,EAClD,OAAO,GAAE,wBAA6B,GACrC,OAAO,CAAC,uBAAuB,CAAC,CA4XlC;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,aAAa,GAAG,YAAY,EAAE,CAUpE;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EAAE,EACxB,IAAI,EAAE,cAAc,CAAC,MAAM,CAAC,GAC3B,cAAc,EAAE,CAElB;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,cAAc,EAAE,EACxB,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC,GACnC,cAAc,EAAE,CAElB"}

package/dist/services/integrity.test.d.ts

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

package/dist/services/integrity.test.d.ts.map

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

package/dist/services/layer-discovery.d.ts

@@ -0,0 +1,81 @@
+/**
+ * Layer discovery service.
+ *
+ * Discovers all contract layer files in a workspace:
+ * - Features (*.feature.ts)
+ * - Examples (example.ts, *.example.ts)
+ * - App Configs (*.app-config.ts, *.blueprint.ts)
+ * - Workspace Config (.contractsrc.json)
+ */
+import { type FeatureScanResult, type ExampleScanResult, type SpecScanResult } from '@contractspec/module.workspace';
+import type { FsAdapter } from '../ports/fs';
+import type { LoggerAdapter } from '../ports/logger';
+/**
+ * Location of a layer file in the codebase.
+ */
+export interface LayerLocation {
+    key: string;
+    version?: string;
+    file: string;
+    type: 'feature' | 'example' | 'app-config' | 'workspace-config';
+}
+/**
+ * Inventory of all discovered layers.
+ */
+export interface LayerInventory {
+    /** Discovered features */
+    features: Map<string, FeatureScanResult>;
+    /** Discovered examples */
+    examples: Map<string, ExampleScanResult>;
+    /** Discovered app configs */
+    appConfigs: Map<string, SpecScanResult>;
+    /** Discovered workspace configs */
+    workspaceConfigs: Map<string, WorkspaceConfigInfo>;
+}
+/**
+ * Workspace config information.
+ */
+export interface WorkspaceConfigInfo {
+    file: string;
+    config: Record<string, unknown>;
+    valid: boolean;
+    errors: string[];
+}
+/**
+ * Options for layer discovery.
+ */
+export interface LayerDiscoveryOptions {
+    /** Glob pattern for file discovery */
+    pattern?: string;
+    /** Scan all packages in monorepo */
+    all?: boolean;
+}
+/**
+ * Result of layer discovery.
+ */
+export interface LayerDiscoveryResult {
+    inventory: LayerInventory;
+    stats: {
+        features: number;
+        examples: number;
+        appConfigs: number;
+        workspaceConfigs: number;
+        total: number;
+    };
+}
+/**
+ * Create an empty layer inventory.
+ */
+export declare function createEmptyLayerInventory(): LayerInventory;
+/**
+ * Discover all contract layers in a workspace.
+ */
+export declare function discoverLayers(adapters: {
+    fs: FsAdapter;
+    logger: LoggerAdapter;
+}, options?: LayerDiscoveryOptions): Promise<LayerDiscoveryResult>;
+/**
+ * Get all layers as a flat list with locations.
+ */
+export declare function getAllLayerLocations(inventory: LayerInventory): LayerLocation[];
+//# sourceMappingURL=layer-discovery.d.ts.map

package/dist/services/layer-discovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer-discovery.d.ts","sourceRoot":"","sources":["../../src/services/layer-discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAKL,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EAEpB,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAErD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,YAAY,GAAG,kBAAkB,CAAC;CACjE;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,0BAA0B;IAC1B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACzC,0BAA0B;IAC1B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACzC,6BAA6B;IAC7B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACxC,mCAAmC;IACnC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;CACpD;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,sCAAsC;IACtC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,GAAG,CAAC,EAAE,OAAO,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,cAAc,CAAC;IAC1B,KAAK,EAAE;QACL,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,MAAM,CAAC;QACnB,gBAAgB,EAAE,MAAM,CAAC;QACzB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED;;GAEG;AACH,wBAAgB,yBAAyB,IAAI,cAAc,CAO1D;AAED;;GAEG;AACH,wBAAsB,cAAc,CAClC,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,EAClD,OAAO,GAAE,qBAA0B,GAClC,OAAO,CAAC,oBAAoB,CAAC,CA+F/B;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,cAAc,GACxB,aAAa,EAAE,CAsCjB"}

package/dist/services/layer-discovery.test.d.ts

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

package/dist/services/layer-discovery.test.d.ts.map

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

package/dist/services/list.d.ts

@@ -0,0 +1,36 @@
+/**
+ * List specs service.
+ */
+import { scanSpecSource, type SpecScanResult } from '@contractspec/module.workspace';
+import type { FsAdapter } from '../ports/fs';
+import type { MaybeArray } from '@contractspec/lib.utils-typescript';
+import type { ResolvedContractsrcConfig } from '@contractspec/lib.contracts';
+/**
+ * Options for listing specs.
+ */
+export interface ListSpecsOptions {
+    /**
+     * File pattern to search.
+     */
+    pattern?: string;
+    /**
+     * Filter by spec type.
+     */
+    type?: MaybeArray<string>;
+    /**
+     * Workspace configuration
+     */
+    config?: ResolvedContractsrcConfig;
+}
+/**
+ * List all spec files in the workspace.
+ */
+export declare function listSpecs(adapters: {
+    fs: FsAdapter;
+    scan?: typeof scanSpecSource;
+}, options?: ListSpecsOptions): Promise<SpecScanResult[]>;
+/**
+ * Group specs by type.
+ */
+export declare function groupSpecsByType(specs: SpecScanResult[]): Map<string, SpecScanResult[]>;
+//# sourceMappingURL=list.d.ts.map

package/dist/services/list.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"list.d.ts","sourceRoot":"","sources":["../../src/services/list.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,cAAc,EACd,KAAK,cAAc,EACpB,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAG7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAE7E;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;OAEG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB;;OAEG;IACH,IAAI,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAE1B;;OAEG;IACH,MAAM,CAAC,EAAE,yBAAyB,CAAC;CACpC;AAED;;GAEG;AACH,wBAAsB,SAAS,CAC7B,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,cAAc,CAAA;CAAE,EACzD,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC,cAAc,EAAE,CAAC,CAyD3B;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,cAAc,EAAE,GACtB,GAAG,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAU/B"}

package/dist/services/list.test.d.ts

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

package/dist/services/list.test.d.ts.map

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

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

@@ -0,0 +1,29 @@
+/**
+ * LLM Service
+ *
+ * Provides services for generating LLM-friendly content from specs.
+ * Primarily used by VSCode and CLI for "Ask AI" features.
+ */
+import { type AgentType, type ParsedSpec } from '@contractspec/module.workspace';
+import type { FsAdapter } from '../../ports/fs';
+export * from './verify-static';
+/**
+ * Generate full markdown context for a feature, including referenced specs.
+ */
+export declare function generateFeatureContextMarkdown(feature: ParsedSpec, adapters: {
+    fs: FsAdapter;
+}): Promise<string>;
+/**
+ * Generate an implementation guide for a parsed spec.
+ * This logic was extracted from VSCode extension.
+ */
+export declare function generateGuideFromParsedSpec(spec: ParsedSpec, agent: AgentType): string;
+/**
+ * Generate Cursor rules from parsed spec.
+ */
+export declare function generateCursorRulesFromParsedSpec(spec: ParsedSpec): string;
+/**
+ * Export spec to clipboard format suitable for pasting into LLM.
+ */
+export declare function exportSpecForLLM(spec: ParsedSpec, format: 'guide' | 'rules' | 'prompt' | 'context' | 'full', agent?: AgentType): string;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/llm/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,KAAK,SAAS,EAEd,KAAK,UAAU,EAEhB,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,cAAc,iBAAiB,CAAC;AAEhC;;GAEG;AACH,wBAAsB,8BAA8B,CAClD,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAA;CAAE,GAC1B,OAAO,CAAC,MAAM,CAAC,CAkEjB;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,SAAS,GACf,MAAM,CAyHR;AAED;;GAEG;AACH,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAgC1E;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,EACzD,KAAK,GAAE,SAAyB,GAC/B,MAAM,CAcR"}

package/dist/services/llm/verify-static.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Static verification of implementation against parsed spec.
+ *
+ * This performs lightweight checks based on regex and static analysis
+ * without requiring a full build or runtime environment.
+ */
+import type { VerificationTier } from '@contractspec/lib.contracts/llm';
+import type { ParsedSpec } from '@contractspec/module.workspace';
+/**
+ * Verification issue found during static check.
+ */
+export interface VerificationIssue {
+    severity: 'error' | 'warning' | 'info';
+    message: string;
+    category: string;
+    line?: number;
+}
+/**
+ * Verify implementation against parsed spec.
+ * This is a simplified verification that checks for basic patterns.
+ */
+export declare function verifyImplementationAgainstParsedSpec(spec: ParsedSpec, implementationCode: string, tiers: VerificationTier[]): VerificationIssue[];
+/**
+ * Format verification report as markdown.
+ */
+export declare function formatVerificationReport(spec: ParsedSpec, issues: VerificationIssue[]): string;
+//# sourceMappingURL=verify-static.d.ts.map

package/dist/services/llm/verify-static.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-static.d.ts","sourceRoot":"","sources":["../../../src/services/llm/verify-static.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAEjE;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;GAGG;AACH,wBAAgB,qCAAqC,CACnD,IAAI,EAAE,UAAU,EAChB,kBAAkB,EAAE,MAAM,EAC1B,KAAK,EAAE,gBAAgB,EAAE,GACxB,iBAAiB,EAAE,CAwErB;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,iBAAiB,EAAE,GAC1B,MAAM,CA6CR"}

package/dist/services/modules/module-resolver.d.ts

@@ -0,0 +1,24 @@
+import type { SpecScanResult } from '@contractspec/module.workspace';
+import type { WorkspaceAdapters } from '../../ports/logger';
+export interface ModuleDefinition {
+    type: 'app-config' | 'example' | 'feature';
+    key: string;
+    dirPath: string;
+}
+export declare class ModuleResolver {
+    private adapters;
+    private modules;
+    private initialized;
+    constructor(adapters: WorkspaceAdapters);
+    /**
+     * Initialize resolver by scanning for module definitions from a list of specs.
+     * This is lightweight - it just indexes the specs passed to it.
+     */
+    initialize(specs: SpecScanResult[]): void;
+    /**
+     * Resolve the owning module for a given file path.
+     * Priority: AppConfig > Example > Feature
+     */
+    resolve(filePath: string): ModuleDefinition | undefined;
+}
+//# sourceMappingURL=module-resolver.d.ts.map

package/dist/services/modules/module-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-resolver.d.ts","sourceRoot":"","sources":["../../../src/services/modules/module-resolver.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,YAAY,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,qBAAa,cAAc;IAIb,OAAO,CAAC,QAAQ;IAH5B,OAAO,CAAC,OAAO,CAA0B;IACzC,OAAO,CAAC,WAAW,CAAS;gBAER,QAAQ,EAAE,iBAAiB;IAE/C;;;OAGG;IACI,UAAU,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,IAAI;IA6BhD;;;OAGG;IACI,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;CAmD/D"}

package/dist/services/modules/module-resolver.test.d.ts

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

package/dist/services/modules/module-resolver.test.d.ts.map

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

package/dist/services/openapi/export-service.d.ts

@@ -0,0 +1,51 @@
+/**
+ * OpenAPI export service - generates OpenAPI documents from OperationSpecRegistry.
+ */
+import { type OpenApiDocument, type OpenApiServer } from '@contractspec/lib.contracts';
+import type { FsAdapter } from '../../ports/fs';
+import type { LoggerAdapter } from '../../ports/logger';
+/**
+ * Options for OpenAPI export.
+ */
+export interface OpenApiExportOptions {
+    /**
+     * Path to module exporting OperationSpecRegistry.
+     */
+    registryPath: string;
+    /**
+     * Output file path.
+     */
+    outputPath?: string;
+    /**
+     * OpenAPI title.
+     */
+    title?: string;
+    /**
+     * OpenAPI version.
+     */
+    version?: string;
+    /**
+     * OpenAPI description.
+     */
+    description?: string;
+    /**
+     * Server URLs to include.
+     */
+    servers?: OpenApiServer[];
+}
+/**
+ * Result of OpenAPI export.
+ */
+export interface OpenApiExportResult {
+    document: OpenApiDocument;
+    outputPath: string;
+    json: string;
+}
+/**
+ * Export OpenAPI document from a OperationSpecRegistry.
+ */
+export declare function exportOpenApi(options: OpenApiExportOptions, adapters: {
+    fs: FsAdapter;
+    logger: LoggerAdapter;
+}): Promise<OpenApiExportResult>;
+//# sourceMappingURL=export-service.d.ts.map

package/dist/services/openapi/export-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-service.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/export-service.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,KAAK,eAAe,EAEpB,KAAK,aAAa,EAEnB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC;;OAEG;IACH,YAAY,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf;;OAEG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,OAAO,CAAC,EAAE,aAAa,EAAE,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,eAAe,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;CACd;AAWD;;GAEG;AACH,wBAAsB,aAAa,CACjC,OAAO,EAAE,oBAAoB,EAC7B,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GACjD,OAAO,CAAC,mBAAmB,CAAC,CAsC9B"}

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

@@ -0,0 +1,15 @@
+/**
+ * OpenAPI import service - imports specs from OpenAPI documents.
+ */
+import type { FsAdapter } from '../../ports/fs';
+import type { LoggerAdapter } from '../../ports/logger';
+import type { OpenApiImportServiceOptions, OpenApiImportServiceResult } from './types';
+import type { ResolvedContractsrcConfig } from '@contractspec/lib.contracts';
+/**
+ * Import ContractSpec specs from an OpenAPI document.
+ */
+export declare function importFromOpenApiService(contractspecOptions: ResolvedContractsrcConfig, options: OpenApiImportServiceOptions, adapters: {
+    fs: FsAdapter;
+    logger: LoggerAdapter;
+}): Promise<OpenApiImportServiceResult>;
+//# sourceMappingURL=import-service.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"import-service.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/import-service.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EACV,2BAA2B,EAC3B,0BAA0B,EAC3B,MAAM,SAAS,CAAC;AAEjB,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAmC7E;;GAEG;AACH,wBAAsB,wBAAwB,CAC5C,mBAAmB,EAAE,yBAAyB,EAC9C,OAAO,EAAE,2BAA2B,EACpC,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GACjD,OAAO,CAAC,0BAA0B,CAAC,CAuOrC"}

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

@@ -0,0 +1,10 @@
+/**
+ * OpenAPI services for import, sync, validate, and export operations.
+ */
+export * from './types';
+export * from './import-service';
+export * from './sync-service';
+export * from './validate-service';
+export { exportOpenApi } from './export-service';
+export type { OpenApiExportOptions as LegacyOpenApiExportOptions, OpenApiExportResult as LegacyOpenApiExportResult, } from './export-service';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,SAAS,CAAC;AACxB,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC;AAGnC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,YAAY,EACV,oBAAoB,IAAI,0BAA0B,EAClD,mBAAmB,IAAI,yBAAyB,GACjD,MAAM,kBAAkB,CAAC"}

package/dist/services/openapi/sync-service.d.ts

@@ -0,0 +1,15 @@
+/**
+ * OpenAPI sync service - syncs specs with OpenAPI sources.
+ */
+import type { FsAdapter } from '../../ports/fs';
+import type { LoggerAdapter } from '../../ports/logger';
+import type { OpenApiSyncServiceOptions, OpenApiSyncServiceResult } from './types';
+import type { ResolvedContractsrcConfig } from '@contractspec/lib.contracts';
+/**
+ * Sync ContractSpec specs with OpenAPI sources.
+ */
+export declare function syncWithOpenApiService(options: OpenApiSyncServiceOptions, config: ResolvedContractsrcConfig, adapters: {
+    fs: FsAdapter;
+    logger: LoggerAdapter;
+}): Promise<OpenApiSyncServiceResult>;
+//# sourceMappingURL=sync-service.d.ts.map

package/dist/services/openapi/sync-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-service.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/sync-service.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EACV,yBAAyB,EACzB,wBAAwB,EACzB,MAAM,SAAS,CAAC;AAEjB,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAE7E;;GAEG;AACH,wBAAsB,sBAAsB,CAC1C,OAAO,EAAE,yBAAyB,EAClC,MAAM,EAAE,yBAAyB,EACjC,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GACjD,OAAO,CAAC,wBAAwB,CAAC,CA6JnC"}