just-bash 2.5.5 → 2.7.0

package/dist/interpreter/expansion/positional-params.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Positional Parameter Expansion Handlers
+ *
+ * Handles $@ and $* expansion with various operations:
+ * - "${@:offset}" and "${*:offset}" - slicing
+ * - "${@/pattern/replacement}" - pattern replacement
+ * - "${@#pattern}" - pattern removal (strip)
+ * - "$@" and "$*" with adjacent text
+ */
+import type { WordPart } from "../../ast/types.js";
+import type { InterpreterContext } from "../types.js";
+/**
+ * Result type for positional parameter expansion handlers.
+ * `null` means the handler doesn't apply to this case.
+ */
+export type PositionalExpansionResult = {
+    values: string[];
+    quoted: boolean;
+} | null;
+import type { ArithExpr } from "../../ast/types.js";
+/**
+ * Type for evaluateArithmetic function
+ */
+export type EvaluateArithmeticFn = (ctx: InterpreterContext, expr: ArithExpr, isExpansionContext?: boolean) => Promise<number>;
+/**
+ * Type for expandPart function
+ */
+export type ExpandPartFn = (ctx: InterpreterContext, part: WordPart) => Promise<string>;
+/**
+ * Type for expandWordPartsAsync function
+ */
+export type ExpandWordPartsAsyncFn = (ctx: InterpreterContext, parts: WordPart[]) => Promise<string>;
+/**
+ * Handle "${@:offset}" and "${*:offset}" with Substring operations inside double quotes
+ * "${@:offset}": Each sliced positional parameter becomes a separate word
+ * "${*:offset}": All sliced params joined with IFS as ONE word
+ */
+export declare function handlePositionalSlicing(ctx: InterpreterContext, wordParts: WordPart[], evaluateArithmetic: EvaluateArithmeticFn, expandPart: ExpandPartFn): Promise<PositionalExpansionResult>;
+/**
+ * Handle "${@/pattern/replacement}" and "${* /pattern/replacement}" with PatternReplacement inside double quotes
+ * "${@/pattern/replacement}": Each positional parameter has pattern replaced, each becomes a separate word
+ * "${* /pattern/replacement}": All params joined with IFS, pattern replaced, becomes ONE word
+ */
+export declare function handlePositionalPatternReplacement(ctx: InterpreterContext, wordParts: WordPart[], expandPart: ExpandPartFn, expandWordPartsAsync: ExpandWordPartsAsyncFn): Promise<PositionalExpansionResult>;
+/**
+ * Handle "${@#pattern}" and "${*#pattern}" - positional parameter pattern removal (strip)
+ * "${@#pattern}": Remove shortest matching prefix from each parameter, each becomes a separate word
+ * "${@##pattern}": Remove longest matching prefix from each parameter
+ * "${@%pattern}": Remove shortest matching suffix from each parameter
+ * "${@%%pattern}": Remove longest matching suffix from each parameter
+ */
+export declare function handlePositionalPatternRemoval(ctx: InterpreterContext, wordParts: WordPart[], expandPart: ExpandPartFn, expandWordPartsAsync: ExpandWordPartsAsyncFn): Promise<PositionalExpansionResult>;
+/**
+ * Handle "$@" and "$*" with adjacent text inside double quotes, e.g., "-$@-"
+ * "$@": Each positional parameter becomes a separate word, with prefix joined to first
+ *       and suffix joined to last. If no params, produces nothing (or just prefix+suffix if present)
+ * "$*": All params joined with IFS as ONE word. If no params, produces one empty word.
+ */
+export declare function handleSimplePositionalExpansion(ctx: InterpreterContext, wordParts: WordPart[], expandPart: ExpandPartFn): Promise<PositionalExpansionResult>;

package/dist/interpreter/expansion/prompt.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Prompt expansion
+ *
+ * Handles prompt escape sequences for ${var@P} transformation and PS1/PS2/PS3/PS4.
+ */
+import type { InterpreterContext } from "../types.js";
+/**
+ * Expand prompt escape sequences (${var@P} transformation)
+ * Interprets backslash escapes used in PS1, PS2, PS3, PS4 prompt strings.
+ *
+ * Supported escapes:
+ * - \a - bell (ASCII 07)
+ * - \e - escape (ASCII 033)
+ * - \n - newline
+ * - \r - carriage return
+ * - \\ - literal backslash
+ * - \$ - $ for regular user, # for root (always $ here)
+ * - \[ and \] - non-printing sequence delimiters (removed)
+ * - \u - username
+ * - \h - short hostname (up to first .)
+ * - \H - full hostname
+ * - \w - current working directory
+ * - \W - basename of current working directory
+ * - \d - date (Weekday Month Day format)
+ * - \t - time HH:MM:SS (24-hour)
+ * - \T - time HH:MM:SS (12-hour)
+ * - \@ - time HH:MM AM/PM (12-hour)
+ * - \A - time HH:MM (24-hour)
+ * - \D{format} - strftime format
+ * - \s - shell name
+ * - \v - bash version (major.minor)
+ * - \V - bash version (major.minor.patch)
+ * - \j - number of jobs
+ * - \l - terminal device basename
+ * - \# - command number
+ * - \! - history number
+ * - \NNN - octal character code
+ */
+export declare function expandPrompt(ctx: InterpreterContext, value: string): string;

package/dist/interpreter/expansion/quoting.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Quoting helpers for word expansion
+ *
+ * Handles quoting values for shell reuse (${var@Q} transformation).
+ */
+/**
+ * Quote a value for safe reuse as shell input (${var@Q} transformation)
+ * Uses single quotes with proper escaping for special characters.
+ * Follows bash's quoting behavior:
+ * - Simple strings without quotes: 'value'
+ * - Strings with single quotes or control characters: $'value' with \' escaping
+ */
+export declare function quoteValue(value: string): string;

package/dist/interpreter/expansion/tilde.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Tilde Expansion
+ *
+ * Functions for handling tilde (~) expansion in word expansion.
+ */
+import type { InterpreterContext } from "../types.js";
+/**
+ * Apply tilde expansion to a string.
+ * Used after brace expansion to handle cases like ~{/src,root} -> ~/src ~root -> /home/user/src /root
+ * Only expands ~ at the start of the string followed by / or end of string.
+ */
+export declare function applyTildeExpansion(ctx: InterpreterContext, value: string): string;

package/dist/interpreter/expansion/unquoted-expansion.d.ts

@@ -0,0 +1,76 @@
+/**
+ * Unquoted Expansion Handlers
+ *
+ * Handles unquoted positional parameter and array expansions:
+ * - Unquoted $@ and $* (with and without prefix/suffix)
+ * - Unquoted ${arr[@]} and ${arr[*]}
+ * - Unquoted ${@:offset} and ${*:offset} slicing
+ * - Unquoted ${@#pattern} and ${*#pattern} pattern removal
+ * - Unquoted ${arr[@]/pattern/replacement} pattern replacement
+ * - Unquoted ${arr[@]#pattern} pattern removal
+ * - Unquoted ${!prefix@} and ${!prefix*} variable name prefix expansion
+ * - Unquoted ${!arr[@]} and ${!arr[*]} array keys expansion
+ */
+import type { ArithExpr, WordPart } from "../../ast/types.js";
+import type { InterpreterContext } from "../types.js";
+/**
+ * Result type for unquoted expansion handlers.
+ * `null` means the handler doesn't apply to this case.
+ */
+export type UnquotedExpansionResult = {
+    values: string[];
+    quoted: boolean;
+} | null;
+/**
+ * Type for expandPart function reference
+ */
+export type ExpandPartFn = (ctx: InterpreterContext, part: WordPart) => Promise<string>;
+/**
+ * Type for expandWordPartsAsync function reference
+ */
+export type ExpandWordPartsAsyncFn = (ctx: InterpreterContext, parts: WordPart[]) => Promise<string>;
+/**
+ * Type for evaluateArithmetic function
+ */
+export type EvaluateArithmeticFn = (ctx: InterpreterContext, expr: ArithExpr, isExpansionContext?: boolean) => Promise<number>;
+/**
+ * Handle unquoted ${array[@]/pattern/replacement} - apply to each element
+ * This handles ${array[@]/#/prefix} (prepend) and ${array[@]/%/suffix} (append)
+ */
+export declare function handleUnquotedArrayPatternReplacement(ctx: InterpreterContext, wordParts: WordPart[], expandWordPartsAsync: ExpandWordPartsAsyncFn, expandPart: ExpandPartFn): Promise<UnquotedExpansionResult>;
+/**
+ * Handle unquoted ${array[@]#pattern} - apply pattern removal to each element
+ * This handles ${array[@]#pattern} (strip shortest prefix), ${array[@]##pattern} (strip longest prefix)
+ * ${array[@]%pattern} (strip shortest suffix), ${array[@]%%pattern} (strip longest suffix)
+ */
+export declare function handleUnquotedArrayPatternRemoval(ctx: InterpreterContext, wordParts: WordPart[], expandWordPartsAsync: ExpandWordPartsAsyncFn, expandPart: ExpandPartFn): Promise<UnquotedExpansionResult>;
+/**
+ * Handle unquoted ${@#pattern} and ${*#pattern} - apply pattern removal to each positional parameter
+ * This handles ${@#pattern} (strip shortest prefix), ${@##pattern} (strip longest prefix)
+ * ${@%pattern} (strip shortest suffix), ${@%%pattern} (strip longest suffix)
+ */
+export declare function handleUnquotedPositionalPatternRemoval(ctx: InterpreterContext, wordParts: WordPart[], expandWordPartsAsync: ExpandWordPartsAsyncFn, expandPart: ExpandPartFn): Promise<UnquotedExpansionResult>;
+/**
+ * Handle unquoted ${@:offset} and ${*:offset} (with potential prefix/suffix)
+ */
+export declare function handleUnquotedPositionalSlicing(ctx: InterpreterContext, wordParts: WordPart[], evaluateArithmetic: EvaluateArithmeticFn, expandPart: ExpandPartFn): Promise<UnquotedExpansionResult>;
+/**
+ * Handle unquoted $@ and $* (simple, without operations)
+ */
+export declare function handleUnquotedSimplePositional(ctx: InterpreterContext, wordParts: WordPart[]): Promise<UnquotedExpansionResult>;
+/**
+ * Handle unquoted ${arr[@]} and ${arr[*]} (without operations)
+ */
+export declare function handleUnquotedSimpleArray(ctx: InterpreterContext, wordParts: WordPart[]): Promise<UnquotedExpansionResult>;
+/**
+ * Handle unquoted ${!prefix@} and ${!prefix*} (variable name prefix expansion)
+ */
+export declare function handleUnquotedVarNamePrefix(ctx: InterpreterContext, wordParts: WordPart[]): UnquotedExpansionResult;
+/**
+ * Handle unquoted ${!arr[@]} and ${!arr[*]} (array keys/indices expansion)
+ */
+export declare function handleUnquotedArrayKeys(ctx: InterpreterContext, wordParts: WordPart[]): UnquotedExpansionResult;
+/**
+ * Handle unquoted $@ or $* with prefix/suffix (e.g., =$@= or =$*=)
+ */
+export declare function handleUnquotedPositionalWithPrefixSuffix(ctx: InterpreterContext, wordParts: WordPart[], expandPart: ExpandPartFn): Promise<UnquotedExpansionResult>;

package/dist/interpreter/expansion/variable-attrs.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Variable Attributes
+ *
+ * Functions for getting variable attributes (${var@a} transformation).
+ */
+import type { InterpreterContext } from "../types.js";
+/**
+ * Get the attributes of a variable for ${var@a} transformation.
+ * Returns a string with attribute flags (e.g., "ar" for readonly array).
+ *
+ * Attribute flags (in order):
+ * - a: indexed array
+ * - A: associative array
+ * - i: integer
+ * - n: nameref
+ * - r: readonly
+ * - x: exported
+ */
+export declare function getVariableAttributes(ctx: InterpreterContext, name: string): string;

package/dist/interpreter/expansion/variable.d.ts

@@ -6,12 +6,14 @@
  * - Array access (${arr[0]}, ${arr[@]}, ${arr[*]})
  * - Positional parameters ($1, $2, ...)
  * - Regular variables
+ * - Nameref resolution
  */
 import type { InterpreterContext } from "../types.js";
 /**
  * Get all elements of an array stored as arrayName_0, arrayName_1, etc.
  * Returns an array of [index/key, value] tuples, sorted by index/key.
  * For associative arrays, uses string keys.
+ * Special arrays FUNCNAME, BASH_LINENO, and BASH_SOURCE are handled dynamically from call stack.
  */
 export declare function getArrayElements(ctx: InterpreterContext, arrayName: string): Array<[number | string, string]>;
 /**
@@ -24,4 +26,11 @@ export declare function isArray(ctx: InterpreterContext, name: string): boolean;
  * @param name - The variable name
  * @param checkNounset - Whether to check for nounset (default true)
  */
-export declare function getVariable(ctx: InterpreterContext, name: string, checkNounset?: boolean, _insideDoubleQuotes?: boolean): string;
+export declare function getVariable(ctx: InterpreterContext, name: string, checkNounset?: boolean, _insideDoubleQuotes?: boolean): Promise<string>;
+/**
+ * Check if a variable is set (exists in the environment).
+ * Properly handles array subscripts (e.g., arr[0] -> arr_0).
+ * @param ctx - The interpreter context
+ * @param name - The variable name (possibly with array subscript)
+ */
+export declare function isVariableSet(ctx: InterpreterContext, name: string): Promise<boolean>;

package/dist/interpreter/expansion/word-glob-expansion.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Word Expansion with Glob Handling
+ *
+ * Handles the main word expansion flow including:
+ * - Brace expansion
+ * - Array and positional parameter expansion
+ * - Word splitting
+ * - Glob/pathname expansion
+ */
+import type { ArithExpr, ParameterExpansionPart, WordNode, WordPart } from "../../ast/types.js";
+import type { InterpreterContext } from "../types.js";
+/**
+ * Dependencies injected to avoid circular imports
+ */
+export interface WordGlobExpansionDeps {
+    expandWordAsync: (ctx: InterpreterContext, word: WordNode) => Promise<string>;
+    expandWordForGlobbing: (ctx: InterpreterContext, word: WordNode) => Promise<string>;
+    expandWordWithBracesAsync: (ctx: InterpreterContext, word: WordNode) => Promise<string[] | null>;
+    expandWordPartsAsync: (ctx: InterpreterContext, parts: WordPart[]) => Promise<string>;
+    expandPart: (ctx: InterpreterContext, part: WordPart, inDoubleQuotes?: boolean) => Promise<string>;
+    expandParameterAsync: (ctx: InterpreterContext, part: ParameterExpansionPart, inDoubleQuotes?: boolean) => Promise<string>;
+    hasBraceExpansion: (parts: WordPart[]) => boolean;
+    evaluateArithmetic: (ctx: InterpreterContext, expr: ArithExpr, isExpansionContext?: boolean) => Promise<number>;
+    buildIfsCharClassPattern: (ifsChars: string) => string;
+    smartWordSplit: (ctx: InterpreterContext, wordParts: WordPart[], ifsChars: string, ifsPattern: string, expandPart: (ctx: InterpreterContext, part: WordPart) => Promise<string>) => Promise<string[]>;
+}
+/**
+ * Main word expansion function that handles all expansion types and glob matching.
+ */
+export declare function expandWordWithGlobImpl(ctx: InterpreterContext, word: WordNode, deps: WordGlobExpansionDeps): Promise<{
+    values: string[];
+    quoted: boolean;
+}>;

package/dist/interpreter/expansion/word-split.d.ts

@@ -10,15 +10,20 @@ import type { InterpreterContext } from "../types.js";
  */
 export type ExpandPartFn = (ctx: InterpreterContext, part: WordPart) => Promise<string>;
 /**
- * Smart word splitting that respects expansion boundaries.
+ * Smart word splitting for words containing expansions.
  *
- * E.g., with IFS=x: ${v:-AxBxC}x should give "A B Cx" (literal x attaches to last field)
- * E.g., with IFS=x: y${v:-AxBxC}z should give "yA B Cz" (literals attach to first/last fields)
+ * In bash, word splitting respects quoted parts. When you have:
+ * - $a"$b" where a="1 2" and b="3 4"
+ * - The unquoted $a gets split by IFS: "1 2" -> ["1", "2"]
+ * - The quoted "$b" does NOT get split, it joins with the last field from $a
+ * - Result: ["1", "23 4"] (the "2" joins with "3 4")
+ *
+ * This differs from pure literal words which are never IFS-split.
  *
  * @param ctx - Interpreter context
  * @param wordParts - Word parts to expand and split
- * @param _ifsChars - IFS characters (unused, kept for API compatibility)
- * @param ifsPattern - Regex-escaped IFS pattern for splitting
+ * @param ifsChars - IFS characters for proper whitespace/non-whitespace handling
+ * @param ifsPattern - Regex-escaped IFS pattern for checking if splitting is needed
  * @param expandPartFn - Function to expand individual parts (injected to avoid circular deps)
  */
-export declare function smartWordSplit(ctx: InterpreterContext, wordParts: WordPart[], _ifsChars: string, ifsPattern: string, expandPartFn: ExpandPartFn): Promise<string[]>;
+export declare function smartWordSplit(ctx: InterpreterContext, wordParts: WordPart[], ifsChars: string, _ifsPattern: string, expandPartFn: ExpandPartFn): Promise<string[]>;

package/dist/interpreter/expansion.d.ts

@@ -11,17 +11,43 @@
  */
 import type { WordNode } from "../ast/types.js";
 import type { InterpreterContext } from "./types.js";
-export { getArrayElements, getVariable } from "./expansion/variable.js";
+export { escapeGlobChars, escapeRegexChars } from "./expansion/glob-escape.js";
+export { getArrayElements, getVariable, isArray, } from "./expansion/variable.js";
 /**
  * Check if an entire word is fully quoted
  */
 export declare function isWordFullyQuoted(word: WordNode): boolean;
+export declare function expandWord(ctx: InterpreterContext, word: WordNode): Promise<string>;
 /**
- * Escape glob metacharacters in a string for literal matching
+ * Expand a word for use as a regex pattern (in [[ =~ ]]).
+ * Preserves backslash escapes so they're passed to the regex engine.
+ * For example, \[\] becomes \[\] in the regex (matching literal [ and ]).
  */
-export declare function escapeGlobChars(str: string): string;
-export declare function expandWord(ctx: InterpreterContext, word: WordNode): Promise<string>;
+export declare function expandWordForRegex(ctx: InterpreterContext, word: WordNode): Promise<string>;
+/**
+ * Expand a word for use as a pattern (e.g., in [[ == ]] or case).
+ * Preserves backslash escapes for pattern metacharacters so they're treated literally.
+ * This prevents `*\(\)` from being interpreted as an extglob pattern.
+ */
+export declare function expandWordForPattern(ctx: InterpreterContext, word: WordNode): Promise<string>;
 export declare function expandWordWithGlob(ctx: InterpreterContext, word: WordNode): Promise<{
     values: string[];
     quoted: boolean;
 }>;
+export declare function hasQuotedMultiValueAt(ctx: InterpreterContext, word: WordNode): boolean;
+/**
+ * Expand a redirect target with glob handling.
+ *
+ * For redirects:
+ * - If glob matches 0 files with failglob → error (returns { error: ... })
+ * - If glob matches 0 files without failglob → use literal pattern
+ * - If glob matches 1 file → use that file
+ * - If glob matches 2+ files → "ambiguous redirect" error
+ *
+ * Returns { target: string } on success or { error: string } on failure.
+ */
+export declare function expandRedirectTarget(ctx: InterpreterContext, word: WordNode): Promise<{
+    target: string;
+} | {
+    error: string;
+}>;

package/dist/interpreter/functions.d.ts

@@ -9,4 +9,4 @@ import type { FunctionDefNode } from "../ast/types.js";
 import type { ExecResult } from "../types.js";
 import type { InterpreterContext } from "./types.js";
 export declare function executeFunctionDef(ctx: InterpreterContext, node: FunctionDefNode): ExecResult;
-export declare function callFunction(ctx: InterpreterContext, func: FunctionDefNode, args: string[]): Promise<ExecResult>;
+export declare function callFunction(ctx: InterpreterContext, func: FunctionDefNode, args: string[], stdin?: string, callLine?: number): Promise<ExecResult>;

package/dist/interpreter/helpers/array.d.ts

@@ -1,6 +1,7 @@
 /**
  * Array helper functions for the interpreter.
  */
+import type { WordNode } from "../../ast/types.js";
 import type { InterpreterContext } from "../types.js";
 /**
  * Get all indices of an array, sorted in ascending order.
@@ -21,3 +22,22 @@ export declare function getAssocArrayKeys(ctx: InterpreterContext, arrayName: st
  * Handles 'key' and "key" → key
  */
 export declare function unquoteKey(key: string): string;
+/**
+ * Parse a keyed array element from an AST WordNode like [key]=value or [key]+=value.
+ * Returns { key, valueParts, append } where valueParts are the AST parts for the value.
+ * Returns null if not a keyed element pattern.
+ *
+ * This is used to properly expand variables in the value part of keyed elements.
+ */
+export interface ParsedKeyedElement {
+    key: string;
+    valueParts: WordNode["parts"];
+    append: boolean;
+}
+export declare function parseKeyedElementFromWord(word: WordNode): ParsedKeyedElement | null;
+/**
+ * Extract literal string content from a Word node (without expansion).
+ * This is used for parsing associative array element syntax like [key]=value
+ * where the [key] part may be parsed as a Glob.
+ */
+export declare function wordToLiteralString(word: WordNode): string;

package/dist/interpreter/helpers/ifs.d.ts

@@ -15,6 +15,13 @@ export declare function getIfs(env: Record<string, string>): string;
  * Check if IFS is set to empty string (disables word splitting).
  */
 export declare function isIfsEmpty(env: Record<string, string>): boolean;
+/**
+ * Check if IFS contains only whitespace characters (space, tab, newline).
+ * This affects how empty fields are handled in $@ and $* expansion.
+ * When IFS has non-whitespace chars, empty params are preserved.
+ * When IFS has only whitespace, empty params are dropped.
+ */
+export declare function isIfsWhitespaceOnly(env: Record<string, string>): boolean;
 /**
  * Build a regex-safe pattern from IFS characters for use in character classes.
  * E.g., for IFS=" \t\n", returns " \\t\\n" (escaped for [pattern] use)
@@ -26,18 +33,72 @@ export declare function buildIfsCharClassPattern(ifs: string): string;
  */
 export declare function getIfsSeparator(env: Record<string, string>): string;
 /**
- * Split a string by IFS, handling leading/trailing IFS properly.
- * Returns words and their start positions in the original string.
+ * Advanced IFS splitting for the read builtin with proper whitespace/non-whitespace handling.
+ *
+ * IFS has two types of characters:
+ * - Whitespace (space, tab, newline): Multiple consecutive ones are collapsed,
+ *   leading/trailing are stripped
+ * - Non-whitespace (like 'x', ':'): Create empty fields when consecutive,
+ *   trailing ones preserved (except the final delimiter)
  *
  * @param value - String to split
  * @param ifs - IFS characters to split on
+ * @param maxSplit - Maximum number of splits (for read with multiple vars, the last gets the rest)
+ * @param raw - If true, backslash escaping is disabled (like read -r)
  * @returns Object with words array and wordStarts array
  */
-export declare function splitByIfs(value: string, ifs: string): {
+export declare function splitByIfsForRead(value: string, ifs: string, maxSplit?: number, raw?: boolean): {
     words: string[];
     wordStarts: number[];
 };
 /**
- * Strip trailing IFS characters from a string.
+ * IFS splitting for word expansion (unquoted $VAR, $*, etc.).
+ *
+ * Key differences from splitByIfsForRead:
+ * - Trailing non-whitespace delimiter does NOT create an empty field
+ * - No maxSplit concept (always splits fully)
+ * - No backslash escape handling
+ *
+ * @param value - String to split
+ * @param ifs - IFS characters to split on
+ * @returns Array of words after splitting
+ */
+/**
+ * Result of splitByIfsForExpansionEx with leading/trailing delimiter info.
+ */
+export interface IfsExpansionSplitResult {
+    words: string[];
+    /** True if the value started with an IFS whitespace delimiter (affects joining with preceding text) */
+    hadLeadingDelimiter: boolean;
+    /** True if the value ended with an IFS delimiter (affects joining with subsequent text) */
+    hadTrailingDelimiter: boolean;
+}
+/**
+ * Extended IFS splitting that tracks trailing delimiters.
+ * This is needed for proper word boundary handling when literal text follows an expansion.
+ * For example, in `-$x-` where `x='a b c '`, the trailing space means the final `-`
+ * should become a separate word, not join with `c`.
+ */
+export declare function splitByIfsForExpansionEx(value: string, ifs: string): IfsExpansionSplitResult;
+export declare function splitByIfsForExpansion(value: string, ifs: string): string[];
+/**
+ * Strip trailing IFS from the last variable in read builtin.
+ *
+ * Bash behavior:
+ * 1. Strip trailing IFS whitespace characters (but NOT if they're escaped by backslash)
+ * 2. If there's a single trailing IFS non-whitespace character, strip it ONLY IF
+ *    there are no other non-ws IFS chars in the content (excluding the trailing one)
+ *
+ * Examples with IFS="x ":
+ * - "ax  " -> "a" (trailing spaces stripped, then trailing single x stripped because no other x)
+ * - "ax" -> "a" (trailing single x stripped because no other x in remaining content)
+ * - "axx" -> "axx" (two trailing x's, so don't strip - there's another x)
+ * - "ax  x" -> "ax  x" (trailing x NOT stripped because there's an x earlier)
+ * - "bx" -> "b" (trailing x stripped, no other x)
+ * - "a\ " -> "a " (backslash-escaped space is NOT stripped)
+ *
+ * @param value - String to strip (raw, before backslash processing)
+ * @param ifs - IFS characters
+ * @param raw - If true, backslash escaping is disabled
  */
-export declare function stripTrailingIfs(value: string, ifs: string): string;
+export declare function stripTrailingIfsWhitespace(value: string, ifs: string, raw?: boolean): string;

package/dist/interpreter/helpers/nameref.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Nameref (declare -n) support
+ *
+ * Namerefs are variables that reference other variables by name.
+ * When a nameref is accessed, it transparently dereferences to the target variable.
+ */
+import type { InterpreterContext } from "../types.js";
+/**
+ * Check if a variable is a nameref
+ */
+export declare function isNameref(ctx: InterpreterContext, name: string): boolean;
+/**
+ * Mark a variable as a nameref
+ */
+export declare function markNameref(ctx: InterpreterContext, name: string): void;
+/**
+ * Remove the nameref attribute from a variable
+ */
+export declare function unmarkNameref(ctx: InterpreterContext, name: string): void;
+/**
+ * Mark a nameref as having an "invalid" target at creation time.
+ * Invalid namerefs always read/write their value directly, never resolving.
+ */
+export declare function markNamerefInvalid(ctx: InterpreterContext, name: string): void;
+/**
+ * Mark a nameref as "bound" - meaning its target existed at creation time.
+ * This is kept for tracking purposes but is currently not used in resolution.
+ */
+export declare function markNamerefBound(ctx: InterpreterContext, name: string): void;
+/**
+ * Check if a name refers to a valid, existing variable or array element.
+ * Used to determine if a nameref target is "real" or just a stored value.
+ */
+export declare function targetExists(ctx: InterpreterContext, target: string): boolean;
+/**
+ * Resolve a nameref chain to the final variable name.
+ * Returns the original name if it's not a nameref.
+ * Detects circular references and returns undefined.
+ *
+ * @param ctx - The interpreter context
+ * @param name - The variable name to resolve
+ * @param maxDepth - Maximum chain depth to prevent infinite loops (default 100)
+ * @returns The resolved variable name, or undefined if circular reference detected
+ */
+export declare function resolveNameref(ctx: InterpreterContext, name: string, maxDepth?: number): string | undefined;
+/**
+ * Get the target name of a nameref (what it points to).
+ * Returns the variable's value if it's a nameref, undefined otherwise.
+ */
+export declare function getNamerefTarget(ctx: InterpreterContext, name: string): string | undefined;
+/**
+ * Resolve a nameref for assignment purposes.
+ * Unlike resolveNameref, this will resolve to the target variable name
+ * even if the target doesn't exist yet (allowing creation).
+ *
+ * @param ctx - The interpreter context
+ * @param name - The variable name to resolve
+ * @param valueBeingAssigned - The value being assigned (needed for empty nameref handling)
+ * @param maxDepth - Maximum chain depth to prevent infinite loops
+ * @returns
+ * - undefined if circular reference detected
+ * - null if the nameref is empty and value is not an existing variable (skip assignment)
+ * - The resolved target name otherwise (may be the nameref itself if target is invalid)
+ */
+export declare function resolveNamerefForAssignment(ctx: InterpreterContext, name: string, valueBeingAssigned?: string, maxDepth?: number): string | null | undefined;

package/dist/interpreter/helpers/quoting.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Shell value quoting utilities
+ *
+ * Provides functions for quoting values in shell output format,
+ * used by both `set` and `declare/typeset` builtins.
+ */
+/**
+ * Quote a value for shell output (used by 'set' and 'typeset' with no args)
+ * Matches bash's output format:
+ * - No quotes for simple alphanumeric values
+ * - Single quotes for values with spaces or shell metacharacters
+ * - $'...' quoting for values with control characters
+ */
+export declare function quoteValue(value: string): string;
+/**
+ * Quote a value for array element output
+ * Uses $'...' for control characters, double quotes otherwise
+ */
+export declare function quoteArrayValue(value: string): string;
+/**
+ * Quote a value for declare -p output
+ * Uses $'...' for control characters, double quotes otherwise
+ */
+export declare function quoteDeclareValue(value: string): string;

package/dist/interpreter/helpers/readonly.d.ts

@@ -1,7 +1,7 @@
 /**
- * Readonly variable helpers.
+ * Readonly and export variable helpers.
  *
- * Consolidates readonly variable logic used in declare, export, local, etc.
+ * Consolidates readonly and export variable logic used in declare, export, local, etc.
  */
 import type { ExecResult } from "../../types.js";
 import type { InterpreterContext } from "../types.js";
@@ -10,12 +10,36 @@ import type { InterpreterContext } from "../types.js";
  */
 export declare function markReadonly(ctx: InterpreterContext, name: string): void;
 /**
- * Check if a variable is readonly and return an error if so.
+ * Check if a variable is readonly.
+ */
+export declare function isReadonly(ctx: InterpreterContext, name: string): boolean;
+/**
+ * Check if a variable is readonly and throw an error if so.
  * Returns null if the variable is not readonly (can be modified).
  *
+ * Assigning to a readonly variable is a fatal error that stops script execution.
+ * This matches the behavior of dash, mksh, ash, and bash in POSIX mode.
+ * (Note: bash in non-POSIX mode has a bug where multi-line readonly assignment
+ * continues execution, but one-line still stops. We always stop.)
+ *
  * @param ctx - Interpreter context
  * @param name - Variable name
  * @param command - Command name for error message (default: "bash")
- * @returns Error result if readonly, null otherwise
+ * @returns null if variable is not readonly (can be modified)
+ * @throws ExitError if variable is readonly
  */
 export declare function checkReadonlyError(ctx: InterpreterContext, name: string, command?: string): ExecResult | null;
+/**
+ * Mark a variable as exported.
+ *
+ * If we're inside a local scope and the variable is local (exists in the
+ * current scope), track it as a locally-exported variable. When the scope
+ * is popped, the export attribute will be removed if it wasn't exported
+ * before entering the function.
+ */
+export declare function markExported(ctx: InterpreterContext, name: string): void;
+/**
+ * Remove the export attribute from a variable.
+ * The variable value is preserved, just no longer exported to child processes.
+ */
+export declare function unmarkExported(ctx: InterpreterContext, name: string): void;