@ipation/specbridge 2.0.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;
@@ -1540,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[];
@@ -1595,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

package/dist/index.js

@@ -7654,7 +7654,7 @@ var PluginLoader = class {
     }
     this.loaded = true;
     if (this.plugins.size > 0) {
-      console.log(`Loaded ${this.plugins.size} custom verifier(s)`);
+      console.error(`Loaded ${this.plugins.size} custom verifier(s)`);
     }
     if (this.loadErrors.length > 0) {
       console.warn(`Failed to load ${this.loadErrors.length} plugin(s)`);
@@ -7676,7 +7676,7 @@ var PluginLoader = class {
         `Plugin ID "${plugin.metadata.id}" is already registered. Each plugin must have a unique ID.`
       );
     }
-    this.plugins.set(plugin.metadata.id, plugin.createVerifier);
+    this.plugins.set(plugin.metadata.id, plugin);
   }
   /**
    * Validate plugin structure and metadata
@@ -7735,8 +7735,55 @@ var PluginLoader = class {
    * @returns Verifier instance or null if not found
    */
   getVerifier(id) {
-    const factory = this.plugins.get(id);
-    return factory ? factory() : null;
+    const plugin = this.plugins.get(id);
+    return plugin ? plugin.createVerifier() : null;
+  }
+  /**
+   * Get a plugin by ID (includes paramsSchema)
+   *
+   * @param id - Plugin ID
+   * @returns Plugin or null if not found
+   */
+  getPlugin(id) {
+    return this.plugins.get(id) || null;
+  }
+  /**
+   * Validate params against a plugin's paramsSchema
+   *
+   * @param id - Plugin ID
+   * @param params - Parameters to validate
+   * @returns Validation result with success flag and error message if failed
+   */
+  validateParams(id, params) {
+    const plugin = this.plugins.get(id);
+    if (!plugin) {
+      return { success: false, error: `Plugin ${id} not found` };
+    }
+    if (!plugin.paramsSchema) {
+      return { success: true };
+    }
+    if (!params) {
+      return { success: false, error: `Plugin ${id} requires params but none were provided` };
+    }
+    if (typeof plugin.paramsSchema !== "object" || !plugin.paramsSchema || !("parse" in plugin.paramsSchema)) {
+      return { success: false, error: `Plugin ${id} has invalid paramsSchema (must be a Zod schema)` };
+    }
+    const schema = plugin.paramsSchema;
+    if (schema.safeParse) {
+      const result = schema.safeParse(params);
+      if (!result.success) {
+        const errors = result.error?.issues.map((issue) => `${issue.path.join(".")}: ${issue.message}`).join(", ") || "Validation failed";
+        return { success: false, error: `Invalid params for ${id}: ${errors}` };
+      }
+    } else {
+      try {
+        schema.parse(params);
+      } catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return { success: false, error: `Invalid params for ${id}: ${message}` };
+      }
+    }
+    return { success: true };
   }
   /**
    * Get all registered plugin IDs
@@ -8054,9 +8101,13 @@ var VerificationEngine = class {
     let passed = 0;
     let failed = 0;
     const skipped = 0;
+    const abortController = new AbortController();
     let timeoutHandle = null;
     const timeoutPromise = new Promise((resolve2) => {
-      timeoutHandle = setTimeout(() => resolve2("timeout"), timeout);
+      timeoutHandle = setTimeout(() => {
+        abortController.abort();
+        resolve2("timeout");
+      }, timeout);
       timeoutHandle.unref();
     });
     const verificationPromise = this.verifyFiles(
@@ -8065,6 +8116,7 @@ var VerificationEngine = class {
       severityFilter,
       cwd,
       options.reporter,
+      abortController.signal,
       (violations, warnings, errors) => {
         allViolations.push(...violations);
         allWarnings.push(...warnings);
@@ -8123,10 +8175,13 @@ var VerificationEngine = class {
   /**
    * Verify a single file
    */
-  async verifyFile(filePath, decisions, severityFilter, cwd = process.cwd(), reporter) {
+  async verifyFile(filePath, decisions, severityFilter, cwd = process.cwd(), reporter, signal) {
     const violations = [];
     const warnings = [];
     const errors = [];
+    if (signal?.aborted) {
+      return { violations, warnings, errors };
+    }
     const sourceFile = await this.astCache.get(filePath, this.project);
     if (!sourceFile) return { violations, warnings, errors };
     let fileHash = null;
@@ -8207,11 +8262,35 @@ var VerificationEngine = class {
             continue;
           }
         }
+        if (constraint.check?.verifier && constraint.check?.params) {
+          const pluginLoader2 = getPluginLoader();
+          const validationResult = pluginLoader2.validateParams(constraint.check.verifier, constraint.check.params);
+          if (!validationResult.success) {
+            warnings.push({
+              type: "invalid_params",
+              message: validationResult.error,
+              decisionId: decision.metadata.id,
+              constraintId: constraint.id,
+              file: filePath
+            });
+            if (reporter) {
+              reporter.add({
+                file: filePath,
+                decision,
+                constraint,
+                applied: false,
+                reason: `Params validation failed: ${validationResult.error}`
+              });
+            }
+            continue;
+          }
+        }
         const ctx = {
           filePath,
           sourceFile,
           constraint,
-          decisionId: decision.metadata.id
+          decisionId: decision.metadata.id,
+          signal
         };
         const verificationStart = Date.now();
         try {
@@ -8287,12 +8366,15 @@ var VerificationEngine = class {
   /**
    * Verify multiple files
    */
-  async verifyFiles(files, decisions, severityFilter, cwd, reporter, onFileVerified) {
+  async verifyFiles(files, decisions, severityFilter, cwd, reporter, signal, onFileVerified) {
     const BATCH_SIZE = 50;
     for (let i = 0; i < files.length; i += BATCH_SIZE) {
+      if (signal.aborted) {
+        break;
+      }
       const batch = files.slice(i, i + BATCH_SIZE);
       const results = await Promise.all(
-        batch.map((file) => this.verifyFile(file, decisions, severityFilter, cwd, reporter))
+        batch.map((file) => this.verifyFile(file, decisions, severityFilter, cwd, reporter, signal))
       );
       for (const result of results) {
         onFileVerified(result.violations, result.warnings, result.errors);