@contractspec/bundle.workspace 1.57.0 → 1.58.0

package/dist/services/validate/implementation-validator.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Implementation validation service (handlers + tests).
+ *
+ * Deterministic, static checks intended for reuse across CLI/VSCode/web tooling.
+ * This does NOT execute spec modules.
+ */
+import type { SpecScanResult } from '@contractspec/module.workspace';
+import type { FsAdapter } from '../../ports/fs';
+import type { ResolvedContractsrcConfig } from '@contractspec/lib.contracts';
+export interface ValidateImplementationOptions {
+    checkHandlers?: boolean;
+    checkTests?: boolean;
+    /**
+     * Override workspace outputDir (defaults to config.outputDir).
+     */
+    outputDir?: string;
+}
+export interface ValidateImplementationResult {
+    valid: boolean;
+    errors: string[];
+    warnings: string[];
+    expected: {
+        handlerPath?: string;
+        handlerTestPath?: string;
+        componentPath?: string;
+        componentTestPath?: string;
+        formPath?: string;
+        formTestPath?: string;
+    };
+}
+export declare function validateImplementationFiles(specFile: SpecScanResult, adapters: {
+    fs: FsAdapter;
+}, config: ResolvedContractsrcConfig, options?: ValidateImplementationOptions): Promise<ValidateImplementationResult>;
+//# sourceMappingURL=implementation-validator.d.ts.map

package/dist/services/validate/implementation-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation-validator.d.ts","sourceRoot":"","sources":["../../../src/services/validate/implementation-validator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAE7E,MAAM,WAAW,6BAA6B;IAC5C,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;OAEG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,4BAA4B;IAC3C,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,EAAE;QACR,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,YAAY,CAAC,EAAE,MAAM,CAAC;KACvB,CAAC;CACH;AAiBD,wBAAsB,2BAA2B,CAC/C,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAA;CAAE,EAC3B,MAAM,EAAE,yBAAyB,EACjC,OAAO,GAAE,6BAAkC,GAC1C,OAAO,CAAC,4BAA4B,CAAC,CAgFvC"}

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

@@ -0,0 +1,6 @@
+export * from './spec-validator';
+export * from './implementation-validator';
+export * from './blueprint-validator';
+export * from './tenant-validator';
+export * from './implementation-agent-validator';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/validate/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,uBAAuB,CAAC;AACtC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kCAAkC,CAAC"}

package/dist/services/validate/spec-validator.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Validation service.
+ */
+import { type ValidationResult } from '@contractspec/module.workspace';
+import type { FsAdapter } from '../../ports/fs';
+import type { LoggerAdapter } from '../../ports/logger';
+/**
+ * Options for spec validation.
+ */
+export interface ValidateSpecOptions {
+    /**
+     * Skip spec structure validation (e.g., for blueprint files).
+     */
+    skipStructure?: boolean;
+}
+/**
+ * Result of spec validation.
+ */
+export interface ValidateSpecResult {
+    valid: boolean;
+    structureResult?: ValidationResult;
+    errors: string[];
+    warnings: string[];
+    code?: string;
+}
+/**
+ * Validate a spec file.
+ */
+export declare function validateSpec(specFilePath: string, adapters: {
+    fs: FsAdapter;
+    logger: LoggerAdapter;
+}, options?: ValidateSpecOptions): Promise<ValidateSpecResult>;
+/**
+ * Validate multiple spec files.
+ */
+export declare function validateSpecs(specFiles: string[], adapters: {
+    fs: FsAdapter;
+    logger: LoggerAdapter;
+}, options?: ValidateSpecOptions): Promise<Map<string, ValidateSpecResult>>;
+//# sourceMappingURL=spec-validator.d.ts.map

package/dist/services/validate/spec-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-validator.d.ts","sourceRoot":"","sources":["../../../src/services/validate/spec-validator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAEL,KAAK,gBAAgB,EACtB,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGxD;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;OAEG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,eAAe,CAAC,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,wBAAsB,YAAY,CAChC,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,EAClD,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,kBAAkB,CAAC,CAqC7B;AAED;;GAEG;AACH,wBAAsB,aAAa,CACjC,SAAS,EAAE,MAAM,EAAE,EACnB,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,EAClD,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAS1C"}

package/dist/services/validate/tenant-validator.d.ts

@@ -0,0 +1,17 @@
+import { validateConfig as validateTenantConfigSpecs, type AppBlueprintSpec, type TenantAppConfig } from '@contractspec/lib.contracts';
+import type { FsAdapter } from '../../ports/fs';
+export interface TenantValidationResult {
+    config?: TenantAppConfig;
+    report?: ReturnType<typeof validateTenantConfigSpecs>;
+    valid: boolean;
+    errors: string[];
+}
+export interface TenantValidationContext {
+    connections?: string[] | string;
+    integrationRegistrars?: string[] | string;
+    translationCatalog?: string;
+}
+export declare function validateTenantConfig(blueprint: AppBlueprintSpec, tenantPath: string, contextOptions: TenantValidationContext, adapters: {
+    fs: FsAdapter;
+}): Promise<TenantValidationResult>;
+//# sourceMappingURL=tenant-validator.d.ts.map

package/dist/services/validate/tenant-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tenant-validator.d.ts","sourceRoot":"","sources":["../../../src/services/validate/tenant-validator.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,cAAc,IAAI,yBAAyB,EAC3C,KAAK,gBAAgB,EACrB,KAAK,eAAe,EAIrB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,MAAM,WAAW,sBAAsB;IACrC,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,MAAM,CAAC,EAAE,UAAU,CAAC,OAAO,yBAAyB,CAAC,CAAC;IACtD,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,uBAAuB;IACtC,WAAW,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAChC,qBAAqB,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC1C,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAsB,oBAAoB,CACxC,SAAS,EAAE,gBAAgB,EAC3B,UAAU,EAAE,MAAM,EAClB,cAAc,EAAE,uBAAuB,EACvC,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAA;CAAE,GAC1B,OAAO,CAAC,sBAAsB,CAAC,CAqDjC"}

package/dist/services/verification-cache/adapters/filesystem.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Filesystem cache storage adapter.
+ *
+ * Stores cache entries in a JSON file for CLI and CI environments.
+ * Uses atomic writes to prevent corruption.
+ */
+import type { CacheKeyString, CacheStorageAdapter, VerificationCacheEntry } from '../types';
+/**
+ * Filesystem storage adapter.
+ */
+export declare class FileSystemCacheStorage implements CacheStorageAdapter {
+    private filePath;
+    private cache;
+    private isDirty;
+    constructor(filePath?: string, workspaceRoot?: string);
+    /**
+     * Load cache from disk synchronously.
+     */
+    private loadSync;
+    /**
+     * Save cache to disk.
+     */
+    private saveSync;
+    get(key: CacheKeyString): Promise<VerificationCacheEntry | null>;
+    set(key: CacheKeyString, entry: VerificationCacheEntry): Promise<void>;
+    delete(key: CacheKeyString): Promise<boolean>;
+    has(key: CacheKeyString): Promise<boolean>;
+    keys(): Promise<CacheKeyString[]>;
+    clear(): Promise<void>;
+    stats(): Promise<{
+        entryCount: number;
+        memoryUsage?: number;
+    }>;
+    /**
+     * Force save any pending changes.
+     */
+    flush(): void;
+    /**
+     * Reload cache from disk.
+     */
+    reload(): void;
+}
+/**
+ * Create a filesystem cache storage adapter.
+ */
+export declare function createFileSystemCacheStorage(filePath?: string, workspaceRoot?: string): FileSystemCacheStorage;
+//# sourceMappingURL=filesystem.d.ts.map

package/dist/services/verification-cache/adapters/filesystem.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filesystem.d.ts","sourceRoot":"","sources":["../../../../src/services/verification-cache/adapters/filesystem.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAWH,OAAO,KAAK,EACV,cAAc,EACd,mBAAmB,EACnB,sBAAsB,EACvB,MAAM,UAAU,CAAC;AAiBlB;;GAEG;AACH,qBAAa,sBAAuB,YAAW,mBAAmB;IAChE,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,KAAK,CAA8C;IAC3D,OAAO,CAAC,OAAO,CAAS;gBAEZ,QAAQ,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,MAAM;IAOrD;;OAEG;IACH,OAAO,CAAC,QAAQ;IAwBhB;;OAEG;IACH,OAAO,CAAC,QAAQ;IA4BV,GAAG,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC;IAIhE,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC;IAMtE,MAAM,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;IAS7C,GAAG,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;IAI1C,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;IAIjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAMtB,KAAK,IAAI,OAAO,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAiBpE;;OAEG;IACH,KAAK,IAAI,IAAI;IAIb;;OAEG;IACH,MAAM,IAAI,IAAI;CAKf;AAED;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,CAAC,EAAE,MAAM,EACjB,aAAa,CAAC,EAAE,MAAM,GACrB,sBAAsB,CAExB"}

package/dist/services/verification-cache/adapters/in-memory.d.ts

@@ -0,0 +1,28 @@
+/**
+ * In-memory cache storage adapter.
+ *
+ * Suitable for tests and single-process environments.
+ * Data is lost on process restart.
+ */
+import type { CacheKeyString, CacheStorageAdapter, VerificationCacheEntry } from '../types';
+/**
+ * In-memory storage adapter using a Map.
+ */
+export declare class InMemoryCacheStorage implements CacheStorageAdapter {
+    private cache;
+    get(key: CacheKeyString): Promise<VerificationCacheEntry | null>;
+    set(key: CacheKeyString, entry: VerificationCacheEntry): Promise<void>;
+    delete(key: CacheKeyString): Promise<boolean>;
+    has(key: CacheKeyString): Promise<boolean>;
+    keys(): Promise<CacheKeyString[]>;
+    clear(): Promise<void>;
+    stats(): Promise<{
+        entryCount: number;
+        memoryUsage?: number;
+    }>;
+}
+/**
+ * Create an in-memory cache storage adapter.
+ */
+export declare function createInMemoryCacheStorage(): InMemoryCacheStorage;
+//# sourceMappingURL=in-memory.d.ts.map

package/dist/services/verification-cache/adapters/in-memory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"in-memory.d.ts","sourceRoot":"","sources":["../../../../src/services/verification-cache/adapters/in-memory.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,cAAc,EACd,mBAAmB,EACnB,sBAAsB,EACvB,MAAM,UAAU,CAAC;AAElB;;GAEG;AACH,qBAAa,oBAAqB,YAAW,mBAAmB;IAC9D,OAAO,CAAC,KAAK,CAAqD;IAE5D,GAAG,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC;IAIhE,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC;IAItE,MAAM,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;IAI7C,GAAG,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;IAI1C,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;IAIjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAItB,KAAK,IAAI,OAAO,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAarE;AAED;;GAEG;AACH,wBAAgB,0BAA0B,IAAI,oBAAoB,CAEjE"}

package/dist/services/verification-cache/adapters/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Cache storage adapters.
+ */
+export * from './in-memory';
+export * from './filesystem';
+export * from './workspace-state';
+//# sourceMappingURL=index.d.ts.map

package/dist/services/verification-cache/adapters/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/services/verification-cache/adapters/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,mBAAmB,CAAC"}

package/dist/services/verification-cache/adapters/workspace-state.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Workspace state cache storage adapter.
+ *
+ * Generic adapter for key-value stores like VSCode's ExtensionContext.workspaceState.
+ * Can also be used with localStorage-like APIs.
+ */
+import type { CacheKeyString, CacheStorageAdapter, VerificationCacheEntry } from '../types';
+/**
+ * Interface for key-value store (compatible with VSCode's Memento).
+ */
+export interface KeyValueStore {
+    get<T>(key: string): T | undefined;
+    update(key: string, value: unknown): Thenable<void>;
+    keys?(): readonly string[];
+}
+/**
+ * Workspace state storage adapter.
+ */
+export declare class WorkspaceStateCacheStorage implements CacheStorageAdapter {
+    private store;
+    private keyIndex;
+    constructor(store: KeyValueStore);
+    /**
+     * Load the key index from storage.
+     */
+    private loadKeyIndex;
+    /**
+     * Save the key index to storage.
+     */
+    private saveKeyIndex;
+    /**
+     * Get the storage key for a cache key.
+     */
+    private getStorageKey;
+    get(key: CacheKeyString): Promise<VerificationCacheEntry | null>;
+    set(key: CacheKeyString, entry: VerificationCacheEntry): Promise<void>;
+    delete(key: CacheKeyString): Promise<boolean>;
+    has(key: CacheKeyString): Promise<boolean>;
+    keys(): Promise<CacheKeyString[]>;
+    clear(): Promise<void>;
+    stats(): Promise<{
+        entryCount: number;
+        memoryUsage?: number;
+    }>;
+}
+/**
+ * Create a workspace state cache storage adapter.
+ */
+export declare function createWorkspaceStateCacheStorage(store: KeyValueStore): WorkspaceStateCacheStorage;
+//# sourceMappingURL=workspace-state.d.ts.map

package/dist/services/verification-cache/adapters/workspace-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-state.d.ts","sourceRoot":"","sources":["../../../../src/services/verification-cache/adapters/workspace-state.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,cAAc,EACd,mBAAmB,EACnB,sBAAsB,EACvB,MAAM,UAAU,CAAC;AAElB;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC;IACnC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;CAC5B;AAYD;;GAEG;AACH,qBAAa,0BAA2B,YAAW,mBAAmB;IACpE,OAAO,CAAC,KAAK,CAAgB;IAC7B,OAAO,CAAC,QAAQ,CAAc;gBAElB,KAAK,EAAE,aAAa;IAKhC;;OAEG;IACH,OAAO,CAAC,YAAY;IASpB;;OAEG;YACW,YAAY;IAI1B;;OAEG;IACH,OAAO,CAAC,aAAa;IAIf,GAAG,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC;IAMhE,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC;IAUtE,MAAM,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;IAa7C,GAAG,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;IAI1C,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;IAIjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAYtB,KAAK,IAAI,OAAO,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAKrE;AAED;;GAEG;AACH,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,aAAa,GACnB,0BAA0B,CAE5B"}

package/dist/services/verification-cache/cache-service.d.ts

@@ -0,0 +1,71 @@
+/**
+ * Verification cache service.
+ *
+ * Provides content-hash based caching for verification results
+ * to avoid redundant checks and reduce AI costs.
+ */
+import type { VerificationReport, VerificationTier } from '@contractspec/lib.contracts/llm';
+import type { CacheKeyString, CacheLookupResult, CacheStats, CacheStorageAdapter, VerificationCacheConfig, VerificationCacheKey } from './types';
+/**
+ * Compute SHA256 hash of content.
+ */
+export declare function computeContentHash(content: string): string;
+/**
+ * Convert cache key to string for storage.
+ */
+export declare function cacheKeyToString(key: VerificationCacheKey): CacheKeyString;
+/**
+ * Parse cache key string back to object.
+ */
+export declare function stringToCacheKey(str: CacheKeyString): VerificationCacheKey | null;
+/**
+ * Verification cache service.
+ */
+export declare class VerificationCacheService {
+    private storage;
+    private config;
+    private stats;
+    constructor(storage: CacheStorageAdapter, config?: Partial<VerificationCacheConfig>);
+    /**
+     * Create a cache key from spec and implementation content.
+     */
+    createKey(specContent: string, implContent: string, tier: VerificationTier, aiModelVersion?: string): VerificationCacheKey;
+    /**
+     * Look up a cached verification result.
+     */
+    lookup(key: VerificationCacheKey): Promise<CacheLookupResult>;
+    /**
+     * Store a verification result in cache.
+     */
+    store(key: VerificationCacheKey, result: VerificationReport, options?: {
+        dependencies?: string[];
+        specName?: string;
+        implPath?: string;
+    }): Promise<void>;
+    /**
+     * Invalidate cache entries for a specific file.
+     * Used when a file changes to invalidate dependent caches.
+     */
+    invalidateForFile(filePath: string): Promise<number>;
+    /**
+     * Invalidate all cache entries for a specific spec.
+     */
+    invalidateForSpec(specHash: string): Promise<number>;
+    /**
+     * Clear all cache entries.
+     */
+    clear(): Promise<void>;
+    /**
+     * Get cache statistics.
+     */
+    getStats(): Promise<CacheStats>;
+    /**
+     * Prune cache if over the maximum entry limit.
+     */
+    private pruneIfNeeded;
+}
+/**
+ * Create a verification cache service with the given storage adapter.
+ */
+export declare function createVerificationCacheService(storage: CacheStorageAdapter, config?: Partial<VerificationCacheConfig>): VerificationCacheService;
+//# sourceMappingURL=cache-service.d.ts.map

package/dist/services/verification-cache/cache-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache-service.d.ts","sourceRoot":"","sources":["../../../src/services/verification-cache/cache-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EACV,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EACV,cAAc,EACd,iBAAiB,EACjB,UAAU,EACV,mBAAmB,EACnB,uBAAuB,EAEvB,oBAAoB,EACrB,MAAM,SAAS,CAAC;AAGjB;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,oBAAoB,GAAG,cAAc,CAY1E;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,cAAc,GAClB,oBAAoB,GAAG,IAAI,CA6B7B;AAqBD;;GAEG;AACH,qBAAa,wBAAwB;IACnC,OAAO,CAAC,OAAO,CAAsB;IACrC,OAAO,CAAC,MAAM,CAAoC;IAClD,OAAO,CAAC,KAAK,CAAmC;gBAG9C,OAAO,EAAE,mBAAmB,EAC5B,MAAM,GAAE,OAAO,CAAC,uBAAuB,CAAM;IAO/C;;OAEG;IACH,SAAS,CACP,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,gBAAgB,EACtB,cAAc,CAAC,EAAE,MAAM,GACtB,oBAAoB;IASvB;;OAEG;IACG,MAAM,CAAC,GAAG,EAAE,oBAAoB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IA4CnE;;OAEG;IACG,KAAK,CACT,GAAG,EAAE,oBAAoB,EACzB,MAAM,EAAE,kBAAkB,EAC1B,OAAO,GAAE;QACP,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;QACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACd,GACL,OAAO,CAAC,IAAI,CAAC;IAsBhB;;;OAGG;IACG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IA+B1D;;OAEG;IACG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAe1D;;OAEG;IACG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAK5B;;OAEG;IACG,QAAQ,IAAI,OAAO,CAAC,UAAU,CAAC;IAkBrC;;OAEG;YACW,aAAa;CAgC5B;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,mBAAmB,EAC5B,MAAM,CAAC,EAAE,OAAO,CAAC,uBAAuB,CAAC,GACxC,wBAAwB,CAE1B"}

package/dist/services/verification-cache/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Verification cache services.
+ */
+export * from './types';
+export * from './cache-service';
+export * from './adapters/index';
+//# sourceMappingURL=index.d.ts.map

package/dist/services/verification-cache/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/verification-cache/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,SAAS,CAAC;AACxB,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC"}

package/dist/services/verification-cache/types.d.ts

@@ -0,0 +1,122 @@
+/**
+ * Types for verification caching.
+ */
+import type { VerificationReport, VerificationTier } from '@contractspec/lib.contracts/llm';
+/**
+ * Cache key for verification results.
+ */
+export interface VerificationCacheKey {
+    /** SHA256 hash of spec file content */
+    specHash: string;
+    /** SHA256 hash of implementation file content */
+    implHash: string;
+    /** Verification tier */
+    tier: VerificationTier;
+    /** AI model version (for AI tier, ensures cache invalidation on model change) */
+    aiModelVersion?: string;
+}
+/**
+ * Serializable cache key string.
+ */
+export type CacheKeyString = string;
+/**
+ * Cache entry metadata.
+ */
+export interface CacheEntryMeta {
+    /** When this entry was created */
+    createdAt: string;
+    /** When this entry expires (optional TTL) */
+    expiresAt?: string;
+    /** Paths to files that affect this result (for transitive invalidation) */
+    dependencies: string[];
+    /** Human-readable spec name for debugging */
+    specName?: string;
+    /** Human-readable impl path for debugging */
+    implPath?: string;
+}
+/**
+ * Full cache entry with result.
+ */
+export interface VerificationCacheEntry {
+    /** The cache key */
+    key: VerificationCacheKey;
+    /** The verification result */
+    result: VerificationReport;
+    /** Entry metadata */
+    meta: CacheEntryMeta;
+}
+/**
+ * Cache lookup result.
+ */
+export type CacheLookupResult = {
+    hit: true;
+    entry: VerificationCacheEntry;
+} | {
+    hit: false;
+    reason: CacheMissReason;
+};
+/**
+ * Reasons for cache miss.
+ */
+export type CacheMissReason = 'not_found' | 'expired' | 'spec_changed' | 'impl_changed' | 'dependency_changed' | 'model_changed';
+/**
+ * Cache statistics.
+ */
+export interface CacheStats {
+    /** Total entries in cache */
+    totalEntries: number;
+    /** Number of cache hits since startup */
+    hits: number;
+    /** Number of cache misses since startup */
+    misses: number;
+    /** Hit rate percentage (0-100) */
+    hitRate: number;
+    /** Estimated memory usage in bytes */
+    memoryUsage?: number;
+    /** Last time cache was pruned */
+    lastPruned?: string;
+}
+/**
+ * Cache configuration.
+ */
+export interface VerificationCacheConfig {
+    /** Maximum number of entries to keep */
+    maxEntries?: number;
+    /** Default TTL in milliseconds (AI tier uses this) */
+    defaultTtlMs?: number;
+    /** TTL for structure tier (usually longer) */
+    structureTtlMs?: number;
+    /** TTL for behavior tier */
+    behaviorTtlMs?: number;
+    /** TTL for AI tier (usually shorter) */
+    aiTtlMs?: number;
+    /** Enable transitive invalidation */
+    transitiveInvalidation?: boolean;
+}
+/**
+ * Default cache configuration.
+ */
+export declare const DEFAULT_CACHE_CONFIG: Required<VerificationCacheConfig>;
+/**
+ * Storage adapter interface for cache persistence.
+ */
+export interface CacheStorageAdapter {
+    /** Get an entry by key */
+    get(key: CacheKeyString): Promise<VerificationCacheEntry | null>;
+    /** Set an entry */
+    set(key: CacheKeyString, entry: VerificationCacheEntry): Promise<void>;
+    /** Delete an entry */
+    delete(key: CacheKeyString): Promise<boolean>;
+    /** Check if key exists */
+    has(key: CacheKeyString): Promise<boolean>;
+    /** List all keys */
+    keys(): Promise<CacheKeyString[]>;
+    /** Clear all entries */
+    clear(): Promise<void>;
+    /** Get stats (optional) */
+    stats?(): Promise<{
+        entryCount: number;
+        memoryUsage?: number;
+    }>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/services/verification-cache/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/verification-cache/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,iCAAiC,CAAC;AAEzC;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,uCAAuC;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,wBAAwB;IACxB,IAAI,EAAE,gBAAgB,CAAC;IACvB,iFAAiF;IACjF,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC;AAEpC;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,kCAAkC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,6CAA6C;IAC7C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2EAA2E;IAC3E,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,oBAAoB;IACpB,GAAG,EAAE,oBAAoB,CAAC;IAC1B,8BAA8B;IAC9B,MAAM,EAAE,kBAAkB,CAAC;IAC3B,qBAAqB;IACrB,IAAI,EAAE,cAAc,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACzB;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,sBAAsB,CAAA;CAAE,GAC5C;IAAE,GAAG,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,CAAA;CAAE,CAAC;AAE5C;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,WAAW,GACX,SAAS,GACT,cAAc,GACd,cAAc,GACd,oBAAoB,GACpB,eAAe,CAAC;AAEpB;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,6BAA6B;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,yCAAyC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iCAAiC;IACjC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,wCAAwC;IACxC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sDAAsD;IACtD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,4BAA4B;IAC5B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,wCAAwC;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qCAAqC;IACrC,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAClC;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,uBAAuB,CAOlE,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,0BAA0B;IAC1B,GAAG,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC,CAAC;IACjE,mBAAmB;IACnB,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvE,sBAAsB;IACtB,MAAM,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,0BAA0B;IAC1B,GAAG,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3C,oBAAoB;IACpB,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IAClC,wBAAwB;IACxB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,2BAA2B;IAC3B,KAAK,CAAC,IAAI,OAAO,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACjE"}

package/dist/services/verify/ai-verifier.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Tier 3: AI-Powered Verification
+ *
+ * Uses an LLM to semantically analyze the implementation against
+ * the specification for deeper compliance checking.
+ */
+import type { VerificationReport } from '@contractspec/lib.contracts/llm';
+import type { SemanticVerificationResult, VerifyConfig, VerifyInput } from './types';
+/**
+ * Run AI-powered verification.
+ */
+export declare function verifyWithAI(input: VerifyInput, config?: VerifyConfig): Promise<VerificationReport>;
+/**
+ * Create a simpler AI review without calling the API.
+ * Used as fallback or for quick checks.
+ */
+export declare function createQuickAIReview(input: VerifyInput): VerificationReport;
+/**
+ * Run semantic field-level verification using AI.
+ */
+export declare function verifySemanticFields(input: VerifyInput, config?: VerifyConfig): Promise<SemanticVerificationResult>;
+/**
+ * Run enhanced AI verification with semantic field analysis.
+ */
+export declare function verifyWithAIEnhanced(input: VerifyInput, config?: VerifyConfig): Promise<VerificationReport>;
+//# sourceMappingURL=ai-verifier.d.ts.map

package/dist/services/verify/ai-verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ai-verifier.d.ts","sourceRoot":"","sources":["../../../src/services/verify/ai-verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAEV,kBAAkB,EACnB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,KAAK,EAGV,0BAA0B,EAC1B,YAAY,EACZ,WAAW,EACZ,MAAM,SAAS,CAAC;AA6JjB;;GAEG;AACH,wBAAsB,YAAY,CAChC,KAAK,EAAE,WAAW,EAClB,MAAM,GAAE,YAAiB,GACxB,OAAO,CAAC,kBAAkB,CAAC,CAsD7B;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,GAAG,kBAAkB,CAkE1E;AAiLD;;GAEG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,WAAW,EAClB,MAAM,GAAE,YAAiB,GACxB,OAAO,CAAC,0BAA0B,CAAC,CAcrC;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,WAAW,EAClB,MAAM,GAAE,YAAiB,GACxB,OAAO,CAAC,kBAAkB,CAAC,CA8G7B"}

package/dist/services/verify/behavior-verifier.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Tier 2: Behavior Verification
+ *
+ * Verifies that the implementation covers acceptance scenarios,
+ * examples, and error cases defined in the spec.
+ */
+import type { VerificationReport } from '@contractspec/lib.contracts/llm';
+import type { VerifyInput } from './types';
+/**
+ * Run all behavior checks and produce a verification report.
+ */
+export declare function verifyBehavior(input: VerifyInput): VerificationReport;
+//# sourceMappingURL=behavior-verifier.d.ts.map

package/dist/services/verify/behavior-verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior-verifier.d.ts","sourceRoot":"","sources":["../../../src/services/verify/behavior-verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAEV,kBAAkB,EACnB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAiB,WAAW,EAAE,MAAM,SAAS,CAAC;AAoP1D;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,GAAG,kBAAkB,CAwFrE"}

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

@@ -0,0 +1,18 @@
+/**
+ * Verification Service
+ *
+ * Provides tiered verification of implementations against specs.
+ *
+ * Tiers:
+ * - Structure (Tier 1): Types, exports, imports
+ * - Behavior (Tier 2): Scenarios, examples, error handling
+ * - AI Review (Tier 3): Semantic compliance analysis
+ *
+ * @module @contractspec/bundle.workspace/services/verify
+ */
+export type { VerifyConfig, VerifyOptions, VerifyInput, VerifyResult, StructureCheck, BehaviorCheck, AIReviewResult, FieldMapping, FieldMatchType, IntentAlignment, SemanticVerificationResult, } from './types';
+export { VerifyService, createVerifyService, verifyService, } from './verify-service';
+export { verifyStructure } from './structure-verifier';
+export { verifyBehavior } from './behavior-verifier';
+export { verifyWithAI, createQuickAIReview, verifySemanticFields, verifyWithAIEnhanced, } from './ai-verifier';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/services/verify/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,YAAY,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,YAAY,EACZ,cAAc,EACd,aAAa,EACb,cAAc,EACd,YAAY,EACZ,cAAc,EACd,eAAe,EACf,0BAA0B,GAC3B,MAAM,SAAS,CAAC;AAGjB,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,aAAa,GACd,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EACL,YAAY,EACZ,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,eAAe,CAAC"}

package/dist/services/verify/structure-verifier.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Tier 1: Structure Verification
+ *
+ * Verifies that the implementation has correct TypeScript structure:
+ * - Types match spec I/O schemas
+ * - Required exports exist
+ * - Imports are correct
+ */
+import type { VerificationReport } from '@contractspec/lib.contracts/llm';
+import type { VerifyInput } from './types';
+/**
+ * Run all structure checks and produce a verification report.
+ */
+export declare function verifyStructure(input: VerifyInput): VerificationReport;
+//# sourceMappingURL=structure-verifier.d.ts.map

package/dist/services/verify/structure-verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure-verifier.d.ts","sourceRoot":"","sources":["../../../src/services/verify/structure-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAEV,kBAAkB,EACnB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAkB,WAAW,EAAE,MAAM,SAAS,CAAC;AAwO3D;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,kBAAkB,CAkEtE"}