@poe-platform/safe-bash 0.1.736 → 0.1.737

package/dist/safe-bash/core.browser.js

@@ -55003,13 +55003,16 @@ function fastSafeInt(text3, budget) {
 function canEvalSafeSmiTree(node, depth = 0) {
   if (depth > 32) return false;
   if (node.kind === "literal") return node.value >= -94906265n && node.value <= 94906265n;
-  if (node.kind === "name") return node.subscript === void 0 || /^[0-9]{1,7}$/.test(node.subscript) || /^\$?[a-zA-Z_][a-zA-Z_0-9]*$/.test(node.subscript);
+  if (node.kind === "name") return node.subscript === void 0 || /^[0-9]{1,7}$/.test(node.subscript) || /^\$?[a-zA-Z_][a-zA-Z_0-9]*$/.test(node.subscript) || /^\s*[a-zA-Z_][a-zA-Z_0-9]*\s*(?:[-+*]\s*(?:0|[1-9][0-9]{0,6})|[/%]\s*[1-9][0-9]{0,6})\s*$/.test(node.subscript);
   if (node.kind === "unary") {
     if (node.operator === "+" || node.operator === "-" || node.operator === "!") return canEvalSafeSmiTree(node.operand, depth + 1);
     if (node.operator === "++" || node.operator === "--") return node.operand.kind === "name" && canEvalSafeSmiTree(node.operand, depth + 1) && depth === 0;
     return false;
   }
   if (node.kind === "binary") {
+    if (node.operator === "," && depth === 0) {
+      return canEvalSafeSmiTree(node.left, 0) && canEvalSafeSmiTree(node.right, 0);
+    }
     if ((node.operator === "=" || node.operator === "+=" || node.operator === "-=" || node.operator === "*=") && depth === 0) {
       return node.left.kind === "name" && canEvalSafeSmiTree(node.left, depth + 1) && canEvalSafeSmiTree(node.right, depth + 1);
     }
@@ -55048,6 +55051,11 @@ function evalSafeSmi(node, refs, budget) {
     return void 0;
   }
   if (node.kind === "binary") {
+    if (node.operator === ",") {
+      const l2 = evalSafeSmi(node.left, refs, budget);
+      if (l2 === void 0) return void 0;
+      return evalSafeSmi(node.right, refs, budget);
+    }
     if (node.operator === "=") {
       const r2 = evalSafeSmi(node.right, refs, budget);
       if (r2 === void 0 || r2 < -94906265 || r2 > 94906265) return void 0;
@@ -64256,6 +64264,68 @@ async function scanGetopts(state, optstring, input3, options2) {
   }
   return finish("option", option, { kind: "unset" }, null);
 }
+var syncSpecScratch = new Int8Array(128);
+function scanGetoptsSync(state, optstring, args) {
+  if (!record2(state) || typeof state.index !== "number" || !Number.isSafeInteger(state.index) || state.index < 0 || args.length > 1024 || optstring.length > 256) return void 0;
+  for (let i = 0; i < optstring.length; i++) {
+    const c = optstring.charCodeAt(i);
+    if (c === 0 || c > 127) return void 0;
+  }
+  for (let i = 0; i < args.length; i++) {
+    const a = args[i];
+    if (a.length > 4096 || a.includes("\0")) return void 0;
+  }
+  const silent = optstring.charCodeAt(0) === 58;
+  syncSpecScratch.fill(-1);
+  for (let position = silent ? 1 : 0; position < optstring.length; position++) {
+    const code2 = optstring.charCodeAt(position);
+    if (code2 !== 58 && code2 !== 63 && syncSpecScratch[code2] === -1) syncSpecScratch[code2] = Number(optstring.charCodeAt(position + 1) === 58);
+  }
+  let index = state.index || 1;
+  let active = state.index === 0 ? void 0 : state.active;
+  if (index > args.length) {
+    index = args.length + 1;
+    return { state: { index }, kind: "end", status: 1, option: "?", optind: index, argument: { kind: "unset" }, diagnostic: null };
+  }
+  if (active && (args[active.argument] === void 0 || active.offset >= args[active.argument].length)) active = void 0;
+  if (!active) {
+    const token2 = args[index - 1];
+    if (token2.length < 2 || token2.charCodeAt(0) !== 45) {
+      return { state: { index }, kind: "end", status: 1, option: "?", optind: index, argument: { kind: "unset" }, diagnostic: null };
+    }
+    if (token2 === "--") {
+      index++;
+      return { state: { index }, kind: "end", status: 1, option: "?", optind: index, argument: { kind: "unset" }, diagnostic: null };
+    }
+    active = { argument: index - 1, offset: 1 };
+  }
+  const token = args[active.argument];
+  const option = token[active.offset];
+  const code = option.charCodeAt(0);
+  if (code > 127) return void 0;
+  const offset = active.offset + 1;
+  const attached = offset < token.length;
+  active = attached ? { argument: active.argument, offset } : void 0;
+  if (!attached) index++;
+  if (syncSpecScratch[code] === -1) {
+    if (!silent) return void 0;
+    return { state: active === void 0 ? { index } : { index, active }, kind: "unknown-option", status: 0, option: "?", optind: index, argument: { kind: "set", value: option }, diagnostic: null };
+  }
+  if (syncSpecScratch[code] === 1) {
+    if (attached) {
+      index++;
+      return { state: { index }, kind: "option", status: 0, option, optind: index, argument: { kind: "set", value: token.slice(offset) }, diagnostic: null };
+    }
+    if (index <= args.length) {
+      const value2 = args[index - 1];
+      index++;
+      return { state: active === void 0 ? { index } : { index, active }, kind: "option", status: 0, option, optind: index, argument: { kind: "set", value: value2 }, diagnostic: null };
+    }
+    if (!silent) return void 0;
+    return { state: active === void 0 ? { index } : { index, active }, kind: "missing-argument", status: 0, option: ":", optind: index, argument: { kind: "set", value: option }, diagnostic: null };
+  }
+  return { state: active === void 0 ? { index } : { index, active }, kind: "option", status: 0, option, optind: index, argument: { kind: "unset" }, diagnostic: null };
+}
 
 // packages/safe-bash/src/shell/cancellation.ts
 init_platform();
@@ -71829,6 +71899,13 @@ var Runtime = class _Runtime {
               const rawSub = this._syncArithRawVars[resolvedSub];
               resolvedSub = rawSub === void 0 || rawSub === "" ? "0" : (0, value_exports.shellValueText)(stateMonitor(st)?.values.get(resolvedSub, rawSub) ?? rawSub);
             }
+          } else {
+            const st = this._syncArithState;
+            const binding = arrayStore(st)?.get(variable);
+            if (!binding || !binding.associative) {
+              const subStr = tryEvalSimpleExpandedArith(resolvedSub, st, stateMonitor(st), arrayStore(st), this._syncArithRawWriteOnly ? this._syncArithTouched : void 0);
+              if (subStr !== void 0 && !subStr.startsWith("-")) resolvedSub = subStr;
+            }
           }
           if (resolvedSub.length === 0 || resolvedSub.length > 128 || !/^[a-zA-Z0-9_.\-/:@]+$/.test(resolvedSub)) throw new ArrayFailure("complex subscript in sync arithmetic");
           return `[idx]${variable}:${resolvedSub}`;
@@ -71964,9 +72041,23 @@ var Runtime = class _Runtime {
       case "literal":
         return true;
       case "name": {
-        if (tree.subscript !== void 0 || tree.name === "OPTIND" || tree.name === "PIPESTATUS" || arrayStore(state)?.get(tree.name)) return false;
+        if (tree.name === "OPTIND" || tree.name === "PIPESTATUS") return false;
         const monitor = stateMonitor(state);
         if (monitor?.hasOverlay(tree.name) || monitor?.store?.watches.has(tree.name)) return false;
+        if (tree.subscript !== void 0) {
+          if (state.nounset || hasUnpreparedLocal(state, tree.name)) return false;
+          const binding = arrayStore(state)?.get(tree.name);
+          if (!binding) return false;
+          if (binding.associative) {
+            if (/^\$[a-zA-Z_][a-zA-Z_0-9]*$/.test(tree.subscript)) {
+              const sv = tree.subscript.slice(1);
+              return !arrayStore(state)?.get(sv) && !monitor?.hasOverlay(sv);
+            }
+            return /^[a-zA-Z0-9_.\-/:@]+$/.test(tree.subscript);
+          }
+          return /^(?:0|[1-9][0-9]{0,6})$/.test(tree.subscript) || /^\$?[a-zA-Z_][a-zA-Z_0-9]*$/.test(tree.subscript) || /^\s*[a-zA-Z_][a-zA-Z_0-9]*\s*(?:[-+*]\s*(?:0|[1-9][0-9]{0,6})|[/%]\s*[1-9][0-9]{0,6})\s*$/.test(tree.subscript);
+        }
+        if (arrayStore(state)?.get(tree.name)) return false;
         const value2 = state.variables[tree.name] ?? (tree.name === "LINENO" ? String(line ?? 1) : tree.name === "_" ? state.lastArgument ?? "" : tree.name === "FUNCNAME" ? state.functionNames?.[0] : void 0);
         const text3 = value2 === void 0 ? void 0 : this._syncArithRawWriteOnly && this._syncArithTouched?.has(tree.name) ? value2 : monitor?.values.get(tree.name, value2) ?? value2;
         if (text3 === void 0 || text3 === "") return true;
@@ -72231,21 +72322,45 @@ var Runtime = class _Runtime {
     return state.variables[name2];
   }
   async variablePresent(state, name2, io) {
+    const simple = this.tryVariablePresentSync(state, name2);
+    if (simple !== void 0) return simple;
     name2 = this.referenceName(state, name2);
     const bracket = name2.indexOf("[");
     const base = bracket < 0 ? name2 : name2.slice(0, bracket);
-    const validName = base.length > 0 && [...base].every((character, index2) => "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ_".includes(character) || index2 > 0 && "0123456789".includes(character));
-    if (!validName || bracket >= 0 && !name2.endsWith("]")) return false;
     const resolved = this.referenceName(state, base);
     const binding = arrayStore(state)?.get(resolved);
-    if (bracket < 0) return this.variable(state, base) !== void 0;
     const selector = name2.slice(bracket + 1, -1);
-    if (!binding?.associative && (selector === "@" || selector === "*")) return binding ? binding.values.size > 0 : this.variable(state, base) !== void 0;
-    const store = arrayStore(state);
-    if (!store) return selector === "0" && this.variable(state, base) !== void 0;
-    const index = await this.arrayIndex(binding, { decimal: selector, source: selector }, state, io, store.owner);
+    const entries = this.presenceArrayEntries(state, resolved);
+    const store = requireArrays(state);
+    const index = await this.arrayIndex(binding, { decimal: selector, source: selector }, state, io, store.owner, false, entries ? entries.length - 1 : binding?.maximum ?? (this.variable(state, base) === void 0 ? -1 : 0));
+    if (entries) return index !== void 0 && entries[index] !== void 0;
     return index !== void 0 && (binding ? binding.getValue(index) !== void 0 : index === 0 && this.variable(state, base) !== void 0);
   }
+  presenceArrayEntries(state, name2) {
+    if (name2 === "DIRSTACK") return [state.cwd, ...state.directoryStack?.entries ?? []];
+    if (name2 === "FUNCNAME" && state.variables.FUNCNAME === void 0 && !arrayStore(state)?.get(name2)) return state.functionNames ?? [];
+    return void 0;
+  }
+  tryVariablePresentSync(state, name2) {
+    name2 = this.referenceName(state, name2);
+    const bracket = name2.indexOf("[");
+    const base = bracket < 0 ? name2 : name2.slice(0, bracket);
+    if (!isShellIdentifier(base) || bracket >= 0 && !name2.endsWith("]")) return false;
+    const resolved = this.referenceName(state, base);
+    const binding = arrayStore(state)?.get(resolved);
+    const entries = this.presenceArrayEntries(state, resolved);
+    if (bracket < 0) return entries ? entries[0] !== void 0 : this.variable(state, base) !== void 0;
+    const selector = name2.slice(bracket + 1, -1);
+    if (selector === "@" || selector === "*") return entries ? entries.length > 0 : binding ? binding.values.size > 0 : this.variable(state, base) !== void 0;
+    if (binding?.associative) {
+      if (selector.length === 0 || selector.length > 4096 || [...selector].some((character) => "$`\\\"'".includes(character))) return void 0;
+      const key = binding.keys.get(fastStringHexIdentity(selector));
+      return key !== void 0 && binding.getValue(key.index) !== void 0;
+    }
+    if (selector.length === 0 || selector.length > 9 || [...selector].some((character) => !"0123456789".includes(character)) || selector.length > 1 && selector[0] === "0") return void 0;
+    const index = Number(selector);
+    return entries ? entries[index] !== void 0 : binding ? binding.getValue(index) !== void 0 : index === 0 && this.variable(state, base) !== void 0;
+  }
   requireParameter(value2, name2, state, io, line) {
     if (value2 === void 0 && state.nounset) throw new NounsetFailure(`${name2}: unbound variable`, io.diagnosticLine ?? line);
   }
@@ -72653,7 +72768,7 @@ var Runtime = class _Runtime {
     if (rawState.readonlyVariables?.has(name2) || rawState.variableAttributes?.get(name2) || rawState.exported.has(name2) || controlNames.has(name2)) {
       return false;
     }
-    const store = monitor?.store ?? (monitor && !this.budget._arraySession?.hasActiveLedger ? requireArrays(rawState) : void 0);
+    const store = monitor?.store ?? (monitor && (this.budget.limits.maxExpansionBytes === Infinity && this.budget.limits.maxExpansionFields === Infinity) ? requireArrays(rawState) : void 0);
     let current = store?.get(name2);
     if (!monitor || !store || store.watches.has(name2) || monitor.hasOverlay(name2) || current && (current.references !== 1 || associative !== void 0 && current.associative !== associative) || !current && rawState.variables[name2] !== void 0) {
       return false;
@@ -72698,7 +72813,7 @@ var Runtime = class _Runtime {
           let val = "";
           if (entry.value.parts.length > 0) {
             try {
-              val = this.fastValueWord(entry.value, rawState, io, false, false, false, false, void 0, diagnosticLine);
+              val = this.fastValueWord(entry.value, rawState, io, false, false, false, false, entry.index === void 0 ? void 0 : 0, diagnosticLine);
             } catch {
               return false;
             }
@@ -72748,7 +72863,7 @@ var Runtime = class _Runtime {
           let val = "";
           if (entry.value.parts.length > 0) {
             try {
-              val = this.fastValueWord(entry.value, rawState, io, false, false, false, false, void 0, diagnosticLine);
+              val = this.fastValueWord(entry.value, rawState, io, false, false, false, false, entry.index === void 0 ? void 0 : 0, diagnosticLine);
             } catch {
               return false;
             }
@@ -73092,7 +73207,7 @@ var Runtime = class _Runtime {
             if (expandedEntry) continue;
           }
           const index = entry.index ? await this.arrayIndex(targetBinding, entry.index, state, io, operation2, true) : void 0;
-          const fields3 = await this.valueWord(entry.value, state, io, entry.index === void 0);
+          const fields3 = await this.valueWord(entry.value, state, io, entry.index === void 0, false, false, false, void 0, false, entry.index === void 0, entry.index === void 0 ? void 0 : 0);
           if (index !== void 0) {
             const value2 = await join(fields3);
             await insert(index, value2, entry.append);
@@ -75258,13 +75373,13 @@ var Runtime = class _Runtime {
         const r0 = command7.redirects[0];
         const rOp = r0.operator;
         const isDevNull = (r0.descriptor === void 0 || r0.descriptor === 1) && !r0.move && !r0.document && (rOp === ">" || rOp === ">>" || rOp === ">|") && r0.target.plain === "/dev/null";
-        const isReadCmd = w0Plain === "read" || command7.words[1]?.plain === "read" && w0.parts[0]?.kind === "text" && w0.parts[0].value.startsWith("IFS=");
+        const isReadCmd = w0Plain === "read" || w0Plain === "mapfile" || w0Plain === "readarray" || command7.words[1]?.plain === "read" && w0.parts[0]?.kind === "text" && w0.parts[0].value.startsWith("IFS=");
         if (!isDevNull && w0Plain !== "echo" && w0Plain !== "printf" && !(isReadCmd && rOp === "<<<")) {
           pipeline._skipTrySync = true;
           return void 0;
         }
       } else if (wordsLen >= 2) {
-        if (w0Plain !== "echo" && w0Plain !== "printf" && w0Plain !== "[" && w0Plain !== "test" && w0Plain !== "mkdir" && w0Plain !== "rm" && w0Plain !== "local" && w0Plain !== "declare" && w0Plain !== "typeset" && w0Plain !== "return" && w0Plain !== "break" && w0Plain !== "continue" && w0Plain !== "shift" && w0Plain !== "read" && w0Plain !== "eval" && w0Plain !== "unset" && w0Plain !== "export" && w0Plain !== "let" && !(command7.words[1]?.plain === "read" && w0.parts[0]?.kind === "text" && w0.parts[0].value.startsWith("IFS=")) && !(w0Plain !== void 0 && state.functions.has(w0Plain))) {
+        if (w0Plain !== ":" && w0Plain !== "true" && w0Plain !== "false" && w0Plain !== "getopts" && w0Plain !== "echo" && w0Plain !== "printf" && w0Plain !== "[" && w0Plain !== "test" && w0Plain !== "mkdir" && w0Plain !== "rm" && w0Plain !== "local" && w0Plain !== "declare" && w0Plain !== "typeset" && w0Plain !== "return" && w0Plain !== "break" && w0Plain !== "continue" && w0Plain !== "shift" && w0Plain !== "read" && w0Plain !== "eval" && w0Plain !== "unset" && w0Plain !== "export" && w0Plain !== "let" && !(command7.words[1]?.plain === "read" && w0.parts[0]?.kind === "text" && w0.parts[0].value.startsWith("IFS=")) && !(w0Plain !== void 0 && state.functions.has(w0Plain))) {
           return void 0;
         }
       } else if (w0Plain !== "echo" && w0Plain !== "printf" && w0Plain !== ":" && w0Plain !== "true" && w0Plain !== "false" && w0Plain !== "return" && w0Plain !== "break" && w0Plain !== "continue" && w0Plain !== "shift" && w0Plain !== "eval" && !(w0Plain !== void 0 && state.functions.has(w0Plain)) && !(w0.parts[0]?.kind === "text" && w0.parts[0].value.includes("=")) && !getArrayAssignment(w0)) {
@@ -75320,6 +75435,11 @@ var Runtime = class _Runtime {
             if (allValidVars) return true;
           }
         }
+        if ((w0Plain === "mapfile" || w0Plain === "readarray") && (command7.words.length === 2 || command7.words.length === 3) && command7.words[1]?.plain === "-t" && !hasShellFunction(rawState, w0Plain) && !rawState.extensions?.builtins.has(w0Plain)) {
+          const arrVp = command7.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;
+        }
       }
       return false;
     }
@@ -75343,7 +75463,7 @@ var Runtime = class _Runtime {
           const fnBody = rawState.functions.get(w0Plain);
           return fnBody.kind === "group" && fnBody.redirects.length === 0 && this.canSyncScriptCompound(fnBody.body, rawState, depth + 1);
         }
-        const st = stateMonitor(rawState)?.store ?? (stateMonitor(rawState) && !this.budget._arraySession?.hasActiveLedger ? requireArrays(rawState) : void 0);
+        const st = stateMonitor(rawState)?.store ?? (stateMonitor(rawState) && (this.budget.limits.maxExpansionBytes === Infinity && this.budget.limits.maxExpansionFields === Infinity) ? requireArrays(rawState) : void 0);
         const arrayAssign = getArrayAssignment(w0);
         if (arrayAssign) {
           if (!st) return false;
@@ -75368,7 +75488,7 @@ var Runtime = class _Runtime {
           return isNoBraceSyncAssignWord(arrayAssign.value);
         }
         const assignment = this.assignment(w0);
-        return Boolean(assignment && assignment.name !== "OPTIND" && assignment.name !== "PIPESTATUS" && !assignment.name.includes("[") && !rawState.readonlyVariables?.has(assignment.name) && (!st?.get(assignment.name) || !assignment.append && !hasUnpreparedLocal(rawState, assignment.name) && !rawState.exported.has(assignment.name)) && isNoBraceSyncAssignWord(assignment.value));
+        return Boolean(assignment && (assignment.name !== "OPTIND" || !assignment.append && !rawState.variableAttributes?.get("OPTIND")) && assignment.name !== "PIPESTATUS" && !assignment.name.includes("[") && !rawState.readonlyVariables?.has(assignment.name) && (!st?.get(assignment.name) || !assignment.append && !hasUnpreparedLocal(rawState, assignment.name) && !rawState.exported.has(assignment.name)) && isNoBraceSyncAssignWord(assignment.value));
       }
       if (w0Plain !== void 0 && command7.words.length <= 64 && rawState.functions.has(w0Plain) && this.firstInternalDiscovery(w0Plain, rawState, false) === "function" && !hasActiveExtensions(rawState)) {
         const fnBody = rawState.functions.get(w0Plain);
@@ -75463,17 +75583,29 @@ var Runtime = class _Runtime {
           const wArg = command7.words[idx];
           const assignment = !getArrayAssignment(wArg) ? this.assignment(wArg) : void 0;
           if (assignment) {
-            if (assignment.name === "OPTIND" || assignment.name === "PIPESTATUS" || assignment.name.includes("[") || !isNoBraceSyncAssignWord(assignment.value)) {
+            if (assignment.name === "OPTIND" && (assignment.append || rawState.variableAttributes?.get("OPTIND")) || assignment.name === "PIPESTATUS" || assignment.name.includes("[") || !isNoBraceSyncAssignWord(assignment.value)) {
               allValidLocal = false;
               break;
             }
-          } else if (!wArg.plain || !/^[a-zA-Z_][a-zA-Z0-9_]*$/.test(wArg.plain) || wArg.plain === "OPTIND" || wArg.plain === "PIPESTATUS") {
+          } else if (!wArg.plain || !/^[a-zA-Z_][a-zA-Z0-9_]*$/.test(wArg.plain) || wArg.plain === "OPTIND" && rawState.variableAttributes?.get("OPTIND") || wArg.plain === "PIPESTATUS") {
             allValidLocal = false;
             break;
           }
         }
         if (allValidLocal) return true;
       }
+      if ((w0Plain === ":" || w0Plain === "true" || w0Plain === "false") && command7.words.length <= 16 && !hasShellFunction(rawState, w0Plain) && !rawState.extensions?.builtins.has(w0Plain) && command7.words.slice(1).every(isNoBraceSyncWord)) {
+        return true;
+      }
+      if (command7.words.length >= 3 && command7.words.length <= 16 && w0Plain === "getopts" && !hasShellFunction(rawState, "getopts") && !rawState.extensions?.builtins.has("getopts")) {
+        const optVar = command7.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(command7.words[1]) && (command7.words.length === 3 || command7.words.length === 4 && (() => {
+          const ne = command7.words[3].parts.filter((p) => !(p.kind === "text" && p.value === ""));
+          return ne.length === 1 && ne[0].kind === "variable" && ne[0].name === "@" && ne[0].quoted;
+        })() || command7.words.slice(3).every(isNoBraceSyncWord))) {
+          return true;
+        }
+      }
       if (w0Plain === "echo" && !hasShellFunction(rawState, "echo") && !rawState.extensions?.builtins.has("echo")) {
         const w1Plain = command7.words[1]?.plain;
         if (w1Plain === void 0 || !w1Plain.startsWith("-") || w1Plain === "-n" || w1Plain === "-e" || w1Plain === "-ne" || w1Plain === "-en") {
@@ -75522,7 +75654,31 @@ var Runtime = class _Runtime {
       const checkCondNoFile = (e) => {
         if (e.kind === "nonempty") return this.isPureSyncValueWord(e.operand, rawState);
         if (e.kind === "unary") return (e.operator === "-n" || e.operator === "-z" || e.operator === "-v") && this.isPureSyncValueWord(e.operand, rawState);
-        if (e.kind === "binary") return this.isPureSyncValueWord(e.left, rawState) && (e.operator === "==" || e.operator === "=" || e.operator === "!=" ? this.canSyncPatternWordParts(e.right, rawState) : this.isPureSyncValueWord(e.right, rawState));
+        if (e.kind === "binary") {
+          if (e.operator === "=~") {
+            if (!this.isPureSyncValueWord(e.left, rawState) || !this.extractSimpleErePattern(e.right) || rawState.readonlyVariables?.has("BASH_REMATCH") || rawState.exported.has("BASH_REMATCH") || hasUnpreparedLocal(rawState, "BASH_REMATCH")) return false;
+            const mon = stateMonitor(rawState);
+            if (!mon || (this.budget.limits.maxExpansionBytes !== Infinity || this.budget.limits.maxExpansionFields !== Infinity) || mon.hasOverlay("BASH_REMATCH")) return false;
+            const st = mon.store ?? requireArrays(rawState);
+            if (st.watches.has("BASH_REMATCH")) return false;
+            let rem = st.get("BASH_REMATCH");
+            if (!rem) {
+              if (rawState.variables.BASH_REMATCH !== void 0) return false;
+              const created = IndexedBinding.create(st.owner, false);
+              const prepared = st.prepareExistingName("BASH_REMATCH", 12, st.owner, this.signal);
+              if (!prepared) {
+                void created.release();
+                return false;
+              }
+              const initTickets = st.owner.charge({ generation: true, version: true, epoch: true, work: 8 });
+              st.publish("BASH_REMATCH", created, initTickets, prepared, false, st.owner);
+              mon.epoch = initTickets.epoch;
+              rem = created;
+            }
+            return !rem.associative && rem.references === 1;
+          }
+          return this.isPureSyncValueWord(e.left, rawState) && (e.operator === "==" || e.operator === "=" || e.operator === "!=" ? this.canSyncPatternWordParts(e.right, rawState) : this.isPureSyncValueWord(e.right, rawState));
+        }
         if (e.kind === "not") return checkCondNoFile(e.operand);
         if (e.kind === "and" || e.kind === "or") return checkCondNoFile(e.left) && checkCondNoFile(e.right);
         return false;
@@ -75663,6 +75819,17 @@ var Runtime = class _Runtime {
                 scalarVars.add(target);
                 nonIntScalarVars.add(target);
               }
+            } else if (wp0 === "mapfile" || wp0 === "readarray") {
+              arrayVars.add(c.words[2]?.plain ?? "MAPFILE");
+            } else if (wp0 === "getopts") {
+              const ov = c.words[2]?.plain;
+              if (ov && isShellIdentifier(ov)) {
+                scalarVars.add(ov);
+                nonIntScalarVars.add(ov);
+              }
+              scalarVars.add("OPTIND");
+              scalarVars.add("OPTARG");
+              nonIntScalarVars.add("OPTARG");
             } else if (wp0 === "read" || c.words[1]?.plain === "read") {
               for (let k = 1; k < c.words.length; k++) {
                 const vp = c.words[k]?.plain;
@@ -75800,31 +75967,8 @@ var Runtime = class _Runtime {
       if (expr.operator === "-n") return val.length > 0 ? 0 : 1;
       if (expr.operator === "-z") return val.length === 0 ? 0 : 1;
       if (expr.operator === "-v") {
-        const bracket = val.indexOf("[");
-        if (bracket < 0) {
-          if (!isShellIdentifier(val)) return 1;
-          const b2 = store?.get(val);
-          if (b2) return b2.get(b2.associative ? b2.keys.get("30")?.index ?? -1 : 0) !== void 0 ? 0 : 1;
-          return this.variable(rawState, val) !== void 0 ? 0 : 1;
-        }
-        if (!val.endsWith("]")) return 1;
-        const base = val.slice(0, bracket);
-        if (!isShellIdentifier(base)) return 1;
-        const sub = val.slice(bracket + 1, -1);
-        const b = store?.get(base);
-        if (!b?.associative && (sub === "@" || sub === "*")) {
-          return (b ? b.values.size > 0 : this.variable(rawState, base) !== void 0) ? 0 : 1;
-        }
-        if (b?.associative) {
-          if (sub.length === 0 || sub.length > 4096 || /[$\x60\\"']/.test(sub)) return void 0;
-          const ek = b.keys.get(fastStringHexIdentity(sub));
-          return ek !== void 0 && b.getValue(ek.index) !== void 0 ? 0 : 1;
-        }
-        if (/^(?:0|[1-9][0-9]{0,8})$/.test(sub)) {
-          const idx = Number(sub);
-          return (b ? b.getValue(idx) !== void 0 : idx === 0 && this.variable(rawState, base) !== void 0) ? 0 : 1;
-        }
-        return void 0;
+        const present = this.tryVariablePresentSync(rawState, val);
+        return present === void 0 ? void 0 : present ? 0 : 1;
       }
       if (syncConditionalFileUnaryOps.has(expr.operator)) {
         const fileRes = this.tryEvalFastMemoryFileUnary(expr.operator, val, rawState);
@@ -75993,7 +76137,7 @@ var Runtime = class _Runtime {
     let existing = store?.get("PIPESTATUS");
     if (store && !existing) {
       const initTarget = pipelineStatusTarget(rawState);
-      if (!this.budget._arraySession?.hasActiveLedger && (initTarget === "indexed" || initTarget === "absent") && !store.watches.has("PIPESTATUS") && !monitor.hasOverlay("PIPESTATUS") && !store.owner.ledger.checkpoint(this.signal, 0)) {
+      if (this.budget.limits.maxExpansionBytes === Infinity && this.budget.limits.maxExpansionFields === Infinity && (initTarget === "indexed" || initTarget === "absent") && !store.watches.has("PIPESTATUS") && !monitor.hasOverlay("PIPESTATUS") && !store.owner.ledger.checkpoint(this.signal, 0)) {
         try {
           if (!publishPipelineStatus(rawState, monitor.lazyPipeStatus ?? singleStatusZero, this.signal, scope)) {
             existing = store.get("PIPESTATUS");
@@ -76236,7 +76380,13 @@ var Runtime = class _Runtime {
         }
         const dynProg = prepareArithmetic(fastSrc, this.budget.parsing);
         if (!dynProg.error && isSafeSmiProgram(dynProg) && this.canSyncArithmeticWithoutFault(dynProg.tree, rawState, diagnosticLine)) {
-          const nonZero = this.syncShellArithmeticNonZero(dynProg, rawState, diagnosticLine);
+          let nonZero;
+          try {
+            nonZero = this.syncShellArithmeticNonZero(dynProg, rawState, diagnosticLine);
+          } catch (err) {
+            if (err instanceof ArrayFailure) return void 0;
+            throw err;
+          }
           if (rawState.extensions && !rawState.extensions.eventDepth) publishCommandSpelling(rawState, commandSpelling(command7));
           const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
           this.budget.tick();
@@ -76247,7 +76397,13 @@ var Runtime = class _Runtime {
         }
       }
       if (!expr.error && isSafeSmiProgram(expr) && this.canSyncArithmeticWithoutFault(expr.tree, rawState, diagnosticLine)) {
-        const nonZero = this.syncShellArithmeticNonZero(expr, rawState, diagnosticLine);
+        let nonZero;
+        try {
+          nonZero = this.syncShellArithmeticNonZero(expr, rawState, diagnosticLine);
+        } catch (err) {
+          if (err instanceof ArrayFailure) return void 0;
+          throw err;
+        }
         if (rawState.extensions && !rawState.extensions.eventDepth) publishCommandSpelling(rawState, commandSpelling(command7));
         const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
         this.budget.tick();
@@ -76352,6 +76508,12 @@ var Runtime = class _Runtime {
       if (command7.kind === "while" || command7.kind === "until") {
         this.budget.tick();
         let lastStatus = 0;
+        const enableBatchRawWrite = !this._syncArithRawWriteOnly && !hasActiveExtensions(rawState) && !hasActiveVariableAttributes(rawState) && !rawState.readonlyVariables?.size && !rawState.allexport;
+        const batchTouched = enableBatchRawWrite ? /* @__PURE__ */ new Set() : void 0;
+        if (enableBatchRawWrite) {
+          this._syncArithRawWriteOnly = true;
+          this._syncArithTouched = batchTouched;
+        }
         rawState.loopDepth++;
         this._syncReturnDepth++;
         try {
@@ -76398,6 +76560,15 @@ var Runtime = class _Runtime {
         } finally {
           this._syncReturnDepth--;
           rawState.loopDepth--;
+          if (enableBatchRawWrite && batchTouched) {
+            this._syncArithRawWriteOnly = false;
+            this._syncArithTouched = void 0;
+            for (const vName of batchTouched) {
+              const vVal = rawState.variables[vName];
+              if (typeof vVal === "string") monitor.publishStringVariable(vName, vVal);
+              else if (vVal === void 0) delete monitor.proxy.variables[vName];
+            }
+          }
         }
         rawState.status = lastStatus;
         return lastStatus;
@@ -76408,11 +76579,17 @@ var Runtime = class _Runtime {
           return void 0;
         }
         this.budget.tick();
-        if (e0) this.syncShellArithmeticNonZero(e0, rawState, diagnosticLine);
+        const enableBatchRawWrite = !this._syncArithRawWriteOnly && !hasActiveExtensions(rawState) && !hasActiveVariableAttributes(rawState) && !rawState.readonlyVariables?.size && !rawState.allexport;
+        const batchTouched = enableBatchRawWrite ? /* @__PURE__ */ new Set() : void 0;
+        if (enableBatchRawWrite) {
+          this._syncArithRawWriteOnly = true;
+          this._syncArithTouched = batchTouched;
+        }
         let lastStatus = 0;
         rawState.loopDepth++;
         this._syncReturnDepth++;
         try {
+          if (e0) this.syncShellArithmeticNonZero(e0, rawState, diagnosticLine);
           let iter = 0;
           while (true) {
             if (++iter > 4096) return void 0;
@@ -76447,6 +76624,15 @@ var Runtime = class _Runtime {
         } finally {
           this._syncReturnDepth--;
           rawState.loopDepth--;
+          if (enableBatchRawWrite && batchTouched) {
+            this._syncArithRawWriteOnly = false;
+            this._syncArithTouched = void 0;
+            for (const vName of batchTouched) {
+              const vVal = rawState.variables[vName];
+              if (typeof vVal === "string") monitor.publishStringVariable(vName, vVal);
+              else if (vVal === void 0) delete monitor.proxy.variables[vName];
+            }
+          }
         }
         rawState.status = lastStatus;
         return lastStatus;
@@ -76505,6 +76691,12 @@ var Runtime = class _Runtime {
         if (!items || items.length > 4096) return void 0;
         this.budget.tick();
         let lastStatus = 0;
+        const enableBatchRawWrite = !this._syncArithRawWriteOnly && !hasActiveExtensions(rawState) && !hasActiveVariableAttributes(rawState) && !rawState.readonlyVariables?.size && !rawState.allexport;
+        const batchTouched = enableBatchRawWrite ? /* @__PURE__ */ new Set() : void 0;
+        if (enableBatchRawWrite) {
+          this._syncArithRawWriteOnly = true;
+          this._syncArithTouched = batchTouched;
+        }
         rawState.loopDepth++;
         this._syncReturnDepth++;
         try {
@@ -76514,7 +76706,10 @@ var Runtime = class _Runtime {
               (0, yield_exports.runYieldCheckpoint)(this.signal);
             }
             this.budget.loop();
-            monitor.publishStringVariable(command7.name, items[idx]);
+            if (this._syncArithRawWriteOnly && this._syncArithTouched) {
+              rawState.variables[command7.name] = items[idx];
+              this._syncArithTouched.add(command7.name);
+            } else monitor.publishStringVariable(command7.name, items[idx]);
             if (rawState.allexport) rawState.exported.add(command7.name);
             const bodyRes = this.trySyncScript(command7.body, state, io, ignored);
             if (typeof bodyRes !== "number") return void 0;
@@ -76535,6 +76730,15 @@ var Runtime = class _Runtime {
         } finally {
           this._syncReturnDepth--;
           rawState.loopDepth--;
+          if (enableBatchRawWrite && batchTouched) {
+            this._syncArithRawWriteOnly = false;
+            this._syncArithTouched = void 0;
+            for (const vName of batchTouched) {
+              const vVal = rawState.variables[vName];
+              if (typeof vVal === "string") monitor.publishStringVariable(vName, vVal);
+              else if (vVal === void 0) delete monitor.proxy.variables[vName];
+            }
+          }
         }
         rawState.status = lastStatus;
         return lastStatus;
@@ -76849,7 +77053,7 @@ var Runtime = class _Runtime {
       if (assignment) {
         const hasSubPart = assignment.value.parts.some((part) => part.kind === "substitution");
         const existingArrAssign = store?.get(assignment.name);
-        if (assignment.name === "OPTIND" || assignment.name === "PIPESTATUS" || assignment.name.includes("[") || hasSubPart && !this.isPureSyncValueWord(assignment.value, rawState) || rawState.readonlyVariables?.has(assignment.name) || existingArrAssign && (assignment.append || hasUnpreparedLocal(rawState, assignment.name) || rawState.exported.has(assignment.name))) {
+        if (assignment.name === "OPTIND" && (assignment.append || rawState.variableAttributes?.get("OPTIND")) || assignment.name === "PIPESTATUS" || assignment.name.includes("[") || hasSubPart && !this.isPureSyncValueWord(assignment.value, rawState) || rawState.readonlyVariables?.has(assignment.name) || existingArrAssign && (assignment.append || hasUnpreparedLocal(rawState, assignment.name) || rawState.exported.has(assignment.name))) {
           return void 0;
         }
         if (rawState.extensions && !rawState.extensions.eventDepth) publishCommandSpelling(rawState, commandSpelling(command7));
@@ -76860,6 +77064,11 @@ var Runtime = class _Runtime {
           return void 0;
         }
         if (typeof fastAssigned !== "string") return void 0;
+        if (assignment.name === "OPTIND") {
+          const trimmedOptind = fastAssigned.trim();
+          if (!/^[0-9]{1,6}$/.test(trimmedOptind)) return void 0;
+          fastAssigned = String(Number(trimmedOptind));
+        }
         if (existingArrAssign) {
           if (!this.tryFastArraySubscriptWriteSync(rawState, assignment.name, "0", fastAssigned)) return void 0;
           const restEpoch2 = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
@@ -76904,6 +77113,10 @@ var Runtime = class _Runtime {
           rawState.variables[assignment.name] = finalAssigned;
           this._syncArithTouched.add(assignment.name);
         } else monitor.publishStringVariable(assignment.name, finalAssigned);
+        if (assignment.name === "OPTIND") {
+          rawState.variables.OPTIND = finalAssigned;
+          this.syncGetopts(rawState);
+        }
         if (rawState.allexport) monitor.proxy.exported.add(assignment.name);
         if (io.assignmentDiagnosticContext) io.assignmentDiagnosticContext.name = void 0;
         if (!existing) {
@@ -76972,6 +77185,119 @@ var Runtime = class _Runtime {
           }
         }
       }
+      if (command7.words.length >= 2 && command7.words.length <= 16 && (w0Plain === ":" || w0Plain === "true" || w0Plain === "false") && command7.redirects.length === 0 && !hasShellFunction(rawState, w0Plain) && !rawState.extensions?.builtins.has(w0Plain)) {
+        const rawStatus = w0Plain === "false" ? 1 : 0;
+        const statusChar = rawStatus === 0 ? "0" : "1";
+        if (!canMutatePipeStatus && elem0.text.shellValue !== statusChar) return void 0;
+        const finalStatus = pipeline.negate ? Number(rawStatus === 0) : rawStatus;
+        if (finalStatus !== 0 && !ignored && rawState.errexit) return void 0;
+        let lastArg = w0Plain;
+        let argsOk = true;
+        try {
+          for (let i = 1; i < command7.words.length; i++) {
+            const v = this.fastValueWord(command7.words[i], rawState, io, true, false, false, true, void 0, diagnosticLine);
+            if (typeof v !== "string") {
+              argsOk = false;
+              break;
+            }
+            lastArg = v;
+          }
+        } catch {
+          argsOk = false;
+        }
+        if (argsOk) {
+          if (rawState.extensions && !rawState.extensions.eventDepth) publishCommandSpelling(rawState, commandSpelling(command7));
+          const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
+          this.budget.tick();
+          rawState.substitutionStatus = 0;
+          if (rawState.variables._ !== void 0) delete rawState.variables._;
+          rawState.lastArgument = lastArg;
+          if (io.assignmentDiagnosticContext) io.assignmentDiagnosticContext.name = void 0;
+          return this.finishSyncPipeStatus(rawState, monitor, monitor.store, monitor.store?.get("PIPESTATUS"), elem0, scope, finalStatus, restEpoch);
+        }
+      }
+      if (command7.words.length >= 3 && command7.words.length <= 16 && w0Plain === "getopts" && command7.redirects.length === 0 && !hasShellFunction(rawState, "getopts") && !rawState.extensions?.builtins.has("getopts")) {
+        const optVar = command7.words[2]?.plain;
+        if (optVar && isShellIdentifier(optVar) && optVar !== "OPTIND" && optVar !== "PIPESTATUS" && optVar !== "_" && !rawState.readonlyVariables?.has(optVar) && !rawState.readonlyVariables?.has("OPTIND") && !rawState.readonlyVariables?.has("OPTARG") && !rawState.variableAttributes?.get(optVar) && !rawState.variableAttributes?.get("OPTIND") && !rawState.variableAttributes?.get("OPTARG") && !store?.get(optVar) && !store?.get("OPTIND") && !store?.get("OPTARG") && !monitor.hasOverlay(optVar)) {
+          let optstring;
+          let scanArgs;
+          let lastArg = optVar;
+          try {
+            optstring = command7.words[1].plain ?? this.fastValueWord(command7.words[1], rawState, io, true, false, false, true, void 0, diagnosticLine);
+            if (typeof optstring === "string") {
+              if (command7.words.length === 3) {
+                scanArgs = this._fastSubPositional ?? rawState.positional;
+              } else if (command7.words.length === 4 && (() => {
+                const ne = command7.words[3].parts.filter((p) => !(p.kind === "text" && p.value === ""));
+                return ne.length === 1 && ne[0].kind === "variable" && ne[0].name === "@" && ne[0].quoted;
+              })()) {
+                scanArgs = this._fastSubPositional ?? rawState.positional;
+                if (scanArgs.length > 0) lastArg = scanArgs[scanArgs.length - 1];
+              } else {
+                const customArgs = [];
+                let customOk = true;
+                for (let i = 3; i < command7.words.length; i++) {
+                  const v = this.fastValueWord(command7.words[i], rawState, io, true, false, false, true, void 0, diagnosticLine);
+                  if (typeof v !== "string") {
+                    customOk = false;
+                    break;
+                  }
+                  customArgs.push(v);
+                  lastArg = v;
+                }
+                if (customOk) scanArgs = customArgs;
+              }
+            }
+          } catch {
+            scanArgs = void 0;
+          }
+          if (typeof optstring === "string" && scanArgs !== void 0) {
+            rawState.getopts ??= cloneGetoptsBinding(rawState);
+            const res = scanGetoptsSync(rawState.getopts.cursor, optstring, scanArgs);
+            if (res !== void 0) {
+              const rawStatus = res.status;
+              const statusChar = rawStatus === 0 ? "0" : "1";
+              if (canMutatePipeStatus || elem0.text.shellValue === statusChar) {
+                const finalStatus = pipeline.negate ? Number(rawStatus === 0) : rawStatus;
+                if (finalStatus === 0 || ignored || !rawState.errexit) {
+                  if (rawState.extensions && !rawState.extensions.eventDepth) publishCommandSpelling(rawState, commandSpelling(command7));
+                  const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
+                  this.budget.tick();
+                  rawState.substitutionStatus = 0;
+                  if (rawState.variables._ !== void 0) delete rawState.variables._;
+                  rawState.lastArgument = lastArg;
+                  rawState.getopts.cursor = res.state;
+                  const optindStr = String(res.optind);
+                  if (this._syncArithRawWriteOnly && this._syncArithTouched) {
+                    rawState.variables.OPTIND = optindStr;
+                    this._syncArithTouched.add("OPTIND");
+                  } else monitor.publishStringVariable("OPTIND", optindStr);
+                  if (rawState.allexport) monitor.proxy.exported.add("OPTIND");
+                  if (res.argument.kind === "set") {
+                    if (this._syncArithRawWriteOnly && this._syncArithTouched) {
+                      rawState.variables.OPTARG = res.argument.value;
+                      this._syncArithTouched.add("OPTARG");
+                    } else monitor.publishStringVariable("OPTARG", res.argument.value);
+                    if (rawState.allexport) monitor.proxy.exported.add("OPTARG");
+                  } else {
+                    delete rawState.variables.OPTARG;
+                    rawState.exported.delete("OPTARG");
+                    if (this._syncArithRawWriteOnly && this._syncArithTouched) this._syncArithTouched.add("OPTARG");
+                    else monitor.values.invalidate("OPTARG");
+                  }
+                  if (this._syncArithRawWriteOnly && this._syncArithTouched) {
+                    rawState.variables[optVar] = res.option;
+                    this._syncArithTouched.add(optVar);
+                  } else monitor.publishStringVariable(optVar, res.option);
+                  if (rawState.allexport) monitor.proxy.exported.add(optVar);
+                  if (io.assignmentDiagnosticContext) io.assignmentDiagnosticContext.name = void 0;
+                  return this.finishSyncPipeStatus(rawState, monitor, monitor.store, monitor.store?.get("PIPESTATUS"), elem0, scope, finalStatus, restEpoch);
+                }
+              }
+            }
+          }
+        }
+      }
       if (command7.words.length === 2 && w0Plain === "shift" && command7.redirects.length === 0 && canMutatePipeStatus && !pipeline.negate && !hasShellFunction(rawState, "shift") && !rawState.extensions?.builtins.has("shift")) {
         let argVal;
         try {
@@ -77101,6 +77427,81 @@ var Runtime = class _Runtime {
       const w0 = command7.words[0];
       const w0Plain = w0.plain;
       const isHereStringRead = command7.words.length >= 2 && command7.redirects.length === 1 && command7.redirects[0].operator === "<<<" && !command7.redirects[0].move && !command7.redirects[0].document && (command7.redirects[0].descriptor === void 0 || command7.redirects[0].descriptor === 0);
+      if ((w0Plain === "mapfile" || w0Plain === "readarray") && isHereStringRead && (command7.words.length === 2 || command7.words.length === 3) && command7.words[1]?.plain === "-t" && canMutatePipeStatus && !pipeline.negate && !rawState.allexport && !hasShellFunction(rawState, w0Plain) && !rawState.extensions?.builtins.has(w0Plain)) {
+        const arrayTarget = command7.words[2]?.plain ?? "MAPFILE";
+        if (!hasUnpreparedLocal(rawState, arrayTarget) && isShellIdentifier(arrayTarget) && !rawState.readonlyVariables?.has(arrayTarget) && !rawState.exported.has(arrayTarget) && !rawState.variableAttributes?.get(arrayTarget) && !controlNames.has(arrayTarget)) {
+          let hv;
+          try {
+            hv = this.fastValueWord(command7.redirects[0].target, rawState, io, false, false, false, false, void 0, diagnosticLine);
+          } catch {
+            hv = void 0;
+          }
+          if (typeof hv === "string" && !hv.includes("\0") && hv.length + 1 < this.budget.limits.maxExpansionBytes && hv.length + 1 <= this.budget.limits.maxInputBytes) {
+            const arrStore = monitor.store ?? requireArrays(rawState);
+            let existingArrayBinding = arrStore.get(arrayTarget);
+            if (!existingArrayBinding && rawState.variables[arrayTarget] === void 0 && !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 prepared = arrStore.prepareExistingName(arrayTarget, shellValueByteLength(arrayTarget), 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 && !arrStore.watches.has(arrayTarget) && !monitor.hasOverlay(arrayTarget)) {
+              const lines3 = hv.split("\n");
+              const fieldLen = lines3.length;
+              if (fieldLen <= 256) {
+                if (rawState.extensions && !rawState.extensions.eventDepth) publishCommandSpelling(rawState, commandSpelling(command7));
+                const tickets = arrStore.owner.charge({ generation: true, version: true, epoch: true, work: 8 + fieldLen * 4 });
+                if (existingArrayBinding.values.size !== fieldLen || existingArrayBinding.maximum !== fieldLen - 1) {
+                  for (const k of [...existingArrayBinding.values.keys()]) {
+                    if (k >= fieldLen) existingArrayBinding.remove(k);
+                  }
+                  existingArrayBinding.maximum = fieldLen - 1;
+                }
+                for (let idx = 0; idx < fieldLen; idx++) {
+                  const val = lines3[idx];
+                  const byteLen = shellValueByteLength(val);
+                  const slot = existingArrayBinding.values.get(idx);
+                  if (slot && slot.text.references === 1 && slot.text.bytes === byteLen) {
+                    existingArrayBinding.owner.chargeWork(byteLen);
+                    slot.text.shellValue = val;
+                  } else {
+                    existingArrayBinding.owner.chargeWork(byteLen);
+                    const token = new OwnedText(val, byteLen, existingArrayBinding.owner.reserve({ payload: byteLen, metadata: 32, work: 4 }));
+                    existingArrayBinding.insert(idx, token);
+                  }
+                }
+                delete rawState.variables[arrayTarget];
+                monitor.values.invalidate(arrayTarget);
+                monitor.epoch = tickets.epoch;
+                arrStore.revise(arrayTarget, existingArrayBinding, tickets);
+                const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
+                this.budget.tick();
+                rawState.substitutionStatus = 0;
+                if (rawState.variables._ !== void 0) delete rawState.variables._;
+                rawState.lastArgument = command7.words[command7.words.length - 1].plain ?? arrayTarget;
+                if (io.assignmentDiagnosticContext) io.assignmentDiagnosticContext.name = void 0;
+                return this.finishSyncPipeStatus(rawState, monitor, monitor.store, monitor.store?.get("PIPESTATUS"), elem0, scope, 0, restEpoch);
+              }
+            }
+          }
+        }
+      }
       if ((w0Plain === "read" || command7.words[1]?.plain === "read" && w0.parts[0]?.kind === "text" && w0.parts[0].value.startsWith("IFS=")) && canMutatePipeStatus && !pipeline.negate && !rawState.allexport && !hasShellFunction(rawState, "read") && !rawState.extensions?.builtins.has("read") && (command7.redirects.length === 0 ? io.stdin instanceof ShellInput : isHereStringRead)) {
         let ifs;
         let readWordIdx = 1;
@@ -77152,7 +77553,7 @@ var Runtime = class _Runtime {
                       if (nextW.plain !== void 0) delimStr = nextW.plain;
                       else {
                         try {
-                          const fv = this.fastValueWord(nextW, rawState, io, false, false, false, false, 0, diagnosticLine);
+                          const fv = this.fastValueWord(nextW, rawState, io, true, false, false, false, void 0, diagnosticLine);
                           if (typeof fv === "string") delimStr = fv;
                         } catch {
                           delimStr = void 0;
@@ -77189,14 +77590,19 @@ var Runtime = class _Runtime {
               const varCount = command7.words.length - readWordIdx;
               let existingArrayBinding;
               if (arrayTarget !== void 0) {
-                if (hasUnpreparedLocals(rawState)) return void 0;
+                if (hasUnpreparedLocal(rawState, arrayTarget)) return void 0;
                 if (varCount !== 0 || !isShellIdentifier(arrayTarget) || rawState.readonlyVariables?.has(arrayTarget) || rawState.exported.has(arrayTarget) || rawState.variableAttributes?.get(arrayTarget) || controlNames.has(arrayTarget)) {
                   simpleRead = false;
                 } else {
                   const arrStore = monitor.store ?? requireArrays(rawState);
                   existingArrayBinding = arrStore.get(arrayTarget);
                   if (!existingArrayBinding && rawState.variables[arrayTarget] === void 0 && !arrStore.watches.has(arrayTarget) && !monitor.hasOverlay(arrayTarget)) {
-                    try {
+                    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);
@@ -77708,7 +78114,7 @@ var Runtime = class _Runtime {
           const wArg = command7.words[idx];
           const assignment = !getArrayAssignment(wArg) ? this.assignment(wArg) : void 0;
           if (assignment) {
-            if (assignment.name === "OPTIND" || assignment.name === "PIPESTATUS" || assignment.name.includes("[") || rawState.readonlyVariables?.has(assignment.name) || store?.get(assignment.name)) {
+            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)) {
               allValidLocal = false;
               break;
             }
@@ -77722,8 +78128,16 @@ var Runtime = class _Runtime {
               allValidLocal = false;
               break;
             }
+            if (assignment.name === "OPTIND") {
+              const trimmedOptind = fastAssigned.trim();
+              if (!/^[0-9]{1,6}$/.test(trimmedOptind)) {
+                allValidLocal = false;
+                break;
+              }
+              fastAssigned = String(Number(trimmedOptind));
+            }
             parsedLocals.push({ name: assignment.name, val: fastAssigned, append: assignment.append, lastArg: `${assignment.name}=${fastAssigned}` });
-          } else if (wArg.plain && /^[a-zA-Z_][a-zA-Z0-9_]*$/.test(wArg.plain) && wArg.plain !== "OPTIND" && wArg.plain !== "PIPESTATUS" && !rawState.readonlyVariables?.has(wArg.plain) && !store?.get(wArg.plain)) {
+          } else if (wArg.plain && /^[a-zA-Z_][a-zA-Z0-9_]*$/.test(wArg.plain) && (wArg.plain !== "OPTIND" || !rawState.variableAttributes?.get("OPTIND")) && wArg.plain !== "PIPESTATUS" && !rawState.readonlyVariables?.has(wArg.plain) && !store?.get(wArg.plain)) {
             parsedLocals.push({ name: wArg.plain, val: void 0, append: false, lastArg: wArg.plain });
           } else {
             allValidLocal = false;
@@ -77731,6 +78145,7 @@ var Runtime = class _Runtime {
           }
         }
         if (allValidLocal && parsedLocals.length > 0) {
+          if (rawState.locals.length === 0 && parsedLocals.some((item) => item.val === void 0 && !rawState.variableAttributes?.has(item.name))) return void 0;
           const locals = rawState.locals.length > 0 ? rawState.locals[rawState.locals.length - 1] : void 0;
           const restEpoch = monitor.chargeInternal(syncRestorationCharge, syncRestorationTickets).epoch;
           this.budget.tick();
@@ -77742,7 +78157,7 @@ var Runtime = class _Runtime {
             if (locals && isNewLocal) {
               if (this._syncArithRawWriteOnly && this._syncArithTouched) {
                 const curVal = this._syncArithTouched.has(item.name) ? rawState.variables[item.name] : rawState.variables[item.name] === void 0 ? void 0 : monitor.values.get(item.name, rawState.variables[item.name]) ?? rawState.variables[item.name];
-                locals.set(item.name, { attributes: void 0, value: typeof curVal === "string" ? curVal : void 0, exported: false, readOnly: false });
+                locals.set(item.name, { attributes: void 0, value: typeof curVal === "string" ? curVal : void 0, exported: false, readOnly: false, ...item.name === "OPTIND" ? { getopts: cloneGetoptsBinding(rawState) } : {} });
               } else locals.set(item.name, saveVariable(state, item.name));
               delete rawState.variables[item.name];
               if (this._syncArithRawWriteOnly && this._syncArithTouched) this._syncArithTouched.add(item.name);
@@ -77755,16 +78170,22 @@ var Runtime = class _Runtime {
                 rawState.variables[item.name] = finalVal;
                 this._syncArithTouched.add(item.name);
               } else monitor.publishStringVariable(item.name, finalVal);
+              if (item.name === "OPTIND") {
+                rawState.variables.OPTIND = finalVal;
+                this.syncGetopts(rawState);
+              }
               if (rawState.allexport) monitor.proxy.exported.add(item.name);
               rawState.lastArgument = `${item.name}=${finalVal}`;
-              if (!rawState.variableAttributes?.has(item.name)) {
-                rawState.variableAttributes ??= /* @__PURE__ */ new Map();
-                rawState.variableAttributes.set(item.name, "");
-              }
+              if (isNewLocal && rawState.variableAttributes?.has(item.name)) rawState.variableAttributes.delete(item.name);
             } else {
-              if (!rawState.variableAttributes?.has(item.name)) {
-                rawState.variableAttributes ??= /* @__PURE__ */ new Map();
-                rawState.variableAttributes.set(item.name, "");
+              if (item.name === "OPTIND") this.syncGetopts(rawState);
+              if (!locals) {
+                if (!rawState.variableAttributes?.has(item.name)) {
+                  rawState.variableAttributes ??= /* @__PURE__ */ new Map();
+                  rawState.variableAttributes.set(item.name, "");
+                }
+              } else if (isNewLocal && rawState.variableAttributes?.has(item.name)) {
+                rawState.variableAttributes.delete(item.name);
               }
               rawState.lastArgument = item.lastArg;
             }
@@ -77941,9 +78362,13 @@ var Runtime = class _Runtime {
                 rawState.locals.pop();
                 rawState.functionNames?.shift();
                 for (const [k, previous] of locals) {
-                  if (this._syncArithRawWriteOnly && this._syncArithTouched && !syncLocalArrayVariables.has(previous) && !previous.heldValue && !previous.attributes && !previous.exported && !previous.readOnly && k !== "OPTIND") {
+                  if (this._syncArithRawWriteOnly && this._syncArithTouched && !syncLocalArrayVariables.has(previous) && !previous.heldValue && !previous.attributes && !previous.exported && !previous.readOnly) {
                     if (previous.value === void 0) delete rawState.variables[k];
                     else rawState.variables[k] = (0, value_exports.shellValueText)(previous.value);
+                    if (k === "OPTIND" && previous.getopts) {
+                      rawState.getopts = { integer: previous.getopts.integer, cursor: cloneGetoptsState(previous.getopts.cursor) };
+                    }
+                    rawState.variableAttributes?.delete(k);
                     this._syncArithTouched.add(k);
                   } else tryRestoreVariableSync(state, k, previous);
                 }
@@ -78397,8 +78822,9 @@ var Runtime = class _Runtime {
             }
           } else if (part.operator === "^" || part.operator === "^^" || part.operator === "," || part.operator === ",,") {
             if (part.alternate && part.alternate.parts.length > 0) return false;
-          } else if (part.operator === "-" || part.operator === ":-" || part.operator === "+" || part.operator === ":+") {
+          } else if (part.operator === "-" || part.operator === ":-" || part.operator === "+" || part.operator === ":+" || part.operator === "=" || part.operator === ":=") {
             if (!part.alternate || !part.alternate.parts.every((p) => p.kind === "text" || p.kind === "arithmetic" || p.kind === "variable" && !p.operator && !p.substring)) return false;
+            if ((part.operator === "=" || part.operator === ":=") && (!isShellIdentifier(part.name) || part.name === "OPTIND" || part.name === "PIPESTATUS" || part.name === "_" || rawState.readonlyVariables?.has(part.name) || rawState.variableAttributes?.get(part.name) || stateMonitor(rawState)?.store?.get(part.name))) return false;
           } else if (part.operator === "#" || part.operator === "##" || part.operator === "%" || part.operator === "%%") {
             if (!part.alternate || part.alternate.parts.length === 0) return false;
             const q0 = part.alternate.parts[0].quoted;
@@ -78427,7 +78853,15 @@ var Runtime = class _Runtime {
         if (!collectPureReadOnlySmiNames(part.expression, names)) {
           if (rawState.nounset) return false;
           const em = SIMPLE_EXPANDED_ARITH_RE.exec(part.source);
-          if (!em || (em[2] === "/" || em[2] === "%") && !(em[3] && /^[1-9][0-9]*$/.test(em[3]))) return false;
+          if (!em || (em[2] === "/" || em[2] === "%") && !(em[3] && /^[1-9][0-9]*$/.test(em[3]))) {
+            if (part.source.includes("<<") || part.source.includes(">>") || part.source.includes("**") || /[/%](?!\s*[1-9][0-9]*\b)/.test(part.source)) return false;
+            try {
+              const expW = parseArithmeticExpansion(part.source, this.budget.parsing, false, 0, void 0, rawState.extensions?.syntax);
+              if (!this.isPureSyncValueWord(expW, rawState)) return false;
+            } catch {
+              return false;
+            }
+          }
         }
         continue;
       }
@@ -81626,7 +82060,7 @@ ${s1}
         overlayOpen = true;
       }
       if (inlineInput || (state.profile === "sh" || !words.length) && assignments2.some((assignment) => state.readonlyVariables?.has(assignment.name))) await assign();
-      if (inlineInput && functionCommand && previous?.size) {
+      if (inlineInput && (functionCommand || words[0] === "read" && !state.extensions?.builtins.has("read")) && previous?.size) {
         if (stateMonitor(state)?.lazyPipeStatus !== void 0) stateMonitor(state).activate(true);
         const redirectState = tryCloneStateSync(state) ?? await cloneState(state, this.signal);
         const variables = redirectState.variables;
@@ -85554,7 +85988,7 @@ ${prefix3} line ${offset + line}: \`${source2.split("\n")[line - 1] ?? ""}'
       if (selector2?.kind === "members" || part.name === "@" || part.name === "*") {
         const members = selector2 ? await this.arrayMembers(part.name, state, io, part.keys) : this.positionalValues(state);
         const ifs = state.variables.IFS ?? " ";
-        const separator = selector2?.kind === "members" && !split3 && (selector2.separator === "@" || !part.quoted) ? " " : ifs.length ? String.fromCodePoint(ifs.codePointAt(0)) : "";
+        const separator = !split3 && (selector2?.kind === "members" ? selector2.separator === "@" || !part.quoted : part.name === "@") ? " " : ifs.length ? String.fromCodePoint(ifs.codePointAt(0)) : "";
         const fragments2 = [];
         let bytes3 = 0;
         for (const member of members) {
@@ -85932,7 +86366,7 @@ ${prefix3} line ${offset + line}: \`${source2.split("\n")[line - 1] ?? ""}'
       }
       if (part.length) return String(binding?.values.size ?? (part.name === "FUNCNAME" && state.variables.FUNCNAME === void 0 ? state.functionNames?.length ?? 0 : state.variables[part.name] === void 0 ? 0 : 1));
       const values = await this.arrayMembers(part.name, state, io, selector.kind === "keys" || part.keys === true, part.substring);
-      const space = (selector.kind === "keys" || part.keys === true) && state.extensions?.syntax?.arrayKeys ? Boolean(hereDocument || (selector.separator === "@" ? !part.quoted && !split3 || state.variables.IFS === "" : !part.quoted && split3 && state.variables.IFS === "")) : !split3 && (selector.separator === "@" || !part.quoted);
+      const space = selector.kind === "keys" || part.keys === true ? Boolean(hereDocument || (selector.separator === "@" ? !part.quoted && !split3 || state.variables.IFS === "" : !part.quoted && split3 && state.variables.IFS === "")) : !split3 && selector.separator === "@";
       return this.arrayJoin(store.owner, values, space ? " " : this.ifsSeparator(state, io));
     }
     if (part.substring && (part.name === "@" || part.name === "*")) {
@@ -85941,7 +86375,7 @@ ${prefix3} line ${offset + line}: \`${source2.split("\n")[line - 1] ?? ""}'
       return (0, value_exports.concatShellValues)(values.flatMap((entry, index) => index ? [separator, entry] : [entry]), io[valueScope]);
     }
     const namerefName = part.indirect && state.variableAttributes?.get(part.name)?.includes("n");
-    let value2 = namerefName ? state.variables[part.name] === void 0 ? void 0 : this.referenceName(state, part.name) : part.specialParameter ? specialValue === void 0 ? void 0 : (0, value_exports.shellValueText)(specialValue) : part.name === "?" ? String(state.status) : part.name === "-" ? `${state.allexport ? "a" : ""}${state.errexit ? "e" : ""}${state.noglob ? "f" : ""}${state.noexec ? "n" : ""}${state.nounset ? "u" : ""}${state.braceexpand !== false ? "B" : ""}${state.noclobber ? "C" : ""}` : part.name === "#" ? String(state.positional.length) : part.name === "@" || part.name === "*" ? state.positional.join(hereString && (part.name === "@" || !part.quoted) ? " " : Array.from(state.variables.IFS ?? " ")[0] ?? "") : /^0+$/u.test(part.name) ? state.arg0 ?? "virtual-bash" : /^\d+$/u.test(part.name) ? state.positional[Number(part.name) - 1] : part.name === "LINENO" ? state.extensions ? String(io.diagnosticLine ?? part.line ?? 1) : state.variables.LINENO ?? String(io.diagnosticLine ?? part.line ?? 1) : this.variable(state, part.name);
+    let value2 = namerefName ? state.variables[part.name] === void 0 ? void 0 : this.referenceName(state, part.name) : part.specialParameter ? specialValue === void 0 ? void 0 : (0, value_exports.shellValueText)(specialValue) : part.name === "?" ? String(state.status) : part.name === "-" ? `${state.allexport ? "a" : ""}${state.errexit ? "e" : ""}${state.noglob ? "f" : ""}${state.noexec ? "n" : ""}${state.nounset ? "u" : ""}${state.braceexpand !== false ? "B" : ""}${state.noclobber ? "C" : ""}` : part.name === "#" ? String(state.positional.length) : part.name === "@" || part.name === "*" ? state.positional.join(part.name === "@" && !split3 || hereString && (part.name === "@" || !part.quoted) ? " " : Array.from(state.variables.IFS ?? " ")[0] ?? "") : /^0+$/u.test(part.name) ? state.arg0 ?? "virtual-bash" : /^\d+$/u.test(part.name) ? state.positional[Number(part.name) - 1] : part.name === "LINENO" ? state.extensions ? String(io.diagnosticLine ?? part.line ?? 1) : state.variables.LINENO ?? String(io.diagnosticLine ?? part.line ?? 1) : this.variable(state, part.name);
     let retained = part.specialParameter ? specialValue : value2;
     if (value2 !== void 0 && !namerefName) {
       if (/^[a-zA-Z_][a-zA-Z_0-9]*$/u.test(part.name)) {
@@ -85952,7 +86386,7 @@ ${prefix3} line ${offset + line}: \`${source2.split("\n")[line - 1] ?? ""}'
       } else if (/^0+$/u.test(part.name)) retained = stateMonitor(state)?.positionals.get(zeroPositionKey, value2) ?? value2;
       else if (/^[0-9]+$/u.test(part.name)) retained = stateMonitor(state)?.positionals.get(String(Number(part.name) - 1), value2) ?? value2;
       else if (part.name === "@" || part.name === "*") {
-        const separator = hereString && (part.name === "@" || !part.quoted) ? " " : this.ifsSeparator(state, io);
+        const separator = part.name === "@" && !split3 || hereString && (part.name === "@" || !part.quoted) ? " " : this.ifsSeparator(state, io);
         const values = this.positionalValues(state);
         retained = (0, value_exports.concatShellValues)(values.flatMap((entry, index) => index ? [separator, entry] : [entry]), io[valueScope]);
       }
@@ -86395,7 +86829,7 @@ ${prefix3} line ${offset + line}: \`${source2.split("\n")[line - 1] ?? ""}'
               }
               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 === "@" ? " " : ifsVal.length > 0 ? ifsVal[0] : "";
+                const sep = selector.separator === "@" && (!isKeys || ifsVal.length === 0) ? " " : ifsVal.length > 0 ? ifsVal[0] : "";
                 const evalSliceInt = (w) => {
                   if (w.parts.length === 0) return 0;
                   const expanded = this.fastValueWord(w, rawState, io, false, false, false, false, void 0, part.line ?? overrideDiagnosticLine);
@@ -86767,7 +87201,9 @@ ${prefix3} line ${offset + line}: \`${source2.split("\n")[line - 1] ?? ""}'
             out += converted;
             continue;
           }
-          if ((part.operator === "-" || part.operator === ":-" || part.operator === "+" || part.operator === ":+") && part.alternate && !rawState.nounset && part.alternate.parts.every((p) => p.kind === "text" || p.kind === "arithmetic" || p.kind === "variable" && !p.operator && !p.substring)) {
+          if ((part.operator === "-" || part.operator === ":-" || part.operator === "+" || part.operator === ":+" || part.operator === "=" || part.operator === ":=") && part.alternate && !rawState.nounset && part.alternate.parts.every((p) => p.kind === "text" || p.kind === "arithmetic" || p.kind === "variable" && !p.operator && !p.substring)) {
+            const isAssignOp = part.operator === "=" || part.operator === ":=";
+            if (isAssignOp && (!isShellIdentifier(part.name) || part.name === "OPTIND" || part.name === "PIPESTATUS" || part.name === "_" || rawState.readonlyVariables?.has(part.name) || rawState.variableAttributes?.get(part.name) || activeArrayStore?.get(part.name) || monitor?.hasOverlay(part.name) || i < word.parts.length - 1 && !this.isPureSyncValueWord({ offset: 0, parts: word.parts.slice(i + 1) }, rawState, false))) return void 0;
             const raw2 = rawVars[part.name];
             const cur = raw2 === void 0 ? void 0 : this._syncArithRawWriteOnly && this._syncArithTouched?.has(part.name) ? raw2 : monitor?.values.get(part.name, raw2) ?? raw2;
             if (cur !== void 0 && typeof cur !== "string") return void 0;
@@ -86780,10 +87216,21 @@ ${prefix3} line ${offset + line}: \`${source2.split("\n")[line - 1] ?? ""}'
                 resolvedScalar = altVal;
               } else resolvedScalar = "";
             } else {
-              const isMissing = cur === void 0 || part.operator === ":-" && cur === "";
+              const isMissing = cur === void 0 || (part.operator === ":-" || part.operator === ":=") && cur === "";
               if (isMissing) {
                 const altVal = this.fastValueWord(part.alternate, rawState, io, false, false, false, false, void 0, part.line ?? overrideDiagnosticLine);
                 if (typeof altVal !== "string") return void 0;
+                if (isAssignOp) {
+                  if (this._syncArithRawWriteOnly && this._syncArithTouched) {
+                    rawState.variables[part.name] = altVal;
+                    this._syncArithTouched.add(part.name);
+                  } else if (monitor) {
+                    monitor.publishStringVariable(part.name, altVal);
+                  } else {
+                    rawState.variables[part.name] = altVal;
+                  }
+                  if (rawState.allexport) (monitor ? monitor.proxy.exported : rawState.exported).add(part.name);
+                }
                 resolvedScalar = altVal;
               } else resolvedScalar = cur;
             }