@fairfox/polly 0.19.0 → 0.20.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fairfox/polly",
-  "version": "0.19.0",
+  "version": "0.20.0",
   "private": false,
   "type": "module",
   "description": "Multi-execution-context framework with reactive state and cross-context messaging for Chrome extensions, PWAs, and worker-based applications",
@@ -22,6 +22,10 @@
       "import": "./dist/src/shared/lib/state.js",
       "types": "./dist/shared/lib/state.d.ts"
     },
+    "./resource": {
+      "import": "./dist/src/shared/lib/resource.js",
+      "types": "./dist/shared/lib/resource.d.ts"
+    },
     "./message-bus": {
       "import": "./dist/src/shared/lib/message-bus.js",
       "types": "./dist/shared/lib/message-bus.d.ts"
@@ -82,10 +86,6 @@
     "format": "biome format --write .",
     "test": "bun run --cwd tests test",
     "test:watch": "bun run --cwd tests test:watch",
-    "test:framework": "bun run --cwd tests test:framework",
-    "test:framework:ui": "bun run --cwd tests test:framework:ui",
-    "test:framework:debug": "bun run --cwd tests test:framework:debug",
-    "test:framework:headed": "bun run --cwd tests test:framework:headed",
     "test:all": "bun run lint && bun run typecheck && bun run --cwd tests test:all && bun run test:examples",
     "test:examples": "echo '\\n=== Testing Examples ===' && bun run test:example:minimal && bun run test:example:todo-list && bun run test:example:full-featured",
     "test:example:minimal": "echo '\\n--- Minimal Example ---' && bun run --cwd examples/minimal test:all",

package/dist/src/elysia/tla-generator.d.ts

@@ -1,16 +0,0 @@
-import type { PollyConfig } from "./types";
-/**
- * Generate TLA+ specification from Elysia app + Polly config
- *
- * This generates a formal model that can be checked with TLC (TLA+ model checker)
- * to verify distributed systems properties like:
- * - Eventually consistent state
- * - Authorization enforcement
- * - No lost updates
- * - Causal ordering of events
- */
-export declare function generateTLASpec(moduleName: string, config: PollyConfig): string;
-/**
- * Export TLA+ spec to file
- */
-export declare function exportTLASpec(moduleName: string, config: PollyConfig, outputPath: string): Promise<void>;

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

@@ -1,64 +0,0 @@
-// ═══════════════════════════════════════════════════════════════
-// Verification Configuration
-// ═══════════════════════════════════════════════════════════════
-//
-// This file configures TLA+ verification for your extension.
-// Some values are auto-configured, others need your input.
-//
-// Look for:
-//   • /* CONFIGURE */ - Replace with your value
-//   • /* REVIEW */ - Check the auto-generated value
-//   • null - Must be replaced with a concrete value
-//
-// Run 'bun verify' to check for incomplete configuration.
-// Run 'bun verify --setup' for interactive help.
-//
-
-import { defineVerification } from "../src/index";
-
-export const verificationConfig = defineVerification({
-  state: {},
-
-  messages: {
-    // Maximum messages in flight simultaneously across all contexts.
-    // Higher = more realistic concurrency, but exponentially slower.
-    //
-    // Recommended values:
-    //   • 2-3: Fast verification (< 10 seconds)
-    //   • 4-6: Balanced (10-60 seconds)
-    //   • 8+: Thorough but slow (minutes)
-    //
-    // WARNING: State space grows exponentially! Start small.
-    maxInFlight: 3,
-
-    // Maximum tab IDs to model (content scripts are per-tab).
-    //
-    // Recommended:
-    //   • 0-1: Most extensions (single tab or tab-agnostic)
-    //   • 2-3: Multi-tab coordination
-    //
-    // 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
-  // ─────────────────────
-  //
-  // onBuild: What to do during development builds
-  //   • 'warn' - Show warnings but don't fail (recommended)
-  //   • 'error' - Fail the build on violations
-  //   • 'off' - Skip verification
-  //
-  onBuild: "warn",
-
-  // onRelease: What to do during production builds
-  //   • 'error' - Fail the build on violations (recommended)
-  //   • 'warn' - Show warnings but don't fail
-  //   • 'off' - Skip verification
-  //
-  onRelease: "error",
-});