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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -1,136 +1,135 @@
-import { AnyContractSpec } from "@lssm/lib.contracts";
-import { VerificationIssue, VerificationReport, VerificationTier } from "@lssm/lib.contracts/llm";
-
-//#region src/services/verify/types.d.ts
-
+/**
+ * Types for the Verification Service.
+ */
+import type { AnyContractSpec } from '@lssm/lib.contracts';
+import type { VerificationTier, VerificationIssue, VerificationReport } from '@lssm/lib.contracts/llm';
 /** 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';
+export 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;
+export 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;
+export 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;
+export 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;
+export 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;
+export 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;
+export 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';
+export 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;
+export 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[];
+export 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;
+export 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 };
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/verify/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EACV,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AAEjC,iDAAiD;AACjD,MAAM,WAAW,YAAY;IAC3B,6BAA6B;IAC7B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,0CAA0C;IAC1C,UAAU,CAAC,EAAE,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;CAC/C;AAED,uCAAuC;AACvC,MAAM,WAAW,aAAa;IAC5B,wDAAwD;IACxD,KAAK,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC3B,4BAA4B;IAC5B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,oCAAoC;IACpC,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED,6BAA6B;AAC7B,MAAM,WAAW,WAAW;IAC1B,6BAA6B;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,oCAAoC;IACpC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qDAAqD;IACrD,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,+CAA+C;AAC/C,MAAM,WAAW,YAAY;IAC3B,wBAAwB;IACxB,MAAM,EAAE,OAAO,CAAC;IAChB,6BAA6B;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,0CAA0C;IAC1C,OAAO,EAAE,GAAG,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;IACnD,kCAAkC;IAClC,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,sBAAsB;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,qBAAqB;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAC7B,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,wBAAwB;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oBAAoB;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,4BAA4B;AAC5B,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,iBAAiB;IACjB,IAAI,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAAC;IACvC,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,wBAAwB;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,uBAAuB;AACvB,MAAM,WAAW,cAAc;IAC7B,yBAAyB;IACzB,SAAS,EAAE,OAAO,CAAC;IACnB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe;IACf,QAAQ,EAAE;QACR,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;IACJ,sBAAsB;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,6CAA6C;AAC7C,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,GAAG,SAAS,CAAC;AAE7E,oDAAoD;AACpD,MAAM,WAAW,YAAY;IAC3B,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,2BAA2B;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,mCAAmC;IACnC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,oBAAoB;IACpB,KAAK,EAAE,cAAc,CAAC;IACtB,0CAA0C;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,gCAAgC;AAChC,MAAM,WAAW,eAAe;IAC9B,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,mCAAmC;IACnC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,uCAAuC;IACvC,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,wCAAwC;AACxC,MAAM,WAAW,0BAA0B;IACzC,8BAA8B;IAC9B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,gCAAgC;IAChC,eAAe,EAAE,eAAe,CAAC;IACjC,uCAAuC;IACvC,cAAc,EAAE;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;IACJ,oCAAoC;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB"}