@ipation/specbridge 1.0.6 → 1.1.1

package/dist/index.d.ts

@@ -103,7 +103,15 @@ interface Violation {
  */
 interface ViolationFix {
     description: string;
-    patch: string;
+    edits: TextEdit[];
+}
+/**
+ * Text edit (0-based offsets into the file content)
+ */
+interface TextEdit {
+    start: number;
+    end: number;
+    text: string;
 }
 /**
  * A pattern detected during inference
@@ -903,7 +911,8 @@ declare const defaultConfig: SpecBridgeConfigType;
 declare class SpecBridgeError extends Error {
     readonly code: string;
     readonly details?: Record<string, unknown> | undefined;
-    constructor(message: string, code: string, details?: Record<string, unknown> | undefined);
+    readonly suggestion?: string | undefined;
+    constructor(message: string, code: string, details?: Record<string, unknown> | undefined, suggestion?: string | undefined);
 }
 /**
  * Configuration errors
@@ -1383,6 +1392,7 @@ interface VerificationOptions {
 declare class VerificationEngine {
     private registry;
     private project;
+    private astCache;
     constructor(registry?: Registry);
     /**
      * Run verification
@@ -1396,10 +1406,6 @@ declare class VerificationEngine {
      * Verify multiple files
      */
     private verifyFiles;
-    /**
-     * Check if file is excepted from constraint
-     */
-    private isExcepted;
     /**
      * Get registry
      */
@@ -1410,6 +1416,26 @@ declare class VerificationEngine {
  */
 declare function createVerificationEngine(registry?: Registry): VerificationEngine;
 
+declare class AstCache {
+    private cache;
+    get(filePath: string, project: Project): Promise<SourceFile | null>;
+    clear(): void;
+}
+
+declare function getChangedFiles(cwd: string): Promise<string[]>;
+
+/**
+ * Shared constraint applicability helpers
+ */
+
+declare function isConstraintExcepted(filePath: string, constraint: Constraint, cwd: string): boolean;
+declare function shouldApplyConstraintToFile(params: {
+    filePath: string;
+    constraint: Constraint;
+    cwd: string;
+    severityFilter?: Severity[];
+}): boolean;
+
 /**
  * Base verifier interface
  */
@@ -1473,10 +1499,6 @@ declare class NamingVerifier implements Verifier {
     verify(ctx: VerificationContext): Promise<Violation[]>;
 }
 
-/**
- * Import pattern verifier
- */
-
 declare class ImportsVerifier implements Verifier {
     readonly id = "imports";
     readonly name = "Import Pattern Verifier";
@@ -1506,6 +1528,34 @@ declare class RegexVerifier implements Verifier {
     verify(ctx: VerificationContext): Promise<Violation[]>;
 }
 
+declare class DependencyVerifier implements Verifier {
+    readonly id = "dependencies";
+    readonly name = "Dependency Verifier";
+    readonly description = "Checks dependency constraints, import depth, and circular dependencies";
+    verify(ctx: VerificationContext): Promise<Violation[]>;
+}
+
+declare class ComplexityVerifier implements Verifier {
+    readonly id = "complexity";
+    readonly name = "Complexity Verifier";
+    readonly description = "Checks cyclomatic complexity, file size, parameters, and nesting depth";
+    verify(ctx: VerificationContext): Promise<Violation[]>;
+}
+
+declare class SecurityVerifier implements Verifier {
+    readonly id = "security";
+    readonly name = "Security Verifier";
+    readonly description = "Detects common security footguns (secrets, eval, XSS/SQL injection heuristics)";
+    verify(ctx: VerificationContext): Promise<Violation[]>;
+}
+
+declare class ApiVerifier implements Verifier {
+    readonly id = "api";
+    readonly name = "API Consistency Verifier";
+    readonly description = "Checks basic REST endpoint naming conventions in common frameworks";
+    verify(ctx: VerificationContext): Promise<Violation[]>;
+}
+
 /**
  * Verifier exports
  */
@@ -1527,6 +1577,25 @@ declare function getVerifierIds(): string[];
  */
 declare function selectVerifierForConstraint(rule: string, specifiedVerifier?: string): Verifier | null;
 
+interface AutofixPatch {
+    filePath: string;
+    description: string;
+    start: number;
+    end: number;
+    originalText: string;
+    fixedText: string;
+}
+interface AutofixResult {
+    applied: AutofixPatch[];
+    skipped: number;
+}
+declare class AutofixEngine {
+    applyFixes(violations: Violation[], options?: {
+        dryRun?: boolean;
+        interactive?: boolean;
+    }): Promise<AutofixResult>;
+}
+
 /**
  * Dependency graph for impact analysis
  */
@@ -1708,6 +1777,34 @@ declare class AgentContextGenerator {
     }): any[];
 }
 
+/**
+ * Prompt templates for AI agents
+ */
+
+interface PromptTemplate {
+    name: string;
+    description: string;
+    generate: (context: AgentContext, options?: Record<string, unknown>) => string;
+}
+declare const templates: Record<string, PromptTemplate>;
+
+interface McpServerOptions {
+    cwd: string;
+    version: string;
+}
+declare class SpecBridgeMcpServer {
+    private server;
+    private cwd;
+    private config;
+    private registry;
+    constructor(options: McpServerOptions);
+    initialize(): Promise<void>;
+    startStdio(): Promise<void>;
+    private getReady;
+    private registerResources;
+    private registerTools;
+}
+
 /**
  * Check if a path exists
  */
@@ -1808,4 +1905,4 @@ declare function matchesAnyPattern(filePath: string, patterns: string[], options
     cwd?: string;
 }): boolean;
 
-export { type AffectedFile, type AgentContext, AgentContextGenerator, AlreadyInitializedError, type Analyzer, AnalyzerNotFoundError, type ApplicableConstraint, type ApplicableDecision, CodeScanner, type ComplianceReport, ConfigError, type Constraint, 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, 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 MigrationStep, NamingAnalyzer, NamingVerifier, NotInitializedError, type Pattern, type PatternExample, PropagationEngine, type PropagationOptions, RegexVerifier, Registry, type RegistryConstraintMatch, RegistryError, type RegistryOptions, type ReportOptions, Reporter, type ScanOptions, type ScanResult, type ScannedFile, type Severity, SeveritySchema, type SeveritySchema_, type SpecBridgeConfig, SpecBridgeConfigSchema, type SpecBridgeConfigType, SpecBridgeError, StructureAnalyzer, type TrendData, type VerificationConfig, VerificationConfigSchema, type VerificationConfigSchema_, type VerificationContext, VerificationEngine, VerificationError, type VerificationFrequency, VerificationFrequencySchema, type VerificationFrequencySchema_, type VerificationLevel, type VerificationOptions, type VerificationResult, type Verifier, VerifierNotFoundError, type Violation, type ViolationFix, buildDependencyGraph, builtinAnalyzers, builtinVerifiers, calculateConfidence, checkDegradation, createInferenceEngine, createPattern, createPropagationEngine, createRegistry, createScannerFromConfig, createVerificationEngine, createViolation, defaultConfig, ensureDir, extractSnippet, formatConsoleReport, formatContextAsJson, formatContextAsMarkdown, formatContextAsMcp, formatError, formatMarkdownReport, formatValidationErrors, generateContext, generateFormattedContext, generateReport, getAffectedFiles, getAffectingDecisions, getAnalyzer, getAnalyzerIds, getConfigPath, getDecisionsDir, getInferredDir, getReportsDir, getSpecBridgeDir, getTransitiveDependencies, getVerifier, getVerifierIds, getVerifiersDir, glob, isDirectory, loadConfig, loadDecisionFile, loadDecisionsFromDir, matchesAnyPattern, matchesPattern, mergeWithDefaults, normalizePath, parseYaml, parseYamlDocument, pathExists, readFilesInDir, readTextFile, runInference, selectVerifierForConstraint, stringifyYaml, 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 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, 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 Pattern, type PatternExample, type PromptTemplate, PropagationEngine, type PropagationOptions, RegexVerifier, Registry, type RegistryConstraintMatch, RegistryError, type RegistryOptions, type ReportOptions, Reporter, type ScanOptions, type ScanResult, type ScannedFile, SecurityVerifier, type Severity, SeveritySchema, type SeveritySchema_, type SpecBridgeConfig, SpecBridgeConfigSchema, type SpecBridgeConfigType, SpecBridgeError, SpecBridgeMcpServer, StructureAnalyzer, type TextEdit, type TrendData, type VerificationConfig, VerificationConfigSchema, type VerificationConfigSchema_, type VerificationContext, VerificationEngine, VerificationError, type VerificationFrequency, VerificationFrequencySchema, type VerificationFrequencySchema_, type VerificationLevel, type VerificationOptions, type VerificationResult, type Verifier, VerifierNotFoundError, type Violation, type ViolationFix, buildDependencyGraph, builtinAnalyzers, builtinVerifiers, calculateConfidence, checkDegradation, createInferenceEngine, createPattern, createPropagationEngine, createRegistry, createScannerFromConfig, createVerificationEngine, createViolation, defaultConfig, 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 };