@lssm/bundle.contractspec-workspace 0.0.0-canary-20251217083314 → 1.41.0

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

@@ -1,69 +0,0 @@
-import { CacheKeyString, CacheLookupResult, CacheStats, CacheStorageAdapter, VerificationCacheConfig, VerificationCacheKey } from "./types.js";
-import { VerificationReport, VerificationTier } from "@lssm/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 };

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

@@ -1,123 +0,0 @@
-import { VerificationReport, VerificationTier } from "@lssm/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 };

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

@@ -1,24 +0,0 @@
-import { SemanticVerificationResult, VerifyConfig, VerifyInput } from "./types.js";
-import { VerificationReport } from "@lssm/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 };

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

@@ -1,11 +0,0 @@
-import { VerifyInput } from "./types.js";
-import { VerificationReport } from "@lssm/lib.contracts/llm";
-
-//#region src/services/verify/behavior-verifier.d.ts
-
-/**
- * Run all behavior checks and produce a verification report.
- */
-declare function verifyBehavior(input: VerifyInput): VerificationReport;
-//#endregion
-export { verifyBehavior };

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

@@ -1,11 +0,0 @@
-import { VerifyInput } from "./types.js";
-import { VerificationReport } from "@lssm/lib.contracts/llm";
-
-//#region src/services/verify/structure-verifier.d.ts
-
-/**
- * Run all structure checks and produce a verification report.
- */
-declare function verifyStructure(input: VerifyInput): VerificationReport;
-//#endregion
-export { verifyStructure };

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

@@ -1,136 +0,0 @@
-import { AnyContractSpec } from "@lssm/lib.contracts";
-import { VerificationIssue, VerificationReport, VerificationTier } from "@lssm/lib.contracts/llm";
-
-//#region src/services/verify/types.d.ts
-
-/** Configuration for the verification service */
-interface VerifyConfig {
-  /** Enable verbose logging */
-  verbose?: boolean;
-  /** API key for AI verification (tier 3) */
-  aiApiKey?: string;
-  /** AI provider for tier 3 verification */
-  aiProvider?: 'anthropic' | 'openai' | 'local';
-}
-/** Options for running verification */
-interface VerifyOptions {
-  /** Which tiers to run (default: all up to specified) */
-  tiers?: VerificationTier[];
-  /** Stop on first failure */
-  failFast?: boolean;
-  /** Include suggestions in report */
-  includeSuggestions?: boolean;
-}
-/** Input for verification */
-interface VerifyInput {
-  /** Spec to verify against */
-  spec: AnyContractSpec;
-  /** Implementation code to verify */
-  implementationCode: string;
-  /** Implementation file path (for error reporting) */
-  implementationPath?: string;
-}
-/** Result of running all verification tiers */
-interface VerifyResult {
-  /** Overall pass/fail */
-  passed: boolean;
-  /** Combined score (0-100) */
-  score: number;
-  /** Reports from each tier that was run */
-  reports: Map<VerificationTier, VerificationReport>;
-  /** All issues across all tiers */
-  allIssues: VerificationIssue[];
-  /** Summary message */
-  summary: string;
-  /** Duration in ms */
-  duration: number;
-}
-/** Structure check result */
-interface StructureCheck {
-  /** Check name */
-  name: string;
-  /** Check passed */
-  passed: boolean;
-  /** Details if failed */
-  details?: string;
-  /** Suggested fix */
-  suggestion?: string;
-}
-/** Behavior check result */
-interface BehaviorCheck {
-  /** Scenario or example name */
-  name: string;
-  /** Check type */
-  type: 'scenario' | 'example' | 'error';
-  /** Check passed */
-  passed: boolean;
-  /** Expected behavior */
-  expected?: string;
-  /** Actual behavior */
-  actual?: string;
-  /** Details */
-  details?: string;
-}
-/** AI review result */
-interface AIReviewResult {
-  /** Overall compliance */
-  compliant: boolean;
-  /** Confidence score (0-1) */
-  confidence: number;
-  /** Findings */
-  findings: {
-    category: string;
-    severity: 'error' | 'warning' | 'info';
-    message: string;
-    location?: string;
-    suggestion?: string;
-  }[];
-  /** Raw AI response */
-  rawResponse?: string;
-}
-/** Field match type for semantic analysis */
-type FieldMatchType = 'exact' | 'compatible' | 'mismatch' | 'missing';
-/** Field mapping between spec and implementation */
-interface FieldMapping {
-  /** Field name from spec */
-  specField: string;
-  /** Field type from spec */
-  specType: string;
-  /** Corresponding field in implementation (if found) */
-  implementationField?: string;
-  /** Field type in implementation */
-  implementationType?: string;
-  /** Match quality */
-  match: FieldMatchType;
-  /** AI confidence in this mapping (0-1) */
-  aiConfidence: number;
-  /** Suggestion if mismatch */
-  suggestion?: string;
-}
-/** Intent alignment analysis */
-interface IntentAlignment {
-  /** Overall alignment score (0-100) */
-  score: number;
-  /** Issues with intent alignment */
-  issues: string[];
-  /** Suggestions for better alignment */
-  suggestions: string[];
-}
-/** Full semantic verification result */
-interface SemanticVerificationResult {
-  /** Field-by-field mappings */
-  fieldMappings: FieldMapping[];
-  /** Intent alignment analysis */
-  intentAlignment: IntentAlignment;
-  /** Additional semantic issues found */
-  semanticIssues: {
-    category: string;
-    severity: 'error' | 'warning' | 'info';
-    message: string;
-    suggestion?: string;
-  }[];
-  /** Raw AI response for debugging */
-  rawResponse?: string;
-}
-//#endregion
-export { AIReviewResult, BehaviorCheck, FieldMapping, FieldMatchType, IntentAlignment, SemanticVerificationResult, StructureCheck, VerifyConfig, VerifyInput, VerifyOptions, VerifyResult };

package/dist/services/verify/verify-service.d.ts

@@ -1,59 +0,0 @@
-import { VerifyConfig, VerifyOptions, VerifyResult } from "./types.js";
-import { AnyContractSpec } from "@lssm/lib.contracts";
-import { VerificationReport } from "@lssm/lib.contracts/llm";
-
-//#region src/services/verify/verify-service.d.ts
-
-/**
- * Verification Service
- *
- * Main service for verifying implementations against specs.
- */
-declare class VerifyService {
-  private config;
-  constructor(config?: Partial<VerifyConfig>);
-  /**
-   * Run verification on an implementation.
-   */
-  verify(spec: AnyContractSpec, implementationCode: string, options?: VerifyOptions): Promise<VerifyResult>;
-  /**
-   * Run only structure verification (Tier 1).
-   */
-  verifyStructure(spec: AnyContractSpec, implementationCode: string, implementationPath?: string): VerificationReport;
-  /**
-   * Run only behavior verification (Tier 2).
-   */
-  verifyBehavior(spec: AnyContractSpec, implementationCode: string, implementationPath?: string): VerificationReport;
-  /**
-   * Run only AI verification (Tier 3).
-   */
-  verifyAI(spec: AnyContractSpec, implementationCode: string, implementationPath?: string): Promise<VerificationReport>;
-  /**
-   * Quick verification (structure only, fast).
-   */
-  quickVerify(spec: AnyContractSpec, implementationCode: string): VerificationReport;
-  /**
-   * Generate a human-readable summary of verification results.
-   */
-  private generateSummary;
-  /**
-   * Format verification result as markdown.
-   */
-  formatAsMarkdown(result: VerifyResult): string;
-  /**
-   * Format tier name for display.
-   */
-  private formatTierName;
-  /**
-   * Update configuration.
-   */
-  configure(config: Partial<VerifyConfig>): void;
-}
-/**
- * Create a new VerifyService instance.
- */
-declare function createVerifyService(config?: Partial<VerifyConfig>): VerifyService;
-/** Default singleton instance */
-declare const verifyService: VerifyService;
-//#endregion
-export { VerifyService, createVerifyService, verifyService };

package/dist/services/watch.d.ts

@@ -1,24 +0,0 @@
-import { FsAdapter } from "../ports/fs.js";
-import { WatchOptions, Watcher, WatcherAdapter } from "../ports/watcher.js";
-import { LoggerAdapter } from "../ports/logger.js";
-import { WorkspaceConfig } from "@lssm/module.contractspec-workspace";
-
-//#region src/services/watch.d.ts
-
-interface WatchSpecsOptions extends WatchOptions {
-  runValidate?: boolean;
-  runBuild?: boolean;
-  dryRun?: boolean;
-}
-type WatchBuildFn = (specPath: string) => Promise<void>;
-type WatchValidateFn = (specPath: string) => Promise<void>;
-declare function watchSpecs(adapters: {
-  watcher: WatcherAdapter;
-  fs: FsAdapter;
-  logger: LoggerAdapter;
-}, config: WorkspaceConfig, options: WatchSpecsOptions, overrides?: {
-  validate?: WatchValidateFn;
-  build?: WatchBuildFn;
-}): Watcher;
-//#endregion
-export { WatchBuildFn, WatchSpecsOptions, WatchValidateFn, watchSpecs };

package/dist/services/workspace-info.d.ts

@@ -1,61 +0,0 @@
-import { FsAdapter } from "../ports/fs.js";
-import { PackageManager, WorkspaceInfo, detectPackageManager, findPackageRoot, findWorkspaceRoot, getWorkspaceInfo } from "../adapters/workspace.js";
-
-//#region src/services/workspace-info.d.ts
-
-/**
- * Monorepo configuration options.
- */
-interface MonorepoConfig {
-  /**
-   * Package patterns to include (glob).
-   */
-  packages?: string[];
-  /**
-   * Package patterns to exclude (glob).
-   */
-  excludePackages?: string[];
-  /**
-   * Whether to search recursively in all packages.
-   */
-  recursive?: boolean;
-}
-/**
- * Extended workspace info with configuration.
- */
-interface ExtendedWorkspaceInfo extends WorkspaceInfo {
-  /**
-   * Monorepo-specific configuration.
-   */
-  monorepoConfig?: MonorepoConfig;
-  /**
-   * Path to workspace .contractsrc.json (if exists).
-   */
-  workspaceConfigPath?: string;
-  /**
-   * Path to package .contractsrc.json (if exists).
-   */
-  packageConfigPath?: string;
-}
-/**
- * Get extended workspace information including config paths.
- */
-declare function getExtendedWorkspaceInfo(fs: FsAdapter, startDir?: string): Promise<ExtendedWorkspaceInfo>;
-/**
- * Find all .contractsrc.json files in a monorepo.
- *
- * Returns paths in order of priority (workspace first, then packages).
- */
-declare function findAllConfigFiles(fs: FsAdapter, workspaceRoot: string): Promise<string[]>;
-/**
- * Merge workspace and package configurations.
- *
- * Package config overrides workspace config.
- */
-declare function mergeMonorepoConfigs(fs: FsAdapter, workspaceConfigPath: string | undefined, packageConfigPath: string | undefined): Promise<Record<string, unknown>>;
-/**
- * Format workspace info for display.
- */
-declare function formatWorkspaceInfo(info: ExtendedWorkspaceInfo): string;
-//#endregion
-export { ExtendedWorkspaceInfo, MonorepoConfig, findAllConfigFiles, formatWorkspaceInfo, getExtendedWorkspaceInfo, mergeMonorepoConfigs };

package/dist/templates/app-config.template.d.ts

@@ -1,6 +0,0 @@
-import { AppBlueprintSpecData } from "../types.js";
-
-//#region src/templates/app-config.template.d.ts
-declare function generateAppBlueprintSpec(data: AppBlueprintSpecData): string;
-//#endregion
-export { generateAppBlueprintSpec };

package/dist/templates/data-view.template.d.ts

@@ -1,6 +0,0 @@
-import { DataViewSpecData } from "../types.js";
-
-//#region src/templates/data-view.template.d.ts
-declare function generateDataViewSpec(data: DataViewSpecData): string;
-//#endregion
-export { generateDataViewSpec };

package/dist/templates/event.template.d.ts

@@ -1,10 +0,0 @@
-import { EventSpecData } from "../types.js";
-
-//#region src/templates/event.template.d.ts
-
-/**
- * Generate event spec TypeScript code
- */
-declare function generateEventSpec(data: EventSpecData): string;
-//#endregion
-export { generateEventSpec };

package/dist/templates/experiment.template.d.ts

@@ -1,6 +0,0 @@
-import { ExperimentSpecData } from "../types.js";
-
-//#region src/templates/experiment.template.d.ts
-declare function generateExperimentSpec(data: ExperimentSpecData): string;
-//#endregion
-export { generateExperimentSpec };

package/dist/templates/handler.template.d.ts

@@ -1,15 +0,0 @@
-//#region src/templates/handler.template.d.ts
-/**
- * Generate handler implementation template
- */
-declare function generateHandlerTemplate(specName: string, kind: 'command' | 'query'): string;
-/**
- * Generate component template
- */
-declare function generateComponentTemplate(componentName: string, description: string): string;
-/**
- * Generate test template
- */
-declare function generateTestTemplate(targetName: string, type: 'handler' | 'component'): string;
-//#endregion
-export { generateComponentTemplate, generateHandlerTemplate, generateTestTemplate };

package/dist/templates/index.d.ts

@@ -1,20 +0,0 @@
-import { generateOperationSpec } from "./operation.template.js";
-import { generateEventSpec } from "./event.template.js";
-import { generatePresentationSpec } from "./presentation.template.js";
-import { generateWorkflowSpec } from "./workflow.template.js";
-import { generateMigrationSpec } from "./migration.template.js";
-import { generateTelemetrySpec } from "./telemetry.template.js";
-import { generateExperimentSpec } from "./experiment.template.js";
-import { generateAppBlueprintSpec } from "./app-config.template.js";
-import { generateDataViewSpec } from "./data-view.template.js";
-import { generateIntegrationSpec } from "./integration.template.js";
-import { generateKnowledgeSpaceSpec } from "./knowledge.template.js";
-import { generateComponentTemplate, generateHandlerTemplate, generateTestTemplate } from "./handler.template.js";
-import { generateWorkflowRunnerTemplate } from "./workflow-runner.template.js";
-
-//#region src/templates/index.d.ts
-declare namespace index_d_exports {
-  export { generateAppBlueprintSpec, generateComponentTemplate, generateDataViewSpec, generateEventSpec, generateExperimentSpec, generateHandlerTemplate, generateIntegrationSpec, generateKnowledgeSpaceSpec, generateMigrationSpec, generateOperationSpec, generatePresentationSpec, generateTelemetrySpec, generateTestTemplate, generateWorkflowRunnerTemplate, generateWorkflowSpec };
-}
-//#endregion
-export { index_d_exports };

package/dist/templates/integration.template.d.ts

@@ -1,6 +0,0 @@
-import { IntegrationSpecData } from "../types.js";
-
-//#region src/templates/integration.template.d.ts
-declare function generateIntegrationSpec(data: IntegrationSpecData): string;
-//#endregion
-export { generateIntegrationSpec };

package/dist/templates/knowledge.template.d.ts

@@ -1,6 +0,0 @@
-import { KnowledgeSpaceSpecData } from "../types.js";
-
-//#region src/templates/knowledge.template.d.ts
-declare function generateKnowledgeSpaceSpec(data: KnowledgeSpaceSpecData): string;
-//#endregion
-export { generateKnowledgeSpaceSpec };

package/dist/templates/migration.template.d.ts

@@ -1,6 +0,0 @@
-import { MigrationSpecData } from "../types.js";
-
-//#region src/templates/migration.template.d.ts
-declare function generateMigrationSpec(data: MigrationSpecData): string;
-//#endregion
-export { generateMigrationSpec };

package/dist/templates/operation.template.d.ts

@@ -1,10 +0,0 @@
-import { OperationSpecData } from "../types.js";
-
-//#region src/templates/operation.template.d.ts
-
-/**
- * Generate operation spec TypeScript code
- */
-declare function generateOperationSpec(data: OperationSpecData): string;
-//#endregion
-export { generateOperationSpec };

package/dist/templates/presentation.template.d.ts

@@ -1,10 +0,0 @@
-import { PresentationSpecData } from "../types.js";
-
-//#region src/templates/presentation.template.d.ts
-
-/**
- * Generate presentation spec TypeScript code
- */
-declare function generatePresentationSpec(data: PresentationSpecData): string;
-//#endregion
-export { generatePresentationSpec };

package/dist/templates/telemetry.template.d.ts

@@ -1,6 +0,0 @@
-import { TelemetrySpecData } from "../types.js";
-
-//#region src/templates/telemetry.template.d.ts
-declare function generateTelemetrySpec(data: TelemetrySpecData): string;
-//#endregion
-export { generateTelemetrySpec };

package/dist/templates/workflow-runner.template.d.ts

@@ -1,15 +0,0 @@
-//#region src/templates/workflow-runner.template.d.ts
-interface RunnerTemplateOptions {
-  exportName: string;
-  specImportPath: string;
-  runnerName: string;
-  workflowName: string;
-}
-declare function generateWorkflowRunnerTemplate({
-  exportName,
-  specImportPath,
-  runnerName,
-  workflowName
-}: RunnerTemplateOptions): string;
-//#endregion
-export { generateWorkflowRunnerTemplate };

package/dist/templates/workflow.template.d.ts

@@ -1,6 +0,0 @@
-import { WorkflowSpecData } from "../types.js";
-
-//#region src/templates/workflow.template.d.ts
-declare function generateWorkflowSpec(data: WorkflowSpecData): string;
-//#endregion
-export { generateWorkflowSpec };