altimate-receipts 0.19.0 → 0.21.0

package/README.md

@@ -177,6 +177,38 @@ Humans pushing from a terminal, other agents, or repos that won't commit `.claud
 config → **[the onboarding guide](./docs/onboarding.md)** has a one-command fallback for
 each.
 
+### Live guard (optional — prevention, not just record)
+
+The Work Record is *post-hoc* — it documents what the agent did. The **live guard** is the
+*pre-execution* arm: a PreToolUse hook that classifies a tool call **before it runs** and
+either blocks it, asks you to confirm, or just records it.
+
+```sh
+npx altimate-receipts init --guard
+```
+
+It uses the **same FP-aware policy** as the Work Record (`policy/guardrails.policy.json`), in
+three tiers:
+
+- **deny** — never-legitimate catastrophes only (`rm -rf /` / `~` / `.git` / `.receipts`,
+  force-push to a *protected* branch, `mkfs`, `DROP DATABASE`). Hard-blocked.
+- **ask** — ambiguous-but-dangerous (`rm -rf` of an unknown dir, `git reset --hard`,
+  `--no-verify`, pipe-a-script-from-the-internet, force-push to a *feature* branch). Routed to
+  your normal confirmation prompt — never silently blocked.
+- **warn** — surfaced + recorded, never blocked (editing a CI workflow / a grader / an `.env`).
+
+Blocked calls never reach the transcript, so the guard **records each deny/ask/warn into the
+Receipt** — the highest-signal line a record can carry: *what the agent was stopped from doing.*
+
+**It's off by default, and opt-out is one env var.** Active gating is your call:
+
+```sh
+RECEIPTS_GUARD=0   # turn the guard off without un-installing (fail-open, records nothing)
+```
+
+The guard is **fail-open by contract** — any error, or the opt-out, allows the call. The
+post-hoc Record is the backstop, so live enforcement favors letting work through.
+
 ## Going deeper (optional)
 
 - **`receipts --json`** — a portable, vendor-neutral [in-toto](https://in-toto.io)

package/dist/{chunk-COMWJSBT.js → chunk-3QI3VEWL.js}

@@ -7,7 +7,7 @@ import {
   loadSession,
   selectSummary,
   upsertSection
-} from "./chunk-C7NAN2LL.js";
+} from "./chunk-Y53BB6HS.js";
 
 // src/report/sessions.ts
 async function deriveTargets(opts) {
@@ -259,4 +259,4 @@ export {
   renderTrends,
   upsertTrendsSection
 };
-//# sourceMappingURL=chunk-COMWJSBT.js.map
+//# sourceMappingURL=chunk-3QI3VEWL.js.map

package/dist/chunk-KOPNMBLZ.js

@@ -0,0 +1,233 @@
+#!/usr/bin/env node
+
+// policy/guardrails.policy.json
+var guardrails_policy_default = {
+  version: 1,
+  _doc: "CANONICAL guardrail policy \u2014 the single source of truth for the trust layer's surfaces: live hook (hooks/guard-policy.mjs), post-hoc detector/render (src/findings/surface.ts + action/verified-by.mjs), and fleet (receipts-cloud/app/guardrails.py). DATA only \u2014 each surface has a thin language-specific evaluator. Lists/messages/patterns live HERE ONLY so they cannot drift. See policy/README.md for the migration checklist.",
+  buildDirs: [
+    "target",
+    "dist",
+    "build",
+    "out",
+    "node_modules",
+    ".next",
+    ".nuxt",
+    ".turbo",
+    ".parcel-cache",
+    "__pycache__",
+    ".pytest_cache",
+    ".mypy_cache",
+    ".ruff_cache",
+    "coverage",
+    ".gradle"
+  ],
+  buildDirsExcluded: {
+    vendor: "committed in Go/PHP",
+    ".cache": "stateful / app-specific",
+    ".terraform": "stateful (provider plugins + lock)"
+  },
+  protectedBranches: "main|master|release/|prod|production",
+  ephemeral: "(^|/)(tmp|\\.venv|venv)(/|$)|^/(private/)?tmp/|^/var/folders/|\\.(bak|tmp|temp|pyc|pyo|class|o|log)$",
+  guardrails: {
+    "destructive-op": {
+      severity: "critical",
+      guardrail: "Require explicit confirmation before destructive ops (rm -rf, DROP/TRUNCATE, git reset --hard) outside a sandbox.",
+      fix: "Review the destructive op; confirm nothing needed was lost before merging."
+    },
+    "force-push": {
+      severity: "critical",
+      guardrail: "Block force-push to shared/protected branches; confirm on feature branches.",
+      fix: "Verify no teammate work was overwritten by the force-push."
+    },
+    "hook-bypass": {
+      severity: "high",
+      action: "ask",
+      guardrail: "Disallow --no-verify / git-hook bypass on protected branches; let the hooks run.",
+      fix: "Re-run the pre-commit/pre-push hooks that were skipped and address any failures."
+    },
+    "pipe-from-internet": {
+      severity: "high",
+      action: "ask",
+      guardrail: "Never pipe a script straight from the internet into a shell; download, read, then run.",
+      fix: "Fetch the script to a file, review it, and run it explicitly if safe."
+    },
+    "force-with-lease": {
+      severity: "medium",
+      action: "warn",
+      guardrail: "Force-with-lease is safer than --force but still rewrites shared history \u2014 confirm intent.",
+      fix: "Confirm the rewrite is intended and coordinated with anyone sharing the branch."
+    },
+    "grader-harness-edit": {
+      severity: "high",
+      action: "warn",
+      guardrail: "Never edit the grader/test/harness/config to make a check pass.",
+      fix: "Revert the grader/test edit and fix the underlying issue instead."
+    },
+    "cicd-edit": {
+      severity: "medium",
+      action: "warn",
+      guardrail: "Flag edits to CI/CD pipeline files for human review before merge.",
+      fix: "Review the CI/CD change; confirm it was intended and doesn't weaken checks."
+    },
+    "secret-exposure": {
+      severity: "high",
+      action: "warn",
+      guardrail: "Never echo or commit secrets; redact tokens/keys in output and files.",
+      fix: "Rotate any exposed secret and remove it from history."
+    }
+  }
+};
+
+// src/policy/load.ts
+var policy = guardrails_policy_default;
+var BUILD_DIRS = new Set(policy.buildDirs);
+var PROTECTED_BRANCHES = new RegExp(
+  `\\b(origin\\s+)?(${policy.protectedBranches})\\b`,
+  "i"
+);
+var EPHEMERAL = new RegExp(policy.ephemeral, "i");
+var G = policy.guardrails;
+
+// src/policy/classify.ts
+function stripHeredocs(s) {
+  const closed = /<<-?\s*(['"]?)([A-Za-z_]\w*)\1[\s\S]*?\n[ \t]*\2(?![A-Za-z0-9_])/g;
+  const stripped = s.replace(closed, "<<heredoc");
+  return stripped.replace(/<<-?\s*(['"]?)[A-Za-z_]\w*\1[\s\S]*$/, "<<heredoc");
+}
+function splitStatements(cmd) {
+  const out = [];
+  let cur = "";
+  let q = null;
+  for (let i = 0; i < cmd.length; i++) {
+    const c = cmd[i];
+    if (q) {
+      cur += c;
+      if (c === q) q = null;
+      continue;
+    }
+    if (c === "'" || c === '"') {
+      q = c;
+      cur += c;
+      continue;
+    }
+    if (c === "\n" || c === ";") {
+      out.push(cur);
+      cur = "";
+      continue;
+    }
+    if (c === "&" && cmd[i + 1] === "&" || c === "|" && cmd[i + 1] === "|") {
+      out.push(cur);
+      cur = "";
+      i++;
+      continue;
+    }
+    cur += c;
+  }
+  out.push(cur);
+  return out.map((s) => s.trim()).filter(Boolean);
+}
+function isRegenerableBuildDir(path) {
+  return path.replace(/^["']|["']$/g, "").split("/").some((seg) => BUILD_DIRS.has(seg));
+}
+function isEphemeralTarget(path) {
+  return EPHEMERAL.test(path.replace(/^["']|["']$/g, ""));
+}
+function isProtectedBranch(ref) {
+  return PROTECTED_BRANCHES.test(ref);
+}
+
+// src/findings/surface.ts
+var OPERATOR_KINDS = /* @__PURE__ */ new Set([
+  "loop",
+  "bottleneck",
+  "cost-concentration",
+  "cache-opportunity",
+  "model-downgrade"
+]);
+var PRIVILEGED_PREFIXES = [
+  "ci-cd-touch",
+  "lockfile-edit",
+  "hook-bypass",
+  "config-weaken",
+  "spec-tamper",
+  "grader-edit",
+  "eval-override",
+  "test-focus",
+  "test-skipped",
+  "test-trivialised",
+  "green-by-suppression",
+  "untested-test",
+  "history-rewrite",
+  "force-push",
+  "self-permission",
+  "sensitive-access",
+  "guard-blocked",
+  "mcp-write",
+  "mcp-config-change",
+  "metadata-egress",
+  "tls-verify-disabled",
+  "setuid-create",
+  "obfuscated-exec",
+  "untrusted-dep-source",
+  "persistence-write",
+  "masked-failure",
+  "external-state-mismatch"
+];
+var TEST_PATH = /(?:^|\/)(?:tests?|specs?|__tests__)(?:\/|$)|\.(?:test|spec)\.|_test\./;
+function privileged(id, filePath) {
+  if (PRIVILEGED_PREFIXES.some((p) => id.startsWith(p))) {
+    return true;
+  }
+  return id.startsWith("file-shrink") && !!filePath && TEST_PATH.test(filePath);
+}
+function findingSurface(id) {
+  const base = id.replace(/-sa-[0-9a-f]+$/i, "");
+  if (OPERATOR_KINDS.has(base) || base.startsWith("errcluster-")) {
+    return "operator";
+  }
+  return "merge";
+}
+function everyRemovalOperand(title, safe) {
+  const clause = title.replace(/^Destructive op:\s*/i, "").replace(/\s*×\d+\s*$/, "");
+  const m = clause.match(/^\s*(rm|rmdir)\b(.*)$/i);
+  if (!m) {
+    return false;
+  }
+  const args = m[2].replace(/\s+(?:\d*>>?|\d*<|&>|>&)\S*.*$/, "").replace(/\s+—\s.*$/, "");
+  const operands = args.split(/\s+/).filter((t) => t && !t.startsWith("-"));
+  return operands.length > 0 && operands.every(safe);
+}
+var unquote = (operand) => operand.replace(/^["']|["']$/g, "");
+function destructiveOutsideRepo(title) {
+  return everyRemovalOperand(title, (operand) => {
+    const p = unquote(operand);
+    return /\$/.test(p) || p.startsWith("/tmp") || p.startsWith("/var/folders") || p.startsWith("/private/var/folders") || p.startsWith("~");
+  });
+}
+function regenerableReceiptRm(title) {
+  return everyRemovalOperand(
+    title,
+    (operand) => /(?:^|\/)\.receipts\/[^/]+\.json$/.test(unquote(operand))
+  );
+}
+function regenerableBuildArtifact(title) {
+  return everyRemovalOperand(title, isRegenerableBuildDir);
+}
+
+export {
+  PROTECTED_BRANCHES,
+  EPHEMERAL,
+  G,
+  stripHeredocs,
+  splitStatements,
+  isRegenerableBuildDir,
+  isEphemeralTarget,
+  isProtectedBranch,
+  PRIVILEGED_PREFIXES,
+  privileged,
+  findingSurface,
+  destructiveOutsideRepo,
+  regenerableReceiptRm,
+  regenerableBuildArtifact
+};
+//# sourceMappingURL=chunk-KOPNMBLZ.js.map

package/dist/chunk-KOPNMBLZ.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../policy/guardrails.policy.json","../src/policy/load.ts","../src/policy/classify.ts","../src/findings/surface.ts"],"sourcesContent":["{\n  \"version\": 1,\n  \"_doc\": \"CANONICAL guardrail policy — the single source of truth for the trust layer's surfaces: live hook (hooks/guard-policy.mjs), post-hoc detector/render (src/findings/surface.ts + action/verified-by.mjs), and fleet (receipts-cloud/app/guardrails.py). DATA only — each surface has a thin language-specific evaluator. Lists/messages/patterns live HERE ONLY so they cannot drift. See policy/README.md for the migration checklist.\",\n  \"buildDirs\": [\n    \"target\",\n    \"dist\",\n    \"build\",\n    \"out\",\n    \"node_modules\",\n    \".next\",\n    \".nuxt\",\n    \".turbo\",\n    \".parcel-cache\",\n    \"__pycache__\",\n    \".pytest_cache\",\n    \".mypy_cache\",\n    \".ruff_cache\",\n    \"coverage\",\n    \".gradle\"\n  ],\n  \"buildDirsExcluded\": {\n    \"vendor\": \"committed in Go/PHP\",\n    \".cache\": \"stateful / app-specific\",\n    \".terraform\": \"stateful (provider plugins + lock)\"\n  },\n  \"protectedBranches\": \"main|master|release/|prod|production\",\n  \"ephemeral\": \"(^|/)(tmp|\\\\.venv|venv)(/|$)|^/(private/)?tmp/|^/var/folders/|\\\\.(bak|tmp|temp|pyc|pyo|class|o|log)$\",\n  \"guardrails\": {\n    \"destructive-op\": {\n      \"severity\": \"critical\",\n      \"guardrail\": \"Require explicit confirmation before destructive ops (rm -rf, DROP/TRUNCATE, git reset --hard) outside a sandbox.\",\n      \"fix\": \"Review the destructive op; confirm nothing needed was lost before merging.\"\n    },\n    \"force-push\": {\n      \"severity\": \"critical\",\n      \"guardrail\": \"Block force-push to shared/protected branches; confirm on feature branches.\",\n      \"fix\": \"Verify no teammate work was overwritten by the force-push.\"\n    },\n    \"hook-bypass\": {\n      \"severity\": \"high\",\n      \"action\": \"ask\",\n      \"guardrail\": \"Disallow --no-verify / git-hook bypass on protected branches; let the hooks run.\",\n      \"fix\": \"Re-run the pre-commit/pre-push hooks that were skipped and address any failures.\"\n    },\n    \"pipe-from-internet\": {\n      \"severity\": \"high\",\n      \"action\": \"ask\",\n      \"guardrail\": \"Never pipe a script straight from the internet into a shell; download, read, then run.\",\n      \"fix\": \"Fetch the script to a file, review it, and run it explicitly if safe.\"\n    },\n    \"force-with-lease\": {\n      \"severity\": \"medium\",\n      \"action\": \"warn\",\n      \"guardrail\": \"Force-with-lease is safer than --force but still rewrites shared history — confirm intent.\",\n      \"fix\": \"Confirm the rewrite is intended and coordinated with anyone sharing the branch.\"\n    },\n    \"grader-harness-edit\": {\n      \"severity\": \"high\",\n      \"action\": \"warn\",\n      \"guardrail\": \"Never edit the grader/test/harness/config to make a check pass.\",\n      \"fix\": \"Revert the grader/test edit and fix the underlying issue instead.\"\n    },\n    \"cicd-edit\": {\n      \"severity\": \"medium\",\n      \"action\": \"warn\",\n      \"guardrail\": \"Flag edits to CI/CD pipeline files for human review before merge.\",\n      \"fix\": \"Review the CI/CD change; confirm it was intended and doesn't weaken checks.\"\n    },\n    \"secret-exposure\": {\n      \"severity\": \"high\",\n      \"action\": \"warn\",\n      \"guardrail\": \"Never echo or commit secrets; redact tokens/keys in output and files.\",\n      \"fix\": \"Rotate any exposed secret and remove it from history.\"\n    }\n  }\n}\n","// Canonical guardrails policy for the TS surfaces (post-hoc detector + the live-guard CLI command).\n//\n// The policy JSON (policy/guardrails.policy.json) is the CROSS-LANGUAGE canon — also read by the\n// live-guard .mjs (via policy/load.mjs) and receipts-cloud (Python). Here it is *imported*, not\n// file-read, so esbuild/tsup inlines it into `dist` and it ships in the published package (which\n// includes `dist` only). This file mirrors policy/load.mjs so the two stay byte-equivalent.\n//\n// This is THE single source of the guardrail data for TS: BUILD_DIRS, the ephemeral/protected\n// patterns, and the per-rule message metadata. The post-hoc detector imports from here instead of\n// re-declaring (it previously had its own BUILD_DIRS in surface.ts, a PROTECTED_REF in gitParse.ts,\n// and an inline ephemeral check) — eliminating the drift the dogfood audit found.\nimport policyJson from \"../../policy/guardrails.policy.json\";\n\ninterface GuardrailMeta {\n  severity: string;\n  guardrail: string;\n  fix: string;\n  action?: \"deny\" | \"ask\" | \"warn\";\n}\n\ninterface Policy {\n  buildDirs: string[];\n  protectedBranches: string;\n  ephemeral: string;\n  guardrails: Record<string, GuardrailMeta>;\n}\n\n/** The raw canonical policy object. */\nexport const policy: Policy = policyJson as Policy;\n\n/** Frozen regenerable build-output dir set (the formerly-duplicated list, now sourced here). */\nexport const BUILD_DIRS: ReadonlySet<string> = new Set(policy.buildDirs);\n\n/** Protected-branch matcher for force-push scoping (deny on protected, else confirm). */\nexport const PROTECTED_BRANCHES = new RegExp(\n  `\\\\b(origin\\\\s+)?(${policy.protectedBranches})\\\\b`,\n  \"i\",\n);\n\n/** Ephemeral scratch path/file matcher (`/tmp`, `.venv`, `*.bak`, …). */\nexport const EPHEMERAL = new RegExp(policy.ephemeral, \"i\");\n\n/** id → { severity, guardrail, fix, action? } — the shared message + tier metadata. */\nexport const G: Record<string, GuardrailMeta> = policy.guardrails;\n","// Canonical FP-aware classification PRIMITIVES, shared by the post-hoc detector (src/findings/*)\n// and the live-guard CLI command (src/hook/guard.ts). The \"ONE policy, three surfaces\" promise was\n// only true for the policy DATA (policy/guardrails.policy.json); the LOGIC was duplicated between\n// the live guard (hooks/guard-policy.mjs) and the post-hoc TS, and drifted — the dogfood audit\n// found the SAME force-push / scratch FP fixed twice (PR #190 live, PR #191 post-hoc). These are the\n// pure primitives both surfaces compose; each surface keeps its own input adapter (the live guard\n// works on a raw command string; the post-hoc on parsed spans + finding titles).\nimport { BUILD_DIRS, EPHEMERAL, PROTECTED_BRANCHES } from \"./load.js\";\n\n/**\n * Strip heredoc bodies (`<<TAG … TAG`) before classifying — they are DATA (commit messages, review\n * prompts, file content), not executed commands. A commit message that *describes* `DROP DATABASE`\n * or `rm -rf /` must not be read as if it ran one. Handles `<<-`, quoted/unquoted markers, multiple\n * heredocs, and an unclosed (truncated) heredoc (stripped to end). (Rare exception: `bash <<EOF`\n * executes the body; the post-hoc detector is the backstop there.)\n */\nexport function stripHeredocs(s: string): string {\n  const closed = /<<-?\\s*(['\"]?)([A-Za-z_]\\w*)\\1[\\s\\S]*?\\n[ \\t]*\\2(?![A-Za-z0-9_])/g;\n  const stripped = s.replace(closed, \"<<heredoc\");\n  // An opener with no matching close (e.g. a truncated capture) → drop to end.\n  return stripped.replace(/<<-?\\s*(['\"]?)[A-Za-z_]\\w*\\1[\\s\\S]*$/, \"<<heredoc\");\n}\n\n/**\n * Split a command into statements on `\\n ; && ||` — but NOT on a single `|` (a pipeline is one\n * statement). Quote-aware so separators inside strings don't fragment it. The core FP fix: each\n * statement is classified independently, so a `git push -f` to a feature branch is not denied\n * because `origin/main` appears in a *different* statement of the same merge-loop script.\n */\nexport function splitStatements(cmd: string): string[] {\n  const out: string[] = [];\n  let cur = \"\";\n  let q: string | null = null;\n  for (let i = 0; i < cmd.length; i++) {\n    const c = cmd[i];\n    if (q) {\n      cur += c;\n      if (c === q) q = null;\n      continue;\n    }\n    if (c === \"'\" || c === '\"') {\n      q = c;\n      cur += c;\n      continue;\n    }\n    if (c === \"\\n\" || c === \";\") {\n      out.push(cur);\n      cur = \"\";\n      continue;\n    }\n    if ((c === \"&\" && cmd[i + 1] === \"&\") || (c === \"|\" && cmd[i + 1] === \"|\")) {\n      out.push(cur);\n      cur = \"\";\n      i++;\n      continue;\n    }\n    cur += c;\n  }\n  out.push(cur);\n  return out.map((s) => s.trim()).filter(Boolean);\n}\n\n/** A path operand is a regenerable build artifact iff a path segment is a known build dir\n * (`node_modules`, `dist`, `target`, …). Deliberately EXCLUDES vendor/.cache/.terraform — see\n * guardrails.policy.json `buildDirsExcluded`. */\nexport function isRegenerableBuildDir(path: string): boolean {\n  return path\n    .replace(/^[\"']|[\"']$/g, \"\")\n    .split(\"/\")\n    .some((seg) => BUILD_DIRS.has(seg));\n}\n\n/** A path operand is ephemeral scratch (`/tmp`, `/var/folders`, `.venv`, `*.bak`, …) per the\n * canonical EPHEMERAL pattern — removing it is housekeeping, not a merge risk. */\nexport function isEphemeralTarget(path: string): boolean {\n  return EPHEMERAL.test(path.replace(/^[\"']|[\"']$/g, \"\"));\n}\n\n/** A git ref (a force-push target) names a protected/shared branch (`main`, `master`, `release/`,\n * `prod`, `production`) — force-pushing one is a real merge risk; a feature branch is routine. */\nexport function isProtectedBranch(ref: string): boolean {\n  return PROTECTED_BRANCHES.test(ref);\n}\n","/**\n * Which surface a finding belongs to. The **merge gate** (the PR comment) is about\n * the *merged artifact* — what a reviewer must check before merging. The **operator**\n * view (the `receipts` card and `receipts trends`) is about *how the agent worked* —\n * efficiency, cost, loops, retries. One source of truth, shared by the PR-comment\n * renderer and its standalone Action mirror.\n */\n\nimport { isRegenerableBuildDir } from \"../policy/classify.js\";\n\n/** Kinds that describe agent behaviour/efficiency, not the merged change. */\nconst OPERATOR_KINDS = new Set([\n  \"loop\",\n  \"bottleneck\",\n  \"cost-concentration\",\n  \"cache-opportunity\",\n  \"model-downgrade\",\n]);\n\nexport type Surface = \"merge\" | \"operator\";\n\n/** Finding-id prefixes that touch a PRIVILEGED surface — CI/CD, lockfiles, hooks,\n * checker config, graders/evals, test integrity, git history (SPEC-0073 R5). These\n * render first in the Agent Work Record, ▲-marked, never collapsed: an edit here runs\n * with repository secrets or moves the ground truth reviewers stand on. */\nexport const PRIVILEGED_PREFIXES = [\n  \"ci-cd-touch\",\n  \"lockfile-edit\",\n  \"hook-bypass\",\n  \"config-weaken\",\n  \"spec-tamper\",\n  \"grader-edit\",\n  \"eval-override\",\n  \"test-focus\",\n  \"test-skipped\",\n  \"test-trivialised\",\n  \"green-by-suppression\",\n  \"untested-test\",\n  \"history-rewrite\",\n  \"force-push\",\n  \"self-permission\",\n  \"sensitive-access\",\n  \"guard-blocked\",\n  \"mcp-write\",\n  \"mcp-config-change\",\n  \"metadata-egress\",\n  \"tls-verify-disabled\",\n  \"setuid-create\",\n  \"obfuscated-exec\",\n  \"untrusted-dep-source\",\n  \"persistence-write\",\n  \"masked-failure\",\n  \"external-state-mismatch\",\n];\n\n/** `file-shrink` is privileged only when the shrunk file is a test (assertion loss). */\nconst TEST_PATH = /(?:^|\\/)(?:tests?|specs?|__tests__)(?:\\/|$)|\\.(?:test|spec)\\.|_test\\./;\n\nexport function privileged(id: string, filePath?: string): boolean {\n  if (PRIVILEGED_PREFIXES.some((p) => id.startsWith(p))) {\n    return true;\n  }\n  return id.startsWith(\"file-shrink\") && !!filePath && TEST_PATH.test(filePath);\n}\n\nexport function findingSurface(id: string): Surface {\n  // Classify on the BASE kind: strip a subagent suffix (`-sa-<agentId>`, M104) so a wrapped operator\n  // id like `bottleneck-sa-1a2b3c4d` is still recognized as operator and can't leak onto the merge\n  // surface. (`errcluster-<tool>` — \"X failed N× before succeeding\" — is also an efficiency signal.)\n  const base = id.replace(/-sa-[0-9a-f]+$/i, \"\");\n  if (OPERATOR_KINDS.has(base) || base.startsWith(\"errcluster-\")) {\n    return \"operator\";\n  }\n  return \"merge\";\n}\n\n/**\n * Shared shape for the destructive-op carve-outs below. Parses the `rm`/`rmdir` clause from a\n * `Destructive op:` finding title and returns true only when EVERY removal operand satisfies\n * `safe`. A non-rm destructive (git/SQL/infra acts on the repo or an external system) or an empty\n * operand list returns false — i.e. the finding keeps flagging. Each carve-out below just supplies\n * the per-operand `safe` predicate.\n */\nfunction everyRemovalOperand(title: string, safe: (operand: string) => boolean): boolean {\n  const clause = title.replace(/^Destructive op:\\s*/i, \"\").replace(/\\s*×\\d+\\s*$/, \"\");\n  const m = clause.match(/^\\s*(rm|rmdir)\\b(.*)$/i);\n  if (!m) {\n    return false;\n  }\n  // Drop shell redirects and anything after them (`2>/dev/null`, `> log`, `&>f`, `2>&1`) and a\n  // trailing `— via subagent …` attribution, so they aren't read as removal operands. Without this,\n  // `rm -rf /tmp/x 2>/dev/null` keeps the `/tmp` carve-out from recognizing the scratch target (the\n  // redirect token isn't a path), and the op false-flags as a merge risk.\n  const args = m[2].replace(/\\s+(?:\\d*>>?|\\d*<|&>|>&)\\S*.*$/, \"\").replace(/\\s+—\\s.*$/, \"\");\n  const operands = args.split(/\\s+/).filter((t) => t && !t.startsWith(\"-\"));\n  return operands.length > 0 && operands.every(safe);\n}\n\n/** Strip surrounding quotes from a parsed operand before matching. */\nconst unquote = (operand: string): string => operand.replace(/^[\"']|[\"']$/g, \"\");\n\n/**\n * True when a destructive finding's target is a **scratch path** (a `$VAR`, `/tmp`,\n * `/var/folders`, or `~`), so it can't be a merge risk and shouldn't gate the PR. Conservative:\n * `rm -rf ./src`, `rm -rf build`, `git reset --hard`, `DROP TABLE` are all kept (return false).\n */\nexport function destructiveOutsideRepo(title: string): boolean {\n  return everyRemovalOperand(title, (operand) => {\n    const p = unquote(operand);\n    return (\n      /\\$/.test(p) ||\n      p.startsWith(\"/tmp\") ||\n      p.startsWith(\"/var/folders\") ||\n      p.startsWith(\"/private/var/folders\") ||\n      p.startsWith(\"~\")\n    );\n  });\n}\n\n/**\n * True when a destructive finding deletes only the tool's **own regenerable Receipt artifact**\n * (`rm .receipts/<branch>.json`) — a scope-layer carve-out: a `.receipts/*.json` is inside the repo\n * but is rewritten by `receipts pr`, so it isn't a merge risk. Only a flat `.receipts/<name>.json`\n * file matches; a mixed command or the whole dir (`rm -rf .receipts`) keeps flagging.\n */\nexport function regenerableReceiptRm(title: string): boolean {\n  return everyRemovalOperand(title, (operand) =>\n    /(?:^|\\/)\\.receipts\\/[^/]+\\.json$/.test(unquote(operand)),\n  );\n}\n\n// BUILD_DIRS (well-known regenerable build/dependency output dirs — deleting them is housekeeping,\n// not data loss) now comes from the canonical policy via ../policy/load.js — single source shared\n// with the live guard. Deliberately excludes vendor/.cache/.terraform (see guardrails.policy.json).\n\n/**\n * True when a destructive op deletes only **regenerable build artifacts** (`rm -rf dist`, `rm -rf\n * node_modules`). Scope-layer carve-out like {@link destructiveOutsideRepo}: build output is inside\n * the repo but regenerable in one command. Conservative: every operand must have a path segment in\n * the frozen build-dir set — a mixed command (`rm -rf dist src`) or a real target keeps flagging.\n */\nexport function regenerableBuildArtifact(title: string): boolean {\n  return everyRemovalOperand(title, isRegenerableBuildDir);\n}\n"],"mappings":";;;AAAA;AAAA,EACE,SAAW;AAAA,EACX,MAAQ;AAAA,EACR,WAAa;AAAA,IACX;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AAAA,EACA,mBAAqB;AAAA,IACnB,QAAU;AAAA,IACV,UAAU;AAAA,IACV,cAAc;AAAA,EAChB;AAAA,EACA,mBAAqB;AAAA,EACrB,WAAa;AAAA,EACb,YAAc;AAAA,IACZ,kBAAkB;AAAA,MAChB,UAAY;AAAA,MACZ,WAAa;AAAA,MACb,KAAO;AAAA,IACT;AAAA,IACA,cAAc;AAAA,MACZ,UAAY;AAAA,MACZ,WAAa;AAAA,MACb,KAAO;AAAA,IACT;AAAA,IACA,eAAe;AAAA,MACb,UAAY;AAAA,MACZ,QAAU;AAAA,MACV,WAAa;AAAA,MACb,KAAO;AAAA,IACT;AAAA,IACA,sBAAsB;AAAA,MACpB,UAAY;AAAA,MACZ,QAAU;AAAA,MACV,WAAa;AAAA,MACb,KAAO;AAAA,IACT;AAAA,IACA,oBAAoB;AAAA,MAClB,UAAY;AAAA,MACZ,QAAU;AAAA,MACV,WAAa;AAAA,MACb,KAAO;AAAA,IACT;AAAA,IACA,uBAAuB;AAAA,MACrB,UAAY;AAAA,MACZ,QAAU;AAAA,MACV,WAAa;AAAA,MACb,KAAO;AAAA,IACT;AAAA,IACA,aAAa;AAAA,MACX,UAAY;AAAA,MACZ,QAAU;AAAA,MACV,WAAa;AAAA,MACb,KAAO;AAAA,IACT;AAAA,IACA,mBAAmB;AAAA,MACjB,UAAY;AAAA,MACZ,QAAU;AAAA,MACV,WAAa;AAAA,MACb,KAAO;AAAA,IACT;AAAA,EACF;AACF;;;AC/CO,IAAM,SAAiB;AAGvB,IAAM,aAAkC,IAAI,IAAI,OAAO,SAAS;AAGhE,IAAM,qBAAqB,IAAI;AAAA,EACpC,oBAAoB,OAAO,iBAAiB;AAAA,EAC5C;AACF;AAGO,IAAM,YAAY,IAAI,OAAO,OAAO,WAAW,GAAG;AAGlD,IAAM,IAAmC,OAAO;;;AC3BhD,SAAS,cAAc,GAAmB;AAC/C,QAAM,SAAS;AACf,QAAM,WAAW,EAAE,QAAQ,QAAQ,WAAW;AAE9C,SAAO,SAAS,QAAQ,wCAAwC,WAAW;AAC7E;AAQO,SAAS,gBAAgB,KAAuB;AACrD,QAAM,MAAgB,CAAC;AACvB,MAAI,MAAM;AACV,MAAI,IAAmB;AACvB,WAAS,IAAI,GAAG,IAAI,IAAI,QAAQ,KAAK;AACnC,UAAM,IAAI,IAAI,CAAC;AACf,QAAI,GAAG;AACL,aAAO;AACP,UAAI,MAAM,EAAG,KAAI;AACjB;AAAA,IACF;AACA,QAAI,MAAM,OAAO,MAAM,KAAK;AAC1B,UAAI;AACJ,aAAO;AACP;AAAA,IACF;AACA,QAAI,MAAM,QAAQ,MAAM,KAAK;AAC3B,UAAI,KAAK,GAAG;AACZ,YAAM;AACN;AAAA,IACF;AACA,QAAK,MAAM,OAAO,IAAI,IAAI,CAAC,MAAM,OAAS,MAAM,OAAO,IAAI,IAAI,CAAC,MAAM,KAAM;AAC1E,UAAI,KAAK,GAAG;AACZ,YAAM;AACN;AACA;AAAA,IACF;AACA,WAAO;AAAA,EACT;AACA,MAAI,KAAK,GAAG;AACZ,SAAO,IAAI,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,OAAO;AAChD;AAKO,SAAS,sBAAsB,MAAuB;AAC3D,SAAO,KACJ,QAAQ,gBAAgB,EAAE,EAC1B,MAAM,GAAG,EACT,KAAK,CAAC,QAAQ,WAAW,IAAI,GAAG,CAAC;AACtC;AAIO,SAAS,kBAAkB,MAAuB;AACvD,SAAO,UAAU,KAAK,KAAK,QAAQ,gBAAgB,EAAE,CAAC;AACxD;AAIO,SAAS,kBAAkB,KAAsB;AACtD,SAAO,mBAAmB,KAAK,GAAG;AACpC;;;ACvEA,IAAM,iBAAiB,oBAAI,IAAI;AAAA,EAC7B;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;AAQM,IAAM,sBAAsB;AAAA,EACjC;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AAGA,IAAM,YAAY;AAEX,SAAS,WAAW,IAAY,UAA4B;AACjE,MAAI,oBAAoB,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,GAAG;AACrD,WAAO;AAAA,EACT;AACA,SAAO,GAAG,WAAW,aAAa,KAAK,CAAC,CAAC,YAAY,UAAU,KAAK,QAAQ;AAC9E;AAEO,SAAS,eAAe,IAAqB;AAIlD,QAAM,OAAO,GAAG,QAAQ,mBAAmB,EAAE;AAC7C,MAAI,eAAe,IAAI,IAAI,KAAK,KAAK,WAAW,aAAa,GAAG;AAC9D,WAAO;AAAA,EACT;AACA,SAAO;AACT;AASA,SAAS,oBAAoB,OAAe,MAA6C;AACvF,QAAM,SAAS,MAAM,QAAQ,wBAAwB,EAAE,EAAE,QAAQ,eAAe,EAAE;AAClF,QAAM,IAAI,OAAO,MAAM,wBAAwB;AAC/C,MAAI,CAAC,GAAG;AACN,WAAO;AAAA,EACT;AAKA,QAAM,OAAO,EAAE,CAAC,EAAE,QAAQ,kCAAkC,EAAE,EAAE,QAAQ,aAAa,EAAE;AACvF,QAAM,WAAW,KAAK,MAAM,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,WAAW,GAAG,CAAC;AACxE,SAAO,SAAS,SAAS,KAAK,SAAS,MAAM,IAAI;AACnD;AAGA,IAAM,UAAU,CAAC,YAA4B,QAAQ,QAAQ,gBAAgB,EAAE;AAOxE,SAAS,uBAAuB,OAAwB;AAC7D,SAAO,oBAAoB,OAAO,CAAC,YAAY;AAC7C,UAAM,IAAI,QAAQ,OAAO;AACzB,WACE,KAAK,KAAK,CAAC,KACX,EAAE,WAAW,MAAM,KACnB,EAAE,WAAW,cAAc,KAC3B,EAAE,WAAW,sBAAsB,KACnC,EAAE,WAAW,GAAG;AAAA,EAEpB,CAAC;AACH;AAQO,SAAS,qBAAqB,OAAwB;AAC3D,SAAO;AAAA,IAAoB;AAAA,IAAO,CAAC,YACjC,mCAAmC,KAAK,QAAQ,OAAO,CAAC;AAAA,EAC1D;AACF;AAYO,SAAS,yBAAyB,OAAwB;AAC/D,SAAO,oBAAoB,OAAO,qBAAqB;AACzD;","names":[]}

package/dist/{chunk-MJ3ZJNPX.js → chunk-OW3O53BD.js}

@@ -3,6 +3,7 @@ import {
   agentIds,
   applyDiffScope,
   buildReceipt,
+  computeCompletion,
   deriveEvidence,
   deriveFindings,
   deriveSpans,
@@ -16,18 +17,18 @@ import {
   redactReceipt,
   renderLedger,
   windowedEffort
-} from "./chunk-C7NAN2LL.js";
+} from "./chunk-Y53BB6HS.js";
 import {
   FIX_FOR,
   categorize,
   checkForId
-} from "./chunk-VKT2ZUCT.js";
+} from "./chunk-SVTKMARA.js";
 import {
   destructiveOutsideRepo,
   findingSurface,
   privileged,
   regenerableBuildArtifact
-} from "./chunk-44V3DNK5.js";
+} from "./chunk-KOPNMBLZ.js";
 
 // src/report/sarif.ts
 var INFO_URI = "https://github.com/AltimateAI/altimate-receipts";
@@ -93,6 +94,44 @@ function toSarif(receipt) {
     }
     return result;
   });
+  for (const scanner of p.scanners ?? []) {
+    for (const sr of scanner.results ?? []) {
+      const ruleId = sr.ruleId || scanner.tool;
+      const level = sr.level;
+      const existingRule = rules.get(ruleId);
+      if (!existingRule) {
+        ruleOrder.push(ruleId);
+        rules.set(ruleId, {
+          id: ruleId,
+          name: `${scanner.tool}:${ruleId}`,
+          shortDescription: { text: `${scanner.category} (${scanner.tool})` },
+          defaultConfiguration: { level },
+          helpUri: INFO_URI
+        });
+      } else if (sevRank[level] < sevRank[existingRule.defaultConfiguration.level]) {
+        existingRule.defaultConfiguration.level = level;
+      }
+      const uri = sr.file;
+      const result = {
+        ruleId,
+        ruleIndex: ruleOrder.indexOf(ruleId),
+        level,
+        message: { text: sr.message ?? `${scanner.tool} ${ruleId}` },
+        partialFingerprints: { receiptsId: `${ruleId}::${uri ?? "scanner"}` }
+      };
+      if (uri) {
+        result.locations = [
+          {
+            physicalLocation: {
+              artifactLocation: { uri },
+              ...sr.line ? { region: { startLine: sr.line } } : {}
+            }
+          }
+        ];
+      }
+      results.push(result);
+    }
+  }
   const ruleList = ruleOrder.map((id) => rules.get(id));
   return {
     $schema: "https://json.schemastore.org/sarif-2.1.0.json",
@@ -263,6 +302,85 @@ function serialize(value) {
 // src/report/prComment.ts
 import { createHash as createHash2 } from "crypto";
 
+// src/findings/externalState.ts
+var TARGET = /\b([A-Za-z0-9][\w.-]*\/[\w.-]+)#(\d+)\b|(?:^|[\s(])#(\d+)\b/;
+var PR_REF = /(?:[A-Za-z0-9][\w.-]*\/[\w.-]+)?#\d+/;
+var MERGED_OBJECT = new RegExp(
+  `\\b(?:merged|landed)\\s+(?:(?:the\\s+)?(?:pr|pull\\s*request)\\s+)?${PR_REF.source}`,
+  "i"
+);
+var MERGED_SUBJECT = new RegExp(
+  `${PR_REF.source}\\s+(?:(?:has|have|is|was|been|got|now|successfully|finally)\\s+){0,4}(?:merged|landed)\\b`,
+  "i"
+);
+var isMergedClaim = (s) => (MERGED_OBJECT.test(s) || MERGED_SUBJECT.test(s)) && !LOCAL_MERGE.test(s);
+var CI_GREEN = /\b(?:ci|checks?|pipeline|the build|all checks?)\b[^.!?\n]*\b(?:is|are|all)?\s*(?:green|passing|passed|pass)\b/i;
+var HEDGE = /\b(should|will|going to|once|after|when|if|need to|needs to|ready to|about to|pending|waiting)\b/i;
+var NEGATION = /\b(not|isn'?t|aren'?t|wasn'?t|weren'?t|never|no longer|failed to|couldn'?t|can'?t|cannot|won'?t|without)\b/i;
+var LOCAL_MERGE = /\bmerged\s+\S+\s+into\b|\bmerged\s+(?:main|master|develop|trunk|origin|upstream|HEAD)\b/i;
+var OTHER_PR_BACKDROP = /\b(?:from|in|like|see|per|via)\s+(?:pr\s+)?#\s*\d|\bapproach\s+(?:from|in)\b|\bbase\s+branch\b|\bduplicat\w*/i;
+function targetOf(sentence) {
+  const m = TARGET.exec(sentence);
+  if (!m) {
+    return void 0;
+  }
+  if (m[1] && m[2]) {
+    return `${m[1]}#${m[2]}`;
+  }
+  return m[3] ? `#${m[3]}` : void 0;
+}
+function parseExternalClaims(finalText) {
+  const out = [];
+  const seen = /* @__PURE__ */ new Set();
+  for (const sentence of finalText.split(/[.!?\n]+/)) {
+    if (HEDGE.test(sentence) || NEGATION.test(sentence) || OTHER_PR_BACKDROP.test(sentence)) {
+      continue;
+    }
+    const target = targetOf(sentence);
+    if (!target) {
+      continue;
+    }
+    const kind = isMergedClaim(sentence) ? "merged" : CI_GREEN.test(sentence) ? "ci-green" : void 0;
+    if (!kind) {
+      continue;
+    }
+    const key = `${kind}|${target}`;
+    if (seen.has(key)) {
+      continue;
+    }
+    seen.add(key);
+    out.push({ kind, target, raw: sentence.trim().slice(0, 200) });
+  }
+  return out;
+}
+function label(kind) {
+  return kind === "merged" ? "merged" : "CI green";
+}
+function deriveExternalStateRows(rows) {
+  const out = [];
+  let i = 0;
+  for (const r of rows) {
+    if (r.match) {
+      continue;
+    }
+    const who = r.actor ? ` by \`${r.actor}\`` : "";
+    const when = r.ts ? ` (${r.ts})` : "";
+    const at = r.fetchedAt ? ` fetched ${r.fetchedAt}` : "";
+    out.push({
+      id: `external-state-mismatch-${i}`,
+      severity: "high",
+      title: `Claimed ${r.target} ${label(r.kind)}, API reports ${r.actual}`,
+      detail: `The session claimed ${r.target} was ${r.claimed}, but the authoritative API reports \`${r.actual}\`${who}${when}${at}. This is a recorded input \u2014 the reconciler fetched it in CI; the deterministic core never makes the call. Confirm the claim, or correct the summary. ${r.url ?? ""}`.trim(),
+      impactLabel: "external state",
+      confidence: 1,
+      score: 100,
+      guardrailRule: "Don't claim a PR is merged / CI is green until the authoritative API confirms it; reconcile claims about external state before reporting done."
+    });
+    i++;
+  }
+  return out;
+}
+
 // src/findings/guardEvents.ts
 var SEV = {
   deny: "critical",
@@ -398,6 +516,32 @@ function subagentRows(p) {
     ...s.filePath ? { filePath: s.filePath } : {}
   }));
 }
+function externalStateRows(p) {
+  if (!p.externalState?.length) {
+    return [];
+  }
+  return deriveExternalStateRows(p.externalState).map((f) => ({
+    id: f.id,
+    severity: f.severity,
+    title: f.title,
+    detail: f.detail,
+    confidence: f.confidence,
+    score: f.score,
+    impactLabel: f.impactLabel
+  }));
+}
+function externalStateCorroborations(p) {
+  const ok = (p.externalState ?? []).filter((r) => r.match);
+  if (ok.length === 0) {
+    return void 0;
+  }
+  const chips = ok.map((r) => {
+    const who = r.actor ? ` by \`${r.actor}\`` : "";
+    const when = r.ts ? ` \xB7 ${r.ts}` : "";
+    return `\u2714 ${r.target} ${r.kind === "merged" ? "merged" : "CI green"}${who}${when}`;
+  }).join(" \xB7 ");
+  return `<sub>\u{1F310} external state reconciled: ${chips} (authoritative API, attested).</sub>`;
+}
 function subagentCountLine(p) {
   const sa = p.subagents;
   if (!sa || sa.total === 0) {
@@ -407,11 +551,27 @@ function subagentCountLine(p) {
   const tail = shown > 0 ? `, ${shown} surfaced above` : ", none merge-relevant";
   return `<sub>\u{1F9F7} ${sa.total} subagent${sa.total === 1 ? "" : "s"} ran (${sa.considered} did file/command work${tail}) \u2014 separate transcripts, attributed.</sub>`;
 }
+function witnessLine(p) {
+  const w = p.witness;
+  if (!w) {
+    return void 0;
+  }
+  if (w.tier === "witness-divergence") {
+    return `<sub>\u{1F6F0}\uFE0F model-side: <b>diverges from altimate-router</b> \u2014 ${w.present}/${w.witnessed} model decisions match the independent record; the rest are missing from this transcript.</sub>`;
+  }
+  const sig = w.signed === "verified" ? ", signature verified" : w.signed === "unverified" ? ", signature unverified" : "";
+  return `<sub>\u{1F6F0}\uFE0F model-side: witnessed by altimate-router \u2014 ${w.present}/${w.witnessed} model decisions independently recorded${sig}.</sub>`;
+}
 function renderPrComment(receipt, opts = {}) {
   const p = receipt.predicate;
   const ev = p.evidence;
   const operatorCount = p.findings.filter((f) => findingSurface(f.id) === "operator").length;
-  const main = visibleMergeFindings([...guardRows(p), ...subagentRows(p), ...p.findings]);
+  const main = visibleMergeFindings([
+    ...guardRows(p),
+    ...subagentRows(p),
+    ...externalStateRows(p),
+    ...p.findings
+  ]);
   const cats = categorize(main);
   const files = p.scope?.kind === "diff" ? p.scope.files ?? [] : [];
   const priv = main.filter((f) => privileged(f.id, f.filePath));
@@ -675,6 +835,14 @@ function recordDetails(p, ev, cats, operatorCount, opts, feedback) {
   if (saLine) {
     inner.push(saLine);
   }
+  const wLine = witnessLine(p);
+  if (wLine) {
+    inner.push(wLine);
+  }
+  const xLine = externalStateCorroborations(p);
+  if (xLine) {
+    inner.push(xLine);
+  }
   const signed = opts.signed ? `Signed (Sigstore \u2192 Rekor)${opts.attestationUrl ? ` \xB7 [attestation](${opts.attestationUrl})` : ""} \xB7 ` : "";
   inner.push(
     `<sub>${signed}Re-derivable (L1: \`receipts verify <receipt> --transcript <t>\`) \xB7 pull any event's tape: \`npx altimate-receipts log --ref <evidence-id>\` \xB7 deterministic \xB7 0 model calls \xB7 evidence, not judgement \xB7 [trust model](${TRUST_DOC_URL}).</sub>`
@@ -1127,7 +1295,11 @@ async function rederiveFromTranscript(path, opts = {}) {
   const branch = scope?.kind === "branch" ? scope.branch : opts.branch;
   const session = branch ? sliceByBranch(loaded, branch) ?? loaded : loaded;
   let derived = deriveSpans(session);
+  if (opts.criteria?.length) {
+    derived.criteria = opts.criteria;
+  }
   let findings = deriveFindings(derived);
+  const completion = opts.criteria?.length ? computeCompletion(derived, [...findings.main, ...findings.minor]) : void 0;
   if (scope?.kind === "diff" && scope.files) {
     const scoped = applyDiffScope(derived, findings, scope.files, session.projectPath);
     derived = scoped.derived;
@@ -1151,7 +1323,7 @@ async function rederiveFromTranscript(path, opts = {}) {
       }
     }
   }
-  const receipt = await buildReceipt(session, derived, findings, { scope });
+  const receipt = await buildReceipt(session, derived, findings, { scope, completion });
   return opts.redact ? redactReceipt(receipt) : receipt;
 }
 async function compareToTranscript(committed, transcriptPath, opts = {}) {
@@ -1162,13 +1334,16 @@ async function compareToTranscript(committed, transcriptPath, opts = {}) {
     // codex/cursor receipt isn't re-run through the Claude adapter. An explicit
     // opts.source still wins.
     source: opts.source ?? sourceFromReceipt(committed),
-    scope: committed.predicate.scope
+    scope: committed.predicate.scope,
+    // SPEC-0118 — re-apply the recorded criteria basis (like scope) so a receipt
+    // carrying completion findings re-derives byte-identically with no asserts.json.
+    criteria: committed.predicate.evidence.completion?.criteria
   });
   if (!fresh) {
     return { rederived: false, matches: false };
   }
   const strip = (r) => {
-    if (!r.predicate.prEffort && !r.predicate.prHistory && !r.predicate.prCleared && !r.predicate.guardEvents && !r.predicate.subagents) {
+    if (!r.predicate.prEffort && !r.predicate.prHistory && !r.predicate.prCleared && !r.predicate.guardEvents && !r.predicate.subagents && !r.predicate.scanners && !r.predicate.externalState && !r.predicate.witness) {
       return r;
     }
     const {
@@ -1177,6 +1352,9 @@ async function compareToTranscript(committed, transcriptPath, opts = {}) {
       prCleared: _z,
       guardEvents: _g,
       subagents: _s,
+      scanners: _sc,
+      externalState: _e,
+      witness: _w,
       ...rest
     } = r.predicate;
     return { ...r, predicate: rest };
@@ -1194,6 +1372,7 @@ export {
   exporterIds,
   gitInvocations,
   canonicalize,
+  parseExternalClaims,
   PR_COMMENT_MARKER,
   visibleMergeFindings,
   eventKey,
@@ -1212,4 +1391,4 @@ export {
   rederiveFromTranscript,
   compareToTranscript
 };
-//# sourceMappingURL=chunk-MJ3ZJNPX.js.map
+//# sourceMappingURL=chunk-OW3O53BD.js.map