tamperward 1.11.0 → 1.12.0

package/dist/cli/index.js

@@ -463,7 +463,20 @@ function defaultPolicy(version = 1) {
       // tap-snapshots/** added from Phase-3 evidence: node-tar's recorded expectations
       // live there as .cjs and were rewritten unseen (PHASE3.md §4).
       snapshots: ["**/*.snap", "**/__snapshots__/**", "**/tap-snapshots/**", "**/golden/**", "**/*.golden.*"],
-      hooks: [".husky/**", "**/lefthook.*", ".tamperward.yml", "**/.tamperward.yml"]
+      // The wiring IS the enforcement: settings.json carries the PreToolUse and
+      // Stop hooks, and a pre-commit config carries the commit-time gate. These
+      // were installed by `init` and protected by nothing, so editing them out
+      // fired no rule at all. (.git/hooks/** is outside every git view and so
+      // cannot be covered here — noted in SECURITY-ENVELOPE.md.) (P1-4, review.)
+      hooks: [
+        ".husky/**",
+        "**/lefthook.*",
+        ".tamperward.yml",
+        "**/.tamperward.yml",
+        ".claude/settings.json",
+        ".claude/settings.local.json",
+        "**/.pre-commit-config.yaml"
+      ]
     },
     rules: {
       "test-deletion": { severity: "block" },
@@ -1516,8 +1529,18 @@ function evaluate(changes, policy, detectors = allDetectors, view) {
     try {
       out2.push(...d.run(active, policy, view));
     } catch (e) {
-      process.stderr.write(`tamperward: detector "${d.id}" errored and was skipped: ${String(e)}
+      process.stderr.write(`tamperward: detector "${d.id}" errored: ${String(e)}
 `);
+      if (view === "staged" || view === "worktree" || view === "range") {
+        out2.push({
+          rule: "detector-error",
+          severity: "block",
+          message: `Detector "${d.id}" failed to run; the verdict is incomplete.`,
+          evidence: String(e).slice(0, 200),
+          remediation: "A rule that cannot run is not a rule that passed. Fix the input or the detector; do not read this as clean.",
+          signoff: { required: true, command: `tamperward allow detector-error --reason "..."` }
+        });
+      }
     }
   }
   const seen = /* @__PURE__ */ new Set();
@@ -2599,6 +2622,7 @@ Honored at LOCAL pre-commit only. The agent-layer hook ignores this file; CI req
 // src/cli/init.ts
 import { existsSync as existsSync7, mkdirSync as mkdirSync5, readFileSync as readFileSync10, writeFileSync as writeFileSync5, chmodSync } from "node:fs";
 import { dirname as dirname3, join as join8 } from "node:path";
+import { fileURLToPath } from "node:url";
 var HOOK_CMD = "npx --yes tamperward hook claude";
 var SWEEP_CMD = "npx --yes tamperward sweep claude";
 var PRECOMMIT_CMD = "npx --yes tamperward check --staged";
@@ -2617,6 +2641,21 @@ version: 1
 #   snapshot-rewrite: { severity: block }
 # ignore: []            # visible blind spots \u2014 the count is always reported
 `;
+function shippedVersion() {
+  try {
+    const here = dirname3(fileURLToPath(import.meta.url));
+    for (const rel of ["../package.json", "../../package.json", "../../../package.json"]) {
+      try {
+        const pkg = JSON.parse(readFileSync10(join8(here, rel), "utf8"));
+        if (pkg.name === "tamperward" && pkg.version) return pkg.version;
+      } catch {
+      }
+    }
+  } catch {
+  }
+  return "latest";
+}
+var TW_VERSION = shippedVersion();
 var WORKFLOW_CONTENT = `name: tamperward
 
 # The CI authority for main: the same engine as the agent hook and pre-commit, run over
@@ -2652,10 +2691,20 @@ jobs:
         run: |
           RULES="$(printf '%s' "$LABELS" | jq -r '.[] | select(startswith("tamperward:allow:")) | sub("^tamperward:allow:"; "")' | paste -sd, -)"
           echo "rules=$RULES" >> "$GITHUB_OUTPUT"
-      - name: Tamperward gate
+      - name: Tamperward gate (diff-time)
         env:
           TAMPERWARD_OOB_SIGNOFF: \${{ steps.oob.outputs.rules }}
-        run: npx --yes tamperward check --diff "\${{ github.event.pull_request.base.sha }}...\${{ github.event.pull_request.head.sha }}"
+        run: npx --yes tamperward@${TW_VERSION} check --diff "\${{ github.event.pull_request.base.sha }}...\${{ github.event.pull_request.head.sha }}"
+      # Diff-time detection is spelling-dependent by nature; pristine
+      # re-execution is not, and it was the layer nothing got past in the
+      # taskbench sweeps. Shipping a CI template WITHOUT it meant every
+      # masked-failure class was adjudicated only at the local layer \u2014 the
+      # layer an agent shares a filesystem with. (P1-5, external review.)
+      #
+      # Requires a \`verify:\` block in .tamperward.yml naming the suite command;
+      # without one this step fails closed (exit 2) rather than passing quietly.
+      - name: Tamperward verify (pristine re-execution)
+        run: npx --yes tamperward@${TW_VERSION} verify --base "\${{ github.event.pull_request.base.sha }}"
 `;
 function planPolicy(cwd) {
   const path = join8(cwd, POLICY_FILE);
@@ -2789,9 +2838,9 @@ tamperward init: ${changed} change(s) applied. Commit them so the gate travels w
 
 // src/cli/verify.ts
 import { execFileSync as execFileSync4, spawnSync } from "node:child_process";
-import { chmodSync as chmodSync2, cpSync, mkdirSync as mkdirSync6, mkdtempSync as mkdtempSync2, rmSync as rmSync2, statSync as statSync5, symlinkSync, writeFileSync as writeFileSync6, existsSync as existsSync8 } from "node:fs";
+import { chmodSync as chmodSync2, cpSync, lstatSync, mkdirSync as mkdirSync6, mkdtempSync as mkdtempSync2, readFileSync as readFileSync11, rmSync as rmSync2, statSync as statSync5, symlinkSync, writeFileSync as writeFileSync6, existsSync as existsSync8 } from "node:fs";
 import { tmpdir as tmpdir2 } from "node:os";
-import { dirname as dirname4, join as join9 } from "node:path";
+import { dirname as dirname4, join as join9, resolve } from "node:path";
 var OVERLAY_CLASSES = ["tests", "snapshots", "config"];
 function git2(args, cwd) {
   return execFileSync4("git", args, { cwd, encoding: "utf8", maxBuffer: 1 << 28 });
@@ -2817,12 +2866,23 @@ function materialize(cwd, dest) {
     if (!st.isFile()) continue;
     const out2 = join9(dest, rel);
     mkdirSync6(dirname4(out2), { recursive: true });
-    cpSync(src, out2);
+    dropSymlink(out2);
+    if (lstatSync(src).isSymbolicLink()) {
+      writeFileSync6(out2, readFileSync11(src));
+    } else {
+      cpSync(src, out2, { dereference: true });
+    }
     chmodSync2(out2, st.mode);
   }
-  const nm = join9(cwd, "node_modules");
+  const nm = resolve(cwd, "node_modules");
   if (existsSync8(nm)) symlinkSync(nm, join9(dest, "node_modules"), "dir");
 }
+function dropSymlink(p) {
+  try {
+    if (lstatSync(p).isSymbolicLink()) rmSync2(p, { force: true });
+  } catch {
+  }
+}
 function overlayPristine(cwd, base, dest, policy) {
   const atBase = git2(["ls-tree", "-r", "--name-only", "-z", base], cwd).split("\0").filter(Boolean);
   const isOverlay = (p) => OVERLAY_CLASSES.some((c) => isProtected(p, policy, c));
@@ -2834,6 +2894,7 @@ function overlayPristine(cwd, base, dest, policy) {
     const content = execFileSync4("git", ["show", `${base}:${rel}`], { cwd, maxBuffer: 1 << 28 });
     const out2 = join9(dest, rel);
     mkdirSync6(dirname4(out2), { recursive: true });
+    dropSymlink(out2);
     writeFileSync6(out2, content);
     restored++;
   }
@@ -2955,8 +3016,8 @@ function parseVerify(args) {
 // src/cli/run.ts
 import { execFileSync as execFileSync5, spawnSync as spawnSync2 } from "node:child_process";
 import { createHash as createHash5 } from "node:crypto";
-import { readdirSync as readdirSync3, readFileSync as readFileSync11, realpathSync } from "node:fs";
-import { join as join10 } from "node:path";
+import { readdirSync as readdirSync3, readFileSync as readFileSync12, readlinkSync, realpathSync, statSync as statSync6 } from "node:fs";
+import { join as join10, resolve as resolve2 } from "node:path";
 var out = (s) => process.stdout.write(s + "\n");
 var err = (s) => process.stderr.write(s + "\n");
 function git3(args, cwd) {
@@ -2969,7 +3030,7 @@ function treeFingerprint(cwd) {
     h.update(rel);
     h.update("\0");
     try {
-      h.update(readFileSync11(join10(cwd, rel)));
+      h.update(readFileSync12(join10(cwd, rel)));
     } catch {
       h.update("<unreadable>");
     }
@@ -2977,9 +3038,48 @@ function treeFingerprint(cwd) {
   }
   return h.digest("hex");
 }
+function depsFingerprint(cwd) {
+  const root = join10(cwd, "node_modules");
+  const h = createHash5("sha256");
+  const walk = (dir) => {
+    let entries;
+    try {
+      entries = readdirSync3(dir, { withFileTypes: true });
+    } catch {
+      return;
+    }
+    for (const e of [...entries].sort((a, b) => a.name.localeCompare(b.name))) {
+      const p = join10(dir, e.name);
+      if (e.isDirectory()) walk(p);
+      else if (e.isFile()) {
+        h.update(p);
+        try {
+          h.update(readFileSync12(p));
+          h.update(String(statSync6(p).mode));
+        } catch {
+          h.update("<unreadable>");
+        }
+      } else if (e.isSymbolicLink()) {
+        h.update(p);
+        try {
+          h.update(readlinkSync(p));
+        } catch {
+          h.update("<unreadable-link>");
+        }
+      }
+    }
+  };
+  try {
+    if (!statSync6(root).isDirectory()) return "none";
+  } catch {
+    return "none";
+  }
+  walk(root);
+  return h.digest("hex");
+}
 function nowTicks() {
   try {
-    return Math.floor(parseFloat(readFileSync11("/proc/uptime", "utf8").split(" ")[0]) * 100);
+    return Math.floor(parseFloat(readFileSync12("/proc/uptime", "utf8").split(" ")[0]) * 100);
   } catch {
     return Number.POSITIVE_INFINITY;
   }
@@ -3009,7 +3109,7 @@ function survivorsHoldingTree(cwd, spawnedAfterTicks) {
     }
     if (held !== real && !held.startsWith(real + "/")) continue;
     try {
-      const stat = readFileSync11(`/proc/${pid}/stat`, "utf8");
+      const stat = readFileSync12(`/proc/${pid}/stat`, "utf8");
       const startTicks = Number(stat.slice(stat.lastIndexOf(")") + 2).split(" ")[19]);
       if (Number.isFinite(startTicks) && startTicks >= spawnedAfterTicks) out2.push(n);
     } catch {
@@ -3018,7 +3118,7 @@ function survivorsHoldingTree(cwd, spawnedAfterTicks) {
   return out2;
 }
 function runEnvelope(opts) {
-  const cwd = opts.cwd ?? process.cwd();
+  const cwd = resolve2(opts.cwd ?? process.cwd());
   if (!opts.argv.length) {
     err("tamperward run: no agent command given (usage: tamperward run [options] -- <command...>)");
     return 2;
@@ -3055,6 +3155,7 @@ function runEnvelope(opts) {
     }
   }
   out(`tamperward run \u2014 trusted base ${base.slice(0, 10)}; agent exit is untrusted.`);
+  const depsBefore = depsFingerprint(cwd);
   const spawnTicks = nowTicks();
   const agent = spawnSync2(opts.argv[0], opts.argv.slice(1), { cwd, stdio: "inherit" });
   const agentExit = agent.status ?? 1;
@@ -3089,16 +3190,21 @@ tamperward run \u2014 agent exit ${agentExit}; HISTORY_REWRITE \u2192 ENFORCEMEN
     err("tamperward run: the working tree changed while it was being adjudicated \u2014");
     err("the verdict below would describe a tree that no longer exists.");
   }
+  const depsDrifted = !opts.allowDepDrift && depsFingerprint(cwd) !== depsBefore;
+  if (depsDrifted) {
+    err("tamperward run: the installed dependency tree changed during this run \u2014 the program that");
+    err("runs the suite is not the one we started with. Both verification runs execute it.");
+  }
   const survivors = survivorsHoldingTree(cwd, spawnTicks);
   if (survivors.length) {
     err(`tamperward run: ${survivors.length} process(es) started during this run still hold the`);
     err(`working tree (pid ${survivors.join(", ")}). A verdict cannot outlive the tree it describes.`);
   }
-  const notQuiescent = mutatedDuringAdjudication || survivors.length > 0;
+  const notQuiescent = mutatedDuringAdjudication || survivors.length > 0 || depsDrifted;
   const cannot = diffCode === 2 || workCode === 2 || verifyCode === 2;
   const blocked = diffCode === 1 || workCode === 1 || verifyCode === 1 || notQuiescent;
   const enforcement = cannot ? 2 : blocked ? 1 : 0;
-  const verdict2 = enforcement === 2 ? "CANNOT_ADJUDICATE (fail closed)" : notQuiescent ? "NOT_QUIESCENT \u2014 the tree moved, or something still holds it" : enforcement === 1 ? "ENFORCEMENT_FAILED \u2014 the tree the runtime released does not stand" : agentExit !== 0 ? `agent exited ${agentExit} (enforcement clean)` : "GREEN MEANS GREEN";
+  const verdict2 = enforcement === 2 ? "CANNOT_ADJUDICATE (fail closed)" : depsDrifted ? "DEPENDENCY_DRIFT \u2014 the suite runner changed under the envelope" : notQuiescent ? "NOT_QUIESCENT \u2014 the tree moved, or something still holds it" : enforcement === 1 ? "ENFORCEMENT_FAILED \u2014 the tree the runtime released does not stand" : agentExit !== 0 ? `agent exited ${agentExit} (enforcement clean)` : "GREEN MEANS GREEN";
   out(`
 tamperward run \u2014 agent exit ${agentExit}; checks diff=${diffCode} worktree=${workCode} verify=${verifyCode} \u2192 ${verdict2}`);
   return enforcement !== 0 ? enforcement : agentExit;
@@ -3115,6 +3221,7 @@ function parseRun(args) {
     else if (a === "--budget") o.budget = Number(args[++i]);
     else if (a === "--allow-dirty") o.allowDirty = true;
     else if (a === "--settle") o.settle = Number(args[++i]);
+    else if (a === "--allow-dep-drift") o.allowDepDrift = true;
     else if (a === "--cwd") o.cwd = args[++i];
     else {
       o.argv = args.slice(i);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tamperward",
-  "version": "1.11.0",
+  "version": "1.12.0",
   "description": "The deterministic agent-integrity gate. One ruleset, evaluated on the actual diff/commands as a verdict, enforced everywhere a change can be made.",
   "license": "Apache-2.0",
   "author": "hexrift",