@node9/proxy 2.14.0 → 2.14.1

package/dist/dashboard.mjs

@@ -848,6 +848,19 @@ function parseShared(command) {
   astCache.set(command, parsed);
   return parsed;
 }
+function byteOffsetToCharIndex(command) {
+  if (!/[^\u0000-\u007F]/.test(command)) return null;
+  const map = /* @__PURE__ */ new Map();
+  let byte = 0;
+  for (let i = 0; i < command.length; ) {
+    map.set(byte, i);
+    const cp = command.codePointAt(i);
+    byte += cp < 128 ? 1 : cp < 2048 ? 2 : cp < 65536 ? 3 : 4;
+    i += cp > 65535 ? 2 : 1;
+  }
+  map.set(byte, command.length);
+  return (b) => map.get(b) ?? -1;
+}
 function cachedNormalize(command, compute) {
   const hit = normalizeCache.get(command);
   if (hit !== void 0) {
@@ -877,6 +890,8 @@ function normalizeCommandForPolicyImpl(command) {
   const f = parseShared(command);
   if (f === PARSE_FAIL) return { posix: command, separator: command };
   try {
+    const toCharIndex = byteOffsetToCharIndex(command);
+    const at = (byteOffset) => toCharIndex === null ? byteOffset : toCharIndex(byteOffset);
     const strips = [];
     const rewrites = [];
     const quoteOnlyRewrites = [];
@@ -897,8 +912,9 @@ function normalizeCommandForPolicyImpl(command) {
         const quotedNode = nextParts[0];
         const nt = syntax.NodeType(quotedNode);
         const markStrip = () => {
-          const s = next.Pos().Offset();
-          const e = next.End().Offset();
+          const s = at(next.Pos().Offset());
+          const e = at(next.End().Offset());
+          if (s < 0 || e < 0) return;
           strips.push([s, e]);
           msgSpans.add(`${s}:${e}`);
         };
@@ -915,8 +931,9 @@ function normalizeCommandForPolicyImpl(command) {
         }
       }
       for (const arg of args) {
-        const s = arg.Pos().Offset();
-        const e = arg.End().Offset();
+        const s = at(arg.Pos().Offset());
+        const e = at(arg.End().Offset());
+        if (s < 0 || e < 0) continue;
         if (msgSpans.has(`${s}:${e}`)) continue;
         const resolved = resolveWordLiteral(arg);
         if (resolved === null) continue;
@@ -1178,7 +1195,7 @@ function analyzeFsOperationImpl(command, depth = 0) {
         return result?.verdict !== "block";
       }
       if (nodeType !== "CallExpr") return true;
-      const { name, flags, paths, words } = extractLiteralArgs(n);
+      const { name, flags, paths, words, args } = extractLiteralArgs(n);
       if (!name) return true;
       if (name === "rm") {
         const flagStr = flags.join("").toLowerCase();
@@ -1218,7 +1235,7 @@ function analyzeFsOperationImpl(command, depth = 0) {
           return true;
         }
       }
-      const readPaths = FS_READ_TOOLS.has(name) ? paths : wrappedReadPaths(words, name);
+      const readPaths = FS_READ_TOOLS.has(name) ? [...readTargets(name, args, flags, words, 1), ...flagOperandFiles(name, words, 1)] : wrappedReadPaths(words, name);
       if (readPaths) {
         for (const p of readPaths) {
           result = stricter(result, matchSensitivePath2(p));
@@ -1254,9 +1271,22 @@ function flagIs(w, names) {
   const f = flagInfo(w);
   return names.some((n) => n.startsWith("--") ? f.long === n : f.letter === n);
 }
-function operandOf(a, names) {
+function operandOf(a, names, valueLetters) {
   if (!names || a.afterFlag === null) return false;
-  return flagIs(a.afterFlag, names) && flagInfo(a.afterFlag).attached === null;
+  const w = a.afterFlag;
+  if (!w.startsWith("--") && valueLetters) {
+    const letters = w.slice(1);
+    for (let i = 0; i < letters.length; i++) {
+      if (!valueLetters.includes(letters[i])) continue;
+      return i === letters.length - 1 && names.includes(letters[i]);
+    }
+    return false;
+  }
+  if (w.startsWith("--") && !w.includes("=")) {
+    const longs = names.filter((n) => n.startsWith("--"));
+    if (longs.some((n) => n === w || w.length >= 3 && n.startsWith(w))) return true;
+  }
+  return flagIs(w, names) && flagInfo(w).attached === null;
 }
 function resolveCopyShape(words, h) {
   const verb = baseWord(words[h]);
@@ -1280,7 +1310,7 @@ function findStartPoints(words, h) {
   const k = words.findIndex((w, i) => i > h && w !== null && FIND_EXEC_FLAGS.has(w));
   if (k < 0) return { k, starts: [] };
   const firstPredicate = words.findIndex(
-    (w, i) => i > h && w !== null && w.startsWith("-") && !FIND_OPTIONS.has(w)
+    (w, i) => i > h && w !== null && w !== "--" && w.startsWith("-") && !FIND_OPTIONS.has(w)
   );
   const end = firstPredicate > h ? firstPredicate : k;
   return { k, starts: positionalAfter(words, h + 1, end) };
@@ -1300,14 +1330,35 @@ function copySourcePaths(words) {
   const { shape, last } = r;
   const args = positionedArgs(words, last + 1);
   const tail = words.slice(last + 1);
-  const skipped = (a) => operandOf(a, shape.skipFlags);
-  const targetDir = shape.targetDirFlag === true && tail.some((w) => w !== null && w.startsWith("-") && flagIs(w, ["t", "--target-directory"]));
-  const targetOperand = (a) => targetDir && operandOf(a, ["t", "--target-directory"]);
+  const copyOptionsEnd = tail.findIndex((w) => w === "--");
+  const copyPastOptions = (a) => copyOptionsEnd >= 0 && a.argv > last + 1 + copyOptionsEnd;
+  const skipped = (a) => !copyPastOptions(a) && operandOf(a, shape.skipFlags, shape.valueLetters);
+  const firstValueLetter = (w) => {
+    const letters = w.slice(1);
+    for (let i = 0; i < letters.length; i++) {
+      if ((shape.valueLetters ?? []).includes(letters[i]))
+        return { letter: letters[i], last: i === letters.length - 1 };
+    }
+    return null;
+  };
+  const isTargetDirFlag = (w) => {
+    if (w.startsWith("--")) {
+      const name = w.includes("=") ? w.slice(0, w.indexOf("=")) : w;
+      return name.length >= 3 && "--target-directory".startsWith(name);
+    }
+    return firstValueLetter(w)?.letter === "t";
+  };
+  const targetDir = shape.targetDirFlag === true && tail.some((w) => w !== null && w.startsWith("-") && isTargetDirFlag(w));
+  const targetTakesNextWord = (w) => {
+    if (w.startsWith("--"))
+      return !w.includes("=") && w.length >= 3 && "--target-directory".startsWith(w);
+    const f = firstValueLetter(w);
+    return f !== null && f.letter === "t" && f.last;
+  };
+  const targetOperand = (a) => targetDir && a.afterFlag !== null && !copyPastOptions(a) && targetTakesNextWord(a.afterFlag);
   const lastOperand = [...tail].reverse().find((w) => w === null || !w.startsWith("-"));
   const dynamicDest = lastOperand === null;
   const destIsLastOperand = (shape.source === "allButLast" || shape.source === "first") && !targetDir && !dynamicDest;
-  if (destIsLastOperand && typeof lastOperand === "string" && matchSensitivePath2(lastOperand))
-    return [];
   let src;
   switch (shape.source) {
     case "all":
@@ -1317,11 +1368,17 @@ function copySourcePaths(words) {
       src = targetDir ? args : args.slice(0, 1);
       break;
     case "flagOperand": {
-      const inline = tail.filter((w) => w !== null && w.startsWith("--")).map((w) => flagInfo(w)).filter((f) => f.attached !== null && (shape.sourceFlags ?? []).includes(f.long ?? "")).map((f) => f.attached);
+      const namesSource = (f) => {
+        const names = shape.sourceFlags ?? [];
+        if (f.long !== null)
+          return names.some(
+            (n) => n.startsWith("--") && (n === f.long || f.long.length >= 3 && n.startsWith(f.long))
+          );
+        return f.letter !== null && names.includes(f.letter);
+      };
+      const inline = tail.filter((w) => w !== null && w.startsWith("-")).map((w) => flagInfo(w)).filter((f) => f.attached !== null && namesSource(f)).map((f) => f.attached);
       return [
-        ...args.filter(
-          (a) => flagIs(a.afterFlag, shape.sourceFlags ?? []) && flagInfo(a.afterFlag).attached === null
-        ).map((a) => a.value),
+        ...args.filter((a) => !copyPastOptions(a) && operandOf(a, shape.sourceFlags, shape.valueLetters)).map((a) => a.value),
         ...inline
       ];
     }
@@ -1332,7 +1389,14 @@ function copySourcePaths(words) {
       src = targetDir || dynamicDest ? args : args.slice(0, -1);
       break;
   }
-  return src.filter((a) => !skipped(a) && !targetOperand(a)).map((a) => a.value);
+  const sources = src.filter((a) => !skipped(a) && !targetOperand(a)).map((a) => a.value);
+  if (destIsLastOperand && typeof lastOperand === "string" && matchSensitivePath2(lastOperand)) {
+    const jailedSources = sources.filter((p) => matchSensitivePath2(p));
+    const dirOf = (p) => /[\\/]/.test(p) ? p.replace(/[\\/][^\\/]*$/, "") : "";
+    if (jailedSources.length === 0) return [];
+    if (jailedSources.every((p) => dirOf(p) === dirOf(lastOperand))) return [];
+  }
+  return sources;
 }
 function archiveInputs(kind, args, tail) {
   const first = args[0];
@@ -1344,13 +1408,17 @@ function archiveInputs(kind, args, tail) {
     const writing = /[cruA]/.test(bareKey ? first.value : "") || /(^|\s)-[a-zA-Z]*[cruA]|--create|--append|--update|--concatenate/.test(flagsText);
     if (extracting && !writing) return [];
     void mode;
-    let i = 0;
-    if (bareKey) {
-      i = 1;
-      const next = args[1];
-      if (first.value.includes("f") && next && next.afterFlag === null) i = 2;
-    }
-    return args.slice(i);
+    if (!bareKey) return args;
+    let i = 1;
+    const fromDirs = [];
+    for (const ch of first.value) {
+      if (!TAR_VALUE_LETTERS.includes(ch)) continue;
+      const operand = args[i];
+      if (!operand || operand.afterFlag !== null) break;
+      i += 1;
+      if (ch === "C") fromDirs.push(operand);
+    }
+    return [...fromDirs, ...args.slice(i)];
   }
   if (kind === "zip") return first && first.afterFlag === "-" ? args : args.slice(1);
   if (kind === "ar") return bareKey ? args.slice(2) : args.slice(1);
@@ -1377,6 +1445,138 @@ function matchSensitivePath2(p) {
 function baseWord(w) {
   return (w ?? "").split("/").pop()?.toLowerCase() ?? "";
 }
+function namesFlag(name, candidates, known) {
+  if (candidates.has(name)) return true;
+  if (!name.startsWith("--") || name.length < 3) return false;
+  if (known?.has(name)) return false;
+  for (const c of candidates) if (c.startsWith(name)) return true;
+  return false;
+}
+function knownLongFlags(verb) {
+  const out = /* @__PURE__ */ new Set();
+  const shape = PATTERN_VERBS[verb];
+  if (shape) {
+    for (const set of [shape.takesValue, shape.noValue, shape.patternFlags, shape.noPatternFlags])
+      for (const f of set) if (f.startsWith("--")) out.add(f);
+  }
+  for (const f of FILE_OPERAND_FLAGS[verb] ?? []) if (f.startsWith("--")) out.add(f);
+  return out;
+}
+function flagNamesOf(token, shape) {
+  if (token.startsWith("--")) {
+    const eq = token.indexOf("=");
+    return [eq > 0 ? token.slice(0, eq) : token];
+  }
+  const out = [];
+  for (const c of token.slice(1)) {
+    const name = `-${c}`;
+    out.push(name);
+    if (shape?.takesValue.has(name)) break;
+  }
+  return out;
+}
+function flagEffect(token, shape, known) {
+  if (token === "--") return NONE;
+  if (/^-+$/.test(token)) return UNKNOWN;
+  if (/^-\d+$/.test(token)) return NONE;
+  if (token.startsWith("--")) {
+    if (token.includes("=")) return NONE;
+    const takes = namesFlag(token, shape.takesValue, known);
+    const none = namesFlag(token, shape.noValue, known);
+    if (takes && none) return UNKNOWN;
+    if (takes) return { kind: "takes", flag: token };
+    if (none) return NONE;
+    return UNKNOWN;
+  }
+  const letters = token.slice(1);
+  if (!letters) return NONE;
+  for (let i = 0; i < letters.length; i++) {
+    const name = `-${letters[i]}`;
+    if (shape.takesValue.has(name)) {
+      return i === letters.length - 1 ? { kind: "takes", flag: name } : NONE;
+    }
+    if (!shape.noValue.has(name)) return UNKNOWN;
+  }
+  return NONE;
+}
+function readTargets(verb, args, flags, words = [], from = 1) {
+  const shape = PATTERN_VERBS[verb];
+  if (!shape) return args.map((a) => a.value);
+  const known = knownLongFlags(verb);
+  const names = flags.flatMap((f) => flagNamesOf(f, shape));
+  const patternElsewhere = names.some(
+    (n) => namesFlag(n, shape.patternFlags, known) || namesFlag(n, shape.noPatternFlags, known)
+  );
+  const excused = /* @__PURE__ */ new Set();
+  const fileFlags = FILE_OPERAND_FLAGS[verb];
+  const optionsEnd = words.findIndex((w, i) => i >= from && w === "--");
+  const pastOptions = (a) => optionsEnd >= 0 && a.argv > optionsEnd;
+  for (const a of args) {
+    if (a.afterFlag === null || pastOptions(a)) continue;
+    const e = flagEffect(a.afterFlag, shape, known);
+    if (e.kind !== "takes") continue;
+    if (fileFlags && namesFlag(e.flag, fileFlags, known)) continue;
+    excused.add(a);
+  }
+  const patternArgv = (() => {
+    for (let i = from; i < words.length; i++) {
+      const w = words[i];
+      if (w === null) return -1;
+      if (w === "--") return i + 1;
+      if (w.startsWith("-")) {
+        const e = flagEffect(w, shape, known);
+        if (e.kind === "takes") i += 1;
+        else if (e.kind === "unknown") return -1;
+        continue;
+      }
+      return i;
+    }
+    return -1;
+  })();
+  if (!patternElsewhere && patternArgv >= 0) {
+    const a = args.find((x) => x.argv === patternArgv);
+    if (a) excused.add(a);
+  }
+  return args.filter((a) => !excused.has(a)).map((a) => a.value);
+}
+function flagOperandFiles(verb, words, from) {
+  const flags = FILE_OPERAND_FLAGS[verb];
+  if (!flags) return [];
+  const known = knownLongFlags(verb);
+  const out = [];
+  for (let i = from; i < words.length; i++) {
+    const w = words[i];
+    if (w === null || !w.startsWith("-") || w === "--") continue;
+    if (w.startsWith("--")) {
+      const eq = w.indexOf("=");
+      if (eq <= 0) continue;
+      const name = w.slice(0, eq);
+      const value = w.slice(eq + 1);
+      if (!value) continue;
+      if (namesFlag(name, flags, known)) {
+        out.push(value);
+        continue;
+      }
+      const shape2 = PATTERN_VERBS[verb];
+      if (!shape2) continue;
+      const recognised = namesFlag(name, shape2.takesValue, known) || namesFlag(name, shape2.noValue, known) || namesFlag(name, shape2.patternFlags, known) || namesFlag(name, shape2.noPatternFlags, known);
+      if (!recognised) out.push(value);
+      continue;
+    }
+    const shape = PATTERN_VERBS[verb];
+    const letters = w.slice(1);
+    for (let j = 0; j < letters.length; j++) {
+      const name = `-${letters[j]}`;
+      const isFileFlag = flags.has(name);
+      const argTaking = isFileFlag || (shape?.takesValue.has(name) ?? false) || (READER_VALUE_LETTERS[verb] ?? []).includes(letters[j]);
+      if (!argTaking) continue;
+      const attached = letters.slice(j + 1);
+      if (isFileFlag && attached) out.push(attached);
+      break;
+    }
+  }
+  return out;
+}
 function wrappedReadPaths(words, name) {
   if (name === "find") {
     const { k, starts } = findStartPoints(words, 0);
@@ -1384,7 +1584,14 @@ function wrappedReadPaths(words, name) {
   }
   if (!COMMAND_WRAPPERS.has(name) && !RUNNER_WRAPPERS.has(name)) return null;
   const h = unwrapCommandHead(words);
-  return h > 0 && isReaderWord(words[h] ?? null) ? positionalAfter(words, h + 1) : null;
+  if (h <= 0 || !isReaderWord(words[h] ?? null)) return null;
+  const head = baseWord(words[h]);
+  const rest = words.slice(h + 1);
+  const restFlags = rest.filter((w) => w !== null && w.startsWith("-"));
+  return [
+    ...readTargets(head, positionedArgs(words, h + 1), restFlags, words, h + 1),
+    ...flagOperandFiles(head, words, h + 1)
+  ];
 }
 function literalShellPayload(words, name) {
   const h = COMMAND_WRAPPERS.has(name) || RUNNER_WRAPPERS.has(name) ? unwrapCommandHead(words) : 0;
@@ -1729,7 +1936,7 @@ function matchCanaryArgs(args, values) {
     return null;
   }
 }
-var B58, B58_INDEX, XPRV_VERSIONS, ASSIGNMENT_CONTEXT_RE, DLP_STOPWORDS, DLP_PATTERNS, DLP_PATTERNS_GLOBAL, SENSITIVE_PATH_PATTERNS, MAX_DEPTH, MAX_STRING_BYTES, MAX_JSON_PARSE_BYTES, MAX_REGEX_LENGTH, REGEX_CACHE_MAX, regexCache, FORBIDDEN_PATH_SEGMENTS, syntax, sharedParser, MESSAGE_FLAGS, SHELL_INTERPRETERS, DOWNLOAD_CMDS, NORMALIZE_CACHE_MAX, normalizeCache, AST_CACHE_MAX, astCache, PARSE_FAIL, FS_READ_TOOLS, SCP_VALUE_FLAGS, RSYNC_SKIP, COPY_VERBS, TAR_MODE_WORD, COPY_VERB_HEADS, FS_OP_PRESCREEN_RE, HOME_CACHE_ALLOWLIST, SENSITIVE_PATH_RULES, BASH_TOOL_NAMES, AST_FS_REGEX_RULES, COMMAND_WRAPPERS, INLINE_INTERPRETER, RUNNER_WRAPPERS, WRAPPER_TAKES_TARGET, FIND_EXEC_FLAGS, FS_OP_CACHE_MAX, fsOpCache, REDIR_TRUNCATE_OPS, REDIR_FILE_IN_OPS, REDIR_HEREDOC_OPS, FIND_OPTIONS, COPY_RULE_OF, isReaderWord, positionalAfter, SOURCE_COMMANDS, SSRF_MAX_HOST, METADATA_ADDRESSES, METADATA_HOSTNAMES, v4Octets, aws_default, bash_safe_default, docker_default, filesystem_default, github_default, k8s_default, mongodb_default, postgres_default, project_jail_default, redis_default, BUILTIN_SHIELDS, CANARY_MIN_LENGTH, MAX_TEXT, MAX_DEPTH2, MAX_JSON_PARSE, URL_DEPTH, B64_DEPTH, MIN_SEGMENT, SEPARATORS, stripSeparators, looksText, CANARY_DECODERS, VIEWS, LONG_OUTPUT_THRESHOLD_BYTES;
+var B58, B58_INDEX, XPRV_VERSIONS, ASSIGNMENT_CONTEXT_RE, DLP_STOPWORDS, DLP_PATTERNS, DLP_PATTERNS_GLOBAL, SENSITIVE_PATH_PATTERNS, MAX_DEPTH, MAX_STRING_BYTES, MAX_JSON_PARSE_BYTES, MAX_REGEX_LENGTH, REGEX_CACHE_MAX, regexCache, FORBIDDEN_PATH_SEGMENTS, syntax, sharedParser, MESSAGE_FLAGS, SHELL_INTERPRETERS, DOWNLOAD_CMDS, NORMALIZE_CACHE_MAX, normalizeCache, AST_CACHE_MAX, astCache, PARSE_FAIL, FS_READ_TOOLS, GREP_SHAPE, PATTERN_VERBS, PATTERN_VERB_NAMES, GREP_FILE_OPERANDS, READER_VALUE_LETTERS, FILE_OPERAND_FLAGS, SCP_VALUE_FLAGS, TAR_VALUE_LETTERS, ZIP_VALUE_LETTERS, RSYNC_VALUE_LETTERS, RSYNC_SKIP, CP_VALUE_LETTERS, INSTALL_VALUE_LETTERS, COPY_VERBS, TAR_MODE_WORD, COPY_VERB_HEADS, FS_OP_PRESCREEN_RE, HOME_CACHE_ALLOWLIST, SENSITIVE_PATH_RULES, BASH_TOOL_NAMES, AST_FS_REGEX_RULES, COMMAND_WRAPPERS, INLINE_INTERPRETER, RUNNER_WRAPPERS, WRAPPER_TAKES_TARGET, FIND_EXEC_FLAGS, FS_OP_CACHE_MAX, fsOpCache, REDIR_TRUNCATE_OPS, REDIR_FILE_IN_OPS, REDIR_HEREDOC_OPS, FIND_OPTIONS, COPY_RULE_OF, isReaderWord, positionalAfter, NONE, UNKNOWN, SOURCE_COMMANDS, SSRF_MAX_HOST, METADATA_ADDRESSES, METADATA_HOSTNAMES, v4Octets, aws_default, bash_safe_default, docker_default, filesystem_default, github_default, k8s_default, mongodb_default, postgres_default, project_jail_default, redis_default, BUILTIN_SHIELDS, CANARY_MIN_LENGTH, MAX_TEXT, MAX_DEPTH2, MAX_JSON_PARSE, URL_DEPTH, B64_DEPTH, MIN_SEGMENT, SEPARATORS, stripSeparators, looksText, CANARY_DECODERS, VIEWS, LONG_OUTPUT_THRESHOLD_BYTES;
 var init_dist = __esm({
   "packages/policy-engine/dist/index.mjs"() {
     "use strict";
@@ -2330,7 +2537,345 @@ var init_dist = __esm({
       "nl",
       "dd"
     ]);
+    GREP_SHAPE = {
+      takesValue: /* @__PURE__ */ new Set([
+        "-A",
+        "-B",
+        "-C",
+        "-D",
+        "-d",
+        "-e",
+        "-f",
+        "-m",
+        "--after-context",
+        "--before-context",
+        "--binary-files",
+        "--context",
+        "--devices",
+        "--directories",
+        "--exclude",
+        "--exclude-dir",
+        "--exclude-from",
+        "--file",
+        "--include",
+        "--label",
+        "--max-count",
+        "--regexp"
+      ]),
+      noValue: /* @__PURE__ */ new Set([
+        "-E",
+        "-F",
+        "-G",
+        "-P",
+        "-i",
+        "-y",
+        "-v",
+        "-V",
+        "-w",
+        "-x",
+        "-c",
+        "-l",
+        "-L",
+        "-o",
+        "-q",
+        "-s",
+        "-b",
+        "-H",
+        "-h",
+        "-n",
+        "-T",
+        "-Z",
+        "-z",
+        "-R",
+        "-r",
+        "-U",
+        "-u",
+        "-I",
+        "-a",
+        "--basic-regexp",
+        "--binary",
+        "--byte-offset",
+        "--color",
+        "--colour",
+        "--count",
+        "--dereference-recursive",
+        "--extended-regexp",
+        "--files-with-matches",
+        "--files-without-match",
+        "--fixed-strings",
+        "--help",
+        "--ignore-case",
+        "--initial-tab",
+        "--invert-match",
+        "--line-buffered",
+        "--line-number",
+        "--line-regexp",
+        "--no-filename",
+        "--no-group-separator",
+        "--no-ignore-case",
+        "--no-messages",
+        "--null",
+        "--null-data",
+        "--only-matching",
+        "--perl-regexp",
+        "--quiet",
+        "--recursive",
+        "--silent",
+        "--text",
+        "--version",
+        "--with-filename",
+        "--word-regexp"
+      ]),
+      patternFlags: /* @__PURE__ */ new Set(["-e", "--regexp"]),
+      noPatternFlags: /* @__PURE__ */ new Set(["-f", "--file"])
+    };
+    PATTERN_VERBS = {
+      grep: GREP_SHAPE,
+      // /usr/bin/egrep and /usr/bin/fgrep are 41-byte shell wrappers that exec
+      // `grep -E` and `grep -F`. Read in full, not assumed.
+      egrep: GREP_SHAPE,
+      fgrep: GREP_SHAPE,
+      // ripgrep 14.1.1, complete from its own --help. An earlier comment here said rg
+      // was not installed on the measuring machine; it is, and that stale claim is why
+      // this table shipped incomplete for two rounds, blocking ordinary searches like
+      // `rg --sort-files .env src` (/code-review round 4).
+      rg: {
+        takesValue: /* @__PURE__ */ new Set([
+          "-A",
+          "-B",
+          "-C",
+          "-d",
+          "-E",
+          "-e",
+          "-f",
+          "-g",
+          "-j",
+          "-M",
+          "-m",
+          "-r",
+          "-t",
+          "-T",
+          "--after-context",
+          "--before-context",
+          "--color",
+          "--colors",
+          "--context",
+          "--context-separator",
+          "--dfa-size-limit",
+          "--encoding",
+          "--engine",
+          "--field-context-separator",
+          "--field-match-separator",
+          "--file",
+          "--generate",
+          "--glob",
+          "--hostname-bin",
+          "--hyperlink-format",
+          "--iglob",
+          "--ignore-file",
+          "--max-columns",
+          "--max-count",
+          "--max-depth",
+          // An ALIAS of --max-depth, and it takes a value. The round-5 extraction read
+          // alias lines as plain switches and swept it into noValue, which hard-blocked
+          // `rg --maxdepth 2 .env src` while `--max-depth 2` ran (/code-review round 7).
+          "--maxdepth",
+          "--max-filesize",
+          "--path-separator",
+          "--pre",
+          "--pre-glob",
+          "--regexp",
+          "--regex-size-limit",
+          "--replace",
+          "--sort",
+          "--sortr",
+          "--threads",
+          "--type",
+          "--type-add",
+          "--type-clear",
+          "--type-not"
+        ]),
+        noValue: /* @__PURE__ */ new Set([
+          "-.",
+          "-0",
+          "-a",
+          "-b",
+          "-c",
+          "-F",
+          "-h",
+          "-H",
+          "-i",
+          "-I",
+          "-l",
+          "-L",
+          "-n",
+          "-N",
+          "-o",
+          "-p",
+          "-P",
+          "-q",
+          "-s",
+          "-S",
+          "-u",
+          "-U",
+          "-v",
+          "-V",
+          "-w",
+          "-x",
+          "-z",
+          "--auto-hybrid-regex",
+          "--binary",
+          "--block-buffered",
+          "--byte-offset",
+          "--case-sensitive",
+          "--column",
+          "--count",
+          "--count-matches",
+          "--crlf",
+          "--debug",
+          "--files",
+          "--files-with-matches",
+          "--files-without-match",
+          "--fixed-strings",
+          "--follow",
+          "--glob-case-insensitive",
+          "--heading",
+          "--help",
+          "--hidden",
+          "--ignore-case",
+          "--ignore-file-case-insensitive",
+          "--include-zero",
+          "--invert-match",
+          "--json",
+          "--line-buffered",
+          "--line-number",
+          "--line-regexp",
+          "--max-columns-preview",
+          "--mmap",
+          "--multiline",
+          "--multiline-dotall",
+          "--no-column",
+          "--no-config",
+          "--no-context-separator",
+          "--no-encoding",
+          "--no-filename",
+          "--no-ignore",
+          "--no-ignore-dot",
+          "--no-ignore-exclude",
+          "--no-ignore-files",
+          "--no-ignore-global",
+          "--no-ignore-messages",
+          "--no-ignore-parent",
+          "--no-ignore-vcs",
+          "--no-line-number",
+          "--no-messages",
+          "--no-pcre2-unicode",
+          "--no-pre",
+          "--no-require-git",
+          "--no-unicode",
+          "--null",
+          "--null-data",
+          "--one-file-system",
+          "--only-matching",
+          "--passthru",
+          "--pcre2",
+          "--pcre2-version",
+          "--pretty",
+          "--print0",
+          "--quiet",
+          "--search-zip",
+          "--smart-case",
+          "--sort-files",
+          "--stats",
+          "--stop-on-nonmatch",
+          "--text",
+          "--trace",
+          "--trim",
+          "--type-list",
+          "--unrestricted",
+          "--version",
+          "--vimgrep",
+          "--with-filename",
+          "--word-regexp",
+          // The COMPLETE remainder of `rg --help`, added after /code-review round 5
+          // found 40 documented switches in neither set. The table is now the whole
+          // option list: `rg --help` yields 149 long options, 35 of them value-taking.
+          "--ignore",
+          "--ignore-dot",
+          "--ignore-exclude",
+          "--ignore-files",
+          "--ignore-global",
+          "--ignore-messages",
+          "--ignore-parent",
+          "--ignore-vcs",
+          "--messages",
+          "--no-auto-hybrid-regex",
+          "--no-binary",
+          "--no-block-buffered",
+          "--no-byte-offset",
+          "--no-crlf",
+          "--no-fixed-strings",
+          "--no-follow",
+          "--no-glob-case-insensitive",
+          "--no-heading",
+          "--no-hidden",
+          "--no-ignore-file-case-insensitive",
+          "--no-include-zero",
+          "--no-invert-match",
+          "--no-json",
+          "--no-line-buffered",
+          "--no-max-columns-preview",
+          "--no-mmap",
+          "--no-multiline",
+          "--no-multiline-dotall",
+          "--no-one-file-system",
+          "--no-pcre2",
+          "--no-search-zip",
+          "--no-sort-files",
+          "--no-stats",
+          "--no-text",
+          "--no-trim",
+          "--passthrough",
+          "--pcre2-unicode",
+          "--require-git",
+          "--unicode"
+        ]),
+        patternFlags: /* @__PURE__ */ new Set(["-e", "--regexp"]),
+        // `--files` and `--type-list` list or enumerate without a pattern. Founder
+        // decision 2026-09-13: `rg --files ~/.ssh` stays BLOCKED, which this achieves
+        // by leaving the directory in the judged list.
+        noPatternFlags: /* @__PURE__ */ new Set(["-f", "--file", "--files", "--type-list", "--pcre2-version"])
+      }
+    };
+    PATTERN_VERB_NAMES = Object.keys(PATTERN_VERBS);
+    GREP_FILE_OPERANDS = /* @__PURE__ */ new Set(["-f", "--file", "--exclude-from", "--include"]);
+    READER_VALUE_LETTERS = {
+      awk: ["F", "v", "f"],
+      gawk: ["F", "v", "f", "e", "E", "i", "l", "o", "p", "D"],
+      sed: ["e", "f", "i", "l"],
+      sort: ["C", "k", "o", "S", "t", "T"]
+    };
+    FILE_OPERAND_FLAGS = {
+      grep: GREP_FILE_OPERANDS,
+      egrep: GREP_FILE_OPERANDS,
+      fgrep: GREP_FILE_OPERANDS,
+      // rg and gawk are NOT installed on the measuring machine: these two rows are
+      // from the shipped documentation (ripgrep `-f/--file`, `--ignore-file`; gawk
+      // `-f/--file`) and are marked as such in the spec.
+      // `-g/--glob/--iglob` name which files ripgrep SEARCHES, so an operand naming
+      // a credential makes rg open it -- the same reason grep's `--include` is here.
+      // Measured (/code-review round 3): `rg --hidden -g .env AWS tree` opened .env
+      // and printed its contents.
+      rg: /* @__PURE__ */ new Set(["-f", "--file", "--ignore-file", "-g", "--glob", "--iglob"]),
+      sed: /* @__PURE__ */ new Set(["-f", "--file"]),
+      awk: /* @__PURE__ */ new Set(["-f", "--file"]),
+      gawk: /* @__PURE__ */ new Set(["-f", "--file"]),
+      sort: /* @__PURE__ */ new Set(["--files0-from"])
+    };
     SCP_VALUE_FLAGS = ["i", "F", "o", "c", "S", "P", "J", "D", "W", "l"];
+    TAR_VALUE_LETTERS = ["b", "C", "f", "F", "g", "H", "I", "K", "L", "N", "T", "V", "X"];
+    ZIP_VALUE_LETTERS = ["b", "n", "P", "t", "s", "O", "x", "i"];
+    RSYNC_VALUE_LETTERS = ["e", "f", "T", "B", "M"];
     RSYNC_SKIP = [
       "e",
       "--rsh",
@@ -2342,21 +2887,35 @@ var init_dist = __esm({
       "f",
       "--filter"
     ];
+    CP_VALUE_LETTERS = ["S", "t"];
+    INSTALL_VALUE_LETTERS = ["S", "t", "g", "m", "o"];
     COPY_VERBS = {
-      cp: { source: "allButLast", targetDirFlag: true },
-      mv: { source: "allButLast", targetDirFlag: true },
-      install: { source: "allButLast", targetDirFlag: true },
-      ln: { source: "first", targetDirFlag: true },
-      scp: { source: "allButLast", skipFlags: SCP_VALUE_FLAGS },
-      rsync: { source: "allButLast", skipFlags: RSYNC_SKIP },
+      cp: { source: "allButLast", targetDirFlag: true, valueLetters: CP_VALUE_LETTERS },
+      mv: { source: "allButLast", targetDirFlag: true, valueLetters: CP_VALUE_LETTERS },
+      install: { source: "allButLast", targetDirFlag: true, valueLetters: INSTALL_VALUE_LETTERS },
+      ln: { source: "first", targetDirFlag: true, valueLetters: CP_VALUE_LETTERS },
+      scp: { source: "allButLast", skipFlags: SCP_VALUE_FLAGS, valueLetters: SCP_VALUE_FLAGS },
+      rsync: { source: "allButLast", skipFlags: RSYNC_SKIP, valueLetters: RSYNC_VALUE_LETTERS },
       tar: {
         source: "archive",
         archive: "tar",
-        skipFlags: ["f", "X", "T", "--file", "--exclude", "--exclude-from", "--files-from"]
+        skipFlags: ["f", "X", "T", "--file", "--exclude", "--exclude-from", "--files-from"],
+        valueLetters: TAR_VALUE_LETTERS
+      },
+      zip: {
+        source: "archive",
+        archive: "zip",
+        skipFlags: ["x", "i", "--exclude", "--include"],
+        valueLetters: ZIP_VALUE_LETTERS
       },
-      zip: { source: "archive", archive: "zip", skipFlags: ["x", "i", "--exclude", "--include"] },
       ar: { source: "archive", archive: "ar" },
-      "7z": { source: "archive", archive: "7z", skipFlags: ["x", "--exclude"] },
+      // 7z switches are INLINE only (`-mx9`, `-px`, `-x!pat`), so no following word is
+      // ever a switch's operand -- which is why the short `x` is NOT a skipFlag here
+      // and valueLetters is empty. Keeping the short `x` made `7z a out.7z -mx KEY`
+      // drop the credential as an exclusion operand (/code-review round 8), and the
+      // derived "every skipped letter is a value letter" row in jail-copy.spec.ts is
+      // what keeps the two tables honest about it.
+      "7z": { source: "archive", archive: "7z", skipFlags: ["--exclude"], valueLetters: [] },
       gzip: { source: "all" },
       bzip2: { source: "all" },
       xz: { source: "all" },
@@ -2567,6 +3126,8 @@ var init_dist = __esm({
     };
     isReaderWord = (w) => w !== null && FS_READ_TOOLS.has(baseWord(w));
     positionalAfter = (words, from, to = words.length) => positionedArgs(words, from, to).map((a) => a.value);
+    NONE = { kind: "none" };
+    UNKNOWN = { kind: "unknown" };
     SOURCE_COMMANDS = /* @__PURE__ */ new Set([...FS_READ_TOOLS, "tee"]);
     SSRF_MAX_HOST = 253;
     METADATA_ADDRESSES = /* @__PURE__ */ new Set([