@contractspec/bundle.workspace 1.44.0

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

@@ -0,0 +1,70 @@
+import { CacheKeyString, CacheLookupResult, CacheStats, CacheStorageAdapter, VerificationCacheConfig, VerificationCacheKey } from "./types.js";
+import { VerificationReport, VerificationTier } from "@contractspec/lib.contracts/llm";
+
+//#region src/services/verification-cache/cache-service.d.ts
+
+/**
+ * Compute SHA256 hash of content.
+ */
+declare function computeContentHash(content: string): string;
+/**
+ * Convert cache key to string for storage.
+ */
+declare function cacheKeyToString(key: VerificationCacheKey): CacheKeyString;
+/**
+ * Parse cache key string back to object.
+ */
+declare function stringToCacheKey(str: CacheKeyString): VerificationCacheKey | null;
+/**
+ * Verification cache service.
+ */
+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.
+ */
+declare function createVerificationCacheService(storage: CacheStorageAdapter, config?: Partial<VerificationCacheConfig>): VerificationCacheService;
+//#endregion
+export { VerificationCacheService, cacheKeyToString, computeContentHash, createVerificationCacheService, stringToCacheKey };
+//# 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","names":[],"sources":["../../../src/services/verification-cache/cache-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;AA6HU,iBAnGM,kBAAA,CAmGN,OAAA,EAAA,MAAA,CAAA,EAAA,MAAA;;;;AAciC,iBA1G3B,gBAAA,CA0G2B,GAAA,EA1GL,oBA0GK,CAAA,EA1GkB,cA0GlB;;;;AAiFE,iBA1K7B,gBAAA,CA0K6B,GAAA,EAzKtC,cAyKsC,CAAA,EAxK1C,oBAwK0C,GAAA,IAAA;;;;AA4DzB,cA/KP,wBAAA,CA+KO;EAAO,QAAA,OAAA;EA0DX,QAAA,MAAA;EACL,QAAA,KAAA;EACQ,WAAA,CAAA,OAAA,EArON,mBAqOM,EAAA,MAAA,CAAA,EApOP,OAoOO,CApOC,uBAoOD,CAAA;EAAR;;;4DAvND,4CAEL;;;;cAYe,uBAAuB,QAAQ;;;;aAgD1C,8BACG;;;;MAMP;;;;;uCA0BwC;;;;uCAkCA;;;;WAkB5B;;;;cAQG,QAAQ;;;;;;;;;iBA0DZ,8BAAA,UACL,8BACA,QAAQ,2BAChB"}

package/dist/services/verification-cache/cache-service.js

@@ -0,0 +1,256 @@
+import { DEFAULT_CACHE_CONFIG } from "./types.js";
+import { createHash } from "crypto";
+
+//#region src/services/verification-cache/cache-service.ts
+/**
+* Verification cache service.
+*
+* Provides content-hash based caching for verification results
+* to avoid redundant checks and reduce AI costs.
+*/
+/**
+* Compute SHA256 hash of content.
+*/
+function computeContentHash(content) {
+	return createHash("sha256").update(content).digest("hex");
+}
+/**
+* Convert cache key to string for storage.
+*/
+function cacheKeyToString(key) {
+	const parts = [
+		`spec:${key.specHash.substring(0, 16)}`,
+		`impl:${key.implHash.substring(0, 16)}`,
+		`tier:${key.tier}`
+	];
+	if (key.aiModelVersion) parts.push(`model:${key.aiModelVersion}`);
+	return parts.join("|");
+}
+/**
+* Parse cache key string back to object.
+*/
+function stringToCacheKey(str) {
+	try {
+		const parts = str.split("|");
+		const keyMap = /* @__PURE__ */ new Map();
+		for (const part of parts) {
+			const [prefix, value] = part.split(":");
+			if (prefix && value) keyMap.set(prefix, value);
+		}
+		const specHash = keyMap.get("spec");
+		const implHash = keyMap.get("impl");
+		const tier = keyMap.get("tier");
+		if (!specHash || !implHash || !tier) return null;
+		return {
+			specHash,
+			implHash,
+			tier,
+			aiModelVersion: keyMap.get("model")
+		};
+	} catch {
+		return null;
+	}
+}
+/**
+* Get TTL for a specific tier.
+*/
+function getTtlForTier(tier, config) {
+	switch (tier) {
+		case "structure": return config.structureTtlMs;
+		case "behavior": return config.behaviorTtlMs;
+		case "ai_review": return config.aiTtlMs;
+		default: return config.defaultTtlMs;
+	}
+}
+/**
+* Verification cache service.
+*/
+var VerificationCacheService = class {
+	storage;
+	config;
+	stats;
+	constructor(storage, config = {}) {
+		this.storage = storage;
+		this.config = {
+			...DEFAULT_CACHE_CONFIG,
+			...config
+		};
+		this.stats = {
+			hits: 0,
+			misses: 0
+		};
+	}
+	/**
+	* Create a cache key from spec and implementation content.
+	*/
+	createKey(specContent, implContent, tier, aiModelVersion) {
+		return {
+			specHash: computeContentHash(specContent),
+			implHash: computeContentHash(implContent),
+			tier,
+			aiModelVersion: tier === "ai_review" ? aiModelVersion : void 0
+		};
+	}
+	/**
+	* Look up a cached verification result.
+	*/
+	async lookup(key) {
+		const keyStr = cacheKeyToString(key);
+		const entry = await this.storage.get(keyStr);
+		if (!entry) {
+			this.stats.misses++;
+			return {
+				hit: false,
+				reason: "not_found"
+			};
+		}
+		if (entry.meta.expiresAt) {
+			const expiresAt = new Date(entry.meta.expiresAt).getTime();
+			if (Date.now() > expiresAt) {
+				this.stats.misses++;
+				await this.storage.delete(keyStr);
+				return {
+					hit: false,
+					reason: "expired"
+				};
+			}
+		}
+		if (entry.key.specHash !== key.specHash) {
+			this.stats.misses++;
+			return {
+				hit: false,
+				reason: "spec_changed"
+			};
+		}
+		if (entry.key.implHash !== key.implHash) {
+			this.stats.misses++;
+			return {
+				hit: false,
+				reason: "impl_changed"
+			};
+		}
+		if (key.tier === "ai_review" && key.aiModelVersion && entry.key.aiModelVersion !== key.aiModelVersion) {
+			this.stats.misses++;
+			return {
+				hit: false,
+				reason: "model_changed"
+			};
+		}
+		this.stats.hits++;
+		return {
+			hit: true,
+			entry
+		};
+	}
+	/**
+	* Store a verification result in cache.
+	*/
+	async store(key, result, options = {}) {
+		const keyStr = cacheKeyToString(key);
+		const ttl = getTtlForTier(key.tier, this.config);
+		const entry = {
+			key,
+			result,
+			meta: {
+				createdAt: (/* @__PURE__ */ new Date()).toISOString(),
+				expiresAt: new Date(Date.now() + ttl).toISOString(),
+				dependencies: options.dependencies ?? [],
+				specName: options.specName,
+				implPath: options.implPath
+			}
+		};
+		await this.storage.set(keyStr, entry);
+		await this.pruneIfNeeded();
+	}
+	/**
+	* Invalidate cache entries for a specific file.
+	* Used when a file changes to invalidate dependent caches.
+	*/
+	async invalidateForFile(filePath) {
+		if (!this.config.transitiveInvalidation) return 0;
+		const keys = await this.storage.keys();
+		let invalidated = 0;
+		for (const keyStr of keys) {
+			const entry = await this.storage.get(keyStr);
+			if (!entry) continue;
+			if (entry.meta.dependencies.includes(filePath)) {
+				await this.storage.delete(keyStr);
+				invalidated++;
+			}
+			if (entry.meta.specName === filePath || entry.meta.implPath === filePath) {
+				await this.storage.delete(keyStr);
+				invalidated++;
+			}
+		}
+		return invalidated;
+	}
+	/**
+	* Invalidate all cache entries for a specific spec.
+	*/
+	async invalidateForSpec(specHash) {
+		const keys = await this.storage.keys();
+		let invalidated = 0;
+		for (const keyStr of keys) {
+			const parsed = stringToCacheKey(keyStr);
+			if (parsed && parsed.specHash.startsWith(specHash.substring(0, 16))) {
+				await this.storage.delete(keyStr);
+				invalidated++;
+			}
+		}
+		return invalidated;
+	}
+	/**
+	* Clear all cache entries.
+	*/
+	async clear() {
+		await this.storage.clear();
+		this.stats = {
+			hits: 0,
+			misses: 0
+		};
+	}
+	/**
+	* Get cache statistics.
+	*/
+	async getStats() {
+		const storageStats = await this.storage.stats?.();
+		return {
+			totalEntries: storageStats?.entryCount ?? (await this.storage.keys()).length,
+			hits: this.stats.hits,
+			misses: this.stats.misses,
+			hitRate: this.stats.hits + this.stats.misses > 0 ? Math.round(this.stats.hits / (this.stats.hits + this.stats.misses) * 100) : 0,
+			memoryUsage: storageStats?.memoryUsage
+		};
+	}
+	/**
+	* Prune cache if over the maximum entry limit.
+	*/
+	async pruneIfNeeded() {
+		const keys = await this.storage.keys();
+		if (keys.length <= this.config.maxEntries) return;
+		const entries = [];
+		for (const keyStr of keys) {
+			const entry = await this.storage.get(keyStr);
+			if (entry) entries.push({
+				key: keyStr,
+				createdAt: new Date(entry.meta.createdAt).getTime()
+			});
+		}
+		entries.sort((a, b) => a.createdAt - b.createdAt);
+		const toRemove = entries.length - this.config.maxEntries;
+		for (let i = 0; i < toRemove; i++) {
+			const entry = entries[i];
+			if (entry) await this.storage.delete(entry.key);
+		}
+	}
+};
+/**
+* Create a verification cache service with the given storage adapter.
+*/
+function createVerificationCacheService(storage, config) {
+	return new VerificationCacheService(storage, config);
+}
+
+//#endregion
+export { VerificationCacheService, cacheKeyToString, computeContentHash, createVerificationCacheService, stringToCacheKey };
+//# sourceMappingURL=cache-service.js.map

package/dist/services/verification-cache/cache-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache-service.js","names":["entry: VerificationCacheEntry","entries: { key: string; createdAt: number }[]"],"sources":["../../../src/services/verification-cache/cache-service.ts"],"sourcesContent":["/**\n * Verification cache service.\n *\n * Provides content-hash based caching for verification results\n * to avoid redundant checks and reduce AI costs.\n */\n\nimport { createHash } from 'crypto';\nimport type {\n  VerificationReport,\n  VerificationTier,\n} from '@contractspec/lib.contracts/llm';\nimport type {\n  CacheKeyString,\n  CacheLookupResult,\n  CacheStats,\n  CacheStorageAdapter,\n  VerificationCacheConfig,\n  VerificationCacheEntry,\n  VerificationCacheKey,\n} from './types';\nimport { DEFAULT_CACHE_CONFIG } from './types';\n\n/**\n * Compute SHA256 hash of content.\n */\nexport function computeContentHash(content: string): string {\n  return createHash('sha256').update(content).digest('hex');\n}\n\n/**\n * Convert cache key to string for storage.\n */\nexport function cacheKeyToString(key: VerificationCacheKey): CacheKeyString {\n  const parts = [\n    `spec:${key.specHash.substring(0, 16)}`,\n    `impl:${key.implHash.substring(0, 16)}`,\n    `tier:${key.tier}`,\n  ];\n\n  if (key.aiModelVersion) {\n    parts.push(`model:${key.aiModelVersion}`);\n  }\n\n  return parts.join('|');\n}\n\n/**\n * Parse cache key string back to object.\n */\nexport function stringToCacheKey(\n  str: CacheKeyString\n): VerificationCacheKey | null {\n  try {\n    const parts = str.split('|');\n    const keyMap = new Map<string, string>();\n\n    for (const part of parts) {\n      const [prefix, value] = part.split(':');\n      if (prefix && value) {\n        keyMap.set(prefix, value);\n      }\n    }\n\n    const specHash = keyMap.get('spec');\n    const implHash = keyMap.get('impl');\n    const tier = keyMap.get('tier') as VerificationTier;\n\n    if (!specHash || !implHash || !tier) {\n      return null;\n    }\n\n    return {\n      specHash,\n      implHash,\n      tier,\n      aiModelVersion: keyMap.get('model'),\n    };\n  } catch {\n    return null;\n  }\n}\n\n/**\n * Get TTL for a specific tier.\n */\nfunction getTtlForTier(\n  tier: VerificationTier,\n  config: Required<VerificationCacheConfig>\n): number {\n  switch (tier) {\n    case 'structure':\n      return config.structureTtlMs;\n    case 'behavior':\n      return config.behaviorTtlMs;\n    case 'ai_review':\n      return config.aiTtlMs;\n    default:\n      return config.defaultTtlMs;\n  }\n}\n\n/**\n * Verification cache service.\n */\nexport class VerificationCacheService {\n  private storage: CacheStorageAdapter;\n  private config: Required<VerificationCacheConfig>;\n  private stats: { hits: number; misses: number };\n\n  constructor(\n    storage: CacheStorageAdapter,\n    config: Partial<VerificationCacheConfig> = {}\n  ) {\n    this.storage = storage;\n    this.config = { ...DEFAULT_CACHE_CONFIG, ...config };\n    this.stats = { hits: 0, misses: 0 };\n  }\n\n  /**\n   * Create a cache key from spec and implementation content.\n   */\n  createKey(\n    specContent: string,\n    implContent: string,\n    tier: VerificationTier,\n    aiModelVersion?: string\n  ): VerificationCacheKey {\n    return {\n      specHash: computeContentHash(specContent),\n      implHash: computeContentHash(implContent),\n      tier,\n      aiModelVersion: tier === 'ai_review' ? aiModelVersion : undefined,\n    };\n  }\n\n  /**\n   * Look up a cached verification result.\n   */\n  async lookup(key: VerificationCacheKey): Promise<CacheLookupResult> {\n    const keyStr = cacheKeyToString(key);\n    const entry = await this.storage.get(keyStr);\n\n    if (!entry) {\n      this.stats.misses++;\n      return { hit: false, reason: 'not_found' };\n    }\n\n    // Check expiration\n    if (entry.meta.expiresAt) {\n      const expiresAt = new Date(entry.meta.expiresAt).getTime();\n      if (Date.now() > expiresAt) {\n        this.stats.misses++;\n        await this.storage.delete(keyStr);\n        return { hit: false, reason: 'expired' };\n      }\n    }\n\n    // Validate hashes still match\n    if (entry.key.specHash !== key.specHash) {\n      this.stats.misses++;\n      return { hit: false, reason: 'spec_changed' };\n    }\n\n    if (entry.key.implHash !== key.implHash) {\n      this.stats.misses++;\n      return { hit: false, reason: 'impl_changed' };\n    }\n\n    // For AI tier, check model version\n    if (\n      key.tier === 'ai_review' &&\n      key.aiModelVersion &&\n      entry.key.aiModelVersion !== key.aiModelVersion\n    ) {\n      this.stats.misses++;\n      return { hit: false, reason: 'model_changed' };\n    }\n\n    this.stats.hits++;\n    return { hit: true, entry };\n  }\n\n  /**\n   * Store a verification result in cache.\n   */\n  async store(\n    key: VerificationCacheKey,\n    result: VerificationReport,\n    options: {\n      dependencies?: string[];\n      specName?: string;\n      implPath?: string;\n    } = {}\n  ): Promise<void> {\n    const keyStr = cacheKeyToString(key);\n    const ttl = getTtlForTier(key.tier, this.config);\n\n    const entry: VerificationCacheEntry = {\n      key,\n      result,\n      meta: {\n        createdAt: new Date().toISOString(),\n        expiresAt: new Date(Date.now() + ttl).toISOString(),\n        dependencies: options.dependencies ?? [],\n        specName: options.specName,\n        implPath: options.implPath,\n      },\n    };\n\n    await this.storage.set(keyStr, entry);\n\n    // Prune if over limit\n    await this.pruneIfNeeded();\n  }\n\n  /**\n   * Invalidate cache entries for a specific file.\n   * Used when a file changes to invalidate dependent caches.\n   */\n  async invalidateForFile(filePath: string): Promise<number> {\n    if (!this.config.transitiveInvalidation) {\n      return 0;\n    }\n\n    const keys = await this.storage.keys();\n    let invalidated = 0;\n\n    for (const keyStr of keys) {\n      const entry = await this.storage.get(keyStr);\n      if (!entry) continue;\n\n      // Check if this file is in dependencies\n      if (entry.meta.dependencies.includes(filePath)) {\n        await this.storage.delete(keyStr);\n        invalidated++;\n      }\n\n      // Check if file matches spec or impl path\n      if (\n        entry.meta.specName === filePath ||\n        entry.meta.implPath === filePath\n      ) {\n        await this.storage.delete(keyStr);\n        invalidated++;\n      }\n    }\n\n    return invalidated;\n  }\n\n  /**\n   * Invalidate all cache entries for a specific spec.\n   */\n  async invalidateForSpec(specHash: string): Promise<number> {\n    const keys = await this.storage.keys();\n    let invalidated = 0;\n\n    for (const keyStr of keys) {\n      const parsed = stringToCacheKey(keyStr);\n      if (parsed && parsed.specHash.startsWith(specHash.substring(0, 16))) {\n        await this.storage.delete(keyStr);\n        invalidated++;\n      }\n    }\n\n    return invalidated;\n  }\n\n  /**\n   * Clear all cache entries.\n   */\n  async clear(): Promise<void> {\n    await this.storage.clear();\n    this.stats = { hits: 0, misses: 0 };\n  }\n\n  /**\n   * Get cache statistics.\n   */\n  async getStats(): Promise<CacheStats> {\n    const storageStats = await this.storage.stats?.();\n\n    return {\n      totalEntries:\n        storageStats?.entryCount ?? (await this.storage.keys()).length,\n      hits: this.stats.hits,\n      misses: this.stats.misses,\n      hitRate:\n        this.stats.hits + this.stats.misses > 0\n          ? Math.round(\n              (this.stats.hits / (this.stats.hits + this.stats.misses)) * 100\n            )\n          : 0,\n      memoryUsage: storageStats?.memoryUsage,\n    };\n  }\n\n  /**\n   * Prune cache if over the maximum entry limit.\n   */\n  private async pruneIfNeeded(): Promise<void> {\n    const keys = await this.storage.keys();\n\n    if (keys.length <= this.config.maxEntries) {\n      return;\n    }\n\n    // Get all entries with their creation times\n    const entries: { key: string; createdAt: number }[] = [];\n\n    for (const keyStr of keys) {\n      const entry = await this.storage.get(keyStr);\n      if (entry) {\n        entries.push({\n          key: keyStr,\n          createdAt: new Date(entry.meta.createdAt).getTime(),\n        });\n      }\n    }\n\n    // Sort by creation time (oldest first)\n    entries.sort((a, b) => a.createdAt - b.createdAt);\n\n    // Remove oldest entries until under limit\n    const toRemove = entries.length - this.config.maxEntries;\n    for (let i = 0; i < toRemove; i++) {\n      const entry = entries[i];\n      if (entry) {\n        await this.storage.delete(entry.key);\n      }\n    }\n  }\n}\n\n/**\n * Create a verification cache service with the given storage adapter.\n */\nexport function createVerificationCacheService(\n  storage: CacheStorageAdapter,\n  config?: Partial<VerificationCacheConfig>\n): VerificationCacheService {\n  return new VerificationCacheService(storage, config);\n}\n"],"mappings":";;;;;;;;;;;;;AA0BA,SAAgB,mBAAmB,SAAyB;AAC1D,QAAO,WAAW,SAAS,CAAC,OAAO,QAAQ,CAAC,OAAO,MAAM;;;;;AAM3D,SAAgB,iBAAiB,KAA2C;CAC1E,MAAM,QAAQ;EACZ,QAAQ,IAAI,SAAS,UAAU,GAAG,GAAG;EACrC,QAAQ,IAAI,SAAS,UAAU,GAAG,GAAG;EACrC,QAAQ,IAAI;EACb;AAED,KAAI,IAAI,eACN,OAAM,KAAK,SAAS,IAAI,iBAAiB;AAG3C,QAAO,MAAM,KAAK,IAAI;;;;;AAMxB,SAAgB,iBACd,KAC6B;AAC7B,KAAI;EACF,MAAM,QAAQ,IAAI,MAAM,IAAI;EAC5B,MAAM,yBAAS,IAAI,KAAqB;AAExC,OAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,CAAC,QAAQ,SAAS,KAAK,MAAM,IAAI;AACvC,OAAI,UAAU,MACZ,QAAO,IAAI,QAAQ,MAAM;;EAI7B,MAAM,WAAW,OAAO,IAAI,OAAO;EACnC,MAAM,WAAW,OAAO,IAAI,OAAO;EACnC,MAAM,OAAO,OAAO,IAAI,OAAO;AAE/B,MAAI,CAAC,YAAY,CAAC,YAAY,CAAC,KAC7B,QAAO;AAGT,SAAO;GACL;GACA;GACA;GACA,gBAAgB,OAAO,IAAI,QAAQ;GACpC;SACK;AACN,SAAO;;;;;;AAOX,SAAS,cACP,MACA,QACQ;AACR,SAAQ,MAAR;EACE,KAAK,YACH,QAAO,OAAO;EAChB,KAAK,WACH,QAAO,OAAO;EAChB,KAAK,YACH,QAAO,OAAO;EAChB,QACE,QAAO,OAAO;;;;;;AAOpB,IAAa,2BAAb,MAAsC;CACpC,AAAQ;CACR,AAAQ;CACR,AAAQ;CAER,YACE,SACA,SAA2C,EAAE,EAC7C;AACA,OAAK,UAAU;AACf,OAAK,SAAS;GAAE,GAAG;GAAsB,GAAG;GAAQ;AACpD,OAAK,QAAQ;GAAE,MAAM;GAAG,QAAQ;GAAG;;;;;CAMrC,UACE,aACA,aACA,MACA,gBACsB;AACtB,SAAO;GACL,UAAU,mBAAmB,YAAY;GACzC,UAAU,mBAAmB,YAAY;GACzC;GACA,gBAAgB,SAAS,cAAc,iBAAiB;GACzD;;;;;CAMH,MAAM,OAAO,KAAuD;EAClE,MAAM,SAAS,iBAAiB,IAAI;EACpC,MAAM,QAAQ,MAAM,KAAK,QAAQ,IAAI,OAAO;AAE5C,MAAI,CAAC,OAAO;AACV,QAAK,MAAM;AACX,UAAO;IAAE,KAAK;IAAO,QAAQ;IAAa;;AAI5C,MAAI,MAAM,KAAK,WAAW;GACxB,MAAM,YAAY,IAAI,KAAK,MAAM,KAAK,UAAU,CAAC,SAAS;AAC1D,OAAI,KAAK,KAAK,GAAG,WAAW;AAC1B,SAAK,MAAM;AACX,UAAM,KAAK,QAAQ,OAAO,OAAO;AACjC,WAAO;KAAE,KAAK;KAAO,QAAQ;KAAW;;;AAK5C,MAAI,MAAM,IAAI,aAAa,IAAI,UAAU;AACvC,QAAK,MAAM;AACX,UAAO;IAAE,KAAK;IAAO,QAAQ;IAAgB;;AAG/C,MAAI,MAAM,IAAI,aAAa,IAAI,UAAU;AACvC,QAAK,MAAM;AACX,UAAO;IAAE,KAAK;IAAO,QAAQ;IAAgB;;AAI/C,MACE,IAAI,SAAS,eACb,IAAI,kBACJ,MAAM,IAAI,mBAAmB,IAAI,gBACjC;AACA,QAAK,MAAM;AACX,UAAO;IAAE,KAAK;IAAO,QAAQ;IAAiB;;AAGhD,OAAK,MAAM;AACX,SAAO;GAAE,KAAK;GAAM;GAAO;;;;;CAM7B,MAAM,MACJ,KACA,QACA,UAII,EAAE,EACS;EACf,MAAM,SAAS,iBAAiB,IAAI;EACpC,MAAM,MAAM,cAAc,IAAI,MAAM,KAAK,OAAO;EAEhD,MAAMA,QAAgC;GACpC;GACA;GACA,MAAM;IACJ,4BAAW,IAAI,MAAM,EAAC,aAAa;IACnC,WAAW,IAAI,KAAK,KAAK,KAAK,GAAG,IAAI,CAAC,aAAa;IACnD,cAAc,QAAQ,gBAAgB,EAAE;IACxC,UAAU,QAAQ;IAClB,UAAU,QAAQ;IACnB;GACF;AAED,QAAM,KAAK,QAAQ,IAAI,QAAQ,MAAM;AAGrC,QAAM,KAAK,eAAe;;;;;;CAO5B,MAAM,kBAAkB,UAAmC;AACzD,MAAI,CAAC,KAAK,OAAO,uBACf,QAAO;EAGT,MAAM,OAAO,MAAM,KAAK,QAAQ,MAAM;EACtC,IAAI,cAAc;AAElB,OAAK,MAAM,UAAU,MAAM;GACzB,MAAM,QAAQ,MAAM,KAAK,QAAQ,IAAI,OAAO;AAC5C,OAAI,CAAC,MAAO;AAGZ,OAAI,MAAM,KAAK,aAAa,SAAS,SAAS,EAAE;AAC9C,UAAM,KAAK,QAAQ,OAAO,OAAO;AACjC;;AAIF,OACE,MAAM,KAAK,aAAa,YACxB,MAAM,KAAK,aAAa,UACxB;AACA,UAAM,KAAK,QAAQ,OAAO,OAAO;AACjC;;;AAIJ,SAAO;;;;;CAMT,MAAM,kBAAkB,UAAmC;EACzD,MAAM,OAAO,MAAM,KAAK,QAAQ,MAAM;EACtC,IAAI,cAAc;AAElB,OAAK,MAAM,UAAU,MAAM;GACzB,MAAM,SAAS,iBAAiB,OAAO;AACvC,OAAI,UAAU,OAAO,SAAS,WAAW,SAAS,UAAU,GAAG,GAAG,CAAC,EAAE;AACnE,UAAM,KAAK,QAAQ,OAAO,OAAO;AACjC;;;AAIJ,SAAO;;;;;CAMT,MAAM,QAAuB;AAC3B,QAAM,KAAK,QAAQ,OAAO;AAC1B,OAAK,QAAQ;GAAE,MAAM;GAAG,QAAQ;GAAG;;;;;CAMrC,MAAM,WAAgC;EACpC,MAAM,eAAe,MAAM,KAAK,QAAQ,SAAS;AAEjD,SAAO;GACL,cACE,cAAc,eAAe,MAAM,KAAK,QAAQ,MAAM,EAAE;GAC1D,MAAM,KAAK,MAAM;GACjB,QAAQ,KAAK,MAAM;GACnB,SACE,KAAK,MAAM,OAAO,KAAK,MAAM,SAAS,IAClC,KAAK,MACF,KAAK,MAAM,QAAQ,KAAK,MAAM,OAAO,KAAK,MAAM,UAAW,IAC7D,GACD;GACN,aAAa,cAAc;GAC5B;;;;;CAMH,MAAc,gBAA+B;EAC3C,MAAM,OAAO,MAAM,KAAK,QAAQ,MAAM;AAEtC,MAAI,KAAK,UAAU,KAAK,OAAO,WAC7B;EAIF,MAAMC,UAAgD,EAAE;AAExD,OAAK,MAAM,UAAU,MAAM;GACzB,MAAM,QAAQ,MAAM,KAAK,QAAQ,IAAI,OAAO;AAC5C,OAAI,MACF,SAAQ,KAAK;IACX,KAAK;IACL,WAAW,IAAI,KAAK,MAAM,KAAK,UAAU,CAAC,SAAS;IACpD,CAAC;;AAKN,UAAQ,MAAM,GAAG,MAAM,EAAE,YAAY,EAAE,UAAU;EAGjD,MAAM,WAAW,QAAQ,SAAS,KAAK,OAAO;AAC9C,OAAK,IAAI,IAAI,GAAG,IAAI,UAAU,KAAK;GACjC,MAAM,QAAQ,QAAQ;AACtB,OAAI,MACF,OAAM,KAAK,QAAQ,OAAO,MAAM,IAAI;;;;;;;AAS5C,SAAgB,+BACd,SACA,QAC0B;AAC1B,QAAO,IAAI,yBAAyB,SAAS,OAAO"}

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

@@ -0,0 +1,6 @@
+import { CacheEntryMeta, CacheKeyString, CacheLookupResult, CacheMissReason, CacheStats, CacheStorageAdapter, DEFAULT_CACHE_CONFIG, VerificationCacheConfig, VerificationCacheEntry, VerificationCacheKey } from "./types.js";
+import { VerificationCacheService, cacheKeyToString, computeContentHash, createVerificationCacheService, stringToCacheKey } from "./cache-service.js";
+import { InMemoryCacheStorage, createInMemoryCacheStorage } from "./adapters/in-memory.js";
+import { FileSystemCacheStorage, createFileSystemCacheStorage } from "./adapters/filesystem.js";
+import { KeyValueStore, WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage } from "./adapters/workspace-state.js";
+import "./adapters/index.js";

package/dist/services/verification-cache/index.js

@@ -0,0 +1,6 @@
+import { DEFAULT_CACHE_CONFIG } from "./types.js";
+import { VerificationCacheService, cacheKeyToString, computeContentHash, createVerificationCacheService, stringToCacheKey } from "./cache-service.js";
+import { InMemoryCacheStorage, createInMemoryCacheStorage } from "./adapters/in-memory.js";
+import { FileSystemCacheStorage, createFileSystemCacheStorage } from "./adapters/filesystem.js";
+import { WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage } from "./adapters/workspace-state.js";
+import "./adapters/index.js";

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

@@ -0,0 +1,124 @@
+import { VerificationReport, VerificationTier } from "@contractspec/lib.contracts/llm";
+
+//#region src/services/verification-cache/types.d.ts
+
+/**
+ * Cache key for verification results.
+ */
+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.
+ */
+type CacheKeyString = string;
+/**
+ * Cache entry metadata.
+ */
+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.
+ */
+interface VerificationCacheEntry {
+  /** The cache key */
+  key: VerificationCacheKey;
+  /** The verification result */
+  result: VerificationReport;
+  /** Entry metadata */
+  meta: CacheEntryMeta;
+}
+/**
+ * Cache lookup result.
+ */
+type CacheLookupResult = {
+  hit: true;
+  entry: VerificationCacheEntry;
+} | {
+  hit: false;
+  reason: CacheMissReason;
+};
+/**
+ * Reasons for cache miss.
+ */
+type CacheMissReason = 'not_found' | 'expired' | 'spec_changed' | 'impl_changed' | 'dependency_changed' | 'model_changed';
+/**
+ * Cache statistics.
+ */
+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.
+ */
+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.
+ */
+declare const DEFAULT_CACHE_CONFIG: Required<VerificationCacheConfig>;
+/**
+ * Storage adapter interface for cache persistence.
+ */
+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;
+  }>;
+}
+//#endregion
+export { CacheEntryMeta, CacheKeyString, CacheLookupResult, CacheMissReason, CacheStats, CacheStorageAdapter, DEFAULT_CACHE_CONFIG, VerificationCacheConfig, VerificationCacheEntry, VerificationCacheKey };
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","names":[],"sources":["../../../src/services/verification-cache/types.ts"],"sourcesContent":[],"mappings":";;;;AA0BA;AAKA;AAgBA;AAEO,UArCU,oBAAA,CAqCV;EAEG;EAEF,QAAA,EAAA,MAAA;EAAc;EAMV,QAAA,EAAA,MAAA;EAOA;EAWK,IAAA,EA3DT,gBA2DmB;EAkBV;EAkBJ,cAAA,CAAA,EAAA,MAOZ;AAKD;;;;AAIW,KAvGC,cAAA,GAuGD,MAAA;;;;AAEoB,UApGd,cAAA,CAoGc;EAEpB;EAAiB,SAAA,EAAA,MAAA;EAEV;EAAR,SAAA,CAAA,EAAA,MAAA;EAEC;EAEC,YAAA,EAAA,MAAA,EAAA;EAAO;;;;;;;;UA5FF,sBAAA;;OAEV;;UAEG;;QAEF;;;;;KAMI,iBAAA;;SACY;;;UACE;;;;;KAKd,eAAA;;;;UAWK,UAAA;;;;;;;;;;;;;;;;;UAkBA,uBAAA;;;;;;;;;;;;;;;;;cAkBJ,sBAAsB,SAAS;;;;UAY3B,mBAAA;;WAEN,iBAAiB,QAAQ;;WAEzB,uBAAuB,yBAAyB;;cAE7C,iBAAiB;;WAEpB,iBAAiB;;UAElB,QAAQ;;WAEP;;YAEC"}

package/dist/services/verification-cache/types.js

@@ -0,0 +1,16 @@
+//#region src/services/verification-cache/types.ts
+/**
+* Default cache configuration.
+*/
+const DEFAULT_CACHE_CONFIG = {
+	maxEntries: 1e3,
+	defaultTtlMs: 1440 * 60 * 1e3,
+	structureTtlMs: 10080 * 60 * 1e3,
+	behaviorTtlMs: 1440 * 60 * 1e3,
+	aiTtlMs: 1440 * 60 * 1e3,
+	transitiveInvalidation: true
+};
+
+//#endregion
+export { DEFAULT_CACHE_CONFIG };
+//# sourceMappingURL=types.js.map

package/dist/services/verification-cache/types.js.map

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

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

@@ -0,0 +1,25 @@
+import { SemanticVerificationResult, VerifyConfig, VerifyInput } from "./types.js";
+import { VerificationReport } from "@contractspec/lib.contracts/llm";
+
+//#region src/services/verify/ai-verifier.d.ts
+
+/**
+ * Run AI-powered verification.
+ */
+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.
+ */
+declare function createQuickAIReview(input: VerifyInput): VerificationReport;
+/**
+ * Run semantic field-level verification using AI.
+ */
+declare function verifySemanticFields(input: VerifyInput, config?: VerifyConfig): Promise<SemanticVerificationResult>;
+/**
+ * Run enhanced AI verification with semantic field analysis.
+ */
+declare function verifyWithAIEnhanced(input: VerifyInput, config?: VerifyConfig): Promise<VerificationReport>;
+//#endregion
+export { createQuickAIReview, verifySemanticFields, verifyWithAI, verifyWithAIEnhanced };
+//# 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","names":[],"sources":["../../../src/services/verify/ai-verifier.ts"],"sourcesContent":[],"mappings":";;;;;;;AAkPA;AAsPsB,iBArTA,YAAA,CAqToB,KAAA,EApTjC,WAoTiC,EAAA,MAAA,CAAA,EAnThC,YAmTgC,CAAA,EAlTvC,OAkTuC,CAlT/B,kBAkT+B,CAAA;;;;;AAGhC,iBAzPM,mBAAA,CAyPN,KAAA,EAzPiC,WAyPjC,CAAA,EAzP+C,kBAyP/C;AAmBV;;;AAGW,iBAzBW,oBAAA,CAyBX,KAAA,EAxBF,WAwBE,EAAA,MAAA,CAAA,EAvBD,YAuBC,CAAA,EAtBR,OAsBQ,CAtBA,0BAsBA,CAAA;;;;iBAHW,oBAAA,QACb,sBACC,eACP,QAAQ"}