@fairfox/polly 0.78.0 → 0.80.0

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

@@ -32,16 +32,24 @@ var VERIFY_PRIMITIVES = new Set([
   "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 (callee.type === "Identifier") {
+  if (isBabelIdentifier(callee)) {
     return callee.name;
   }
-  if (callee.type === "MemberExpression") {
-    const member = callee;
-    if (!member.computed && member.property.type === "Identifier") {
-      return member.property.name;
+  if (isBabelMemberExpression(callee)) {
+    if (!callee.computed && callee.property.type === "Identifier") {
+      return callee.property.name;
     }
   }
   return;
@@ -53,11 +61,10 @@ class PollyVerifyIgnorer {
     this.primitives = primitives;
   }
   shouldIgnore(path) {
-    const callPath = path;
-    if (typeof callPath.isCallExpression !== "function" || !callPath.isCallExpression()) {
+    if (!isCallExpressionPath(path) || !path.isCallExpression()) {
       return;
     }
-    const name = calleeName(callPath.node.callee);
+    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).`;
     }
@@ -65,8 +72,10 @@ class PollyVerifyIgnorer {
   }
 }
 function isEnabled(options) {
-  const polly = options.polly;
-  return polly?.excludeVerifyCallsites !== false;
+  const polly = options["polly"];
+  if (typeof polly !== "object" || polly === null)
+    return true;
+  return !("excludeVerifyCallsites" in polly) || polly.excludeVerifyCallsites !== false;
 }
 var NOOP_IGNORER = { shouldIgnore: () => {
   return;
@@ -92,4 +101,4 @@ export {
   POLLY_VERIFY_IGNORER_NAME
 };
 
-//# debugId=D1E2AADE2B7A729B64756E2164756E21
+//# debugId=E89A09026CD3C7E064756E2164756E21

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

@@ -2,9 +2,9 @@
   "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/**\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 calleeName(callee: BabelCallee | undefined): string | undefined {\n  if (!callee) return undefined;\n  if (callee.type === \"Identifier\") {\n    return (callee as BabelIdentifier).name;\n  }\n  if (callee.type === \"MemberExpression\") {\n    const member = callee as BabelMemberExpression;\n    if (!member.computed && member.property.type === \"Identifier\") {\n      return member.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    const callPath = path as CallExpressionPath;\n    if (typeof callPath.isCallExpression !== \"function\" || !callPath.isCallExpression()) {\n      return undefined;\n    }\n    const name = calleeName(callPath.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 as { polly?: { excludeVerifyCallsites?: boolean } }).polly;\n  return 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"
+    "// 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;AA0BzC,SAAS,UAAU,CAAC,QAAqD;AAAA,EACvE,IAAI,CAAC;AAAA,IAAQ;AAAA,EACb,IAAI,OAAO,SAAS,cAAc;AAAA,IAChC,OAAQ,OAA2B;AAAA,EACrC;AAAA,EACA,IAAI,OAAO,SAAS,oBAAoB;AAAA,IACtC,MAAM,SAAS;AAAA,IACf,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,MAAM,WAAW;AAAA,IACjB,IAAI,OAAO,SAAS,qBAAqB,cAAc,CAAC,SAAS,iBAAiB,GAAG;AAAA,MACnF;AAAA,IACF;AAAA,IACA,MAAM,OAAO,WAAW,SAAS,KAAK,MAAM;AAAA,IAC5C,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,QAAS,QAA6D;AAAA,EAC5E,OAAO,OAAO,2BAA2B;AAAA;AAK3C,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": "D1E2AADE2B7A729B64756E2164756E21",
+  "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": "E89A09026CD3C7E064756E2164756E21",
   "names": []
 }

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

@@ -4624,8 +4624,11 @@ class MeshSnapshotError extends Error {
 function isObject(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
+function isStringArray(value) {
+  return Array.isArray(value) && value.every((v) => typeof v === "string");
+}
 function requireStringArray(value, path5) {
-  if (!Array.isArray(value) || value.some((v) => typeof v !== "string")) {
+  if (!isStringArray(value)) {
     throw new MeshSnapshotError(`${path5} must be an array of strings`);
   }
   return value;
@@ -6325,7 +6328,7 @@ import * as fs6 from "node:fs";
 import * as path5 from "node:path";
 
 class DiagramExporter {
-  static DOCKER_IMAGE = "structurizr/cli:latest";
+  static DOCKER_IMAGE = "structurizr/structurizr:latest";
   static DEFAULT_TIMEOUT = 120000;
   async export(options) {
     const { dslPath, outputDir, timeout = DiagramExporter.DEFAULT_TIMEOUT } = options;
@@ -6385,9 +6388,9 @@ class DiagramExporter {
       "export",
       "-workspace",
       `/usr/local/structurizr/${dslFileName}`,
-      "-format",
+      "-f",
       "static",
-      "-output",
+      "-o",
       "/output"
     ];
     await this.runDocker(args, timeout);
@@ -6819,4 +6822,4 @@ main().catch((_error) => {
   process.exit(1);
 });
 
-//# debugId=1DBE75DC4C8D1D6864756E2164756E21
+//# debugId=BC2B5CC50AAEB9A464756E2164756E21