supercov 0.0.2 → 0.0.4

package/docs/workspace-isolation.md

@@ -0,0 +1,118 @@
+# Workspace isolation
+
+Supercov's primary filesystem guarantee is stronger than “we clean up when the
+command exits”: the user's source and ordinary build artifacts are never
+Supercov's write targets. Cleanup is useful for space, but correctness cannot
+depend on a signal handler running.
+
+## Owned paths
+
+For `supercov -- <command>`, every Supercov-created persistent or temporary path
+is below the project's `.supercov/` directory:
+
+| Path | Lifetime |
+| --- | --- |
+| `locks/active.json` | Exclusive run or cleanup transaction; removed by its owner, stale owners are recovered. |
+| `work/<run>/state.json` | In-flight lifecycle record; removed after atomic run publication. |
+| `work/<run>/run-publication/` | Incomplete run staging; atomically renamed or removed on recovery. |
+| `evidence/<run>/` | Loose in-flight evidence; packed and removed after publication. |
+| `runs/<run>/` | Immutable `evidence.raw.gz` (manifest plus raw execution evidence) and `run.json`; retained until explicit prune/clean. Derived query views are never cached. |
+| `cache/instrumented-workspace/<project>/` | Stable physical fallback and provider snapshot cache. |
+| `cache/instrumented-workspace/.<project>.staging-*` | Unpublished cache transaction; removed on error or recovery. |
+| `cache/instrumented-workspace/.<project>.previous-*` | Last complete cache generation during publication; restored or removed on recovery. |
+| `cache/instrumented-workspace/<project>/.supercov/server-evidence/<run>/` | Server/background transport shared with local or mounted guest processes; archived and removed after publication, interruption, refresh, or cleanup. |
+
+The lower-level runtime retains `/tmp/supercov-server-evidence` only as a
+fallback when it is embedded without the Supercov CLI and no owned transport
+root is configured. Normal CLI runs always inject an owned root, and VM path
+translation maps that same root into the guest mount.
+
+## Current physical fallback
+
+Builds and opaque VM/container mounts currently use a stable physical namespace
+at `.supercov/cache/instrumented-workspace/<project>`. Refresh has four states:
+
+1. The last complete source generation remains live while a sibling `staging`
+   tree is prepared.
+2. The live generation is renamed to a uniquely named `previous` tree.
+3. The complete `staging` tree is renamed to the stable name.
+4. The obsolete `previous` tree is removed.
+
+All publication renames stay on one filesystem and their parent directory is
+fsynced. Recovery treats `staging` as never published. If the stable name is
+missing, recovery restores the newest `previous` generation; if the stable name
+exists, all `previous` generations are obsolete. This covers a normal error,
+SIGKILL, power loss, and host restart at every boundary without trusting a path
+read from a state file.
+
+Source files request Node's
+[`COPYFILE_FICLONE`](https://nodejs.org/api/fs.html#fspromisescopyfilesrc-dest-mode)
+mode. On filesystems such as APFS that support reflinks, file contents are
+copy-on-write. Node explicitly falls back to a real copy on unsupported
+filesystems, however, and directory entries must always be recreated. This is
+why the transaction rules remain necessary.
+
+An exact fingerprint over application source, dependencies, configuration,
+build mode, instrumenter runtime, build command, Node, OS, and architecture
+allows a complete instrumented output and its manifest to survive a source
+snapshot refresh. Test-only edits do not invalidate it. A missing artifact or
+any key change forces a new build.
+
+The stable physical path is not accidental. Some VM/container systems include
+the host mount path in a snapshot identity. A fresh random path per run would
+avoid retention but force a cold machine snapshot every time.
+
+## Why FUSE is not the default
+
+A FUSE overlay could present transformed bytes at the original relative paths,
+but it adds a kernel/system extension or privileged mount dependency on common
+developer platforms. Mount teardown also becomes another failure boundary. A
+zero-install `npx supercov` command cannot assume that dependency, so FUSE may
+become an opt-in adapter but is not a safe portable baseline.
+
+## Copy-free target architecture
+
+The intended architecture is capability-based rather than one mechanism for
+every runner:
+
+- Node [module customization hooks](https://nodejs.org/api/module.html#customization-hooks)
+  can return transformed source for ESM and CommonJS without changing files.
+  This is appropriate only when the observed loader chain preserves source
+  identity and source maps.
+- Vite/Rollup-compatible tools should transform modules in their native plugin
+  graph and relocate every Supercov-added cache/output into `.supercov/`.
+- A Node coordinator that later exposes an opaque VM/container mount can lazily
+  materialize the transactional physical fallback and replace only that mount.
+- Native/non-Node compilers and remote control planes that never expose reads or
+  mounts need explicit adapters or the physical fallback. Supercov must report
+  this boundary instead of silently claiming coverage.
+
+The command itself may create files that the same test command normally creates.
+Supercov is responsible for ensuring that instrumentation, generated config,
+manifests, evidence, and additional builds do not add writes outside
+`.supercov/`.
+
+## Release blockers for a copy-free mode
+
+A copy-free path is not eligible as the default until its regression suite
+proves all of the following:
+
+- original and transformed programs remain semantically equivalent;
+- ESM, CommonJS, TypeScript/transpiler, worker, and child-process loader chains
+  preserve exact source attribution;
+- test/build configuration and source fingerprints refer to the original tree;
+- output relocation cannot escape `.supercov/`, including plugin-defined
+  outputs;
+- an opaque remote mount either receives a complete materialized fallback or is
+  rejected clearly;
+- SIGINT, SIGTERM, SIGKILL simulation, concurrent `clean`, ENOSPC, and failed
+  rename/copy injection leave no source changes and recover deterministically;
+- retained bytes and startup time are measurably lower than the transactional
+  reflink fallback.
+
+Until those gates pass, the transactional physical namespace is the conservative
+fallback rather than a temporary-directory mount whose cleanup must succeed.
+
+The filesystem gate runs the transaction suite on Linux, macOS, and Windows,
+including reflink/ordinary-copy behavior, internal links or junctions, ENOSPC,
+failed renames, and forced-process-termination recovery.

package/package.json

@@ -1,7 +1,8 @@
 {
   "name": "supercov",
-  "version": "0.0.2",
+  "version": "0.0.4",
   "description": "Zero-edit, runner-aware coverage completeness for JavaScript test suites",
+  "license": "MIT",
   "repository": {
     "type": "git",
     "url": "https://github.com/supercorp-ai/supercov.git"
@@ -14,6 +15,7 @@
   "files": [
     "bin",
     "dist",
+    "docs",
     "README.md"
   ],
   "engines": {
@@ -35,10 +37,17 @@
     "build": "tsc -p tsconfig.build.json",
     "test": "vitest run tests/unit",
     "test:types": "tsc --noEmit",
-    "test:fixture": "npm run build && npm --prefix tests/fixtures/generic-playwright run test:coverage",
+    "test:fixture": "npm run build && npm --prefix tests/fixtures/generic-playwright run test:coverage && node scripts/opaque-runner-integration.mjs",
+    "test:packed-npx": "node scripts/packed-npx-integration.mjs",
+    "test:isolation": "npm run build && node scripts/isolation-integration.mjs",
+    "test:filesystem": "npm run build && vitest run tests/unit/atomic.test.ts tests/unit/evidenceArchive.test.ts tests/unit/workspace.test.ts && node scripts/workspace-crash-integration.mjs",
+    "test:clang-mcdc": "node scripts/clang-mcdc-oracle.mjs",
+    "test:test262": "npm run build && node scripts/test262-equivalence.mjs",
+    "benchmark:check": "npm run build && node scripts/benchmark.mjs",
     "check": "npm run test && npm run test:types",
+    "release:check": "npm run check && npm run build && node scripts/isolation-integration.mjs && npm run test:packed-npx && npm run test:clang-mcdc && node scripts/benchmark.mjs",
     "prepack": "npm run build",
-    "prepublishOnly": "npm run check"
+    "prepublishOnly": "npm run release:check"
   },
   "dependencies": {
     "@babel/generator": "^8.0.0",
@@ -47,7 +56,7 @@
     "@babel/types": "^8.0.4"
   },
   "peerDependencies": {
-    "@playwright/test": ">=1.50.0",
+    "@playwright/test": ">=1.55.0",
     "vite": ">=5.0.0",
     "vitest": ">=2.0.0"
   },
@@ -55,6 +64,9 @@
     "@playwright/test": {
       "optional": true
     },
+    "vite": {
+      "optional": true
+    },
     "vitest": {
       "optional": true
     }
@@ -62,8 +74,12 @@
   "devDependencies": {
     "@playwright/test": "1.62.1",
     "@types/node": "^24.0.0",
+    "fast-check": "^4.9.0",
+    "test262-harness": "^10.0.0",
     "typescript": "7.0.2",
     "vite": "8.2.2",
-    "vitest": "4.1.11"
+    "vitest": "4.1.11",
+    "ws": "^8.21.3",
+    "yaml": "^2.9.0"
   }
 }