@poe-platform/safe-bash 0.1.737 → 0.1.738

package/dist/safe-bash/shell/runtime.js

@@ -2098,6 +2098,32 @@ function hasActiveVariableAttributes(state) {
     }
     return false;
 }
+function hasNonNamerefAttributes(state) {
+    const attrs = state.variableAttributes;
+    if (!attrs || attrs.size === 0)
+        return false;
+    for (const [k, val] of attrs.entries()) {
+        if (val.length === 0)
+            continue;
+        if (val !== "n")
+            return true;
+        const ref = state.variables[k];
+        if (!ref || !isShellIdentifier(ref) || ref === k || attrs.get(ref))
+            return true;
+    }
+    return false;
+}
+function resolveSyncNameref(state, name) {
+    const attrs = state.variableAttributes;
+    if (!attrs || attrs.size === 0)
+        return name;
+    if (attrs.get(name) === "n") {
+        const ref = state.variables[name];
+        if (ref && isShellIdentifier(ref) && ref !== name && !attrs.get(ref))
+            return ref;
+    }
+    return name;
+}
 function publishVariable(state, name, value) {
     const monitor = stateMonitor(state);
     if (monitor) {
@@ -3408,6 +3434,7 @@ function resolveSimpleArithOperand(tok, rawState, monitor, activeArrayStore, syn
         }
         tok = c1 === 123 ? tok.slice(2, -1) : tok.slice(1);
     }
+    tok = resolveSyncNameref(rawState, tok);
     if (rawState.nounset || activeArrayStore?.bindings.has(tok) || monitor?.hasOverlay(tok) || activeArrayStore?.watches.has(tok))
         return undefined;
     const raw = rawState.variables[tok];
@@ -4218,8 +4245,12 @@ export class Runtime {
         return {
             isSync: true, resolve: (variable, subscript) => {
                 this.signal.throwIfAborted();
-                if (this._syncArithState.variableAttributes?.get(variable)?.includes("n"))
-                    throw new ArrayFailure("nameref in sync arithmetic");
+                if (this._syncArithState.variableAttributes?.get(variable)?.includes("n")) {
+                    const resolved = resolveSyncNameref(this._syncArithState, variable);
+                    if (resolved === variable)
+                        throw new ArrayFailure("nameref in sync arithmetic");
+                    variable = resolved;
+                }
                 if (subscript !== undefined) {
                     let resolvedSub = subscript;
                     if (resolvedSub.charCodeAt(0) === 36 && /^\$[a-zA-Z_][a-zA-Z_0-9]*$/.test(resolvedSub)) {
@@ -4402,15 +4433,16 @@ export class Runtime {
         }
     }
     canSyncArithmeticOperands(tree, state, line, depth = 0) {
-        if (!tree || depth > 128 || hasActiveVariableAttributes(state) || state.readonlyVariables?.size)
+        if (!tree || depth > 128 || hasNonNamerefAttributes(state) || state.readonlyVariables?.size)
             return false;
         switch (tree.kind) {
             case "literal": return true;
             case "name": {
-                if (tree.name === "OPTIND" || tree.name === "PIPESTATUS")
+                const effName = resolveSyncNameref(state, tree.name);
+                if (effName === "OPTIND" || effName === "PIPESTATUS")
                     return false;
                 const monitor = stateMonitor(state);
-                if (monitor?.hasOverlay(tree.name) || monitor?.store?.watches.has(tree.name))
+                if (monitor?.hasOverlay(effName) || monitor?.store?.watches.has(effName))
                     return false;
                 if (tree.subscript !== undefined) {
                     if (state.nounset || hasUnpreparedLocal(state, tree.name))
@@ -4728,6 +4760,8 @@ export class Runtime {
         const binding = arrayStore(state)?.get(name);
         if (binding)
             return binding.get(binding.associative ? binding.keys.get("30")?.index ?? -1 : 0);
+        if (name === "DIRSTACK")
+            return state.cwd;
         if (name === "FUNCNAME" && state.variables.FUNCNAME === undefined)
             return state.functionNames?.[0];
         if (name === "_" && state.variables._ === undefined)
@@ -4771,14 +4805,14 @@ export class Runtime {
         if (bracket < 0)
             return entries ? entries[0] !== undefined : this.variable(state, base) !== undefined;
         const selector = name.slice(bracket + 1, -1);
-        if (selector === "@" || selector === "*")
-            return entries ? entries.length > 0 : binding ? binding.values.size > 0 : this.variable(state, base) !== undefined;
         if (binding?.associative) {
             if (selector.length === 0 || selector.length > 4096 || [...selector].some(character => "$`\\\"'".includes(character)))
                 return undefined;
             const key = binding.keys.get(fastStringHexIdentity(selector));
             return key !== undefined && binding.getValue(key.index) !== undefined;
         }
+        if (selector === "@" || selector === "*")
+            return entries ? entries.length > 0 : binding ? binding.values.size > 0 : this.variable(state, base) !== undefined;
         if (selector.length === 0 || selector.length > 9 || [...selector].some(character => !"0123456789".includes(character)) || selector.length > 1 && selector[0] === "0")
             return undefined;
         const index = Number(selector);
@@ -5241,24 +5275,162 @@ export class Runtime {
             }
         }
     }
+    canSyncArrayMembersWord(w, rawState) {
+        if (rawState.nounset)
+            return false;
+        const p0 = w.parts.length === 1 ? w.parts[0] : (w.parts.length === 2 && w.parts[0].kind === "text" && w.parts[0].value === "" ? w.parts[1] : undefined);
+        if (!p0)
+            return false;
+        if (p0.kind !== "variable" || !p0.quoted || p0.indirect || p0.prefixNames || p0.length || p0.transform || p0.operator !== undefined)
+            return false;
+        const sel0 = getArraySelector(p0);
+        if (!sel0 || (sel0.kind !== "members" && sel0.kind !== "keys") || sel0.separator !== "@")
+            return false;
+        if (p0.substring) {
+            if (sel0.kind !== "members" || p0.keys)
+                return false;
+            const b = stateMonitor(rawState)?.store?.get(resolveSyncNameref(rawState, p0.name));
+            if (b && b.associative)
+                return false;
+            if (!this.isPureSyncValueWord(p0.substring.offset, rawState))
+                return false;
+            if (p0.substring.length && !this.isPureSyncValueWord(p0.substring.length, rawState))
+                return false;
+        }
+        return true;
+    }
+    tryExpandSyncArrayMembersWord(w, rawState, io, diagnosticLine) {
+        if (rawState.nounset)
+            return undefined;
+        const p0 = w.parts.length === 1 ? w.parts[0] : (w.parts.length === 2 && w.parts[0].kind === "text" && w.parts[0].value === "" ? w.parts[1] : undefined);
+        if (!p0)
+            return undefined;
+        if (p0.kind !== "variable" || !p0.quoted || p0.indirect || p0.prefixNames || p0.length || p0.transform || p0.operator !== undefined)
+            return undefined;
+        const sel0 = getArraySelector(p0);
+        if (!sel0 || (sel0.kind !== "members" && sel0.kind !== "keys") || sel0.separator !== "@")
+            return undefined;
+        const monitor = stateMonitor(rawState);
+        const activeStore = monitor?.store ?? arrayStore(rawState);
+        const resolvedName = resolveSyncNameref(rawState, p0.name);
+        const b = activeStore?.get(resolvedName);
+        if (p0.substring) {
+            if (sel0.kind !== "members" || p0.keys || (b && b.associative))
+                return undefined;
+            if (b && b.maximum >= 4096)
+                return undefined;
+            const evalSliceInt = (sw) => {
+                if (sw.parts.length === 0)
+                    return 0;
+                let expanded;
+                try {
+                    expanded = this.fastValueWord(sw, rawState, io, false, false, false, false, undefined, diagnosticLine);
+                }
+                catch {
+                    return undefined;
+                }
+                if (typeof expanded !== "string")
+                    return undefined;
+                const trimmed = expanded.trim();
+                if (trimmed.length === 0)
+                    return 0;
+                const syncTouched = this._syncArithRawWriteOnly ? this._syncArithTouched : undefined;
+                const directOp = resolveSimpleArithOperand(trimmed, rawState, monitor, activeStore, syncTouched);
+                if (directOp !== undefined)
+                    return directOp;
+                const simpleExpr = tryEvalSimpleExpandedArith(trimmed, rawState, monitor, activeStore, syncTouched);
+                if (simpleExpr !== undefined)
+                    return Number(simpleExpr);
+                return undefined;
+            };
+            const offNum = evalSliceInt(p0.substring.offset);
+            if (offNum === undefined)
+                return undefined;
+            let maxCount = Infinity;
+            if (p0.substring.length) {
+                const lenNum = evalSliceInt(p0.substring.length);
+                if (lenNum === undefined || lenNum < 0)
+                    return undefined;
+                maxCount = lenNum;
+            }
+            if (!b) {
+                const sv = rawState.variables[resolvedName];
+                if (sv === undefined)
+                    return [];
+                const mv = (this._syncArithRawWriteOnly && this._syncArithTouched?.has(resolvedName)) ? sv : (monitor?.values.get(resolvedName, sv) ?? sv);
+                if (typeof mv !== "string")
+                    return undefined;
+                const startIdx = offNum < 0 ? 1 + offNum : offNum;
+                if (startIdx < 0 || startIdx > 0 || maxCount === 0)
+                    return [];
+                return [mv];
+            }
+            if (b.values.size === 0 || maxCount === 0)
+                return [];
+            const startIdx = offNum < 0 ? b.maximum + 1 + offNum : offNum;
+            if (startIdx < 0)
+                return [];
+            const out = [];
+            for (let k = startIdx; k <= b.maximum && out.length < maxCount; k++) {
+                const slot = b.values.get(k);
+                if (!slot)
+                    continue;
+                const v = slot.text.shellValue;
+                if (typeof v !== "string")
+                    return undefined;
+                out.push(v);
+            }
+            return out;
+        }
+        const isKeys = sel0.kind === "keys" || p0.keys === true;
+        if (b) {
+            if (b.maximum >= 4096)
+                return undefined;
+            const out = [];
+            for (let k = 0; k <= b.maximum; k++) {
+                const slot = b.values.get(k);
+                if (!slot)
+                    continue;
+                const v = isKeys ? (b.associative ? b.keys.get(b.keyByIndex.get(k))?.text.shellValue : String(k)) : slot.text.shellValue;
+                if (typeof v !== "string")
+                    return undefined;
+                out.push(v);
+            }
+            return out;
+        }
+        const sv = rawState.variables[resolvedName];
+        if (sv === undefined)
+            return [];
+        if (isKeys)
+            return ["0"];
+        const mv = (this._syncArithRawWriteOnly && this._syncArithTouched?.has(resolvedName)) ? sv : (monitor?.values.get(resolvedName, sv) ?? sv);
+        if (typeof mv !== "string")
+            return undefined;
+        return [mv];
+    }
     tryFastArrayAssignmentSync(assignment, state, io, diagnosticLine, declaration, associative, ignoreYield = false) {
         if (!ignoreYield && hasYieldCheckpoint(this.signal))
             return false;
         if (declaration)
             return false;
+        const monitor = stateMonitor(state);
+        const rawState = monitor ? monitor.raw : state;
         // Array writes must prepare scope observers before creating or mutating bindings.
-        const name = assignment.name;
+        const name = resolveSyncNameref(rawState, assignment.name);
         if (hasUnpreparedLocal(state, name))
             return false;
         this._syncArithTouched?.delete(name);
-        const monitor = stateMonitor(state);
-        const rawState = monitor ? monitor.raw : state;
         if (rawState.readonlyVariables?.has(name) || rawState.variableAttributes?.get(name) || rawState.exported.has(name) || controlNames.has(name)) {
             return false;
         }
         // Cold activation belongs to normal command handling, which maps array refusals.
         const store = monitor?.store ?? (monitor && (this.budget.limits.maxExpansionBytes === Infinity && this.budget.limits.maxExpansionFields === Infinity) ? requireArrays(rawState) : undefined);
         let current = store?.get(name);
+        if (assignment.kind === "compound" && !(associative ?? current?.associative) && state.braceexpand !== false && assignment.entries.some(entry => {
+            const original = compoundEntryWords.get(entry);
+            return entry.index !== undefined && original?.parts.some(part => part.kind === "text" && !part.quoted && part.value.includes("{"));
+        }))
+            return false;
         if (!monitor || !store || store.watches.has(name) || monitor.hasOverlay(name) || (current && (current.references !== 1 || (associative !== undefined && current.associative !== associative))) || (!current && rawState.variables[name] !== undefined)) {
             return false;
         }
@@ -5355,6 +5527,8 @@ export class Runtime {
                     const entry = assignment.entries[i];
                     if (entry.append)
                         return false;
+                    if (rawState.braceexpand !== false && entry.value.parts.some(p => !p.quoted && p.kind === "text" && p.value.includes("{")))
+                        return false;
                     let explicitIdx;
                     if (entry.index !== undefined) {
                         const kSrc = (entry.index.source ?? entry.index.decimal).trim();
@@ -5362,8 +5536,21 @@ export class Runtime {
                             return false;
                         explicitIdx = Number(kSrc);
                     }
-                    else if (entry.value.parts.length === 0 || !entry.value.parts.every(p => p.quoted || (p.kind === "text" && p.value.length > 0 && !p.value.includes(" ") && !p.value.includes("\t") && !p.value.includes("\n") && !p.value.includes("{") && !hasGlobOrEscape(p.value, true)))) {
-                        return false;
+                    else {
+                        const expandedArr = this.tryExpandSyncArrayMembersWord(entry.value, rawState, io, diagnosticLine);
+                        if (expandedArr !== undefined) {
+                            for (let mIdx = 0; mIdx < expandedArr.length; mIdx++) {
+                                const mVal = expandedArr[mIdx];
+                                const bLen = shellValueByteLength(mVal);
+                                if (bLen > this.budget.limits.maxExpansionBytes)
+                                    return false;
+                                items.push({ explicitIdx: undefined, val: mVal, bLen });
+                            }
+                            continue;
+                        }
+                        if (entry.value.parts.length === 0 || !entry.value.parts.every(p => p.quoted || (p.kind === "text" && p.value.length > 0 && !p.value.includes(" ") && !p.value.includes("\t") && !p.value.includes("\n") && !p.value.includes("{") && !hasGlobOrEscape(p.value, true)))) {
+                            return false;
+                        }
                     }
                     let val = "";
                     if (entry.value.parts.length > 0) {
@@ -6294,6 +6481,9 @@ export class Runtime {
                             if (!watch.valid())
                                 throw new ArrayFailure("binding changed during writer admission");
                             prepared.validate();
+                            // Clearing an indexed destination is an assignment even without elements.
+                            if (clear)
+                                prepared.binding.assigned = true;
                             let retirement;
                             monitor.publish(prepared.tickets, name, () => {
                                 delete state.variables[name];
@@ -8268,16 +8458,8 @@ export class Runtime {
                             return true;
                     }
                 }
-                if ((w0Plain === "mapfile" || w0Plain === "readarray") &&
-                    (command.words.length === 2 || command.words.length === 3) &&
-                    command.words[1]?.plain === "-t" &&
-                    !hasShellFunction(rawState, w0Plain) &&
-                    !rawState.extensions?.builtins.has(w0Plain)) {
-                    const arrVp = command.words[2]?.plain ?? "MAPFILE";
-                    const st = stateMonitor(rawState)?.store;
-                    if (isShellIdentifier(arrVp) && arrVp !== "OPTIND" && arrVp !== "PIPESTATUS" && !rawState.readonlyVariables?.has(arrVp) && !st?.get(arrVp)?.associative)
-                        return true;
-                }
+                // mapfile can require the asynchronous path as its input or binding
+                // changes. Never speculate across a loop that has already made writes.
             }
             return false;
         }
@@ -8311,7 +8493,7 @@ export class Runtime {
                         return false;
                     }
                     if (arrayAssign.kind === "compound") {
-                        const isAssoc = Boolean(st?.get(arrayAssign.name)?.associative);
+                        const isAssoc = Boolean(st?.get(resolveSyncNameref(rawState, arrayAssign.name))?.associative);
                         return (arrayAssign.entries.length <= 32 && arrayAssign.entries.every(e => {
                             if (e.append)
                                 return false;
@@ -8323,6 +8505,8 @@ export class Runtime {
                                 const kSrc = (e.index.source ?? e.index.decimal).trim();
                                 return /^(?:0|[1-9][0-9]{0,8})$/.test(kSrc) && isNoBraceSyncAssignWord(e.value);
                             }
+                            if (this.canSyncArrayMembersWord(e.value, rawState))
+                                return true;
                             return isNoBraceSyncWord(e.value) && e.value.parts.length > 0 && e.value.parts.every(p => p.quoted || (p.kind === "text" && p.value.length > 0 && !p.value.includes(" ") && !p.value.includes("\t") && !p.value.includes("\n") && !p.value.includes("{") && !hasGlobOrEscape(p.value, true)));
                         }));
                     }
@@ -8356,7 +8540,7 @@ export class Runtime {
             }
             if (command.words.length >= 2 && command.words.length <= 16) {
                 if (w0Plain === "unset" &&
-                    rawState.locals.length === 0 &&
+                    depth === 0 && rawState.locals.length === 0 &&
                     !hasShellFunction(rawState, "unset") &&
                     !rawState.extensions?.builtins.has("unset")) {
                     const uStart = command.words[1]?.plain === "-v" ? 2 : 1;
@@ -8380,6 +8564,7 @@ export class Runtime {
                 }
                 if (w0Plain === "export" &&
                     rawState.locals.length === 0 &&
+                    depth === 0 &&
                     !hasShellFunction(rawState, "export") &&
                     !rawState.extensions?.builtins.has("export")) {
                     let allOk = true;
@@ -8446,12 +8631,14 @@ export class Runtime {
                 // Array locals require the typed declaration and restoration lifecycle.
                 if (command.words[1]?.plain === "-a" || command.words[1]?.plain === "-A")
                     return false;
+                const isNamerefDecl = command.words[1]?.plain === "-n" && (rawState.locals.length > 0 || depth > 0) && command.words.length >= 3;
+                const isGlobalDecl = command.words[1]?.plain === "-g" && (w0Plain === "declare" || w0Plain === "typeset") && command.words.length >= 3;
                 let allValidLocal = true;
-                for (let idx = 1; idx < command.words.length; idx++) {
+                for (let idx = (isNamerefDecl || isGlobalDecl) ? 2 : 1; idx < command.words.length; idx++) {
                     const wArg = command.words[idx];
                     const assignment = !getArrayAssignment(wArg) ? this.assignment(wArg) : undefined;
                     if (assignment) {
-                        if ((assignment.name === "OPTIND" && (assignment.append || rawState.variableAttributes?.get("OPTIND"))) || assignment.name === "PIPESTATUS" || assignment.name.includes("[") || !isNoBraceSyncAssignWord(assignment.value)) {
+                        if ((!isNamerefDecl && rawState.variableAttributes?.get(assignment.name)) || (assignment.name === "OPTIND" && (assignment.append || rawState.variableAttributes?.get("OPTIND"))) || assignment.name === "PIPESTATUS" || assignment.name.includes("[") || !isNoBraceSyncAssignWord(assignment.value)) {
                             allValidLocal = false;
                             break;
                         }
@@ -8467,12 +8654,10 @@ export class Runtime {
             if ((w0Plain === ":" || w0Plain === "true" || w0Plain === "false") && command.words.length <= 16 && !hasShellFunction(rawState, w0Plain) && !rawState.extensions?.builtins.has(w0Plain) && command.words.slice(1).every(isNoBraceSyncWord)) {
                 return true;
             }
-            if (command.words.length >= 3 && command.words.length <= 16 && w0Plain === "getopts" && !hasShellFunction(rawState, "getopts") && !rawState.extensions?.builtins.has("getopts")) {
-                const optVar = command.words[2]?.plain;
-                if (optVar && isShellIdentifier(optVar) && optVar !== "OPTIND" && optVar !== "PIPESTATUS" && optVar !== "_" && !rawState.readonlyVariables?.has(optVar) && !rawState.readonlyVariables?.has("OPTIND") && !rawState.readonlyVariables?.has("OPTARG") && isNoBraceSyncWord(command.words[1]) && (command.words.length === 3 || (command.words.length === 4 && (() => { const ne = command.words[3].parts.filter(p => !(p.kind === "text" && p.value === "")); return ne.length === 1 && ne[0].kind === "variable" && ne[0].name === "@" && ne[0].quoted; })()) || command.words.slice(3).every(isNoBraceSyncWord))) {
-                    return true;
-                }
-            }
+            // The scanner may require diagnostics or exceed its synchronous bounds.
+            // Falling back after an earlier loop iteration would replay its effects.
+            if (w0Plain === "getopts")
+                return false;
             if (w0Plain === "echo" && !hasShellFunction(rawState, "echo") && !rawState.extensions?.builtins.has("echo")) {
                 const w1Plain = command.words[1]?.plain;
                 if (w1Plain === undefined || !w1Plain.startsWith("-") || w1Plain === "-n" || w1Plain === "-e" || w1Plain === "-ne" || w1Plain === "-en")
@@ -8503,7 +8688,17 @@ export class Runtime {
             }
             if (w0Plain !== undefined && rawState.functions.has(w0Plain) && command.words.slice(1).every(isNoBraceSyncWord)) {
                 const fnBody = rawState.functions.get(w0Plain);
-                return fnBody.kind === "group" && fnBody.redirects.length === 0 && this.canSyncScriptCompound(fnBody.body, rawState, depth + 1);
+                if (fnBody.kind !== "group" || fnBody.redirects.length !== 0)
+                    return false;
+                rawState.locals.push(new Map());
+                rawState.functionDepth++;
+                try {
+                    return this.canSyncScriptCompound(fnBody.body, rawState, depth + 1);
+                }
+                finally {
+                    rawState.functionDepth--;
+                    rawState.locals.pop();
+                }
             }
             return false;
         }
@@ -8597,13 +8792,13 @@ export class Runtime {
                     const sel0 = p0?.kind === "variable" ? getArraySelector(p0) : undefined;
                     const isArrAt = Boolean(p0?.kind === "variable" && p0.quoted && !p0.indirect && !p0.prefixNames && !p0.length && !p0.substring && !p0.transform && p0.operator === undefined && (sel0?.kind === "members" || sel0?.kind === "keys") && sel0.separator === "@");
                     const isBraceRange = Boolean(p0?.kind === "text" && !p0.quoted && /^\{-?\d+\.\.-?\d+(?:\.\.-?\d+)?\}$/.test(p0.value));
-                    if (!isArrAt && !isBraceRange && !(this.isPureSyncValueWord(w0, rawState) && w0.parts.every(p => p.quoted || (p.kind === "text" && !p.value.includes(" ") && !p.value.includes("\t") && !p.value.includes("\n") && !p.value.includes("{") && !hasGlobOrEscape(p.value, true)))))
+                    if (!isArrAt && !isBraceRange && !this.canSyncArrayMembersWord(w0, rawState) && !(this.isPureSyncValueWord(w0, rawState) && w0.parts.every(p => p.quoted || (p.kind === "text" && !p.value.includes(" ") && !p.value.includes("\t") && !p.value.includes("\n") && !p.value.includes("{") && !hasGlobOrEscape(p.value, true)))))
                         return false;
                 }
                 else {
                     for (let i = 0; i < command.words.length; i++) {
                         const w = command.words[i];
-                        if (!this.isPureSyncValueWord(w, rawState) || !w.parts.every(p => p.quoted || (p.kind === "text" && !p.value.includes(" ") && !p.value.includes("\t") && !p.value.includes("\n") && !p.value.includes("{") && !hasGlobOrEscape(p.value, true))))
+                        if (!this.canSyncArrayMembersWord(w, rawState) && (!this.isPureSyncValueWord(w, rawState) || !w.parts.every(p => p.quoted || (p.kind === "text" && !p.value.includes(" ") && !p.value.includes("\t") && !p.value.includes("\n") && !p.value.includes("{") && !hasGlobOrEscape(p.value, true)))))
                             return false;
                     }
                 }
@@ -8710,7 +8905,9 @@ export class Runtime {
                         }
                         else if (wp0 === "local" || wp0 === "declare" || wp0 === "typeset") {
                             const isArrDecl = c.words[1]?.plain === "-a" || c.words[1]?.plain === "-A";
-                            for (let k = isArrDecl ? 2 : 1; k < c.words.length; k++) {
+                            const isNameref = c.words[1]?.plain === "-n";
+                            const isGlobal = c.words[1]?.plain === "-g";
+                            for (let k = (isArrDecl || isNameref || isGlobal) ? 2 : 1; k < c.words.length; k++) {
                                 const wk = c.words[k];
                                 const aa = getArrayAssignment(wk);
                                 if (aa) {
@@ -8727,6 +8924,9 @@ export class Runtime {
                                             if (wp0 === "local" || d > 0)
                                                 localArrayVars.add(nm);
                                         }
+                                        else if (isNameref) {
+                                            localArrayVars.add(nm);
+                                        }
                                         else {
                                             scalarVars.add(nm);
                                             const pv = asg?.value.plain;
@@ -8737,8 +8937,8 @@ export class Runtime {
                                 }
                             }
                         }
-                        else if (wp0 === "printf" && c.words[1]?.plain === "-v" && c.words[2]?.plain) {
-                            const target = c.words[2].plain;
+                        else if (wp0 === "printf" && c.words[1]?.plain === "-v" && (c.words[2]?.plain || c.words[2]?.parts[0]?.kind === "text")) {
+                            const target = c.words[2].plain ?? c.words[2].parts[0].value;
                             const br = target.indexOf("[");
                             if (br > 0)
                                 arrayVars.add(target.slice(0, br));
@@ -9101,7 +9301,24 @@ export class Runtime {
         }
         return undefined;
     }
-    finishSyncPipeStatus(rawState, monitor, store, existing, elem0, scope, finalStatus, restEpoch) {
+    setSyncPipeStatusCell(existing, status) {
+        const cell = existing.values.get(0);
+        if (cell && cell.text.references === 1 && cell.text.bytes === status.length) {
+            cell.text.shellValue = status;
+        }
+        else {
+            existing.owner.chargeWork(status.length);
+            const token = new OwnedText(status, status.length, existing.owner.reserve({ payload: status.length, metadata: 32, work: 4 }));
+            try {
+                existing.insert(0, token);
+            }
+            catch (error) {
+                token.release();
+                throw error;
+            }
+        }
+    }
+    finishSyncPipeStatus(rawState, monitor, store, existing, _elem0, scope, finalStatus, restEpoch) {
         if (!existing) {
             if (store) {
                 if (publishPipelineStatus(rawState, finalStatus === 0 ? singleStatusZero : singleStatusOne, this.signal, scope))
@@ -9113,7 +9330,7 @@ export class Runtime {
             }
         }
         else {
-            (elem0 ?? existing.values.get(0)).text.shellValue = finalStatus === 0 ? "0" : "1";
+            this.setSyncPipeStatusCell(existing, finalStatus === 0 ? "0" : "1");
             store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
         }
         rawState.status = finalStatus;
@@ -9135,7 +9352,7 @@ export class Runtime {
             return undefined;
         const rawState = monitor.raw;
         const gArrays = guestArrays(rawState);
-        if (io.terminal || io.asyncDefaultInput || hasActiveExtensions(rawState) || hasActiveVariableAttributes(rawState) || (gArrays && gArrays.watches.size > 0))
+        if (io.terminal || io.asyncDefaultInput || hasActiveExtensions(rawState) || hasNonNamerefAttributes(rawState) || (gArrays && gArrays.watches.size > 0))
             return undefined;
         if (((this.budget.commands + 1) & 127) === 0) {
             if (hasYieldCheckpoint(this.signal) || (this._syncReturnDepth === 0 && ((this.budget.commands + 1) & 8191) === 0))
@@ -9178,10 +9395,10 @@ export class Runtime {
             return undefined;
         }
         const elem0 = existing?.values.get(0);
-        if (existing && (!elem0 || elem0.text.bytes !== 1))
+        if (existing && !elem0)
             return undefined;
         const canMutatePipeStatus = !existing || (existing.references === 1 && elem0.text.references === 1);
-        const diagnosticLine = io.diagnosticCommandLines?.get(command) ?? (command.line ?? 1) + (io.diagnosticOffset ?? 0);
+        const diagnosticLine = io.diagnosticCommandLines?.get(command) ?? io.substitutionDiagnosticLines?.get(command) ?? (command.line ?? 1) + (io.diagnosticOffset ?? 0);
         if (command.kind === "function") {
             if (pipeline.negate || !canMutatePipeStatus || command.redirects.length > 0 || rawState.readonlyFunctions?.has(command.name) || (rawState.profile === "sh" && (specialBuiltinNames.has(command.name) || rawState.extensions?.builtins.get(command.name)?.special))) {
                 return undefined;
@@ -9244,7 +9461,7 @@ export class Runtime {
                     }
             }
             else {
-                activeExisting.values.get(0).text.shellValue = finalStatus === 0 ? "0" : "1";
+                this.setSyncPipeStatusCell(activeExisting, finalStatus === 0 ? "0" : "1");
                 activeStore.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
             }
             rawState.status = finalStatus;
@@ -9350,13 +9567,13 @@ export class Runtime {
                 }
                 const scalarMutMatch = fastSrc.length <= 64 ? SIMPLE_SCALAR_MUT_RE.exec(fastSrc) : null;
                 if (scalarMutMatch) {
-                    const varName = scalarMutMatch[1];
+                    const varName = resolveSyncNameref(rawState, scalarMutMatch[1]);
                     const binOp = scalarMutMatch[2];
                     const rhs1 = Number(scalarMutMatch[3]);
                     const rhsOp = scalarMutMatch[4];
                     const rhs2 = scalarMutMatch[5] !== undefined ? Number(scalarMutMatch[5]) : 0;
                     const rhsNum = rhsOp === "+" ? rhs1 + rhs2 : rhsOp === "-" ? rhs1 - rhs2 : rhsOp === "*" ? rhs1 * rhs2 : rhs1;
-                    if (varName !== "OPTIND" && varName !== "PIPESTATUS" && !store?.get(varName) && !hasActiveVariableAttributes(rawState)) {
+                    if (varName !== "OPTIND" && varName !== "PIPESTATUS" && !store?.get(varName) && !hasNonNamerefAttributes(rawState)) {
                         const curVal = (this._syncArithRawWriteOnly && this._syncArithTouched?.has(varName))
                             ? (rawState.variables[varName] ?? "0")
                             : (monitor.values.get(varName, rawState.variables[varName] ?? "0") ?? rawState.variables[varName] ?? "0");
@@ -9526,9 +9743,12 @@ export class Runtime {
                 }
                 return res;
             }
-            const fastLoopRes = this.trySyncLoop(command, pipeline, rawState, monitor, store, existing, elem0, canMutatePipeStatus, io, diagnosticLine);
-            if (fastLoopRes !== undefined)
-                return fastLoopRes;
+            if (!command._skipTrySyncLoop) {
+                const fastLoopRes = this.trySyncLoop(command, pipeline, rawState, monitor, store, existing, elem0, canMutatePipeStatus, io, diagnosticLine);
+                if (fastLoopRes !== undefined)
+                    return fastLoopRes;
+                command._skipTrySyncLoop = true;
+            }
         }
         if (command.kind === "group" || command.kind === "if" || command.kind === "case" || command.kind === "while" || command.kind === "until" || command.kind === "for" || command.kind === "arithmetic-for") {
             if (command.redirects.length !== 0 || pipeline.negate || !canMutatePipeStatus || (!ignored && rawState.errexit) || rawState.nounset || rawState.readonlyVariables?.size || hasYieldCheckpoint(this.signal) || (this._syncReturnDepth === 0 && (((this.budget.commands + 32) & 8191) < 32 || !this.canSyncCommandCompound(command, rawState, 0, rawState.loopDepth)))) {
@@ -9750,10 +9970,10 @@ export class Runtime {
                 }
                 else if (command.words.length === 1) {
                     const w0 = command.words[0];
-                    const nonEmpty0 = w0.parts.filter(p => !(p.kind === "text" && p.value === ""));
-                    const p0 = nonEmpty0.length === 1 ? nonEmpty0[0] : undefined;
+                    items = this.tryExpandSyncArrayMembersWord(w0, rawState, io, diagnosticLine);
+                    const p0 = items ? undefined : (w0.parts.length === 1 ? w0.parts[0] : (w0.parts.length === 2 && w0.parts[0].kind === "text" && w0.parts[0].value === "" ? w0.parts[1] : undefined));
                     const sel0 = p0?.kind === "variable" ? getArraySelector(p0) : undefined;
-                    if (p0?.kind === "variable" && p0.quoted && (sel0?.kind === "members" || sel0?.kind === "keys") && sel0.separator === "@") {
+                    if (p0?.kind === "variable" && p0.quoted && !p0.substring && (sel0?.kind === "members" || sel0?.kind === "keys") && sel0.separator === "@") {
                         const b = monitor.store?.get(p0.name);
                         items = [];
                         if (b) {
@@ -9792,6 +10012,12 @@ export class Runtime {
                 if (!items && command.words) {
                     items = [];
                     for (let i = 0; i < command.words.length; i++) {
+                        const expandedArr = this.tryExpandSyncArrayMembersWord(command.words[i], rawState, io, diagnosticLine);
+                        if (expandedArr !== undefined) {
+                            for (let mIdx = 0; mIdx < expandedArr.length; mIdx++)
+                                items.push(expandedArr[mIdx]);
+                            continue;
+                        }
                         let fv;
                         try {
                             fv = this.fastValueWord(command.words[i], rawState, io, false, false, false, false, undefined, diagnosticLine);
@@ -9994,7 +10220,7 @@ export class Runtime {
                     monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                 }
                 else {
-                    elem0.text.shellValue = "0";
+                    this.setSyncPipeStatusCell(existing, "0");
                     store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                 }
                 const finalStatus = pipeline.negate ? 1 : 0;
@@ -10091,7 +10317,7 @@ export class Runtime {
                 monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
             }
             else {
-                elem0.text.shellValue = "0";
+                this.setSyncPipeStatusCell(existing, "0");
                 store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
             }
             const finalStatus = pipeline.negate ? 1 : 0;
@@ -10107,8 +10333,6 @@ export class Runtime {
             if (w0Plain === "return" && (rawState.functionDepth > 0 || rawState.sourceDepth) && !hasActiveExtensions(rawState) && !hasShellFunction(rawState, "return") && !rawState.extensions?.builtins.has("return") && !pipeline.negate && canMutatePipeStatus) {
                 const retStatus = rawState.status;
                 const statusStr = retStatus === 0 ? "0" : retStatus === 1 ? "1" : String(retStatus);
-                if (existing && elem0.text.bytes !== statusStr.length)
-                    return undefined;
                 const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
                 this.budget.tick();
                 rawState.substitutionStatus = 0;
@@ -10122,7 +10346,7 @@ export class Runtime {
                     monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                 }
                 else {
-                    elem0.text.shellValue = statusStr;
+                    this.setSyncPipeStatusCell(existing, statusStr);
                     store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                 }
                 rawState.status = retStatus;
@@ -10154,7 +10378,7 @@ export class Runtime {
                     monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                 }
                 else {
-                    elem0.text.shellValue = "0";
+                    this.setSyncPipeStatusCell(existing, "0");
                     store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                 }
                 rawState.status = 0;
@@ -10186,7 +10410,7 @@ export class Runtime {
                     monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                 }
                 else {
-                    elem0.text.shellValue = statusChar;
+                    this.setSyncPipeStatusCell(existing, statusChar);
                     store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                 }
                 rawState.status = finalStatus;
@@ -10227,7 +10451,7 @@ export class Runtime {
                         }
                 }
                 else {
-                    activeExisting.values.get(0).text.shellValue = "0";
+                    this.setSyncPipeStatusCell(activeExisting, "0");
                     activeStore.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                 }
                 const finalStatus = pipeline.negate ? 1 : 0;
@@ -10239,14 +10463,15 @@ export class Runtime {
             }
             const assignment = this.assignment(w0);
             if (assignment) {
+                const targetAssignName = resolveSyncNameref(rawState, assignment.name);
                 const hasSubPart = assignment.value.parts.some(part => part.kind === "substitution");
-                const existingArrAssign = store?.get(assignment.name);
-                if ((assignment.name === "OPTIND" && (assignment.append || rawState.variableAttributes?.get("OPTIND"))) ||
-                    assignment.name === "PIPESTATUS" ||
-                    assignment.name.includes("[") ||
+                const existingArrAssign = store?.get(targetAssignName);
+                if ((targetAssignName === "OPTIND" && (assignment.append || rawState.variableAttributes?.get("OPTIND"))) ||
+                    targetAssignName === "PIPESTATUS" ||
+                    targetAssignName.includes("[") ||
                     (hasSubPart && !this.isPureSyncValueWord(assignment.value, rawState)) ||
-                    rawState.readonlyVariables?.has(assignment.name) ||
-                    (existingArrAssign && (assignment.append || hasUnpreparedLocal(rawState, assignment.name) || rawState.exported.has(assignment.name)))) {
+                    rawState.readonlyVariables?.has(targetAssignName) ||
+                    (existingArrAssign && (assignment.append || hasUnpreparedLocal(rawState, targetAssignName) || rawState.exported.has(targetAssignName)))) {
                     return undefined;
                 }
                 if (rawState.extensions && !rawState.extensions.eventDepth)
@@ -10260,14 +10485,14 @@ export class Runtime {
                 }
                 if (typeof fastAssigned !== "string")
                     return undefined;
-                if (assignment.name === "OPTIND") {
+                if (targetAssignName === "OPTIND") {
                     const trimmedOptind = fastAssigned.trim();
                     if (!/^[0-9]{1,6}$/.test(trimmedOptind))
                         return undefined;
                     fastAssigned = String(Number(trimmedOptind));
                 }
                 if (existingArrAssign) {
-                    if (!this.tryFastArraySubscriptWriteSync(rawState, assignment.name, "0", fastAssigned))
+                    if (!this.tryFastArraySubscriptWriteSync(rawState, targetAssignName, "0", fastAssigned))
                         return undefined;
                     const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
                     this.budget.tick();
@@ -10291,7 +10516,7 @@ export class Runtime {
                         }
                     }
                     else {
-                        activeExisting.values.get(0).text.shellValue = "0";
+                        this.setSyncPipeStatusCell(activeExisting, "0");
                         activeStore.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                     }
                     const finalStatus = pipeline.negate ? 1 : 0;
@@ -10303,8 +10528,8 @@ export class Runtime {
                 }
                 let finalAssigned = fastAssigned;
                 if (assignment.append) {
-                    const curRaw = rawState.variables[assignment.name];
-                    const curStr = curRaw === undefined ? "" : (monitor.values.get(assignment.name, curRaw) ?? curRaw);
+                    const curRaw = rawState.variables[targetAssignName];
+                    const curStr = curRaw === undefined ? "" : (monitor.values.get(targetAssignName, curRaw) ?? curRaw);
                     if (typeof curStr !== "string")
                         return undefined;
                     finalAssigned = curStr + finalAssigned;
@@ -10315,21 +10540,21 @@ export class Runtime {
                 this.budget.tick();
                 if (!hasSubPart)
                     rawState.substitutionStatus = 0;
-                if (assignment.name !== "_" && rawState.variables._ !== undefined)
+                if (targetAssignName !== "_" && rawState.variables._ !== undefined)
                     delete rawState.variables._;
                 rawState.lastArgument = "";
                 if (this._syncArithRawWriteOnly && this._syncArithTouched) {
-                    rawState.variables[assignment.name] = finalAssigned;
-                    this._syncArithTouched.add(assignment.name);
+                    rawState.variables[targetAssignName] = finalAssigned;
+                    this._syncArithTouched.add(targetAssignName);
                 }
                 else
-                    monitor.publishStringVariable(assignment.name, finalAssigned);
-                if (assignment.name === "OPTIND") {
+                    monitor.publishStringVariable(targetAssignName, finalAssigned);
+                if (targetAssignName === "OPTIND") {
                     rawState.variables.OPTIND = finalAssigned;
                     this.syncGetopts(rawState);
                 }
                 if (rawState.allexport)
-                    monitor.proxy.exported.add(assignment.name);
+                    monitor.proxy.exported.add(targetAssignName);
                 if (io.assignmentDiagnosticContext)
                     io.assignmentDiagnosticContext.name = undefined;
                 if (!existing) {
@@ -10337,7 +10562,7 @@ export class Runtime {
                     monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                 }
                 else {
-                    elem0.text.shellValue = "0";
+                    this.setSyncPipeStatusCell(existing, "0");
                     store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                 }
                 const finalStatus = pipeline.negate ? 1 : 0;
@@ -10353,60 +10578,98 @@ export class Runtime {
         if (command.words.length >= 1) {
             const w0Plain = command.words[0].plain;
             if (this.budget.limits.maxExpansionFields === Infinity && command.words.length >= 4 && w0Plain === "printf" && command.words[1]?.plain === "-v" && command.redirects.length === 0 && canMutatePipeStatus && (!pipeline.negate || ignored || !rawState.errexit) && !hasShellFunction(rawState, "printf") && !rawState.extensions?.builtins.has("printf")) {
-                const targetVar = command.words[2]?.plain;
                 const def = this.commands.get("printf");
-                if (targetVar && isShellIdentifier(targetVar) && targetVar !== "OPTIND" && targetVar !== "PIPESTATUS" && targetVar !== "_" && !rawState.readonlyVariables?.has(targetVar) && !store?.get(targetVar) && !monitor.hasOverlay(targetVar) && def && def.execute === printfCommand.execute && command.words.length <= this.budget.maxExpansionFieldsSmi && this.arePureArgWords(command.words, rawState)) {
-                    fastSubScratchArgs.length = 0;
-                    let allStrings = true;
-                    try {
-                        for (let i = 3; i < command.words.length; i++) {
-                            const v = this.fastValueWord(command.words[i], rawState, io, true, false, false, true, undefined, diagnosticLine);
-                            if (typeof v !== "string") {
-                                allStrings = false;
-                                break;
-                            }
-                            fastSubScratchArgs.push(v);
-                        }
-                    }
-                    catch {
-                        allStrings = false;
-                    }
-                    const lastArg = fastSubScratchArgs.length > 0 ? fastSubScratchArgs[fastSubScratchArgs.length - 1] : targetVar;
-                    const formatted = allStrings ? tryFastPrintf(fastSubScratchArgs) : undefined;
-                    fastSubScratchArgs.length = 0;
-                    if (formatted !== undefined && formatted.length <= this.budget.limits.maxExpansionBytes && (formatted.length * 3 <= this.budget.limits.maxExpansionBytes || shellValueByteLength(formatted) <= this.budget.limits.maxExpansionBytes)) {
-                        if (rawState.extensions && !rawState.extensions.eventDepth)
-                            publishCommandSpelling(rawState, commandSpelling(command));
-                        const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
-                        this.budget.tick();
-                        rawState.substitutionStatus = 0;
-                        if (rawState.variables._ !== undefined)
-                            delete rawState.variables._;
-                        rawState.lastArgument = lastArg;
-                        if (this._syncArithRawWriteOnly && this._syncArithTouched) {
-                            rawState.variables[targetVar] = formatted;
-                            this._syncArithTouched.add(targetVar);
+                if (def && def.execute === printfCommand.execute && command.words.length <= this.budget.maxExpansionFieldsSmi && this.arePureArgWords(command.words, rawState)) {
+                    let targetSpec = command.words[2]?.plain;
+                    if (targetSpec === undefined) {
+                        try {
+                            targetSpec = this.fastValueWord(command.words[2], rawState, io, true, false, false, true, undefined, diagnosticLine);
                         }
-                        else
-                            monitor.publishStringVariable(targetVar, formatted);
-                        if (rawState.allexport)
-                            monitor.proxy.exported.add(targetVar);
-                        if (io.assignmentDiagnosticContext)
-                            io.assignmentDiagnosticContext.name = undefined;
-                        if (!existing) {
-                            monitor.lazyPipeStatus = singleStatusZero;
-                            monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
+                        catch {
+                            targetSpec = undefined;
                         }
-                        else {
-                            elem0.text.shellValue = "0";
-                            store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
+                    }
+                    if (typeof targetSpec === "string") {
+                        const openBr = targetSpec.indexOf("[");
+                        const isSubTarget = openBr > 0 && targetSpec.endsWith("]") && targetSpec.length > openBr + 2;
+                        const rawTargetVar = isSubTarget ? targetSpec.slice(0, openBr) : targetSpec;
+                        const targetVar = isShellIdentifier(rawTargetVar) ? resolveSyncNameref(rawState, rawTargetVar) : "";
+                        if (targetVar && isShellIdentifier(targetVar) && targetVar !== "OPTIND" && targetVar !== "PIPESTATUS" && targetVar !== "_" && !rawState.readonlyVariables?.has(targetVar) && !monitor.hasOverlay(targetVar) && (isSubTarget || !store?.get(targetVar))) {
+                            fastSubScratchArgs.length = 0;
+                            let allStrings = true;
+                            try {
+                                for (let i = 3; i < command.words.length; i++) {
+                                    const v = this.fastValueWord(command.words[i], rawState, io, true, false, false, true, undefined, diagnosticLine);
+                                    if (typeof v !== "string") {
+                                        allStrings = false;
+                                        break;
+                                    }
+                                    fastSubScratchArgs.push(v);
+                                }
+                            }
+                            catch {
+                                allStrings = false;
+                            }
+                            const lastArg = fastSubScratchArgs.length > 0 ? fastSubScratchArgs[fastSubScratchArgs.length - 1] : targetSpec;
+                            const formatted = allStrings ? tryFastPrintf(fastSubScratchArgs) : undefined;
+                            fastSubScratchArgs.length = 0;
+                            if (formatted !== undefined && formatted.length <= this.budget.limits.maxExpansionBytes && (formatted.length * 3 <= this.budget.limits.maxExpansionBytes || shellValueByteLength(formatted) <= this.budget.limits.maxExpansionBytes)) {
+                                let wroteTarget = true;
+                                if (isSubTarget) {
+                                    let subKey = targetSpec.slice(openBr + 1, -1);
+                                    const existingArr = store?.get(targetVar);
+                                    if (!existingArr?.associative && !/^(?:0|[1-9][0-9]{0,8})$/.test(subKey)) {
+                                        const syncTouched = this._syncArithRawWriteOnly ? this._syncArithTouched : undefined;
+                                        const directIdx = resolveSimpleArithOperand(subKey.trim(), rawState, monitor, store, syncTouched);
+                                        if (directIdx !== undefined && directIdx >= 0)
+                                            subKey = String(directIdx);
+                                        else {
+                                            const exprIdx = tryEvalSimpleExpandedArith(subKey.trim(), rawState, monitor, store, syncTouched);
+                                            if (exprIdx !== undefined && Number(exprIdx) >= 0)
+                                                subKey = exprIdx;
+                                            else
+                                                wroteTarget = false;
+                                        }
+                                    }
+                                    if (wroteTarget && !this.tryFastArraySubscriptWriteSync(rawState, targetVar, subKey, formatted))
+                                        wroteTarget = false;
+                                }
+                                else if (this._syncArithRawWriteOnly && this._syncArithTouched) {
+                                    rawState.variables[targetVar] = formatted;
+                                    this._syncArithTouched.add(targetVar);
+                                }
+                                else
+                                    monitor.publishStringVariable(targetVar, formatted);
+                                if (wroteTarget) {
+                                    if (rawState.extensions && !rawState.extensions.eventDepth)
+                                        publishCommandSpelling(rawState, commandSpelling(command));
+                                    const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
+                                    this.budget.tick();
+                                    rawState.substitutionStatus = 0;
+                                    if (rawState.variables._ !== undefined)
+                                        delete rawState.variables._;
+                                    rawState.lastArgument = lastArg;
+                                    if (!isSubTarget && rawState.allexport)
+                                        monitor.proxy.exported.add(targetVar);
+                                    if (io.assignmentDiagnosticContext)
+                                        io.assignmentDiagnosticContext.name = undefined;
+                                    if (!existing) {
+                                        monitor.lazyPipeStatus = singleStatusZero;
+                                        monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
+                                    }
+                                    else {
+                                        this.setSyncPipeStatusCell(existing, "0");
+                                        store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
+                                    }
+                                    const finalStatus = pipeline.negate ? 1 : 0;
+                                    rawState.status = finalStatus;
+                                    monitor.epoch = restEpoch;
+                                    if (store)
+                                        store.epoch = restEpoch;
+                                    return finalStatus;
+                                }
+                            }
                         }
-                        const finalStatus = pipeline.negate ? 1 : 0;
-                        rawState.status = finalStatus;
-                        monitor.epoch = restEpoch;
-                        if (store)
-                            store.epoch = restEpoch;
-                        return finalStatus;
                     }
                 }
             }
@@ -10459,7 +10722,7 @@ export class Runtime {
                             if (command.words.length === 3) {
                                 scanArgs = this._fastSubPositional ?? rawState.positional;
                             }
-                            else if (command.words.length === 4 && (() => { const ne = command.words[3].parts.filter(p => !(p.kind === "text" && p.value === "")); return ne.length === 1 && ne[0].kind === "variable" && ne[0].name === "@" && ne[0].quoted; })()) {
+                            else if (command.words.length === 4 && (() => { const ne = command.words[3].parts.filter(p => !(p.kind === "text" && p.value === "")); return ne.length === 1 && ne[0].kind === "variable" && ne[0].name === "@" && ne[0].quoted && !ne[0].length && !ne[0].substring && !ne[0].operator && !ne[0].transform && !ne[0].indirect && !ne[0].prefixNames && getArraySelector(ne[0]) === undefined; })()) {
                                 scanArgs = this._fastSubPositional ?? rawState.positional;
                                 if (scanArgs.length > 0)
                                     lastArg = scanArgs[scanArgs.length - 1];
@@ -10484,7 +10747,7 @@ export class Runtime {
                     catch {
                         scanArgs = undefined;
                     }
-                    if (typeof optstring === "string" && scanArgs !== undefined) {
+                    if (typeof optstring === "string" && optstring.startsWith(":") && scanArgs !== undefined) {
                         rawState.getopts ??= cloneGetoptsBinding(rawState);
                         const res = scanGetoptsSync(rawState.getopts.cursor, optstring, scanArgs);
                         if (res !== undefined) {
@@ -10580,7 +10843,7 @@ export class Runtime {
                             monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                         }
                         else {
-                            elem0.text.shellValue = "0";
+                            this.setSyncPipeStatusCell(existing, "0");
                             store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                         }
                         rawState.status = 0;
@@ -10686,7 +10949,7 @@ export class Runtime {
                                 monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                             }
                             else {
-                                elem0.text.shellValue = "0";
+                                this.setSyncPipeStatusCell(existing, "0");
                                 store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                             }
                             const finalStatus = pipeline.negate ? 1 : 0;
@@ -10926,33 +11189,7 @@ export class Runtime {
                                 else {
                                     const arrStore = monitor.store ?? requireArrays(rawState);
                                     existingArrayBinding = arrStore.get(arrayTarget);
-                                    if (!existingArrayBinding && rawState.variables[arrayTarget] === undefined && !arrStore.watches.has(arrayTarget) && !monitor.hasOverlay(arrayTarget)) {
-                                        const recTickets = arrStore.owner.charge({ generation: true, version: true, epoch: true, work: 8 });
-                                        const recBinding = arrStore.takeRecycled(arrayTarget, false, true, recTickets);
-                                        if (recBinding) {
-                                            monitor.epoch = recTickets.epoch;
-                                            existingArrayBinding = recBinding;
-                                        }
-                                        else
-                                            try {
-                                                const created = IndexedBinding.create(arrStore.owner, false);
-                                                const nameByteLen = shellValueByteLength(arrayTarget);
-                                                const prepared = arrStore.prepareExistingName(arrayTarget, nameByteLen, arrStore.owner, this.signal);
-                                                if (prepared) {
-                                                    const initTickets = arrStore.owner.charge({ generation: true, version: true, epoch: true, work: 8 });
-                                                    arrStore.publish(arrayTarget, created, initTickets, prepared, false, arrStore.owner);
-                                                    monitor.epoch = initTickets.epoch;
-                                                    existingArrayBinding = created;
-                                                }
-                                                else {
-                                                    void created.release();
-                                                }
-                                            }
-                                            catch { }
-                                    }
-                                    if (!existingArrayBinding ||
-                                        existingArrayBinding.associative ||
-                                        existingArrayBinding.references !== 1 ||
+                                    if ((existingArrayBinding ? existingArrayBinding.associative || existingArrayBinding.references !== 1 : rawState.variables[arrayTarget] !== undefined) ||
                                         arrStore.watches.has(arrayTarget) ||
                                         monitor.hasOverlay(arrayTarget)) {
                                         simpleRead = false;
@@ -11000,6 +11237,36 @@ export class Runtime {
                                 else
                                     lineStr = io.stdin.tryReadSimpleRawAsciiLineSync(readDelim, raw);
                                 if (lineStr !== undefined) {
+                                    // Expand/read the input before publishing the destination array.
+                                    if (arrayTarget !== undefined && !existingArrayBinding) {
+                                        const arrStore = monitor.store ?? requireArrays(rawState);
+                                        if (!existingArrayBinding && rawState.variables[arrayTarget] === undefined && !arrStore.watches.has(arrayTarget) && !monitor.hasOverlay(arrayTarget)) {
+                                            const recTickets = arrStore.owner.charge({ generation: true, version: true, epoch: true, work: 8 });
+                                            const recBinding = arrStore.takeRecycled(arrayTarget, false, true, recTickets);
+                                            if (recBinding) {
+                                                monitor.epoch = recTickets.epoch;
+                                                existingArrayBinding = recBinding;
+                                            }
+                                            else
+                                                try {
+                                                    const created = IndexedBinding.create(arrStore.owner, false);
+                                                    const nameByteLen = shellValueByteLength(arrayTarget);
+                                                    const prepared = arrStore.prepareExistingName(arrayTarget, nameByteLen, arrStore.owner, this.signal);
+                                                    if (prepared) {
+                                                        const initTickets = arrStore.owner.charge({ generation: true, version: true, epoch: true, work: 8 });
+                                                        arrStore.publish(arrayTarget, created, initTickets, prepared, false, arrStore.owner);
+                                                        monitor.epoch = initTickets.epoch;
+                                                        existingArrayBinding = created;
+                                                    }
+                                                    else {
+                                                        void created.release();
+                                                    }
+                                                }
+                                                catch { }
+                                        }
+                                        if (!existingArrayBinding)
+                                            return undefined;
+                                    }
                                     if (rawState.extensions && !rawState.extensions.eventDepth)
                                         publishCommandSpelling(rawState, commandSpelling(command));
                                     if (arrayTarget !== undefined && existingArrayBinding) {
@@ -11059,6 +11326,7 @@ export class Runtime {
                                             readArrayScratchFields.length = 0;
                                             delete rawState.variables[arrayTarget];
                                             monitor.epoch = tickets.epoch;
+                                            existingArrayBinding.assigned = true;
                                             activeArrStore.revise(arrayTarget, existingArrayBinding, tickets);
                                         }
                                         catch (error) {
@@ -11138,7 +11406,7 @@ export class Runtime {
                                         monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                                     }
                                     else {
-                                        elem0.text.shellValue = "0";
+                                        this.setSyncPipeStatusCell(existing, "0");
                                         store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                                     }
                                     rawState.status = 0;
@@ -11336,7 +11604,7 @@ export class Runtime {
                                 monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                             }
                             else {
-                                elem0.text.shellValue = "0";
+                                this.setSyncPipeStatusCell(existing, "0");
                                 store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                             }
                             rawState.status = 0;
@@ -11410,7 +11678,7 @@ export class Runtime {
                             monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                         }
                         else {
-                            elem0.text.shellValue = "0";
+                            this.setSyncPipeStatusCell(existing, "0");
                             store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                         }
                         rawState.status = 0;
@@ -11490,6 +11758,8 @@ export class Runtime {
                             if (isLocalScope) {
                                 let existingLocal = currentFrame.get(an);
                                 if (!existingLocal) {
+                                    if (this._syncArithRawWriteOnly && this._syncArithTouched?.has(an))
+                                        monitor.values.invalidate(an);
                                     existingLocal = saveVariable(state, an);
                                     syncLocalArrayVariables.add(existingLocal);
                                     currentFrame.set(an, existingLocal);
@@ -11554,13 +11824,15 @@ export class Runtime {
                     }
                     return undefined;
                 }
+                const isNamerefDecl = command.words[1]?.plain === "-n" && rawState.locals.length > 0 && command.words.length >= 3;
+                const isGlobalDecl = command.words[1]?.plain === "-g" && (w0Plain === "declare" || w0Plain === "typeset") && command.words.length >= 3;
                 const parsedLocals = [];
                 let allValidLocal = true;
-                for (let idx = 1; idx < command.words.length; idx++) {
+                for (let idx = (isNamerefDecl || isGlobalDecl) ? 2 : 1; idx < command.words.length; idx++) {
                     const wArg = command.words[idx];
                     const assignment = !getArrayAssignment(wArg) ? this.assignment(wArg) : undefined;
                     if (assignment) {
-                        if ((assignment.name === "OPTIND" && (assignment.append || rawState.variableAttributes?.get("OPTIND"))) || assignment.name === "PIPESTATUS" || assignment.name.includes("[") || rawState.readonlyVariables?.has(assignment.name) || store?.get(assignment.name)) {
+                        if ((!isNamerefDecl && rawState.variableAttributes?.get(assignment.name)) || (assignment.name === "OPTIND" && (assignment.append || rawState.variableAttributes?.get("OPTIND"))) || assignment.name === "PIPESTATUS" || assignment.name.includes("[") || rawState.readonlyVariables?.has(assignment.name) || store?.get(assignment.name)) {
                             allValidLocal = false;
                             break;
                         }
@@ -11593,10 +11865,28 @@ export class Runtime {
                         break;
                     }
                 }
+                if (isNamerefDecl && allValidLocal) {
+                    for (let i = 0; i < parsedLocals.length; i++) {
+                        const it = parsedLocals[i];
+                        if (!it.val || it.append || !isShellIdentifier(it.val) || it.val === it.name || rawState.variableAttributes?.get(it.val)) {
+                            allValidLocal = false;
+                            break;
+                        }
+                    }
+                }
+                if (isGlobalDecl && allValidLocal && rawState.locals.length > 0) {
+                    for (let i = 0; i < parsedLocals.length; i++) {
+                        const it = parsedLocals[i];
+                        if (rawState.locals.some(f => f.has(it.name))) {
+                            allValidLocal = false;
+                            break;
+                        }
+                    }
+                }
                 if (allValidLocal && parsedLocals.length > 0) {
-                    if (rawState.locals.length === 0 && parsedLocals.some(item => item.val === undefined && !rawState.variableAttributes?.has(item.name)))
+                    if ((rawState.locals.length === 0 || isGlobalDecl) && parsedLocals.some(item => item.val === undefined && !rawState.variableAttributes?.has(item.name)))
                         return undefined;
-                    const locals = rawState.locals.length > 0 ? rawState.locals[rawState.locals.length - 1] : undefined;
+                    const locals = (!isGlobalDecl && rawState.locals.length > 0) ? rawState.locals[rawState.locals.length - 1] : undefined;
                     const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
                     this.budget.tick();
                     rawState.substitutionStatus = 0;
@@ -11610,7 +11900,7 @@ export class Runtime {
                                 const curVal = this._syncArithTouched.has(item.name)
                                     ? rawState.variables[item.name]
                                     : (rawState.variables[item.name] === undefined ? undefined : (monitor.values.get(item.name, rawState.variables[item.name]) ?? rawState.variables[item.name]));
-                                locals.set(item.name, { attributes: undefined, value: typeof curVal === "string" ? curVal : undefined, exported: false, readOnly: false, ...(item.name === "OPTIND" ? { getopts: cloneGetoptsBinding(rawState) } : {}) });
+                                locals.set(item.name, { attributes: undefined, value: typeof curVal === "string" ? curVal : undefined, exported: rawState.exported.has(item.name), readOnly: false, ...(item.name === "OPTIND" ? { getopts: cloneGetoptsBinding(rawState) } : {}) });
                             }
                             else
                                 locals.set(item.name, saveVariable(state, item.name));
@@ -11640,7 +11930,11 @@ export class Runtime {
                             if (rawState.allexport)
                                 monitor.proxy.exported.add(item.name);
                             rawState.lastArgument = `${item.name}=${finalVal}`;
-                            if (isNewLocal && rawState.variableAttributes?.has(item.name))
+                            if (isNamerefDecl) {
+                                rawState.variableAttributes ??= new Map();
+                                rawState.variableAttributes.set(item.name, "n");
+                            }
+                            else if (isNewLocal && rawState.variableAttributes?.has(item.name))
                                 rawState.variableAttributes.delete(item.name);
                         }
                         else {
@@ -11671,7 +11965,7 @@ export class Runtime {
                         }
                     }
                     else {
-                        elem0.text.shellValue = "0";
+                        this.setSyncPipeStatusCell(existing, "0");
                         store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                     }
                     rawState.status = 0;
@@ -11697,8 +11991,6 @@ export class Runtime {
                     if (fastArg.length > 0 && fastArg.length <= 15 && /^-?[0-9]+$/.test(fastArg)) {
                         const retStatus = ((Number(fastArg) % 256) + 256) % 256;
                         const statusStr = retStatus === 0 ? "0" : retStatus === 1 ? "1" : String(retStatus);
-                        if (existing && elem0.text.bytes !== statusStr.length)
-                            return undefined;
                         const prevStatus = rawState.status;
                         const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
                         this.budget.tick();
@@ -11713,7 +12005,7 @@ export class Runtime {
                             monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                         }
                         else {
-                            elem0.text.shellValue = statusStr;
+                            this.setSyncPipeStatusCell(existing, statusStr);
                             store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                         }
                         rawState.status = retStatus;
@@ -11767,10 +12059,14 @@ export class Runtime {
                         else {
                             const savedPos = rawState.positional;
                             rawState.positional = fnArgs;
+                            rawState.locals.push(new Map());
+                            rawState.functionDepth++;
                             try {
                                 canSyncFn = this.canSyncScriptCompound(fnBody.body, rawState, 1);
                             }
                             finally {
+                                rawState.functionDepth--;
+                                rawState.locals.pop();
                                 rawState.positional = savedPos;
                             }
                         }
@@ -11891,8 +12187,8 @@ export class Runtime {
                                 monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                             }
                         }
-                        else if (activeExisting.values.get(0).text.bytes === statusStr.length) {
-                            activeExisting.values.get(0).text.shellValue = statusStr;
+                        else {
+                            this.setSyncPipeStatusCell(activeExisting, statusStr);
                             activeStore.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                         }
                         rawState.status = exitStatus;
@@ -11963,7 +12259,7 @@ export class Runtime {
                                     }
                                 }
                                 else {
-                                    activeExisting.values.get(0).text.shellValue = "0";
+                                    this.setSyncPipeStatusCell(activeExisting, "0");
                                     activeStore.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                                 }
                                 rawState.status = 0;
@@ -11997,7 +12293,7 @@ export class Runtime {
                                 rawState.depth++;
                                 let evalStatus;
                                 try {
-                                    evalStatus = this.trySyncScript(cachedUnit.script, state, io, Boolean(ignored));
+                                    evalStatus = this.trySyncScript(cachedUnit.script, state, { ...io, diagnosticOffset: (diagnosticLine ?? 1) - 1, functionCommandLines: undefined, assignmentDiagnosticContext: { name: "eval" } }, Boolean(ignored));
                                 }
                                 finally {
                                     rawState.depth--;
@@ -12017,7 +12313,7 @@ export class Runtime {
                                             }
                                         }
                                         else {
-                                            activeExisting.values.get(0).text.shellValue = "0";
+                                            this.setSyncPipeStatusCell(activeExisting, "0");
                                             activeStore.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                                         }
                                     }
@@ -12101,7 +12397,7 @@ export class Runtime {
                             }
                     }
                     else {
-                        elem0.text.shellValue = statusChar;
+                        this.setSyncPipeStatusCell(existing, statusChar);
                         store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                     }
                     const finalStatus = pipeline.negate ? Number(fastPred === 0) : fastPred;
@@ -12166,7 +12462,7 @@ export class Runtime {
                                 else {
                                     const idxNum = /^(?:0|[1-9][0-9]{0,8})$/.test(subExpr) ? Number(subExpr) : resolveSimpleArithOperand(subExpr, rawState, monitor, arrStore, this._syncArithRawWriteOnly ? this._syncArithTouched : undefined);
                                     if (idxNum !== undefined && idxNum >= 0 && idxNum <= 2147483647) {
-                                        if (!curB && rawState.variables[arrName] === undefined && !arrStore.watches.has(arrName) && !monitor.hasOverlay(arrName)) {
+                                        if (!curB && !hasUnpreparedLocal(rawState, arrName) && rawState.variables[arrName] === undefined && !arrStore.watches.has(arrName) && !monitor.hasOverlay(arrName)) {
                                             const created = IndexedBinding.create(arrStore.owner, false);
                                             const prepared = arrStore.prepareExistingName(arrName, shellValueByteLength(arrName), arrStore.owner, this.signal);
                                             if (prepared) {
@@ -12212,7 +12508,7 @@ export class Runtime {
                                 }
                             }
                             else {
-                                activeExisting.values.get(0).text.shellValue = "0";
+                                this.setSyncPipeStatusCell(activeExisting, "0");
                                 activeStore.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                             }
                             const finalStatus = pipeline.negate ? 1 : 0;
@@ -12298,7 +12594,7 @@ export class Runtime {
                             monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                         }
                         else {
-                            elem0.text.shellValue = "0";
+                            this.setSyncPipeStatusCell(existing, "0");
                             store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                         }
                         const finalStatus = pipeline.negate ? 1 : 0;
@@ -12353,7 +12649,7 @@ export class Runtime {
                         return false;
                     continue;
                 }
-                if (part.prefixNames || part.specialParameter || part.transform || part.name === "@" || part.name === "*" || part.name === "PIPESTATUS" || part.name === "LINENO" || part.name === "_" || part.name === "FUNCNAME" || !isShellIdentifier(part.name)) {
+                if (part.prefixNames || part.specialParameter || part.transform || part.name === "@" || part.name === "*" || part.name === "PIPESTATUS" || part.name === "LINENO" || part.name === "_" || part.name === "FUNCNAME" || part.name === "DIRSTACK" || !isShellIdentifier(part.name)) {
                     return false;
                 }
                 if (part.indirect) {
@@ -12850,7 +13146,7 @@ export class Runtime {
                 monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
             }
             else {
-                elem0.text.shellValue = "0";
+                this.setSyncPipeStatusCell(existing, "0");
                 store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
             }
         }
@@ -13213,7 +13509,7 @@ export class Runtime {
                         monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                     }
                     else {
-                        elem0.text.shellValue = "0";
+                        this.setSyncPipeStatusCell(existing, "0");
                         store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                     }
                 }
@@ -13438,7 +13734,7 @@ export class Runtime {
                     monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets);
                 }
                 else {
-                    elem0.text.shellValue = "0";
+                    this.setSyncPipeStatusCell(existing, "0");
                     store.changed(monitor.chargeInternal(syncPipeStatusCharge, syncPipeStatusTickets), "PIPESTATUS");
                 }
             }
@@ -16070,7 +16366,7 @@ export class Runtime {
                     previous.set(assignment.name, saved);
                     const existingArray = arrayStore(state)?.get(assignment.name);
                     const canSkipTypedScalarOverlay = !existingArray && words[0] === "read" && !state.functions.has("read") && !state.extensions?.builtins.has("read") && !words.some(w => w.startsWith("-a") || (w.startsWith("-") && !w.startsWith("--") && w.includes("a")));
-                    if (words.length && !canSkipTypedScalarOverlay && (guestArrays(state) || (assignment.name === "PIPESTATUS" && existingArray))) {
+                    if (words.length && !canSkipTypedScalarOverlay && (guestArrays(state) || existingArray)) {
                         const store = requireArrays(state);
                         await this.prepareVariable(state, assignment.name, saved, !existingArray);
                         if (existingArray) {
@@ -16095,7 +16391,7 @@ export class Runtime {
             }
             if (inlineInput || (state.profile === "sh" || !words.length) && assignments.some(assignment => state.readonlyVariables?.has(assignment.name)))
                 await assign();
-            if (inlineInput && (functionCommand || words[0] === "read" && !state.extensions?.builtins.has("read")) && previous?.size) {
+            if (inlineInput && previous?.size) {
                 if (stateMonitor(state)?.lazyPipeStatus !== undefined)
                     stateMonitor(state).activate(true);
                 const redirectState = tryCloneStateSync(state) ?? await cloneState(state, this.signal);
@@ -16103,10 +16399,26 @@ export class Runtime {
                 const redirectAssignments = new Map();
                 for (const [name, saved] of previous) {
                     redirectAssignments.set(name, stateMonitor(state).values.get(name, state.variables[name]));
+                    if (saved.exported)
+                        redirectState.exported.add(name);
+                    else
+                        redirectState.exported.delete(name);
                     if (saved.value === undefined)
                         delete variables[name];
                     else
                         publishVariable(redirectState, name, saved.heldValue?.value ?? saved.value);
+                    const binding = typedSavedVariables.get(saved)?.binding;
+                    if (binding) {
+                        const store = requireArrays(redirectState);
+                        const prepared = await store.prepareName(name, store.owner, this.signal);
+                        const tickets = store.tickets(name);
+                        try {
+                            await store.publish(name, binding.retain(), tickets, prepared);
+                        }
+                        finally {
+                            tickets.release();
+                        }
+                    }
                 }
                 redirectState.redirectAssignments = redirectAssignments;
                 const savedIndex = previous.get("OPTIND");
@@ -16124,7 +16436,7 @@ export class Runtime {
                     }
                 const epoch = stateMonitor(state)?.epoch;
                 try {
-                    io = await this.redirect(command.redirects, redirectState, io, inputs, outputs, false, true, false, command.line ?? 1);
+                    io = await this.redirect(command.redirects, redirectState, io, inputs, outputs, isolatedInlineInput, !isolatedInlineInput, false, command.line ?? 1);
                     if (parentStore && stateMonitor(state).epoch !== epoch)
                         throw new ArrayFailure("stale state snapshot");
                 }
@@ -16147,6 +16459,12 @@ export class Runtime {
                                     publishVariable(state, name, stateMonitor(redirectState).values.get(name, value));
                             }
                             for (const [name, saved] of previous) {
+                                const typed = typedSavedVariables.get(saved);
+                                const binding = arrayStore(redirectState)?.get(name);
+                                if (typed && binding !== typed.binding) {
+                                    typedSavedVariables.set(saved, { ...typed, binding: binding?.retain() });
+                                    await typed.binding?.release();
+                                }
                                 saved.value = variables[name];
                                 const value = stateMonitor(redirectState).values.get(name, saved.value ?? "");
                                 const held = saved.value === undefined ? undefined : stateMonitor(state).values.scope.hold(value);
@@ -20341,6 +20659,9 @@ export class Runtime {
                 seen.add(name);
                 names.push(name);
             };
+            await consider("DIRSTACK", true);
+            if (state.functionNames?.length)
+                await consider("FUNCNAME", true);
             for (const name in state.variables)
                 if (Object.hasOwn(state.variables, name))
                     await consider(name, state.variables[name] !== undefined);
@@ -20421,7 +20742,7 @@ export class Runtime {
             setArraySelector(resolved, { kind: "element", index: { decimal: shellValueText(value), word: { offset: word.offset, parts: [{ kind: "text", value: shellValueText(value), quoted: true, ...(typeof value === "string" ? {} : { byteValue: value }) }] } } });
             return resolved;
         }
-        const maximum = binding?.maximum ?? (state.variables[part.name] === undefined ? -1 : 0);
+        const maximum = binding?.maximum ?? (part.name === "FUNCNAME" && state.variables.FUNCNAME === undefined ? (state.functionNames?.length ?? 0) - 1 : state.variables[part.name] === undefined ? -1 : 0);
         const index = await this.arrayIndex(binding, selector.index, state, io, store.owner, false, maximum);
         const resolved = { ...part };
         copyArraySelector(part, resolved);
@@ -20493,8 +20814,7 @@ export class Runtime {
             const selector = getArraySelector(part);
             if (selector?.kind === "members" || part.name === "@" || part.name === "*") {
                 const members = selector ? await this.arrayMembers(part.name, state, io, part.keys) : this.positionalValues(state);
-                const ifs = state.variables.IFS ?? " ";
-                const separator = !split && (selector?.kind === "members" ? selector.separator === "@" || !part.quoted : part.name === "@") ? " " : ifs.length ? String.fromCodePoint(ifs.codePointAt(0)) : "";
+                const separator = !split && (selector?.kind === "members" ? selector.separator === "@" : part.name === "@") ? " " : this.ifsSeparator(state, io);
                 const fragments = [];
                 let bytes = 0;
                 for (const member of members) {
@@ -21350,7 +21670,7 @@ export class Runtime {
     fastValueWord(word, state, io, split, pattern, hereDocument, braces, assignmentStart, overrideDiagnosticLine) {
         const monitor = stateMonitor(state);
         const rawState = monitor ? monitor.raw : state;
-        if (pattern || word.parts.length === 0 || (rawState.depth + (io.parameterDepth ?? 0)) >= 32 || hasActiveVariableAttributes(rawState))
+        if (pattern || word.parts.length === 0 || (rawState.depth + (io.parameterDepth ?? 0)) >= 32 || hasNonNamerefAttributes(rawState))
             return undefined;
         if (guestArrays(state) && word.parts.some(part => part.kind === "arithmetic" && !part.expression.error && !isSafeSmiProgram(part.expression)))
             return undefined;
@@ -21359,7 +21679,7 @@ export class Runtime {
         this.signal.throwIfAborted();
         let out = "";
         for (let i = 0; i < word.parts.length; i++) {
-            const part = word.parts[i];
+            let part = word.parts[i];
             if (part.kind === "text") {
                 if (part.byteValue || invokedValues.has(part))
                     return undefined;
@@ -21377,8 +21697,17 @@ export class Runtime {
                 out += part.value;
             }
             else if (part.kind === "variable") {
-                if (rawState.variableAttributes?.get(part.name)?.includes("n"))
-                    return undefined;
+                if (rawState.variableAttributes?.get(part.name)?.includes("n")) {
+                    if (part.indirect)
+                        return undefined;
+                    const resolvedName = resolveSyncNameref(rawState, part.name);
+                    if (resolvedName === part.name)
+                        return undefined;
+                    const origSel = getArraySelector(part);
+                    part = { ...part, name: resolvedName };
+                    if (origSel)
+                        setArraySelector(part, origSel);
+                }
                 if (split && !part.quoted && (rawVars.IFS !== undefined && rawVars.IFS !== " \t\n"))
                     return undefined;
                 if (!part.indirect && !part.prefixNames && !part.length && !part.substring && !part.transform && part.operator === undefined && getArraySelector(part) === undefined && (part.name === "?" || part.name === "#" || (part.name.length === 1 && part.name >= "1" && part.name <= "9"))) {
@@ -21408,7 +21737,7 @@ export class Runtime {
                     const refName = refRaw === undefined ? undefined : (this._syncArithRawWriteOnly && this._syncArithTouched?.has(part.name) ? refRaw : (monitor?.values.get(part.name, refRaw) ?? refRaw));
                     if (typeof refName !== "string" || !isShellIdentifier(refName))
                         return undefined;
-                    if (activeArrayStore?.get(refName) || rawState.variableAttributes?.get(refName) || refName === "PIPESTATUS" || refName === "LINENO" || refName === "_" || refName === "FUNCNAME") {
+                    if (activeArrayStore?.get(refName) || rawState.variableAttributes?.get(refName) || refName === "PIPESTATUS" || refName === "LINENO" || refName === "_" || refName === "FUNCNAME" || refName === "DIRSTACK") {
                         return undefined;
                     }
                     const targetRaw = rawVars[refName];
@@ -21424,7 +21753,7 @@ export class Runtime {
                 }
                 if (part.indirect || part.prefixNames || part.specialParameter || part.transform)
                     return undefined;
-                if (part.name === "@" || part.name === "*" || part.name === "PIPESTATUS" || part.name === "LINENO" || part.name === "_" || part.name === "FUNCNAME")
+                if (part.name === "@" || part.name === "*" || part.name === "PIPESTATUS" || part.name === "LINENO" || part.name === "_" || part.name === "FUNCNAME" || part.name === "DIRSTACK")
                     return undefined;
                 if (!isShellIdentifier(part.name))
                     return undefined;
@@ -21506,10 +21835,11 @@ export class Runtime {
                             const ifsVal = monitor?.values.get("IFS", rawVars.IFS ?? " ") ?? rawVars.IFS ?? " ";
                             if (validElemOp && typeof ifsVal === "string" && (ifsVal.length === 0 || ifsVal.charCodeAt(0) < 128)) {
                                 const sep = selector.separator === "@" && (!isKeys || ifsVal.length === 0) ? " " : ifsVal.length > 0 ? ifsVal[0] : "";
+                                const parameterLine = part.line ?? overrideDiagnosticLine;
                                 const evalSliceInt = (w) => {
                                     if (w.parts.length === 0)
                                         return 0;
-                                    const expanded = this.fastValueWord(w, rawState, io, false, false, false, false, undefined, part.line ?? overrideDiagnosticLine);
+                                    const expanded = this.fastValueWord(w, rawState, io, false, false, false, false, undefined, parameterLine);
                                     if (typeof expanded !== "string")
                                         return undefined;
                                     const trimmed = expanded.trim();
@@ -21760,10 +22090,11 @@ export class Runtime {
                     if (part.length || part.operator !== undefined || this.budget.limits.maxExpansionBytes !== Infinity || rawState.depth + (io.parameterDepth ?? 0) >= 60 || !part.substring.offset.parts.every(p => p.kind === "text" || p.kind === "arithmetic" || (p.kind === "variable" && !p.operator && !p.substring)) || (part.substring.length && !part.substring.length.parts.every(p => p.kind === "text" || p.kind === "arithmetic" || (p.kind === "variable" && !p.operator && !p.substring))) || ValueScope.prototype.reserve !== defaultValueScopeReserve || String.prototype.codePointAt !== defaultStringCodePointAt || globalThis.Float64Array !== defaultFloat64Array || (!part.substring.offset.parts.length && !part.substring.length)) {
                         return undefined;
                     }
+                    const parameterLine = part.line ?? overrideDiagnosticLine;
                     const evalSubInt = (w) => {
                         if (w.parts.length === 0)
                             return 0;
-                        const expanded = this.fastValueWord(w, rawState, io, false, false, false, false, undefined, part.line ?? overrideDiagnosticLine);
+                        const expanded = this.fastValueWord(w, rawState, io, false, false, false, false, undefined, parameterLine);
                         if (typeof expanded !== "string")
                             return undefined;
                         const trimmed = expanded.trim();
@@ -21837,7 +22168,8 @@ export class Runtime {
                 if (part.operator !== undefined) {
                     if (this.budget.limits.maxExpansionBytes !== Infinity || rawState.depth + (io.parameterDepth ?? 0) >= 60 || ValueScope.prototype.reserve !== defaultValueScopeReserve || String.prototype.codePointAt !== defaultStringCodePointAt || globalThis.Float64Array !== defaultFloat64Array)
                         return undefined;
-                    if (!rawState.nocasematch && (part.operator === "/" || part.operator === "//" || part.operator === "/#" || part.operator === "/%") && part.alternate && part.alternate.parts.length >= 1 && part.alternate.parts.every(p => p.quoted === part.alternate.parts[0].quoted && ((p.kind === "text" && !p.byteValue) || (p.kind === "variable" && !p.operator && !p.substring && !p.length && !p.indirect && !p.prefixNames && !p.specialParameter && !p.transform && getArraySelector(p) === undefined && isShellIdentifier(p.name)))) && (!part.replacement || part.replacement.parts.length === 0 || part.replacement.parts.every(p => (p.kind === "text" && !p.byteValue) || (p.kind === "variable" && !p.operator && !p.substring && !p.length && !p.indirect && !p.prefixNames && !p.specialParameter && !p.transform && getArraySelector(p) === undefined && isShellIdentifier(p.name))))) {
+                    const patternQuoted = part.alternate?.parts[0]?.quoted;
+                    if (!rawState.nocasematch && (part.operator === "/" || part.operator === "//" || part.operator === "/#" || part.operator === "/%") && part.alternate && part.alternate.parts.length >= 1 && part.alternate.parts.every(p => p.quoted === patternQuoted && ((p.kind === "text" && !p.byteValue) || (p.kind === "variable" && !p.operator && !p.substring && !p.length && !p.indirect && !p.prefixNames && !p.specialParameter && !p.transform && getArraySelector(p) === undefined && isShellIdentifier(p.name)))) && (!part.replacement || part.replacement.parts.length === 0 || part.replacement.parts.every(p => (p.kind === "text" && !p.byteValue) || (p.kind === "variable" && !p.operator && !p.substring && !p.length && !p.indirect && !p.prefixNames && !p.specialParameter && !p.transform && getArraySelector(p) === undefined && isShellIdentifier(p.name))))) {
                         const patQuoted = part.alternate.parts[0].quoted;
                         const pat = (part.alternate.parts.length === 1 && part.alternate.parts[0].kind === "text")
                             ? part.alternate.parts[0].value
@@ -21911,7 +22243,7 @@ export class Runtime {
                         out += replaced;
                         continue;
                     }
-                    if ((part.operator === "#" || part.operator === "##" || part.operator === "%" || part.operator === "%%") && part.alternate && part.alternate.parts.length >= 1 && part.alternate.parts.every(p => p.quoted === part.alternate.parts[0].quoted && ((p.kind === "text" && !p.byteValue) || (p.kind === "variable" && !p.operator && !p.substring && !p.length && !p.indirect && !p.prefixNames && !p.specialParameter && !p.transform && getArraySelector(p) === undefined && isShellIdentifier(p.name))))) {
+                    if ((part.operator === "#" || part.operator === "##" || part.operator === "%" || part.operator === "%%") && part.alternate && part.alternate.parts.length >= 1 && part.alternate.parts.every(p => p.quoted === patternQuoted && ((p.kind === "text" && !p.byteValue) || (p.kind === "variable" && !p.operator && !p.substring && !p.length && !p.indirect && !p.prefixNames && !p.specialParameter && !p.transform && getArraySelector(p) === undefined && isShellIdentifier(p.name))))) {
                         const patQuoted = part.alternate.parts[0].quoted;
                         const pat = (part.alternate.parts.length === 1 && part.alternate.parts[0].kind === "text")
                             ? part.alternate.parts[0].value
@@ -22182,7 +22514,7 @@ export class Runtime {
                         return false;
                     continue;
                 }
-                if (p.prefixNames || p.specialParameter || p.transform || p.name === "@" || p.name === "*" || p.name === "PIPESTATUS" || p.name === "LINENO" || p.name === "_" || p.name === "FUNCNAME" || !isShellIdentifier(p.name)) {
+                if (p.prefixNames || p.specialParameter || p.transform || p.name === "@" || p.name === "*" || p.name === "PIPESTATUS" || p.name === "LINENO" || p.name === "_" || p.name === "FUNCNAME" || p.name === "DIRSTACK" || !isShellIdentifier(p.name)) {
                     return false;
                 }
                 if (p.operator !== undefined && (p.operator === "=" || p.operator === ":=" || p.operator === "?" || p.operator === ":?"))
@@ -23288,7 +23620,9 @@ export class Runtime {
                             : numericIndex(selector.index, 4294967295);
                         if (index === undefined && !binding?.associative)
                             throw new ArrayFailure("index outside 0..4294967295");
-                        value = binding ? index === undefined ? undefined : binding.getValue(index) : index === 0 ? value : undefined;
+                        value = binding ? index === undefined ? undefined : binding.getValue(index)
+                            : part.name === "FUNCNAME" && state.variables.FUNCNAME === undefined ? (index === undefined ? undefined : state.functionNames?.[index])
+                                : index === 0 ? value : undefined;
                     }
                     const missing = value === undefined || (part.operator.startsWith(":") && shellValueByteLength(value) === 0);
                     if (part.operator.endsWith("+") ? !missing : missing) {
@@ -23639,8 +23973,9 @@ export class Runtime {
                     return this.arithmeticValue(prepareArithmetic(source || "0", this.budget.parsing), state, io);
                 };
                 offset = await evaluate(substring.offset);
+                const maximum = binding?.maximum ?? (name === "FUNCNAME" && state.variables.FUNCNAME === undefined ? (state.functionNames?.length ?? 0) - 1 : state.variables[name] === undefined ? -1 : 0);
                 if (offset < 0n)
-                    offset += BigInt((binding?.maximum ?? (state.variables[name] === undefined ? -1 : 0)) + 1);
+                    offset += BigInt(maximum + 1);
                 if (substring.length) {
                     count = await evaluate(substring.length);
                     if (count < 0n)
@@ -23653,7 +23988,7 @@ export class Runtime {
             if (!binding) {
                 if (name === "FUNCNAME" && state.variables.FUNCNAME === undefined) {
                     const stack = state.functionNames ?? [];
-                    const start = offset < 0n ? Math.max(0, stack.length + Number(offset)) : Number(offset);
+                    const start = Number(offset);
                     const end = count === undefined ? stack.length : start + Number(count);
                     const sliced = stack.slice(start, end);
                     return keys ? sliced.map((_v, idx) => String(start + idx)) : sliced;