@contractspec/bundle.workspace 1.46.2 → 1.48.0

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

@@ -1,70 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,256 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,6 +0,0 @@
-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

@@ -1,6 +0,0 @@
-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

@@ -1,124 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,16 +0,0 @@
-//#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

@@ -1 +0,0 @@
-{"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

@@ -1,25 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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"}