@ipation/specbridge 1.3.0 → 2.1.0

package/dist/index.d.ts

@@ -179,7 +179,7 @@ interface LevelConfig {
  * Warning during verification (non-blocking)
  */
 interface VerificationWarning {
-    type: 'missing_verifier' | 'invalid_pattern' | 'other';
+    type: 'missing_verifier' | 'invalid_pattern' | 'invalid_params' | 'other';
     message: string;
     decisionId: string;
     constraintId: string;
@@ -250,6 +250,17 @@ interface DecisionCompliance {
     constraints: number;
     violations: number;
     compliance: number;
+    /** Breakdown of violations by severity (v2.0+) */
+    violationsBySeverity?: {
+        critical: number;
+        high: number;
+        medium: number;
+        low: number;
+    };
+    /** Raw weighted score before coverage penalty (v2.0+) */
+    weightedScore?: number;
+    /** Ratio of violations to constraints (v2.0+) */
+    coverageRate?: number;
 }
 /**
  * Trend data point
@@ -1519,6 +1530,8 @@ declare class VerificationEngine {
     private registry;
     private project;
     private astCache;
+    private resultsCache;
+    private pluginsLoaded;
     constructor(registry?: Registry);
     /**
      * Run verification
@@ -1527,7 +1540,7 @@ declare class VerificationEngine {
     /**
      * Verify a single file
      */
-    verifyFile(filePath: string, decisions: Decision[], severityFilter?: Severity[], cwd?: string, reporter?: ExplainReporter): Promise<{
+    verifyFile(filePath: string, decisions: Decision[], severityFilter?: Severity[], cwd?: string, reporter?: ExplainReporter, signal?: AbortSignal): Promise<{
         violations: Violation[];
         warnings: VerificationWarning[];
         errors: VerificationIssue[];
@@ -1550,6 +1563,10 @@ declare class AstCache {
     private cache;
     get(filePath: string, project: Project): Promise<SourceFile | null>;
     clear(): void;
+    getStats(): {
+        entries: number;
+        memoryEstimate: number;
+    };
 }
 
 declare function getChangedFiles(cwd: string): Promise<string[]>;
@@ -1578,6 +1595,8 @@ interface VerificationContext {
     sourceFile: SourceFile;
     constraint: Constraint;
     decisionId: string;
+    /** Optional AbortSignal for cancellation support */
+    signal?: AbortSignal;
 }
 /**
  * Verifier interface - all verifiers must implement this
@@ -1600,6 +1619,60 @@ interface Verifier {
      */
     verify(ctx: VerificationContext): Promise<Violation[]>;
 }
+/**
+ * Plugin metadata
+ */
+interface VerifierPluginMetadata {
+    /** Unique identifier matching /^[a-z][a-z0-9-]*$/ */
+    id: string;
+    /** Semver version string */
+    version: string;
+    /** Plugin author */
+    author?: string;
+    /** Brief description of what this verifier checks */
+    description?: string;
+}
+/**
+ * Verifier plugin interface
+ * Custom verifiers must export a default object implementing this interface
+ */
+interface VerifierPlugin {
+    /** Plugin metadata */
+    metadata: VerifierPluginMetadata;
+    /** Factory function that creates a new verifier instance */
+    createVerifier: () => Verifier;
+    /** Optional Zod schema for validating constraint.check.params */
+    paramsSchema?: unknown;
+}
+/**
+ * Helper to define a verifier plugin with type safety
+ *
+ * @example
+ * ```typescript
+ * import { defineVerifierPlugin, type Verifier } from '@ipation/specbridge';
+ *
+ * class MyVerifier implements Verifier {
+ *   readonly id = 'my-custom';
+ *   readonly name = 'My Custom Verifier';
+ *   readonly description = 'Checks custom patterns';
+ *
+ *   async verify(ctx) {
+ *     // Implementation
+ *     return [];
+ *   }
+ * }
+ *
+ * export default defineVerifierPlugin({
+ *   metadata: {
+ *     id: 'my-custom',
+ *     version: '1.0.0',
+ *     author: 'Your Name'
+ *   },
+ *   createVerifier: () => new MyVerifier()
+ * });
+ * ```
+ */
+declare function defineVerifierPlugin(plugin: VerifierPlugin): VerifierPlugin;
 /**
  * Helper to create a violation
  */
@@ -1696,12 +1769,18 @@ declare class ApiVerifier implements Verifier {
 declare const builtinVerifiers: Record<string, () => Verifier>;
 /**
  * Get verifier by ID
+ * Checks custom plugins first, then built-in verifiers
+ * Instances are pooled for performance
  */
 declare function getVerifier(id: string): Verifier | null;
 /**
- * Get all verifier IDs
+ * Get all verifier IDs (built-in + plugins)
  */
 declare function getVerifierIds(): string[];
+/**
+ * Clear the verifier instance pool (for testing)
+ */
+declare function clearVerifierPool(): void;
 /**
  * Select appropriate verifier based on constraint
  */
@@ -1803,6 +1882,8 @@ declare function createPropagationEngine(registry?: Registry): PropagationEngine
 interface ReportOptions {
     includeAll?: boolean;
     cwd?: string;
+    /** Use v1.3 compliance formula instead of v2.0 severity-weighted formula */
+    legacyCompliance?: boolean;
 }
 /**
  * Generate a compliance report
@@ -1871,6 +1952,7 @@ declare class ReportStorage {
     loadLatest(): Promise<StoredReport | null>;
     /**
      * Load historical reports for the specified number of days
+     * Uses parallel I/O for better performance
      */
     loadHistory(days?: number): Promise<StoredReport[]>;
     /**
@@ -2153,4 +2235,4 @@ declare function matchesAnyPattern(filePath: string, patterns: string[], options
     cwd?: string;
 }): boolean;
 
-export { type AffectedFile, type AgentContext, AgentContextGenerator, AlreadyInitializedError, type Analyzer, AnalyzerNotFoundError, ApiVerifier, type ApplicableConstraint, type ApplicableDecision, AstCache, AutofixEngine, type AutofixPatch, type AutofixResult, CodeScanner, ComplexityVerifier, type ComplianceReport, ConfigError, type Constraint, type ConstraintCheck, ConstraintCheckSchema, type ConstraintCheckSchema_, type ConstraintException, ConstraintExceptionSchema, type ConstraintExceptionSchema_, ConstraintSchema, type ConstraintSchema_, type ConstraintType, ConstraintTypeSchema, type ConstraintTypeSchema_, type ContextOptions, type Decision, type DecisionCompliance, type DecisionContent, DecisionContentSchema, type DecisionContentSchema_, type DecisionFilter, type DecisionMetadata, DecisionMetadataSchema, type DecisionMetadataSchema_, DecisionNotFoundError, DecisionSchema, type DecisionStatus, DecisionStatusSchema, type DecisionStatusSchema_, type DecisionTypeSchema, DecisionValidationError, type DependencyGraph, DependencyVerifier, type DriftAnalysis, ErrorsAnalyzer, ErrorsVerifier, FileSystemError, type GlobOptions, type GraphNode, HookError, type ImpactAnalysis, ImportsAnalyzer, ImportsVerifier, InferenceEngine, InferenceError, type InferenceOptions, type InferenceResult, type LevelConfig, LinksSchema, type LoadError, type LoadResult, type LoadedDecision, type McpServerOptions, type MigrationStep, NamingAnalyzer, NamingVerifier, NotInitializedError, type OverallDrift, type Pattern, type PatternExample, type PromptTemplate, PropagationEngine, type PropagationOptions, RegexVerifier, Registry, type RegistryConstraintMatch, RegistryError, type RegistryOptions, type ReportOptions, ReportStorage, Reporter, type ScanOptions, type ScanResult, type ScannedFile, SecurityVerifier, type Severity, SeveritySchema, type SeveritySchema_, type SpecBridgeConfig, SpecBridgeConfigSchema, type SpecBridgeConfigType, SpecBridgeError, SpecBridgeMcpServer, type StoredReport, StructureAnalyzer, type TextEdit, type TrendAnalysis, type TrendData, type TrendDirection, type VerificationConfig, VerificationConfigSchema, type VerificationConfigSchema_, type VerificationContext, VerificationEngine, VerificationError, type VerificationFrequency, VerificationFrequencySchema, type VerificationFrequencySchema_, type VerificationIssue, type VerificationLevel, type VerificationOptions, type VerificationResult, type VerificationWarning, type Verifier, VerifierNotFoundError, type Violation, type ViolationFix, analyzeTrend, buildDependencyGraph, builtinAnalyzers, builtinVerifiers, calculateConfidence, checkDegradation, createInferenceEngine, createPattern, createPropagationEngine, createRegistry, createScannerFromConfig, createVerificationEngine, createViolation, defaultConfig, detectDrift, ensureDir, extractSnippet, formatConsoleReport, formatContextAsJson, formatContextAsMarkdown, formatContextAsMcp, formatError, formatMarkdownReport, formatValidationErrors, generateContext, generateFormattedContext, generateReport, getAffectedFiles, getAffectingDecisions, getAnalyzer, getAnalyzerIds, getChangedFiles, getConfigPath, getDecisionsDir, getInferredDir, getReportsDir, getSpecBridgeDir, getTransitiveDependencies, getVerifier, getVerifierIds, getVerifiersDir, glob, isConstraintExcepted, isDirectory, loadConfig, loadDecisionFile, loadDecisionsFromDir, matchesAnyPattern, matchesPattern, mergeWithDefaults, normalizePath, parseYaml, parseYamlDocument, pathExists, readFilesInDir, readTextFile, runInference, selectVerifierForConstraint, shouldApplyConstraintToFile, stringifyYaml, templates, updateYamlDocument, validateConfig, validateDecision, validateDecisionFile, writeTextFile };
+export { type AffectedFile, type AgentContext, AgentContextGenerator, AlreadyInitializedError, type Analyzer, AnalyzerNotFoundError, ApiVerifier, type ApplicableConstraint, type ApplicableDecision, AstCache, AutofixEngine, type AutofixPatch, type AutofixResult, CodeScanner, ComplexityVerifier, type ComplianceReport, ConfigError, type Constraint, type ConstraintCheck, ConstraintCheckSchema, type ConstraintCheckSchema_, type ConstraintException, ConstraintExceptionSchema, type ConstraintExceptionSchema_, ConstraintSchema, type ConstraintSchema_, type ConstraintType, ConstraintTypeSchema, type ConstraintTypeSchema_, type ContextOptions, type Decision, type DecisionCompliance, type DecisionContent, DecisionContentSchema, type DecisionContentSchema_, type DecisionFilter, type DecisionMetadata, DecisionMetadataSchema, type DecisionMetadataSchema_, DecisionNotFoundError, DecisionSchema, type DecisionStatus, DecisionStatusSchema, type DecisionStatusSchema_, type DecisionTypeSchema, DecisionValidationError, type DependencyGraph, DependencyVerifier, type DriftAnalysis, ErrorsAnalyzer, ErrorsVerifier, FileSystemError, type GlobOptions, type GraphNode, HookError, type ImpactAnalysis, ImportsAnalyzer, ImportsVerifier, InferenceEngine, InferenceError, type InferenceOptions, type InferenceResult, type LevelConfig, LinksSchema, type LoadError, type LoadResult, type LoadedDecision, type McpServerOptions, type MigrationStep, NamingAnalyzer, NamingVerifier, NotInitializedError, type OverallDrift, type Pattern, type PatternExample, type PromptTemplate, PropagationEngine, type PropagationOptions, RegexVerifier, Registry, type RegistryConstraintMatch, RegistryError, type RegistryOptions, type ReportOptions, ReportStorage, Reporter, type ScanOptions, type ScanResult, type ScannedFile, SecurityVerifier, type Severity, SeveritySchema, type SeveritySchema_, type SpecBridgeConfig, SpecBridgeConfigSchema, type SpecBridgeConfigType, SpecBridgeError, SpecBridgeMcpServer, type StoredReport, StructureAnalyzer, type TextEdit, type TrendAnalysis, type TrendData, type TrendDirection, type VerificationConfig, VerificationConfigSchema, type VerificationConfigSchema_, type VerificationContext, VerificationEngine, VerificationError, type VerificationFrequency, VerificationFrequencySchema, type VerificationFrequencySchema_, type VerificationIssue, type VerificationLevel, type VerificationOptions, type VerificationResult, type VerificationWarning, type Verifier, VerifierNotFoundError, type VerifierPlugin, type VerifierPluginMetadata, type Violation, type ViolationFix, analyzeTrend, buildDependencyGraph, builtinAnalyzers, builtinVerifiers, calculateConfidence, checkDegradation, clearVerifierPool, createInferenceEngine, createPattern, createPropagationEngine, createRegistry, createScannerFromConfig, createVerificationEngine, createViolation, defaultConfig, defineVerifierPlugin, detectDrift, ensureDir, extractSnippet, formatConsoleReport, formatContextAsJson, formatContextAsMarkdown, formatContextAsMcp, formatError, formatMarkdownReport, formatValidationErrors, generateContext, generateFormattedContext, generateReport, getAffectedFiles, getAffectingDecisions, getAnalyzer, getAnalyzerIds, getChangedFiles, getConfigPath, getDecisionsDir, getInferredDir, getReportsDir, getSpecBridgeDir, getTransitiveDependencies, getVerifier, getVerifierIds, getVerifiersDir, glob, isConstraintExcepted, isDirectory, loadConfig, loadDecisionFile, loadDecisionsFromDir, matchesAnyPattern, matchesPattern, mergeWithDefaults, normalizePath, parseYaml, parseYamlDocument, pathExists, readFilesInDir, readTextFile, runInference, selectVerifierForConstraint, shouldApplyConstraintToFile, stringifyYaml, templates, updateYamlDocument, validateConfig, validateDecision, validateDecisionFile, writeTextFile };