@fairfox/polly 0.12.0 → 0.12.2

package/dist/src/elysia/plugin.d.ts

@@ -1,5 +1,85 @@
+import type { Signal } from "@preact/signals-core";
+import { Elysia } from "elysia";
 import type { PollyConfig } from "./types";
+/**
+ * Broadcast message sent to connected clients
+ */
+interface BroadcastMessage {
+    type: "effect";
+    path: string;
+    method: string;
+    result: unknown;
+    clock: {
+        tick: number;
+        contextId: string;
+    };
+}
+/**
+ * Minimal WebSocket interface for broadcasting
+ */
+interface MinimalWebSocket {
+    readyState: number;
+    send(data: string): void;
+}
+/**
+ * WebSocket broadcast manager
+ */
+declare class BroadcastManager {
+    private connections;
+    register(clientId: string, ws: MinimalWebSocket): void;
+    unregister(clientId: string): void;
+    broadcast(message: BroadcastMessage, filter?: (clientId: string) => boolean): void;
+}
 /**
  * Main Polly Elysia plugin
  */
-export declare function polly(config?: PollyConfig): any;
+export declare function polly(config?: PollyConfig): Elysia<"", {
+    decorator: {
+        pollyState: {
+            client: Record<string, Signal<unknown>>;
+            server: Record<string, Signal<unknown>>;
+        };
+    } & {
+        pollyClock: import("../core/clock").LamportClockOps;
+    } & {
+        pollyBroadcast: BroadcastManager;
+    };
+    store: {};
+    derive: {};
+    resolve: {};
+}, {
+    typebox: {};
+    error: {};
+}, {
+    schema: {};
+    standaloneSchema: {};
+    macro: {};
+    macroFn: {};
+    parser: {};
+    response: {};
+}, {
+    [x: string]: {
+        subscribe: {
+            body: unknown;
+            params: {};
+            query: unknown;
+            headers: unknown;
+            response: {};
+        };
+    };
+}, {
+    derive: {};
+    resolve: {};
+    schema: {};
+    standaloneSchema: {};
+    response: {};
+}, {
+    derive: {};
+    resolve: {};
+    schema: {};
+    standaloneSchema: {};
+    response: {
+        200: Response;
+    };
+}>;
+export {};

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

@@ -1948,7 +1948,7 @@ class DockerRunner {
       `${specName}.tla`
     ];
     const result = await this.runCommand("docker", args, {
-      timeout: options?.timeout || 60000
+      timeout: options?.timeout
     });
     return this.parseTLCOutput(result);
   }
@@ -2029,7 +2029,7 @@ class DockerRunner {
       const timeoutValue = options?.timeout ?? 0;
       const timeout = timeoutValue > 0 ? setTimeout(() => {
         proc.kill();
-        reject(new Error(`Command timed out after ${Math.floor(timeoutValue / 1000)}s. TLC was still making progress. Consider increasing the timeout or using preset: 'thorough' for no timeout.`));
+        reject(new Error(`Command timed out after ${Math.floor(timeoutValue / 1000)}s. TLC was still making progress. Consider increasing the timeout or setting timeout: 0 for no timeout.`));
       }, timeoutValue) : null;
       proc.on("close", (exitCode) => {
         if (timeout)
@@ -2457,22 +2457,6 @@ class ConfigGenerator {
     this.line("//");
     this.line("onRelease: 'error',");
     this.line("");
-    this.line("// Verification options (optional)");
-    this.line("// ─────────────────────");
-    this.line("//");
-    this.line("// Presets provide quick configuration:");
-    this.line("//   • 'quick': 1 minute timeout, 1 worker");
-    this.line("//   • 'balanced': 5 minutes timeout, 2 workers (default)");
-    this.line("//   • 'thorough': No timeout, 4 workers");
-    this.line("//");
-    this.line("// Or customize with verification options:");
-    this.line("//   verification: {");
-    this.line("//     timeout: 300,  // Timeout in seconds (0 = no timeout)");
-    this.line("//     workers: 2,    // Number of TLC workers");
-    this.line("//   }");
-    this.line("//");
-    this.line("// preset: 'balanced',");
-    this.line("");
     this.line("// ─────────────────────────────────────────────────────────");
     this.line("// Tier 2 Optimizations (controlled approximations) - ADVANCED");
     this.line("// ─────────────────────────────────────────────────────────");
@@ -5068,36 +5052,10 @@ Stack trace:`, COLORS.gray));
   }
 }
 function getTimeout(config) {
-  if (config.verification?.timeout !== undefined) {
-    return config.verification.timeout;
-  }
-  const preset = config.preset || "balanced";
-  switch (preset) {
-    case "quick":
-      return 300;
-    case "balanced":
-      return 900;
-    case "thorough":
-      return 0;
-    default:
-      return 900;
-  }
+  return config.verification?.timeout ?? 0;
 }
 function getWorkers(config) {
-  if (config.verification?.workers !== undefined) {
-    return config.verification.workers;
-  }
-  const preset = config.preset || "balanced";
-  switch (preset) {
-    case "quick":
-      return 1;
-    case "balanced":
-      return 2;
-    case "thorough":
-      return 4;
-    default:
-      return 2;
-  }
+  return config.verification?.workers ?? 1;
 }
 async function runFullVerification(configPath) {
   const config = await loadVerificationConfig(configPath);
@@ -5338,4 +5296,4 @@ main().catch((error) => {
   process.exit(1);
 });
 
-//# debugId=1F176417DE7AA13D64756E2164756E21
+//# debugId=1B51E02C2E7CEC9764756E2164756E21