@fairfox/polly 0.9.0 → 0.9.1

package/dist/tools/verify/specs/verification.config.ts

@@ -39,6 +39,10 @@ export const verificationConfig = defineVerification({
     //
     // Start with 0 or 1 for faster verification.
     maxTabs: 1,
+
+    // TEST: Message filtering (Issue #14)
+    // Only verify these specific message types
+    include: ["test_message_1", "test_message_2", "test_message_3"],
   },
 
   // Verification behavior

package/dist/tools/verify/src/cli.js

@@ -775,6 +775,13 @@ class TLAGenerator {
     if (analysis.messageTypes.length === 0) {
       return;
     }
+    if (process.env["POLLY_DEBUG"]) {
+      console.log("[DEBUG] [TLAGenerator] Full config keys:", Object.keys(config));
+      console.log("[DEBUG] [TLAGenerator] config.messages:", JSON.stringify(config.messages, null, 2));
+      console.log("[DEBUG] [TLAGenerator] config.messages.include:", config.messages.include);
+      console.log("[DEBUG] [TLAGenerator] config.messages.exclude:", config.messages.exclude);
+      console.log("[DEBUG] [TLAGenerator] analysis.messageTypes:", analysis.messageTypes);
+    }
     let validMessageTypes = [];
     const invalidMessageTypes = [];
     for (const msgType of analysis.messageTypes) {
@@ -790,18 +797,46 @@ class TLAGenerator {
         console.log(`[WARN]   - "${invalid}" (not a valid TLA+ identifier)`);
       }
     }
+    if (process.env["POLLY_DEBUG"]) {
+      console.log(`[DEBUG] [TLAGenerator] Valid message types before filtering (${validMessageTypes.length}):`, validMessageTypes);
+    }
     const originalCount = validMessageTypes.length;
     const filteredOut = [];
+    if (process.env["POLLY_DEBUG"]) {
+      console.log("[DEBUG] [TLAGenerator] Checking filter conditions:");
+      console.log("[DEBUG]   - config.messages.include exists:", !!config.messages.include);
+      console.log("[DEBUG]   - config.messages.include.length:", config.messages.include?.length ?? "N/A");
+      console.log("[DEBUG]   - First condition result:", !!(config.messages.include && config.messages.include.length > 0));
+    }
     if (config.messages.include && config.messages.include.length > 0) {
+      if (process.env["POLLY_DEBUG"]) {
+        console.log("[DEBUG] [TLAGenerator] Entering include mode filtering");
+      }
       const included = new Set(config.messages.include);
       const beforeFilter = validMessageTypes;
       validMessageTypes = validMessageTypes.filter((msg) => included.has(msg));
       filteredOut.push(...beforeFilter.filter((msg) => !included.has(msg)));
+      if (process.env["POLLY_DEBUG"]) {
+        console.log("[DEBUG] [TLAGenerator] After include filtering:");
+        console.log("[DEBUG]   - validMessageTypes:", validMessageTypes);
+        console.log("[DEBUG]   - filteredOut:", filteredOut);
+      }
     } else if (config.messages.exclude && config.messages.exclude.length > 0) {
+      if (process.env["POLLY_DEBUG"]) {
+        console.log("[DEBUG] [TLAGenerator] Entering exclude mode filtering");
+      }
       const excluded = new Set(config.messages.exclude);
       const beforeFilter = validMessageTypes;
       validMessageTypes = validMessageTypes.filter((msg) => !excluded.has(msg));
       filteredOut.push(...beforeFilter.filter((msg) => excluded.has(msg)));
+      if (process.env["POLLY_DEBUG"]) {
+        console.log("[DEBUG] [TLAGenerator] After exclude filtering:");
+        console.log("[DEBUG]   - validMessageTypes:", validMessageTypes);
+        console.log("[DEBUG]   - filteredOut:", filteredOut);
+      }
+    } else if (process.env["POLLY_DEBUG"]) {
+      console.log("[DEBUG] [TLAGenerator] No include/exclude filtering applied");
+      console.log("[DEBUG]   - Reason: Neither include nor exclude conditions met");
     }
     if (filteredOut.length > 0) {
       const filterMode = config.messages.include ? "include" : "exclude";
@@ -809,6 +844,8 @@ class TLAGenerator {
       if (process.env["POLLY_DEBUG"]) {
         console.log(`[INFO]   Filtered out: ${filteredOut.join(", ")}`);
       }
+    } else if (config.messages.include || config.messages.exclude) {
+      console.log("[WARN] [TLAGenerator] Message filters configured but no types were filtered");
     }
     if (validMessageTypes.length === 0) {
       return;
@@ -1759,22 +1796,32 @@ import * as path3 from "node:path";
 class DockerRunner {
   async isDockerAvailable() {
     try {
-      const result = await this.runCommand("docker", ["--version"]);
+      const result = await this.runCommand("docker", ["info"], {
+        timeout: 5000
+      });
       return result.exitCode === 0;
-    } catch {
+    } catch (error) {
+      if (error instanceof Error && error.message.includes("timed out")) {
+        throw error;
+      }
       return false;
     }
   }
   async hasImage() {
     try {
-      const result = await this.runCommand("docker", ["images", "-q", "talex5/tla"]);
+      const result = await this.runCommand("docker", ["images", "-q", "talex5/tla"], {
+        timeout: 1e4
+      });
       return result.stdout.trim().length > 0;
-    } catch {
+    } catch (error) {
+      if (error instanceof Error && error.message.includes("timed out")) {
+        throw error;
+      }
       return false;
     }
   }
   async pullImage(onProgress) {
-    await this.runCommandStreaming("docker", ["pull", "talex5/tla:latest"], onProgress);
+    await this.runCommandStreaming("docker", ["pull", "talex5/tla:latest"], onProgress, 300000);
   }
   async runTLC(specPath, options) {
     if (!fs3.existsSync(specPath)) {
@@ -1896,9 +1943,13 @@ class DockerRunner {
       });
     });
   }
-  runCommandStreaming(command, args, onOutput) {
+  runCommandStreaming(command, args, onOutput, timeout) {
     return new Promise((resolve2, reject) => {
       const proc = spawn(command, args);
+      const timeoutHandle = timeout && timeout > 0 ? setTimeout(() => {
+        proc.kill();
+        reject(new Error(`Command timed out after ${Math.floor(timeout / 1000)}s. Docker may be unresponsive.`));
+      }, timeout) : null;
       proc.stdout.on("data", (data) => {
         if (onOutput) {
           const lines = data.toString().split(`
@@ -1922,13 +1973,19 @@ class DockerRunner {
         }
       });
       proc.on("close", (exitCode) => {
+        if (timeoutHandle)
+          clearTimeout(timeoutHandle);
         if (exitCode === 0) {
           resolve2();
         } else {
           reject(new Error(`Command failed with exit code ${exitCode}`));
         }
       });
-      proc.on("error", reject);
+      proc.on("error", (error) => {
+        if (timeoutHandle)
+          clearTimeout(timeoutHandle);
+        reject(error);
+      });
     });
   }
 }
@@ -4846,14 +4903,50 @@ async function setupDocker() {
   const { DockerRunner: DockerRunner2 } = await Promise.resolve().then(() => (init_docker(), exports_docker));
   console.log(color("\uD83D\uDC33 Checking Docker...", COLORS.blue));
   const docker = new DockerRunner2;
-  if (!await docker.isDockerAvailable()) {
-    throw new Error("Docker is not available. Please install Docker and try again.");
+  try {
+    if (!await docker.isDockerAvailable()) {
+      console.log();
+      console.log(color("❌ Docker is not available", COLORS.red));
+      console.log();
+      console.log("Please ensure Docker is installed and running:");
+      console.log(color("  • Install Docker Desktop: https://www.docker.com/products/docker-desktop", COLORS.gray));
+      console.log(color("  • Make sure Docker Desktop is running", COLORS.gray));
+      console.log();
+      throw new Error("Docker is not available");
+    }
+  } catch (error) {
+    console.log();
+    if (error instanceof Error && error.message.includes("timed out")) {
+      console.log(color("❌ Docker is unresponsive", COLORS.red));
+      console.log();
+      console.log("Docker appears to be installed but is not responding.");
+      console.log("Try restarting Docker:");
+      console.log(color("  • Quit Docker Desktop completely", COLORS.gray));
+      console.log(color("  • Restart Docker Desktop", COLORS.gray));
+      console.log(color("  • Wait for Docker to fully start (check the menu bar icon)", COLORS.gray));
+      console.log();
+    } else if (error instanceof Error && error.message !== "Docker is not available") {
+      console.log(color(`❌ Error checking Docker: ${error.message}`, COLORS.red));
+      console.log();
+    }
+    throw error;
   }
-  if (!await docker.hasImage()) {
-    console.log(color("   Pulling TLA+ image (this may take a moment)...", COLORS.gray));
-    await docker.pullImage((line) => {
-      console.log(color(`   ${line}`, COLORS.gray));
-    });
+  try {
+    if (!await docker.hasImage()) {
+      console.log(color("   Pulling TLA+ image (this may take a moment)...", COLORS.gray));
+      await docker.pullImage((line) => {
+        console.log(color(`   ${line}`, COLORS.gray));
+      });
+    }
+  } catch (error) {
+    console.log();
+    if (error instanceof Error && error.message.includes("timed out")) {
+      console.log(color("❌ Docker is unresponsive while checking for TLA+ image", COLORS.red));
+      console.log();
+      console.log("Docker is not responding. Try restarting Docker Desktop.");
+      console.log();
+    }
+    throw error;
   }
   console.log(color("✓ Docker ready", COLORS.green));
   console.log();
@@ -4959,4 +5052,4 @@ main().catch((error) => {
   process.exit(1);
 });
 
-//# debugId=C143FDB4EBE435E264756E2164756E21
+//# debugId=E4DF49968E3D4FDC64756E2164756E21