@fairfox/polly 0.91.0 → 0.92.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fairfox/polly",
-  "version": "0.91.0",
+  "version": "0.92.1",
   "private": false,
   "type": "module",
   "description": "Multi-execution-context framework with reactive state and cross-context messaging for Chrome extensions, PWAs, and worker-based applications",
@@ -58,10 +58,6 @@
       "import": "./dist/tools/verify/src/config.js",
       "types": "./dist/tools/verify/src/config.d.ts"
     },
-    "./stryker": {
-      "import": "./dist/tools/verify/src/stryker/index.js",
-      "types": "./dist/tools/verify/src/stryker/index.d.ts"
-    },
     "./mutate": {
       "import": "./dist/tools/mutate/src/index.js",
       "types": "./dist/tools/mutate/src/index.d.ts"
@@ -155,7 +151,7 @@
     "build:registry": "bun scripts/build-polly-ui-registry.ts",
     "build:full-featured": "bun run scripts/build-user-extension.ts ../../examples/full-featured",
     "build:full-featured:prod": "bun run scripts/build-user-extension.ts ../../examples/full-featured --prod",
-    "typecheck": "bunx tsc --noEmit && bun run --cwd tests typecheck",
+    "typecheck": "bun --check && bun run --cwd tests typecheck",
     "typecheck:tests": "bun run --cwd tests typecheck",
     "lint": "biome check .",
     "lint:fix": "biome check --write .",
@@ -172,43 +168,41 @@
     "publish:public": "bun run scripts/publish.ts"
   },
   "devDependencies": {
-    "@automerge/automerge-repo": "2.5.5",
-    "@automerge/automerge-repo-network-websocket": "2.5.5",
-    "@automerge/automerge-repo-storage-indexeddb": "2.5.5",
-    "@automerge/automerge-repo-storage-nodefs": "2.5.5",
-    "@babel/parser": "7.29.3",
-    "@babel/traverse": "7.29.0",
-    "@biomejs/biome": "2.4.14",
-    "@stryker-mutator/api": "9.6.1",
+    "@automerge/automerge-repo": "2.5.6",
+    "@automerge/automerge-repo-network-websocket": "2.5.6",
+    "@automerge/automerge-repo-storage-indexeddb": "2.5.6",
+    "@automerge/automerge-repo-storage-nodefs": "2.5.6",
+    "@biomejs/biome": "2.5.15",
     "@elysiajs/eden": "1.4.9",
-    "@preact/signals": "2.9.0",
-    "@preact/signals-core": "1.14.2",
-    "@types/bun": "1.3.13",
-    "@types/chrome": "0.1.40",
-    "@types/pixelmatch": "5.2.6",
+    "@preact/signals": "2.11.3",
+    "@preact/signals-core": "1.14.4",
+    "@types/bun": "1.4.3",
+    "@types/chrome": "0.3.5",
+    "@types/pixelmatch": "7.1.0",
     "@types/pngjs": "6.0.5",
-    "@types/ws": "8.18.1",
-    "dompurify": "3.4.14",
-    "elysia": "1.4.28",
-    "fast-check": "4.7.0",
-    "marked": "18.0.3",
-    "pixelmatch": "7.2.0",
+    "@types/ws": "8.18.2",
+    "dompurify": "3.4.17",
+    "elysia": "1.4.30",
+    "fast-check": "4.10.2",
+    "marked": "18.1.1",
+    "pixelmatch": "8.0.0",
     "pngjs": "7.0.0",
-    "preact": "10.29.1",
-    "puppeteer": "24.42.0",
-    "tweetnacl": "1.0.3",
-    "typescript": "6.0.3"
+    "preact": "10.29.8",
+    "puppeteer": "25.14.0",
+    "tweetnacl": "1.0.3"
   },
   "engines": {
-    "bun": ">=1.2.0"
+    "bun": ">=1.4.3"
   },
   "dependencies": {
-    "@cucumber/gherkin": "40.0.0",
-    "@cucumber/messages": "33.0.2",
-    "ts-morph": "28.0.0"
+    "@cucumber/gherkin": "42.0.1",
+    "@cucumber/messages": "34.2.1",
+    "oxc-parser": "0.137.0",
+    "typescript-7": "npm:typescript@7.0.2",
+    "ts-morph": "28.0.0",
+    "weapon-regex": "1.3.6"
   },
   "peerDependencies": {
-    "typescript": ">= 5.9.3",
     "preact": "^10.28.1",
     "@preact/signals": "^2.5.1",
     "@preact/signals-core": "^1.14.0",
@@ -224,13 +218,9 @@
     "werift": ">= 0.19.0",
     "@roamhq/wrtc": ">= 0.8.0",
     "marked": ">= 12.0.0",
-    "dompurify": ">= 3.0.0",
-    "@stryker-mutator/api": ">= 9.0.0"
+    "dompurify": ">= 3.0.0"
   },
   "peerDependenciesMeta": {
-    "@stryker-mutator/api": {
-      "optional": true
-    },
     "elysia": {
       "optional": true
     },

package/dist/tools/verify/src/stryker/index.d.ts

@@ -1,32 +0,0 @@
-import type { Ignorer, NodePath } from "@stryker-mutator/api/ignore";
-import { PluginKind } from "@stryker-mutator/api/plugin";
-/**
- * The polly verify primitives whose argument expressions are runtime no-ops.
- * A mutation anywhere inside a call to one of these cannot be killed by a test,
- * so its mutants are excluded from scoring.
- */
-export declare const VERIFY_PRIMITIVES: ReadonlySet<string>;
-/** The Stryker plugin name consumers reference in `ignorers`. */
-export declare const POLLY_VERIFY_IGNORER_NAME = "polly-verify";
-/**
- * A Stryker `Ignore` plugin. Stryker calls `shouldIgnore` on entering each AST
- * node; returning a message marks that node — and every descendant, until the
- * node is left — as ignored. So matching the verify `CallExpression` itself
- * covers its condition and message arguments in one shot.
- */
-export declare class PollyVerifyIgnorer implements Ignorer {
-    private readonly primitives;
-    constructor(primitives?: ReadonlySet<string>);
-    shouldIgnore(path: NodePath): string | undefined;
-}
-/** The plugin array Stryker reads when this module is listed in `plugins`. */
-export declare const strykerPlugins: import("@stryker-mutator/api/plugin").FactoryPlugin<PluginKind.Ignore, ["options"]>[];
-/**
- * A partial Stryker config that wires up the ignorer. Spread it into a
- * `stryker.conf.mjs` default export, or replicate its two keys in JSON.
- */
-export declare const pollyStrykerPreset: {
-    readonly plugins: readonly ["@fairfox/polly/stryker"];
-    readonly ignorers: readonly ["polly-verify"];
-};
-export default pollyStrykerPreset;

package/dist/tools/verify/src/stryker/index.js

@@ -1,86 +0,0 @@
-// tools/verify/src/stryker/index.ts
-import {
-  commonTokens,
-  declareFactoryPlugin,
-  PluginKind,
-  tokens
-} from "@stryker-mutator/api/plugin";
-var VERIFY_PRIMITIVES = new Set([
-  "requires",
-  "ensures",
-  "invariant",
-  "stateConstraint",
-  "forAllPeers",
-  "somePeer"
-]);
-var POLLY_VERIFY_IGNORER_NAME = "polly-verify";
-function isCallExpressionPath(path) {
-  return "isCallExpression" in path && typeof path.isCallExpression === "function";
-}
-function isBabelIdentifier(callee) {
-  return callee.type === "Identifier";
-}
-function isBabelMemberExpression(callee) {
-  return callee.type === "MemberExpression";
-}
-function calleeName(callee) {
-  if (!callee)
-    return;
-  if (isBabelIdentifier(callee)) {
-    return callee.name;
-  }
-  if (isBabelMemberExpression(callee)) {
-    if (!callee.computed && callee.property.type === "Identifier") {
-      return callee.property.name;
-    }
-  }
-  return;
-}
-
-class PollyVerifyIgnorer {
-  primitives;
-  constructor(primitives = VERIFY_PRIMITIVES) {
-    this.primitives = primitives;
-  }
-  shouldIgnore(path) {
-    if (!isCallExpressionPath(path) || !path.isCallExpression()) {
-      return;
-    }
-    const name = calleeName(path.node.callee);
-    if (name && this.primitives.has(name)) {
-      return `Inside polly's ${name}(...) — a runtime no-op (compiled away in production, ` + `translated to a TLA+ assertion in verification). No test can observe or kill ` + `mutations here, so they are excluded from the score (polly#143).`;
-    }
-    return;
-  }
-}
-function isEnabled(options) {
-  const polly = options["polly"];
-  if (typeof polly !== "object" || polly === null)
-    return true;
-  return !("excludeVerifyCallsites" in polly) || polly.excludeVerifyCallsites !== false;
-}
-var NOOP_IGNORER = { shouldIgnore: () => {
-  return;
-} };
-function pollyVerifyIgnorerFactory(options) {
-  return isEnabled(options) ? new PollyVerifyIgnorer : NOOP_IGNORER;
-}
-pollyVerifyIgnorerFactory.inject = tokens(commonTokens.options);
-var strykerPlugins = [
-  declareFactoryPlugin(PluginKind.Ignore, POLLY_VERIFY_IGNORER_NAME, pollyVerifyIgnorerFactory)
-];
-var pollyStrykerPreset = {
-  plugins: ["@fairfox/polly/stryker"],
-  ignorers: [POLLY_VERIFY_IGNORER_NAME]
-};
-var stryker_default = pollyStrykerPreset;
-export {
-  POLLY_VERIFY_IGNORER_NAME,
-  PollyVerifyIgnorer,
-  VERIFY_PRIMITIVES,
-  stryker_default as default,
-  pollyStrykerPreset,
-  strykerPlugins
-};
-
-//# debugId=E1FCF7B89389BBE564756E2164756E21

package/dist/tools/verify/src/stryker/index.js.map

@@ -1,10 +0,0 @@
-{
-  "version": 3,
-  "sources": ["../tools/verify/src/stryker/index.ts"],
-  "sourcesContent": [
-    "// Stryker mutation-testing ignorer for polly's verify primitives (polly#143).\n//\n// `requires`, `ensures`, `invariant`, `stateConstraint`, `forAllPeers`, and\n// `somePeer` are runtime no-ops: in production they compile away, in\n// verification they translate to TLA+ assertions. Nothing observes their\n// condition or message argument at test runtime, so EVERY mutation inside one\n// of these callsites is guaranteed to survive — a string-literal flip in an\n// `ensures(...)` message, an `===` → equality mutation in a `requires(...)`\n// condition. On a downstream project mutating six state-machine specs this\n// dragged the mutation score down to 21%, all of it noise rather than real\n// test-coverage gaps.\n//\n// Polly is the right place to ship this knowledge: it knows which of its\n// primitives are no-ops. This module is a Stryker `Ignore` plugin that marks\n// every mutant inside a verify callsite as ignored, plus a small config preset\n// consumers can spread into their `stryker.conf.*`.\n//\n// Usage (stryker.conf.json):\n//\n//   {\n//     \"plugins\": [\"@fairfox/polly/stryker\"],\n//     \"ignorers\": [\"polly-verify\"]\n//   }\n//\n// Or, in stryker.conf.mjs:\n//\n//   import pollyStrykerPreset from \"@fairfox/polly/stryker\";\n//   export default { ...pollyStrykerPreset, mutate: [\"src/**/*.ts\"] };\n//\n// Set `\"polly\": { \"excludeVerifyCallsites\": false }` to keep the plugin listed\n// but disable the ignoring (e.g. in a shared base config).\n\nimport type { StrykerOptions } from \"@stryker-mutator/api/core\";\nimport type { Ignorer, NodePath } from \"@stryker-mutator/api/ignore\";\nimport {\n  commonTokens,\n  declareFactoryPlugin,\n  PluginKind,\n  tokens,\n} from \"@stryker-mutator/api/plugin\";\n\n/**\n * The polly verify primitives whose argument expressions are runtime no-ops.\n * A mutation anywhere inside a call to one of these cannot be killed by a test,\n * so its mutants are excluded from scoring.\n */\nexport const VERIFY_PRIMITIVES: ReadonlySet<string> = new Set([\n  \"requires\",\n  \"ensures\",\n  \"invariant\",\n  \"stateConstraint\",\n  \"forAllPeers\",\n  \"somePeer\",\n]);\n\n/** The Stryker plugin name consumers reference in `ignorers`. */\nexport const POLLY_VERIFY_IGNORER_NAME = \"polly-verify\";\n\n// The Stryker API types `NodePath` as an empty interface; at runtime it is a\n// Babel NodePath. We narrow only the surface we touch — `isCallExpression()`\n// and `node.callee` — without pulling in @babel/types as a dependency.\ninterface BabelIdentifier {\n  type: \"Identifier\";\n  name: string;\n}\ninterface BabelMemberExpression {\n  type: \"MemberExpression\";\n  computed: boolean;\n  property: { type: string; name?: string };\n}\ntype BabelCallee = BabelIdentifier | BabelMemberExpression | { type: string };\ninterface CallExpressionPath extends NodePath {\n  isCallExpression(): boolean;\n  node: { callee?: BabelCallee };\n}\n\n/** Narrow the opaque `NodePath` to the Babel surface we touch. */\nfunction isCallExpressionPath(path: NodePath): path is CallExpressionPath {\n  return \"isCallExpression\" in path && typeof path.isCallExpression === \"function\";\n}\n\n/**\n * Resolve the simple name of a call's callee, covering both a bare call\n * (`ensures(...)`) and a member call (`verify.ensures(...)` / `polly.ensures(...)`).\n * Computed member access (`obj[\"ensures\"](...)`) is intentionally not matched —\n * it cannot be resolved statically and is not a pattern polly emits.\n */\nfunction isBabelIdentifier(callee: BabelCallee): callee is BabelIdentifier {\n  return callee.type === \"Identifier\";\n}\n\nfunction isBabelMemberExpression(callee: BabelCallee): callee is BabelMemberExpression {\n  return callee.type === \"MemberExpression\";\n}\n\nfunction calleeName(callee: BabelCallee | undefined): string | undefined {\n  if (!callee) return undefined;\n  if (isBabelIdentifier(callee)) {\n    return callee.name;\n  }\n  if (isBabelMemberExpression(callee)) {\n    if (!callee.computed && callee.property.type === \"Identifier\") {\n      return callee.property.name;\n    }\n  }\n  return undefined;\n}\n\n/**\n * A Stryker `Ignore` plugin. Stryker calls `shouldIgnore` on entering each AST\n * node; returning a message marks that node — and every descendant, until the\n * node is left — as ignored. So matching the verify `CallExpression` itself\n * covers its condition and message arguments in one shot.\n */\nexport class PollyVerifyIgnorer implements Ignorer {\n  constructor(private readonly primitives: ReadonlySet<string> = VERIFY_PRIMITIVES) {}\n\n  shouldIgnore(path: NodePath): string | undefined {\n    if (!isCallExpressionPath(path) || !path.isCallExpression()) {\n      return undefined;\n    }\n    const name = calleeName(path.node.callee);\n    if (name && this.primitives.has(name)) {\n      return (\n        `Inside polly's ${name}(...) — a runtime no-op (compiled away in production, ` +\n        `translated to a TLA+ assertion in verification). No test can observe or kill ` +\n        `mutations here, so they are excluded from the score (polly#143).`\n      );\n    }\n    return undefined;\n  }\n}\n\n/** Reads `polly.excludeVerifyCallsites` (default: enabled) off Stryker options. */\nfunction isEnabled(options: StrykerOptions): boolean {\n  const polly = options[\"polly\"];\n  if (typeof polly !== \"object\" || polly === null) return true;\n  return !(\"excludeVerifyCallsites\" in polly) || polly.excludeVerifyCallsites !== false;\n}\n\n// When disabled the plugin still loads but ignores nothing, so a shared config\n// can list it unconditionally and individual projects opt out via options.\nconst NOOP_IGNORER: Ignorer = { shouldIgnore: () => undefined };\n\nfunction pollyVerifyIgnorerFactory(options: StrykerOptions): Ignorer {\n  return isEnabled(options) ? new PollyVerifyIgnorer() : NOOP_IGNORER;\n}\npollyVerifyIgnorerFactory.inject = tokens(commonTokens.options);\n\n/** The plugin array Stryker reads when this module is listed in `plugins`. */\nexport const strykerPlugins = [\n  declareFactoryPlugin(PluginKind.Ignore, POLLY_VERIFY_IGNORER_NAME, pollyVerifyIgnorerFactory),\n];\n\n/**\n * A partial Stryker config that wires up the ignorer. Spread it into a\n * `stryker.conf.mjs` default export, or replicate its two keys in JSON.\n */\nexport const pollyStrykerPreset = {\n  plugins: [\"@fairfox/polly/stryker\"],\n  ignorers: [POLLY_VERIFY_IGNORER_NAME],\n} as const;\n\n// biome-ignore lint/style/noDefaultExport: ergonomic `import preset from \"@fairfox/polly/stryker\"`\nexport default pollyStrykerPreset;\n"
-  ],
-  "mappings": ";AAkCA;AAAA;AAAA;AAAA;AAAA;AAAA;AAYO,IAAM,oBAAyC,IAAI,IAAI;AAAA,EAC5D;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;AAGM,IAAM,4BAA4B;AAqBzC,SAAS,oBAAoB,CAAC,MAA4C;AAAA,EACxE,OAAO,sBAAsB,QAAQ,OAAO,KAAK,qBAAqB;AAAA;AASxE,SAAS,iBAAiB,CAAC,QAAgD;AAAA,EACzE,OAAO,OAAO,SAAS;AAAA;AAGzB,SAAS,uBAAuB,CAAC,QAAsD;AAAA,EACrF,OAAO,OAAO,SAAS;AAAA;AAGzB,SAAS,UAAU,CAAC,QAAqD;AAAA,EACvE,IAAI,CAAC;AAAA,IAAQ;AAAA,EACb,IAAI,kBAAkB,MAAM,GAAG;AAAA,IAC7B,OAAO,OAAO;AAAA,EAChB;AAAA,EACA,IAAI,wBAAwB,MAAM,GAAG;AAAA,IACnC,IAAI,CAAC,OAAO,YAAY,OAAO,SAAS,SAAS,cAAc;AAAA,MAC7D,OAAO,OAAO,SAAS;AAAA,IACzB;AAAA,EACF;AAAA,EACA;AAAA;AAAA;AASK,MAAM,mBAAsC;AAAA,EACpB;AAAA,EAA7B,WAAW,CAAkB,aAAkC,mBAAmB;AAAA,IAArD;AAAA;AAAA,EAE7B,YAAY,CAAC,MAAoC;AAAA,IAC/C,IAAI,CAAC,qBAAqB,IAAI,KAAK,CAAC,KAAK,iBAAiB,GAAG;AAAA,MAC3D;AAAA,IACF;AAAA,IACA,MAAM,OAAO,WAAW,KAAK,KAAK,MAAM;AAAA,IACxC,IAAI,QAAQ,KAAK,WAAW,IAAI,IAAI,GAAG;AAAA,MACrC,OACE,kBAAkB,+DAClB,kFACA;AAAA,IAEJ;AAAA,IACA;AAAA;AAEJ;AAGA,SAAS,SAAS,CAAC,SAAkC;AAAA,EACnD,MAAM,QAAQ,QAAQ;AAAA,EACtB,IAAI,OAAO,UAAU,YAAY,UAAU;AAAA,IAAM,OAAO;AAAA,EACxD,OAAO,EAAE,4BAA4B,UAAU,MAAM,2BAA2B;AAAA;AAKlF,IAAM,eAAwB,EAAE,cAAc,MAAG;AAAA,EAAG;AAAA,EAAU;AAE9D,SAAS,yBAAyB,CAAC,SAAkC;AAAA,EACnE,OAAO,UAAU,OAAO,IAAI,IAAI,qBAAuB;AAAA;AAEzD,0BAA0B,SAAS,OAAO,aAAa,OAAO;AAGvD,IAAM,iBAAiB;AAAA,EAC5B,qBAAqB,WAAW,QAAQ,2BAA2B,yBAAyB;AAC9F;AAMO,IAAM,qBAAqB;AAAA,EAChC,SAAS,CAAC,wBAAwB;AAAA,EAClC,UAAU,CAAC,yBAAyB;AACtC;AAGA,IAAe;",
-  "debugId": "E1FCF7B89389BBE564756E2164756E21",
-  "names": []
-}