@guilz-dev/belay 0.9.3 → 0.9.4

package/dist/bundle/codex-runtime.mjs

@@ -3574,7 +3574,7 @@ var init_config_io = __esm({
 
 // src/adapters/codex/runtime-entry.ts
 init_codex();
-import path56 from "node:path";
+import path63 from "node:path";
 import process2 from "node:process";
 
 // src/adapters/shared/gate-runtime.ts
@@ -3583,7 +3583,7 @@ init_approval_replay();
 import { randomUUID as randomUUID6 } from "node:crypto";
 import { existsSync as existsSync16 } from "node:fs";
 import { mkdir as mkdir14, readFile as readFile15, writeFile as writeFile11 } from "node:fs/promises";
-import path54 from "node:path";
+import path61 from "node:path";
 
 // src/core/approval-service.ts
 init_config_io();
@@ -6590,31 +6590,44 @@ import { randomUUID as randomUUID3 } from "node:crypto";
 import path21 from "node:path";
 
 // src/core/glob.ts
+init_approval();
+function globPatternToRegexSource(pattern) {
+  let result = "";
+  let index = 0;
+  while (index < pattern.length) {
+    const char = pattern[index];
+    if (char === "*" && pattern[index + 1] === "*") {
+      index += 2;
+      if (pattern[index] === "/") {
+        result += "(?:.*/)?";
+        index += 1;
+      } else {
+        result += ".*";
+      }
+      continue;
+    }
+    if (char === "*") {
+      result += "[^/]*";
+      index += 1;
+      continue;
+    }
+    result += escapeRegex(char);
+    index += 1;
+  }
+  return result;
+}
+function globPatternMatches(pattern, normalized, baseName) {
+  const regex = new RegExp(`^${globPatternToRegexSource(pattern)}$`);
+  return regex.test(normalized) || regex.test(baseName);
+}
 function matchesSensitivePath(filePath, patterns) {
   const normalized = filePath.replaceAll("\\", "/");
   const segments = normalized.split("/");
   const baseName = segments.at(-1) ?? normalized;
   for (const pattern of patterns) {
     const normalizedPattern = pattern.replaceAll("\\", "/");
-    if (normalizedPattern.includes("**")) {
-      const parts = normalizedPattern.split("**").map((part) => part.replace(/^\/+|\/+$/g, ""));
-      const prefix = parts[0]?.replace(/\/+$/, "") ?? "";
-      const suffix = parts[1]?.replace(/^\/+/, "") ?? "";
-      if (prefix && !normalized.startsWith(prefix)) {
-        continue;
-      }
-      if (suffix && !normalized.includes(suffix)) {
-        continue;
-      }
-      if (prefix || suffix) {
-        return true;
-      }
-    }
     if (normalizedPattern.includes("*")) {
-      const regex = new RegExp(
-        `^${normalizedPattern.replaceAll(".", "\\.").replaceAll("*", ".*")}$`
-      );
-      if (regex.test(normalized) || regex.test(baseName)) {
+      if (globPatternMatches(normalizedPattern, normalized, baseName)) {
         return true;
       }
       continue;
@@ -11016,6 +11029,16 @@ function subagentFingerprintSource(payload, scrubOptions) {
   }
   return scrubValue(payload, scrubOptions);
 }
+function fingerprintToolInputSource(payload) {
+  const toolInput = payload.tool_input;
+  if (!toolInput || typeof toolInput !== "object") {
+    return {};
+  }
+  return redactToolInvocationId(
+    toolInput,
+    typeof payload.tool_use_id === "string" ? payload.tool_use_id : void 0
+  );
+}
 function fingerprintReplayPayload(kind, payload, scrubOptions) {
   if (!payload) {
     return void 0;
@@ -11125,7 +11148,7 @@ function classifySubagent(payload, repoRoot, options = {}, config) {
 }
 
 // src/core/classify-tool.ts
-import path42 from "node:path";
+import path49 from "node:path";
 init_fingerprint2();
 init_path_utils();
 init_scrub();
@@ -11244,11 +11267,8 @@ function worstEffectDecision(decisions) {
 }
 
 // src/core/effect-ir/shell-lower.ts
-init_git_resource_identity();
-init_path_utils();
 init_shell_tokenizer();
-import { lstatSync as lstatSync2, realpathSync as realpathSync4 } from "node:fs";
-import path41 from "node:path";
+import path48 from "node:path";
 
 // src/core/verdict/docker-compose-run.ts
 import path36 from "node:path";
@@ -11588,6 +11608,17 @@ function decodeDockerComposeRun(tokens) {
 
 // src/core/verdict/egress-classify.ts
 import path37 from "node:path";
+var EGRESS_TOOL_HEADS = /* @__PURE__ */ new Set([
+  "aws",
+  "curl",
+  "gh",
+  "gcloud",
+  "heroku",
+  "kubectl",
+  "netlify",
+  "vercel",
+  "wget"
+]);
 var CURL_EFFECT_NEUTRAL_FLAGS = /* @__PURE__ */ new Set([
   "-f",
   "-L",
@@ -11621,6 +11652,9 @@ var GH_READ_COMMANDS = /* @__PURE__ */ new Set([
   "workflow list",
   "workflow view"
 ]);
+function isEgressToolHead(head) {
+  return EGRESS_TOOL_HEADS.has(head);
+}
 function decodeEgressEffects(params) {
   const head = path37.basename(params.tokens[0] ?? "");
   if (head !== "curl" && head !== "wget" && head !== "gh") {
@@ -13883,7 +13917,7 @@ function extractBalancedParenContent(command, start) {
       index += 1;
       continue;
     }
-    if (char === "\\" && (inSingle || inDouble)) {
+    if (char === "\\" && inDouble) {
       escaping = true;
       index += 1;
       continue;
@@ -13961,7 +13995,9 @@ function hasUnclosedQuote(command) {
       continue;
     }
     if (char === "\\") {
-      escaping = true;
+      if (quote !== "'") {
+        escaping = true;
+      }
       continue;
     }
     if (quote) {
@@ -14478,6 +14514,50 @@ function redactCommand(command) {
   return command.replace(/Bearer\s+[A-Za-z0-9._~+/=-]+/gi, "Bearer [REDACTED]").replace(/sk-[A-Za-z0-9]{8,}/g, "sk-[REDACTED]").trim();
 }
 
+// src/core/effect-ir/argv-delegate.ts
+function innerRecipeFromArgvDelegate(peel) {
+  if (peel.opaque || peel.innerTokens.length === 0) {
+    return null;
+  }
+  return peel.innerTokens.join(" ");
+}
+function peelArgvDelegateArgv(tokens) {
+  const launcher = tokens[0] ?? "";
+  if (!launcher || tokens.length < 2) {
+    return null;
+  }
+  const signals = ["process.argv_delegate"];
+  let index = 1;
+  while (index < tokens.length) {
+    const token = tokens[index] ?? "";
+    if (token === "--") {
+      index += 1;
+      break;
+    }
+    if (token.startsWith("-")) {
+      return {
+        launcher,
+        innerTokens: [],
+        opaque: true,
+        reason: "argv_delegate_wrapper_options",
+        signals: [...signals, "argv_delegate_wrapper_options"]
+      };
+    }
+    break;
+  }
+  const innerTokens = tokens.slice(index);
+  if (innerTokens.length === 0) {
+    return null;
+  }
+  return {
+    launcher,
+    innerTokens,
+    opaque: false,
+    reason: "argv_delegate_peel",
+    signals
+  };
+}
+
 // src/core/effect-ir/shell-build.ts
 function buildShellEffectPlan(params) {
   const nodes = params.segments.map(buildSegmentNode);
@@ -14535,933 +14615,416 @@ function mergeNodes(nodes) {
   return { kind: "merge", children: nodes };
 }
 
-// src/core/effect-ir/shell-lower.ts
-var MAX_LOWER_DEPTH = 8;
-var ENV_PREFIX_PATTERN2 = /^([A-Za-z_][A-Za-z0-9_]*)=(.*)$/;
-var LOOPBACK_HOSTS2 = /* @__PURE__ */ new Set(["127.0.0.1", "localhost", "::1", "0:0:0:0:0:0:0:1"]);
+// src/core/effect-ir/shell-lower/argv-delegate-gate.ts
+import path41 from "node:path";
+var ARGV_DELEGATE_INNER_BLOCKLIST = /* @__PURE__ */ new Set([
+  "sudo",
+  "env",
+  "command",
+  "builtin",
+  "exec",
+  "time",
+  "nice",
+  "nohup",
+  "stdbuf",
+  "setsid",
+  "("
+]);
+function shouldApplyArgvDelegate(head, innerTokens, depth) {
+  if (depth > 0 || isEgressToolHead(head) || head === "bundle") {
+    return false;
+  }
+  if (ARGV_DELEGATE_INNER_BLOCKLIST.has(head)) {
+    return false;
+  }
+  const innerHead = path41.basename(innerTokens[0] ?? "");
+  if (ARGV_DELEGATE_INNER_BLOCKLIST.has(innerHead)) {
+    return false;
+  }
+  return innerTokens.length >= 2;
+}
+function isGrammarUnknownOnly(requirements, head) {
+  if (requirements.length !== 2) {
+    return false;
+  }
+  const [spawn9, indeterminate] = requirements;
+  return spawn9.action === "process.exec" && spawn9.resource.kind === "executable" && spawn9.resource.command === head && spawn9.resource.operation === "spawn" && indeterminate.action === "indeterminate" && indeterminate.evidence.signals.includes("process.grammar_unknown");
+}
+
+// src/core/effect-ir/shell-lower/augment.ts
+init_shell_tokenizer();
+
+// src/core/effect-ir/shell-lower/requirement.ts
 var SECRET_PATH_PATTERN = /(?:^|[/\\])(?:\.env(?:\..*)?|credentials?|secrets?|id_rsa)(?:$|[/\\])/i;
 var CONTROL_PLANE_PATH_PATTERN = /^(?:\/etc(?:\/|$)|\/var\/run(?:\/|$)|.*(?:^|[/\\])\.(?:git|ssh|cursor|claude)(?:[/\\]|$))/;
-function lowerShellEffectPlan(params) {
-  const context = { ...params, depth: 0 };
-  const segments = lowerTopLevelSegments(params.command, context);
-  return buildShellEffectPlan({
-    inputFingerprint: params.inputFingerprint,
-    segments,
-    signals: pipeToShell(params.command) ? ["pipe_to_shell"] : []
-  });
+function requirement2(tag, action, resource, segment, signals) {
+  return {
+    tag,
+    action,
+    resource,
+    evidence: {
+      level: tag === "indeterminate" ? "indeterminate" : "certain",
+      signals: [...new Set(signals)].sort(),
+      basis: ["shell_semantic_lowering"]
+    },
+    provenance: { segment }
+  };
 }
-function lowerTopLevelSegments(command, context) {
-  const commands = splitStructuralShellSegments(command);
-  if (commands.length === 0 && command.trim()) {
-    commands.push(command.trim());
-  }
-  const pipedToShell = pipeToShell(command);
-  const lowered = [];
-  let cwd = context.cwd;
-  let cwdKnown = true;
-  let inferredEnv = { ...context.env };
-  for (const segment of commands) {
-    let result = lowerSegment(segment, {
-      ...context,
-      cwd,
-      env: inferredEnv,
-      command: segment,
-      depth: context.depth,
-      inputFingerprint: context.inputFingerprint,
-      ...pipedToShell && isShellHead(parseSegment(segment).head) ? { pipeToShellSegment: true } : {}
-    });
-    if (!cwdKnown) {
-      const requiresCwd = result.requirements.some(requiresKnownCwd);
-      const requirements = [...result.requirements];
-      if (requiresCwd) {
-        requirements.push(
-          requirement2(
-            "indeterminate",
-            "indeterminate",
-            { kind: "unknown" },
-            result.commandRedacted,
-            ["shell.cwd_unknown"]
-          )
-        );
-      }
-      result = {
-        ...result,
-        requirements,
-        ...requiresCwd ? {
-          completeness: "partial",
-          opacity: joinEffectOpacity(result.opacity, "opaque")
-        } : {},
-        signals: [.../* @__PURE__ */ new Set([...result.signals, "shell.cwd_unknown"])]
-      };
-    }
-    lowered.push(result);
-    if (!inferredEnv.DATABASE_URL && startsLocalPostgresService(segment)) {
-      inferredEnv = {
-        ...inferredEnv,
-        DATABASE_URL: "postgresql://127.0.0.1:5432/local"
-      };
-    }
-    const nextCwd = resolveCdTransition(segment, cwd);
-    if (nextCwd) {
-      cwd = nextCwd.cwd;
-      cwdKnown = nextCwd.known;
-    }
-  }
-  if (commands.length > 1 && /[\r\n]/.test(command) && lowered.some(
-    (segment) => segment.requirements.some((entry) => entry.action === "network.connect")
-  )) {
-    lowered.push(
-      shellSegment(
-        "[multiline network boundary]",
-        "shell-boundary",
-        [
-          requirement2(
-            "indeterminate",
-            "indeterminate",
-            { kind: "unknown" },
-            "[multiline network boundary]",
-            ["shell.multiline_network_boundary"]
-          )
-        ],
-        "opaque",
-        /* @__PURE__ */ new Set(["shell.multiline_network_boundary"])
+function processRequirement(command, operation, segment, signals) {
+  return requirement2(
+    "process.exec",
+    "process.exec",
+    { kind: "executable", command, operation },
+    segment,
+    signals
+  );
+}
+function unsupportedProcess(command, segment, signal) {
+  return [
+    processRequirement(command, "spawn", segment, [signal]),
+    requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [signal])
+  ];
+}
+function addWriteEffects(requirements, resolved, segment, signals) {
+  requirements.push(
+    requirement2("fs.write", "fs.write", { kind: "path", path: resolved }, segment, signals)
+  );
+  if (CONTROL_PLANE_PATH_PATTERN.test(resolved)) {
+    requirements.push(
+      requirement2(
+        "control_plane.write",
+        "control_plane.write",
+        { kind: "path", path: resolved },
+        segment,
+        [...signals, "protected_path"]
       )
     );
   }
-  return lowered;
-}
-function startsLocalPostgresService(command) {
-  const tokens = tokenizeShell(command);
-  return path41.basename(tokens[0] ?? "") === "docker" && tokens[1] === "compose" && ["up", "start", "restart"].includes(tokens[2] ?? "") && tokens.includes("postgres");
 }
-function resolveCdTransition(command, currentCwd) {
-  const tokens = tokenizeShell(command);
-  if (path41.basename(tokens[0] ?? "") !== "cd") {
-    return null;
-  }
-  const target = tokens[1] ?? "~";
-  if (!target || target === "-" || target.includes("$") || target.includes("`")) {
-    return { cwd: currentCwd, known: false };
+function addSecretRead(requirements, resolved, segment) {
+  if (SECRET_PATH_PATTERN.test(resolved)) {
+    requirements.push(
+      requirement2("secret.read", "secret.read", { kind: "path", path: resolved }, segment, [
+        "secret_path_read"
+      ])
+    );
   }
-  return { cwd: resolvePathOperand(target, currentCwd), known: true };
 }
-function requiresKnownCwd(requirementValue) {
-  if (requirementValue.action === "fs.write" || requirementValue.action === "git.ref.write" || requirementValue.action === "control_plane.write") {
-    return true;
+function ensureRequirement(requirements, candidate) {
+  if (!requirements.some(
+    (entry) => entry.action === candidate.action && JSON.stringify(entry.resource) === JSON.stringify(candidate.resource)
+  )) {
+    requirements.push(candidate);
   }
-  return requirementValue.action === "process.exec" && requirementValue.resource.kind === "executable" && requirementValue.resource.operation === "spawn";
-}
-function joinNestedOpacity(outer, nested) {
-  const nestedOpacity = nested.completeness === "partial" && nested.opacity === "transparent" ? "recursive" : nested.opacity;
-  return joinEffectOpacity(outer, nestedOpacity);
 }
-function lowerSegment(command, context) {
-  const commandRedacted = redactCommand(command);
-  const lexed = lexShell(command);
-  const rawTokens = lexed.tokens.map((token) => token.value);
-  const environment = extractEnvironment(rawTokens, context.env);
-  const env = environment.env;
-  const parsed = parseSegment(command);
-  const parsedTokens = environment.commandTokens ?? parsed.tokens;
-  const tokens = stripRedirects(
-    parsedTokens.length === 0 && rawTokens.length > 0 && rawTokens.every((token) => ENV_PREFIX_PATTERN2.test(token)) ? rawTokens : parsedTokens
-  ).map((token) => expandKnownVariables(token, env));
-  const decoderTokens = alignStructuredTokens(
-    stripStructuredRedirects(lexed.tokens),
-    stripRedirects(parsedTokens)
-  );
-  const head = path41.basename(tokens[0] ?? parsed.head);
-  let opacity = segmentOpacity(command);
-  const signals = /* @__PURE__ */ new Set();
-  const requirements = [];
-  if (!lexed.complete) {
-    requirements.push(
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
-        "shell.grammar_incomplete"
-      ])
-    );
-    signals.add("shell.grammar_incomplete");
-    opacity = joinEffectOpacity(opacity, "unparseable");
-  }
-  addRedirectEffects(requirements, rawTokens, env, context, commandRedacted);
-  addSubstitutionEffects(requirements, command, context, commandRedacted, signals);
-  if (environment.malformed) {
-    requirements.push(
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
-        "shell.env_wrapper_incomplete"
-      ])
-    );
-    opacity = joinEffectOpacity(opacity, "opaque");
-  }
-  if (parsed.encounteredXargs) {
-    requirements.push(
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
-        "shell.xargs_stdin_dynamic"
-      ])
-    );
-    signals.add("shell.xargs_stdin_dynamic");
-    opacity = joinEffectOpacity(opacity, "opaque");
-  }
-  if (context.depth > MAX_LOWER_DEPTH) {
-    requirements.push(
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
-        "shell.lower_depth_exceeded"
-      ])
-    );
-    return shellSegment(
-      commandRedacted,
-      head,
-      requirements,
-      joinEffectOpacity(opacity, "opaque"),
-      signals
-    );
-  }
-  const packageExec = peelPackageExecArgv(tokens);
-  if (packageExec) {
-    requirements.push(
-      ...decodePackageExec(packageExec, context.cwd, context.repoRoot, commandRedacted)
-    );
-    for (const signal of packageExec.signals) {
-      signals.add(signal);
-    }
-    if (packageExec.opaque) {
-      opacity = joinEffectOpacity(opacity, "opaque");
-    }
-    const innerRecipe = packageExecInnerIsMetadata(packageExec) ? null : innerRecipeFromPeel(packageExec);
-    if (innerRecipe) {
-      const nested = lowerTopLevelSegments(innerRecipe, {
-        ...context,
-        command: innerRecipe,
-        env,
-        depth: context.depth + 1
-      });
-      for (const nestedSegment of nested) {
-        requirements.push(
-          ...nestedSegment.requirements.map(
-            (entry) => withInnerProvenance(entry, innerRecipe, packageExec.launcher, commandRedacted)
-          )
-        );
-        for (const signal of nestedSegment.signals) {
-          signals.add(signal);
-        }
-        opacity = joinNestedOpacity(opacity, nestedSegment);
-      }
-    }
-    return shellSegment(commandRedacted, head, requirements, opacity, signals);
-  }
-  const recursive = decodeRecursiveInvocationTokens(decoderTokens);
-  if (recursive.kind === "static" && opacity !== "opaque" && opacity !== "unparseable") {
-    requirements.push(
-      processRequirement(recursive.interpreter, "spawn", commandRedacted, [
-        "shell.recursive_wrapper",
-        "dynamic_shell_evaluation"
-      ])
-    );
-    if (recursive.script !== "") {
-      const nested = lowerTopLevelSegments(recursive.script, {
-        ...context,
-        command: recursive.script,
-        env,
-        depth: context.depth + 1
-      });
-      for (const nestedSegment of nested) {
-        requirements.push(
-          ...nestedSegment.requirements.map(
-            (entry) => withInnerProvenance(entry, recursive.script, head, commandRedacted)
-          )
-        );
-        for (const signal of nestedSegment.signals) signals.add(signal);
-      }
-    }
-    signals.add("shell.recursive_wrapper");
-    signals.add("dynamic_shell_evaluation");
-    return shellSegment(commandRedacted, head, requirements, "recursive", signals);
-  }
-  if (recursive.kind === "dynamic" || recursive.kind === "indeterminate") {
-    const recursiveSignals = [
-      recursive.signal,
-      ...recursive.kind === "dynamic" ? ["dynamic_shell_evaluation"] : []
-    ];
-    requirements.push(
-      processRequirement(recursive.interpreter, "spawn", commandRedacted, recursiveSignals),
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
-        ...recursiveSignals
-      ])
-    );
-    for (const signal of recursiveSignals) signals.add(signal);
-    return shellSegment(
-      commandRedacted,
-      head,
-      requirements,
-      joinEffectOpacity(opacity, "opaque"),
-      signals
-    );
-  }
-  const compose = decodeDockerComposeRun(decoderTokens);
-  if (compose.kind === "recursive" && opacity !== "opaque" && opacity !== "unparseable") {
-    requirements.push(
-      processRequirement(head, "spawn", commandRedacted, ["process.docker_compose_run"])
-    );
-    if (compose.script !== "") {
-      const nested = lowerTopLevelSegments(compose.script, {
-        ...context,
-        command: compose.script,
-        env,
-        depth: context.depth + 1
-      });
-      for (const nestedSegment of nested) {
-        requirements.push(
-          ...nestedSegment.requirements.map(
-            (entry) => withInnerProvenance(entry, compose.script, head, commandRedacted)
-          )
-        );
-        for (const signal of nestedSegment.signals) signals.add(signal);
-        opacity = joinNestedOpacity(opacity, nestedSegment);
-      }
-    }
-    signals.add("process.docker_compose_run");
-    return shellSegment(commandRedacted, head, requirements, "recursive", signals);
-  }
-  if (compose.kind === "dynamic" || compose.kind === "indeterminate") {
-    requirements.push(
-      processRequirement(head, "spawn", commandRedacted, ["process.docker_compose_run"]),
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
-        compose.signal
-      ])
-    );
-    signals.add("process.docker_compose_run");
-    signals.add(compose.signal);
-    return shellSegment(
-      commandRedacted,
-      head,
-      requirements,
-      joinEffectOpacity(opacity, "opaque"),
-      signals
-    );
-  }
-  const launcher = resolveLauncherRecipe({
-    tokens,
-    cwd: context.cwd,
-    repoRoot: context.repoRoot,
-    depth: context.depth
-  });
-  if (launcher) {
-    signals.add(`launcher.${launcher.reason}`);
-    requirements.push(
-      requirement2(
-        "process.exec",
-        "process.exec",
-        { kind: "executable", command: head, operation: "spawn" },
-        commandRedacted,
-        ["launcher.invoke"]
-      )
-    );
-    for (const recipe of launcher.recipes) {
-      const nested = lowerTopLevelSegments(recipe, {
-        ...context,
-        command: recipe,
-        env,
-        depth: context.depth + 1
-      });
-      for (const nestedSegment of nested) {
-        requirements.push(
-          ...nestedSegment.requirements.map(
-            (entry) => withInnerProvenance(entry, recipe, head, commandRedacted)
-          )
-        );
-        for (const signal of nestedSegment.signals) {
-          signals.add(signal);
-        }
-        opacity = joinNestedOpacity(opacity, nestedSegment);
-      }
-    }
-    if (launcher.opaque || launcher.recipes.length === 0) {
-      requirements.push(
-        requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
-          `launcher.${launcher.reason}`
-        ])
-      );
-      opacity = joinEffectOpacity(opacity, "opaque");
-    }
-    return shellSegment(commandRedacted, head, requirements, opacity, signals);
-  }
-  const egress = decodeEgressEffects({
-    tokens,
-    cwd: context.cwd,
-    segment: commandRedacted
-  });
-  if (egress) {
-    requirements.push(...egress);
-    for (const signal of egress.flatMap((entry) => entry.evidence.signals)) {
-      signals.add(signal);
-    }
-  } else {
-    const git = decodeGitEffects({
-      tokens,
-      cwd: context.cwd,
-      repoRoot: context.repoRoot,
-      segment: commandRedacted
-    });
-    if (git) {
-      requirements.push(...git);
-      for (const signal of git.flatMap((entry) => entry.evidence.signals)) {
-        signals.add(signal);
-      }
-    } else {
-      requirements.push(
-        ...decodeProcessOrFilesystem({
-          tokens,
-          head,
-          env,
-          cwd: context.cwd,
-          repoRoot: context.repoRoot,
-          segment: commandRedacted
-        })
-      );
-    }
-  }
-  const environmentSignals = effectChangingEnvironmentSignals(head, env, environment.changedNames);
-  if (environmentSignals.length > 0) {
-    requirements.push(
-      requirement2(
-        "indeterminate",
-        "indeterminate",
-        { kind: "unknown" },
-        commandRedacted,
-        environmentSignals
-      )
-    );
-    opacity = joinEffectOpacity(opacity, "opaque");
-    for (const signal of environmentSignals) {
-      signals.add(signal);
-    }
-  }
-  if (context.pipeToShellSegment) {
-    signals.add("pipe_to_shell");
-    ensureRequirement(
-      requirements,
-      requirement2(
-        "process.exec",
-        "process.exec",
-        { kind: "executable", command: head || "sh", operation: "spawn" },
-        commandRedacted,
-        ["pipe_to_shell"]
-      )
-    );
-    ensureRequirement(
-      requirements,
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
-        "pipe_to_shell"
-      ])
-    );
-    opacity = joinEffectOpacity(opacity, "opaque");
-  }
-  if (opacity === "unparseable" || opacity === "opaque") {
-    ensureRequirement(
-      requirements,
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
-        `shell.${opacity}`
-      ])
-    );
-  }
-  return shellSegment(commandRedacted, head, requirements, opacity, signals);
-}
-function decodePackageExec(peel, cwd, repoRoot, segment) {
-  if (peel.opaque) {
-    return [
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
-        peel.reason,
-        ...peel.signals
-      ])
-    ];
-  }
-  if (peel.reason === "npx_wrapper_readonly") {
-    return [];
-  }
-  const binHead = peel.innerTokens[0] ?? "";
-  const metadataOnly = packageExecInnerIsMetadata(peel);
-  const local = !peel.forceAcquire ? resolveLocalBin(binHead, cwd, repoRoot) : null;
-  if (local) {
-    return metadataOnly ? [
-      requirement2(
-        "process.exec",
-        "process.exec",
-        { kind: "executable", command: local.path, operation: "inspect" },
-        segment,
-        ["package_exec.delegate", "package_exec.local_bin_resolved"]
-      )
-    ] : [];
-  }
-  const networkResources = peel.acquisitionSpecs.map((spec) => classifyPackageAcquisitionSpec(spec)).filter((source) => source.kind !== "local").map(
-    (source) => source.kind === "registry" ? {
-      kind: "network",
-      host: "registry.npmjs.org",
-      protocol: "registry",
-      mode: "read",
-      payload: "none"
-    } : {
-      kind: "network",
-      host: source.host,
-      ...source.port ? { port: source.port } : {},
-      protocol: source.protocol,
-      mode: "read",
-      payload: "none"
-    }
+function withProvenances(requirementValue, provenance, contributing) {
+  const provenances = [
+    ...requirementValue.provenances ?? [requirementValue.provenance],
+    contributing,
+    provenance
+  ].filter(
+    (candidate, index, all) => all.findIndex((entry) => JSON.stringify(entry) === JSON.stringify(candidate)) === index
   );
-  if (networkResources.length === 0) {
-    networkResources.push({
-      kind: "network",
-      host: "registry.npmjs.org",
-      protocol: "registry",
-      mode: "read",
-      payload: "none"
-    });
-  }
-  return [
-    ...networkResources.map(
-      (resource) => requirement2("network.acquire", "network.connect", resource, segment, [
-        "package_acquire_possible"
-      ])
-    ),
-    requirement2(
-      "fs.write",
-      "fs.write",
-      { kind: "package-cache", manager: peel.launcher === "pnpm" ? "pnpm" : "npm" },
-      segment,
-      ["package_cache_write"]
-    ),
-    ...metadataOnly ? [
-      requirement2(
-        "process.exec",
-        "process.exec",
-        { kind: "executable", command: binHead || peel.launcher, operation: "inspect" },
-        segment,
-        ["package_exec.delegate"]
-      )
-    ] : []
-  ];
+  return { ...requirementValue, provenance, provenances };
 }
-function packageExecInnerIsMetadata(peel) {
-  const args = peel.innerTokens.slice(1);
-  return args.length > 0 && args.every((arg) => ["--help", "--version", "-V", "-h", "-v"].includes(arg));
+function withInnerProvenance(requirementValue, innerCommand, launcher, outerSegment) {
+  const provenance = {
+    ...requirementValue.provenance,
+    segment: outerSegment,
+    innerCommand: requirementValue.provenance.innerCommand ?? innerCommand,
+    ...launcher === "npm" || launcher === "pnpm" ? { launcher, phase: "delegate" } : {}
+  };
+  const launcherProvenance = {
+    segment: outerSegment,
+    innerCommand,
+    ...launcher === "npm" || launcher === "pnpm" ? { launcher, phase: "delegate" } : {}
+  };
+  return withProvenances(requirementValue, provenance, launcherProvenance);
 }
+
+// src/core/effect-ir/shell-lower/tokens.ts
+init_shell_tokenizer();
+import path42 from "node:path";
+var ENV_PREFIX_PATTERN2 = /^([A-Za-z_][A-Za-z0-9_]*)=(.*)$/;
+var LOOPBACK_HOSTS2 = /* @__PURE__ */ new Set(["127.0.0.1", "localhost", "::1", "0:0:0:0:0:0:0:1"]);
 var METADATA_ONLY_FLAGS = /* @__PURE__ */ new Set(["--version", "-v", "-V", "--help", "-h"]);
-function isMetadataOnlyArgv(argv) {
-  return argv.length > 0 && argv.every((token) => METADATA_ONLY_FLAGS.has(token));
-}
-function executableBaseName(head) {
-  return path41.basename(head);
-}
-var RAILS_READ_ONLY_SUBCOMMANDS = /* @__PURE__ */ new Set(["routes", "middleware", "stats", "about", "version"]);
-function railsReadOnlySubcommand(args) {
-  const subcommand = args[0];
-  if (!subcommand || subcommand.startsWith("-")) {
-    return false;
-  }
-  return RAILS_READ_ONLY_SUBCOMMANDS.has(subcommand);
-}
-function isRubyTestScript(scriptPath) {
-  const base = path41.basename(scriptPath);
-  return base.endsWith("_test.rb") || base.endsWith("_spec.rb");
-}
-function parseRubyTestInvocation(args) {
-  const includePaths = [];
-  for (let index = 0; index < args.length; index += 1) {
-    const arg = args[index] ?? "";
-    if (arg === "-e" || arg === "-r") {
-      return null;
-    }
-    if (arg === "-I") {
-      const includePath = args[index + 1];
-      if (!includePath) {
-        return null;
+function extractEnvironment(tokens, inherited) {
+  const env = { ...inherited };
+  const changedNames = /* @__PURE__ */ new Set();
+  if (tokens[0] === "env") {
+    let index = 1;
+    let malformed = false;
+    while (index < tokens.length) {
+      const option = tokens[index] ?? "";
+      if (option === "-u" || option === "--unset") {
+        const name = tokens[index + 1] ?? "";
+        if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(name)) {
+          malformed = true;
+          index += 1;
+          break;
+        }
+        delete env[name];
+        changedNames.add(name);
+        index += 2;
+        continue;
       }
-      includePaths.push(includePath);
-      index += 1;
-      continue;
-    }
-    if (arg.startsWith("-I") && arg.length > 2) {
-      includePaths.push(arg.slice(2));
-      continue;
-    }
-    if (arg.startsWith("-")) {
-      if (arg === "-n") {
-        if (!args[index + 1]) {
-          return null;
+      if (option.startsWith("--unset=")) {
+        const name = option.slice("--unset=".length);
+        if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(name)) {
+          malformed = true;
+          index += 1;
+          break;
         }
+        delete env[name];
+        changedNames.add(name);
         index += 1;
         continue;
       }
-      if (arg.startsWith("-n")) {
+      if (option === "-i" || option === "--ignore-environment") {
+        for (const name of Object.keys(env)) {
+          delete env[name];
+        }
+        changedNames.add("*");
+        index += 1;
         continue;
       }
-      return null;
+      if (option === "--") {
+        index += 1;
+        break;
+      }
+      if (option.startsWith("-")) {
+        malformed = true;
+        index += 1;
+        break;
+      }
+      break;
     }
-    if (isRubyTestScript(arg)) {
-      return { includePaths, scriptPath: arg };
+    while (index < tokens.length) {
+      const token = tokens[index] ?? "";
+      const match = ENV_PREFIX_PATTERN2.exec(token);
+      if (!match) {
+        break;
+      }
+      const [, name, value] = match;
+      if (name) {
+        env[name] = expandKnownVariables(value ?? "", env);
+        changedNames.add(name);
+      }
+      index += 1;
     }
-    return null;
-  }
-  return null;
-}
-function isRubocopMutating(args) {
-  return args.some(
-    (arg) => arg === "-A" || arg === "-a" || arg === "--auto-correct" || arg === "--autocorrect" || arg.startsWith("--auto-correct-all") || arg.startsWith("--autocorrect-all")
-  );
-}
-function decodeBundleExecInner(innerHead, innerArgs, segment) {
-  const innerBase = executableBaseName(innerHead);
-  if (innerBase === "rubocop") {
-    const mutating = isRubocopMutating(innerArgs);
-    return [
-      processRequirement(
-        innerHead,
-        mutating ? "spawn" : "inspect",
-        segment,
-        mutating ? ["process.linter.mutating"] : ["process.inspect.linter"]
-      )
-    ];
+    const commandTokens = tokens.slice(index);
+    return {
+      env,
+      commandTokens,
+      malformed: malformed || commandTokens.length === 0,
+      changedNames
+    };
   }
-  if (innerBase === "rspec") {
-    const targetArgs = innerArgs.filter((arg) => !arg.startsWith("-"));
-    if (targetArgs.length === 0) {
-      return null;
+  for (const token of tokens) {
+    const match = ENV_PREFIX_PATTERN2.exec(token);
+    if (!match) {
+      break;
+    }
+    const [, name, value] = match;
+    if (name) {
+      env[name] = expandKnownVariables(value ?? "", env);
+      changedNames.add(name);
     }
-    return [processRequirement(innerHead, "spawn", segment, ["process.test_runner.rspec"])];
   }
-  return null;
+  return { env, malformed: false, changedNames };
 }
-function decodeRuby(args, cwd, repoRoot, segment) {
-  const parsed = parseRubyTestInvocation(args);
-  if (!parsed) {
-    return unsupportedProcess("ruby", segment, "process.ruby_grammar_incomplete");
-  }
-  const scriptPath = resolvePathOperand(parsed.scriptPath, cwd);
-  if (!pathWithinRoot(canonicalPath(repoRoot), canonicalPath(scriptPath))) {
-    return unsupportedProcess("ruby", segment, "process.ruby_outside_repo");
-  }
-  for (const includePath of parsed.includePaths) {
-    const resolvedInclude = resolvePathOperand(includePath, cwd);
-    if (!pathWithinRoot(canonicalPath(repoRoot), canonicalPath(resolvedInclude))) {
-      return unsupportedProcess("ruby", segment, "process.ruby_outside_repo");
+function expandKnownVariables(token, env) {
+  return token.replace(
+    /\$(?:\{([A-Za-z_][A-Za-z0-9_]*)\}|([A-Za-z_][A-Za-z0-9_]*))/g,
+    (raw, a, b) => {
+      const value = env[a ?? b];
+      return value === void 0 ? raw : value;
     }
-  }
-  const lowered = [
-    processRequirement("ruby", "spawn", segment, ["process.test_runner.minitest"]),
-    requirement2("fs.read", "fs.read", { kind: "path", path: scriptPath }, segment, [
-      "ruby.minitest_script_read"
-    ])
-  ];
-  for (const includePath of parsed.includePaths) {
-    lowered.push(
-      requirement2(
-        "fs.read",
-        "fs.read",
-        { kind: "path", path: resolvePathOperand(includePath, cwd) },
-        segment,
-        ["ruby.minitest_load_path_read"]
-      )
-    );
-  }
-  return lowered;
+  );
 }
-function decodeRuntimeMetadataProcess(head, args, segment) {
-  if (head === "bundle") {
-    if (args.length === 1 && isMetadataOnlyArgv(args)) {
-      return [processRequirement(head, "inspect", segment, ["process.inspect.runtime_metadata"])];
+function stripRedirects(tokens) {
+  const stripped = [];
+  for (let index = 0; index < tokens.length; index += 1) {
+    const token = tokens[index] ?? "";
+    if (isFdDuplication(token)) {
+      continue;
     }
-    if (args[0] === "exec" && args.length >= 2) {
-      const innerHead = args[1] ?? "";
-      const innerArgs = args.slice(2);
-      const innerBase = executableBaseName(innerHead);
-      if ((innerBase === "rails" || innerBase === "rake") && railsReadOnlySubcommand(innerArgs)) {
-        return [
-          processRequirement(innerHead, "inspect", segment, ["process.inspect.rails_read_only"])
-        ];
-      }
-      if (isMetadataOnlyArgv(innerArgs)) {
-        return [
-          processRequirement(innerHead, "inspect", segment, [
-            "process.inspect.bundle_exec_metadata"
-          ])
-        ];
-      }
-      const bundleExecInner = decodeBundleExecInner(innerHead, innerArgs, segment);
-      if (bundleExecInner) {
-        return bundleExecInner;
-      }
+    if (!isRedirectOperator(token)) {
+      stripped.push(token);
+      continue;
     }
-    return null;
-  }
-  if ((head === "ruby" || head === "yarn") && args.length >= 1 && isMetadataOnlyArgv(args)) {
-    return [processRequirement(head, "inspect", segment, ["process.inspect.runtime_metadata"])];
-  }
-  if (head === "make" && args.includes("-n")) {
-    return [processRequirement(head, "inspect", segment, ["process.inspect.make_dry_run"])];
-  }
-  const base = executableBaseName(head);
-  if ((base === "rails" || base === "rake") && railsReadOnlySubcommand(args)) {
-    return [processRequirement(head, "inspect", segment, ["process.inspect.rails_read_only"])];
+    index += 1;
   }
-  return null;
+  return stripped;
 }
-function decodeSetBuiltin(args) {
-  let index = 0;
-  while (index < args.length) {
-    const arg = args[index] ?? "";
-    if (arg === "--") {
-      index += 1;
+function stripStructuredRedirects(tokens) {
+  const stripped = [];
+  for (let index = 0; index < tokens.length; index += 1) {
+    const token = tokens[index];
+    if (!token) continue;
+    if (isFdDuplication(token.value)) {
       continue;
     }
-    if (arg === "-o" || arg === "+o") {
-      if (!args[index + 1]) {
-        return false;
-      }
-      index += 2;
+    if (!isRedirectOperator(token.value)) {
+      stripped.push(token);
       continue;
     }
-    if (/^[-+][A-Za-z0-9]+$/.test(arg)) {
-      index += 1;
-      continue;
+    index += 1;
+  }
+  return stripped;
+}
+function alignStructuredTokens(tokens, values) {
+  if (values.length === 0) return [];
+  for (let start = tokens.length - values.length; start >= 0; start -= 1) {
+    const candidate = tokens.slice(start);
+    if (candidate.length === values.length && candidate.every((token, index) => token.value === values[index])) {
+      return candidate;
     }
-    return false;
   }
-  return true;
+  return [];
 }
-function decodeShellControlBuiltin(head, args) {
-  if (head === "set") {
-    return decodeSetBuiltin(args) ? [] : null;
+function resolvePathOperand(operand, cwd) {
+  if (operand === "~") {
+    return process.env.HOME ?? operand;
   }
-  if (head === "wait") {
-    if (args.length === 0 || args.every((arg) => /^\d+$/.test(arg))) {
-      return [];
-    }
+  if (operand.startsWith("~/")) {
+    return path42.join(process.env.HOME ?? "~", operand.slice(2));
+  }
+  return path42.resolve(cwd, operand);
+}
+function isOptionToken(value) {
+  return value.startsWith("-") || value.startsWith("+");
+}
+function isShellHead(head) {
+  return head === "bash" || head === "sh" || head === "zsh" || head === "dash" || head === "fish";
+}
+function pipeToShell(command) {
+  return /(?:^|[|;&]\s*)(?:bash|sh|zsh|dash|fish)(?:\s|$)/.test(command) && /\|/.test(command);
+}
+function executableBaseName(head) {
+  return path42.basename(head);
+}
+function isMetadataOnlyArgv(argv) {
+  return argv.length > 0 && argv.every((token) => METADATA_ONLY_FLAGS.has(token));
+}
+function databaseEndpoint(raw) {
+  if (!raw || raw.includes("$")) {
     return null;
   }
-  if (head === "exit") {
-    if (args.length === 0 || args.length === 1 && /^-?\d+$/.test(args[0] ?? "")) {
-      return [];
+  try {
+    const url = new URL(raw);
+    if (!url.hostname || !url.protocol) {
+      return null;
     }
+    return {
+      host: url.hostname.toLowerCase(),
+      protocol: url.protocol.slice(0, -1),
+      ...url.port ? { port: Number(url.port) } : {}
+    };
+  } catch {
     return null;
   }
-  return null;
-}
-function decodeDockerComposeRun2(head, args, segment) {
-  let composeArgs = null;
-  let command = head;
-  if (head === "docker-compose") {
-    composeArgs = args;
-  } else if (head === "docker" && args[0] === "compose") {
-    composeArgs = args.slice(1);
-    command = "docker";
-  }
-  if (!composeArgs) {
-    return null;
-  }
-  if (composeArgs.includes("run")) {
-    return [processRequirement(command, "spawn", segment, ["process.docker_compose_run"])];
-  }
-  return unsupportedProcess(command, segment, "process.docker_compose_grammar_incomplete");
 }
-function decodeProcessOrFilesystem(params) {
-  const { tokens, head, env, cwd, repoRoot, segment } = params;
-  const args = tokens.slice(1);
-  if (tokens.length > 0 && tokens.every((token) => ENV_PREFIX_PATTERN2.test(token))) {
-    return [];
-  }
-  const shellControl = decodeShellControlBuiltin(head, args);
-  if (shellControl) {
-    return shellControl;
-  }
-  if (isCommandInspection(tokens)) {
-    return [processRequirement(head, "inspect", segment, ["process.inspect.command_lookup"])];
-  }
-  if (head === "lsof") {
-    return validLsof(args) ? [processRequirement(head, "inspect", segment, ["process.inspect.lsof"])] : unsupportedProcess(head, segment, "process.lsof_grammar_incomplete");
-  }
-  if (head === "ps") {
-    return validPs(args) ? [processRequirement(head, "inspect", segment, ["process.inspect.ps"])] : unsupportedProcess(head, segment, "process.ps_grammar_incomplete");
-  }
-  if (head === "test" || head === "[") {
-    return validFilesystemTest(head, args) ? [processRequirement(head, "inspect", segment, ["process.inspect.filesystem_test"])] : unsupportedProcess(head, segment, "process.filesystem_test_grammar_incomplete");
-  }
-  if (head === "docker") {
-    if (args[0] === "info") {
-      return validDockerInfo(args.slice(1)) ? [processRequirement(head, "inspect", segment, ["process.inspect.docker_info"])] : unsupportedProcess(head, segment, "process.docker_info_grammar_incomplete");
+
+// src/core/effect-ir/shell-lower/augment.ts
+function addRedirectEffects(requirements, tokens, env, context, segment) {
+  for (let index = 0; index < tokens.length; index += 1) {
+    const operator = tokens[index] ?? "";
+    if (!isRedirectOperator(operator) || isFdDuplication(operator)) {
+      continue;
     }
-    if (args[0] === "compose" && ["up", "down", "start", "stop", "restart", "create", "rm"].includes(args[1] ?? "")) {
-      return [processRequirement(head, "spawn", segment, ["service.local_mutation"])];
+    const rawTarget = tokens[index + 1];
+    if (!rawTarget) {
+      requirements.push(
+        requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
+          "shell.redirect_target_missing"
+        ])
+      );
+      continue;
     }
-    if (args[0] === "push" || args[0] === "build" && args.includes("--push") || args[0] === "buildx" && args[1] === "build" && (args.includes("--push") || args.some(
-      (arg) => arg.startsWith("--output=type=registry") || arg.startsWith("-o=type=registry")
-    ))) {
-      return [
-        processRequirement(head, "spawn", segment, ["tier0_external", "docker.remote_mutation"]),
-        requirement2(
-          "network.connect",
-          "network.connect",
-          {
-            kind: "network",
-            host: "registry",
-            protocol: "container-registry",
-            mode: "mutate",
-            payload: "present"
-          },
-          segment,
-          ["tier0_external", "docker.remote_mutation"]
-        )
-      ];
+    if (operator.includes("<<")) {
+      requirements.push(
+        requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
+          "shell.heredoc_opaque"
+        ])
+      );
+      index += 1;
+      continue;
     }
-    if (args[0] === "run" || args[0] === "create" || args[0] === "pull" || args[0] === "build" || args[0] === "buildx" && args[1] === "build") {
-      return [
-        processRequirement(head, "spawn", segment, ["process.docker_spawn"]),
-        requirement2(
-          "network.acquire",
-          "network.connect",
-          {
-            kind: "network",
-            host: "unknown",
-            protocol: "container-registry",
-            mode: "ambiguous",
-            payload: "none"
-          },
-          segment,
-          ["docker.image_acquisition_possible"]
-        )
-      ];
+    const target = expandKnownVariables(rawTarget, env);
+    const resolved = resolvePathOperand(target, context.cwd);
+    if (resolved === "/dev/null") {
+      index += 1;
+      continue;
     }
-    return [processRequirement(head, "spawn", segment, ["process.docker_spawn"])];
-  }
-  if (isShellHead(head)) {
-    const syntax = bashSyntaxTarget(args);
-    if (syntax) {
-      return [
-        processRequirement(head, "inspect", segment, ["process.inspect.shell_syntax"]),
-        requirement2(
-          "fs.read",
-          "fs.read",
-          { kind: "path", path: path41.resolve(cwd, syntax) },
-          segment,
-          ["shell.syntax_source_read"]
-        )
-      ];
+    if (operator.includes("<")) {
+      requirements.push(
+        requirement2("fs.read", "fs.read", { kind: "path", path: resolved }, segment, [
+          "shell.input_redirect"
+        ])
+      );
+      addSecretRead(requirements, resolved, segment);
     }
-    return unsupportedProcess(head, segment, "process.shell_grammar_incomplete");
-  }
-  if (head === "prisma") {
-    return decodePrisma(args, env, repoRoot, segment);
-  }
-  const runtimeMetadata = decodeRuntimeMetadataProcess(head, args, segment);
-  if (runtimeMetadata) {
-    return runtimeMetadata;
-  }
-  if (head === "ruby") {
-    return decodeRuby(args, cwd, repoRoot, segment);
-  }
-  if (head === "rubocop" || head === "rspec") {
-    const decoded = decodeBundleExecInner(head, args, segment);
-    if (decoded) {
-      return decoded;
+    if (operator.includes(">")) {
+      addWriteEffects(requirements, resolved, segment, ["shell.output_redirect"]);
     }
+    index += 1;
   }
-  const dockerCompose = decodeDockerComposeRun2(head, args, segment);
-  if (dockerCompose) {
-    return dockerCompose;
-  }
-  if ((head === "npm" || head === "pnpm") && args.length === 1 && isMetadataOnlyArgv(args)) {
-    return [processRequirement(head, "inspect", segment, ["process.inspect.package_manager"])];
-  }
-  if (head === "belay") {
-    return decodeBelay(args, repoRoot, segment);
-  }
-  if (head === "tsc") {
-    return decodeTsc(args, cwd, segment);
-  }
-  if (head === "go") {
-    return decodeGo(args, segment);
-  }
-  if (head === "rsync") {
-    return decodeRsync(args, cwd, segment);
-  }
-  if (head === "sed") {
-    return decodeSed(args, cwd, segment);
-  }
-  if (head === "base64" && args.length === 1 && ["-d", "-D", "--decode"].includes(args[0] ?? "")) {
-    return [processRequirement(head, "inspect", segment, ["process.inspect.base64_stdin"])];
-  }
-  if (head === "node") {
-    return decodeNode2(args, cwd, segment);
-  }
-  if (head === "vite" || head === "vite-node") {
-    return [processRequirement(head, "spawn", segment, ["process.local_dev_spawn"])];
+}
+function effectChangingEnvironmentSignals(head, env, changedNames) {
+  if (head === "curl" && (env.CURL_HOME || changedNames.has("CURL_HOME") || changedNames.has("HOME") || changedNames.has("XDG_CONFIG_HOME"))) {
+    return ["egress.curl.environment_config_override"];
   }
-  if ((head === "npm" || head === "pnpm") && args[0] === "publish" || head === "terraform" && args[0] === "apply") {
-    return [
-      processRequirement(head, "spawn", segment, ["tier0_external"]),
-      requirement2(
-        "network.connect",
-        "network.connect",
-        {
-          kind: "network",
-          host: "control-plane",
-          protocol: head,
-          mode: "mutate",
-          payload: "present"
-        },
-        segment,
-        ["tier0_external"]
-      )
-    ];
+  if (head === "wget" && (env.WGETRC || changedNames.has("WGETRC") || changedNames.has("HOME"))) {
+    return ["egress.wget.environment_config_override"];
   }
-  if (head === "cd") {
+  if (head !== "git") {
     return [];
   }
-  if (head === "cp" || head === "mv") {
-    return decodeCopyMove(head, args, cwd, segment);
-  }
-  if (head === "rm") {
-    return decodeRm(args, cwd, repoRoot, segment);
-  }
-  if (head === "vitest" || head === "eslint" || head === "biome" || head === "belay") {
-    return [processRequirement(head, "spawn", segment, ["process.known_local_spawn"])];
-  }
-  if (head === "pwd" || head === "which" || head === "whoami") {
-    return [processRequirement(head, "inspect", segment, ["process.pure_inspection"])];
-  }
-  const readOperands = filesystemReadOperands(head, args);
-  if (readOperands !== null) {
-    const lowered = [processRequirement(head, "inspect", segment, ["process.filesystem_inspect"])];
-    for (const operand of readOperands) {
-      const resolved = resolvePathOperand(operand, cwd);
-      lowered.push(
-        requirement2("fs.read", "fs.read", { kind: "path", path: resolved }, segment, [
-          "filesystem.read"
-        ])
-      );
-      addSecretRead(lowered, resolved, segment);
+  const hazardousNames = /* @__PURE__ */ new Set([
+    "GIT_ASKPASS",
+    "GIT_ALTERNATE_OBJECT_DIRECTORIES",
+    "GIT_CEILING_DIRECTORIES",
+    "GIT_COMMON_DIR",
+    "GIT_CONFIG",
+    "GIT_CONFIG_GLOBAL",
+    "GIT_CONFIG_SYSTEM",
+    "GIT_DIR",
+    "GIT_DISCOVERY_ACROSS_FILESYSTEM",
+    "GIT_EDITOR",
+    "GIT_EXEC_PATH",
+    "GIT_EXTERNAL_DIFF",
+    "GIT_INDEX_FILE",
+    "GIT_NAMESPACE",
+    "GIT_OBJECT_DIRECTORY",
+    "GIT_PAGER",
+    "GIT_PROXY_COMMAND",
+    "GIT_QUARANTINE_PATH",
+    "GIT_SEQUENCE_EDITOR",
+    "GIT_SHALLOW_FILE",
+    "GIT_SSH",
+    "GIT_SSH_COMMAND",
+    "GIT_TEMPLATE_DIR",
+    "GIT_WORK_TREE",
+    "SSH_ASKPASS"
+  ]);
+  const overridden = changedNames.has("HOME") || changedNames.has("XDG_CONFIG_HOME") || Object.entries(env).some(([name, value]) => {
+    if (!value) {
+      return false;
     }
-    return lowered;
-  }
-  const writeOperands = filesystemWriteOperands(head, args);
-  if (writeOperands !== null) {
-    const lowered = [processRequirement(head, "spawn", segment, ["process.filesystem_mutation"])];
-    for (const operand of writeOperands) {
-      addWriteEffects(lowered, resolvePathOperand(operand, cwd), segment, ["filesystem.write"]);
+    if (hazardousNames.has(name) || /^GIT_CONFIG_(?:KEY|VALUE)_\d+$/.test(name) || /^GIT_TRACE/.test(name)) {
+      return true;
     }
-    return lowered;
-  }
-  if (head === "printf" || head === "echo" || head === "true" || head === "false" || head === ":") {
-    return [];
-  }
-  if (!head) {
-    return [
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
-        "shell.segment_empty"
-      ])
-    ];
-  }
-  return unsupportedProcess(head, segment, "process.grammar_unknown");
+    return name === "GIT_CONFIG_COUNT" && value !== "0";
+  });
+  return overridden ? ["git.environment_execution_or_config_override"] : [];
 }
+
+// src/core/effect-ir/shell-lower/decode-process.ts
+import path46 from "node:path";
+
+// src/core/effect-ir/shell-lower/decoders/belay.ts
+import path43 from "node:path";
 function decodeBelay(args, repoRoot, segment) {
   const [section, operation, key] = args;
   const judgeCommand = section === "judge" && operation !== void 0 && ["consent", "list", "status", "test", "use"].includes(operation);
@@ -15480,7 +15043,7 @@ function decodeBelay(args, repoRoot, segment) {
       requirement2(
         "control_plane.write",
         "control_plane.write",
-        { kind: "path", path: path41.join(repoRoot, ".belay-control-plane") },
+        { kind: "path", path: path43.join(repoRoot, ".belay-control-plane") },
         segment,
         ["belay.config_non_judge_mutation"]
       )
@@ -15488,33 +15051,240 @@ function decodeBelay(args, repoRoot, segment) {
   }
   return [processRequirement("belay", "spawn", segment, ["process.known_local_spawn"])];
 }
-function decodeTsc(args, cwd, segment) {
-  const metadataOnly = args.length > 0 && args.every((arg) => ["--help", "--version", "-h", "-v"].includes(arg));
-  const requirements = [];
-  let hasOutput = false;
+
+// src/core/effect-ir/shell-lower/decoders/builtins.ts
+function decodeSetBuiltin(args) {
+  let index = 0;
+  while (index < args.length) {
+    const arg = args[index] ?? "";
+    if (arg === "--") {
+      index += 1;
+      continue;
+    }
+    if (arg === "-o" || arg === "+o") {
+      if (!args[index + 1]) {
+        return false;
+      }
+      index += 2;
+      continue;
+    }
+    if (/^[-+][A-Za-z0-9]+$/.test(arg)) {
+      index += 1;
+      continue;
+    }
+    return false;
+  }
+  return true;
+}
+function decodeShellControlBuiltin(head, args) {
+  if (head === "set") {
+    return decodeSetBuiltin(args) ? [] : null;
+  }
+  if (head === "wait") {
+    if (args.length === 0 || args.every((arg) => /^\d+$/.test(arg))) {
+      return [];
+    }
+    return null;
+  }
+  if (head === "exit") {
+    if (args.length === 0 || args.length === 1 && /^-?\d+$/.test(args[0] ?? "")) {
+      return [];
+    }
+    return null;
+  }
+  return null;
+}
+function validLsof(args) {
+  const flagsWithoutValues = /* @__PURE__ */ new Set(["-a", "-b", "-l", "-n", "-P", "-R", "-t", "-V"]);
+  const flagsWithValues = /* @__PURE__ */ new Set(["-c", "-d", "-F", "-g", "-p", "-T", "-u", "+d", "+D"]);
   for (let index = 0; index < args.length; index += 1) {
     const arg = args[index] ?? "";
-    const inline = arg.match(/^--(?:outDir|outFile)=(.+)$/)?.[1];
-    const separate = (arg === "--outDir" || arg === "--outFile") && args[index + 1] ? args[index + 1] : null;
-    const output = inline ?? separate;
-    if (!output) {
+    if (flagsWithoutValues.has(arg) || arg === "-i") {
+      continue;
+    }
+    if (flagsWithValues.has(arg)) {
+      if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
+        return false;
+      }
+      index += 1;
+      continue;
+    }
+    if (/^-[ablnPRtV]+$/.test(arg) && [...arg.slice(1)].every((flag) => "ablnPRtV".includes(flag)) || /^-i(?:TCP|UDP)?(?::\d+(?:-\d+)?)?$/.test(arg) || /^-s(?:TCP|UDP):[A-Za-z]+$/.test(arg) || /^-(?:c|d|F|g|p|T|u).+$/.test(arg) || /^\+(?:d|D).+$/.test(arg)) {
+      continue;
+    }
+    return false;
+  }
+  return true;
+}
+function validPs(args) {
+  const bareForms = /* @__PURE__ */ new Set(["aux", "ax", "x", "u"]);
+  const flagsWithoutValues = /* @__PURE__ */ new Set(["-A", "-a", "-d", "-e", "-f", "-j", "-l", "-T", "-x"]);
+  const flagsWithValues = /* @__PURE__ */ new Set([
+    "--format",
+    "--group",
+    "--pid",
+    "--ppid",
+    "--sort",
+    "--tty",
+    "--user"
+  ]);
+  for (let index = 0; index < args.length; index += 1) {
+    const arg = args[index] ?? "";
+    if (bareForms.has(arg) || flagsWithoutValues.has(arg)) {
+      continue;
+    }
+    if (flagsWithValues.has(arg)) {
+      if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
+        return false;
+      }
+      index += 1;
+      continue;
+    }
+    if (/^(?:--format|--group|--pid|--ppid|--sort|--tty|--user)=.+$/.test(arg)) {
+      continue;
+    }
+    if (/^-[^-]/.test(arg)) {
+      const noValue = /* @__PURE__ */ new Set(["A", "a", "d", "e", "f", "j", "l", "T", "x"]);
+      const withValue = /* @__PURE__ */ new Set(["G", "g", "N", "o", "p", "t", "U", "u"]);
+      const characters = arg.slice(1);
+      let valid = true;
+      for (let optionIndex = 0; optionIndex < characters.length; optionIndex += 1) {
+        const option = characters[optionIndex] ?? "";
+        if (noValue.has(option)) {
+          continue;
+        }
+        if (withValue.has(option)) {
+          if (optionIndex === characters.length - 1) {
+            if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
+              return false;
+            }
+            index += 1;
+          }
+          break;
+        }
+        valid = false;
+        break;
+      }
+      if (valid) {
+        continue;
+      }
+    }
+    return false;
+  }
+  return true;
+}
+function validFilesystemTest(head, args) {
+  const operands = head === "[" && args.at(-1) === "]" ? args.slice(0, -1) : args;
+  if (head === "[" && args.at(-1) !== "]") {
+    return false;
+  }
+  return operands.length === 2 && (/* @__PURE__ */ new Set(["-b", "-c", "-d", "-e", "-f", "-h", "-L", "-r", "-s", "-w", "-x"])).has(
+    operands[0] ?? ""
+  ) && Boolean(operands[1]);
+}
+function bashSyntaxTarget(args) {
+  let syntaxOnly = false;
+  let script = null;
+  const shortFlags = new Set("abefhkmnptuvxBCEHPT".split(""));
+  const longFlags = /* @__PURE__ */ new Set([
+    "--debugger",
+    "--dump-po-strings",
+    "--dump-strings",
+    "--help",
+    "--login",
+    "--noediting",
+    "--noprofile",
+    "--norc",
+    "--posix",
+    "--restricted",
+    "--verbose",
+    "--version"
+  ]);
+  for (let index = 0; index < args.length; index += 1) {
+    const arg = args[index] ?? "";
+    if (arg === "-c" || arg === "-lc") {
+      return null;
+    }
+    if (arg === "-O" || arg === "+O" || arg === "--rcfile" || arg === "--init-file") {
+      if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
+        return null;
+      }
+      index += 1;
+      continue;
+    }
+    if (arg.startsWith("-O") && arg.length > 2 || arg.startsWith("+O") && arg.length > 2 || arg.startsWith("--rcfile=") && arg.length > "--rcfile=".length || arg.startsWith("--init-file=") && arg.length > "--init-file=".length) {
+      continue;
+    }
+    if (longFlags.has(arg)) {
+      continue;
+    }
+    if (/^[+-][A-Za-z]+$/.test(arg)) {
+      const options = arg.slice(1);
+      if ([...options].some((option) => !shortFlags.has(option))) {
+        return null;
+      }
+      syntaxOnly ||= options.includes("n");
+      continue;
+    }
+    if (arg === "--") {
+      script = args[index + 1] ?? null;
+      break;
+    }
+    if (arg.startsWith("-") || arg.startsWith("+")) {
+      return null;
+    }
+    script = arg;
+    break;
+  }
+  return syntaxOnly ? script : null;
+}
+
+// src/core/effect-ir/shell-lower/decoders/docker.ts
+function decodeDockerComposeRun2(head, args, segment) {
+  let composeArgs = null;
+  let command = head;
+  if (head === "docker-compose") {
+    composeArgs = args;
+  } else if (head === "docker" && args[0] === "compose") {
+    composeArgs = args.slice(1);
+    command = "docker";
+  }
+  if (!composeArgs) {
+    return null;
+  }
+  if (composeArgs.includes("run")) {
+    return [processRequirement(command, "spawn", segment, ["process.docker_compose_run"])];
+  }
+  return unsupportedProcess(command, segment, "process.docker_compose_grammar_incomplete");
+}
+function validDockerInfo(args) {
+  for (let index = 0; index < args.length; index += 1) {
+    const arg = args[index] ?? "";
+    if (arg === "--help") {
       continue;
     }
-    hasOutput = true;
-    addWriteEffects(requirements, resolvePathOperand(output, cwd), segment, ["tsc.output"]);
-    if (separate) {
+    if (arg === "--format" || arg === "-f") {
+      if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
+        return false;
+      }
       index += 1;
+      continue;
     }
+    if (arg.startsWith("--format=")) {
+      if (arg.slice("--format=".length).length === 0) {
+        return false;
+      }
+      continue;
+    }
+    return false;
   }
-  const typecheckOnly = args.includes("--noEmit") && !hasOutput;
-  const inspect = metadataOnly || typecheckOnly;
-  requirements.unshift(
-    processRequirement("tsc", inspect ? "inspect" : "spawn", segment, [
-      metadataOnly ? "process.inspect.tsc_metadata" : typecheckOnly ? "process.inspect.tsc_typecheck" : "process.known_local_spawn"
-    ])
-  );
-  return requirements;
+  return true;
 }
+
+// src/core/effect-ir/shell-lower/decoders/filesystem.ts
+init_git_resource_identity();
+import { lstatSync as lstatSync2, realpathSync as realpathSync4 } from "node:fs";
+import path44 from "node:path";
 function decodeCopyMove(head, args, cwd, segment) {
   const requirements = [processRequirement(head, "spawn", segment, ["process.filesystem_mutation"])];
   const operands = [];
@@ -15637,28 +15407,349 @@ function decodeRm(args, cwd, repoRoot, segment) {
       );
     }
   }
-  return requirements;
+  return requirements;
+}
+function canonicalRmOperand(targetPath, finalOperandIsSymlink) {
+  try {
+    if (finalOperandIsSymlink) {
+      return path44.join(realpathSync4.native(path44.dirname(targetPath)), path44.basename(targetPath));
+    }
+    return realpathSync4.native(targetPath);
+  } catch {
+    return path44.resolve(targetPath);
+  }
+}
+function isSymbolicLink(targetPath) {
+  try {
+    return lstatSync2(targetPath).isSymbolicLink();
+  } catch {
+    return false;
+  }
+}
+function pathContains(ancestor, candidate) {
+  const relative = path44.relative(path44.resolve(ancestor), path44.resolve(candidate));
+  return relative === "" || !relative.startsWith("..") && !path44.isAbsolute(relative);
+}
+function filesystemReadOperands(head, args) {
+  switch (head) {
+    case "ls": {
+      const operands = args.filter((arg) => arg && !arg.startsWith("-"));
+      return operands.length > 0 ? operands : ["."];
+    }
+    case "find":
+      return findReadOperands(args);
+    case "cat":
+    case "head":
+    case "tail":
+    case "less":
+    case "stat":
+    case "file":
+    case "du":
+    case "wc":
+      return args.filter((arg) => arg && !arg.startsWith("-"));
+    case "grep":
+    case "rg":
+      return args.slice(1).filter((arg) => arg && !arg.startsWith("-"));
+    case "jq":
+      return args.slice(1).filter((arg) => arg && !arg.startsWith("-"));
+    default:
+      return null;
+  }
+}
+function findReadOperands(args) {
+  const mutatingPrimaries = /* @__PURE__ */ new Set([
+    "-delete",
+    "-exec",
+    "-execdir",
+    "-fls",
+    "-fprint",
+    "-fprintf",
+    "-ok",
+    "-okdir"
+  ]);
+  if (args.some(
+    (arg) => mutatingPrimaries.has(arg) || [...mutatingPrimaries].some((primary) => arg.startsWith(`${primary}=`))
+  )) {
+    return null;
+  }
+  const paths = [];
+  for (const arg of args) {
+    if (arg.startsWith("-") || arg === "!" || arg === "(") {
+      break;
+    }
+    paths.push(arg);
+  }
+  return paths.length > 0 ? paths : ["."];
+}
+function filesystemWriteOperands(head, args) {
+  const positional = args.filter((arg) => arg && !arg.startsWith("-"));
+  switch (head) {
+    case "touch":
+    case "mkdir":
+    case "rm":
+    case "truncate":
+    case "chmod":
+      return positional;
+    case "cp":
+    case "mv":
+      return positional.length > 0 ? [positional[positional.length - 1] ?? ""] : [];
+    case "tee":
+      return positional;
+    default:
+      return null;
+  }
+}
+
+// src/core/effect-ir/shell-lower/decoders/prisma.ts
+function decodePrisma(args, env, repoRoot, segment) {
+  const processEffect = processRequirement("prisma", "spawn", segment, ["process.prisma"]);
+  if (args[0] === "generate") {
+    return [
+      processEffect,
+      requirement2("fs.write", "fs.write", { kind: "path", path: repoRoot }, segment, [
+        "prisma.generate.repo_local"
+      ])
+    ];
+  }
+  const databaseMutation = args[0] === "migrate" || args[0] === "db" && args[1] === "seed" || args[0] === "seed";
+  if (!databaseMutation) {
+    return [
+      processEffect,
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
+        "prisma.grammar_incomplete"
+      ])
+    ];
+  }
+  const endpoint = databaseEndpoint(env.DATABASE_URL);
+  if (!endpoint) {
+    return [
+      processEffect,
+      requirement2(
+        "network.connect",
+        "network.connect",
+        {
+          kind: "network",
+          host: "unknown",
+          protocol: "database",
+          mode: "ambiguous",
+          payload: "present"
+        },
+        segment,
+        ["prisma.database_endpoint_unknown"]
+      ),
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
+        "prisma.database_endpoint_unknown"
+      ])
+    ];
+  }
+  const network = requirement2(
+    "network.connect",
+    "network.connect",
+    {
+      kind: "network",
+      ...endpoint,
+      mode: "mutate",
+      payload: "present"
+    },
+    segment,
+    [LOOPBACK_HOSTS2.has(endpoint.host) ? "prisma.database_local" : "prisma.database_remote"]
+  );
+  if (LOOPBACK_HOSTS2.has(endpoint.host)) {
+    return [processEffect, network];
+  }
+  return [
+    processEffect,
+    network,
+    requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
+      "prisma.remote_database_mutation"
+    ])
+  ];
+}
+
+// src/core/effect-ir/shell-lower/decoders/ruby.ts
+init_path_utils();
+import path45 from "node:path";
+var RAILS_READ_ONLY_SUBCOMMANDS = /* @__PURE__ */ new Set(["routes", "middleware", "stats", "about", "version"]);
+function railsReadOnlySubcommand(args) {
+  const subcommand = args[0];
+  if (!subcommand || subcommand.startsWith("-")) {
+    return false;
+  }
+  return RAILS_READ_ONLY_SUBCOMMANDS.has(subcommand);
+}
+function isRubyTestScript(scriptPath) {
+  const base = path45.basename(scriptPath);
+  return base.endsWith("_test.rb") || base.endsWith("_spec.rb");
+}
+function parseRubyTestInvocation(args) {
+  const includePaths = [];
+  for (let index = 0; index < args.length; index += 1) {
+    const arg = args[index] ?? "";
+    if (arg === "-e" || arg === "-r") {
+      return null;
+    }
+    if (arg === "-I") {
+      const includePath = args[index + 1];
+      if (!includePath) {
+        return null;
+      }
+      includePaths.push(includePath);
+      index += 1;
+      continue;
+    }
+    if (arg.startsWith("-I") && arg.length > 2) {
+      includePaths.push(arg.slice(2));
+      continue;
+    }
+    if (arg.startsWith("-")) {
+      if (arg === "-n") {
+        if (!args[index + 1]) {
+          return null;
+        }
+        index += 1;
+        continue;
+      }
+      if (arg.startsWith("-n")) {
+        continue;
+      }
+      return null;
+    }
+    if (isRubyTestScript(arg)) {
+      return { includePaths, scriptPath: arg };
+    }
+    return null;
+  }
+  return null;
+}
+function isRubocopMutating(args) {
+  return args.some(
+    (arg) => arg === "-A" || arg === "-a" || arg === "--auto-correct" || arg === "--autocorrect" || arg.startsWith("--auto-correct-all") || arg.startsWith("--autocorrect-all")
+  );
+}
+function decodeBundleExecInner(innerHead, innerArgs, segment) {
+  const innerBase = executableBaseName(innerHead);
+  if (innerBase === "rubocop") {
+    const mutating = isRubocopMutating(innerArgs);
+    return [
+      processRequirement(
+        innerHead,
+        mutating ? "spawn" : "inspect",
+        segment,
+        mutating ? ["process.linter.mutating"] : ["process.inspect.linter"]
+      )
+    ];
+  }
+  if (innerBase === "rspec") {
+    const targetArgs = innerArgs.filter((arg) => !arg.startsWith("-"));
+    if (targetArgs.length === 0) {
+      return null;
+    }
+    return [processRequirement(innerHead, "spawn", segment, ["process.test_runner.rspec"])];
+  }
+  return null;
 }
-function canonicalRmOperand(targetPath, finalOperandIsSymlink) {
-  try {
-    if (finalOperandIsSymlink) {
-      return path41.join(realpathSync4.native(path41.dirname(targetPath)), path41.basename(targetPath));
+function decodeRuby(args, cwd, repoRoot, segment) {
+  const parsed = parseRubyTestInvocation(args);
+  if (!parsed) {
+    return unsupportedProcess("ruby", segment, "process.ruby_grammar_incomplete");
+  }
+  const scriptPath = resolvePathOperand(parsed.scriptPath, cwd);
+  if (!pathWithinRoot(canonicalPath(repoRoot), canonicalPath(scriptPath))) {
+    return unsupportedProcess("ruby", segment, "process.ruby_outside_repo");
+  }
+  for (const includePath of parsed.includePaths) {
+    const resolvedInclude = resolvePathOperand(includePath, cwd);
+    if (!pathWithinRoot(canonicalPath(repoRoot), canonicalPath(resolvedInclude))) {
+      return unsupportedProcess("ruby", segment, "process.ruby_outside_repo");
     }
-    return realpathSync4.native(targetPath);
-  } catch {
-    return path41.resolve(targetPath);
   }
+  const lowered = [
+    processRequirement("ruby", "spawn", segment, ["process.test_runner.minitest"]),
+    requirement2("fs.read", "fs.read", { kind: "path", path: scriptPath }, segment, [
+      "ruby.minitest_script_read"
+    ])
+  ];
+  for (const includePath of parsed.includePaths) {
+    lowered.push(
+      requirement2(
+        "fs.read",
+        "fs.read",
+        { kind: "path", path: resolvePathOperand(includePath, cwd) },
+        segment,
+        ["ruby.minitest_load_path_read"]
+      )
+    );
+  }
+  return lowered;
 }
-function isSymbolicLink(targetPath) {
-  try {
-    return lstatSync2(targetPath).isSymbolicLink();
-  } catch {
-    return false;
+function decodeRuntimeMetadataProcess(head, args, segment) {
+  if (head === "bundle") {
+    if (args.length === 1 && isMetadataOnlyArgv(args)) {
+      return [processRequirement(head, "inspect", segment, ["process.inspect.runtime_metadata"])];
+    }
+    if (args[0] === "exec" && args.length >= 2) {
+      const innerHead = args[1] ?? "";
+      const innerArgs = args.slice(2);
+      const innerBase = executableBaseName(innerHead);
+      if ((innerBase === "rails" || innerBase === "rake") && railsReadOnlySubcommand(innerArgs)) {
+        return [
+          processRequirement(innerHead, "inspect", segment, ["process.inspect.rails_read_only"])
+        ];
+      }
+      if (isMetadataOnlyArgv(innerArgs)) {
+        return [
+          processRequirement(innerHead, "inspect", segment, [
+            "process.inspect.bundle_exec_metadata"
+          ])
+        ];
+      }
+      const bundleExecInner = decodeBundleExecInner(innerHead, innerArgs, segment);
+      if (bundleExecInner) {
+        return bundleExecInner;
+      }
+    }
+    return null;
+  }
+  if ((head === "ruby" || head === "yarn") && args.length >= 1 && isMetadataOnlyArgv(args)) {
+    return [processRequirement(head, "inspect", segment, ["process.inspect.runtime_metadata"])];
+  }
+  if (head === "make" && args.includes("-n")) {
+    return [processRequirement(head, "inspect", segment, ["process.inspect.make_dry_run"])];
   }
+  const base = executableBaseName(head);
+  if ((base === "rails" || base === "rake") && railsReadOnlySubcommand(args)) {
+    return [processRequirement(head, "inspect", segment, ["process.inspect.rails_read_only"])];
+  }
+  return null;
 }
-function pathContains(ancestor, candidate) {
-  const relative = path41.relative(path41.resolve(ancestor), path41.resolve(candidate));
-  return relative === "" || !relative.startsWith("..") && !path41.isAbsolute(relative);
+
+// src/core/effect-ir/shell-lower/decoders/toolchain.ts
+function decodeTsc(args, cwd, segment) {
+  const metadataOnly = args.length > 0 && args.every((arg) => ["--help", "--version", "-h", "-v"].includes(arg));
+  const requirements = [];
+  let hasOutput = false;
+  for (let index = 0; index < args.length; index += 1) {
+    const arg = args[index] ?? "";
+    const inline = arg.match(/^--(?:outDir|outFile)=(.+)$/)?.[1];
+    const separate = (arg === "--outDir" || arg === "--outFile") && args[index + 1] ? args[index + 1] : null;
+    const output = inline ?? separate;
+    if (!output) {
+      continue;
+    }
+    hasOutput = true;
+    addWriteEffects(requirements, resolvePathOperand(output, cwd), segment, ["tsc.output"]);
+    if (separate) {
+      index += 1;
+    }
+  }
+  const typecheckOnly = args.includes("--noEmit") && !hasOutput;
+  const inspect = metadataOnly || typecheckOnly;
+  requirements.unshift(
+    processRequirement("tsc", inspect ? "inspect" : "spawn", segment, [
+      metadataOnly ? "process.inspect.tsc_metadata" : typecheckOnly ? "process.inspect.tsc_typecheck" : "process.known_local_spawn"
+    ])
+  );
+  return requirements;
 }
 function decodeGo(args, segment) {
   if (["test", "list", "vet"].includes(args[0] ?? "")) {
@@ -15789,316 +15880,351 @@ function decodeSed(args, cwd, segment) {
     }
     files.push(arg);
   }
-  const operation = inline ? "spawn" : "inspect";
-  const lowered = [processRequirement("sed", operation, segment, ["process.sed"])];
-  for (const file of files) {
-    lowered.push(
-      requirement2(
-        inline ? "fs.write" : "fs.read",
-        inline ? "fs.write" : "fs.read",
-        { kind: "path", path: resolvePathOperand(file, cwd) },
-        segment,
-        [inline ? "sed.in_place_write" : "sed.file_read"]
-      )
-    );
+  const operation = inline ? "spawn" : "inspect";
+  const lowered = [processRequirement("sed", operation, segment, ["process.sed"])];
+  for (const file of files) {
+    lowered.push(
+      requirement2(
+        inline ? "fs.write" : "fs.read",
+        inline ? "fs.write" : "fs.read",
+        { kind: "path", path: resolvePathOperand(file, cwd) },
+        segment,
+        [inline ? "sed.in_place_write" : "sed.file_read"]
+      )
+    );
+  }
+  return lowered;
+}
+function decodeNode2(args, cwd, segment) {
+  if (args.length > 0 && args.every((arg) => ["--help", "--version", "-h", "-v"].includes(arg))) {
+    return [processRequirement("node", "inspect", segment, ["process.inspect.node_metadata"])];
+  }
+  if ((args[0] === "--check" || args[0] === "-c") && args.length === 2 && args[1]) {
+    return [
+      processRequirement("node", "inspect", segment, ["process.inspect.node_syntax"]),
+      requirement2(
+        "fs.read",
+        "fs.read",
+        { kind: "path", path: resolvePathOperand(args[1], cwd) },
+        segment,
+        ["node.syntax_source_read"]
+      )
+    ];
+  }
+  return unsupportedProcess("node", segment, "process.node_grammar_incomplete");
+}
+
+// src/core/effect-ir/shell-lower/decode-process.ts
+function decodeProcessOrFilesystem(params) {
+  const { tokens, head, env, cwd, repoRoot, segment } = params;
+  const args = tokens.slice(1);
+  if (tokens.length > 0 && tokens.every((token) => ENV_PREFIX_PATTERN2.test(token))) {
+    return [];
+  }
+  const shellControl = decodeShellControlBuiltin(head, args);
+  if (shellControl) {
+    return shellControl;
+  }
+  if (isCommandInspection(tokens)) {
+    return [processRequirement(head, "inspect", segment, ["process.inspect.command_lookup"])];
+  }
+  if (head === "lsof") {
+    return validLsof(args) ? [processRequirement(head, "inspect", segment, ["process.inspect.lsof"])] : unsupportedProcess(head, segment, "process.lsof_grammar_incomplete");
+  }
+  if (head === "ps") {
+    return validPs(args) ? [processRequirement(head, "inspect", segment, ["process.inspect.ps"])] : unsupportedProcess(head, segment, "process.ps_grammar_incomplete");
+  }
+  if (head === "test" || head === "[") {
+    return validFilesystemTest(head, args) ? [processRequirement(head, "inspect", segment, ["process.inspect.filesystem_test"])] : unsupportedProcess(head, segment, "process.filesystem_test_grammar_incomplete");
+  }
+  if (head === "docker") {
+    if (args[0] === "info") {
+      return validDockerInfo(args.slice(1)) ? [processRequirement(head, "inspect", segment, ["process.inspect.docker_info"])] : unsupportedProcess(head, segment, "process.docker_info_grammar_incomplete");
+    }
+    if (args[0] === "compose" && ["up", "down", "start", "stop", "restart", "create", "rm"].includes(args[1] ?? "")) {
+      return [processRequirement(head, "spawn", segment, ["service.local_mutation"])];
+    }
+    if (args[0] === "push" || args[0] === "build" && args.includes("--push") || args[0] === "buildx" && args[1] === "build" && (args.includes("--push") || args.some(
+      (arg) => arg.startsWith("--output=type=registry") || arg.startsWith("-o=type=registry")
+    ))) {
+      return [
+        processRequirement(head, "spawn", segment, ["tier0_external", "docker.remote_mutation"]),
+        requirement2(
+          "network.connect",
+          "network.connect",
+          {
+            kind: "network",
+            host: "registry",
+            protocol: "container-registry",
+            mode: "mutate",
+            payload: "present"
+          },
+          segment,
+          ["tier0_external", "docker.remote_mutation"]
+        )
+      ];
+    }
+    if (args[0] === "run" || args[0] === "create" || args[0] === "pull" || args[0] === "build" || args[0] === "buildx" && args[1] === "build") {
+      return [
+        processRequirement(head, "spawn", segment, ["process.docker_spawn"]),
+        requirement2(
+          "network.acquire",
+          "network.connect",
+          {
+            kind: "network",
+            host: "unknown",
+            protocol: "container-registry",
+            mode: "ambiguous",
+            payload: "none"
+          },
+          segment,
+          ["docker.image_acquisition_possible"]
+        )
+      ];
+    }
+    return [processRequirement(head, "spawn", segment, ["process.docker_spawn"])];
+  }
+  if (isShellHead(head)) {
+    const syntax = bashSyntaxTarget(args);
+    if (syntax) {
+      return [
+        processRequirement(head, "inspect", segment, ["process.inspect.shell_syntax"]),
+        requirement2(
+          "fs.read",
+          "fs.read",
+          { kind: "path", path: path46.resolve(cwd, syntax) },
+          segment,
+          ["shell.syntax_source_read"]
+        )
+      ];
+    }
+    return unsupportedProcess(head, segment, "process.shell_grammar_incomplete");
+  }
+  if (head === "prisma") {
+    return decodePrisma(args, env, repoRoot, segment);
+  }
+  const runtimeMetadata = decodeRuntimeMetadataProcess(head, args, segment);
+  if (runtimeMetadata) {
+    return runtimeMetadata;
+  }
+  if (head === "ruby") {
+    return decodeRuby(args, cwd, repoRoot, segment);
+  }
+  if (head === "rubocop" || head === "rspec") {
+    const decoded = decodeBundleExecInner(head, args, segment);
+    if (decoded) {
+      return decoded;
+    }
+  }
+  const dockerCompose = decodeDockerComposeRun2(head, args, segment);
+  if (dockerCompose) {
+    return dockerCompose;
+  }
+  if ((head === "npm" || head === "pnpm") && args.length === 1 && isMetadataOnlyArgv(args)) {
+    return [processRequirement(head, "inspect", segment, ["process.inspect.package_manager"])];
+  }
+  if (head === "belay") {
+    return decodeBelay(args, repoRoot, segment);
+  }
+  if (head === "tsc") {
+    return decodeTsc(args, cwd, segment);
   }
-  return lowered;
-}
-function decodeNode2(args, cwd, segment) {
-  if (args.length > 0 && args.every((arg) => ["--help", "--version", "-h", "-v"].includes(arg))) {
-    return [processRequirement("node", "inspect", segment, ["process.inspect.node_metadata"])];
+  if (head === "go") {
+    return decodeGo(args, segment);
   }
-  if ((args[0] === "--check" || args[0] === "-c") && args.length === 2 && args[1]) {
-    return [
-      processRequirement("node", "inspect", segment, ["process.inspect.node_syntax"]),
-      requirement2(
-        "fs.read",
-        "fs.read",
-        { kind: "path", path: resolvePathOperand(args[1], cwd) },
-        segment,
-        ["node.syntax_source_read"]
-      )
-    ];
+  if (head === "rsync") {
+    return decodeRsync(args, cwd, segment);
   }
-  return unsupportedProcess("node", segment, "process.node_grammar_incomplete");
-}
-function decodePrisma(args, env, repoRoot, segment) {
-  const processEffect = processRequirement("prisma", "spawn", segment, ["process.prisma"]);
-  if (args[0] === "generate") {
-    return [
-      processEffect,
-      requirement2("fs.write", "fs.write", { kind: "path", path: repoRoot }, segment, [
-        "prisma.generate.repo_local"
-      ])
-    ];
+  if (head === "sed") {
+    return decodeSed(args, cwd, segment);
   }
-  const databaseMutation = args[0] === "migrate" || args[0] === "db" && args[1] === "seed" || args[0] === "seed";
-  if (!databaseMutation) {
-    return [
-      processEffect,
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
-        "prisma.grammar_incomplete"
-      ])
-    ];
+  if (head === "base64" && args.length === 1 && ["-d", "-D", "--decode"].includes(args[0] ?? "")) {
+    return [processRequirement(head, "inspect", segment, ["process.inspect.base64_stdin"])];
   }
-  const endpoint = databaseEndpoint(env.DATABASE_URL);
-  if (!endpoint) {
+  if (head === "node") {
+    return decodeNode2(args, cwd, segment);
+  }
+  if (head === "vite" || head === "vite-node") {
+    return [processRequirement(head, "spawn", segment, ["process.local_dev_spawn"])];
+  }
+  if ((head === "npm" || head === "pnpm") && args[0] === "publish" || head === "terraform" && args[0] === "apply") {
     return [
-      processEffect,
+      processRequirement(head, "spawn", segment, ["tier0_external"]),
       requirement2(
         "network.connect",
         "network.connect",
         {
           kind: "network",
-          host: "unknown",
-          protocol: "database",
-          mode: "ambiguous",
+          host: "control-plane",
+          protocol: head,
+          mode: "mutate",
           payload: "present"
         },
         segment,
-        ["prisma.database_endpoint_unknown"]
-      ),
-      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
-        "prisma.database_endpoint_unknown"
-      ])
+        ["tier0_external"]
+      )
     ];
   }
-  const network = requirement2(
-    "network.connect",
-    "network.connect",
-    {
-      kind: "network",
-      ...endpoint,
-      mode: "mutate",
-      payload: "present"
-    },
-    segment,
-    [LOOPBACK_HOSTS2.has(endpoint.host) ? "prisma.database_local" : "prisma.database_remote"]
-  );
-  if (LOOPBACK_HOSTS2.has(endpoint.host)) {
-    return [processEffect, network];
-  }
-  return [
-    processEffect,
-    network,
-    requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
-      "prisma.remote_database_mutation"
-    ])
-  ];
-}
-function addRedirectEffects(requirements, tokens, env, context, segment) {
-  for (let index = 0; index < tokens.length; index += 1) {
-    const operator = tokens[index] ?? "";
-    if (!isRedirectOperator(operator) || isFdDuplication(operator)) {
-      continue;
-    }
-    const rawTarget = tokens[index + 1];
-    if (!rawTarget) {
-      requirements.push(
-        requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
-          "shell.redirect_target_missing"
-        ])
-      );
-      continue;
-    }
-    if (operator.includes("<<")) {
-      requirements.push(
-        requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
-          "shell.heredoc_opaque"
-        ])
-      );
-      index += 1;
-      continue;
-    }
-    const target = expandKnownVariables(rawTarget, env);
-    const resolved = resolvePathOperand(target, context.cwd);
-    if (resolved === "/dev/null") {
-      index += 1;
-      continue;
-    }
-    if (operator.includes("<")) {
-      requirements.push(
-        requirement2("fs.read", "fs.read", { kind: "path", path: resolved }, segment, [
-          "shell.input_redirect"
-        ])
-      );
-      addSecretRead(requirements, resolved, segment);
-    }
-    if (operator.includes(">")) {
-      addWriteEffects(requirements, resolved, segment, ["shell.output_redirect"]);
-    }
-    index += 1;
-  }
-}
-function addSubstitutionEffects(requirements, command, context, segment, signals) {
-  const inners = structuralSubstitutionInners(command);
-  for (const inner of inners) {
-    signals.add("command_substitution");
-    if (context.depth >= MAX_LOWER_DEPTH) {
-      requirements.push(
-        requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
-          "shell.substitution_depth_exceeded"
-        ])
-      );
-      continue;
-    }
-    const nestedSegments = lowerTopLevelSegments(inner, {
-      ...context,
-      command: inner,
-      depth: context.depth + 1
-    });
-    for (const nested of nestedSegments) {
-      requirements.push(
-        ...nested.requirements.map((entry) => {
-          const outerProvenance = {
-            segment,
-            innerCommand: inner
-          };
-          const provenance = {
-            ...entry.provenance,
-            segment,
-            innerCommand: entry.provenance.innerCommand ?? inner
-          };
-          return withProvenances(entry, provenance, outerProvenance);
-        })
-      );
-    }
-  }
-}
-function extractEnvironment(tokens, inherited) {
-  const env = { ...inherited };
-  const changedNames = /* @__PURE__ */ new Set();
-  if (tokens[0] === "env") {
-    let index = 1;
-    let malformed = false;
-    while (index < tokens.length) {
-      const option = tokens[index] ?? "";
-      if (option === "-u" || option === "--unset") {
-        const name = tokens[index + 1] ?? "";
-        if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(name)) {
-          malformed = true;
-          index += 1;
-          break;
-        }
-        delete env[name];
-        changedNames.add(name);
-        index += 2;
-        continue;
-      }
-      if (option.startsWith("--unset=")) {
-        const name = option.slice("--unset=".length);
-        if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(name)) {
-          malformed = true;
-          index += 1;
-          break;
-        }
-        delete env[name];
-        changedNames.add(name);
-        index += 1;
-        continue;
-      }
-      if (option === "-i" || option === "--ignore-environment") {
-        for (const name of Object.keys(env)) {
-          delete env[name];
-        }
-        changedNames.add("*");
-        index += 1;
-        continue;
-      }
-      if (option === "--") {
-        index += 1;
-        break;
-      }
-      if (option.startsWith("-")) {
-        malformed = true;
-        index += 1;
-        break;
-      }
-      break;
-    }
-    while (index < tokens.length) {
-      const token = tokens[index] ?? "";
-      const match = ENV_PREFIX_PATTERN2.exec(token);
-      if (!match) {
-        break;
-      }
-      const [, name, value] = match;
-      if (name) {
-        env[name] = expandKnownVariables(value ?? "", env);
-        changedNames.add(name);
-      }
-      index += 1;
-    }
-    const commandTokens = tokens.slice(index);
-    return {
-      env,
-      commandTokens,
-      malformed: malformed || commandTokens.length === 0,
-      changedNames
-    };
-  }
-  for (const token of tokens) {
-    const match = ENV_PREFIX_PATTERN2.exec(token);
-    if (!match) {
-      break;
+  if (head === "cd") {
+    return [];
+  }
+  if (head === "cp" || head === "mv") {
+    return decodeCopyMove(head, args, cwd, segment);
+  }
+  if (head === "rm") {
+    return decodeRm(args, cwd, repoRoot, segment);
+  }
+  if (head === "vitest" || head === "eslint" || head === "biome" || head === "belay") {
+    return [processRequirement(head, "spawn", segment, ["process.known_local_spawn"])];
+  }
+  if (head === "pwd" || head === "which" || head === "whoami") {
+    return [processRequirement(head, "inspect", segment, ["process.pure_inspection"])];
+  }
+  const readOperands = filesystemReadOperands(head, args);
+  if (readOperands !== null) {
+    const lowered = [processRequirement(head, "inspect", segment, ["process.filesystem_inspect"])];
+    for (const operand of readOperands) {
+      const resolved = resolvePathOperand(operand, cwd);
+      lowered.push(
+        requirement2("fs.read", "fs.read", { kind: "path", path: resolved }, segment, [
+          "filesystem.read"
+        ])
+      );
+      addSecretRead(lowered, resolved, segment);
     }
-    const [, name, value] = match;
-    if (name) {
-      env[name] = expandKnownVariables(value ?? "", env);
-      changedNames.add(name);
+    return lowered;
+  }
+  const writeOperands = filesystemWriteOperands(head, args);
+  if (writeOperands !== null) {
+    const lowered = [processRequirement(head, "spawn", segment, ["process.filesystem_mutation"])];
+    for (const operand of writeOperands) {
+      addWriteEffects(lowered, resolvePathOperand(operand, cwd), segment, ["filesystem.write"]);
     }
+    return lowered;
   }
-  return { env, malformed: false, changedNames };
+  if (head === "printf" || head === "echo" || head === "true" || head === "false" || head === ":") {
+    return [];
+  }
+  if (!head) {
+    return [
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
+        "shell.segment_empty"
+      ])
+    ];
+  }
+  return unsupportedProcess(head, segment, "process.grammar_unknown");
 }
-function expandKnownVariables(token, env) {
-  return token.replace(
-    /\$(?:\{([A-Za-z_][A-Za-z0-9_]*)\}|([A-Za-z_][A-Za-z0-9_]*))/g,
-    (raw, a, b) => {
-      const value = env[a ?? b];
-      return value === void 0 ? raw : value;
+
+// src/core/effect-ir/shell-lower/decoders/decode-package-exec.ts
+function decodePackageExec(peel, cwd, repoRoot, segment) {
+  if (peel.opaque) {
+    return [
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
+        peel.reason,
+        ...peel.signals
+      ])
+    ];
+  }
+  if (peel.reason === "npx_wrapper_readonly") {
+    return [];
+  }
+  const binHead = peel.innerTokens[0] ?? "";
+  const metadataOnly = packageExecInnerIsMetadata(peel);
+  const local = !peel.forceAcquire ? resolveLocalBin(binHead, cwd, repoRoot) : null;
+  if (local) {
+    return metadataOnly ? [
+      requirement2(
+        "process.exec",
+        "process.exec",
+        { kind: "executable", command: local.path, operation: "inspect" },
+        segment,
+        ["package_exec.delegate", "package_exec.local_bin_resolved"]
+      )
+    ] : [];
+  }
+  const networkResources = peel.acquisitionSpecs.map((spec) => classifyPackageAcquisitionSpec(spec)).filter((source) => source.kind !== "local").map(
+    (source) => source.kind === "registry" ? {
+      kind: "network",
+      host: "registry.npmjs.org",
+      protocol: "registry",
+      mode: "read",
+      payload: "none"
+    } : {
+      kind: "network",
+      host: source.host,
+      ...source.port ? { port: source.port } : {},
+      protocol: source.protocol,
+      mode: "read",
+      payload: "none"
     }
   );
-}
-function stripRedirects(tokens) {
-  const stripped = [];
-  for (let index = 0; index < tokens.length; index += 1) {
-    const token = tokens[index] ?? "";
-    if (isFdDuplication(token)) {
-      continue;
-    }
-    if (!isRedirectOperator(token)) {
-      stripped.push(token);
-      continue;
-    }
-    index += 1;
+  if (networkResources.length === 0) {
+    networkResources.push({
+      kind: "network",
+      host: "registry.npmjs.org",
+      protocol: "registry",
+      mode: "read",
+      payload: "none"
+    });
   }
-  return stripped;
+  return [
+    ...networkResources.map(
+      (resource) => requirement2("network.acquire", "network.connect", resource, segment, [
+        "package_acquire_possible"
+      ])
+    ),
+    requirement2(
+      "fs.write",
+      "fs.write",
+      { kind: "package-cache", manager: peel.launcher === "pnpm" ? "pnpm" : "npm" },
+      segment,
+      ["package_cache_write"]
+    ),
+    ...metadataOnly ? [
+      requirement2(
+        "process.exec",
+        "process.exec",
+        { kind: "executable", command: binHead || peel.launcher, operation: "inspect" },
+        segment,
+        ["package_exec.delegate"]
+      )
+    ] : []
+  ];
 }
-function stripStructuredRedirects(tokens) {
-  const stripped = [];
-  for (let index = 0; index < tokens.length; index += 1) {
-    const token = tokens[index];
-    if (!token) continue;
-    if (isFdDuplication(token.value)) {
-      continue;
-    }
-    if (!isRedirectOperator(token.value)) {
-      stripped.push(token);
-      continue;
-    }
-    index += 1;
+function packageExecInnerIsMetadata(peel) {
+  const args = peel.innerTokens.slice(1);
+  return args.length > 0 && args.every((arg) => ["--help", "--version", "-V", "-h", "-v"].includes(arg));
+}
+
+// src/core/effect-ir/shell-lower/segment.ts
+init_shell_tokenizer();
+import path47 from "node:path";
+var DYNAMIC_SHELL_VALUE_PATTERN = /(?:\$\(|`|\$(?:\d+|[@*#?$!-]|\{[^}]*\}|[A-Za-z_][A-Za-z0-9_]*))/;
+var SHELL_GLOB_PATTERN = /[*?[]/;
+function requiresKnownCwd(requirementValue) {
+  if (requirementValue.action === "fs.write" || requirementValue.action === "git.ref.write" || requirementValue.action === "control_plane.write") {
+    return true;
   }
-  return stripped;
+  return requirementValue.action === "process.exec" && requirementValue.resource.kind === "executable" && requirementValue.resource.operation === "spawn";
 }
-function alignStructuredTokens(tokens, values) {
-  if (values.length === 0) return [];
-  for (let start = tokens.length - values.length; start >= 0; start -= 1) {
-    const candidate = tokens.slice(start);
-    if (candidate.length === values.length && candidate.every((token, index) => token.value === values[index])) {
-      return candidate;
-    }
+function joinNestedOpacity(outer, nested) {
+  const nestedOpacity = nested.completeness === "partial" && nested.opacity === "transparent" ? "recursive" : nested.opacity;
+  return joinEffectOpacity(outer, nestedOpacity);
+}
+function startsLocalPostgresService(command) {
+  const tokens = tokenizeShell(command);
+  return path47.basename(tokens[0] ?? "") === "docker" && tokens[1] === "compose" && ["up", "start", "restart"].includes(tokens[2] ?? "") && tokens.includes("postgres");
+}
+function resolveCdTransition(command, currentCwd) {
+  const tokens = tokenizeShell(command);
+  if (path47.basename(tokens[0] ?? "") !== "cd") {
+    return null;
   }
-  return [];
+  const target = tokens[1] ?? "~";
+  if (!target || target === "-" || target.includes("$") || target.includes("`")) {
+    return { cwd: currentCwd, known: false };
+  }
+  return { cwd: resolvePathOperand(target, currentCwd), known: true };
 }
 function shellSegment(commandRedacted, segmentHead, requirements, opacity, signals) {
   const normalizedRequirements = requirements.flatMap((entry) => {
@@ -16115,69 +16241,19 @@ function shellSegment(commandRedacted, segmentHead, requirements, opacity, signa
         )
       ];
     }
-    return [entry];
-  });
-  const partial = normalizedRequirements.some(
-    (entry) => entry.tag === "indeterminate" || entry.action === "indeterminate"
-  );
-  return {
-    commandRedacted,
-    segmentHead,
-    requirements: normalizedRequirements,
-    completeness: partial ? "partial" : "complete",
-    opacity,
-    signals: [...signals].sort()
-  };
-}
-var DYNAMIC_SHELL_VALUE_PATTERN = /(?:\$\(|`|\$(?:\d+|[@*#?$!-]|\{[^}]*\}|[A-Za-z_][A-Za-z0-9_]*))/;
-var SHELL_GLOB_PATTERN = /[*?[]/;
-function effectChangingEnvironmentSignals(head, env, changedNames) {
-  if (head === "curl" && (env.CURL_HOME || changedNames.has("CURL_HOME") || changedNames.has("HOME") || changedNames.has("XDG_CONFIG_HOME"))) {
-    return ["egress.curl.environment_config_override"];
-  }
-  if (head === "wget" && (env.WGETRC || changedNames.has("WGETRC") || changedNames.has("HOME"))) {
-    return ["egress.wget.environment_config_override"];
-  }
-  if (head !== "git") {
-    return [];
-  }
-  const hazardousNames = /* @__PURE__ */ new Set([
-    "GIT_ASKPASS",
-    "GIT_ALTERNATE_OBJECT_DIRECTORIES",
-    "GIT_CEILING_DIRECTORIES",
-    "GIT_COMMON_DIR",
-    "GIT_CONFIG",
-    "GIT_CONFIG_GLOBAL",
-    "GIT_CONFIG_SYSTEM",
-    "GIT_DIR",
-    "GIT_DISCOVERY_ACROSS_FILESYSTEM",
-    "GIT_EDITOR",
-    "GIT_EXEC_PATH",
-    "GIT_EXTERNAL_DIFF",
-    "GIT_INDEX_FILE",
-    "GIT_NAMESPACE",
-    "GIT_OBJECT_DIRECTORY",
-    "GIT_PAGER",
-    "GIT_PROXY_COMMAND",
-    "GIT_QUARANTINE_PATH",
-    "GIT_SEQUENCE_EDITOR",
-    "GIT_SHALLOW_FILE",
-    "GIT_SSH",
-    "GIT_SSH_COMMAND",
-    "GIT_TEMPLATE_DIR",
-    "GIT_WORK_TREE",
-    "SSH_ASKPASS"
-  ]);
-  const overridden = changedNames.has("HOME") || changedNames.has("XDG_CONFIG_HOME") || Object.entries(env).some(([name, value]) => {
-    if (!value) {
-      return false;
-    }
-    if (hazardousNames.has(name) || /^GIT_CONFIG_(?:KEY|VALUE)_\d+$/.test(name) || /^GIT_TRACE/.test(name)) {
-      return true;
-    }
-    return name === "GIT_CONFIG_COUNT" && value !== "0";
+    return [entry];
   });
-  return overridden ? ["git.environment_execution_or_config_override"] : [];
+  const partial = normalizedRequirements.some(
+    (entry) => entry.tag === "indeterminate" || entry.action === "indeterminate"
+  );
+  return {
+    commandRedacted,
+    segmentHead,
+    requirements: normalizedRequirements,
+    completeness: partial ? "partial" : "complete",
+    opacity,
+    signals: [...signals].sort()
+  };
 }
 function dynamicResourceSignal(resource) {
   const expanded = (value) => Boolean(value && DYNAMIC_SHELL_VALUE_PATTERN.test(value));
@@ -16197,362 +16273,502 @@ function dynamicResourceSignal(resource) {
       return null;
   }
 }
-function processRequirement(command, operation, segment, signals) {
-  return requirement2(
-    "process.exec",
-    "process.exec",
-    { kind: "executable", command, operation },
-    segment,
-    signals
-  );
-}
-function unsupportedProcess(command, segment, signal) {
-  return [
-    processRequirement(command, "spawn", segment, [signal]),
-    requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [signal])
-  ];
+
+// src/core/effect-ir/shell-lower.ts
+var MAX_LOWER_DEPTH = 8;
+function lowerShellEffectPlan(params) {
+  const context = { ...params, depth: 0 };
+  const segments = lowerTopLevelSegments(params.command, context);
+  return buildShellEffectPlan({
+    inputFingerprint: params.inputFingerprint,
+    segments,
+    signals: pipeToShell(params.command) ? ["pipe_to_shell"] : []
+  });
 }
-function addWriteEffects(requirements, resolved, segment, signals) {
-  requirements.push(
-    requirement2("fs.write", "fs.write", { kind: "path", path: resolved }, segment, signals)
-  );
-  if (CONTROL_PLANE_PATH_PATTERN.test(resolved)) {
-    requirements.push(
-      requirement2(
-        "control_plane.write",
-        "control_plane.write",
-        { kind: "path", path: resolved },
-        segment,
-        [...signals, "protected_path"]
+function lowerTopLevelSegments(command, context) {
+  const commands = splitStructuralShellSegments(command);
+  if (commands.length === 0 && command.trim()) {
+    commands.push(command.trim());
+  }
+  const pipedToShell = pipeToShell(command);
+  const lowered = [];
+  let cwd = context.cwd;
+  let cwdKnown = true;
+  let inferredEnv = { ...context.env };
+  for (const segment of commands) {
+    let result = lowerSegment(segment, {
+      ...context,
+      cwd,
+      env: inferredEnv,
+      command: segment,
+      depth: context.depth,
+      inputFingerprint: context.inputFingerprint,
+      ...pipedToShell && isShellHead(parseSegment(segment).head) ? { pipeToShellSegment: true } : {}
+    });
+    if (!cwdKnown) {
+      const requiresCwd = result.requirements.some(requiresKnownCwd);
+      const requirements = [...result.requirements];
+      if (requiresCwd) {
+        requirements.push(
+          requirement2(
+            "indeterminate",
+            "indeterminate",
+            { kind: "unknown" },
+            result.commandRedacted,
+            ["shell.cwd_unknown"]
+          )
+        );
+      }
+      result = {
+        ...result,
+        requirements,
+        ...requiresCwd ? {
+          completeness: "partial",
+          opacity: joinEffectOpacity(result.opacity, "opaque")
+        } : {},
+        signals: [.../* @__PURE__ */ new Set([...result.signals, "shell.cwd_unknown"])]
+      };
+    }
+    lowered.push(result);
+    if (!inferredEnv.DATABASE_URL && startsLocalPostgresService(segment)) {
+      inferredEnv = {
+        ...inferredEnv,
+        DATABASE_URL: "postgresql://127.0.0.1:5432/local"
+      };
+    }
+    const nextCwd = resolveCdTransition(segment, cwd);
+    if (nextCwd) {
+      cwd = nextCwd.cwd;
+      cwdKnown = nextCwd.known;
+    }
+  }
+  if (commands.length > 1 && /[\r\n]/.test(command) && lowered.some(
+    (segment) => segment.requirements.some((entry) => entry.action === "network.connect")
+  )) {
+    lowered.push(
+      shellSegment(
+        "[multiline network boundary]",
+        "shell-boundary",
+        [
+          requirement2(
+            "indeterminate",
+            "indeterminate",
+            { kind: "unknown" },
+            "[multiline network boundary]",
+            ["shell.multiline_network_boundary"]
+          )
+        ],
+        "opaque",
+        /* @__PURE__ */ new Set(["shell.multiline_network_boundary"])
       )
     );
   }
+  return lowered;
 }
-function addSecretRead(requirements, resolved, segment) {
-  if (SECRET_PATH_PATTERN.test(resolved)) {
+function lowerSegment(command, context) {
+  const commandRedacted = redactCommand(command);
+  const lexed = lexShell(command);
+  const rawTokens = lexed.tokens.map((token) => token.value);
+  const environment = extractEnvironment(rawTokens, context.env);
+  const env = environment.env;
+  const parsed = parseSegment(command);
+  const parsedTokens = environment.commandTokens ?? parsed.tokens;
+  const tokens = stripRedirects(
+    parsedTokens.length === 0 && rawTokens.length > 0 && rawTokens.every((token) => ENV_PREFIX_PATTERN2.test(token)) ? rawTokens : parsedTokens
+  ).map((token) => expandKnownVariables(token, env));
+  const decoderTokens = alignStructuredTokens(
+    stripStructuredRedirects(lexed.tokens),
+    stripRedirects(parsedTokens)
+  );
+  const head = path48.basename(tokens[0] ?? parsed.head);
+  let opacity = segmentOpacity(command);
+  const signals = /* @__PURE__ */ new Set();
+  const requirements = [];
+  if (!lexed.complete) {
     requirements.push(
-      requirement2("secret.read", "secret.read", { kind: "path", path: resolved }, segment, [
-        "secret_path_read"
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+        "shell.grammar_incomplete"
       ])
     );
+    signals.add("shell.grammar_incomplete");
+    opacity = joinEffectOpacity(opacity, "unparseable");
   }
-}
-function filesystemReadOperands(head, args) {
-  switch (head) {
-    case "ls": {
-      const operands = args.filter((arg) => arg && !arg.startsWith("-"));
-      return operands.length > 0 ? operands : ["."];
-    }
-    case "find":
-      return findReadOperands(args);
-    case "cat":
-    case "head":
-    case "tail":
-    case "less":
-    case "stat":
-    case "file":
-    case "du":
-    case "wc":
-      return args.filter((arg) => arg && !arg.startsWith("-"));
-    case "grep":
-    case "rg":
-      return args.slice(1).filter((arg) => arg && !arg.startsWith("-"));
-    case "jq":
-      return args.slice(1).filter((arg) => arg && !arg.startsWith("-"));
-    default:
-      return null;
-  }
-}
-function findReadOperands(args) {
-  const mutatingPrimaries = /* @__PURE__ */ new Set([
-    "-delete",
-    "-exec",
-    "-execdir",
-    "-fls",
-    "-fprint",
-    "-fprintf",
-    "-ok",
-    "-okdir"
-  ]);
-  if (args.some(
-    (arg) => mutatingPrimaries.has(arg) || [...mutatingPrimaries].some((primary) => arg.startsWith(`${primary}=`))
-  )) {
-    return null;
-  }
-  const paths = [];
-  for (const arg of args) {
-    if (arg.startsWith("-") || arg === "!" || arg === "(") {
-      break;
-    }
-    paths.push(arg);
-  }
-  return paths.length > 0 ? paths : ["."];
-}
-function filesystemWriteOperands(head, args) {
-  const positional = args.filter((arg) => arg && !arg.startsWith("-"));
-  switch (head) {
-    case "touch":
-    case "mkdir":
-    case "rm":
-    case "truncate":
-    case "chmod":
-      return positional;
-    case "cp":
-    case "mv":
-      return positional.length > 0 ? [positional[positional.length - 1] ?? ""] : [];
-    case "tee":
-      return positional;
-    default:
-      return null;
+  addRedirectEffects(requirements, rawTokens, env, context, commandRedacted);
+  addSubstitutionEffects(requirements, command, context, commandRedacted, signals);
+  if (environment.malformed) {
+    requirements.push(
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+        "shell.env_wrapper_incomplete"
+      ])
+    );
+    opacity = joinEffectOpacity(opacity, "opaque");
   }
-}
-function validLsof(args) {
-  const flagsWithoutValues = /* @__PURE__ */ new Set(["-a", "-b", "-l", "-n", "-P", "-R", "-t", "-V"]);
-  const flagsWithValues = /* @__PURE__ */ new Set(["-c", "-d", "-F", "-g", "-p", "-T", "-u", "+d", "+D"]);
-  for (let index = 0; index < args.length; index += 1) {
-    const arg = args[index] ?? "";
-    if (flagsWithoutValues.has(arg) || arg === "-i") {
-      continue;
-    }
-    if (flagsWithValues.has(arg)) {
-      if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
-        return false;
-      }
-      index += 1;
-      continue;
-    }
-    if (/^-[ablnPRtV]+$/.test(arg) && [...arg.slice(1)].every((flag) => "ablnPRtV".includes(flag)) || /^-i(?:TCP|UDP)?(?::\d+(?:-\d+)?)?$/.test(arg) || /^-s(?:TCP|UDP):[A-Za-z]+$/.test(arg) || /^-(?:c|d|F|g|p|T|u).+$/.test(arg) || /^\+(?:d|D).+$/.test(arg)) {
-      continue;
-    }
-    return false;
+  if (parsed.encounteredXargs) {
+    requirements.push(
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+        "shell.xargs_stdin_dynamic"
+      ])
+    );
+    signals.add("shell.xargs_stdin_dynamic");
+    opacity = joinEffectOpacity(opacity, "opaque");
   }
-  return true;
-}
-function validPs(args) {
-  const bareForms = /* @__PURE__ */ new Set(["aux", "ax", "x", "u"]);
-  const flagsWithoutValues = /* @__PURE__ */ new Set(["-A", "-a", "-d", "-e", "-f", "-j", "-l", "-T", "-x"]);
-  const flagsWithValues = /* @__PURE__ */ new Set([
-    "--format",
-    "--group",
-    "--pid",
-    "--ppid",
-    "--sort",
-    "--tty",
-    "--user"
-  ]);
-  for (let index = 0; index < args.length; index += 1) {
-    const arg = args[index] ?? "";
-    if (bareForms.has(arg) || flagsWithoutValues.has(arg)) {
-      continue;
-    }
-    if (flagsWithValues.has(arg)) {
-      if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
-        return false;
-      }
-      index += 1;
-      continue;
+  if (context.depth > MAX_LOWER_DEPTH) {
+    requirements.push(
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+        "shell.lower_depth_exceeded"
+      ])
+    );
+    return shellSegment(
+      commandRedacted,
+      head,
+      requirements,
+      joinEffectOpacity(opacity, "opaque"),
+      signals
+    );
+  }
+  const packageExec = peelPackageExecArgv(tokens);
+  if (packageExec) {
+    requirements.push(
+      ...decodePackageExec(packageExec, context.cwd, context.repoRoot, commandRedacted)
+    );
+    for (const signal of packageExec.signals) {
+      signals.add(signal);
     }
-    if (/^(?:--format|--group|--pid|--ppid|--sort|--tty|--user)=.+$/.test(arg)) {
-      continue;
+    if (packageExec.opaque) {
+      opacity = joinEffectOpacity(opacity, "opaque");
     }
-    if (/^-[^-]/.test(arg)) {
-      const noValue = /* @__PURE__ */ new Set(["A", "a", "d", "e", "f", "j", "l", "T", "x"]);
-      const withValue = /* @__PURE__ */ new Set(["G", "g", "N", "o", "p", "t", "U", "u"]);
-      const characters = arg.slice(1);
-      let valid = true;
-      for (let optionIndex = 0; optionIndex < characters.length; optionIndex += 1) {
-        const option = characters[optionIndex] ?? "";
-        if (noValue.has(option)) {
-          continue;
-        }
-        if (withValue.has(option)) {
-          if (optionIndex === characters.length - 1) {
-            if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
-              return false;
-            }
-            index += 1;
-          }
-          break;
+    const innerRecipe = packageExecInnerIsMetadata(packageExec) ? null : innerRecipeFromPeel(packageExec);
+    if (innerRecipe) {
+      const nested = lowerTopLevelSegments(innerRecipe, {
+        ...context,
+        command: innerRecipe,
+        env,
+        depth: context.depth + 1
+      });
+      for (const nestedSegment of nested) {
+        requirements.push(
+          ...nestedSegment.requirements.map(
+            (entry) => withInnerProvenance(entry, innerRecipe, packageExec.launcher, commandRedacted)
+          )
+        );
+        for (const signal of nestedSegment.signals) {
+          signals.add(signal);
         }
-        valid = false;
-        break;
-      }
-      if (valid) {
-        continue;
+        opacity = joinNestedOpacity(opacity, nestedSegment);
       }
     }
-    return false;
-  }
-  return true;
-}
-function validFilesystemTest(head, args) {
-  const operands = head === "[" && args.at(-1) === "]" ? args.slice(0, -1) : args;
-  if (head === "[" && args.at(-1) !== "]") {
-    return false;
+    return shellSegment(commandRedacted, head, requirements, opacity, signals);
   }
-  return operands.length === 2 && (/* @__PURE__ */ new Set(["-b", "-c", "-d", "-e", "-f", "-h", "-L", "-r", "-s", "-w", "-x"])).has(
-    operands[0] ?? ""
-  ) && Boolean(operands[1]);
-}
-function validDockerInfo(args) {
-  for (let index = 0; index < args.length; index += 1) {
-    const arg = args[index] ?? "";
-    if (arg === "--help") {
-      continue;
-    }
-    if (arg === "--format" || arg === "-f") {
-      if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
-        return false;
+  const recursive = decodeRecursiveInvocationTokens(decoderTokens);
+  if (recursive.kind === "static" && opacity !== "opaque" && opacity !== "unparseable") {
+    requirements.push(
+      processRequirement(recursive.interpreter, "spawn", commandRedacted, [
+        "shell.recursive_wrapper",
+        "dynamic_shell_evaluation"
+      ])
+    );
+    if (recursive.script !== "") {
+      const nested = lowerTopLevelSegments(recursive.script, {
+        ...context,
+        command: recursive.script,
+        env,
+        depth: context.depth + 1
+      });
+      for (const nestedSegment of nested) {
+        requirements.push(
+          ...nestedSegment.requirements.map(
+            (entry) => withInnerProvenance(entry, recursive.script, head, commandRedacted)
+          )
+        );
+        for (const signal of nestedSegment.signals) signals.add(signal);
       }
-      index += 1;
-      continue;
     }
-    if (arg.startsWith("--format=")) {
-      if (arg.slice("--format=".length).length === 0) {
-        return false;
+    signals.add("shell.recursive_wrapper");
+    signals.add("dynamic_shell_evaluation");
+    return shellSegment(commandRedacted, head, requirements, "recursive", signals);
+  }
+  if (recursive.kind === "dynamic" || recursive.kind === "indeterminate") {
+    const recursiveSignals = [
+      recursive.signal,
+      ...recursive.kind === "dynamic" ? ["dynamic_shell_evaluation"] : []
+    ];
+    requirements.push(
+      processRequirement(recursive.interpreter, "spawn", commandRedacted, recursiveSignals),
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+        ...recursiveSignals
+      ])
+    );
+    for (const signal of recursiveSignals) signals.add(signal);
+    return shellSegment(
+      commandRedacted,
+      head,
+      requirements,
+      joinEffectOpacity(opacity, "opaque"),
+      signals
+    );
+  }
+  const compose = decodeDockerComposeRun(decoderTokens);
+  if (compose.kind === "recursive" && opacity !== "opaque" && opacity !== "unparseable") {
+    requirements.push(
+      processRequirement(head, "spawn", commandRedacted, ["process.docker_compose_run"])
+    );
+    if (compose.script !== "") {
+      const nested = lowerTopLevelSegments(compose.script, {
+        ...context,
+        command: compose.script,
+        env,
+        depth: context.depth + 1
+      });
+      for (const nestedSegment of nested) {
+        requirements.push(
+          ...nestedSegment.requirements.map(
+            (entry) => withInnerProvenance(entry, compose.script, head, commandRedacted)
+          )
+        );
+        for (const signal of nestedSegment.signals) signals.add(signal);
+        opacity = joinNestedOpacity(opacity, nestedSegment);
       }
-      continue;
     }
-    return false;
+    signals.add("process.docker_compose_run");
+    return shellSegment(commandRedacted, head, requirements, "recursive", signals);
   }
-  return true;
-}
-function bashSyntaxTarget(args) {
-  let syntaxOnly = false;
-  let script = null;
-  const shortFlags = new Set("abefhkmnptuvxBCEHPT".split(""));
-  const longFlags = /* @__PURE__ */ new Set([
-    "--debugger",
-    "--dump-po-strings",
-    "--dump-strings",
-    "--help",
-    "--login",
-    "--noediting",
-    "--noprofile",
-    "--norc",
-    "--posix",
-    "--restricted",
-    "--verbose",
-    "--version"
-  ]);
-  for (let index = 0; index < args.length; index += 1) {
-    const arg = args[index] ?? "";
-    if (arg === "-c" || arg === "-lc") {
-      return null;
-    }
-    if (arg === "-O" || arg === "+O" || arg === "--rcfile" || arg === "--init-file") {
-      if (!args[index + 1] || isOptionToken(args[index + 1] ?? "")) {
-        return null;
+  if (compose.kind === "dynamic" || compose.kind === "indeterminate") {
+    requirements.push(
+      processRequirement(head, "spawn", commandRedacted, ["process.docker_compose_run"]),
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+        compose.signal
+      ])
+    );
+    signals.add("process.docker_compose_run");
+    signals.add(compose.signal);
+    return shellSegment(
+      commandRedacted,
+      head,
+      requirements,
+      joinEffectOpacity(opacity, "opaque"),
+      signals
+    );
+  }
+  const launcher = resolveLauncherRecipe({
+    tokens,
+    cwd: context.cwd,
+    repoRoot: context.repoRoot,
+    depth: context.depth
+  });
+  if (launcher) {
+    signals.add(`launcher.${launcher.reason}`);
+    requirements.push(
+      requirement2(
+        "process.exec",
+        "process.exec",
+        { kind: "executable", command: head, operation: "spawn" },
+        commandRedacted,
+        ["launcher.invoke"]
+      )
+    );
+    for (const recipe of launcher.recipes) {
+      const nested = lowerTopLevelSegments(recipe, {
+        ...context,
+        command: recipe,
+        env,
+        depth: context.depth + 1
+      });
+      for (const nestedSegment of nested) {
+        requirements.push(
+          ...nestedSegment.requirements.map(
+            (entry) => withInnerProvenance(entry, recipe, head, commandRedacted)
+          )
+        );
+        for (const signal of nestedSegment.signals) {
+          signals.add(signal);
+        }
+        opacity = joinNestedOpacity(opacity, nestedSegment);
       }
-      index += 1;
-      continue;
     }
-    if (arg.startsWith("-O") && arg.length > 2 || arg.startsWith("+O") && arg.length > 2 || arg.startsWith("--rcfile=") && arg.length > "--rcfile=".length || arg.startsWith("--init-file=") && arg.length > "--init-file=".length) {
-      continue;
+    if (launcher.opaque || launcher.recipes.length === 0) {
+      requirements.push(
+        requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+          `launcher.${launcher.reason}`
+        ])
+      );
+      opacity = joinEffectOpacity(opacity, "opaque");
     }
-    if (longFlags.has(arg)) {
-      continue;
+    return shellSegment(commandRedacted, head, requirements, opacity, signals);
+  }
+  const egress = decodeEgressEffects({
+    tokens,
+    cwd: context.cwd,
+    segment: commandRedacted
+  });
+  if (egress) {
+    requirements.push(...egress);
+    for (const signal of egress.flatMap((entry) => entry.evidence.signals)) {
+      signals.add(signal);
     }
-    if (/^[+-][A-Za-z]+$/.test(arg)) {
-      const options = arg.slice(1);
-      if ([...options].some((option) => !shortFlags.has(option))) {
-        return null;
+  } else {
+    const git = decodeGitEffects({
+      tokens,
+      cwd: context.cwd,
+      repoRoot: context.repoRoot,
+      segment: commandRedacted
+    });
+    if (git) {
+      requirements.push(...git);
+      for (const signal of git.flatMap((entry) => entry.evidence.signals)) {
+        signals.add(signal);
       }
-      syntaxOnly ||= options.includes("n");
-      continue;
-    }
-    if (arg === "--") {
-      script = args[index + 1] ?? null;
-      break;
-    }
-    if (arg.startsWith("-") || arg.startsWith("+")) {
-      return null;
+    } else {
+      const processRequirements = decodeProcessOrFilesystem({
+        tokens,
+        head,
+        env,
+        cwd: context.cwd,
+        repoRoot: context.repoRoot,
+        segment: commandRedacted
+      });
+      if (isGrammarUnknownOnly(processRequirements, head)) {
+        const argvDelegate = peelArgvDelegateArgv(tokens);
+        if (argvDelegate && !argvDelegate.opaque && shouldApplyArgvDelegate(head, argvDelegate.innerTokens, context.depth)) {
+          const innerRecipe = innerRecipeFromArgvDelegate(argvDelegate);
+          if (innerRecipe) {
+            requirements.push(
+              processRequirement(head, "inspect", commandRedacted, [
+                "process.argv_delegate",
+                ...argvDelegate.signals
+              ])
+            );
+            for (const signal of argvDelegate.signals) {
+              signals.add(signal);
+            }
+            const nested = lowerTopLevelSegments(innerRecipe, {
+              ...context,
+              command: innerRecipe,
+              env,
+              depth: context.depth + 1
+            });
+            for (const nestedSegment of nested) {
+              requirements.push(
+                ...nestedSegment.requirements.map(
+                  (entry) => withInnerProvenance(entry, innerRecipe, head, commandRedacted)
+                )
+              );
+              for (const signal of nestedSegment.signals) {
+                signals.add(signal);
+              }
+              opacity = joinNestedOpacity(opacity, nestedSegment);
+            }
+            return shellSegment(commandRedacted, head, requirements, opacity, signals);
+          }
+        }
+        if (argvDelegate?.opaque) {
+          requirements.push(
+            processRequirement(head, "spawn", commandRedacted, [
+              "process.argv_delegate",
+              argvDelegate.reason,
+              ...argvDelegate.signals
+            ]),
+            requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+              argvDelegate.reason,
+              "process.argv_delegate_opaque"
+            ])
+          );
+          for (const signal of argvDelegate.signals) {
+            signals.add(signal);
+          }
+          signals.add("process.argv_delegate_opaque");
+          return shellSegment(
+            commandRedacted,
+            head,
+            requirements,
+            joinEffectOpacity(opacity, "opaque"),
+            signals
+          );
+        }
+      }
+      requirements.push(...processRequirements);
     }
-    script = arg;
-    break;
-  }
-  return syntaxOnly ? script : null;
-}
-function isOptionToken(value) {
-  return value.startsWith("-") || value.startsWith("+");
-}
-function databaseEndpoint(raw) {
-  if (!raw || raw.includes("$")) {
-    return null;
   }
-  try {
-    const url = new URL(raw);
-    if (!url.hostname || !url.protocol) {
-      return null;
+  const environmentSignals = effectChangingEnvironmentSignals(head, env, environment.changedNames);
+  if (environmentSignals.length > 0) {
+    requirements.push(
+      requirement2(
+        "indeterminate",
+        "indeterminate",
+        { kind: "unknown" },
+        commandRedacted,
+        environmentSignals
+      )
+    );
+    opacity = joinEffectOpacity(opacity, "opaque");
+    for (const signal of environmentSignals) {
+      signals.add(signal);
     }
-    return {
-      host: url.hostname.toLowerCase(),
-      protocol: url.protocol.slice(0, -1),
-      ...url.port ? { port: Number(url.port) } : {}
-    };
-  } catch {
-    return null;
   }
-}
-function resolvePathOperand(operand, cwd) {
-  if (operand === "~") {
-    return process.env.HOME ?? operand;
+  if (context.pipeToShellSegment) {
+    signals.add("pipe_to_shell");
+    ensureRequirement(
+      requirements,
+      requirement2(
+        "process.exec",
+        "process.exec",
+        { kind: "executable", command: head || "sh", operation: "spawn" },
+        commandRedacted,
+        ["pipe_to_shell"]
+      )
+    );
+    ensureRequirement(
+      requirements,
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+        "pipe_to_shell"
+      ])
+    );
+    opacity = joinEffectOpacity(opacity, "opaque");
   }
-  if (operand.startsWith("~/")) {
-    return path41.join(process.env.HOME ?? "~", operand.slice(2));
+  if (opacity === "unparseable" || opacity === "opaque") {
+    ensureRequirement(
+      requirements,
+      requirement2("indeterminate", "indeterminate", { kind: "unknown" }, commandRedacted, [
+        `shell.${opacity}`
+      ])
+    );
   }
-  return path41.resolve(cwd, operand);
-}
-function isShellHead(head) {
-  return head === "bash" || head === "sh" || head === "zsh" || head === "dash" || head === "fish";
-}
-function pipeToShell(command) {
-  return /(?:^|[|;&]\s*)(?:bash|sh|zsh|dash|fish)(?:\s|$)/.test(command) && /\|/.test(command);
-}
-function withInnerProvenance(requirementValue, innerCommand, launcher, outerSegment) {
-  const provenance = {
-    ...requirementValue.provenance,
-    segment: outerSegment,
-    innerCommand: requirementValue.provenance.innerCommand ?? innerCommand,
-    ...launcher === "npm" || launcher === "pnpm" ? { launcher, phase: "delegate" } : {}
-  };
-  const launcherProvenance = {
-    segment: outerSegment,
-    innerCommand,
-    ...launcher === "npm" || launcher === "pnpm" ? { launcher, phase: "delegate" } : {}
-  };
-  return withProvenances(requirementValue, provenance, launcherProvenance);
-}
-function withProvenances(requirementValue, provenance, contributing) {
-  const provenances = [
-    ...requirementValue.provenances ?? [requirementValue.provenance],
-    contributing,
-    provenance
-  ].filter(
-    (candidate, index, all) => all.findIndex((entry) => JSON.stringify(entry) === JSON.stringify(candidate)) === index
-  );
-  return { ...requirementValue, provenance, provenances };
+  return shellSegment(commandRedacted, head, requirements, opacity, signals);
 }
-function ensureRequirement(requirements, candidate) {
-  if (!requirements.some(
-    (entry) => entry.action === candidate.action && JSON.stringify(entry.resource) === JSON.stringify(candidate.resource)
-  )) {
-    requirements.push(candidate);
+function addSubstitutionEffects(requirements, command, context, segment, signals) {
+  const inners = structuralSubstitutionInners(command);
+  for (const inner of inners) {
+    signals.add("command_substitution");
+    if (context.depth >= MAX_LOWER_DEPTH) {
+      requirements.push(
+        requirement2("indeterminate", "indeterminate", { kind: "unknown" }, segment, [
+          "shell.substitution_depth_exceeded"
+        ])
+      );
+      continue;
+    }
+    const nestedSegments = lowerTopLevelSegments(inner, {
+      ...context,
+      command: inner,
+      depth: context.depth + 1
+    });
+    for (const nested of nestedSegments) {
+      requirements.push(
+        ...nested.requirements.map((entry) => {
+          const outerProvenance = {
+            segment,
+            innerCommand: inner
+          };
+          const provenance = {
+            ...entry.provenance,
+            segment,
+            innerCommand: entry.provenance.innerCommand ?? inner
+          };
+          return withProvenances(entry, provenance, outerProvenance);
+        })
+      );
+    }
   }
 }
-function requirement2(tag, action, resource, segment, signals) {
-  return {
-    tag,
-    action,
-    resource,
-    evidence: {
-      level: tag === "indeterminate" ? "indeterminate" : "certain",
-      signals: [...new Set(signals)].sort(),
-      basis: ["shell_semantic_lowering"]
-    },
-    provenance: { segment }
-  };
-}
 
 // src/core/verdict/verdict.ts
 init_path_utils();
@@ -16772,6 +16988,13 @@ function policyAuth(options) {
 function scrubPayload(value, options) {
   return scrubValue(value, options.scrubOptions);
 }
+function fingerprintPayload(payload, options) {
+  const toolInput = fingerprintToolInputSource(payload);
+  if (Object.keys(toolInput).length > 0) {
+    return toolInput;
+  }
+  return scrubPayload(payload.tool_input ?? {}, options);
+}
 function extractFilePath(payload) {
   const toolInput = payload.tool_input;
   if (!toolInput || typeof toolInput !== "object") {
@@ -16946,11 +17169,7 @@ async function classifyToolUse(payload, repoRoot, cwd, config, options = {}) {
           verdict: "deny_pending_approval",
           reason: "tool_shell_missing_command",
           summary: canonicalStringify(scrubPayload(payload.tool_input ?? {}, options)),
-          fingerprint: toolFingerprint(
-            toolName,
-            scrubPayload(payload.tool_input ?? {}, options),
-            repoRoot
-          ),
+          fingerprint: toolFingerprint(toolName, fingerprintPayload(payload, options), repoRoot),
           assessment: {
             reversibility: "irreversible",
             external: false,
@@ -16964,11 +17183,7 @@ async function classifyToolUse(payload, repoRoot, cwd, config, options = {}) {
         verdict: "allow_flagged",
         reason: "tool_shell_missing_command",
         summary: canonicalStringify(scrubPayload(payload.tool_input ?? {}, options)),
-        fingerprint: toolFingerprint(
-          toolName,
-          scrubPayload(payload.tool_input ?? {}, options),
-          repoRoot
-        ),
+        fingerprint: toolFingerprint(toolName, fingerprintPayload(payload, options), repoRoot),
         assessment: {
           reversibility: "recoverable_with_cost",
           external: false,
@@ -16992,11 +17207,7 @@ async function classifyToolUse(payload, repoRoot, cwd, config, options = {}) {
           verdict: "deny_pending_approval",
           reason: "file_mutation_missing_path",
           summary: canonicalStringify(scrubPayload(payload.tool_input ?? {}, options)),
-          fingerprint: toolFingerprint(
-            toolName,
-            scrubPayload(payload.tool_input ?? {}, options),
-            repoRoot
-          ),
+          fingerprint: toolFingerprint(toolName, fingerprintPayload(payload, options), repoRoot),
           assessment: {
             reversibility: "irreversible",
             external: false,
@@ -17010,11 +17221,7 @@ async function classifyToolUse(payload, repoRoot, cwd, config, options = {}) {
         verdict: "allow_flagged",
         reason: "file_mutation_missing_path",
         summary: canonicalStringify(scrubPayload(payload.tool_input ?? {}, options)),
-        fingerprint: toolFingerprint(
-          toolName,
-          scrubPayload(payload.tool_input ?? {}, options),
-          repoRoot
-        ),
+        fingerprint: toolFingerprint(toolName, fingerprintPayload(payload, options), repoRoot),
         assessment: {
           reversibility: "recoverable_with_cost",
           external: false,
@@ -17025,7 +17232,7 @@ async function classifyToolUse(payload, repoRoot, cwd, config, options = {}) {
       };
     }
     const signals = [];
-    const resolvedPath = path42.isAbsolute(filePath) ? filePath : path42.resolve(cwd, filePath);
+    const resolvedPath = path49.isAbsolute(filePath) ? filePath : path49.resolve(cwd, filePath);
     const hitsProtectedRoot = protectedRoots.some((root) => pathWithinRoot(root, resolvedPath));
     if (hitsProtectedRoot) {
       signals.push("control_plane_path");
@@ -17164,11 +17371,7 @@ async function classifyToolUse(payload, repoRoot, cwd, config, options = {}) {
           verdict: "deny_pending_approval",
           reason: "apply_patch_missing_path",
           summary: canonicalStringify(scrubPayload(payload.tool_input ?? {}, options)),
-          fingerprint: toolFingerprint(
-            toolName,
-            scrubPayload(payload.tool_input ?? {}, options),
-            repoRoot
-          ),
+          fingerprint: toolFingerprint(toolName, fingerprintPayload(payload, options), repoRoot),
           assessment: {
             reversibility: "irreversible",
             external: false,
@@ -17182,11 +17385,7 @@ async function classifyToolUse(payload, repoRoot, cwd, config, options = {}) {
         verdict: "allow_flagged",
         reason: "apply_patch_missing_path",
         summary: canonicalStringify(scrubPayload(payload.tool_input ?? {}, options)),
-        fingerprint: toolFingerprint(
-          toolName,
-          scrubPayload(payload.tool_input ?? {}, options),
-          repoRoot
-        ),
+        fingerprint: toolFingerprint(toolName, fingerprintPayload(payload, options), repoRoot),
         assessment: {
           reversibility: "recoverable_with_cost",
           external: false,
@@ -17217,11 +17416,7 @@ async function classifyToolUse(payload, repoRoot, cwd, config, options = {}) {
       verdict: "allow_flagged",
       reason: sawDelete ? "file_delete" : "file_mutation",
       summary: targets.map((target) => target.path).join(", "),
-      fingerprint: toolFingerprint(
-        toolName,
-        scrubPayload(payload.tool_input ?? {}, options),
-        repoRoot
-      ),
+      fingerprint: toolFingerprint(toolName, fingerprintPayload(payload, options), repoRoot),
       assessment: {
         reversibility: "recoverable_with_cost",
         external: false,
@@ -17235,11 +17430,7 @@ async function classifyToolUse(payload, repoRoot, cwd, config, options = {}) {
     verdict: "allow",
     reason: "unclassified_tool",
     summary: canonicalStringify(scrubPayload(payload.tool_input ?? {}, options)),
-    fingerprint: toolFingerprint(
-      toolName,
-      scrubPayload(payload.tool_input ?? {}, options),
-      repoRoot
-    ),
+    fingerprint: toolFingerprint(toolName, fingerprintPayload(payload, options), repoRoot),
     assessment: {
       reversibility: "reversible",
       external: false,
@@ -17627,7 +17818,7 @@ function hashDecisionConfig(config) {
 init_fingerprint2();
 
 // src/version.ts
-var PACKAGE_VERSION = "0.9.3";
+var PACKAGE_VERSION = "0.9.4";
 
 // src/runtime-provenance.ts
 function resolveRuntimeArtifactHash(artifactHash) {
@@ -17702,7 +17893,7 @@ init_path_utils();
 import { randomUUID as randomUUID5 } from "node:crypto";
 import { existsSync as existsSync15 } from "node:fs";
 import { mkdir as mkdir11, readdir as readdir3, readFile as readFile12, rename as rename3, rm as rm6 } from "node:fs/promises";
-import path47 from "node:path";
+import path54 from "node:path";
 
 // src/core/recovery/artifact-store.ts
 init_fingerprint2();
@@ -17710,7 +17901,7 @@ init_path_utils();
 import { randomUUID as randomUUID4 } from "node:crypto";
 import { existsSync as existsSync13 } from "node:fs";
 import { lstat as lstat7, mkdir as mkdir10, open as open5, readdir as readdir2, readFile as readFile9, rename as rename2, rm as rm5, writeFile as writeFile7 } from "node:fs/promises";
-import path44 from "node:path";
+import path51 from "node:path";
 
 // src/core/recovery/snapshot-node.ts
 init_fingerprint2();
@@ -17730,25 +17921,25 @@ import {
   symlink as symlink3,
   writeFile as writeFile6
 } from "node:fs/promises";
-import path43 from "node:path";
+import path50 from "node:path";
 var RECOVERY_UNSUPPORTED_FILE_KIND = "recovery_unsupported_file_kind";
 function validRecoveryRelativePath(relativePath) {
-  if (!relativePath || relativePath.includes("\0") || path43.isAbsolute(relativePath)) return false;
-  const normalized = path43.normalize(relativePath);
-  return normalized !== "." && normalized !== ".." && !normalized.startsWith(`..${path43.sep}`);
+  if (!relativePath || relativePath.includes("\0") || path50.isAbsolute(relativePath)) return false;
+  const normalized = path50.normalize(relativePath);
+  return normalized !== "." && normalized !== ".." && !normalized.startsWith(`..${path50.sep}`);
 }
 async function assertRecoverySafeTarget(resourceRoot, relativePath) {
   if (!validRecoveryRelativePath(relativePath)) throw new Error("recovery_path_escape");
   const root = canonicalPath(resourceRoot);
-  const target = path43.resolve(root, relativePath);
-  const relative = path43.relative(root, target);
-  if (relative === ".." || relative.startsWith(`..${path43.sep}`) || path43.isAbsolute(relative)) {
+  const target = path50.resolve(root, relativePath);
+  const relative = path50.relative(root, target);
+  if (relative === ".." || relative.startsWith(`..${path50.sep}`) || path50.isAbsolute(relative)) {
     throw new Error("recovery_path_escape");
   }
   let current = root;
-  const parentParts = path43.relative(root, path43.dirname(target)).split(path43.sep).filter(Boolean);
+  const parentParts = path50.relative(root, path50.dirname(target)).split(path50.sep).filter(Boolean);
   for (const part of parentParts) {
-    current = path43.join(current, part);
+    current = path50.join(current, part);
     if (!existsSync12(current)) break;
     const info = await lstat6(current);
     if (info.isSymbolicLink()) throw new Error("recovery_symlink_escape");
@@ -17804,7 +17995,7 @@ async function captureRecoverySnapshot(filePath, options) {
   let blob;
   if (options?.blobDir) {
     await mkdir9(options.blobDir, { recursive: true, mode: 448 });
-    const blobPath = path43.join(options.blobDir, hash);
+    const blobPath = path50.join(options.blobDir, hash);
     if (!existsSync12(blobPath)) {
       await writeFile6(blobPath, content, { mode: 384 });
       await fsyncPath(blobPath);
@@ -17859,7 +18050,7 @@ async function validateRecoverySnapshot(params) {
   if (record.blob !== `blobs/${record.hash}`) throw new Error(params.corruptReason);
   let content;
   try {
-    content = await readFile8(path43.join(params.artifactDir, record.blob));
+    content = await readFile8(path50.join(params.artifactDir, record.blob));
   } catch {
     throw new Error(params.corruptReason);
   }
@@ -17887,13 +18078,13 @@ var RECOVERY_STATES = /* @__PURE__ */ new Set([
 ]);
 var STAGING_STALE_MS = 5 * 6e4;
 function checkpointsRoot(stateDir) {
-  return path44.join(stateDir, "recovery", "checkpoints");
+  return path51.join(stateDir, "recovery", "checkpoints");
 }
 function checkpointDir(stateDir, checkpointId) {
   if (!/^cp_[a-f0-9]{24}$/.test(checkpointId)) {
     throw new Error("invalid_recovery_checkpoint_id");
   }
-  return path44.join(checkpointsRoot(stateDir), checkpointId);
+  return path51.join(checkpointsRoot(stateDir), checkpointId);
 }
 async function fsyncPath2(filePath) {
   const handle = await open5(filePath, "r");
@@ -17904,13 +18095,13 @@ async function fsyncPath2(filePath) {
   }
 }
 async function atomicWriteJson(filePath, value) {
-  await mkdir10(path44.dirname(filePath), { recursive: true, mode: 448 });
+  await mkdir10(path51.dirname(filePath), { recursive: true, mode: 448 });
   const temporary = `${filePath}.tmp-${randomUUID4()}`;
   await writeFile7(temporary, `${JSON.stringify(value, null, 2)}
 `, { mode: 384 });
   await fsyncPath2(temporary);
   await rename2(temporary, filePath);
-  await fsyncPath2(path44.dirname(filePath));
+  await fsyncPath2(path51.dirname(filePath));
 }
 async function writeRecoveryState(artifactDir, state, manifestHash, detail) {
   const value = {
@@ -17920,13 +18111,13 @@ async function writeRecoveryState(artifactDir, state, manifestHash, detail) {
     manifestHash,
     ...detail ? { detail } : {}
   };
-  await atomicWriteJson(path44.join(artifactDir, "state.json"), value);
+  await atomicWriteJson(path51.join(artifactDir, "state.json"), value);
 }
 async function directorySize(root) {
   if (!existsSync13(root)) return 0;
   let total = 0;
   for (const entry of await readdir2(root, { withFileTypes: true })) {
-    const entryPath = path44.join(root, entry.name);
+    const entryPath = path51.join(root, entry.name);
     if (entry.isDirectory()) total += await directorySize(entryPath);
     else total += (await lstat7(entryPath)).size;
   }
@@ -17971,9 +18162,9 @@ async function readRecoveryArtifact(stateDir, checkpointId) {
   let rawManifest;
   let state;
   try {
-    rawManifest = JSON.parse(await readFile9(path44.join(artifactDir, "manifest.json"), "utf8"));
+    rawManifest = JSON.parse(await readFile9(path51.join(artifactDir, "manifest.json"), "utf8"));
     state = JSON.parse(
-      await readFile9(path44.join(artifactDir, "state.json"), "utf8")
+      await readFile9(path51.join(artifactDir, "state.json"), "utf8")
     );
   } catch {
     throw new Error(RECOVERY_CHECKPOINT_CORRUPT);
@@ -17989,10 +18180,10 @@ async function readRecoveryArtifact(stateDir, checkpointId) {
   }
   const entryPaths = /* @__PURE__ */ new Set();
   for (const entry of manifest.entries) {
-    if (!entry || typeof entry !== "object" || Array.isArray(entry) || Object.keys(entry).length !== 3 || !Object.keys(entry).every((key) => ["path", "before", "after"].includes(key)) || typeof entry.path !== "string" || !("before" in entry) || !("after" in entry) || !validRecoveryRelativePath(entry.path) || entryPaths.has(path44.normalize(entry.path))) {
+    if (!entry || typeof entry !== "object" || Array.isArray(entry) || Object.keys(entry).length !== 3 || !Object.keys(entry).every((key) => ["path", "before", "after"].includes(key)) || typeof entry.path !== "string" || !("before" in entry) || !("after" in entry) || !validRecoveryRelativePath(entry.path) || entryPaths.has(path51.normalize(entry.path))) {
       throw new Error(RECOVERY_CHECKPOINT_CORRUPT);
     }
-    entryPaths.add(path44.normalize(entry.path));
+    entryPaths.add(path51.normalize(entry.path));
     for (const [side, snapshot] of [
       ["before", entry.before],
       ["after", entry.after]
@@ -18006,7 +18197,7 @@ async function readRecoveryArtifact(stateDir, checkpointId) {
       });
     }
   }
-  const receiptPath = path44.join(artifactDir, "receipt.json");
+  const receiptPath = path51.join(artifactDir, "receipt.json");
   let receipt;
   if (["applied", "restoring", "restored", "conflict"].includes(state.state) || existsSync13(receiptPath)) {
     receipt = await readAndValidateRecoveryReceipt(artifactDir, manifest, manifestHash);
@@ -18016,7 +18207,7 @@ async function readRecoveryArtifact(stateDir, checkpointId) {
 async function readAndValidateRecoveryReceipt(artifactDir, manifest, manifestHash) {
   let rawReceipt;
   try {
-    rawReceipt = JSON.parse(await readFile9(path44.join(artifactDir, "receipt.json"), "utf8"));
+    rawReceipt = JSON.parse(await readFile9(path51.join(artifactDir, "receipt.json"), "utf8"));
   } catch {
     throw new Error(RECOVERY_CHECKPOINT_CORRUPT);
   }
@@ -18039,7 +18230,7 @@ async function readAndValidateRecoveryReceipt(artifactDir, manifest, manifestHas
   return receipt;
 }
 async function ensureRecoveryReceipt(artifactDir, manifest, manifestHash) {
-  const receiptPath = path44.join(artifactDir, "receipt.json");
+  const receiptPath = path51.join(artifactDir, "receipt.json");
   if (existsSync13(receiptPath)) {
     return readAndValidateRecoveryReceipt(artifactDir, manifest, manifestHash);
   }
@@ -18064,7 +18255,7 @@ async function artifactRepoRoot(stateDir, checkpointId) {
   const artifactDir = checkpointDir(stateDir, checkpointId);
   try {
     const manifest = JSON.parse(
-      await readFile9(path44.join(artifactDir, "manifest.json"), "utf8")
+      await readFile9(path51.join(artifactDir, "manifest.json"), "utf8")
     );
     if (typeof manifest.repoRoot === "string" && manifest.repoRoot) {
       return canonicalPath(manifest.repoRoot);
@@ -18072,7 +18263,7 @@ async function artifactRepoRoot(stateDir, checkpointId) {
   } catch {
   }
   try {
-    const owner = JSON.parse(await readFile9(path44.join(artifactDir, "owner.json"), "utf8"));
+    const owner = JSON.parse(await readFile9(path51.join(artifactDir, "owner.json"), "utf8"));
     return typeof owner.repoRoot === "string" && owner.repoRoot ? canonicalPath(owner.repoRoot) : null;
   } catch {
     return null;
@@ -18092,10 +18283,10 @@ async function cleanupOrphanedStaging(stateDir) {
   const now = Date.now();
   for (const entry of await readdir2(root, { withFileTypes: true })) {
     if (!entry.isDirectory() || !/^\.tmp-cp_[a-f0-9]{24}$/.test(entry.name)) continue;
-    const stagingPath = path44.join(root, entry.name);
+    const stagingPath = path51.join(root, entry.name);
     let stale = false;
     try {
-      const owner = JSON.parse(await readFile9(path44.join(stagingPath, "owner.json"), "utf8"));
+      const owner = JSON.parse(await readFile9(path51.join(stagingPath, "owner.json"), "utf8"));
       const pid = typeof owner.pid === "number" ? owner.pid : Number.NaN;
       const createdAt = typeof owner.createdAt === "string" ? Date.parse(owner.createdAt) : NaN;
       let alive = false;
@@ -18137,7 +18328,7 @@ async function markRecoveryCheckpointApplied(stateDir, checkpoint) {
 init_fingerprint2();
 import { existsSync as existsSync14 } from "node:fs";
 import { readFile as readFile10 } from "node:fs/promises";
-import path45 from "node:path";
+import path52 from "node:path";
 async function matchRecoverySide(resourceRoot, entries, side) {
   for (const entry of entries) {
     const target = await assertRecoverySafeTarget(resourceRoot, entry.path);
@@ -18152,7 +18343,7 @@ async function reconcileRecoveryCheckpoint(stateDir, checkpointId) {
   } catch {
     const artifactDir = checkpointDir(stateDir, checkpointId);
     if (existsSync14(artifactDir)) {
-      const manifestPath = path45.join(artifactDir, "manifest.json");
+      const manifestPath = path52.join(artifactDir, "manifest.json");
       const hash = existsSync14(manifestPath) ? hashValue(await readFile10(manifestPath, "utf8")) : "unavailable";
       await writeRecoveryState(artifactDir, "corrupt", hash, RECOVERY_CHECKPOINT_CORRUPT);
     }
@@ -18189,7 +18380,7 @@ async function reconcileRecoveryCheckpoint(stateDir, checkpointId) {
 // src/core/recovery/resource-identity.ts
 init_fingerprint2();
 import { lstat as lstat8, readFile as readFile11, realpath as realpath3 } from "node:fs/promises";
-import path46 from "node:path";
+import path53 from "node:path";
 async function currentRecoveryResourceIdentity(resourceRoot, resourceKind) {
   const resolvedRoot = await realpath3(resourceRoot);
   if (resourceKind === "directory") {
@@ -18197,13 +18388,13 @@ async function currentRecoveryResourceIdentity(resourceRoot, resourceKind) {
     if (!rootInfo.isDirectory()) throw new Error("recovery_repo_identity_unavailable");
     return hashValue(`${resolvedRoot}\0${rootInfo.dev}:${rootInfo.ino}:${rootInfo.birthtimeMs}`);
   }
-  const dotGit = path46.join(resolvedRoot, ".git");
+  const dotGit = path53.join(resolvedRoot, ".git");
   const gitInfo = await lstat8(dotGit);
   let gitMetadataPath = dotGit;
   if (gitInfo.isFile()) {
     const marker = (await readFile11(dotGit, "utf8")).trim();
     if (!marker.startsWith("gitdir:")) throw new Error("recovery_repo_identity_unavailable");
-    gitMetadataPath = path46.resolve(resolvedRoot, marker.slice("gitdir:".length).trim());
+    gitMetadataPath = path53.resolve(resolvedRoot, marker.slice("gitdir:".length).trim());
   } else if (!gitInfo.isDirectory()) {
     throw new Error("recovery_repo_identity_unavailable");
   }
@@ -18276,16 +18467,16 @@ async function prepareRecoveryCheckpoint(params) {
     throw new Error(RECOVERY_CHECKPOINT_QUOTA);
   }
   const checkpointId = `cp_${randomUUID5().replaceAll("-", "").slice(0, 24)}`;
-  const temporary = path47.join(checkpointsRoot(params.stateDir), `.tmp-${checkpointId}`);
+  const temporary = path54.join(checkpointsRoot(params.stateDir), `.tmp-${checkpointId}`);
   const finalDir = checkpointDir(params.stateDir, checkpointId);
   await mkdir11(temporary, { recursive: true, mode: 448 });
-  await atomicWriteJson(path47.join(temporary, "owner.json"), {
+  await atomicWriteJson(path54.join(temporary, "owner.json"), {
     version: 1,
     pid: process.pid,
     createdAt: (/* @__PURE__ */ new Date()).toISOString(),
     repoRoot: canonicalPath(params.repoRoot)
   });
-  await mkdir11(path47.join(temporary, "blobs"), { recursive: true, mode: 448 });
+  await mkdir11(path54.join(temporary, "blobs"), { recursive: true, mode: 448 });
   try {
     const entries = [];
     const protectedRoots = (params.protectedRoots ?? []).map(canonicalPath);
@@ -18294,8 +18485,8 @@ async function prepareRecoveryCheckpoint(params) {
     )) {
       const target = await assertRecoverySafeTarget(params.repoRoot, change.relativePath);
       if (protectedRoots.some((root) => {
-        const relative = path47.relative(root, target);
-        return relative === "" || relative !== ".." && !relative.startsWith(`..${path47.sep}`) && !path47.isAbsolute(relative);
+        const relative = path54.relative(root, target);
+        return relative === "" || relative !== ".." && !relative.startsWith(`..${path54.sep}`) && !path54.isAbsolute(relative);
       })) {
         throw new Error("recovery_protected_path");
       }
@@ -18307,7 +18498,7 @@ async function prepareRecoveryCheckpoint(params) {
       entries.push({
         path: change.relativePath,
         before: await captureRecoverySnapshot(baseline, {
-          blobDir: path47.join(temporary, "blobs")
+          blobDir: path54.join(temporary, "blobs")
         }),
         after: withoutRecoveryBlob(await captureRecoverySnapshot(source))
       });
@@ -18344,7 +18535,7 @@ async function prepareRecoveryCheckpoint(params) {
       entries
     };
     const manifestHash = hashValue(canonicalStringify(manifest));
-    await atomicWriteJson(path47.join(temporary, "manifest.json"), manifest);
+    await atomicWriteJson(path54.join(temporary, "manifest.json"), manifest);
     await writeRecoveryState(temporary, "prepared", manifestHash);
     await fsyncPath2(temporary);
     const projectedBytes = await recoveryCheckpointStorageBytes(params.stateDir, params.repoRoot);
@@ -18387,7 +18578,7 @@ async function listRecoveryCheckpoints(stateDir, repoRoot) {
       } catch {
         try {
           const raw = JSON.parse(
-            await readFile12(path47.join(checkpointDir(stateDir, id), "manifest.json"), "utf8")
+            await readFile12(path54.join(checkpointDir(stateDir, id), "manifest.json"), "utf8")
           );
           rootFromArtifact = typeof raw.repoRoot === "string" && raw.repoRoot ? raw.repoRoot : void 0;
         } catch {
@@ -18421,7 +18612,7 @@ async function listRecoveryCheckpoints(stateDir, repoRoot) {
     } catch {
       try {
         const manifest = JSON.parse(
-          await readFile12(path47.join(checkpointDir(stateDir, id), "manifest.json"), "utf8")
+          await readFile12(path54.join(checkpointDir(stateDir, id), "manifest.json"), "utf8")
         );
         if (manifest.checkpointId !== id || ![1, 2].includes(manifest.version)) continue;
         if (repoRoot && canonicalPath(manifest.repoRoot) !== canonicalPath(repoRoot)) continue;
@@ -18451,7 +18642,7 @@ async function recoveryCheckpointStorageBytes(stateDir, repoRoot) {
   let total = 0;
   for (const entry of await readdir3(root, { withFileTypes: true })) {
     if (!entry.isDirectory()) continue;
-    const entryPath = path47.join(root, entry.name);
+    const entryPath = path54.join(root, entry.name);
     if (/^cp_[a-f0-9]{24}$/.test(entry.name)) {
       if (await artifactRepoRoot(stateDir, entry.name) === expected) {
         total += await directorySize(entryPath);
@@ -18460,7 +18651,7 @@ async function recoveryCheckpointStorageBytes(stateDir, repoRoot) {
     }
     if (/^\.tmp-cp_[a-f0-9]{24}$/.test(entry.name)) {
       try {
-        const owner = JSON.parse(await readFile12(path47.join(entryPath, "owner.json"), "utf8"));
+        const owner = JSON.parse(await readFile12(path54.join(entryPath, "owner.json"), "utf8"));
         if (typeof owner.repoRoot === "string" && canonicalPath(owner.repoRoot) === expected) {
           total += await directorySize(entryPath);
         }
@@ -18504,14 +18695,14 @@ init_scrub();
 // src/core/transactional/file-checkpoint-backend.ts
 import { cp, lstat as lstat11, mkdir as mkdir13, mkdtemp as mkdtemp5, readdir as readdir6, rm as rm9, writeFile as writeFile10 } from "node:fs/promises";
 import os5 from "node:os";
-import path51 from "node:path";
+import path58 from "node:path";
 
 // src/core/transactional/file-checkpoint-git.ts
 init_path_utils();
 import { spawn as spawn8 } from "node:child_process";
 import { createHash as createHash13 } from "node:crypto";
 import { copyFile as copyFile3, lstat as lstat9, readdir as readdir4, readFile as readFile13 } from "node:fs/promises";
-import path48 from "node:path";
+import path55 from "node:path";
 var FILE_CHECKPOINT_GIT_METADATA_CHANGED = "file_checkpoint_git_metadata_changed";
 var FILE_CHECKPOINT_SOURCE_CHANGED = "file_checkpoint_source_changed";
 var FILE_CHECKPOINT_CWD_OUTSIDE_ROOT = "file_checkpoint_cwd_outside_root";
@@ -18545,7 +18736,7 @@ function rethrowStableFileCheckpointError(error) {
 }
 async function rootGitMetadataPresent(repoRoot) {
   try {
-    await lstat9(path48.join(repoRoot, ".git"));
+    await lstat9(path55.join(repoRoot, ".git"));
     return true;
   } catch {
     return false;
@@ -18594,10 +18785,10 @@ function execGit2(repoRoot, args) {
 }
 async function resolveGitPath(repoRoot, gitPath) {
   const trimmed = gitPath.trim();
-  if (path48.isAbsolute(trimmed)) {
+  if (path55.isAbsolute(trimmed)) {
     return trimmed;
   }
-  return path48.join(repoRoot, trimmed);
+  return path55.join(repoRoot, trimmed);
 }
 async function cloneBareWorktreeCopy(sourceRoot, destinationRoot) {
   await execGit2(sourceRoot, [
@@ -18639,7 +18830,7 @@ async function copyGitIndexState(sourceRoot, destinationRoot) {
     destinationRoot,
     await execGit2(destinationRoot, ["rev-parse", "--git-dir"])
   );
-  const destinationShared = path48.join(destinationGitDir, path48.basename(sourceShared));
+  const destinationShared = path55.join(destinationGitDir, path55.basename(sourceShared));
   try {
     await copyFile3(sourceShared, destinationShared);
   } catch (error) {
@@ -18648,7 +18839,7 @@ async function copyGitIndexState(sourceRoot, destinationRoot) {
 }
 async function readGitFile(gitDir, relativePath) {
   try {
-    return await readFile13(path48.join(gitDir, relativePath));
+    return await readFile13(path55.join(gitDir, relativePath));
   } catch {
     return null;
   }
@@ -18672,8 +18863,8 @@ async function hashResolvedGitPath(repoRoot, gitDir, gitPath, hash) {
       repoRoot,
       await execGit2(repoRoot, ["rev-parse", "--git-path", gitPath])
     );
-    const relative = path48.resolve(resolved).startsWith(path48.resolve(gitDir)) ? path48.relative(gitDir, resolved) : resolved;
-    const content = typeof relative === "string" && !relative.startsWith("..") && !path48.isAbsolute(relative) ? await readGitFile(gitDir, relative) : await readAbsoluteGitFile(resolved);
+    const relative = path55.resolve(resolved).startsWith(path55.resolve(gitDir)) ? path55.relative(gitDir, resolved) : resolved;
+    const content = typeof relative === "string" && !relative.startsWith("..") && !path55.isAbsolute(relative) ? await readGitFile(gitDir, relative) : await readAbsoluteGitFile(resolved);
     if (content !== null) {
       hashGitFileContent(hash, gitPath, content);
     }
@@ -18683,13 +18874,13 @@ async function hashResolvedGitPath(repoRoot, gitDir, gitPath, hash) {
 async function hashGitTree(gitDir, relativeDir, hash) {
   let names;
   try {
-    names = await readdir4(path48.join(gitDir, relativeDir));
+    names = await readdir4(path55.join(gitDir, relativeDir));
   } catch {
     return;
   }
   for (const name of names.sort()) {
-    const relativePath = relativeDir ? path48.join(relativeDir, name) : name;
-    const absolutePath = path48.join(gitDir, relativePath);
+    const relativePath = relativeDir ? path55.join(relativeDir, name) : name;
+    const absolutePath = path55.join(gitDir, relativePath);
     let childNames = null;
     try {
       childNames = await readdir4(absolutePath);
@@ -18711,7 +18902,7 @@ async function hashGitTree(gitDir, relativeDir, hash) {
 }
 async function computeGitMetadataFingerprint(repoRoot) {
   const gitDirRel = (await execGit2(repoRoot, ["rev-parse", "--git-dir"])).trim();
-  const gitDir = path48.isAbsolute(gitDirRel) ? gitDirRel : path48.join(repoRoot, gitDirRel);
+  const gitDir = path55.isAbsolute(gitDirRel) ? gitDirRel : path55.join(repoRoot, gitDirRel);
   const hash = createHash13("sha256");
   for (const file of [
     "HEAD",
@@ -18734,8 +18925,8 @@ async function computeGitMetadataFingerprint(repoRoot) {
     const sharedIndex = (await execGit2(repoRoot, ["rev-parse", "--shared-index-path"])).trim();
     if (sharedIndex) {
       const resolved = await resolveGitPath(repoRoot, sharedIndex);
-      const relative = path48.relative(gitDir, resolved);
-      const content = relative && !relative.startsWith("..") && !path48.isAbsolute(relative) ? await readGitFile(gitDir, relative) : await readAbsoluteGitFile(resolved);
+      const relative = path55.relative(gitDir, resolved);
+      const content = relative && !relative.startsWith("..") && !path55.isAbsolute(relative) ? await readGitFile(gitDir, relative) : await readAbsoluteGitFile(resolved);
       if (content !== null) {
         hashGitFileContent(hash, "shared-index", content);
       }
@@ -18746,7 +18937,7 @@ async function computeGitMetadataFingerprint(repoRoot) {
     await hashResolvedGitPath(repoRoot, gitDir, gitPath, hash);
   }
   try {
-    const rootGitPath = path48.join(repoRoot, ".git");
+    const rootGitPath = path55.join(repoRoot, ".git");
     const rootGitInfo = await lstat9(rootGitPath);
     if (rootGitInfo.isFile()) {
       const content = await readAbsoluteGitFile(rootGitPath);
@@ -18762,14 +18953,14 @@ async function computeGitMetadataFingerprint(repoRoot) {
 function resolveExecutionCwdRelative(resourceRoot, cwd) {
   const resolvedCwd = canonicalPath(cwd);
   const resourceCanonical = canonicalPath(resourceRoot);
-  const relative = path48.relative(resourceCanonical, resolvedCwd);
+  const relative = path55.relative(resourceCanonical, resolvedCwd);
   if (relative === "" || relative === ".") {
     return "";
   }
-  if (relative.startsWith("..") || path48.isAbsolute(relative)) {
+  if (relative.startsWith("..") || path55.isAbsolute(relative)) {
     throw new Error(FILE_CHECKPOINT_CWD_OUTSIDE_ROOT);
   }
-  return relative.split(path48.sep).join("/");
+  return relative.split(path55.sep).join("/");
 }
 
 // src/core/transactional/file-checkpoint-isolation.ts
@@ -18791,7 +18982,7 @@ function fileCheckpointIsolationReason(context) {
 
 // src/core/transactional/file-checkpoint-staging.ts
 import { readdir as readdir5, readFile as readFile14, rm as rm7, writeFile as writeFile8 } from "node:fs/promises";
-import path49 from "node:path";
+import path56 from "node:path";
 function isOwnerProcessAlive(pid) {
   try {
     process.kill(pid, 0);
@@ -18801,12 +18992,12 @@ function isOwnerProcessAlive(pid) {
   }
 }
 async function writeOwnerMarker(stagingRoot, marker) {
-  await writeFile8(path49.join(stagingRoot, "owner.json"), `${JSON.stringify(marker)}
+  await writeFile8(path56.join(stagingRoot, "owner.json"), `${JSON.stringify(marker)}
 `, "utf8");
 }
 async function readOwnerMarker(stagingRoot) {
   try {
-    const raw = await readFile14(path49.join(stagingRoot, "owner.json"), "utf8");
+    const raw = await readFile14(path56.join(stagingRoot, "owner.json"), "utf8");
     return JSON.parse(raw.trim());
   } catch {
     return null;
@@ -18824,7 +19015,7 @@ async function collectDeadOwnerStaging(parentDir) {
     if (!name.startsWith("belay-file-checkpoint-")) {
       continue;
     }
-    const stagingRoot = path49.join(parentDir, name);
+    const stagingRoot = path56.join(parentDir, name);
     const marker = await readOwnerMarker(stagingRoot);
     if (!marker) {
       dead.push(stagingRoot);
@@ -18856,7 +19047,7 @@ import {
   writeFile as writeFile9
 } from "node:fs/promises";
 import os4 from "node:os";
-import path50 from "node:path";
+import path57 from "node:path";
 var FILE_CHECKPOINT_COPY_FAILED = "file_checkpoint_copy_failed";
 async function chmodSafe2(target, mode) {
   try {
@@ -18866,7 +19057,7 @@ async function chmodSafe2(target, mode) {
   }
 }
 async function copyRegularFile(sourcePath, destinationPath, mode, strategy) {
-  await mkdir12(path50.dirname(destinationPath), { recursive: true });
+  await mkdir12(path57.dirname(destinationPath), { recursive: true });
   if (strategy === "clonefile" && fsConstants2.COPYFILE_FICLONE !== void 0) {
     try {
       await copyFile4(sourcePath, destinationPath, fsConstants2.COPYFILE_FICLONE);
@@ -18892,7 +19083,7 @@ async function copyNode(sourceRoot, destinationRoot, relativePath, strategy) {
     return strategy;
   }
   if (info.isSymbolicLink()) {
-    await mkdir12(path50.dirname(destinationPath), { recursive: true });
+    await mkdir12(path57.dirname(destinationPath), { recursive: true });
     await symlink4(await readlink5(sourcePath), destinationPath);
     return strategy;
   }
@@ -18948,9 +19139,9 @@ async function mapWithConcurrency(items, concurrency, worker) {
 async function probeFileCloneStrategy() {
   let tempDir = null;
   try {
-    tempDir = await mkdtemp4(path50.join(os4.tmpdir(), "belay-clone-probe-"));
-    const source = path50.join(tempDir, "source.txt");
-    const destination = path50.join(tempDir, "dest.txt");
+    tempDir = await mkdtemp4(path57.join(os4.tmpdir(), "belay-clone-probe-"));
+    const source = path57.join(tempDir, "source.txt");
+    const destination = path57.join(tempDir, "dest.txt");
     await writeFile9(source, "probe\n");
     if (fsConstants2.COPYFILE_FICLONE_FORCE !== void 0) {
       try {
@@ -19103,11 +19294,11 @@ async function protectedRootState(root) {
   return `directory:${node.hash}:${index.treeHash}`;
 }
 function executionProtectedRoot(resourceRoot, executionRoot, protectedRoot) {
-  const relative = path51.relative(path51.resolve(resourceRoot), path51.resolve(protectedRoot));
-  if (relative === "" || relative.startsWith("..") || path51.isAbsolute(relative)) {
+  const relative = path58.relative(path58.resolve(resourceRoot), path58.resolve(protectedRoot));
+  if (relative === "" || relative.startsWith("..") || path58.isAbsolute(relative)) {
     return null;
   }
-  return path51.join(executionRoot, relative);
+  return path58.join(executionRoot, relative);
 }
 async function captureProtectedRootStates(resourceRoot, executionRoot, protectedRoots) {
   const states = /* @__PURE__ */ new Map();
@@ -19132,15 +19323,15 @@ async function directoryByteSize(root, deadlineMs) {
   }
   let total = 0;
   for (const name of await readdir6(root)) {
-    total += await directoryByteSize(path51.join(root, name), deadlineMs);
+    total += await directoryByteSize(path58.join(root, name), deadlineMs);
   }
   return total;
 }
 async function copyGitMetadataDirectory(sourceRoot, destinationRoot) {
   const gitDirRel = (await execGit2(sourceRoot, ["rev-parse", "--git-dir"])).trim();
-  const sourceGitDir = path51.isAbsolute(gitDirRel) ? gitDirRel : path51.join(sourceRoot, gitDirRel);
-  const relativeGitDir = path51.relative(path51.resolve(sourceRoot), path51.resolve(sourceGitDir));
-  const destinationGitDir = relativeGitDir && !relativeGitDir.startsWith("..") ? path51.join(destinationRoot, relativeGitDir) : path51.join(destinationRoot, ".git");
+  const sourceGitDir = path58.isAbsolute(gitDirRel) ? gitDirRel : path58.join(sourceRoot, gitDirRel);
+  const relativeGitDir = path58.relative(path58.resolve(sourceRoot), path58.resolve(sourceGitDir));
+  const destinationGitDir = relativeGitDir && !relativeGitDir.startsWith("..") ? path58.join(destinationRoot, relativeGitDir) : path58.join(destinationRoot, ".git");
   await cp(sourceGitDir, destinationGitDir, { recursive: true, force: true });
 }
 async function prepareDirtyGitSnapshot(context) {
@@ -19149,7 +19340,7 @@ async function prepareDirtyGitSnapshot(context) {
   const quotas = context.fileCheckpoint;
   const deadlineMs = Date.now() + quotas.prepareTimeoutMs;
   await removeDeadOwnerStaging(os5.tmpdir());
-  const stagingRoot = await mkdtemp5(path51.join(os5.tmpdir(), "belay-file-checkpoint-"));
+  const stagingRoot = await mkdtemp5(path58.join(os5.tmpdir(), "belay-file-checkpoint-"));
   await writeOwnerMarker(stagingRoot, {
     version: 1,
     pid: process.pid,
@@ -19157,8 +19348,8 @@ async function prepareDirtyGitSnapshot(context) {
     resourceRoot: context.repoRoot,
     backend: "file_checkpoint"
   });
-  const baselineRoot = path51.join(stagingRoot, "baseline");
-  const executionRoot = path51.join(stagingRoot, "execution");
+  const baselineRoot = path58.join(stagingRoot, "baseline");
+  const executionRoot = path58.join(stagingRoot, "execution");
   try {
     resolveExecutionCwdRelative(context.repoRoot, context.cwd);
     const sourceGitMetadataFingerprint = await computeGitMetadataFingerprint(context.repoRoot);
@@ -19192,7 +19383,7 @@ async function prepareDirtyGitSnapshot(context) {
       throw new Error(FILE_CHECKPOINT_SOURCE_CHANGED);
     }
     await writeFile10(
-      path51.join(stagingRoot, "baseline-index.json"),
+      path58.join(stagingRoot, "baseline-index.json"),
       `${JSON.stringify(baselineIndex)}
 `,
       "utf8"
@@ -19242,7 +19433,7 @@ async function prepareNonGitSnapshot(context) {
   const quotas = context.fileCheckpoint;
   const deadlineMs = Date.now() + quotas.prepareTimeoutMs;
   await removeDeadOwnerStaging(os5.tmpdir());
-  const stagingRoot = await mkdtemp5(path51.join(os5.tmpdir(), "belay-file-checkpoint-"));
+  const stagingRoot = await mkdtemp5(path58.join(os5.tmpdir(), "belay-file-checkpoint-"));
   await writeOwnerMarker(stagingRoot, {
     version: 1,
     pid: process.pid,
@@ -19250,8 +19441,8 @@ async function prepareNonGitSnapshot(context) {
     resourceRoot: context.repoRoot,
     backend: "file_checkpoint"
   });
-  const baselineRoot = path51.join(stagingRoot, "baseline");
-  const executionRoot = path51.join(stagingRoot, "execution");
+  const baselineRoot = path58.join(stagingRoot, "baseline");
+  const executionRoot = path58.join(stagingRoot, "execution");
   try {
     resolveExecutionCwdRelative(context.repoRoot, context.cwd);
     const resourceIdentity = await currentRecoveryResourceIdentity(context.repoRoot, "directory");
@@ -19280,7 +19471,7 @@ async function prepareNonGitSnapshot(context) {
       throw new Error(FILE_CHECKPOINT_SOURCE_CHANGED);
     }
     await writeFile10(
-      path51.join(stagingRoot, "baseline-index.json"),
+      path58.join(stagingRoot, "baseline-index.json"),
       `${JSON.stringify(baselineIndex)}
 `,
       "utf8"
@@ -19633,10 +19824,10 @@ async function selectTransactionalBackend(context) {
 }
 
 // src/core/transactional/diff-evaluator.ts
-import path52 from "node:path";
+import path59 from "node:path";
 init_path_utils();
 function categorizeChange(change, ctx) {
-  const absolutePath = canonicalPath(path52.join(ctx.repoRoot, change.relativePath));
+  const absolutePath = canonicalPath(path59.join(ctx.repoRoot, change.relativePath));
   if (!pathWithinRoot(ctx.repoRoot, absolutePath)) {
     return "repo_outside";
   }
@@ -20230,7 +20421,7 @@ async function notifyDeny(config, event) {
 init_path_utils();
 
 // src/adapters/layouts/protected-paths.ts
-import path53 from "node:path";
+import path60 from "node:path";
 function protectedArtifactRoots(layout, repoRoot, controlPlaneDir) {
   const roots = [
     layout.configPath(repoRoot),
@@ -20242,7 +20433,7 @@ function protectedArtifactRoots(layout, repoRoot, controlPlaneDir) {
   if (controlPlaneDir) {
     roots.push(controlPlaneDir);
   }
-  return roots.map((entry) => path53.resolve(entry));
+  return roots.map((entry) => path60.resolve(entry));
 }
 
 // src/adapters/shared/gate-runtime.ts
@@ -20295,8 +20486,8 @@ function createDefaultGateRuntimeDeps() {
       return loadJsonFile(configPath, {});
     },
     async appendAudit(ctx, event) {
-      const auditPath = path54.join(ctx.repoRoot, ctx.config.audit.logPath);
-      await mkdir14(path54.dirname(auditPath), { recursive: true });
+      const auditPath = path61.join(ctx.repoRoot, ctx.config.audit.logPath);
+      await mkdir14(path61.dirname(auditPath), { recursive: true });
       const provenance = auditProvenance(ctx.config);
       const record = {
         timestamp: (/* @__PURE__ */ new Date()).toISOString(),
@@ -20329,7 +20520,7 @@ function createDefaultGateRuntimeDeps() {
       };
     },
     async writeApprovals(filePath, state) {
-      await mkdir14(path54.dirname(filePath), { recursive: true });
+      await mkdir14(path61.dirname(filePath), { recursive: true });
       await writeFile11(filePath, `${JSON.stringify(compactApprovals(state), null, 2)}
 `, "utf8");
     },
@@ -20491,7 +20682,7 @@ function deriveWorkspaceRootScopeHint(params) {
   if (!targetPath) {
     return void 0;
   }
-  const candidateRoot = canonicalPath(path54.dirname(targetPath));
+  const candidateRoot = canonicalPath(path61.dirname(targetPath));
   const validation = validateTrustedWorkspaceRootCandidate({
     candidatePath: candidateRoot,
     repoRoot: action.repoRoot,
@@ -21101,6 +21292,7 @@ async function gateDecisionToVerdict(ctx, deps, kind, result, auditExtras = {})
     event: auditEvent,
     sourceEvent,
     kind,
+    repoLabel: path61.basename(ctx.repoRoot),
     ...auditExtras.toolInvocationCorrelationId ? { toolInvocationCorrelationId: auditExtras.toolInvocationCorrelationId } : {},
     fingerprint: result.fingerprint,
     summary: result.normalizedCommand ?? result.summary ?? "",
@@ -21571,18 +21763,18 @@ async function appendObservedAudit(ctx, deps, eventName, payload) {
 
 // src/adapters/shared/repo-root.ts
 import { existsSync as existsSync17 } from "node:fs";
-import path55 from "node:path";
+import path62 from "node:path";
 function belayConfigPath(current, adapterName) {
   if (adapterName === "cursor") {
-    return path55.join(current, ".cursor", "belay.config.json");
+    return path62.join(current, ".cursor", "belay.config.json");
   }
   if (adapterName === "claude") {
-    return path55.join(current, ".claude", "belay.config.json");
+    return path62.join(current, ".claude", "belay.config.json");
   }
-  return path55.join(current, ".codex", "belay.config.json");
+  return path62.join(current, ".codex", "belay.config.json");
 }
 function markerMatches(current, marker, layout) {
-  const markerPath = path55.join(current, marker);
+  const markerPath = path62.join(current, marker);
   if (!existsSync17(markerPath)) {
     return false;
   }
@@ -21592,16 +21784,16 @@ function markerMatches(current, marker, layout) {
   return true;
 }
 function findRepoRoot(startPath, layout) {
-  let current = path55.resolve(startPath);
+  let current = path62.resolve(startPath);
   while (true) {
     for (const marker of layout.repoRootMarkers) {
       if (markerMatches(current, marker, layout)) {
         return current;
       }
     }
-    const parent = path55.dirname(current);
+    const parent = path62.dirname(current);
     if (parent === current) {
-      return path55.resolve(startPath);
+      return path62.resolve(startPath);
     }
     current = parent;
   }
@@ -21635,7 +21827,7 @@ function resolveCodexActionCwd(payload, fallbackCwd = process2.cwd(), options =
   const nestedCwd = options.includeToolInputCwd ? nonEmptyPathString(toolInput?.working_directory) ?? nonEmptyPathString(toolInput?.cwd) : void 0;
   const payloadCwd = nonEmptyPathString(payload.cwd);
   const workspaceRoot = Array.isArray(payload.workspace_roots) ? payload.workspace_roots.map(nonEmptyPathString).find(Boolean) : void 0;
-  return path56.resolve(nestedCwd ?? payloadCwd ?? workspaceRoot ?? fallbackCwd);
+  return path63.resolve(nestedCwd ?? payloadCwd ?? workspaceRoot ?? fallbackCwd);
 }
 async function loadRuntimeContext(cwd) {
   const repoRoot = findRepoRoot(cwd, codexLayout);