supercov 4.12.1 → 4.13.0

package/docs/coverage-model.md

@@ -62,6 +62,20 @@ that the decision is safe.
 The same principle applies to Rust, Python, and Ruby boolean expressions and
 control flow.
 
+A decision is not only the condition of an `if` or a loop. `&&` and `||` used
+as a value are decisions too:
+
+- In Java, Kotlin, Go and Rust every operand is a boolean, so `ok = a && b`
+  is a decision over `a` and `b`.
+- In JavaScript, TypeScript, Python and Ruby, `&&` and `||` (`and`/`or`)
+  return an operand. The left operand is always tested, and the right one is
+  returned, so a compound left operand is the decision: `name = (a && b) ||
+  fallback` and `a || b || "default"` each give a decision over `a` and `b`.
+  A `!` makes its operand a decision too.
+
+Where a Kotlin operand smart-casts the rest of the expression, the
+expression keeps its branch outcomes and is not a decision.
+
 ## What 100% means
 
 Supercov derives the coverage denominator from source structure before the test

package/docs/workspace-isolation.md

@@ -81,8 +81,9 @@ npx supercov -- sh -c "npm run build && npm test"
 ```
 
 A `pretest` script, or a Playwright `webServer` that builds, does the same.
-When a run fails in a project that has a `build` script the command does not
-reach, it says this. `SUPERCOV_KEEP_WORKSPACE=1` leaves the instrumented copy
+When a run fails, it names the tests that failed. When none did and the
+project has a `build` script the command does not reach, it says the build
+output may be what is missing. `SUPERCOV_KEEP_WORKSPACE=1` leaves the instrumented copy
 in `.supercov/workspaces/` after a run, to inspect.
 
 A package inside a larger git repository (`web/` beside `cmd/`, or

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "supercov",
-  "version": "4.12.1",
+  "version": "4.13.0",
   "description": "Coverage, security and code quality for coding agents",
   "keywords": [
     "coverage",
@@ -83,7 +83,7 @@
     "eval:skill": "claude plugin eval plugins/supercov --scaffold --trust-plugin --no-publish --model claude-sonnet-5 --judge-model claude-haiku-4-5 --threshold 0.66 --tag behavior trigger --allow-tools Bash Edit Write --max-cost-usd 15",
     "eval:skill-triggers": "claude plugin eval plugins/supercov --scaffold --trust-plugin --no-publish --model claude-sonnet-5 --judge-model claude-haiku-4-5 --threshold 0.66 --tag trigger --ablation none --max-cost-usd 5",
     "test:engine": "cargo fmt --all -- --check && cargo clippy --workspace --all-targets -- -D warnings && cargo test --workspace && npm run test:runtime && npm run test:rust-assets && npm run test:engine-integrations",
-    "test:engine-integrations": "cargo build -p supercov && node scripts/html-report-integration.mjs && node scripts/rust-process-supervision.mjs && node scripts/rust-direct-node-integration.mjs && node scripts/rust-public-run-integration.mjs && node scripts/rust-embedded-runtime-integration.mjs && node scripts/rust-direct-vitest-integration.mjs && node scripts/rust-direct-jest-integration.mjs && node scripts/mocha-failure-output.mjs && node scripts/failure-output.mjs node ava tap && node scripts/side-by-side.mjs node && node scripts/merge-across.mjs && node scripts/mock-reach.mjs && node scripts/rust-direct-playwright-integration.mjs && node scripts/rust-custom-browser-playwright-integration.mjs && node scripts/cross-origin-requests.mjs && node scripts/leaving-page.mjs && node scripts/shared-page.mjs && node scripts/background-by-time.mjs && node scripts/python-server-playwright.mjs && node scripts/ruby-server-playwright.mjs && node scripts/go-server-playwright.mjs && node scripts/jvm-server-playwright.mjs && node scripts/docker-server-playwright.mjs && node scripts/rust-classic-browser-integration.mjs && node scripts/rust-top-packages-integration.mjs && node scripts/rust-generic-esbuild-integration.mjs && node scripts/rust-generic-tsc-integration.mjs && node scripts/rust-generic-build-matrix.mjs && node scripts/rust-vite-playwright-integration.mjs",
+    "test:engine-integrations": "cargo build -p supercov && node scripts/html-report-integration.mjs && node scripts/rust-process-supervision.mjs && node scripts/rust-direct-node-integration.mjs && node scripts/rust-public-run-integration.mjs && node scripts/rust-embedded-runtime-integration.mjs && node scripts/rust-direct-vitest-integration.mjs && node scripts/rust-direct-jest-integration.mjs && node scripts/mocha-failure-output.mjs && node scripts/failure-output.mjs node ava tap && node scripts/side-by-side.mjs node && node scripts/merge-across.mjs && node scripts/mock-reach.mjs && node scripts/rust-direct-playwright-integration.mjs && node scripts/rust-custom-browser-playwright-integration.mjs && node scripts/cross-origin-requests.mjs && node scripts/leaving-page.mjs && node scripts/shared-page.mjs && node scripts/js-syntax-zoo.mjs && node scripts/ruby-syntax-zoo.mjs && node scripts/rust-syntax-zoo.mjs && node scripts/python-syntax-zoo.mjs && node scripts/go-syntax-zoo.mjs && node scripts/java-syntax-zoo.mjs && node scripts/background-by-time.mjs && node scripts/python-server-playwright.mjs && node scripts/ruby-server-playwright.mjs && node scripts/go-server-playwright.mjs && node scripts/jvm-server-playwright.mjs && node scripts/docker-server-playwright.mjs && node scripts/rust-classic-browser-integration.mjs && node scripts/rust-top-packages-integration.mjs && node scripts/rust-generic-esbuild-integration.mjs && node scripts/rust-generic-tsc-integration.mjs && node scripts/rust-generic-build-matrix.mjs && node scripts/rust-vite-playwright-integration.mjs",
     "test:platform": "cargo test --workspace && cargo build -p supercov && node scripts/rust-process-supervision.mjs && node scripts/workspace-crash-integration.mjs",
     "test:native-package": "cargo build --release -p supercov && node scripts/native-package-integration.mjs && node scripts/native-release-set-integration.mjs",
     "test:pypi-wheel": "node scripts/pypi-wheel-integration.mjs",
@@ -120,14 +120,14 @@
     "test:windows-tls": "node scripts/windows-tls-test.mjs"
   },
   "optionalDependencies": {
-    "@supercov/cli-darwin-arm64": "4.12.1",
-    "@supercov/cli-darwin-x64": "4.12.1",
-    "@supercov/cli-linux-arm64-gnu": "4.12.1",
-    "@supercov/cli-linux-arm64-musl": "4.12.1",
-    "@supercov/cli-linux-x64-gnu": "4.12.1",
-    "@supercov/cli-linux-x64-musl": "4.12.1",
-    "@supercov/cli-win32-arm64": "4.12.1",
-    "@supercov/cli-win32-x64": "4.12.1"
+    "@supercov/cli-darwin-arm64": "4.13.0",
+    "@supercov/cli-darwin-x64": "4.13.0",
+    "@supercov/cli-linux-arm64-gnu": "4.13.0",
+    "@supercov/cli-linux-arm64-musl": "4.13.0",
+    "@supercov/cli-linux-x64-gnu": "4.13.0",
+    "@supercov/cli-linux-x64-musl": "4.13.0",
+    "@supercov/cli-win32-arm64": "4.13.0",
+    "@supercov/cli-win32-x64": "4.13.0"
   },
   "peerDependencies": {
     "@playwright/test": ">=1.55.0",

package/runtime/javascript/runtime.mjs

@@ -1697,6 +1697,10 @@ function decodeProbeV2Vector(conditionCount, encoded, outcome) {
   return remaining === 0 ? { values, outcome } : void 0;
 }
 function mcdcEndV2(file, decisionIndex, encoded, value) {
+  // Nothing evaluated: a decision used as a value in a tree whose evaluation
+  // never reached it. Every evaluation evaluates its first condition.
+  if (encoded === 0)
+    return value;
   const clock = file.clock;
   if (clock.fast) {
     const seen = file.decisionEpochs[decisionIndex];