@ipation/specbridge 0.2.2 → 1.0.1

package/dist/index.d.ts

@@ -1391,7 +1391,7 @@ declare class VerificationEngine {
     /**
      * Verify a single file
      */
-    verifyFile(filePath: string, decisions: Decision[], severityFilter?: Severity[]): Promise<Violation[]>;
+    verifyFile(filePath: string, decisions: Decision[], severityFilter?: Severity[], cwd?: string): Promise<Violation[]>;
     /**
      * Verify multiple files
      */
@@ -1790,13 +1790,22 @@ interface GlobOptions {
  * Find files matching glob patterns
  */
 declare function glob(patterns: string | string[], options?: GlobOptions): Promise<string[]>;
+/**
+ * Normalize a file path to be relative to a base directory
+ * Handles both absolute and relative paths, cross-platform
+ */
+declare function normalizePath(filePath: string, basePath?: string): string;
 /**
  * Check if a file path matches a glob pattern
  */
-declare function matchesPattern(filePath: string, pattern: string): boolean;
+declare function matchesPattern(filePath: string, pattern: string, options?: {
+    cwd?: string;
+}): boolean;
 /**
  * Check if a file path matches any of the given patterns
  */
-declare function matchesAnyPattern(filePath: string, patterns: string[]): boolean;
+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, parseYaml, parseYamlDocument, pathExists, readFilesInDir, readTextFile, runInference, selectVerifierForConstraint, stringifyYaml, updateYamlDocument, validateConfig, validateDecision, validateDecisionFile, writeTextFile };
+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 };

package/dist/index.js

@@ -450,6 +450,7 @@ async function validateDecisionFile(filePath) {
 // src/utils/glob.ts
 import fg from "fast-glob";
 import { minimatch } from "minimatch";
+import { relative, isAbsolute } from "path";
 async function glob(patterns, options = {}) {
   const {
     cwd = process.cwd(),
@@ -465,11 +466,22 @@ async function glob(patterns, options = {}) {
     dot: false
   });
 }
-function matchesPattern(filePath, pattern) {
-  return minimatch(filePath, pattern, { matchBase: true });
+function normalizePath(filePath, basePath = process.cwd()) {
+  let resultPath;
+  if (!isAbsolute(filePath)) {
+    resultPath = filePath;
+  } else {
+    resultPath = relative(basePath, filePath);
+  }
+  return resultPath.replace(/\\/g, "/");
 }
-function matchesAnyPattern(filePath, patterns) {
-  return patterns.some((pattern) => matchesPattern(filePath, pattern));
+function matchesPattern(filePath, pattern, options = {}) {
+  const cwd = options.cwd || process.cwd();
+  const normalizedPath = normalizePath(filePath, cwd);
+  return minimatch(normalizedPath, pattern, { matchBase: true });
+}
+function matchesAnyPattern(filePath, patterns, options = {}) {
+  return patterns.some((pattern) => matchesPattern(filePath, pattern, options));
 }
 
 // src/registry/registry.ts
@@ -2017,7 +2029,7 @@ var VerificationEngine = class {
     let checked = 0;
     let passed = 0;
     let failed = 0;
-    let skipped = 0;
+    const skipped = 0;
     const timeoutPromise = new Promise(
       (resolve) => setTimeout(() => resolve("timeout"), timeout)
     );
@@ -2025,6 +2037,7 @@ var VerificationEngine = class {
       filesToVerify,
       decisions,
       severityFilter,
+      cwd,
       (violations) => {
         allViolations.push(...violations);
         checked++;
@@ -2069,7 +2082,7 @@ var VerificationEngine = class {
   /**
    * Verify a single file
    */
-  async verifyFile(filePath, decisions, severityFilter) {
+  async verifyFile(filePath, decisions, severityFilter, cwd = process.cwd()) {
     const violations = [];
     let sourceFile = this.project.getSourceFile(filePath);
     if (!sourceFile) {
@@ -2081,13 +2094,13 @@ var VerificationEngine = class {
     }
     for (const decision of decisions) {
       for (const constraint of decision.constraints) {
-        if (!matchesPattern(filePath, constraint.scope)) {
+        if (!matchesPattern(filePath, constraint.scope, { cwd })) {
           continue;
         }
         if (severityFilter && !severityFilter.includes(constraint.severity)) {
           continue;
         }
-        if (this.isExcepted(filePath, constraint)) {
+        if (this.isExcepted(filePath, constraint, cwd)) {
           continue;
         }
         const verifier = selectVerifierForConstraint(constraint.rule, constraint.verifier);
@@ -2112,16 +2125,16 @@ var VerificationEngine = class {
   /**
    * Verify multiple files
    */
-  async verifyFiles(files, decisions, severityFilter, onFileVerified) {
+  async verifyFiles(files, decisions, severityFilter, cwd, onFileVerified) {
     for (const file of files) {
-      const violations = await this.verifyFile(file, decisions, severityFilter);
+      const violations = await this.verifyFile(file, decisions, severityFilter, cwd);
       onFileVerified(violations);
     }
   }
   /**
    * Check if file is excepted from constraint
    */
-  isExcepted(filePath, constraint) {
+  isExcepted(filePath, constraint, cwd) {
     if (!constraint.exceptions) return false;
     return constraint.exceptions.some((exception) => {
       if (exception.expiresAt) {
@@ -2130,7 +2143,7 @@ var VerificationEngine = class {
           return false;
         }
       }
-      return matchesPattern(filePath, exception.pattern);
+      return matchesPattern(filePath, exception.pattern, { cwd });
     });
   }
   /**
@@ -3042,6 +3055,7 @@ export {
   matchesPattern,
   mergeWithDefaults,
   minimatch,
+  normalizePath,
   parseYaml,
   parseYamlDocument,
   pathExists,