@contractspec/bundle.workspace 1.46.1 → 1.47.0

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

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"tenant-validator.d.ts","names":[],"sources":["../../../src/services/validate/tenant-validator.ts"],"sourcesContent":[],"mappings":";;;;UAaiB,sBAAA;WACN;EADM,MAAA,CAAA,EAEN,UAFM,CAAA,OAEY,cAFU,CAAA;EAC5B,KAAA,EAAA,OAAA;EACkB,MAAA,EAAA,MAAA,EAAA;;AAAR,UAKJ,uBAAA,CALI;EAKJ,WAAA,CAAA,EAAA,MAAA,EAAA,GAAA,MAAuB;EAMlB,qBAAA,CAAA,EAAoB,MAAA,EAAA,GAAA,MAAA;EAC7B,kBAAA,CAAA,EAAA,MAAA;;AAGK,iBAJI,oBAAA,CAIJ,SAAA,EAHL,gBAGK,EAAA,UAAA,EAAA,MAAA,EAAA,cAAA,EADA,uBACA,EAAA,QAAA,EAAA;EACP,EAAA,EADO,SACP;CAAR,CAAA,EAAA,OAAA,CAAQ,sBAAR,CAAA"}

package/dist/services/validate/tenant-validator.js

@@ -1,165 +0,0 @@
-import { resolve } from "path";
-import { pathToFileURL } from "url";
-import { validateConfig } from "@contractspec/lib.contracts";
-import { readFile } from "fs/promises";
-
-//#region src/services/validate/tenant-validator.ts
-async function validateTenantConfig(blueprint, tenantPath, contextOptions, adapters) {
-	const { fs } = adapters;
-	const resolvedPath = resolve(process.cwd(), tenantPath);
-	if (!await fs.exists(resolvedPath)) return {
-		valid: false,
-		errors: [`Tenant config file not found: ${resolvedPath}`]
-	};
-	try {
-		const tenant = await loadTenantConfig(resolvedPath);
-		const connections = await loadIntegrationConnections(contextOptions.connections, fs);
-		const catalog = await loadTranslationCatalog(contextOptions.translationCatalog, fs);
-		const integrationSpecs = await loadIntegrationRegistrars(contextOptions.integrationRegistrars);
-		const context = {};
-		if (connections.length > 0) context.tenantConnections = connections;
-		if (catalog) context.translationCatalogs = {
-			blueprint: [catalog],
-			platform: []
-		};
-		if (integrationSpecs) context.integrationSpecs = integrationSpecs;
-		const report = validateConfig(blueprint, tenant, context);
-		return {
-			config: tenant,
-			report,
-			valid: report.valid,
-			errors: report.errors.map((e) => `[${e.code}] ${e.path}: ${e.message}`)
-		};
-	} catch (error) {
-		return {
-			valid: false,
-			errors: [error instanceof Error ? error.message : String(error)]
-		};
-	}
-}
-async function loadTenantConfig(tenantPath) {
-	if (tenantPath.endsWith(".json")) {
-		const raw = await readFile(tenantPath, "utf-8");
-		const json = JSON.parse(raw);
-		if (!isTenantConfig(json)) throw new Error("Tenant config JSON does not match the expected structure (missing meta).");
-		return json;
-	}
-	const mod = await loadModule(tenantPath);
-	const candidates = Object.values(mod).filter(isTenantConfig);
-	if (candidates.length === 0) throw new Error("Tenant config module does not export a TenantAppConfig.");
-	return candidates[0];
-}
-function isTenantConfig(value) {
-	return typeof value === "object" && value !== null && "meta" in value && typeof value.meta?.tenantId === "string";
-}
-async function loadModule(modulePath) {
-	try {
-		return await import(pathToFileURL(modulePath).href);
-	} catch (error) {
-		throw new Error(`Failed to load module at ${modulePath}: ${error}`);
-	}
-}
-function normalizePathOption(value) {
-	if (!value) return [];
-	return (Array.isArray(value) ? value : value.split(",")).map((entry) => entry.trim()).filter(Boolean);
-}
-async function loadIntegrationConnections(value, fs) {
-	const paths = normalizePathOption(value);
-	if (!paths.length) return [];
-	const results = [];
-	for (const path of paths) {
-		const resolved = resolve(process.cwd(), path);
-		if (!await fs.exists(resolved)) {
-			console.warn(`Warning: Connection file not found: ${resolved}`);
-			continue;
-		}
-		if (resolved.endsWith(".json")) {
-			const raw = await readFile(resolved, "utf-8");
-			const parsed = JSON.parse(raw);
-			results.push(...collectConnections(parsed));
-			continue;
-		}
-		const mod = await loadModule(resolved);
-		results.push(...collectConnections(mod));
-	}
-	return results;
-}
-function collectConnections(value) {
-	if (Array.isArray(value)) {
-		const connections = value.filter(isIntegrationConnection);
-		if (connections.length) return connections;
-	}
-	if (isIntegrationConnection(value)) return [value];
-	if (value && typeof value === "object") {
-		const collected = Object.values(value).flatMap((entry) => collectConnections(entry));
-		if (collected.length) return collected;
-	}
-	return [];
-}
-function isIntegrationConnection(value) {
-	return typeof value === "object" && value !== null && "meta" in value && typeof value.meta?.id === "string" && typeof value.secretRef === "string";
-}
-async function loadTranslationCatalog(path, fs) {
-	if (!path) return void 0;
-	const resolved = resolve(process.cwd(), path);
-	if (!await fs.exists(resolved)) return void 0;
-	if (resolved.endsWith(".json")) {
-		const raw = await readFile(resolved, "utf-8");
-		const parsed = JSON.parse(raw);
-		if (isBlueprintTranslationCatalog(parsed)) return normaliseTranslationCatalog(parsed);
-		return;
-	}
-	const mod = await loadModule(resolved);
-	const catalogs = Object.values(mod).filter(isBlueprintTranslationCatalog);
-	if (catalogs.length === 0) return void 0;
-	return normaliseTranslationCatalog(catalogs[0]);
-}
-function isBlueprintTranslationCatalog(value) {
-	return typeof value === "object" && value !== null && "meta" in value && typeof value.meta?.key === "string" && typeof value.meta?.version === "string" && Array.isArray(value.entries);
-}
-function normaliseTranslationCatalog(catalog) {
-	const supportedLocales = catalog.supportedLocales && catalog.supportedLocales.length > 0 ? catalog.supportedLocales : [catalog.defaultLocale];
-	return {
-		...catalog,
-		supportedLocales
-	};
-}
-async function loadIntegrationRegistrars(value) {
-	const entries = normalizePathOption(value);
-	if (!entries.length) return void 0;
-	const { IntegrationSpecRegistry } = await import("@contractspec/lib.contracts");
-	const registry = new IntegrationSpecRegistry();
-	for (const entry of entries) {
-		const { modulePath, exportName } = parseRegistrarEntry(entry);
-		if (!modulePath) continue;
-		const resolved = resolve(process.cwd(), modulePath);
-		try {
-			const registrar = pickRegistrar(await loadModule(resolved), exportName);
-			if (registrar) await registrar(registry);
-		} catch (e) {
-			console.warn(`Failed to load registrar from ${resolved}: ${e}`);
-		}
-	}
-	return registry;
-}
-function parseRegistrarEntry(entry) {
-	if (!entry) return { modulePath: null };
-	const [modulePathRaw, exportNameRaw] = entry.split("#");
-	return {
-		modulePath: modulePathRaw?.trim() ?? null,
-		exportName: exportNameRaw?.trim()
-	};
-}
-function pickRegistrar(mod, exportName) {
-	if (exportName) {
-		const candidate = mod[exportName];
-		if (typeof candidate === "function") return candidate;
-		return;
-	}
-	if (typeof mod.default === "function") return mod.default;
-	for (const value of Object.values(mod)) if (typeof value === "function") return value;
-}
-
-//#endregion
-export { validateTenantConfig };
-//# sourceMappingURL=tenant-validator.js.map

package/dist/services/validate/tenant-validator.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"tenant-validator.js","names":["context: Parameters<typeof validateTenantConfigSpecs>[2]","validateTenantConfigSpecs","results: IntegrationConnection[]"],"sources":["../../../src/services/validate/tenant-validator.ts"],"sourcesContent":["import { resolve } from 'path';\nimport { readFile } from 'fs/promises';\nimport { pathToFileURL } from 'url';\nimport {\n  validateConfig as validateTenantConfigSpecs,\n  type AppBlueprintSpec,\n  type TenantAppConfig,\n  type IntegrationSpecRegistry,\n  type BlueprintTranslationCatalog,\n  type IntegrationConnection,\n} from '@contractspec/lib.contracts';\nimport type { FsAdapter } from '../../ports/fs';\n\nexport interface TenantValidationResult {\n  config?: TenantAppConfig;\n  report?: ReturnType<typeof validateTenantConfigSpecs>;\n  valid: boolean;\n  errors: string[];\n}\n\nexport interface TenantValidationContext {\n  connections?: string[] | string;\n  integrationRegistrars?: string[] | string;\n  translationCatalog?: string;\n}\n\nexport async function validateTenantConfig(\n  blueprint: AppBlueprintSpec,\n  tenantPath: string,\n  contextOptions: TenantValidationContext,\n  adapters: { fs: FsAdapter }\n): Promise<TenantValidationResult> {\n  const { fs } = adapters;\n  const resolvedPath = resolve(process.cwd(), tenantPath);\n\n  if (!(await fs.exists(resolvedPath))) {\n    return {\n      valid: false,\n      errors: [`Tenant config file not found: ${resolvedPath}`],\n    };\n  }\n\n  try {\n    const tenant = await loadTenantConfig(resolvedPath);\n    const connections = await loadIntegrationConnections(\n      contextOptions.connections,\n      fs\n    );\n    const catalog = await loadTranslationCatalog(\n      contextOptions.translationCatalog,\n      fs\n    );\n    const integrationSpecs = await loadIntegrationRegistrars(\n      contextOptions.integrationRegistrars\n    );\n\n    const context: Parameters<typeof validateTenantConfigSpecs>[2] = {};\n    if (connections.length > 0) {\n      context.tenantConnections = connections;\n    }\n    if (catalog) {\n      context.translationCatalogs = {\n        blueprint: [catalog],\n        platform: [],\n      };\n    }\n    if (integrationSpecs) {\n      context.integrationSpecs = integrationSpecs;\n    }\n\n    const report = validateTenantConfigSpecs(blueprint, tenant, context);\n\n    return {\n      config: tenant,\n      report,\n      valid: report.valid,\n      errors: report.errors.map((e) => `[${e.code}] ${e.path}: ${e.message}`),\n    };\n  } catch (error) {\n    return {\n      valid: false,\n      errors: [error instanceof Error ? error.message : String(error)],\n    };\n  }\n}\n\n// Helpers\n\nasync function loadTenantConfig(tenantPath: string): Promise<TenantAppConfig> {\n  if (tenantPath.endsWith('.json')) {\n    const raw = await readFile(tenantPath, 'utf-8');\n    const json = JSON.parse(raw);\n    if (!isTenantConfig(json)) {\n      throw new Error(\n        'Tenant config JSON does not match the expected structure (missing meta).'\n      );\n    }\n    return json;\n  }\n\n  const mod = await loadModule(tenantPath);\n  const candidates = Object.values(mod).filter(isTenantConfig);\n  if (candidates.length === 0) {\n    throw new Error('Tenant config module does not export a TenantAppConfig.');\n  }\n  return candidates[0] as TenantAppConfig;\n}\n\nfunction isTenantConfig(value: unknown): value is TenantAppConfig {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'meta' in value &&\n    typeof (value as TenantAppConfig).meta?.tenantId === 'string'\n  );\n}\n\n// Basic module loader\nasync function loadModule(\n  modulePath: string\n): Promise<Record<string, unknown>> {\n  try {\n    const url = pathToFileURL(modulePath).href;\n    const mod = await import(url);\n    return mod;\n  } catch (error) {\n    throw new Error(`Failed to load module at ${modulePath}: ${error}`);\n  }\n}\n\n// --- Connection Loaders ---\n\nfunction normalizePathOption(value?: string | string[]): string[] {\n  if (!value) return [];\n  const values = Array.isArray(value) ? value : value.split(',');\n  return values.map((entry) => entry.trim()).filter(Boolean);\n}\n\nasync function loadIntegrationConnections(\n  value: string | string[] | undefined,\n  fs: FsAdapter\n): Promise<IntegrationConnection[]> {\n  const paths = normalizePathOption(value);\n  if (!paths.length) return [];\n\n  const results: IntegrationConnection[] = [];\n  for (const path of paths) {\n    const resolved = resolve(process.cwd(), path);\n    if (!(await fs.exists(resolved))) {\n      console.warn(`Warning: Connection file not found: ${resolved}`);\n      continue;\n    }\n\n    if (resolved.endsWith('.json')) {\n      const raw = await readFile(resolved, 'utf-8');\n      const parsed = JSON.parse(raw);\n      results.push(...collectConnections(parsed));\n      continue;\n    }\n\n    const mod = await loadModule(resolved);\n    results.push(...collectConnections(mod));\n  }\n  return results;\n}\n\nfunction collectConnections(value: unknown): IntegrationConnection[] {\n  if (Array.isArray(value)) {\n    const connections = value.filter(isIntegrationConnection);\n    if (connections.length) return connections;\n  }\n  if (isIntegrationConnection(value)) {\n    return [value];\n  }\n  if (value && typeof value === 'object') {\n    const entries = Object.values(value as Record<string, unknown>);\n    const collected = entries.flatMap((entry) => collectConnections(entry));\n    if (collected.length) return collected;\n  }\n  return [];\n}\n\nfunction isIntegrationConnection(\n  value: unknown\n): value is IntegrationConnection {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'meta' in value &&\n    typeof (value as IntegrationConnection).meta?.id === 'string' &&\n    typeof (value as IntegrationConnection).secretRef === 'string'\n  );\n}\n\n// --- Translation Catalog Loaders ---\n\nasync function loadTranslationCatalog(\n  path: string | undefined,\n  fs: FsAdapter\n): Promise<BlueprintTranslationCatalog | undefined> {\n  if (!path) return undefined;\n  const resolved = resolve(process.cwd(), path);\n  if (!(await fs.exists(resolved))) return undefined;\n\n  if (resolved.endsWith('.json')) {\n    const raw = await readFile(resolved, 'utf-8');\n    const parsed = JSON.parse(raw);\n    if (isBlueprintTranslationCatalog(parsed)) {\n      return normaliseTranslationCatalog(parsed);\n    }\n    return undefined;\n  }\n\n  const mod = await loadModule(resolved);\n  const catalogs = Object.values(mod).filter(isBlueprintTranslationCatalog);\n  if (catalogs.length === 0) return undefined;\n  return normaliseTranslationCatalog(\n    catalogs[0] as BlueprintTranslationCatalog\n  );\n}\n\nfunction isBlueprintTranslationCatalog(\n  value: unknown\n): value is BlueprintTranslationCatalog {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'meta' in value &&\n    typeof (value as BlueprintTranslationCatalog).meta?.key === 'string' &&\n    typeof (value as BlueprintTranslationCatalog).meta?.version === 'string' &&\n    Array.isArray((value as BlueprintTranslationCatalog).entries)\n  );\n}\n\nfunction normaliseTranslationCatalog(\n  catalog: BlueprintTranslationCatalog\n): BlueprintTranslationCatalog {\n  const supportedLocales =\n    catalog.supportedLocales && catalog.supportedLocales.length > 0\n      ? catalog.supportedLocales\n      : [catalog.defaultLocale];\n  return {\n    ...catalog,\n    supportedLocales,\n  };\n}\n\n// --- Registrar Loaders ---\n// Important: This needs IntegrationSpecRegistry which is a Class.\n// We only import type in signature, but need constructor.\n// Imports fixed at top.\n\nasync function loadIntegrationRegistrars(\n  value?: string | string[]\n): Promise<IntegrationSpecRegistry | undefined> {\n  const entries = normalizePathOption(value);\n  if (!entries.length) return undefined;\n\n  // We need to import the Class dynamically or have it available.\n  // It is imported from @contractspec/lib.contracts\n  const { IntegrationSpecRegistry } =\n    await import('@contractspec/lib.contracts');\n  const registry = new IntegrationSpecRegistry();\n\n  for (const entry of entries) {\n    const { modulePath, exportName } = parseRegistrarEntry(entry);\n    if (!modulePath) continue;\n    const resolved = resolve(process.cwd(), modulePath);\n    // Logic simplified for brevity, assume module exists or handled by catch in loadModule\n    try {\n      const mod = await loadModule(resolved);\n      const registrar = pickRegistrar(mod, exportName);\n      if (registrar) {\n        await registrar(registry);\n      }\n    } catch (e) {\n      console.warn(`Failed to load registrar from ${resolved}: ${e}`);\n    }\n  }\n  return registry;\n}\n\nfunction parseRegistrarEntry(entry: string): {\n  modulePath: string | null;\n  exportName?: string;\n} {\n  if (!entry) return { modulePath: null };\n  const [modulePathRaw, exportNameRaw] = entry.split('#');\n  const modulePath = modulePathRaw?.trim() ?? null;\n  const exportName = exportNameRaw?.trim();\n  return { modulePath, exportName };\n}\n\nfunction pickRegistrar(\n  mod: Record<string, unknown>,\n  exportName?: string\n): ((registry: IntegrationSpecRegistry) => void | Promise<void>) | undefined {\n  if (exportName) {\n    const candidate = mod[exportName];\n    if (typeof candidate === 'function') {\n      return candidate as (\n        registry: IntegrationSpecRegistry\n      ) => void | Promise<void>;\n    }\n    return undefined;\n  }\n  // eslint-disable-next-line @typescript-eslint/no-explicit-any\n  if (typeof (mod as any).default === 'function') {\n    // eslint-disable-next-line @typescript-eslint/no-explicit-any\n    return (mod as any).default;\n  }\n  for (const value of Object.values(mod)) {\n    if (typeof value === 'function') {\n      return value as (\n        registry: IntegrationSpecRegistry\n      ) => void | Promise<void>;\n    }\n  }\n  return undefined;\n}\n"],"mappings":";;;;;;AA0BA,eAAsB,qBACpB,WACA,YACA,gBACA,UACiC;CACjC,MAAM,EAAE,OAAO;CACf,MAAM,eAAe,QAAQ,QAAQ,KAAK,EAAE,WAAW;AAEvD,KAAI,CAAE,MAAM,GAAG,OAAO,aAAa,CACjC,QAAO;EACL,OAAO;EACP,QAAQ,CAAC,iCAAiC,eAAe;EAC1D;AAGH,KAAI;EACF,MAAM,SAAS,MAAM,iBAAiB,aAAa;EACnD,MAAM,cAAc,MAAM,2BACxB,eAAe,aACf,GACD;EACD,MAAM,UAAU,MAAM,uBACpB,eAAe,oBACf,GACD;EACD,MAAM,mBAAmB,MAAM,0BAC7B,eAAe,sBAChB;EAED,MAAMA,UAA2D,EAAE;AACnE,MAAI,YAAY,SAAS,EACvB,SAAQ,oBAAoB;AAE9B,MAAI,QACF,SAAQ,sBAAsB;GAC5B,WAAW,CAAC,QAAQ;GACpB,UAAU,EAAE;GACb;AAEH,MAAI,iBACF,SAAQ,mBAAmB;EAG7B,MAAM,SAASC,eAA0B,WAAW,QAAQ,QAAQ;AAEpE,SAAO;GACL,QAAQ;GACR;GACA,OAAO,OAAO;GACd,QAAQ,OAAO,OAAO,KAAK,MAAM,IAAI,EAAE,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,UAAU;GACxE;UACM,OAAO;AACd,SAAO;GACL,OAAO;GACP,QAAQ,CAAC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM,CAAC;GACjE;;;AAML,eAAe,iBAAiB,YAA8C;AAC5E,KAAI,WAAW,SAAS,QAAQ,EAAE;EAChC,MAAM,MAAM,MAAM,SAAS,YAAY,QAAQ;EAC/C,MAAM,OAAO,KAAK,MAAM,IAAI;AAC5B,MAAI,CAAC,eAAe,KAAK,CACvB,OAAM,IAAI,MACR,2EACD;AAEH,SAAO;;CAGT,MAAM,MAAM,MAAM,WAAW,WAAW;CACxC,MAAM,aAAa,OAAO,OAAO,IAAI,CAAC,OAAO,eAAe;AAC5D,KAAI,WAAW,WAAW,EACxB,OAAM,IAAI,MAAM,0DAA0D;AAE5E,QAAO,WAAW;;AAGpB,SAAS,eAAe,OAA0C;AAChE,QACE,OAAO,UAAU,YACjB,UAAU,QACV,UAAU,SACV,OAAQ,MAA0B,MAAM,aAAa;;AAKzD,eAAe,WACb,YACkC;AAClC,KAAI;AAGF,SADY,MAAM,OADN,cAAc,WAAW,CAAC;UAG/B,OAAO;AACd,QAAM,IAAI,MAAM,4BAA4B,WAAW,IAAI,QAAQ;;;AAMvE,SAAS,oBAAoB,OAAqC;AAChE,KAAI,CAAC,MAAO,QAAO,EAAE;AAErB,SADe,MAAM,QAAQ,MAAM,GAAG,QAAQ,MAAM,MAAM,IAAI,EAChD,KAAK,UAAU,MAAM,MAAM,CAAC,CAAC,OAAO,QAAQ;;AAG5D,eAAe,2BACb,OACA,IACkC;CAClC,MAAM,QAAQ,oBAAoB,MAAM;AACxC,KAAI,CAAC,MAAM,OAAQ,QAAO,EAAE;CAE5B,MAAMC,UAAmC,EAAE;AAC3C,MAAK,MAAM,QAAQ,OAAO;EACxB,MAAM,WAAW,QAAQ,QAAQ,KAAK,EAAE,KAAK;AAC7C,MAAI,CAAE,MAAM,GAAG,OAAO,SAAS,EAAG;AAChC,WAAQ,KAAK,uCAAuC,WAAW;AAC/D;;AAGF,MAAI,SAAS,SAAS,QAAQ,EAAE;GAC9B,MAAM,MAAM,MAAM,SAAS,UAAU,QAAQ;GAC7C,MAAM,SAAS,KAAK,MAAM,IAAI;AAC9B,WAAQ,KAAK,GAAG,mBAAmB,OAAO,CAAC;AAC3C;;EAGF,MAAM,MAAM,MAAM,WAAW,SAAS;AACtC,UAAQ,KAAK,GAAG,mBAAmB,IAAI,CAAC;;AAE1C,QAAO;;AAGT,SAAS,mBAAmB,OAAyC;AACnE,KAAI,MAAM,QAAQ,MAAM,EAAE;EACxB,MAAM,cAAc,MAAM,OAAO,wBAAwB;AACzD,MAAI,YAAY,OAAQ,QAAO;;AAEjC,KAAI,wBAAwB,MAAM,CAChC,QAAO,CAAC,MAAM;AAEhB,KAAI,SAAS,OAAO,UAAU,UAAU;EAEtC,MAAM,YADU,OAAO,OAAO,MAAiC,CACrC,SAAS,UAAU,mBAAmB,MAAM,CAAC;AACvE,MAAI,UAAU,OAAQ,QAAO;;AAE/B,QAAO,EAAE;;AAGX,SAAS,wBACP,OACgC;AAChC,QACE,OAAO,UAAU,YACjB,UAAU,QACV,UAAU,SACV,OAAQ,MAAgC,MAAM,OAAO,YACrD,OAAQ,MAAgC,cAAc;;AAM1D,eAAe,uBACb,MACA,IACkD;AAClD,KAAI,CAAC,KAAM,QAAO;CAClB,MAAM,WAAW,QAAQ,QAAQ,KAAK,EAAE,KAAK;AAC7C,KAAI,CAAE,MAAM,GAAG,OAAO,SAAS,CAAG,QAAO;AAEzC,KAAI,SAAS,SAAS,QAAQ,EAAE;EAC9B,MAAM,MAAM,MAAM,SAAS,UAAU,QAAQ;EAC7C,MAAM,SAAS,KAAK,MAAM,IAAI;AAC9B,MAAI,8BAA8B,OAAO,CACvC,QAAO,4BAA4B,OAAO;AAE5C;;CAGF,MAAM,MAAM,MAAM,WAAW,SAAS;CACtC,MAAM,WAAW,OAAO,OAAO,IAAI,CAAC,OAAO,8BAA8B;AACzE,KAAI,SAAS,WAAW,EAAG,QAAO;AAClC,QAAO,4BACL,SAAS,GACV;;AAGH,SAAS,8BACP,OACsC;AACtC,QACE,OAAO,UAAU,YACjB,UAAU,QACV,UAAU,SACV,OAAQ,MAAsC,MAAM,QAAQ,YAC5D,OAAQ,MAAsC,MAAM,YAAY,YAChE,MAAM,QAAS,MAAsC,QAAQ;;AAIjE,SAAS,4BACP,SAC6B;CAC7B,MAAM,mBACJ,QAAQ,oBAAoB,QAAQ,iBAAiB,SAAS,IAC1D,QAAQ,mBACR,CAAC,QAAQ,cAAc;AAC7B,QAAO;EACL,GAAG;EACH;EACD;;AAQH,eAAe,0BACb,OAC8C;CAC9C,MAAM,UAAU,oBAAoB,MAAM;AAC1C,KAAI,CAAC,QAAQ,OAAQ,QAAO;CAI5B,MAAM,EAAE,4BACN,MAAM,OAAO;CACf,MAAM,WAAW,IAAI,yBAAyB;AAE9C,MAAK,MAAM,SAAS,SAAS;EAC3B,MAAM,EAAE,YAAY,eAAe,oBAAoB,MAAM;AAC7D,MAAI,CAAC,WAAY;EACjB,MAAM,WAAW,QAAQ,QAAQ,KAAK,EAAE,WAAW;AAEnD,MAAI;GAEF,MAAM,YAAY,cADN,MAAM,WAAW,SAAS,EACD,WAAW;AAChD,OAAI,UACF,OAAM,UAAU,SAAS;WAEpB,GAAG;AACV,WAAQ,KAAK,iCAAiC,SAAS,IAAI,IAAI;;;AAGnE,QAAO;;AAGT,SAAS,oBAAoB,OAG3B;AACA,KAAI,CAAC,MAAO,QAAO,EAAE,YAAY,MAAM;CACvC,MAAM,CAAC,eAAe,iBAAiB,MAAM,MAAM,IAAI;AAGvD,QAAO;EAAE,YAFU,eAAe,MAAM,IAAI;EAEvB,YADF,eAAe,MAAM;EACP;;AAGnC,SAAS,cACP,KACA,YAC2E;AAC3E,KAAI,YAAY;EACd,MAAM,YAAY,IAAI;AACtB,MAAI,OAAO,cAAc,WACvB,QAAO;AAIT;;AAGF,KAAI,OAAQ,IAAY,YAAY,WAElC,QAAQ,IAAY;AAEtB,MAAK,MAAM,SAAS,OAAO,OAAO,IAAI,CACpC,KAAI,OAAO,UAAU,WACnB,QAAO"}

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

@@ -1,46 +0,0 @@
-import { CacheKeyString, CacheStorageAdapter, VerificationCacheEntry } from "../types.js";
-
-//#region src/services/verification-cache/adapters/filesystem.d.ts
-
-/**
- * Filesystem storage adapter.
- */
-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.
- */
-declare function createFileSystemCacheStorage(filePath?: string, workspaceRoot?: string): FileSystemCacheStorage;
-//#endregion
-export { FileSystemCacheStorage, createFileSystemCacheStorage };
-//# sourceMappingURL=filesystem.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"filesystem.d.ts","names":[],"sources":["../../../../src/services/verification-cache/adapters/filesystem.ts"],"sourcesContent":[],"mappings":";;;;;;;AAwHoB,cAhFP,sBAAA,YAAkC,mBAgF3B,CAAA;EAAiB,QAAA,QAAA;EASpB,QAAA,KAAA;EAAiB,QAAA,OAAA;EAIV,WAAA,CAAA,QAAA,CAAA,EAAA,MAAA,EAAA,aAAA,CAAA,EAAA,MAAA;EAAR;;;EA7F+B,QAAA,QAAA;EAAmB;AA4IlE;;;WAtEiB,iBAAiB,QAAQ;WAIzB,uBAAuB,yBAAyB;cAM7C,iBAAiB;WASpB,iBAAiB;UAIlB,QAAQ;WAIP;WAMA;;;;;;;;;;;;;;;;iBAqCD,4BAAA,6CAGb"}

package/dist/services/verification-cache/adapters/filesystem.js

@@ -1,120 +0,0 @@
-import { dirname, join } from "path";
-import { existsSync, mkdirSync, readFileSync, renameSync, statSync, writeFileSync } from "fs";
-
-//#region src/services/verification-cache/adapters/filesystem.ts
-/**
-* Filesystem cache storage adapter.
-*
-* Stores cache entries in a JSON file for CLI and CI environments.
-* Uses atomic writes to prevent corruption.
-*/
-/**
-* Default cache file location.
-*/
-const DEFAULT_CACHE_FILE = ".contractspec/verification-cache.json";
-const CURRENT_VERSION = 1;
-/**
-* Filesystem storage adapter.
-*/
-var FileSystemCacheStorage = class {
-	filePath;
-	cache;
-	isDirty = false;
-	constructor(filePath, workspaceRoot) {
-		const root = workspaceRoot ?? process.cwd();
-		this.filePath = filePath ?? join(root, DEFAULT_CACHE_FILE);
-		this.cache = /* @__PURE__ */ new Map();
-		this.loadSync();
-	}
-	/**
-	* Load cache from disk synchronously.
-	*/
-	loadSync() {
-		try {
-			if (!existsSync(this.filePath)) return;
-			const content = readFileSync(this.filePath, "utf-8");
-			const data = JSON.parse(content);
-			if (data.version !== CURRENT_VERSION) return;
-			for (const [key, entry] of Object.entries(data.entries)) this.cache.set(key, entry);
-		} catch {}
-	}
-	/**
-	* Save cache to disk.
-	*/
-	saveSync() {
-		if (!this.isDirty) return;
-		try {
-			const dir = dirname(this.filePath);
-			if (!existsSync(dir)) mkdirSync(dir, { recursive: true });
-			const data = {
-				version: CURRENT_VERSION,
-				entries: Object.fromEntries(this.cache.entries())
-			};
-			const tempPath = `${this.filePath}.tmp`;
-			writeFileSync(tempPath, JSON.stringify(data, null, 2), "utf-8");
-			renameSync(tempPath, this.filePath);
-			this.isDirty = false;
-		} catch {}
-	}
-	async get(key) {
-		return this.cache.get(key) ?? null;
-	}
-	async set(key, entry) {
-		this.cache.set(key, entry);
-		this.isDirty = true;
-		this.saveSync();
-	}
-	async delete(key) {
-		const existed = this.cache.delete(key);
-		if (existed) {
-			this.isDirty = true;
-			this.saveSync();
-		}
-		return existed;
-	}
-	async has(key) {
-		return this.cache.has(key);
-	}
-	async keys() {
-		return Array.from(this.cache.keys());
-	}
-	async clear() {
-		this.cache.clear();
-		this.isDirty = true;
-		this.saveSync();
-	}
-	async stats() {
-		let fileSize = 0;
-		try {
-			if (existsSync(this.filePath)) fileSize = statSync(this.filePath).size;
-		} catch {}
-		return {
-			entryCount: this.cache.size,
-			memoryUsage: fileSize
-		};
-	}
-	/**
-	* Force save any pending changes.
-	*/
-	flush() {
-		this.saveSync();
-	}
-	/**
-	* Reload cache from disk.
-	*/
-	reload() {
-		this.cache.clear();
-		this.loadSync();
-		this.isDirty = false;
-	}
-};
-/**
-* Create a filesystem cache storage adapter.
-*/
-function createFileSystemCacheStorage(filePath, workspaceRoot) {
-	return new FileSystemCacheStorage(filePath, workspaceRoot);
-}
-
-//#endregion
-export { FileSystemCacheStorage, createFileSystemCacheStorage };
-//# sourceMappingURL=filesystem.js.map

package/dist/services/verification-cache/adapters/filesystem.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"filesystem.js","names":["data: CacheFileData"],"sources":["../../../../src/services/verification-cache/adapters/filesystem.ts"],"sourcesContent":["/**\n * Filesystem cache storage adapter.\n *\n * Stores cache entries in a JSON file for CLI and CI environments.\n * Uses atomic writes to prevent corruption.\n */\n\nimport {\n  existsSync,\n  mkdirSync,\n  readFileSync,\n  writeFileSync,\n  statSync,\n  renameSync,\n} from 'fs';\nimport { dirname, join } from 'path';\nimport type {\n  CacheKeyString,\n  CacheStorageAdapter,\n  VerificationCacheEntry,\n} from '../types';\n\n/**\n * Default cache file location.\n */\nconst DEFAULT_CACHE_FILE = '.contractspec/verification-cache.json';\n\n/**\n * Cache file structure.\n */\ninterface CacheFileData {\n  version: number;\n  entries: Record<CacheKeyString, VerificationCacheEntry>;\n}\n\nconst CURRENT_VERSION = 1;\n\n/**\n * Filesystem storage adapter.\n */\nexport class FileSystemCacheStorage implements CacheStorageAdapter {\n  private filePath: string;\n  private cache: Map<CacheKeyString, VerificationCacheEntry>;\n  private isDirty = false;\n\n  constructor(filePath?: string, workspaceRoot?: string) {\n    const root = workspaceRoot ?? process.cwd();\n    this.filePath = filePath ?? join(root, DEFAULT_CACHE_FILE);\n    this.cache = new Map();\n    this.loadSync();\n  }\n\n  /**\n   * Load cache from disk synchronously.\n   */\n  private loadSync(): void {\n    try {\n      if (!existsSync(this.filePath)) {\n        return;\n      }\n\n      const content = readFileSync(this.filePath, 'utf-8');\n      const data = JSON.parse(content) as CacheFileData;\n\n      // Version check\n      if (data.version !== CURRENT_VERSION) {\n        // Incompatible version, start fresh\n        return;\n      }\n\n      // Load entries\n      for (const [key, entry] of Object.entries(data.entries)) {\n        this.cache.set(key, entry);\n      }\n    } catch {\n      // Ignore load errors, start with empty cache\n    }\n  }\n\n  /**\n   * Save cache to disk.\n   */\n  private saveSync(): void {\n    if (!this.isDirty) return;\n\n    try {\n      // Ensure directory exists\n      const dir = dirname(this.filePath);\n      if (!existsSync(dir)) {\n        mkdirSync(dir, { recursive: true });\n      }\n\n      const data: CacheFileData = {\n        version: CURRENT_VERSION,\n        entries: Object.fromEntries(this.cache.entries()),\n      };\n\n      // Atomic write: write to temp file, then rename\n      const tempPath = `${this.filePath}.tmp`;\n      writeFileSync(tempPath, JSON.stringify(data, null, 2), 'utf-8');\n\n      // Rename is atomic on most filesystems\n      renameSync(tempPath, this.filePath);\n\n      this.isDirty = false;\n    } catch {\n      // Ignore save errors\n    }\n  }\n\n  async get(key: CacheKeyString): Promise<VerificationCacheEntry | null> {\n    return this.cache.get(key) ?? null;\n  }\n\n  async set(key: CacheKeyString, entry: VerificationCacheEntry): Promise<void> {\n    this.cache.set(key, entry);\n    this.isDirty = true;\n    this.saveSync();\n  }\n\n  async delete(key: CacheKeyString): Promise<boolean> {\n    const existed = this.cache.delete(key);\n    if (existed) {\n      this.isDirty = true;\n      this.saveSync();\n    }\n    return existed;\n  }\n\n  async has(key: CacheKeyString): Promise<boolean> {\n    return this.cache.has(key);\n  }\n\n  async keys(): Promise<CacheKeyString[]> {\n    return Array.from(this.cache.keys());\n  }\n\n  async clear(): Promise<void> {\n    this.cache.clear();\n    this.isDirty = true;\n    this.saveSync();\n  }\n\n  async stats(): Promise<{ entryCount: number; memoryUsage?: number }> {\n    let fileSize = 0;\n    try {\n      if (existsSync(this.filePath)) {\n        const stat = statSync(this.filePath);\n        fileSize = stat.size;\n      }\n    } catch {\n      // Ignore\n    }\n\n    return {\n      entryCount: this.cache.size,\n      memoryUsage: fileSize,\n    };\n  }\n\n  /**\n   * Force save any pending changes.\n   */\n  flush(): void {\n    this.saveSync();\n  }\n\n  /**\n   * Reload cache from disk.\n   */\n  reload(): void {\n    this.cache.clear();\n    this.loadSync();\n    this.isDirty = false;\n  }\n}\n\n/**\n * Create a filesystem cache storage adapter.\n */\nexport function createFileSystemCacheStorage(\n  filePath?: string,\n  workspaceRoot?: string\n): FileSystemCacheStorage {\n  return new FileSystemCacheStorage(filePath, workspaceRoot);\n}\n"],"mappings":";;;;;;;;;;;;;AAyBA,MAAM,qBAAqB;AAU3B,MAAM,kBAAkB;;;;AAKxB,IAAa,yBAAb,MAAmE;CACjE,AAAQ;CACR,AAAQ;CACR,AAAQ,UAAU;CAElB,YAAY,UAAmB,eAAwB;EACrD,MAAM,OAAO,iBAAiB,QAAQ,KAAK;AAC3C,OAAK,WAAW,YAAY,KAAK,MAAM,mBAAmB;AAC1D,OAAK,wBAAQ,IAAI,KAAK;AACtB,OAAK,UAAU;;;;;CAMjB,AAAQ,WAAiB;AACvB,MAAI;AACF,OAAI,CAAC,WAAW,KAAK,SAAS,CAC5B;GAGF,MAAM,UAAU,aAAa,KAAK,UAAU,QAAQ;GACpD,MAAM,OAAO,KAAK,MAAM,QAAQ;AAGhC,OAAI,KAAK,YAAY,gBAEnB;AAIF,QAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,KAAK,QAAQ,CACrD,MAAK,MAAM,IAAI,KAAK,MAAM;UAEtB;;;;;CAQV,AAAQ,WAAiB;AACvB,MAAI,CAAC,KAAK,QAAS;AAEnB,MAAI;GAEF,MAAM,MAAM,QAAQ,KAAK,SAAS;AAClC,OAAI,CAAC,WAAW,IAAI,CAClB,WAAU,KAAK,EAAE,WAAW,MAAM,CAAC;GAGrC,MAAMA,OAAsB;IAC1B,SAAS;IACT,SAAS,OAAO,YAAY,KAAK,MAAM,SAAS,CAAC;IAClD;GAGD,MAAM,WAAW,GAAG,KAAK,SAAS;AAClC,iBAAc,UAAU,KAAK,UAAU,MAAM,MAAM,EAAE,EAAE,QAAQ;AAG/D,cAAW,UAAU,KAAK,SAAS;AAEnC,QAAK,UAAU;UACT;;CAKV,MAAM,IAAI,KAA6D;AACrE,SAAO,KAAK,MAAM,IAAI,IAAI,IAAI;;CAGhC,MAAM,IAAI,KAAqB,OAA8C;AAC3E,OAAK,MAAM,IAAI,KAAK,MAAM;AAC1B,OAAK,UAAU;AACf,OAAK,UAAU;;CAGjB,MAAM,OAAO,KAAuC;EAClD,MAAM,UAAU,KAAK,MAAM,OAAO,IAAI;AACtC,MAAI,SAAS;AACX,QAAK,UAAU;AACf,QAAK,UAAU;;AAEjB,SAAO;;CAGT,MAAM,IAAI,KAAuC;AAC/C,SAAO,KAAK,MAAM,IAAI,IAAI;;CAG5B,MAAM,OAAkC;AACtC,SAAO,MAAM,KAAK,KAAK,MAAM,MAAM,CAAC;;CAGtC,MAAM,QAAuB;AAC3B,OAAK,MAAM,OAAO;AAClB,OAAK,UAAU;AACf,OAAK,UAAU;;CAGjB,MAAM,QAA+D;EACnE,IAAI,WAAW;AACf,MAAI;AACF,OAAI,WAAW,KAAK,SAAS,CAE3B,YADa,SAAS,KAAK,SAAS,CACpB;UAEZ;AAIR,SAAO;GACL,YAAY,KAAK,MAAM;GACvB,aAAa;GACd;;;;;CAMH,QAAc;AACZ,OAAK,UAAU;;;;;CAMjB,SAAe;AACb,OAAK,MAAM,OAAO;AAClB,OAAK,UAAU;AACf,OAAK,UAAU;;;;;;AAOnB,SAAgB,6BACd,UACA,eACwB;AACxB,QAAO,IAAI,uBAAuB,UAAU,cAAc"}

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

@@ -1,27 +0,0 @@
-import { CacheKeyString, CacheStorageAdapter, VerificationCacheEntry } from "../types.js";
-
-//#region src/services/verification-cache/adapters/in-memory.d.ts
-
-/**
- * In-memory storage adapter using a Map.
- */
-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.
- */
-declare function createInMemoryCacheStorage(): InMemoryCacheStorage;
-//#endregion
-export { InMemoryCacheStorage, createInMemoryCacheStorage };
-//# sourceMappingURL=in-memory.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"in-memory.d.ts","names":[],"sources":["../../../../src/services/verification-cache/adapters/in-memory.ts"],"sourcesContent":[],"mappings":";;;;;;;AA2BoB,cAXP,oBAAA,YAAgC,mBAWzB,CAAA;EAAiB,QAAA,KAAA;EAIpB,GAAA,CAAA,GAAA,EAZA,cAYA,CAAA,EAZiB,OAYjB,CAZyB,sBAYzB,GAAA,IAAA,CAAA;EAAiB,GAAA,CAAA,GAAA,EARjB,cAQiB,EAAA,KAAA,EARM,sBAQN,CAAA,EAR+B,OAQ/B,CAAA,IAAA,CAAA;EAIV,MAAA,CAAA,GAAA,EARJ,cAQI,CAAA,EARa,OAQb,CAAA,OAAA,CAAA;EAAR,GAAA,CAAA,GAAA,EAJC,cAID,CAAA,EAJkB,OAIlB,CAAA,OAAA,CAAA;EAIC,IAAA,CAAA,CAAA,EAJD,OAIC,CAJO,cAIP,EAAA,CAAA;EAIA,KAAA,CAAA,CAAA,EAJA,OAIA,CAAA,IAAA,CAAA;EA3B4B,KAAA,CAAA,CAAA,EA2B5B,OA3B4B,CAAA;IAAmB,UAAA,EAAA,MAAA;IA6ChD,WAAA,CAAA,EAAA,MAAA;;;;;;iBAAA,0BAAA,CAAA,GAA8B"}

package/dist/services/verification-cache/adapters/in-memory.js

@@ -1,46 +0,0 @@
-//#region src/services/verification-cache/adapters/in-memory.ts
-/**
-* In-memory storage adapter using a Map.
-*/
-var InMemoryCacheStorage = class {
-	cache = /* @__PURE__ */ new Map();
-	async get(key) {
-		return this.cache.get(key) ?? null;
-	}
-	async set(key, entry) {
-		this.cache.set(key, entry);
-	}
-	async delete(key) {
-		return this.cache.delete(key);
-	}
-	async has(key) {
-		return this.cache.has(key);
-	}
-	async keys() {
-		return Array.from(this.cache.keys());
-	}
-	async clear() {
-		this.cache.clear();
-	}
-	async stats() {
-		let memoryUsage = 0;
-		for (const [key, value] of this.cache.entries()) {
-			memoryUsage += key.length * 2;
-			memoryUsage += JSON.stringify(value).length * 2;
-		}
-		return {
-			entryCount: this.cache.size,
-			memoryUsage
-		};
-	}
-};
-/**
-* Create an in-memory cache storage adapter.
-*/
-function createInMemoryCacheStorage() {
-	return new InMemoryCacheStorage();
-}
-
-//#endregion
-export { InMemoryCacheStorage, createInMemoryCacheStorage };
-//# sourceMappingURL=in-memory.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"in-memory.js","names":[],"sources":["../../../../src/services/verification-cache/adapters/in-memory.ts"],"sourcesContent":["/**\n * In-memory cache storage adapter.\n *\n * Suitable for tests and single-process environments.\n * Data is lost on process restart.\n */\n\nimport type {\n  CacheKeyString,\n  CacheStorageAdapter,\n  VerificationCacheEntry,\n} from '../types';\n\n/**\n * In-memory storage adapter using a Map.\n */\nexport class InMemoryCacheStorage implements CacheStorageAdapter {\n  private cache = new Map<CacheKeyString, VerificationCacheEntry>();\n\n  async get(key: CacheKeyString): Promise<VerificationCacheEntry | null> {\n    return this.cache.get(key) ?? null;\n  }\n\n  async set(key: CacheKeyString, entry: VerificationCacheEntry): Promise<void> {\n    this.cache.set(key, entry);\n  }\n\n  async delete(key: CacheKeyString): Promise<boolean> {\n    return this.cache.delete(key);\n  }\n\n  async has(key: CacheKeyString): Promise<boolean> {\n    return this.cache.has(key);\n  }\n\n  async keys(): Promise<CacheKeyString[]> {\n    return Array.from(this.cache.keys());\n  }\n\n  async clear(): Promise<void> {\n    this.cache.clear();\n  }\n\n  async stats(): Promise<{ entryCount: number; memoryUsage?: number }> {\n    // Estimate memory usage (rough approximation)\n    let memoryUsage = 0;\n    for (const [key, value] of this.cache.entries()) {\n      memoryUsage += key.length * 2; // UTF-16 string\n      memoryUsage += JSON.stringify(value).length * 2;\n    }\n\n    return {\n      entryCount: this.cache.size,\n      memoryUsage,\n    };\n  }\n}\n\n/**\n * Create an in-memory cache storage adapter.\n */\nexport function createInMemoryCacheStorage(): InMemoryCacheStorage {\n  return new InMemoryCacheStorage();\n}\n"],"mappings":";;;;AAgBA,IAAa,uBAAb,MAAiE;CAC/D,AAAQ,wBAAQ,IAAI,KAA6C;CAEjE,MAAM,IAAI,KAA6D;AACrE,SAAO,KAAK,MAAM,IAAI,IAAI,IAAI;;CAGhC,MAAM,IAAI,KAAqB,OAA8C;AAC3E,OAAK,MAAM,IAAI,KAAK,MAAM;;CAG5B,MAAM,OAAO,KAAuC;AAClD,SAAO,KAAK,MAAM,OAAO,IAAI;;CAG/B,MAAM,IAAI,KAAuC;AAC/C,SAAO,KAAK,MAAM,IAAI,IAAI;;CAG5B,MAAM,OAAkC;AACtC,SAAO,MAAM,KAAK,KAAK,MAAM,MAAM,CAAC;;CAGtC,MAAM,QAAuB;AAC3B,OAAK,MAAM,OAAO;;CAGpB,MAAM,QAA+D;EAEnE,IAAI,cAAc;AAClB,OAAK,MAAM,CAAC,KAAK,UAAU,KAAK,MAAM,SAAS,EAAE;AAC/C,kBAAe,IAAI,SAAS;AAC5B,kBAAe,KAAK,UAAU,MAAM,CAAC,SAAS;;AAGhD,SAAO;GACL,YAAY,KAAK,MAAM;GACvB;GACD;;;;;;AAOL,SAAgB,6BAAmD;AACjE,QAAO,IAAI,sBAAsB"}

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

@@ -1,3 +0,0 @@
-import { InMemoryCacheStorage, createInMemoryCacheStorage } from "./in-memory.js";
-import { FileSystemCacheStorage, createFileSystemCacheStorage } from "./filesystem.js";
-import { KeyValueStore, WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage } from "./workspace-state.js";

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

@@ -1,3 +0,0 @@
-import { InMemoryCacheStorage, createInMemoryCacheStorage } from "./in-memory.js";
-import { FileSystemCacheStorage, createFileSystemCacheStorage } from "./filesystem.js";
-import { WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage } from "./workspace-state.js";

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

@@ -1,49 +0,0 @@
-import { CacheKeyString, CacheStorageAdapter, VerificationCacheEntry } from "../types.js";
-
-//#region src/services/verification-cache/adapters/workspace-state.d.ts
-
-/**
- * Interface for key-value store (compatible with VSCode's Memento).
- */
-interface KeyValueStore {
-  get<T>(key: string): T | undefined;
-  update(key: string, value: unknown): Thenable<void>;
-  keys?(): readonly string[];
-}
-/**
- * Workspace state storage adapter.
- */
-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.
- */
-declare function createWorkspaceStateCacheStorage(store: KeyValueStore): WorkspaceStateCacheStorage;
-//#endregion
-export { KeyValueStore, WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage };
-//# sourceMappingURL=workspace-state.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"workspace-state.d.ts","names":[],"sources":["../../../../src/services/verification-cache/adapters/workspace-state.ts"],"sourcesContent":[],"mappings":";;;;;;;AA4EwC,UA5DvB,aAAA,CA4DuB;EAAyB,GAAA,CAAA,CAAA,CAAA,CAAA,GAAA,EAAA,MAAA,CAAA,EA3D1C,CA2D0C,GAAA,SAAA;EAU7C,MAAA,CAAA,GAAA,EAAA,MAAA,EAAA,KAAA,EAAA,OAAA,CAAA,EApEmB,QAoEnB,CAAA,IAAA,CAAA;EAAiB,IAAA,GAAA,EAAA,SAAA,MAAA,EAAA;;;;;AAqBpB,cAxEJ,0BAAA,YAAsC,mBAwElC,CAAA;EAYA,QAAA,KAAA;EApFkC,QAAA,QAAA;EAAmB,WAAA,CAAA,KAAA,EAIjD,aAJiD;EA8FtD;;;;;;;;;;;;WA3DC,iBAAiB,QAAQ;WAMzB,uBAAuB,yBAAyB;cAU7C,iBAAiB;WAapB,iBAAiB;UAIlB,QAAQ;WAIP;WAYA;;;;;;;;iBAUD,gCAAA,QACP,gBACN"}

package/dist/services/verification-cache/adapters/workspace-state.js

@@ -1,91 +0,0 @@
-//#region src/services/verification-cache/adapters/workspace-state.ts
-/**
-* Cache key prefix to avoid collisions.
-*/
-const CACHE_PREFIX = "contractspec.verification-cache.";
-/**
-* Index key for tracking all cache keys.
-*/
-const INDEX_KEY = `${CACHE_PREFIX}__index__`;
-/**
-* Workspace state storage adapter.
-*/
-var WorkspaceStateCacheStorage = class {
-	store;
-	keyIndex;
-	constructor(store) {
-		this.store = store;
-		this.keyIndex = new Set(this.loadKeyIndex());
-	}
-	/**
-	* Load the key index from storage.
-	*/
-	loadKeyIndex() {
-		try {
-			return this.store.get(INDEX_KEY) ?? [];
-		} catch {
-			return [];
-		}
-	}
-	/**
-	* Save the key index to storage.
-	*/
-	async saveKeyIndex() {
-		await this.store.update(INDEX_KEY, Array.from(this.keyIndex));
-	}
-	/**
-	* Get the storage key for a cache key.
-	*/
-	getStorageKey(key) {
-		return `${CACHE_PREFIX}${key}`;
-	}
-	async get(key) {
-		const storageKey = this.getStorageKey(key);
-		return this.store.get(storageKey) ?? null;
-	}
-	async set(key, entry) {
-		const storageKey = this.getStorageKey(key);
-		await this.store.update(storageKey, entry);
-		if (!this.keyIndex.has(key)) {
-			this.keyIndex.add(key);
-			await this.saveKeyIndex();
-		}
-	}
-	async delete(key) {
-		const storageKey = this.getStorageKey(key);
-		const existed = this.keyIndex.has(key);
-		if (existed) {
-			await this.store.update(storageKey, void 0);
-			this.keyIndex.delete(key);
-			await this.saveKeyIndex();
-		}
-		return existed;
-	}
-	async has(key) {
-		return this.keyIndex.has(key);
-	}
-	async keys() {
-		return Array.from(this.keyIndex);
-	}
-	async clear() {
-		for (const key of this.keyIndex) {
-			const storageKey = this.getStorageKey(key);
-			await this.store.update(storageKey, void 0);
-		}
-		this.keyIndex.clear();
-		await this.saveKeyIndex();
-	}
-	async stats() {
-		return { entryCount: this.keyIndex.size };
-	}
-};
-/**
-* Create a workspace state cache storage adapter.
-*/
-function createWorkspaceStateCacheStorage(store) {
-	return new WorkspaceStateCacheStorage(store);
-}
-
-//#endregion
-export { WorkspaceStateCacheStorage, createWorkspaceStateCacheStorage };
-//# sourceMappingURL=workspace-state.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"workspace-state.js","names":[],"sources":["../../../../src/services/verification-cache/adapters/workspace-state.ts"],"sourcesContent":["/**\n * Workspace state cache storage adapter.\n *\n * Generic adapter for key-value stores like VSCode's ExtensionContext.workspaceState.\n * Can also be used with localStorage-like APIs.\n */\n\nimport type {\n  CacheKeyString,\n  CacheStorageAdapter,\n  VerificationCacheEntry,\n} from '../types';\n\n/**\n * Interface for key-value store (compatible with VSCode's Memento).\n */\nexport interface KeyValueStore {\n  get<T>(key: string): T | undefined;\n  update(key: string, value: unknown): Thenable<void>;\n  keys?(): readonly string[];\n}\n\n/**\n * Cache key prefix to avoid collisions.\n */\nconst CACHE_PREFIX = 'contractspec.verification-cache.';\n\n/**\n * Index key for tracking all cache keys.\n */\nconst INDEX_KEY = `${CACHE_PREFIX}__index__`;\n\n/**\n * Workspace state storage adapter.\n */\nexport class WorkspaceStateCacheStorage implements CacheStorageAdapter {\n  private store: KeyValueStore;\n  private keyIndex: Set<string>;\n\n  constructor(store: KeyValueStore) {\n    this.store = store;\n    this.keyIndex = new Set(this.loadKeyIndex());\n  }\n\n  /**\n   * Load the key index from storage.\n   */\n  private loadKeyIndex(): string[] {\n    try {\n      const index = this.store.get<string[]>(INDEX_KEY);\n      return index ?? [];\n    } catch {\n      return [];\n    }\n  }\n\n  /**\n   * Save the key index to storage.\n   */\n  private async saveKeyIndex(): Promise<void> {\n    await this.store.update(INDEX_KEY, Array.from(this.keyIndex));\n  }\n\n  /**\n   * Get the storage key for a cache key.\n   */\n  private getStorageKey(key: CacheKeyString): string {\n    return `${CACHE_PREFIX}${key}`;\n  }\n\n  async get(key: CacheKeyString): Promise<VerificationCacheEntry | null> {\n    const storageKey = this.getStorageKey(key);\n    const entry = this.store.get<VerificationCacheEntry>(storageKey);\n    return entry ?? null;\n  }\n\n  async set(key: CacheKeyString, entry: VerificationCacheEntry): Promise<void> {\n    const storageKey = this.getStorageKey(key);\n    await this.store.update(storageKey, entry);\n\n    if (!this.keyIndex.has(key)) {\n      this.keyIndex.add(key);\n      await this.saveKeyIndex();\n    }\n  }\n\n  async delete(key: CacheKeyString): Promise<boolean> {\n    const storageKey = this.getStorageKey(key);\n    const existed = this.keyIndex.has(key);\n\n    if (existed) {\n      await this.store.update(storageKey, undefined);\n      this.keyIndex.delete(key);\n      await this.saveKeyIndex();\n    }\n\n    return existed;\n  }\n\n  async has(key: CacheKeyString): Promise<boolean> {\n    return this.keyIndex.has(key);\n  }\n\n  async keys(): Promise<CacheKeyString[]> {\n    return Array.from(this.keyIndex);\n  }\n\n  async clear(): Promise<void> {\n    // Delete all entries\n    for (const key of this.keyIndex) {\n      const storageKey = this.getStorageKey(key);\n      await this.store.update(storageKey, undefined);\n    }\n\n    // Clear index\n    this.keyIndex.clear();\n    await this.saveKeyIndex();\n  }\n\n  async stats(): Promise<{ entryCount: number; memoryUsage?: number }> {\n    return {\n      entryCount: this.keyIndex.size,\n    };\n  }\n}\n\n/**\n * Create a workspace state cache storage adapter.\n */\nexport function createWorkspaceStateCacheStorage(\n  store: KeyValueStore\n): WorkspaceStateCacheStorage {\n  return new WorkspaceStateCacheStorage(store);\n}\n"],"mappings":";;;;AAyBA,MAAM,eAAe;;;;AAKrB,MAAM,YAAY,GAAG,aAAa;;;;AAKlC,IAAa,6BAAb,MAAuE;CACrE,AAAQ;CACR,AAAQ;CAER,YAAY,OAAsB;AAChC,OAAK,QAAQ;AACb,OAAK,WAAW,IAAI,IAAI,KAAK,cAAc,CAAC;;;;;CAM9C,AAAQ,eAAyB;AAC/B,MAAI;AAEF,UADc,KAAK,MAAM,IAAc,UAAU,IACjC,EAAE;UACZ;AACN,UAAO,EAAE;;;;;;CAOb,MAAc,eAA8B;AAC1C,QAAM,KAAK,MAAM,OAAO,WAAW,MAAM,KAAK,KAAK,SAAS,CAAC;;;;;CAM/D,AAAQ,cAAc,KAA6B;AACjD,SAAO,GAAG,eAAe;;CAG3B,MAAM,IAAI,KAA6D;EACrE,MAAM,aAAa,KAAK,cAAc,IAAI;AAE1C,SADc,KAAK,MAAM,IAA4B,WAAW,IAChD;;CAGlB,MAAM,IAAI,KAAqB,OAA8C;EAC3E,MAAM,aAAa,KAAK,cAAc,IAAI;AAC1C,QAAM,KAAK,MAAM,OAAO,YAAY,MAAM;AAE1C,MAAI,CAAC,KAAK,SAAS,IAAI,IAAI,EAAE;AAC3B,QAAK,SAAS,IAAI,IAAI;AACtB,SAAM,KAAK,cAAc;;;CAI7B,MAAM,OAAO,KAAuC;EAClD,MAAM,aAAa,KAAK,cAAc,IAAI;EAC1C,MAAM,UAAU,KAAK,SAAS,IAAI,IAAI;AAEtC,MAAI,SAAS;AACX,SAAM,KAAK,MAAM,OAAO,YAAY,OAAU;AAC9C,QAAK,SAAS,OAAO,IAAI;AACzB,SAAM,KAAK,cAAc;;AAG3B,SAAO;;CAGT,MAAM,IAAI,KAAuC;AAC/C,SAAO,KAAK,SAAS,IAAI,IAAI;;CAG/B,MAAM,OAAkC;AACtC,SAAO,MAAM,KAAK,KAAK,SAAS;;CAGlC,MAAM,QAAuB;AAE3B,OAAK,MAAM,OAAO,KAAK,UAAU;GAC/B,MAAM,aAAa,KAAK,cAAc,IAAI;AAC1C,SAAM,KAAK,MAAM,OAAO,YAAY,OAAU;;AAIhD,OAAK,SAAS,OAAO;AACrB,QAAM,KAAK,cAAc;;CAG3B,MAAM,QAA+D;AACnE,SAAO,EACL,YAAY,KAAK,SAAS,MAC3B;;;;;;AAOL,SAAgB,iCACd,OAC4B;AAC5B,QAAO,IAAI,2BAA2B,MAAM"}