sh-ast 0.4.0 → 0.6.0

package/dist/analyze/resolve-word.js

@@ -1,3 +1,4 @@
+import { observeBraces } from './brace-observation.js';
 import { decodeAnsiCString } from './ansi-c-escapes.js';
 import { decodeDblQuotedLit, decodeUnquotedLit } from './decode-lit.js';
 import { nodeArray } from './node-helpers.js';
@@ -148,8 +149,7 @@ function resolvePart(part, quoting) {
         case 'ExtGlob':
             return { ok: false, reason: 'glob' };
         case 'BraceExp':
-            // See WordResolutionReason's 'brace' doc: unreachable via this
-            // bridge's parser today, handled for forward-compatibility.
+            // Caller-constructed or transformed records can already contain braces.
             return { ok: false, reason: 'brace' };
         default:
             // Any word-part node type this module doesn't specifically know
@@ -171,7 +171,7 @@ function resolvePart(part, quoting) {
  * resolves to `"rm"`). A word containing any expansion (`ParamExp`,
  * `CmdSubst`, `ArithmExp`, `ProcSubst`), a triggering unquoted `~` (see
  * `options.context`), an unquoted glob metacharacter/bracket
- * expression/`ExtGlob`, a `$"..."` locale translation, or an unrepresentable
+ * expression/`ExtGlob`, potential brace expansion, a `$"..."` locale translation, or an unrepresentable
  * `$'\U...'` escape is `static: false` with a reason — never an error, and
  * never a safety judgment (see {@link WordResolution}).
  *
@@ -198,6 +198,11 @@ export function resolveWord(word, options) {
     if (parts.length === 0) {
         return { static: true, text: '' };
     }
+    const braces = observeBraces(word);
+    if (braces === 'unsupported')
+        return { static: false, reason: 'unsupported' };
+    if (braces)
+        return { static: false, reason: 'brace' };
     // `parts.length === 0` returned above, so `parts[0]` is a real element.
     const first = parts[0];
     if (first.Type === 'Lit' &&

package/dist/analyze/resolve-word.js.map

@@ -1 +1 @@
-{"version":3,"file":"resolve-word.js","sourceRoot":"","sources":["../../src/analyze/resolve-word.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AA8I9C;;;;;;;;;GASG;AACH,SAAS,wBAAwB,CAAC,GAAW;IAC3C,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,qBAAqB,CAAC,KAAsB;IACnD,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,qBAAqB,GAAG,KAAK,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;QACvB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;gBACtC,kEAAkE;gBAClE,8DAA8D;gBAC9D,qBAAqB,GAAG,KAAK,CAAC;gBAC9B,CAAC,IAAI,CAAC,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,qBAAqB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,qBAAqB,GAAG,EAAE,KAAK,GAAG,CAAC;YACnC,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,4BAA4B,CAAC,KAAsB;IAC1D,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAClC,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACjD,QAAQ,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;IACrD,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,oFAAoF;AACpF,SAAS,WAAW,CAAC,IAAU,EAAE,OAAiC;IAChE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAC9C,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;YACvB,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;YACzE,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;gBAC5B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;YACjD,IAAI,OAAO;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YAClD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC5B,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;YACvB,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;YACzE,mEAAmE;YACnE,iEAAiE;YACjE,yDAAyD;YACzD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;gBACvC,IAAI,CAAC,OAAO,CAAC,EAAE;oBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;gBAC7D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;YAC1C,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACjC,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,6DAA6D;YAC7D,qEAAqE;YACrE,mEAAmE;YACnE,iEAAiE;YACjE,mEAAmE;YACnE,4DAA4D;YAC5D,8DAA8D;YAC9D,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACzC,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;YAC5E,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1C,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;gBAC/C,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO,MAAM,CAAC;gBAC9B,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC;YACtB,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC5B,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QAC5C,KAAK,SAAS;YACZ,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACvC,KAAK,UAAU;YACb,+DAA+D;YAC/D,4DAA4D;YAC5D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACxC;YACE,gEAAgE;YAChE,qEAAqE;YACrE,gEAAgE;YAChE,oEAAoE;YACpE,2BAA2B;YAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC9C,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,WAAW,CAAC,IAAU,EAAE,OAA4B;IAClE,oFAAoF;IACpF,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,SAAS,CAAC,2CAA2C,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAC/E,CAAC;IACD,8EAA8E;IAC9E,6DAA6D;IAC7D,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAChF,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACpC,CAAC;IACD,wEAAwE;IACxE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,IACE,KAAK,CAAC,IAAI,KAAK,KAAK;QACpB,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,EACrC,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,OAAO,EAAE,OAAO,KAAK,kBAAkB,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;QAClD,CAAC;QACD,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC"}
+{"version":3,"file":"resolve-word.js","sourceRoot":"","sources":["../../src/analyze/resolve-word.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAsJ9C;;;;;;;;;GASG;AACH,SAAS,wBAAwB,CAAC,GAAW;IAC3C,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,qBAAqB,CAAC,KAAsB;IACnD,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,qBAAqB,GAAG,KAAK,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;QACvB,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;gBACtC,kEAAkE;gBAClE,8DAA8D;gBAC9D,qBAAqB,GAAG,KAAK,CAAC;gBAC9B,CAAC,IAAI,CAAC,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,qBAAqB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,qBAAqB,GAAG,EAAE,KAAK,GAAG,CAAC;YACnC,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,4BAA4B,CAAC,KAAsB;IAC1D,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAClC,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACjD,QAAQ,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;IACrD,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,oFAAoF;AACpF,SAAS,WAAW,CAAC,IAAU,EAAE,OAAiC;IAChE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAC9C,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;YACvB,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;YACzE,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;gBAC5B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;YACjD,IAAI,OAAO;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YAClD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC5B,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;YACvB,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;YACzE,mEAAmE;YACnE,iEAAiE;YACjE,yDAAyD;YACzD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;gBACvC,IAAI,CAAC,OAAO,CAAC,EAAE;oBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;gBAC7D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;YAC1C,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACjC,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,6DAA6D;YAC7D,qEAAqE;YACrE,mEAAmE;YACnE,iEAAiE;YACjE,mEAAmE;YACnE,4DAA4D;YAC5D,8DAA8D;YAC9D,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACzC,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;YAC5E,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1C,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;gBAC/C,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO,MAAM,CAAC;gBAC9B,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC;YACtB,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC5B,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QAC5C,KAAK,SAAS;YACZ,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACvC,KAAK,UAAU;YACb,wEAAwE;YACxE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACxC;YACE,gEAAgE;YAChE,qEAAqE;YACrE,gEAAgE;YAChE,oEAAoE;YACpE,2BAA2B;YAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC9C,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,WAAW,CAAC,IAAU,EAAE,OAA4B;IAClE,oFAAoF;IACpF,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,SAAS,CAAC,2CAA2C,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAC/E,CAAC;IACD,8EAA8E;IAC9E,6DAA6D;IAC7D,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAChF,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACpC,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,aAAa;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC9E,IAAI,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACtD,wEAAwE;IACxE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,IACE,KAAK,CAAC,IAAI,KAAK,KAAK;QACpB,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,EACrC,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,OAAO,EAAE,OAAO,KAAK,kBAAkB,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;QAClD,CAAC;QACD,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC"}

package/dist/analyze.d.ts

@@ -195,6 +195,11 @@ export declare interface Argv0Resolution {
  *   the real command rather than naming it as a separate word (e.g.
  *   `env -S 'rm -rf /'` — see {@link WrapperSpec.unresolvableFlags}'s doc
  *   comment).
+ * - `'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).
+ *   Neither the following command nor the operand itself is guessed as
+ *   the effective command.
  *
  * This union may grow in a **minor** release (mirroring
  * `WordResolutionReason`'s and `CommandContext`'s semver policy in
@@ -204,7 +209,7 @@ export declare interface Argv0Resolution {
  *
  * @public
  */
-export declare type Argv0UnresolvedReason = 'unknown-flag' | 'embedded-command';
+export declare type Argv0UnresolvedReason = 'unknown-flag' | 'embedded-command' | 'ambiguous-assignment';
 
 /**
  * A word position {@link resolveArgv0} could not resolve to either a known
@@ -2747,7 +2752,7 @@ declare const DplOut: 68;
    * resolves to `"rm"`). A word containing any expansion (`ParamExp`,
    * `CmdSubst`, `ArithmExp`, `ProcSubst`), a triggering unquoted `~` (see
    * `options.context`), an unquoted glob metacharacter/bracket
-   * expression/`ExtGlob`, a `$"..."` locale translation, or an unrepresentable
+   * expression/`ExtGlob`, potential brace expansion, a `$"..."` locale translation, or an unrepresentable
    * `$'\U...'` escape is `static: false` with a reason — never an error, and
    * never a safety judgment (see {@link WordResolution}).
    *
@@ -3929,7 +3934,7 @@ declare const DplOut: 68;
       /** The word's exact resolved text (quotes and escapes removed). */
       readonly text: string;
   } | {
-      /** The word's value depends on program state, the environment, or the filesystem. */
+      /** The word has potential expansion or cannot be resolved reliably by this analyzer. */
       readonly static: false;
       /** Why this word cannot be statically resolved. */
       readonly reason: WordResolutionReason;
@@ -3937,7 +3942,7 @@ declare const DplOut: 68;
 
   /**
    * Why a {@link resolveWord} result is `static: false`: the word's exact
-   * text cannot be determined from source alone.
+   * value cannot be classified as one reliably known literal word.
    *
    * - `'expansion'` — the word contains a `ParamExp` (`$x`, `${x}`), a
    *   `CmdSubst` (command substitution, either `$(...)` or backtick form), an
@@ -3959,15 +3964,12 @@ declare const DplOut: 68;
    *   Reference Manual §3.5.8.1, "Pattern Matching"), or an `ExtGlob` part
    *   (Bash Reference Manual §3.5.8, "Filename Expansion"): its value depends
    *   on which filesystem entries exist at run time.
-   * - `'brace'` — the word contains a `BraceExp` part (`{a,b}`/`{1..10}`,
-   *   Bash Reference Manual §3.5.1, "Brace Expansion"). mvdan/sh v3.13.1 only
-   *   ever produces this node type when its caller applies `syntax.SplitBraces`
-   *   to the parsed tree; this bridge's shim does not call it, so today a
-   *   brace expression like `{a,b}` reaches {@link resolveWord} as an
-   *   ordinary `Lit` (indistinguishable, in the AST this bridge produces,
-   *   from literal `{`/`,`/`}` characters) rather than as a `BraceExp` part.
-   *   This reason is handled here for forward-compatibility with that node
-   *   type and is not reachable through {@link resolveWord} today.
+   * - `'brace'` — the word contains a `BraceExp` part or the pinned upstream
+   *   `syntax.SplitBraces` produces one on a private observation copy (Bash
+   *   Reference Manual §3.5.1, "Brace Expansion"). Parser output is unchanged.
+   *   This reports potential expansion in supporting dialects; a bare Word has
+   *   no dialect or shell-option state, so even POSIX-parsed words receive the
+   *   conservative classification. It does not claim POSIX sh expands braces.
    * - `'locale'` — the word contains a `$"..."` locale-translated string
    *   (Bash Reference Manual §3.1.2.5, "Locale-Specific Translation"): its
    *   value is looked up in the current locale's translation catalog at run
@@ -3976,7 +3978,10 @@ declare const DplOut: 68;
    *   `$"..."` word's *contents* would otherwise report — the `DblQuoted`
    *   node's own `dollar` flag is checked before its children are visited at
    *   all, so e.g. `$"hi $x"` reports `'locale'`, never `'expansion'`.
-   * - `'unsupported'` — a word contains a nil or typed nil part, a literal carries a byte-preserving `Uint8Array`
+   * - `'unsupported'` — a brace candidate contains backslashes whose handling
+   *   differs between pinned mvdan/sh and Bash (rather than guessing through
+   *   that discrepancy), an unquoted backslash escape crosses word-part
+   *   boundaries in a caller-constructed word, a word contains a nil or typed nil part, a literal carries a byte-preserving `Uint8Array`
    *   rather than Unicode text, or the word contains a `$'...'` (ANSI-C quoted) `\u`/`\U`
    *   escape whose value has no corresponding Unicode character (greater than
    *   `U+10FFFF`, e.g. `$'\UFFFFFFFF'`): real bash's output for this case is
@@ -3986,6 +3991,14 @@ declare const DplOut: 68;
    *   package declines to claim a `static: true` text bash never actually
    *   produces.
    *
+   * Reason descriptions do not establish universal precedence among features.
+   * Whole-word `unsupported` preflight takes precedence even when a caller has
+   * already supplied a `BraceExp`: an escape crossing parts can invalidate the
+   * apparent quoting boundaries, and an escape-uncertain brace candidate remains
+   * uncertain. Independently quoted or fully protected literal siblings do not
+   * suppress a known `BraceExp`. After preflight, existing resolution order can
+   * select a triggering tilde or earlier glob before visiting that part.
+   *
    * This union may grow in a **minor** release — new mvdan/sh word-part node
    * types, or new statically-shaped-but-dynamic categories, can add new reason
    * strings without that being a breaking change. It is deliberately not
@@ -4044,15 +4057,34 @@ declare const DplOut: 68;
        */
       readonly names: readonly string[];
       /**
-       * When `true`, a `NAME=value`-shaped operand (an unquoted identifier
-       * followed by `=`, e.g. `A=1`) appearing after the wrapper name is
-       * skipped — this is `env`'s and `sudo`'s own `VAR=val` *operand*
-       * mechanism (setting variables in the wrapped command's environment),
-       * which is a distinct, per-wrapper concept from the shell-level
-       * `CallExpr.Assigns` prefixes {@link Argv0Resolution.assignmentsSkipped}
-       * counts.
+       * Legacy shorthand for {@link WrapperSpec.assignmentOperands}'s
+       * `'shell-identifier'` grammar: skip statically resolved `NAME=value`
+       * words with an ASCII shell identifier before `--`. Options may follow
+       * these operands. Quote removal has already happened during word resolution.
+       * An explicit `assignmentOperands` takes precedence, even when this is false.
+       * These operands never contribute to shell-prefix `assignmentsSkipped`.
        */
       readonly skipAssignmentOperands?: boolean;
+      /**
+       * Assignment-operand scanning grammar, independent of the wrapper's name.
+       * Each preset defines both which static words are assignments and where
+       * option scanning stops; it does not model the utility's other options.
+       *
+       * - `'shell-identifier'`: the legacy ASCII `NAME=value` rule before `--`;
+       *   options may resume after an assignment.
+       * - `'env'`: after options, consume words containing `=` (including after
+       *   `--`). The first assignment ends option scanning permanently. Empty
+       *   names (`=value`) produce `'ambiguous-assignment'` because GNU/glibc
+       *   and BSD differ on whether they can be installed in the environment.
+       * - `'sudo'`: before `--`, consume words containing `=` unless they start
+       *   with `/` or `=`; option scanning may resume after each assignment.
+       *
+       * Active option parsing always takes precedence over utility assignments:
+       * `--unset=NAME` is an option, whereas `env A=1 --unset=NAME cmd` treats
+       * that same word as an assignment. This field overrides the legacy
+       * {@link WrapperSpec.skipAssignmentOperands} boolean when present.
+       */
+      readonly assignmentOperands?: 'shell-identifier' | 'env' | 'sudo';
       /** Exact flag tokens that take no operand of their own (e.g. `-i`, `-c`). */
       readonly noArgFlags?: readonly string[];
       /**

package/dist/index.d.ts

@@ -1,5 +1,9 @@
 export { InputError, LangError, ParseError, newPos, nodeEnd, nodePos, parseSync, parseWithPositionsSync, rawOperator, } from './syntax.js';
 export type { ParseOptions, ParsedFile, PositionSnapshot, NodePositions } from './syntax.js';
+export { printSync } from './syntax-print.js';
+export type { PrintOptions } from './syntax-print.js';
+export { PrintError, PrintPanicError } from './syntax-print-errors.js';
+export { walk, WalkPanicError } from './syntax-walk.js';
 export type * from '../generated/syntax-types.js';
 export * from '../generated/syntax-constants.js';
 export type { SyntaxFieldSchema, SyntaxRecordSchema } from '../generated/syntax-schema.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,UAAU,EACV,SAAS,EACT,UAAU,EACV,MAAM,EACN,OAAO,EACP,OAAO,EACP,SAAS,EACT,sBAAsB,EACtB,WAAW,GACZ,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC7F,mBAAmB,8BAA8B,CAAC;AAClD,cAAc,kCAAkC,CAAC;AACjD,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAC3F,OAAO,EACL,gCAAgC,EAChC,sBAAsB,EACtB,UAAU,EACV,eAAe,EACf,oBAAoB,GACrB,MAAM,aAAa,CAAC;AAErB;;;;;GAKG;AACH,eAAO,MAAM,aAAa,gGAAqB,CAAC;AAEhD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,uDAAyB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,UAAU,EACV,SAAS,EACT,UAAU,EACV,MAAM,EACN,OAAO,EACP,OAAO,EACP,SAAS,EACT,sBAAsB,EACtB,WAAW,GACZ,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACxD,mBAAmB,8BAA8B,CAAC;AAClD,cAAc,kCAAkC,CAAC;AACjD,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAC3F,OAAO,EACL,gCAAgC,EAChC,sBAAsB,EACtB,UAAU,EACV,eAAe,EACf,oBAAoB,GACrB,MAAM,aAAa,CAAC;AAErB;;;;;GAKG;AACH,eAAO,MAAM,aAAa,gGAAqB,CAAC;AAEhD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,uDAAyB,CAAC"}

package/dist/index.js

@@ -1,11 +1,14 @@
 /**
  * A faithful synchronous interface to mvdan/sh syntax. The root exposes upstream
- * records, constants, parser controls and position operations. Consumer-specific
+ * records, constants, parser controls, traversal, printing and position operations. Consumer-specific
  * source views and semantic analysis are separate responsibilities.
  */
 import { SYNTAX_INTERFACES as interfaces, SYNTAX_SCHEMA as schema, } from '../generated/syntax-schema.js';
 import { deepFreeze } from './deep-freeze.js';
 export { InputError, LangError, ParseError, newPos, nodeEnd, nodePos, parseSync, parseWithPositionsSync, rawOperator, } from './syntax.js';
+export { printSync } from './syntax-print.js';
+export { PrintError, PrintPanicError } from './syntax-print-errors.js';
+export { walk, WalkPanicError } from './syntax-walk.js';
 export * from '../generated/syntax-constants.js';
 export { ShAnalyzeInvalidWrapperSpecError, ShAnalyzeMaxDepthError, ShAstError, ShInternalError, ShParseMaxDepthError, } from './errors.js';
 /**

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EACL,iBAAiB,IAAI,UAAU,EAC/B,aAAa,IAAI,MAAM,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EACL,UAAU,EACV,SAAS,EACT,UAAU,EACV,MAAM,EACN,OAAO,EACP,OAAO,EACP,SAAS,EACT,sBAAsB,EACtB,WAAW,GACZ,MAAM,aAAa,CAAC;AAGrB,cAAc,kCAAkC,CAAC;AAEjD,OAAO,EACL,gCAAgC,EAChC,sBAAsB,EACtB,UAAU,EACV,eAAe,EACf,oBAAoB,GACrB,MAAM,aAAa,CAAC;AAErB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAEhD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EACL,iBAAiB,IAAI,UAAU,EAC/B,aAAa,IAAI,MAAM,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EACL,UAAU,EACV,SAAS,EACT,UAAU,EACV,MAAM,EACN,OAAO,EACP,OAAO,EACP,SAAS,EACT,sBAAsB,EACtB,WAAW,GACZ,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAE9C,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAExD,cAAc,kCAAkC,CAAC;AAEjD,OAAO,EACL,gCAAgC,EAChC,sBAAsB,EACtB,UAAU,EACV,eAAe,EACf,oBAAoB,GACrB,MAAM,aAAa,CAAC;AAErB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAEhD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC"}

package/dist/sh-ast.d.ts

@@ -2338,6 +2338,79 @@ export declare const Pow: 44;
  */
 export declare const PowAssgn: 62;
 
+/**
+ * An error returned by upstream Printer.Print, such as an unsupported root or
+ * incompatible formatting options. No partial writer output is exposed.
+ * @public
+ */
+export declare class PrintError extends ShAstError {
+    /** Stable identity for an ordinary error returned by upstream Print. @public */
+    readonly code = "SH_AST_SYNTAX_PRINT";
+    /** Exact upstream error bytes; Error.message is only a display rendering. @public */
+    readonly Message: GoString;
+    /** Retains the upstream error without interpreting its human-readable text. @public */
+    constructor(message: GoString);
+}
+
+/**
+ * Upstream NewPrinter controls applied to a fresh printer for each call. All
+ * flags default to false; zero indentation selects tabs. The pinned WASM uint
+ * domain is 64-bit, so Indent accepts bigint beyond JavaScript's safe integers.
+ * @public
+ */
+export declare interface PrintOptions {
+    /** Spaces per level, or zero for tabs. Large values can request expensive output. */
+    Indent?: number | bigint;
+    /** Places multiline binary operators on the next line with a backslash continuation. */
+    BinaryNextLine?: boolean;
+    /** Indents case alternatives, placing their bodies two levels below the case clause. */
+    SwitchCaseIndent?: boolean;
+    /** Adds space after redirection operators except `>&`, `<&`, `>(` and `<(`. */
+    SpaceRedirects?: boolean;
+    /**
+     * Preserves token columns on a best-effort basis.
+     * @deprecated Upstream marks this option as flawed and plans removal in v4.
+     */
+    KeepPadding?: boolean;
+    /** Omits comments, indentation and optional whitespace. Incompatible with SingleLine. */
+    Minify?: boolean;
+    /** Reduces newlines except where comments, heredocs or File output require them. */
+    SingleLine?: boolean;
+    /** Places a function's opening brace on the next line. */
+    FunctionNextLine?: boolean;
+}
+
+/**
+ * Upstream Printer.Print panicked for a representable tree or option value.
+ * Partial and typed-nil trees can trigger this independently of root support.
+ * Catching the panic preserves reuse of the binding's shared runtime.
+ * @public
+ */
+export declare class PrintPanicError extends ShAstError {
+    /** Stable identity for an upstream panic caught at the Print operation. @public */
+    readonly code = "SH_AST_SYNTAX_PRINT_PANIC";
+    /** Exact panic rendering from Go; Error.message is only a display rendering. @public */
+    readonly Message: GoString;
+    /** Retains the panic message separately from ordinary returned Print errors. @public */
+    constructor(message: GoString);
+}
+
+/**
+ * Formats the current tree with a fresh upstream printer and collects all output.
+ * Supported roots are File, Stmt, Word, Assign, Command and WordPart; other Nodes
+ * produce PrintError. Only File output has upstream's trailing-newline behavior.
+ * Invalid UTF-8 output remains bytes. Upstream formatting can itself consume
+ * input bytes, including its tabwriter escape byte, so this is not source replay.
+ *
+ * InputError identifies unrepresentable input; PrintError is an ordinary returned
+ * upstream error; PrintPanicError retains an upstream operation panic. No partial
+ * output or arbitrary writer lifecycle is exposed. Full tree reconstruction and
+ * collected output require memory proportional to the values involved; extreme
+ * indentation or tree size is not made resource-safe by panic adaptation.
+ * @public
+ */
+export declare function printSync(node: Node_2, options?: PrintOptions): GoString;
+
 /**
  * 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.
  *
@@ -3695,6 +3768,53 @@ export declare const UpperAll: 97;
  */
 export declare const UpperFirst: 96;
 
+/**
+ * Walks synchronously using the pinned upstream case ordering. Each accepted entry is followed by its
+ * children and a null exit. Returning false prunes the entry without an exit;
+ * boolean exit return values are ignored. Every callback must return a boolean
+ * synchronously; other results produce InputError. Callback exceptions retain their identity,
+ * and upstream deferred comment callbacks still run during exception unwinding.
+ *
+ * Children and later fields are read live. Each list captures its array reference
+ * and length when traversal reaches that list, then reads existing later slots
+ * when reached. Replacing or reordering later slots is observed and can cause
+ * a node to be skipped or revisited. Indices added beyond the captured extent
+ * are not visited by that active list. Replacing the owner's array field does not
+ * redirect an active list, but a later walk or print sees the current field.
+ * Changes made before a list is reached are observed when it starts.
+ *
+ * Supported edits preserve each node's Type (and TypedNil.Kind), required field
+ * shapes and every index within each active list's captured extent. Leaving
+ * holes or shrinking an array below that extent (for example through truncation,
+ * deletion, or length-reducing splice/shift) is outside the mutation contract.
+ * These are not runtime validation rules. Ordinary JavaScript object and array
+ * aliases remain shared; the binding does not model distinct Go slice headers or
+ * capacity-dependent allocation over shared backing storage.
+ *
+ * Comments on Stmt, CaseItem and ArrayElem are copied before their callbacks,
+ * including position and byte-string values; editing a copy does not edit the
+ * stored comment. Last/CondLast/ThenLast/DoLast callbacks receive the stored
+ * JavaScript Comment object. Replacing its array slot leaves any previously
+ * retained callback object unchanged: there is no Go value-slot pointer identity.
+ * Reentrant walks maintain independent traversal state.
+ * @public
+ */
+export declare function walk(node: Node_2, callback: (node: Node_2 | null) => boolean): void;
+
+/**
+ * A panic raised by upstream-equivalent traversal, such as a nil dereference or
+ * unsupported concrete node. Exceptions thrown by callbacks are never wrapped.
+ * @public
+ */
+export declare class WalkPanicError extends ShAstError {
+    /** Stable discriminator for traversal panics. @public */
+    readonly code = "SH_AST_WALK_PANIC";
+    /** Exact upstream panic bytes; Error.message is only a display rendering. @public */
+    readonly Message: GoString;
+    /** Retains the upstream panic text separately from its display rendering. @public */
+    constructor(message: GoString);
+}
+
 /**
  * WhileClause represents a while or an until clause.
  *

package/dist/syntax-print-errors.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Printing has two upstream failure modes: returned errors and panics raised by
+ * the operation. Both retain exact message bytes; neither is a parser failure
+ * or a claim that the transport itself malfunctioned.
+ */
+import type { GoString } from '../generated/syntax-types.js';
+import { ShAstError } from './errors.js';
+/**
+ * An error returned by upstream Printer.Print, such as an unsupported root or
+ * incompatible formatting options. No partial writer output is exposed.
+ * @public
+ */
+export declare class PrintError extends ShAstError {
+    /** Stable identity for an ordinary error returned by upstream Print. @public */
+    readonly code = "SH_AST_SYNTAX_PRINT";
+    /** Exact upstream error bytes; Error.message is only a display rendering. @public */
+    readonly Message: GoString;
+    /** Retains the upstream error without interpreting its human-readable text. @public */
+    constructor(message: GoString);
+}
+/**
+ * Upstream Printer.Print panicked for a representable tree or option value.
+ * Partial and typed-nil trees can trigger this independently of root support.
+ * Catching the panic preserves reuse of the binding's shared runtime.
+ * @public
+ */
+export declare class PrintPanicError extends ShAstError {
+    /** Stable identity for an upstream panic caught at the Print operation. @public */
+    readonly code = "SH_AST_SYNTAX_PRINT_PANIC";
+    /** Exact panic rendering from Go; Error.message is only a display rendering. @public */
+    readonly Message: GoString;
+    /** Retains the panic message separately from ordinary returned Print errors. @public */
+    constructor(message: GoString);
+}
+//# sourceMappingURL=syntax-print-errors.d.ts.map

package/dist/syntax-print-errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax-print-errors.d.ts","sourceRoot":"","sources":["../src/syntax-print-errors.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;GAIG;AACH,qBAAa,UAAW,SAAQ,UAAU;IACxC,gFAAgF;IAChF,QAAQ,CAAC,IAAI,yBAAyB;IAEtC,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAE3B,uFAAuF;gBAC3E,OAAO,EAAE,QAAQ;CAK9B;AAED;;;;;GAKG;AACH,qBAAa,eAAgB,SAAQ,UAAU;IAC7C,mFAAmF;IACnF,QAAQ,CAAC,IAAI,+BAA+B;IAE5C,wFAAwF;IACxF,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAE3B,wFAAwF;gBAC5E,OAAO,EAAE,QAAQ;CAK9B"}

package/dist/syntax-print-errors.js

@@ -0,0 +1,37 @@
+import { ShAstError } from './errors.js';
+/**
+ * An error returned by upstream Printer.Print, such as an unsupported root or
+ * incompatible formatting options. No partial writer output is exposed.
+ * @public
+ */
+export class PrintError extends ShAstError {
+    /** Stable identity for an ordinary error returned by upstream Print. @public */
+    code = 'SH_AST_SYNTAX_PRINT';
+    /** Exact upstream error bytes; Error.message is only a display rendering. @public */
+    Message;
+    /** Retains the upstream error without interpreting its human-readable text. @public */
+    constructor(message) {
+        super(typeof message === 'string' ? message : new TextDecoder().decode(message));
+        this.Message = message;
+        this.name = 'PrintError';
+    }
+}
+/**
+ * Upstream Printer.Print panicked for a representable tree or option value.
+ * Partial and typed-nil trees can trigger this independently of root support.
+ * Catching the panic preserves reuse of the binding's shared runtime.
+ * @public
+ */
+export class PrintPanicError extends ShAstError {
+    /** Stable identity for an upstream panic caught at the Print operation. @public */
+    code = 'SH_AST_SYNTAX_PRINT_PANIC';
+    /** Exact panic rendering from Go; Error.message is only a display rendering. @public */
+    Message;
+    /** Retains the panic message separately from ordinary returned Print errors. @public */
+    constructor(message) {
+        super(typeof message === 'string' ? message : new TextDecoder().decode(message));
+        this.Message = message;
+        this.name = 'PrintPanicError';
+    }
+}
+//# sourceMappingURL=syntax-print-errors.js.map

package/dist/syntax-print-errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax-print-errors.js","sourceRoot":"","sources":["../src/syntax-print-errors.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;GAIG;AACH,MAAM,OAAO,UAAW,SAAQ,UAAU;IACxC,gFAAgF;IACvE,IAAI,GAAG,qBAAqB,CAAC;IAEtC,qFAAqF;IAC5E,OAAO,CAAW;IAE3B,uFAAuF;IACvF,YAAY,OAAiB;QAC3B,KAAK,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QACjF,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IAC3B,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,eAAgB,SAAQ,UAAU;IAC7C,mFAAmF;IAC1E,IAAI,GAAG,2BAA2B,CAAC;IAE5C,wFAAwF;IAC/E,OAAO,CAAW;IAE3B,wFAAwF;IACxF,YAAY,OAAiB;QAC3B,KAAK,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QACjF,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF"}

package/dist/syntax-print.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Collected-output access to upstream Printer.Print. The reverse codec rebuilds
+ * the current faithful tree, and Go owns formatting decisions. This module has
+ * no source cache, parser round trip, writer callbacks, or reusable printer state.
+ */
+import type { GoString, Node } from '../generated/syntax-types.js';
+/**
+ * Upstream NewPrinter controls applied to a fresh printer for each call. All
+ * flags default to false; zero indentation selects tabs. The pinned WASM uint
+ * domain is 64-bit, so Indent accepts bigint beyond JavaScript's safe integers.
+ * @public
+ */
+export interface PrintOptions {
+    /** Spaces per level, or zero for tabs. Large values can request expensive output. */
+    Indent?: number | bigint;
+    /** Places multiline binary operators on the next line with a backslash continuation. */
+    BinaryNextLine?: boolean;
+    /** Indents case alternatives, placing their bodies two levels below the case clause. */
+    SwitchCaseIndent?: boolean;
+    /** Adds space after redirection operators except `>&`, `<&`, `>(` and `<(`. */
+    SpaceRedirects?: boolean;
+    /**
+     * Preserves token columns on a best-effort basis.
+     * @deprecated Upstream marks this option as flawed and plans removal in v4.
+     */
+    KeepPadding?: boolean;
+    /** Omits comments, indentation and optional whitespace. Incompatible with SingleLine. */
+    Minify?: boolean;
+    /** Reduces newlines except where comments, heredocs or File output require them. */
+    SingleLine?: boolean;
+    /** Places a function's opening brace on the next line. */
+    FunctionNextLine?: boolean;
+}
+/**
+ * Formats the current tree with a fresh upstream printer and collects all output.
+ * Supported roots are File, Stmt, Word, Assign, Command and WordPart; other Nodes
+ * produce PrintError. Only File output has upstream's trailing-newline behavior.
+ * Invalid UTF-8 output remains bytes. Upstream formatting can itself consume
+ * input bytes, including its tabwriter escape byte, so this is not source replay.
+ *
+ * InputError identifies unrepresentable input; PrintError is an ordinary returned
+ * upstream error; PrintPanicError retains an upstream operation panic. No partial
+ * output or arbitrary writer lifecycle is exposed. Full tree reconstruction and
+ * collected output require memory proportional to the values involved; extreme
+ * indentation or tree size is not made resource-safe by panic adaptation.
+ * @public
+ */
+export declare function printSync(node: Node, options?: PrintOptions): GoString;
+//# sourceMappingURL=syntax-print.d.ts.map

package/dist/syntax-print.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax-print.d.ts","sourceRoot":"","sources":["../src/syntax-print.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAC;AAOnE;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,qFAAqF;IACrF,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,wFAAwF;IACxF,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,wFAAwF;IACxF,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,+EAA+E;IAC/E,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;OAGG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,yFAAyF;IACzF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,oFAAoF;IACpF,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,0DAA0D;IAC1D,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,GAAE,YAAiB,GAAG,QAAQ,CAoC1E"}

package/dist/syntax-print.js

@@ -0,0 +1,86 @@
+import { ShInternalError } from './errors.js';
+import { InputError } from './syntax-errors.js';
+import { PrintError, PrintPanicError } from './syntax-print-errors.js';
+import { decodeWire, encodeWire, isGoString, isRecord, isSyntaxNode } from './syntax-wire.js';
+import { callSyntax } from './wasm-instance.js';
+/**
+ * Formats the current tree with a fresh upstream printer and collects all output.
+ * Supported roots are File, Stmt, Word, Assign, Command and WordPart; other Nodes
+ * produce PrintError. Only File output has upstream's trailing-newline behavior.
+ * Invalid UTF-8 output remains bytes. Upstream formatting can itself consume
+ * input bytes, including its tabwriter escape byte, so this is not source replay.
+ *
+ * InputError identifies unrepresentable input; PrintError is an ordinary returned
+ * upstream error; PrintPanicError retains an upstream operation panic. No partial
+ * output or arbitrary writer lifecycle is exposed. Full tree reconstruction and
+ * collected output require memory proportional to the values involved; extreme
+ * indentation or tree size is not made resource-safe by panic adaptation.
+ * @public
+ */
+export function printSync(node, options = {}) {
+    validatePrintOptions(options);
+    if (!isSyntaxNode(node)) {
+        throw new InputError('Expected a complete, acyclic upstream Node record');
+    }
+    const payload = new TextEncoder().encode(encodeWire(node));
+    const result = decodeWire(callSyntax('print', payload, encodeWire(options)));
+    if (!isRecord(result)) {
+        throw new ShInternalError('The syntax printer returned a non-record response');
+    }
+    if (result.Error !== undefined) {
+        const error = result.Error;
+        if (!isRecord(error) || !isGoString(error.Message)) {
+            throw new ShInternalError('The syntax printer returned a malformed error');
+        }
+        switch (error.Kind) {
+            case 'PrintError':
+                throw new PrintError(error.Message);
+            case 'PrintPanicError':
+                throw new PrintPanicError(error.Message);
+            case 'InputError':
+                throw new InputError(error.Message);
+            case 'InternalError':
+                throw new ShInternalError(typeof error.Message === 'string'
+                    ? error.Message
+                    : new TextDecoder().decode(error.Message));
+            default:
+                throw new ShInternalError('The syntax printer returned an unknown error kind');
+        }
+    }
+    if (!isGoString(result.Output)) {
+        throw new ShInternalError('The syntax printer returned an invalid output value');
+    }
+    return result.Output;
+}
+/** Validates exact option domains without imposing a formatting or indentation policy. */
+function validatePrintOptions(options) {
+    if (!isRecord(options)) {
+        throw new InputError('Printer options must be a data record');
+    }
+    const flags = new Set([
+        'BinaryNextLine',
+        'SwitchCaseIndent',
+        'SpaceRedirects',
+        'KeepPadding',
+        'Minify',
+        'SingleLine',
+        'FunctionNextLine',
+    ]);
+    for (const [name, value] of Object.entries(options)) {
+        if (name === 'Indent') {
+            const valid = typeof value === 'bigint'
+                ? value >= 0n && value <= 0xffffffffffffffffn
+                : typeof value === 'number' && Number.isSafeInteger(value) && value >= 0;
+            if (!valid) {
+                throw new InputError('Indent must be a safe nonnegative integer or uint64 bigint');
+            }
+        }
+        else if (!flags.has(name)) {
+            throw new InputError(`Unknown printer option: ${name}`);
+        }
+        else if (typeof value !== 'boolean') {
+            throw new InputError(`${name} must be boolean`);
+        }
+    }
+}
+//# sourceMappingURL=syntax-print.js.map

package/dist/syntax-print.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax-print.js","sourceRoot":"","sources":["../src/syntax-print.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAC9F,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AA8BhD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,SAAS,CAAC,IAAU,EAAE,UAAwB,EAAE;IAC9D,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAAC,mDAAmD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7E,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,eAAe,CAAC,mDAAmD,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC3B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,eAAe,CAAC,+CAA+C,CAAC,CAAC;QAC7E,CAAC;QACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACtC,KAAK,iBAAiB;gBACpB,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3C,KAAK,YAAY;gBACf,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACtC,KAAK,eAAe;gBAClB,MAAM,IAAI,eAAe,CACvB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;oBAC/B,CAAC,CAAC,KAAK,CAAC,OAAO;oBACf,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAC5C,CAAC;YACJ;gBACE,MAAM,IAAI,eAAe,CAAC,mDAAmD,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,eAAe,CAAC,qDAAqD,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,0FAA0F;AAC1F,SAAS,oBAAoB,CAAC,OAAqB;IACjD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAAC,uCAAuC,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;QACpB,gBAAgB;QAChB,kBAAkB;QAClB,gBAAgB;QAChB,aAAa;QACb,QAAQ;QACR,YAAY;QACZ,kBAAkB;KACnB,CAAC,CAAC;IACH,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,MAAM,KAAK,GACT,OAAO,KAAK,KAAK,QAAQ;gBACvB,CAAC,CAAC,KAAK,IAAI,EAAE,IAAI,KAAK,IAAI,mBAAsB;gBAChD,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YAC7E,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,IAAI,UAAU,CAAC,4DAA4D,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,UAAU,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC;QAC1D,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,kBAAkB,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/syntax-walk-bounds.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Private live boundary evaluation for Walk's comment placement. These methods
+ * mirror the pinned mvdan/sh node methods so callback edits are visible without
+ * repeatedly serializing subtrees to WASM. They are not public position APIs.
+ *
+ * Adapted from mvdan.cc/sh/v3 v3.13.1 syntax/nodes.go, copyright Daniel Martí.
+ * The upstream BSD license is retained in syntax-walk-license.ts.
+ */
+import type { Node, SyntaxPos } from '../generated/syntax-types.js';
+/** Stmt comments at or after the live end become the single deferred comment. @internal */
+export declare function atStatementEnd(node: Extract<Node, {
+    Type: 'Stmt';
+}>, hash: SyntaxPos): boolean;
+/** Case/array comments strictly after the live start become deferred. @internal */
+export declare function afterItemStart(node: Extract<Node, {
+    Type: 'CaseItem' | 'ArrayElem';
+}>, hash: SyntaxPos): boolean;
+//# sourceMappingURL=syntax-walk-bounds.d.ts.map

package/dist/syntax-walk-bounds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax-walk-bounds.d.ts","sourceRoot":"","sources":["../src/syntax-walk-bounds.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AA6LpE,2FAA2F;AAC3F,wBAAgB,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,IAAI,EAAE,SAAS,GAAG,OAAO,CAE9F;AACD,mFAAmF;AACnF,wBAAgB,cAAc,CAC5B,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;IAAE,IAAI,EAAE,UAAU,GAAG,WAAW,CAAA;CAAE,CAAC,EACvD,IAAI,EAAE,SAAS,GACd,OAAO,CAET"}