sh-ast 0.6.1 → 0.8.0

package/dist/analyze.d.ts

@@ -5,7 +5,7 @@
  *
  * @public
  */
-declare const Add: 81;
+export declare const Add: 81;
 
 /**
  * Upstream BinAritOperator constant AddAssgn. Its numeric value is preserved exactly.
@@ -14,7 +14,7 @@ declare const Add: 81;
  *
  * @public
  */
-declare const AddAssgn: 49;
+export declare const AddAssgn: 49;
 
 /**
  * Upstream ParExpOperator constant AlternateUnset. Its numeric value is preserved exactly.
@@ -23,7 +23,7 @@ declare const AddAssgn: 49;
  *
  * @public
  */
-declare const AlternateUnset: 81;
+export declare const AlternateUnset: 81;
 
 /**
  * Upstream ParExpOperator constant AlternateUnsetOrNull. Its numeric value is preserved exactly.
@@ -32,7 +32,7 @@ declare const AlternateUnset: 81;
  *
  * @public
  */
-declare const AlternateUnsetOrNull: 82;
+export declare const AlternateUnsetOrNull: 82;
 
 /**
  * Upstream BinAritOperator constant And. Its numeric value is preserved exactly.
@@ -41,7 +41,7 @@ declare const AlternateUnsetOrNull: 82;
  *
  * @public
  */
-declare const And: 10;
+export declare const And: 10;
 
 /**
  * Upstream BinAritOperator constant AndArit. Its numeric value is preserved exactly.
@@ -50,7 +50,7 @@ declare const And: 10;
  *
  * @public
  */
-declare const AndArit: 11;
+export declare const AndArit: 11;
 
 /**
  * Upstream BinAritOperator constant AndAssgn. Its numeric value is preserved exactly.
@@ -59,7 +59,7 @@ declare const AndArit: 11;
  *
  * @public
  */
-declare const AndAssgn: 54;
+export declare const AndAssgn: 54;
 
 /**
  * Upstream BinAritOperator constant AndBoolAssgn. Its numeric value is preserved exactly.
@@ -68,7 +68,7 @@ declare const AndAssgn: 54;
  *
  * @public
  */
-declare const AndBoolAssgn: 59;
+export declare const AndBoolAssgn: 59;
 
 /**
  * Upstream BinCmdOperator constant AndStmt. Its numeric value is preserved exactly.
@@ -77,7 +77,7 @@ declare const AndBoolAssgn: 59;
  *
  * @public
  */
-declare const AndStmt: 11;
+export declare const AndStmt: 11;
 
 /**
  * Upstream BinTestOperator constant AndTest. Its numeric value is preserved exactly.
@@ -86,7 +86,7 @@ declare const AndStmt: 11;
  *
  * @public
  */
-declare const AndTest: 11;
+export declare const AndTest: 11;
 
 /**
  * Upstream RedirOperator constant AppAll. Its numeric value is preserved exactly.
@@ -95,7 +95,7 @@ declare const AndTest: 11;
  *
  * @public
  */
-declare const AppAll: 76;
+export declare const AppAll: 76;
 
 /**
  * Upstream RedirOperator constant AppAllClob. Its numeric value is preserved exactly.
@@ -104,7 +104,7 @@ declare const AppAll: 76;
  *
  * @public
  */
-declare const AppAllClob: 77;
+export declare const AppAllClob: 77;
 
 /**
  * Upstream RedirOperator constant AppClob. Its numeric value is preserved exactly.
@@ -113,7 +113,7 @@ declare const AppAllClob: 77;
  *
  * @public
  */
-declare const AppClob: 70;
+export declare const AppClob: 70;
 
 /**
  * Upstream RedirOperator constant AppOut. Its numeric value is preserved exactly.
@@ -122,7 +122,7 @@ declare const AppClob: 70;
  *
  * @public
  */
-declare const AppOut: 64;
+export declare const AppOut: 64;
 
 /**
  * The result of statically resolving one position in an
@@ -151,6 +151,22 @@ export declare interface Argv0Resolution {
      * one element.
      */
     readonly chain: readonly Argv0ChainWord[];
+    /**
+     * Indices into the input {@link CommandSite.argv}, one for each corresponding
+     * {@link Argv0Resolution.chain} entry. The arrays always have the same nonzero
+     * length. Ordinary entries identify their original word; synthesized failures
+     * identify the triggering flag or ambiguous assignment operand instead.
+     * Repeated word text does not collapse distinct argument positions.
+     *
+     * For a resolved effective command, its arguments are
+     * `site.argv.slice(chainIndices.at(-1)! + 1)`. Sites from
+     * {@link enumerateCommands} align argv directly with `site.node.Args`, retaining
+     * null slots as unsupported word resolutions, so the same indices select syntax
+     * Words. A synthetic failure does not identify a command or its arguments.
+     * When wrapper scanning stops or runs out of operands, the existing result
+     * remains the wrapper word and its index; no missing command is invented.
+     */
+    readonly chainIndices: readonly number[];
     /**
      * The last element of {@link Argv0Resolution.chain} — the effective
      * command, or, if resolution hit a statically-unknowable word anywhere
@@ -194,7 +210,10 @@ export declare interface Argv0Resolution {
  * - `'embedded-command'` — a wrapper flag whose value structurally embeds
  *   the real command rather than naming it as a separate word (e.g.
  *   `env -S 'rm -rf /'` — see {@link WrapperSpec.unresolvableFlags}'s doc
- *   comment).
+ *   comment), or a shell interpreter's `-c` option (`bash -c 'rm x'`, see
+ *   {@link EmbeddedCommandInterpreterSpec}). In both cases the chain's
+ *   second-to-last element is the wrapper or interpreter word, so its name
+ *   stays available.
  * - `'ambiguous-assignment'` — a statically known assignment operand whose
  *   acceptance differs across supported utility implementations, such as
  *   `env =value cmd` (GNU/glibc accepts an empty name; BSD rejects it).
@@ -348,7 +367,7 @@ export declare interface ArrayElem {
  *
  * @public
  */
-declare const ArrayExclude: 94;
+export declare const ArrayExclude: 94;
 
 /**
  * ArrayExpr represents a Bash array expression.
@@ -389,7 +408,7 @@ export declare interface ArrayExpr {
  *
  * @public
  */
-declare const ArrayIntersect: 95;
+export declare const ArrayIntersect: 95;
 
 /**
  * Upstream BinAritOperator constant Assgn. Its numeric value is preserved exactly.
@@ -398,7 +417,7 @@ declare const ArrayIntersect: 95;
  *
  * @public
  */
-declare const Assgn: 87;
+export declare const Assgn: 87;
 
 /**
  * Assign represents an assignment to a variable.
@@ -467,7 +486,7 @@ export declare interface Assign {
  *
  * @public
  */
-declare const AssignUnset: 87;
+export declare const AssignUnset: 87;
 
 /**
  * Upstream ParExpOperator constant AssignUnsetOrNull. Its numeric value is preserved exactly.
@@ -476,7 +495,7 @@ declare const AssignUnset: 87;
  *
  * @public
  */
-declare const AssignUnsetOrNull: 88;
+export declare const AssignUnsetOrNull: 88;
 
 /**
  * The upstream BinAritOperator domain: exact named tokens, the Go zero value, and explicitly validated unnamed uint32 values. Constants shared by upstream families retain their shared numeric identity.
@@ -663,7 +682,7 @@ export declare type BinTestOperator =
  *
  * @public
  */
-declare const BitNegation: 40;
+export declare const BitNegation: 40;
 
 /**
  * Block represents a series of commands that should be executed in a nested
@@ -729,7 +748,7 @@ export declare interface BraceExp {
  *
  * @public
  */
-declare const Break: 35;
+export declare const Break: 35;
 
 /**
  * CallExpr represents a command execution or function call, otherwise known as
@@ -863,7 +882,7 @@ export declare type CaseOperator =
  *
  * @public
  */
-declare const CmdIn: 78;
+export declare const CmdIn: 78;
 
 /**
  * Upstream ProcOperator constant CmdInTemp. Its numeric value is preserved exactly.
@@ -872,7 +891,7 @@ declare const CmdIn: 78;
  *
  * @public
  */
-declare const CmdInTemp: 79;
+export declare const CmdInTemp: 79;
 
 /**
  * Upstream ProcOperator constant CmdOut. Its numeric value is preserved exactly.
@@ -881,7 +900,7 @@ declare const CmdInTemp: 79;
  *
  * @public
  */
-declare const CmdOut: 80;
+export declare const CmdOut: 80;
 
 /**
  * CmdSubst represents a command substitution.
@@ -938,7 +957,7 @@ export declare interface CmdSubst {
  *
  * @public
  */
-declare const Comma: 98;
+export declare const Comma: 98;
 
 /**
  * The concrete records and typed nil pointers accepted by upstream syntax.Command. Typed nil kinds are limited to this interface's actual implementers; auxiliary records are excluded.
@@ -1092,7 +1111,11 @@ export declare interface CommandSite {
      * `ResolveWordOptions.context`'s doc comment).
      */
     readonly argv0: WordResolution;
-    /** `resolveWord` applied to every word, in argument order (same `{ context: 'command-argument' }` as {@link CommandSite.argv0}). */
+    /**
+     * `resolveWord` applied in argument order (same `{ context: 'command-argument' }`
+     * as {@link CommandSite.argv0}). Indices align directly with {@link CommandSite.node}'s
+     * Args array: a null slot is retained as an unsupported resolution, never skipped.
+     */
     readonly argv: readonly WordResolution[];
     /** The path from the tree root to this site, outermost frame first. */
     readonly context: readonly CommandContext[];
@@ -1199,7 +1222,7 @@ export declare interface CStyleLoop {
  *
  * @public
  */
-declare const DashHdoc: 72;
+export declare const DashHdoc: 72;
 
 /**
  * DblQuoted represents a list of nodes within double quotes.
@@ -1240,7 +1263,7 @@ export declare interface DblQuoted {
  *
  * @public
  */
-declare const Dec: 42;
+export declare const Dec: 42;
 
 /**
  * DeclClause represents a Bash declare clause.
@@ -1272,6 +1295,38 @@ export declare interface DeclClause {
     Variant: Lit | null;
 }
 
+/**
+ * `sh-ast/analyze`'s default {@link EmbeddedCommandInterpreterSpec} table:
+ * the shells whose `-c` option makes {@link resolveArgv0} report
+ * `'embedded-command'`. Each entry's option grammar is hand-derived from the
+ * cited manual. Basic clusters and required operands were cross-checked on
+ * Linux bash 5.2.21, dash 0.5.12, zsh 5.9, ksh93u+m 1.0.8 and mksh R59.
+ * Long-option, termination and omitted-operand cases were checked on macOS
+ * bash 5.3.9 and 3.2.57 (also `/bin/sh`), Apple dash-16, zsh 5.9 and ksh93u+
+ * AJM 2012-08-01. Omitted `-o`/`+o` operands before another signed option
+ * were confirmed only on that ksh93u+ build, not ksh93u+m or mksh. Builds can
+ * differ: macOS's ksh93u+ differs from the cited 93u+m for `ksh -o c "echo X"`.
+ * The `sh` entry also models bash's long options because `sh` can be bash.
+ * Named options that change the option grammar itself (such as zsh's
+ * `shoptionletters`) are not interpreted; a custom table is needed for that
+ * grammar. It is data, not policy:
+ * it names no dangerous commands and a caller can replace or extend it via
+ * {@link ResolveArgv0Options.embeddedCommandInterpreters}; an empty array
+ * restores the behavior in which an interpreter is an ordinary effective
+ * command.
+ *
+ * Frozen, including each entry and its arrays.
+ *
+ * @see https://www.gnu.org/software/bash/manual/bash.html#Invoking-Bash — bash
+ * @see https://pubs.opengroup.org/onlinepubs/9699919799/utilities/sh.html — POSIX `sh`
+ * @see https://man7.org/linux/man-pages/man1/dash.1.html — dash(1)
+ * @see https://zsh.sourceforge.io/Doc/Release/Invocation-and-Startup.html — zsh
+ * @see https://github.com/ksh93/ksh — ksh93u+m `sh(1)`
+ * @see https://man.mirbsd.org/mksh.1 — mksh(1)
+ * @public
+ */
+export declare const DEFAULT_EMBEDDED_COMMAND_INTERPRETERS: readonly EmbeddedCommandInterpreterSpec[];
+
 /**
  * `sh-ast/analyze`'s default {@link WrapperSpec} table — every entry's
  * flag/operand handling is hand-derived from that wrapper's own manual
@@ -1325,7 +1380,7 @@ export declare const DEFAULT_TRANSPARENT_WRAPPERS: readonly WrapperSpec[];
  *
  * @public
  */
-declare const DefaultUnset: 83;
+export declare const DefaultUnset: 83;
 
 /**
  * Upstream ParExpOperator constant DefaultUnsetOrNull. Its numeric value is preserved exactly.
@@ -1334,7 +1389,7 @@ declare const DefaultUnset: 83;
  *
  * @public
  */
-declare const DefaultUnsetOrNull: 84;
+export declare const DefaultUnsetOrNull: 84;
 
 /**
  * Upstream RedirOperator constant DplIn. Its numeric value is preserved exactly.
@@ -1343,7 +1398,7 @@ declare const DefaultUnsetOrNull: 84;
  *
  * @public
  */
-declare const DplIn: 67;
+export declare const DplIn: 67;
 
 /**
  * Upstream RedirOperator constant DplOut. Its numeric value is preserved exactly.
@@ -1352,7 +1407,116 @@ declare const DplIn: 67;
  *
  * @public
  */
-declare const DplOut: 68;
+export declare const DplOut: 68;
+
+/**
+ * A data-only description of one shell interpreter whose `-c` option makes the
+ * next operand a command string run by that shell (`bash -c 'rm x'`). Like
+ * `env -S`, the command that runs lives *inside* an operand, so
+ * {@link resolveArgv0} reports `'embedded-command'` instead of the
+ * interpreter's own name as the effective command.
+ * The selector `c` is reserved: exact-token fields (`noOperandLongOptions`,
+ * `operandLongOptions`, `optionTerminatorWords`) cannot contain `-c`.
+ *
+ * Only the option grammar needed to decide *whether `-c` is an option* is
+ * described: which options consume an operand word (so that `-o c` or
+ * `-o pipefail -c` are not misread) and where option parsing ends. Everything
+ * else about the interpreter — what its other options mean, whether a given
+ * option name is valid — is irrelevant to that decision and unmodeled; an
+ * invalid invocation that a real shell would reject is still reported
+ * conservatively, since nothing is guessed about what it would run.
+ *
+ * Option parsing ends at the first statically known word that is not an
+ * option, at `--`, at a lone `-`, or at a table-defined terminator; afterwards
+ * a word shaped like `-c` is an ordinary script operand. A dynamic word in
+ * option position leaves the question undecidable, so scanning stops and the interpreter is reported
+ * exactly as before (its own static name). In that case `static: true` means
+ * only that the interpreter's name is known; it does not mean the command is a
+ * plain shell invocation, because `bash "$f" -c x` runs `x` when `$f` is `-x`.
+ *
+ * This shape may grow new optional fields in a **minor** release; existing
+ * fields' meaning never changes.
+ *
+ * @public
+ */
+export declare interface EmbeddedCommandInterpreterSpec {
+    /**
+     * The interpreter's name, matched against a static command word's final
+     * path segment: `bash`, `/bin/bash` and `/usr/local/bin/bash` all match
+     * `['bash']`. Only the command word is reduced to its final segment;
+     * entries containing `/` (such as `['/bin/bash']`) are rejected with
+     * {@link ShAnalyzeInvalidWrapperSpecError}. Use `['bash']` to recognize
+     * path-qualified invocations. The first entry containing the segment wins.
+     *
+     * Unlike {@link WrapperSpec.names}, which tries exact names first and
+     * falls back to the final segment only for absolute paths, interpreter
+     * matching uses only the final segment, including for relative paths
+     * such as `./bash`. The question here is whether a command string is
+     * embedded, not which executable would be located.
+     */
+    readonly names: readonly string[];
+    /**
+     * Single option letters (without a sign) that take a name or value operand
+     * under both `-` and `+`, e.g. `['o']` for `-o pipefail` / `+o pipefail`.
+     * A letter listed here never selects the command string itself, so
+     * `bash -o c script` keeps `c` as an option *name*.
+     * The selector `c` is reserved and cannot be listed as an operand option;
+     * conflicting entries throw {@link ShAnalyzeInvalidWrapperSpecError}.
+     */
+    readonly operandOptions: readonly string[];
+    /**
+     * How an {@link EmbeddedCommandInterpreterSpec.operandOptions} letter
+     * receives its operand inside a clustered word:
+     *
+     * - `'separate-word'` — always the next word; remaining letters in the
+     *   cluster are still options (`bash -oc errexit 'cmd'` is `-o errexit -c`).
+     * - `'rest-of-cluster'` — the remainder of the word if any, else the next
+     *   word; later letters in the same word are part of the operand
+     *   (`zsh -oc` names an option `c`).
+     */
+    readonly operandAttachment: 'separate-word' | 'rest-of-cluster';
+    /**
+     * Letters from {@link EmbeddedCommandInterpreterSpec.operandOptions} whose
+     * separate operand may be omitted before a word beginning with `-` or `+`.
+     * An attached operand still belongs to the option. For example, ksh93u+
+     * treats `-o -c cmd` and `+o -c cmd` as an operand-free option listing
+     * followed by `-c`; bash, dash and zsh consume `-c` as the option name.
+     * A dynamic potential operand makes this distinction undecidable.
+     */
+    readonly optionalOperandOptions?: readonly string[];
+    /**
+     * No-operand letters that end option scanning after the current cluster,
+     * under either sign. Remaining letters in that cluster still take effect:
+     * zsh's `-b -c script` runs the file `-c`, but `-bc cmd` selects a string.
+     * These letters must not include `c` or an operand-taking letter.
+     */
+    readonly optionTerminatorLetters?: readonly string[];
+    /**
+     * Additional whole words that end option scanning, like zsh's `+` and `+-`.
+     * The terminator is not a command string; an already-selected `-c` needs
+     * a following word. `--` and a lone `-` are always terminators.
+     */
+    readonly optionTerminatorWords?: readonly string[];
+    /**
+     * Exact long-option words that take a separate operand, recognized before
+     * short-option clusters regardless of prefix: bash's `--rcfile FILE` and
+     * `-rcfile FILE`, or zsh's `--emulate sh`. A dynamic operand stops scanning
+     * because its expansion may produce multiple actual arguments.
+     */
+    readonly operandLongOptions?: readonly string[];
+    /**
+     * Exact long-option words with no operand, recognized before short-option
+     * clusters. Bash's `-restricted` and `-noprofile` are whole long options,
+     * not clusters containing `c` or `o`. Unlisted `--name` / `+-name` words
+     * are also treated as operand-free; option validity is not checked.
+     */
+    readonly noOperandLongOptions?: readonly string[];
+    /**
+     * `true` if the interpreter also treats `+c` as selecting the command
+     * string. Other shells do not select command mode with `+c`.
+     */
+    readonly plusCSelectsCommand?: boolean;
+}
 
 /**
  * Enumerates every command invocation (`CallExpr`) reachable from `root`,
@@ -1404,7 +1568,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Eql: 45;
+ export declare const Eql: 45;
 
  /**
   * Upstream ParExpOperator constant ErrorUnset. Its numeric value is preserved exactly.
@@ -1413,7 +1577,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const ErrorUnset: 85;
+ export declare const ErrorUnset: 85;
 
  /**
   * Upstream ParExpOperator constant ErrorUnsetOrNull. Its numeric value is preserved exactly.
@@ -1422,7 +1586,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const ErrorUnsetOrNull: 86;
+ export declare const ErrorUnsetOrNull: 86;
 
  /**
   * Expansion represents string manipulation in a `ParamExp` other than those
@@ -1484,7 +1648,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Fallthrough: 36;
+ export declare const Fallthrough: 36;
 
  /**
   * File represents a shell source file.
@@ -1641,7 +1805,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Geq: 48;
+ export declare const Geq: 48;
 
  /**
   * Upstream GlobOperator constant GlobExcept. Its numeric value is preserved exactly.
@@ -1650,7 +1814,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const GlobExcept: 143;
+ export declare const GlobExcept: 143;
 
  /**
   * Upstream GlobOperator constant GlobOne. Its numeric value is preserved exactly.
@@ -1659,7 +1823,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const GlobOne: 142;
+ export declare const GlobOne: 142;
 
  /**
   * Upstream GlobOperator constant GlobOneOrMore. Its numeric value is preserved exactly.
@@ -1668,7 +1832,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const GlobOneOrMore: 141;
+ export declare const GlobOneOrMore: 141;
 
  /**
   * The upstream GlobOperator domain: exact named tokens, the Go zero value, and explicitly validated unnamed uint32 values. Constants shared by upstream families retain their shared numeric identity.
@@ -1691,7 +1855,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const GlobZeroOrMore: 140;
+ export declare const GlobZeroOrMore: 140;
 
  /**
   * Upstream GlobOperator constant GlobZeroOrOne. Its numeric value is preserved exactly.
@@ -1700,7 +1864,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const GlobZeroOrOne: 139;
+ export declare const GlobZeroOrOne: 139;
 
  /**
   * A Go string's exact bytes. Valid UTF-8 is represented as a JavaScript string; other bytes use Uint8Array. String inputs must not contain unpaired surrogates, which have no faithful UTF-8 representation.
@@ -1716,7 +1880,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Gtr: 63;
+ export declare const Gtr: 63;
 
  /**
   * Upstream RedirOperator constant Hdoc. Its numeric value is preserved exactly.
@@ -1725,7 +1889,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Hdoc: 71;
+ export declare const Hdoc: 71;
 
  /**
   * IfClause represents an if statement.
@@ -1794,7 +1958,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Inc: 41;
+ export declare const Inc: 41;
 
  /**
   * Upstream BinAritOperator constant Leq. Its numeric value is preserved exactly.
@@ -1803,7 +1967,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Leq: 47;
+ export declare const Leq: 47;
 
  /**
   * LetClause represents a Bash let clause.
@@ -1873,7 +2037,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const LowerAll: 99;
+ export declare const LowerAll: 99;
 
  /**
   * Upstream ParExpOperator constant LowerFirst. Its numeric value is preserved exactly.
@@ -1882,7 +2046,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const LowerFirst: 98;
+ export declare const LowerFirst: 98;
 
  /**
   * Upstream BinAritOperator constant Lss. Its numeric value is preserved exactly.
@@ -1891,7 +2055,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Lss: 65;
+ export declare const Lss: 65;
 
  /**
   * Upstream ParExpOperator constant MatchEmpty. Its numeric value is preserved exactly.
@@ -1900,7 +2064,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const MatchEmpty: 93;
+ export declare const MatchEmpty: 93;
 
  /**
   * Upstream UnAritOperator constant Minus. Its numeric value is preserved exactly.
@@ -1909,7 +2073,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Minus: 83;
+ export declare const Minus: 83;
 
  /**
   * Upstream BinAritOperator constant Mul. Its numeric value is preserved exactly.
@@ -1918,7 +2082,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Mul: 43;
+ export declare const Mul: 43;
 
  /**
   * Upstream BinAritOperator constant MulAssgn. Its numeric value is preserved exactly.
@@ -1927,7 +2091,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const MulAssgn: 51;
+ export declare const MulAssgn: 51;
 
  /**
   * Upstream ParNamesOperator constant NamesPrefix. Its numeric value is preserved exactly.
@@ -1936,7 +2100,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const NamesPrefix: 43;
+ export declare const NamesPrefix: 43;
 
  /**
   * Upstream ParNamesOperator constant NamesPrefixWords. Its numeric value is preserved exactly.
@@ -1945,7 +2109,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const NamesPrefixWords: 100;
+ export declare const NamesPrefixWords: 100;
 
  /**
   * Upstream BinAritOperator constant Neq. Its numeric value is preserved exactly.
@@ -1954,7 +2118,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Neq: 46;
+ export declare const Neq: 46;
 
  /**
   * The concrete records and typed nil pointers accepted by upstream syntax.Node. Typed nil kinds are limited to this interface's actual implementers; auxiliary records are excluded.
@@ -2059,7 +2223,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Not: 39;
+ export declare const Not: 39;
 
  /**
   * The upstream uint32 operator families. A family name identifies the Go named type, not the spelling of one token.
@@ -2086,7 +2250,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Or: 13;
+ export declare const Or: 13;
 
  /**
   * Upstream BinAritOperator constant OrArit. Its numeric value is preserved exactly.
@@ -2095,7 +2259,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const OrArit: 12;
+ export declare const OrArit: 12;
 
  /**
   * Upstream BinAritOperator constant OrAssgn. Its numeric value is preserved exactly.
@@ -2104,7 +2268,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const OrAssgn: 55;
+ export declare const OrAssgn: 55;
 
  /**
   * Upstream BinAritOperator constant OrBoolAssgn. Its numeric value is preserved exactly.
@@ -2113,7 +2277,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const OrBoolAssgn: 60;
+ export declare const OrBoolAssgn: 60;
 
  /**
   * Upstream BinCmdOperator constant OrStmt. Its numeric value is preserved exactly.
@@ -2122,7 +2286,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const OrStmt: 12;
+ export declare const OrStmt: 12;
 
  /**
   * Upstream BinTestOperator constant OrTest. Its numeric value is preserved exactly.
@@ -2131,7 +2295,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const OrTest: 12;
+ export declare const OrTest: 12;
 
  /**
   * Upstream ParExpOperator constant OtherParamOps. Its numeric value is preserved exactly.
@@ -2140,7 +2304,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const OtherParamOps: 100;
+ export declare const OtherParamOps: 100;
 
  /**
   * ParamExp represents a parameter expansion.
@@ -2352,7 +2516,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Pipe: 13;
+ export declare const Pipe: 13;
 
  /**
   * Upstream BinCmdOperator constant PipeAll. Its numeric value is preserved exactly.
@@ -2361,7 +2525,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const PipeAll: 14;
+ export declare const PipeAll: 14;
 
  /**
   * Upstream UnAritOperator constant Plus. Its numeric value is preserved exactly.
@@ -2370,7 +2534,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Plus: 81;
+ export declare const Plus: 81;
 
  /**
   * Upstream BinAritOperator constant Pow. Its numeric value is preserved exactly.
@@ -2379,7 +2543,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Pow: 44;
+ export declare const Pow: 44;
 
  /**
   * Upstream BinAritOperator constant PowAssgn. Its numeric value is preserved exactly.
@@ -2388,7 +2552,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const PowAssgn: 62;
+ export declare const PowAssgn: 62;
 
  /**
   * The upstream ProcOperator domain: exact named tokens, the Go zero value, and explicitly validated unnamed uint32 values. Constants shared by upstream families retain their shared numeric identity.
@@ -2441,7 +2605,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Quo: 101;
+ export declare const Quo: 101;
 
  /**
   * Upstream BinAritOperator constant QuoAssgn. Its numeric value is preserved exactly.
@@ -2450,7 +2614,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const QuoAssgn: 52;
+ export declare const QuoAssgn: 52;
 
  /**
   * An explicitly represented unnamed uint32 value in one upstream operator family. The runtime constructor checks integer range; this type does not claim that every value is meaningful to every parser or printer operation. The structural family marker remains interoperable across package entry points while preventing accidental cross-family assignment.
@@ -2461,6 +2625,14 @@ declare const DplOut: 68;
      readonly __shAstOperatorFamily: Family;
  };
 
+ /**
+  * Represents an unnamed value in an upstream uint32 operator family. Named
+  * constants remain precise literal unions; this explicit path preserves other Go
+  * values without claiming an operation such as Print accepts them.
+  * @public
+  */
+ export declare function rawOperator<Family extends OperatorFamily>(family: Family, value: number): RawOperator<Family>;
+
  /**
   * Upstream RedirOperator constant RdrAll. Its numeric value is preserved exactly.
   *
@@ -2468,7 +2640,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RdrAll: 74;
+ export declare const RdrAll: 74;
 
  /**
   * Upstream RedirOperator constant RdrAllClob. Its numeric value is preserved exactly.
@@ -2477,7 +2649,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RdrAllClob: 75;
+ export declare const RdrAllClob: 75;
 
  /**
   * Upstream RedirOperator constant RdrClob. Its numeric value is preserved exactly.
@@ -2486,7 +2658,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RdrClob: 69;
+ export declare const RdrClob: 69;
 
  /**
   * Upstream RedirOperator constant RdrIn. Its numeric value is preserved exactly.
@@ -2495,7 +2667,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RdrIn: 65;
+ export declare const RdrIn: 65;
 
  /**
   * Upstream RedirOperator constant RdrInOut. Its numeric value is preserved exactly.
@@ -2504,7 +2676,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RdrInOut: 66;
+ export declare const RdrInOut: 66;
 
  /**
   * Upstream RedirOperator constant RdrOut. Its numeric value is preserved exactly.
@@ -2513,7 +2685,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RdrOut: 63;
+ export declare const RdrOut: 63;
 
  /**
   * Redirect represents an input/output redirection.
@@ -2586,7 +2758,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const Rem: 89;
+ export declare const Rem: 89;
 
  /**
   * Upstream BinAritOperator constant RemAssgn. Its numeric value is preserved exactly.
@@ -2595,7 +2767,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RemAssgn: 53;
+ export declare const RemAssgn: 53;
 
  /**
   * Upstream ParExpOperator constant RemLargePrefix. Its numeric value is preserved exactly.
@@ -2604,7 +2776,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RemLargePrefix: 92;
+ export declare const RemLargePrefix: 92;
 
  /**
   * Upstream ParExpOperator constant RemLargeSuffix. Its numeric value is preserved exactly.
@@ -2613,7 +2785,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RemLargeSuffix: 90;
+ export declare const RemLargeSuffix: 90;
 
  /**
   * Upstream ParExpOperator constant RemSmallPrefix. Its numeric value is preserved exactly.
@@ -2622,7 +2794,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RemSmallPrefix: 91;
+ export declare const RemSmallPrefix: 91;
 
  /**
   * Upstream ParExpOperator constant RemSmallSuffix. Its numeric value is preserved exactly.
@@ -2631,7 +2803,7 @@ declare const DplOut: 68;
   *
   * @public
   */
- declare const RemSmallSuffix: 89;
+ export declare const RemSmallSuffix: 89;
 
  /**
   * Replace represents a search and replace expression inside a `ParamExp`.
@@ -2677,7 +2849,7 @@ declare const DplOut: 68;
   * command) or add their own (e.g. a project's `with-retry` helper) and
   * both directions are followed identically to any built-in entry.
   *
-  * **A statically-unknowable word is never guessed through** — three
+  * **A statically-unknowable word is never guessed through** — four
   * distinct cases all stop the chain immediately at that word rather than
   * falling back to any other guess:
   *
@@ -2698,6 +2870,30 @@ declare const DplOut: 68;
   *    reports `effective: { static: false, reason: 'embedded-command' }`
   *    (see {@link WrapperSpec.unresolvableFlags}'s doc comment).
   *
+  * 4. The effective command is a shell interpreter
+  *    ({@link DEFAULT_EMBEDDED_COMMAND_INTERPRETERS}) invoked with `-c` —
+  *    `bash -c "$x"`, `sudo sh -ec ls` — and the command that runs is
+  *    inside the string operand. The result is the same
+  *    `'embedded-command'` shape `env -S` produces: the interpreter word is
+  *    `chain.at(-2)` and `chainIndices.at(-1)` is the option word that
+  *    selected `-c`. `bash script.sh`, `bash -e script.sh`, `bash -- -c`
+  *    and `bash -o c` are not `-c` invocations and resolve to `bash` as
+  *    before. A dynamic word in option position (`bash "$f" -c x`,
+  *    `bash -c"$y" x`) is undecidable, so the interpreter stays a static
+  *    `bash`: `static: true` then means only that the name is known, not that
+  *    the command is a plain shell invocation. The `-c` string itself is never
+  *    parsed.
+  *
+  * Known limits: the table models common option spellings, not a full
+  * emulation of each shell's option parser. Unusual spellings can be
+  * misclassified in either direction:
+  *
+  * - Bash/sh single-dash long options after a short option, e.g. `bash -e -rcfile M`.
+  * - `ksh -c +c M`, or a dynamic word after `-c` that expands to an option.
+  * - mksh's selector-bearing operands in `mksh -o -c M` and `mksh -o +c M`.
+  * - A lone `+` before `-c`, e.g. `bash + -c M`.
+  * - Zsh grammar switches, e.g. `zsh -o shoptionletters -b -c M`.
+  *
   * `VAR=val` shell-assignment prefixes on the `CallExpr` itself
   * (`CommandSite.node.Assigns`, e.g. `FOO=bar rm x`) are always skipped and
   * counted in {@link Argv0Resolution.assignmentsSkipped} — a mechanism
@@ -2712,7 +2908,8 @@ declare const DplOut: 68;
   * least one argv word; see its doc comment), not a "malformed shell
   * source" case.
   * @throws {@link ShAnalyzeInvalidWrapperSpecError} if
-      * `options.transparentWrappers` contains a malformed entry (see
+      * `options.transparentWrappers` or `options.embeddedCommandInterpreters`
+      * contains a malformed entry (see
       * {@link ResolveArgv0Options.transparentWrappers}'s doc comment).
       * @public
       */
@@ -2739,6 +2936,19 @@ declare const DplOut: 68;
        * flag matching.
        */
       readonly transparentWrappers?: readonly WrapperSpec[];
+      /**
+       * The shell interpreters whose `-c` operand is reported as an
+       * `'embedded-command'`. Defaults to
+       * {@link DEFAULT_EMBEDDED_COMMAND_INTERPRETERS}. Pass a replacement array to
+       * add or drop interpreters; an empty array disables the behavior, so every
+       * interpreter resolves as an ordinary effective command.
+       *
+       * Validated at the {@link resolveArgv0} boundary like
+       * {@link ResolveArgv0Options.transparentWrappers}: the table must be an
+       * array. A non-array value (including `null`) or malformed entry throws
+       * {@link ShAnalyzeInvalidWrapperSpecError}; only `undefined` uses defaults.
+       */
+      readonly embeddedCommandInterpreters?: readonly EmbeddedCommandInterpreterSpec[];
   }
 
   /**
@@ -2812,7 +3022,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const Resume: 37;
+  export declare const Resume: 37;
 
   /**
    * Upstream CaseOperator constant ResumeKorn. Its numeric value is preserved exactly.
@@ -2821,7 +3031,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const ResumeKorn: 38;
+  export declare const ResumeKorn: 38;
 
   /**
    * SglQuoted represents a string within single quotes.
@@ -2917,7 +3127,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const Shl: 71;
+  export declare const Shl: 71;
 
   /**
    * Upstream BinAritOperator constant ShlAssgn. Its numeric value is preserved exactly.
@@ -2926,7 +3136,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const ShlAssgn: 57;
+  export declare const ShlAssgn: 57;
 
   /**
    * Upstream BinAritOperator constant Shr. Its numeric value is preserved exactly.
@@ -2935,7 +3145,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const Shr: 64;
+  export declare const Shr: 64;
 
   /**
    * Upstream BinAritOperator constant ShrAssgn. Its numeric value is preserved exactly.
@@ -2944,7 +3154,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const ShrAssgn: 58;
+  export declare const ShrAssgn: 58;
 
   /**
    * Slice represents a character slicing expression inside a `ParamExp`.
@@ -3042,7 +3252,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const Sub: 83;
+  export declare const Sub: 83;
 
   /**
    * Upstream BinAritOperator constant SubAssgn. Its numeric value is preserved exactly.
@@ -3051,7 +3261,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const SubAssgn: 50;
+  export declare const SubAssgn: 50;
 
   /**
    * Subshell represents a series of commands that should be executed in a nested
@@ -3123,7 +3333,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TernColon: 104;
+  export declare const TernColon: 104;
 
   /**
    * Upstream BinAritOperator constant TernQuest. Its numeric value is preserved exactly.
@@ -3132,7 +3342,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TernQuest: 85;
+  export declare const TernQuest: 85;
 
   /**
    * TestClause represents a Bash extended test clause.
@@ -3236,7 +3446,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsAfter: 63;
+  export declare const TsAfter: 63;
 
   /**
    * Upstream BinTestOperator constant TsBefore. Its numeric value is preserved exactly.
@@ -3245,7 +3455,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsBefore: 65;
+  export declare const TsBefore: 65;
 
   /**
    * Upstream UnTestOperator constant TsBlckSp. Its numeric value is preserved exactly.
@@ -3254,7 +3464,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsBlckSp: 109;
+  export declare const TsBlckSp: 109;
 
   /**
    * Upstream UnTestOperator constant TsCharSp. Its numeric value is preserved exactly.
@@ -3263,7 +3473,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsCharSp: 108;
+  export declare const TsCharSp: 108;
 
   /**
    * Upstream BinTestOperator constant TsDevIno. Its numeric value is preserved exactly.
@@ -3272,7 +3482,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsDevIno: 132;
+  export declare const TsDevIno: 132;
 
   /**
    * Upstream UnTestOperator constant TsDirect. Its numeric value is preserved exactly.
@@ -3281,7 +3491,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsDirect: 107;
+  export declare const TsDirect: 107;
 
   /**
    * Upstream UnTestOperator constant TsEmpStr. Its numeric value is preserved exactly.
@@ -3290,7 +3500,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsEmpStr: 124;
+  export declare const TsEmpStr: 124;
 
   /**
    * Upstream BinTestOperator constant TsEql. Its numeric value is preserved exactly.
@@ -3299,7 +3509,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsEql: 133;
+  export declare const TsEql: 133;
 
   /**
    * Upstream UnTestOperator constant TsExec. Its numeric value is preserved exactly.
@@ -3308,7 +3518,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsExec: 121;
+  export declare const TsExec: 121;
 
   /**
    * Upstream UnTestOperator constant TsExists. Its numeric value is preserved exactly.
@@ -3317,7 +3527,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsExists: 105;
+  export declare const TsExists: 105;
 
   /**
    * Upstream UnTestOperator constant TsFdTerm. Its numeric value is preserved exactly.
@@ -3326,7 +3536,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsFdTerm: 123;
+  export declare const TsFdTerm: 123;
 
   /**
    * Upstream BinTestOperator constant TsGeq. Its numeric value is preserved exactly.
@@ -3335,7 +3545,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsGeq: 136;
+  export declare const TsGeq: 136;
 
   /**
    * Upstream UnTestOperator constant TsGIDSet. Its numeric value is preserved exactly.
@@ -3344,7 +3554,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsGIDSet: 114;
+  export declare const TsGIDSet: 114;
 
   /**
    * Upstream UnTestOperator constant TsGrpOwn. Its numeric value is preserved exactly.
@@ -3353,7 +3563,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsGrpOwn: 116;
+  export declare const TsGrpOwn: 116;
 
   /**
    * Upstream BinTestOperator constant TsGtr. Its numeric value is preserved exactly.
@@ -3362,7 +3572,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsGtr: 138;
+  export declare const TsGtr: 138;
 
   /**
    * Upstream BinTestOperator constant TsLeq. Its numeric value is preserved exactly.
@@ -3371,7 +3581,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsLeq: 135;
+  export declare const TsLeq: 135;
 
   /**
    * Upstream BinTestOperator constant TsLss. Its numeric value is preserved exactly.
@@ -3380,7 +3590,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsLss: 137;
+  export declare const TsLss: 137;
 
   /**
    * Upstream BinTestOperator constant TsMatch. Its numeric value is preserved exactly.
@@ -3389,7 +3599,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsMatch: 45;
+  export declare const TsMatch: 45;
 
   /**
    * Upstream BinTestOperator constant TsMatchShort. Its numeric value is preserved exactly.
@@ -3398,7 +3608,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsMatchShort: 87;
+  export declare const TsMatchShort: 87;
 
   /**
    * Upstream UnTestOperator constant TsModif. Its numeric value is preserved exactly.
@@ -3407,7 +3617,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsModif: 118;
+  export declare const TsModif: 118;
 
   /**
    * Upstream UnTestOperator constant TsNempStr. Its numeric value is preserved exactly.
@@ -3416,7 +3626,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsNempStr: 125;
+  export declare const TsNempStr: 125;
 
   /**
    * Upstream BinTestOperator constant TsNeq. Its numeric value is preserved exactly.
@@ -3425,7 +3635,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsNeq: 134;
+  export declare const TsNeq: 134;
 
   /**
    * Upstream BinTestOperator constant TsNewer. Its numeric value is preserved exactly.
@@ -3434,7 +3644,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsNewer: 130;
+  export declare const TsNewer: 130;
 
   /**
    * Upstream UnTestOperator constant TsNmPipe. Its numeric value is preserved exactly.
@@ -3443,7 +3653,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsNmPipe: 110;
+  export declare const TsNmPipe: 110;
 
   /**
    * Upstream UnTestOperator constant TsNoEmpty. Its numeric value is preserved exactly.
@@ -3452,7 +3662,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsNoEmpty: 122;
+  export declare const TsNoEmpty: 122;
 
   /**
    * Upstream BinTestOperator constant TsNoMatch. Its numeric value is preserved exactly.
@@ -3461,7 +3671,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsNoMatch: 46;
+  export declare const TsNoMatch: 46;
 
   /**
    * Upstream UnTestOperator constant TsNot. Its numeric value is preserved exactly.
@@ -3470,7 +3680,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsNot: 39;
+  export declare const TsNot: 39;
 
   /**
    * Upstream BinTestOperator constant TsOlder. Its numeric value is preserved exactly.
@@ -3479,7 +3689,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsOlder: 131;
+  export declare const TsOlder: 131;
 
   /**
    * Upstream UnTestOperator constant TsOptSet. Its numeric value is preserved exactly.
@@ -3488,7 +3698,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsOptSet: 126;
+  export declare const TsOptSet: 126;
 
   /**
    * Upstream UnTestOperator constant TsParen. Its numeric value is preserved exactly.
@@ -3497,7 +3707,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsParen: 27;
+  export declare const TsParen: 27;
 
   /**
    * Upstream UnTestOperator constant TsRead. Its numeric value is preserved exactly.
@@ -3506,7 +3716,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsRead: 119;
+  export declare const TsRead: 119;
 
   /**
    * Upstream UnTestOperator constant TsRefVar. Its numeric value is preserved exactly.
@@ -3515,7 +3725,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsRefVar: 128;
+  export declare const TsRefVar: 128;
 
   /**
    * Upstream UnTestOperator constant TsRegFile. Its numeric value is preserved exactly.
@@ -3524,7 +3734,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsRegFile: 106;
+  export declare const TsRegFile: 106;
 
   /**
    * Upstream BinTestOperator constant TsReMatch. Its numeric value is preserved exactly.
@@ -3533,7 +3743,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsReMatch: 129;
+  export declare const TsReMatch: 129;
 
   /**
    * Upstream UnTestOperator constant TsSmbLink. Its numeric value is preserved exactly.
@@ -3542,7 +3752,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsSmbLink: 112;
+  export declare const TsSmbLink: 112;
 
   /**
    * Upstream UnTestOperator constant TsSocket. Its numeric value is preserved exactly.
@@ -3551,7 +3761,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsSocket: 111;
+  export declare const TsSocket: 111;
 
   /**
    * Upstream UnTestOperator constant TsSticky. Its numeric value is preserved exactly.
@@ -3560,7 +3770,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsSticky: 113;
+  export declare const TsSticky: 113;
 
   /**
    * Upstream UnTestOperator constant TsUIDSet. Its numeric value is preserved exactly.
@@ -3569,7 +3779,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsUIDSet: 115;
+  export declare const TsUIDSet: 115;
 
   /**
    * Upstream UnTestOperator constant TsUsrOwn. Its numeric value is preserved exactly.
@@ -3578,7 +3788,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsUsrOwn: 117;
+  export declare const TsUsrOwn: 117;
 
   /**
    * Upstream UnTestOperator constant TsVarSet. Its numeric value is preserved exactly.
@@ -3587,7 +3797,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsVarSet: 127;
+  export declare const TsVarSet: 127;
 
   /**
    * Upstream UnTestOperator constant TsWrite. Its numeric value is preserved exactly.
@@ -3596,7 +3806,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const TsWrite: 120;
+  export declare const TsWrite: 120;
 
   /**
    * An upstream interface containing a nil pointer of a concrete syntax.Node kind. This differs from a nil interface (null): the concrete Go type remains observable and can affect operations. Only interface-valued positions admit this tag; concrete pointer fields use null. No record fields or node bounds are stored on the tag.
@@ -3777,7 +3987,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const UpperAll: 97;
+  export declare const UpperAll: 97;
 
   /**
    * Upstream ParExpOperator constant UpperFirst. Its numeric value is preserved exactly.
@@ -3786,7 +3996,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const UpperFirst: 96;
+  export declare const UpperFirst: 96;
 
   /**
    * WhileClause represents a while or an until clause.
@@ -3861,7 +4071,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const WordHdoc: 73;
+  export declare const WordHdoc: 73;
 
   /**
    * WordIter represents the iteration of a variable over a series of words in a
@@ -4040,20 +4250,33 @@ declare const DplOut: 68;
    */
   export declare interface WrapperSpec {
       /**
-       * The literal, exact argv0 text (after quote/escape removal) that
-       * identifies this wrapper — e.g. `['env']`. Matched only against a
-       * `static: true` word; see {@link WrapperSpec}'s doc comment.
+       * The command name that identifies this wrapper — e.g. `['env']`.
+       * Matched only against a `static: true` word; see {@link WrapperSpec}'s
+       * doc comment.
+       *
+       * Matching first searches the entire table for an exact name. Only when
+       * no exact entry exists does it try an absolute path's final segment:
+       *
+       * 1. Its entire resolved text (after quote/escape removal) equals one of
+       *    `names`: `env`, or a path a caller listed verbatim. An exact path
+       *    entry takes precedence over a plain-name entry even if listed later.
+       * 2. It is an **absolute path** (starts with `/`) whose final segment
+       *    equals one of `names`: `/usr/bin/env`, `/usr/bin/sudo`, `/opt/x/nice`
+       *    and `/usr//bin/env` resolve as `env`, `sudo` and `nice`. The chain
+       *    keeps the word as written, so a consumer still sees the path.
+       *
+       * Relative paths and paths with a trailing slash do not use the
+       * final-segment fallback. They can still match an explicitly listed name,
+       * such as `./with-retry` or `/opt/with-retry/`. Custom plain names also
+       * acquire absolute-path aliases; a path-only name does not acquire aliases
+       * for other paths with the same final segment.
        *
-       * Matching is **exact-name-only** — never basename matching. `sudo` does
-       * not match `/usr/bin/sudo` or `./sudo`; only a word whose *entire*
-       * resolved text equals one of `names` is recognized. This is a
-       * deliberate, narrower-than-real-world policy choice (a real shell would
-       * happily run `/usr/bin/sudo`), not an oversight: silently treating any
-       * path *ending in* a known wrapper name as that wrapper would be a
-       * different, broader matching policy this package isn't making on a
-       * caller's behalf. A caller who wants path-aware matching can express it
-       * explicitly via a custom {@link ResolveArgv0Options.transparentWrappers}
-       * table (e.g. `names: ['sudo', '/usr/bin/sudo']`).
+       * This is a lexical analysis assumption, not executable identity:
+       * `PATH` is not consulted and the filesystem is not read. Without an
+       * exact override, an unrelated executable named `/opt/mytools/env` uses
+       * the `env` entry's grammar. The chain preserves the original path so
+       * callers can apply their own policy. A word with an expansion
+       * (`"$dir/env"`) is not `static` and is never matched.
        */
       readonly names: readonly string[];
       /**
@@ -4154,7 +4377,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const Xor: 96;
+  export declare const Xor: 96;
 
   /**
    * Upstream BinAritOperator constant XorAssgn. Its numeric value is preserved exactly.
@@ -4163,7 +4386,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const XorAssgn: 56;
+  export declare const XorAssgn: 56;
 
   /**
    * Upstream BinAritOperator constant XorBool. Its numeric value is preserved exactly.
@@ -4172,7 +4395,7 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const XorBool: 97;
+  export declare const XorBool: 97;
 
   /**
    * Upstream BinAritOperator constant XorBoolAssgn. Its numeric value is preserved exactly.
@@ -4181,6 +4404,6 @@ declare const DplOut: 68;
    *
    * @public
    */
-  declare const XorBoolAssgn: 61;
+  export declare const XorBoolAssgn: 61;
 
   export { }