@clo4/cli 1.0.0 → 3.0.0

package/dist/index.js

@@ -1,5 +1,3 @@
-// \0rolldown/runtime.js
-var __commonJSMin = (cb, mod) => () => (mod || (cb((mod = { exports: {} }).exports, mod, mod.exports), cb = null), mod.exports);
 // src/util.ts
 function isArray(o) {
 	return Array.isArray(o);
@@ -25,443 +23,412 @@ function makeArray1(thing) {
 	if (isArray(thing)) return thing.slice();
 	return [thing];
 }
-/** Set many keys in a Map to the same value */
-function setEach(map, keys, value) {
-	if (isArray(keys)) for (const key of keys) map.set(key, value);
-	else map.set(keys, value);
-}
-function assert(expr, msg = "") {
-	if (!expr) throw new Error(msg);
+const nodeProcess = globalThis.process;
+/**
+* Write text to stdout (1) or stderr (2) with a synchronous `write` on the file
+* descriptor.
+*
+* The first `console.log` in a Node process builds the stdout stream, which
+* costs 1-3 ms. That's more than parsing takes, so all of this library's output
+* goes through here instead. Without `node:fs` it falls back to `console`.
+*/
+function writeFd(fd, text) {
+	const fs = nodeProcess?.getBuiltinModule?.("node:fs");
+	if (!fs) {
+		(fd === 1 ? console.log : console.error)(text.endsWith("\n") ? text.slice(0, -1) : text);
+		return;
+	}
+	const bytes = new TextEncoder().encode(text);
+	let offset = 0;
+	try {
+		while (offset < bytes.length) offset += fs.writeSync(fd, bytes, offset, bytes.length - offset);
+	} catch (error) {
+		if (error.code === "EAGAIN") (fd === 1 ? nodeProcess?.stdout : nodeProcess?.stderr)?.write(bytes.subarray(offset));
+	}
 }
+/**
+* Where this library's output goes. Tests replace `write` to capture output.
+*
+* @internal
+*/
+const output = { write: writeFd };
 /** Print a message to stdout, trimming trailing whitespace. */
 function print(text) {
-	console.log(text.trimEnd());
+	output.write(1, `${text.trimEnd()}\n`);
 }
-/** Print an error message to stderr with the shared `Error:` prefix. */
-function printActionError(message) {
-	console.error("Error:", message);
+/** Print `Error:` and the given values to stderr, separated by spaces. */
+function printError(...strings) {
+	output.write(2, `${["Error:", ...strings].map(String).join(" ")}\n`);
 }
-// src/analyze.ts
-const $optionArg = (index, start, end, literal, option, separator) => ({
-	kind: "option-arg",
-	index,
-	literal,
-	start,
-	end,
-	option,
-	separator
-});
-const $unknownOption = (index, start, end, literal, validOptions) => ({
-	kind: "unknown-option",
-	index,
-	start,
-	end,
-	literal,
-	validOptions
-});
-const $arg = (index, start, end, literal) => ({
-	kind: "arg",
-	index,
-	start,
-	end,
-	literal
-});
-const $argSeparator = (index, start, end, literal) => ({
-	kind: "arg-separator",
-	index,
-	start,
-	end,
-	literal
-});
-const $subcommand = (index, start, end, literal, subcommand) => {
-	return {
-		kind: "subcommand",
-		index,
-		start,
-		end,
-		literal,
-		subcommand
-	};
-};
-const $option = (index, start, end, literal, option) => {
-	return {
-		kind: "option",
-		index,
-		start,
-		end,
-		literal,
-		option
-	};
-};
 /**
-* Lex the input, output some tokens
+* Add the defaults of the arguments from index `from` on to `values`, stopping
+* at the first argument without one. The parser and help both use this, so
+* help only shows the defaults the parser uses.
+*/
+function addDefaults(values, args, from = 0) {
+	for (let i = from; i < args.length; i++) {
+		const value = args[i].default;
+		if (value === void 0) return;
+		values.push(value);
+	}
+}
+/**
+* Returns the minimum number of arguments that satisfies the args.
 *
-* This generator uses the options and subcommands to categorize the
-* input tokens. It will not track or reject arguments - tokens that
-* don't match an option or subcommand are yielded as arguments.
+* Accepts the raw spec value (a single arg, an array, or `undefined`) so the
+* hot path doesn't have to copy it into an array first.
 */
-function analyze(input, spec) {
-	const tokens = [];
-	if (input.length === 0) {
-		const localOptions = /* @__PURE__ */ new Map();
-		const localRequiredOptions = /* @__PURE__ */ new Map();
-		const persistentOptions = /* @__PURE__ */ new Map();
-		const persistentRequiredOptions = /* @__PURE__ */ new Map();
-		if (spec.options) for (const option of spec.options) if (option.isPersistent) {
-			setEach(persistentOptions, option.name, option);
-			if (option.isRequired) setEach(persistentRequiredOptions, option.name, option);
-		} else {
-			setEach(localOptions, option.name, option);
-			if (option.isRequired) setEach(localRequiredOptions, option.name, option);
-		}
-		return {
-			finalState: {
-				localOptions,
-				persistentOptions,
-				localRequiredOptions,
-				persistentRequiredOptions
-			},
-			tokens
-		};
+function getMinArgs(args) {
+	if (args === void 0) return 0;
+	if (!isArray(args)) return args.isOptional ? 0 : 1;
+	let count = 0;
+	for (let i = 0; i < args.length; i++) {
+		if (args[i].isOptional) break;
+		count++;
 	}
-	let localSubcommands;
-	const localOptions = /* @__PURE__ */ new Map();
-	const persistentOptions = /* @__PURE__ */ new Map();
-	const localRequiredOptions = /* @__PURE__ */ new Map();
-	const persistentRequiredOptions = /* @__PURE__ */ new Map();
-	let separators = ["="];
-	let hasFoundArg = false;
-	let posixCompliantOptions = true;
-	let subcommandsMatchUniquePrefix = false;
-	let optionsMustPrecedeArguments = false;
-	let hasUsedNonPersistentOption = false;
-	const getOption = (name) => localOptions.get(name) ?? persistentOptions.get(name) ?? null;
-	const hasOption = (name) => localOptions.has(name) || persistentOptions.has(name);
-	const getSubcommand = (name) => {
-		if (!localSubcommands) return null;
-		let prefixMatch = null;
-		let prefixCount = 0;
-		for (const command of localSubcommands) {
-			const names = typeof command.name === "string" ? [command.name] : command.name;
-			for (const cmdName of names) {
-				if (cmdName === name) return command;
-				if (subcommandsMatchUniquePrefix && cmdName.startsWith(name)) {
-					prefixMatch = command;
-					prefixCount += 1;
-					break;
-				}
-			}
-		}
-		return prefixCount === 1 ? prefixMatch : null;
-	};
-	const updateCurrentCommand = (command) => {
-		if (command.options) for (const option of command.options) if (option.isPersistent) {
-			setEach(persistentOptions, option.name, option);
-			if (option.isRequired) setEach(persistentRequiredOptions, option.name, option);
-		} else {
-			setEach(localOptions, option.name, option);
-			if (option.isRequired) setEach(localRequiredOptions, option.name, option);
-		}
-		localSubcommands = command.subcommands;
-		const directives = command.parserDirectives;
-		if (directives?.optionArgSeparators) separators = asArray(directives.optionArgSeparators);
-		if (directives?.subcommandsMatchUniquePrefix) subcommandsMatchUniquePrefix = directives.subcommandsMatchUniquePrefix;
-		if (directives?.optionsMustPrecedeArguments) optionsMustPrecedeArguments = directives.optionsMustPrecedeArguments;
-		if (typeof directives?.flagsArePosixNoncompliant === "boolean") posixCompliantOptions = !directives.flagsArePosixNoncompliant;
-	};
-	updateCurrentCommand(spec);
-	tokens: for (let index = 0; index < input.length; index++) {
-		const token = input[index];
-		if (token === "--") {
-			tokens.push($argSeparator(index, 0, token.length, token));
-			index += 1;
-			for (; index < input.length; index++) {
-				const tok = input[index];
-				tokens.push($arg(index, 0, tok.length, tok));
-			}
-			break tokens;
+	return count;
+}
+/** Returns the maximum number of arguments that satisfies the args. */
+function getMaxArgs(args) {
+	if (args === void 0) return 0;
+	if (!isArray(args)) return args.isVariadic ? Infinity : 1;
+	for (let i = 0; i < args.length; i++) if (args[args.length - 1 - i].isVariadic) return Infinity;
+	return args.length;
+}
+// src/suggest.ts
+/**
+* "Did you mean" suggestions for unknown commands and options.
+*
+* This only runs after a mistake, but it's loaded on every run, so it's kept
+* small and does nothing until it's called.
+*
+* @module
+*/
+/** How many `-` or `+` characters `name` starts with. */
+function dashCount(name) {
+	let i = 0;
+	while (i < name.length && (name[i] === "-" || name[i] === "+")) i++;
+	return i;
+}
+/** Whether every character of `short` appears in `long`, in order. */
+function isAbbreviation(short, long) {
+	let i = 0;
+	for (let j = 0; j < long.length && i < short.length; j++) if (long[j] === short[i]) i++;
+	return i === short.length;
+}
+/**
+* Levenshtein distance where swapping two adjacent characters also counts as
+* one edit (optimal string alignment). Returns `limit + 1` as soon as the
+* distance must be larger than `limit`.
+*/
+function editDistance(a, b, limit) {
+	let before = new Uint32Array(b.length + 1);
+	let previous = new Uint32Array(b.length + 1);
+	let current = new Uint32Array(b.length + 1);
+	for (let j = 0; j <= b.length; j++) previous[j] = j;
+	for (let i = 1; i <= a.length; i++) {
+		current[0] = i;
+		let rowMin = i;
+		for (let j = 1; j <= b.length; j++) {
+			const substitution = previous[j - 1] + (a[i - 1] === b[j - 1] ? 0 : 1);
+			let d = Math.min(previous[j] + 1, current[j - 1] + 1, substitution);
+			if (i > 1 && j > 1 && a[i - 1] === b[j - 2] && a[i - 2] === b[j - 1]) d = Math.min(d, before[j - 2] + 1);
+			current[j] = d;
+			if (d < rowMin) rowMin = d;
 		}
-		if (!hasFoundArg && !hasUsedNonPersistentOption && localSubcommands) {
-			const command = getSubcommand(token);
-			if (command) {
-				localOptions.clear();
-				updateCurrentCommand(command);
-				tokens.push($subcommand(index, 0, token.length, token, command));
-				continue tokens;
-			}
+		if (rowMin > limit) return limit + 1;
+		const recycled = before;
+		before = previous;
+		previous = current;
+		current = recycled;
+	}
+	return previous[b.length];
+}
+/** The first name of the only choice with a name that `matches`, if exactly one has one. */
+function onlyMatch(choices, matches) {
+	let match;
+	for (const choice of choices) {
+		const name = (typeof choice === "string" ? [choice] : choice).find(matches);
+		if (name === void 0) continue;
+		if (match !== void 0) return;
+		match = name;
+	}
+	return match;
+}
+/**
+* The name the user most likely meant by `input`, or `undefined` if none is
+* close enough to be worth suggesting. In order:
+*
+* 1. The only choice that starts with the input (`--verb` for `--verbose`).
+* 2. The only choice that contains every character of the input in order, for
+*    inputs of 3 or more characters (`bld` for `build`).
+* 3. The name with the fewest edits, allowing one edit per three characters
+*    of the input. Leading dashes don't count toward the length or the edits.
+*/
+function closestChoice(input, choices) {
+	const inputDashes = dashCount(input);
+	const bare = input.slice(inputDashes);
+	if (bare.length >= 2) {
+		const match = onlyMatch(choices, (name) => name.startsWith(input));
+		if (match !== void 0) return match;
+	}
+	if (bare.length >= 3) {
+		const match = onlyMatch(choices, (name) => isAbbreviation(bare, name.slice(dashCount(name))));
+		if (match !== void 0) return match;
+	}
+	let best;
+	let limit = Math.floor(bare.length / 3);
+	for (const name of choices.flat()) {
+		const other = name.slice(dashCount(name));
+		if (Math.abs(other.length - bare.length) > limit) continue;
+		const distance = editDistance(bare, other, limit);
+		if (distance <= limit && (best === void 0 || distance < limit)) {
+			best = name;
+			limit = distance;
+			if (distance === 0) break;
 		}
-		if (!(optionsMustPrecedeArguments && hasFoundArg)) {
-			if (posixCompliantOptions && token.length > 1 && (token.startsWith("-") || token.startsWith("+")) && !token.startsWith("--")) {
-				const leadingChar = token[0];
-				const dashOption = getOption(leadingChar);
-				if (dashOption?.args && !hasOption(token.slice(0, 2))) {
-					tokens.push($option(index, 0, 1, leadingChar, dashOption));
-					tokens.push($optionArg(index, 1, token.length, token.slice(1), leadingChar, ""));
-					continue tokens;
-				}
-				chars: for (let char = 1; char < token.length; char++) {
-					const optionName = `${leadingChar}${token[char]}`;
-					const option = getOption(optionName);
-					if (!option) {
-						tokens.push($unknownOption(index, char, char + 1, optionName, [...localOptions.keys(), ...persistentOptions.keys()]));
-						continue chars;
-					}
-					if (!hasUsedNonPersistentOption && !option.isPersistent) hasUsedNonPersistentOption = true;
-					tokens.push($option(index, char, char + 1, optionName, option));
-					if (option.args && char < token.length - 1) {
-						const remainingChars = token.slice(char + 1);
-						const sep = separators.find((sep) => remainingChars.startsWith(sep)) || "";
-						const argStartOffset = char + sep.length;
-						tokens.push($optionArg(index, argStartOffset + 1, token.length, token.slice(argStartOffset + 1), optionName, sep));
-						break;
-					}
-				}
-				continue tokens;
-			}
-			if (!posixCompliantOptions || token.length > 2 && token.startsWith("--")) {
-				let foundSep = null;
-				let foundSepIndex = -1;
-				separators: for (const sep of separators) {
-					const index = token.indexOf(sep);
-					if (index === -1) continue separators;
-					foundSep = sep;
-					foundSepIndex = index;
-				}
-				if (foundSep) {
-					const optionName = token.slice(0, foundSepIndex);
-					const option = getOption(optionName);
-					if (option) {
-						if (!hasUsedNonPersistentOption && !option.isPersistent) hasUsedNonPersistentOption = true;
-						tokens.push($option(index, 0, foundSepIndex, token.slice(0, foundSepIndex), option));
-						tokens.push($optionArg(index, foundSepIndex + foundSep.length, token.length, token.slice(foundSepIndex + foundSep.length), optionName, foundSep));
-						continue tokens;
-					} else if (posixCompliantOptions) {
-						const optionName = token.slice(0, foundSepIndex);
-						tokens.push($unknownOption(index, 0, foundSepIndex, optionName, [...localOptions.keys(), ...persistentOptions.keys()]));
-						tokens.push($optionArg(index, foundSepIndex + foundSep.length, token.length, token.slice(foundSepIndex + foundSep.length), optionName, foundSep));
-						continue tokens;
-					}
-				} else {
-					const option = getOption(token);
-					if (option) {
-						if (!hasUsedNonPersistentOption && !option.isPersistent) hasUsedNonPersistentOption = true;
-						tokens.push($option(index, 0, token.length, token, option));
-						continue tokens;
-					} else if (posixCompliantOptions) {
-						tokens.push($unknownOption(index, 0, token.length, token, [...localOptions.keys(), ...persistentOptions.keys()]));
-						continue tokens;
-					}
-				}
+	}
+	return best;
+}
+// src/subcommands.ts
+/**
+* Find the subcommand `token` names among `subcommands`, in a command where
+* `directives` are in effect, or else among the persistent subcommands the
+* command `inherited`. An exact name always wins. With
+* `subcommandsMatchUniquePrefix`, a token that's a prefix of exactly one
+* of the command's own names matches that command, unless `exactOnly`. A
+* hidden or inherited command only matches its exact name, so it can't make a
+* visible command's prefix ambiguous or take a prefix meant as an argument,
+* and an empty token is no command's prefix.
+*/
+function matchSubcommand(subcommands, token, directives, exactOnly = false, inherited = []) {
+	for (const candidate of subcommands) if (hasName$1(candidate, token)) return { command: candidate };
+	for (const candidate of inherited) if (hasName$1(candidate, token)) return { command: candidate };
+	const matches = directives.subcommandsMatchUniquePrefix && !exactOnly ? prefixMatches(subcommands, token) : [];
+	if (matches.length === 1) return { command: matches[0] };
+	return new NoSubcommand(withInherited(subcommands, inherited), token, matches);
+}
+/**
+* A command's own `subcommands` followed by the `inherited` ones it can use,
+* leaving out each inherited one that an earlier command shadows a name of.
+*/
+function withInherited(subcommands, inherited) {
+	if (inherited.length === 0) return subcommands;
+	const all = [...subcommands];
+	for (const candidate of inherited) if (!asArray(candidate.name).some((name) => all.some((earlier) => hasName$1(earlier, name)))) all.push(candidate);
+	return all;
+}
+function hasName$1(command, token) {
+	const names = command.name;
+	return typeof names === "string" ? names === token : names.includes(token);
+}
+/** The visible commands that `token` is a prefix of a name of, each listed once. */
+function prefixMatches(subcommands, token) {
+	if (token === "") return [];
+	return subcommands.filter((candidate) => !candidate.hidden && asArray(candidate.name).some((name) => name.startsWith(token)));
+}
+/**
+* A token that names no subcommand. The reason is only worked out when asked
+* for, since most tokens the parser tries aren't subcommands.
+*/
+var NoSubcommand = class {
+	subcommands;
+	token;
+	prefixOf;
+	command = null;
+	/**
+	* `prefixOf` are the commands `token` is a prefix of a name of, where
+	* prefixes match. There is never exactly one of them.
+	*/
+	constructor(subcommands, token, prefixOf) {
+		this.subcommands = subcommands;
+		this.token = token;
+		this.prefixOf = prefixOf;
+	}
+	/** Why the token names none of the subcommands, as an error message and suggestions. */
+	reason() {
+		const token = this.token;
+		if (token === "") return { message: "Expected a command, but the value was empty" };
+		if (this.prefixOf.length > 0) return { message: `Ambiguous command '${token}', could be: ${this.prefixOf.flatMap((command) => asArray(command.name).filter((name) => name.startsWith(token))).join(", ")}` };
+		const choices = visibleSubcommands(this.subcommands).map((command) => asArray(command.name));
+		return {
+			message: `Unknown command '${token}'`,
+			didYouMean: {
+				input: token,
+				choices
 			}
-		}
-		if (!hasFoundArg) hasFoundArg = true;
-		tokens.push($arg(index, 0, token.length, token));
+		};
 	}
+};
+/** The subcommands that help, completion and suggestions show. */
+function visibleSubcommands(subcommands) {
+	return subcommands?.filter((subcommand) => !subcommand.hidden) ?? [];
+}
+/** The action of a command that has none of its own: print the command's help. */
+const usage = ({ help }) => {
+	print(help());
+	return 0;
+};
+// src/directives.ts
+/** The directives in effect when no command sets any. */
+function defaultDirectives() {
 	return {
-		finalState: {
-			localOptions,
-			persistentOptions,
-			localRequiredOptions,
-			persistentRequiredOptions
-		},
-		tokens
+		optionArgSeparators: ["="],
+		flagsArePosixNoncompliant: false,
+		optionsMustPrecedeArguments: false,
+		subcommandsMatchUniquePrefix: false
 	};
 }
-// src/errors.ts
-const repr = JSON.stringify;
-var ParseError = class extends Error {
-	context;
-	constructor(context, ...args) {
-		super(...args);
-		this.context = context;
-		this.name = this.constructor.name;
+/**
+* Update `directives` for entering `command`. A subcommand inherits each
+* directive until it sets its own.
+*/
+function applyDirectives(directives, command) {
+	const configured = command.parserDirectives;
+	if (!configured) return;
+	if (configured.optionArgSeparators) directives.optionArgSeparators = asArray(configured.optionArgSeparators);
+	if (typeof configured.subcommandsMatchUniquePrefix === "boolean") directives.subcommandsMatchUniquePrefix = configured.subcommandsMatchUniquePrefix;
+	if (typeof configured.optionsMustPrecedeArguments === "boolean") directives.optionsMustPrecedeArguments = configured.optionsMustPrecedeArguments;
+	if (typeof configured.flagsArePosixNoncompliant === "boolean") directives.flagsArePosixNoncompliant = configured.flagsArePosixNoncompliant;
+}
+// src/scope.ts
+/**
+* The options and directives in effect at one command on a path.
+*
+* Moving to a subcommand replaces the local options and adds its persistent
+* options to the inherited ones. A name refers to one option: a local option
+* wins over a persistent one, and a later option wins over an earlier one in
+* the same list. The parser, help, completion and the spec checker all ask
+* this module which option a name refers to, so they can't disagree. It also
+* holds the persistent subcommands the current command inherits.
+*/
+var OptionScope = class OptionScope {
+	/** Non-persistent options of the current command, in definition order. */
+	local = [];
+	/** Persistent options from every command on the path, in definition order. */
+	persistent = [];
+	/**
+	* Persistent subcommands of the commands above the current one, nearest
+	* command first, so a nearer one wins a name.
+	*/
+	inheritedSubcommands = [];
+	/** The directives in effect. A subcommand inherits each until it sets its own. */
+	directives = defaultDirectives();
+	command = null;
+	/** The scope at the last command on `path`. */
+	static at(path) {
+		const scope = new OptionScope();
+		for (const command of path) scope.enter(command);
+		return scope;
 	}
-};
-var UnknownOption = class extends ParseError {
-	index;
-	start;
-	end;
-	option;
-	validOptions;
-	constructor(token, context) {
-		const msg = `${repr(token.literal)} looks like a flag, but is unknown in this context`;
-		super(context, msg);
-		this.option = token.literal;
-		this.validOptions = token.validOptions;
-		this.index = token.index;
-		this.start = token.start;
-		this.end = token.end;
+	/** Move to `command`, a subcommand of the current one. */
+	enter(command) {
+		const parentSubcommands = this.command?.subcommands;
+		if (parentSubcommands) {
+			const persistent = parentSubcommands.filter((subcommand) => subcommand.isPersistent);
+			if (persistent.length > 0) this.inheritedSubcommands.unshift(...persistent);
+		}
+		this.command = command;
+		this.local.length = 0;
+		if (command.options) for (const option of command.options) (option.isPersistent ? this.persistent : this.local).push(option);
+		applyDirectives(this.directives, command);
 	}
-};
-var InvalidOptionArg = class extends ParseError {
-	index;
-	start;
-	end;
-	arg;
-	option;
-	constructor(token, context) {
-		const msg = `Option ${token.option} doesn't take arguments`;
-		super(context, msg);
-		this.index = token.index;
-		this.start = token.start;
-		this.end = token.end;
-		this.option = token.option;
-		this.arg = token.literal;
+	/** The option `name` refers to, if any. */
+	resolve(name) {
+		const { local, persistent } = this;
+		for (let i = local.length - 1; i >= 0; i--) if (hasName(local[i].name, name)) return local[i];
+		for (let i = persistent.length - 1; i >= 0; i--) if (hasName(persistent[i].name, name)) return persistent[i];
+		return null;
 	}
-};
-var TooManyArguments = class extends ParseError {
-	index;
-	value;
-	constructor(token, context) {
-		const msg = `Too many arguments, ${repr(token.literal)} was unexpected`;
-		super(context, msg);
-		this.index = token.index;
-		this.value = token.literal;
+	/**
+	* The options that can be used here, in definition order, each with only
+	* its live names: the names that still refer to it. Options with every name
+	* shadowed are left out.
+	*/
+	live() {
+		const owner = /* @__PURE__ */ new Map();
+		for (const options of [this.persistent, this.local]) for (const option of options) for (const name of asArray(option.name)) owner.set(name, option);
+		const pick = (options) => {
+			const picked = [];
+			for (const option of options) {
+				const names = asArray(option.name).filter((name) => owner.get(name) === option);
+				if (names.length > 0) picked.push({
+					option,
+					names
+				});
+			}
+			return picked;
+		};
+		return {
+			local: pick(this.local),
+			persistent: pick(this.persistent)
+		};
 	}
-};
-var TooFewOptionArguments = class extends ParseError {
-	constructor(min, max, context) {
-		const msg = min === max ? `Option needs ${min} argument${min === 1 ? "" : "s"}` : !Number.isFinite(max) ? `Option needs at least ${min} argument${min === 1 ? "" : "s"}` : `Option needs between ${min} and ${max} arguments`;
-		super(context, msg);
+	/** The options a user can see here: the {@link live} ones that aren't hidden. */
+	visible() {
+		const { local, persistent } = this.live();
+		const shown = (visible) => !visible.option.hidden;
+		return {
+			local: local.filter(shown),
+			persistent: persistent.filter(shown)
+		};
 	}
-};
-var TooFewArguments = class extends ParseError {
-	constructor(min, max, context) {
-		const msg = min === max ? `Expected ${min} argument${min === 1 ? "" : "s"}` : !Number.isFinite(max) ? `Expected at least ${min} argument${min === 1 ? "" : "s"}` : `Expected between ${min} and ${max} arguments`;
-		super(context, msg);
+	/** The live names of each option a user could have meant, for "did you mean" suggestions. */
+	suggestionNames() {
+		const { local, persistent } = this.visible();
+		return [...local, ...persistent].map((visible) => visible.names);
 	}
-};
-var MissingRequiredOption = class extends ParseError {
-	constructor(name, context) {
-		const msg = `Option ${name} is required, but wasn't found`;
-		super(context, msg);
+	/** The options that must be used, local first. */
+	required() {
+		return [...this.local, ...this.persistent].filter((option) => option.isRequired);
+	}
+	/**
+	* How each of `names` is written with `option`'s value here. Help shows
+	* these, completion offers them, and the spec checker reads each one back
+	* through the parser.
+	*/
+	forms(option, names = asArray(option.name)) {
+		const join = (name) => {
+			if (getMaxArgs(option.args) === 0) return null;
+			if (option.requiresSeparator) return this.requiredSeparator(option);
+			return !this.directives.flagsArePosixNoncompliant && (name === "-" || name === "+") ? "" : null;
+		};
+		return names.map((name) => ({
+			name,
+			join: join(name)
+		}));
+	}
+	/**
+	* The separator that must come between `option` and its value, or null if
+	* it can take a value as a separate token.
+	*/
+	requiredSeparator(option) {
+		const required = option.requiresSeparator;
+		if (typeof required === "string") return required;
+		return required ? this.directives.optionArgSeparators[0] ?? "=" : null;
 	}
 };
-// src/help.ts
-var import_fastest_levenshtein = (/* @__PURE__ */ __commonJSMin(((exports) => {
-	exports.__esModule = true;
-	exports.distance = exports.closest = void 0;
-	var peq = /* @__PURE__ */ new Uint32Array(65536);
-	var myers_32 = function(a, b) {
-		var n = a.length;
-		var m = b.length;
-		var lst = 1 << n - 1;
-		var pv = -1;
-		var mv = 0;
-		var sc = n;
-		var i = n;
-		while (i--) peq[a.charCodeAt(i)] |= 1 << i;
-		for (i = 0; i < m; i++) {
-			var eq = peq[b.charCodeAt(i)];
-			var xv = eq | mv;
-			eq |= (eq & pv) + pv ^ pv;
-			mv |= ~(eq | pv);
-			pv &= eq;
-			if (mv & lst) sc++;
-			if (pv & lst) sc--;
-			mv = mv << 1 | 1;
-			pv = pv << 1 | ~(xv | mv);
-			mv &= xv;
-		}
-		i = n;
-		while (i--) peq[a.charCodeAt(i)] = 0;
-		return sc;
-	};
-	var myers_x = function(b, a) {
-		var n = a.length;
-		var m = b.length;
-		var mhc = [];
-		var phc = [];
-		var hsize = Math.ceil(n / 32);
-		var vsize = Math.ceil(m / 32);
-		for (var i = 0; i < hsize; i++) {
-			phc[i] = -1;
-			mhc[i] = 0;
-		}
-		var j = 0;
-		for (; j < vsize - 1; j++) {
-			var mv_1 = 0;
-			var pv_1 = -1;
-			var start_1 = j * 32;
-			var vlen_1 = Math.min(32, m) + start_1;
-			for (var k = start_1; k < vlen_1; k++) peq[b.charCodeAt(k)] |= 1 << k;
-			for (var i = 0; i < n; i++) {
-				var eq = peq[a.charCodeAt(i)];
-				var pb = phc[i / 32 | 0] >>> i & 1;
-				var mb = mhc[i / 32 | 0] >>> i & 1;
-				var xv = eq | mv_1;
-				var xh = ((eq | mb) & pv_1) + pv_1 ^ pv_1 | eq | mb;
-				var ph = mv_1 | ~(xh | pv_1);
-				var mh = pv_1 & xh;
-				if (ph >>> 31 ^ pb) phc[i / 32 | 0] ^= 1 << i;
-				if (mh >>> 31 ^ mb) mhc[i / 32 | 0] ^= 1 << i;
-				ph = ph << 1 | pb;
-				mh = mh << 1 | mb;
-				pv_1 = mh | ~(xv | ph);
-				mv_1 = ph & xv;
-			}
-			for (var k = start_1; k < vlen_1; k++) peq[b.charCodeAt(k)] = 0;
-		}
-		var mv = 0;
-		var pv = -1;
-		var start = j * 32;
-		var vlen = Math.min(32, m - start) + start;
-		for (var k = start; k < vlen; k++) peq[b.charCodeAt(k)] |= 1 << k;
-		var score = m;
-		for (var i = 0; i < n; i++) {
-			var eq = peq[a.charCodeAt(i)];
-			var pb = phc[i / 32 | 0] >>> i & 1;
-			var mb = mhc[i / 32 | 0] >>> i & 1;
-			var xv = eq | mv;
-			var xh = ((eq | mb) & pv) + pv ^ pv | eq | mb;
-			var ph = mv | ~(xh | pv);
-			var mh = pv & xh;
-			score += ph >>> m - 1 & 1;
-			score -= mh >>> m - 1 & 1;
-			if (ph >>> 31 ^ pb) phc[i / 32 | 0] ^= 1 << i;
-			if (mh >>> 31 ^ mb) mhc[i / 32 | 0] ^= 1 << i;
-			ph = ph << 1 | pb;
-			mh = mh << 1 | mb;
-			pv = mh | ~(xv | ph);
-			mv = ph & xv;
-		}
-		for (var k = start; k < vlen; k++) peq[b.charCodeAt(k)] = 0;
-		return score;
-	};
-	var distance = function(a, b) {
-		if (a.length < b.length) {
-			var tmp = b;
-			b = a;
-			a = tmp;
-		}
-		if (b.length === 0) return a.length;
-		if (a.length <= 32) return myers_32(a, b);
-		return myers_x(a, b);
-	};
-	exports.distance = distance;
-	var closest = function(str, arr) {
-		var min_distance = Infinity;
-		var min_index = 0;
-		for (var i = 0; i < arr.length; i++) {
-			var dist = distance(str, arr[i]);
-			if (dist < min_distance) {
-				min_distance = dist;
-				min_index = i;
-			}
-		}
-		return arr[min_index];
-	};
-	exports.closest = closest;
-})))();
-function getNamed(named, name) {
-	return named.find((obj) => makeArray(obj.name).includes(name)) ?? null;
-}
-function getParserDirective(path, key) {
-	for (let index = path.length - 1; index >= 0; index -= 1) {
-		const command = path[index];
-		if (command?.parserDirectives && key in command.parserDirectives) return command.parserDirectives[key];
+const optionKeys = /* @__PURE__ */ new WeakMap();
+/**
+* A key for the set of `option`'s names. Options with the same names, in any
+* order, get the same key and are one option: the parser continues a
+* repeatable option's uses across them, counts one as used when the other was,
+* and stores their values under the same names, which is how they're read.
+* Options that share only some names are different options, and each shared
+* name refers to whichever one `resolve` picks.
+*/
+function optionKey(option) {
+	let key = optionKeys.get(option);
+	if (key === void 0) {
+		key = typeof option.name === "string" ? option.name : [...option.name].sort().join("\0");
+		optionKeys.set(option, key);
 	}
+	return key;
 }
+function hasName(names, name) {
+	return typeof names === "string" ? names === name : names.includes(name);
+}
+// src/help.ts
 function dedent(str) {
 	if (str[0] !== "\n") return str;
 	const lines = str.split("\n").slice(1, -1);
@@ -472,86 +439,58 @@ function dedent(str) {
 function getHelp(path, config = {}) {
 	const { description = true, usage = true, didYouMean } = config;
 	const sections = getSections(path);
-	if (didYouMean) sections.didYouMean = (0, import_fastest_levenshtein.closest)(didYouMean.input, didYouMean.choices);
+	if (didYouMean) sections.didYouMean = closestChoice(didYouMean.input, didYouMean.choices);
 	if (!description) sections.description = void 0;
 	if (!usage) sections.usage = void 0;
 	return formatHelpSections(sections);
 }
 /**
-* Action that prints usage for commands where a subcommand must be provided.
+* Print `message` as an error, then the usage and flags of the last command on
+* `path`, suggesting the closest of `didYouMean.choices` if one is close.
+*/
+function printUsageError(path, message, didYouMean) {
+	printError(`${message}\n\n${getHelp(path, {
+		description: false,
+		didYouMean
+	})}`);
+}
+/**
+* A subcommand that prints help for its parent, or for the command the names
+* after it lead to from there, so `cli help a b` prints the help of `cli a b`.
+* It reads names until one isn't a subcommand. A token where the command takes
+* arguments, or where it has no subcommands, ends the names, so
+* `cli help completion zsh` prints the help of `completion`. Any other token
+* is an unknown command. Add `{ ...helpCommand, isPersistent: true }` instead
+* to make `cli a b help` work too.
 */
-const usage = ({ path, args: [command], help }) => {
-	if (command === void 0) {
-		print(help());
-		return 0;
-	}
-	if (command === "") {
-		printActionError(`Expected a command, but the value was empty\n\n${help({ description: false })}`);
-		return 1;
-	}
-	const subcommands = path.at(-1)?.subcommands?.filter((cmd) => !cmd.hidden).flatMap((cmd) => cmd.name);
-	if (subcommands && subcommands.length > 0) {
-		if (getParserDirective(path, "subcommandsMatchUniquePrefix")) {
-			const possible = subcommands.filter((name) => name.startsWith(command));
-			if (possible.length > 0) {
-				printActionError(`Ambiguous command '${command}', could be: ${possible.join(", ")}\n\n${help({ description: false })}`);
-				return 1;
-			}
-		}
-		printActionError(`Unknown command '${command}'\n\n${help({
-			description: false,
-			didYouMean: {
-				input: command,
-				choices: subcommands
-			}
-		})}`);
-		return 1;
-	}
-	printActionError(`Unknown command '${command}'\n\n${help({ description: false })}`);
-	return 1;
-};
-/** A subcommand that prints help for its parent or a sibling command. */
 const helpCommand = {
 	name: "help",
 	description: "Print a help message",
 	args: {
 		name: "command",
-		isOptional: true
+		isOptional: true,
+		isVariadic: true
 	},
-	action({ path, args: [commandName], help }) {
-		const helpRoot = path.slice(0, -1);
-		if (!commandName) {
-			print(help({ path: helpRoot }));
-			return 0;
-		}
-		const parent = path[path.length - 2];
-		if (!parent.subcommands) {
-			printActionError(`No subcommands, try using 'help' with nothing after it\n\n${help({
-				description: false,
-				path: helpRoot
-			})}`);
-			return 1;
-		}
-		const command = getNamed(parent.subcommands, commandName);
-		if (!command) {
-			const subcommands = parent.subcommands.filter((cmd) => !cmd.hidden).flatMap((cmd) => cmd.name);
-			if (subcommands.length > 0) {
-				printActionError(`There is no subcommand named '${commandName}'\n\n${help({
-					path: helpRoot,
-					didYouMean: {
-						input: commandName,
-						choices: subcommands
-					}
-				})}`);
-				return 1;
+	action({ path, args, help }) {
+		const self = path[path.length - 1];
+		const helpPath = path.slice(0, -1);
+		for (const name of args) {
+			const command = helpPath[helpPath.length - 1];
+			if (!command.subcommands) break;
+			const scope = OptionScope.at(helpPath);
+			const match = matchSubcommand(command.subcommands, name, scope.directives, false, scope.inheritedSubcommands);
+			if (match.command === self && !command.subcommands.includes(self)) break;
+			if (match.command) {
+				helpPath.push(match.command);
+				continue;
 			}
-			printActionError(`There is no subcommand named '${commandName}'\n\n${help({
-				description: false,
-				path: helpRoot
-			})}`);
+			if (!command.requiresSubcommand && getMaxArgs(command.args) > 0) break;
+			const { message, didYouMean } = match.reason();
+			printUsageError(helpPath, message, didYouMean);
 			return 1;
 		}
-		print(help({ path: [...helpRoot, command] }));
+		print(help({ path: helpPath }));
+		return 0;
 	}
 };
 /** A persistent help option that prints help for the selected command. */
@@ -567,46 +506,60 @@ const help = {
 function getSubcommandPathString(commands) {
 	return commands.map((command) => getLongestString(makeArray1(command.name))).join(" ");
 }
-function nonNullable(value) {
-	return value !== null && value !== void 0;
-}
 function getSections(commands) {
 	const command = commands[commands.length - 1];
+	const scope = OptionScope.at(commands);
+	const show = ({ option, names }) => optionToString(option, scope.forms(option, names));
 	const description = command.description;
 	const defaultDesc = "No description";
-	const subcommands = command.subcommands ? command.subcommands.filter((subcommand) => !subcommand.hidden).map((subcommand) => [makeArray1(subcommand.name).sort((a, b) => a.length - b.length).join(", "), subcommand.description ?? defaultDesc]) : [];
-	let persistentOptionObjects = [];
-	let optionObjects = [];
-	let persistentOptions = [];
-	let options = [];
+	const subcommands = visibleSubcommands(command.subcommands).map((subcommand) => [makeArray1(subcommand.name).sort((a, b) => a.length - b.length).join(", "), subcommand.description ?? defaultDesc]);
+	const visible = scope.visible();
+	let optionObjects = visible.local;
+	let persistentOptionObjects = visible.persistent;
 	if (commands.length === 1 && subcommands.length === 0) {
-		optionObjects = command.options ? command.options.filter((option) => !option.hidden) : [];
-		options = optionObjects.map((option) => [optionToString(option), option.description ?? defaultDesc]);
-	} else {
-		persistentOptionObjects = commands.map((command) => command.options).filter(nonNullable).flat().filter((option) => option.isPersistent && !option.hidden);
-		persistentOptions = persistentOptionObjects.map((option) => [optionToString(option), option.description ?? defaultDesc]);
-		optionObjects = (command.options ?? []).filter((option) => !option.hidden && !option.isPersistent);
-		options = optionObjects.map((option) => [optionToString(option), option.description ?? defaultDesc]);
+		const byOption = new Map([...optionObjects, ...persistentOptionObjects].map((v) => [v.option, v]));
+		optionObjects = (command.options ?? []).flatMap((option) => byOption.get(option) ?? []);
+		persistentOptionObjects = [];
 	}
+	const row = (visible) => {
+		const defaults = [];
+		addDefaults(defaults, asArray(visible.option.args));
+		return [show(visible), withDefaults(visible.option.description, defaults, defaultDesc)];
+	};
+	const options = optionObjects.map(row);
+	const persistentOptions = persistentOptionObjects.map(row);
+	const usage = (() => {
+		const parts = [getSubcommandPathString(commands)];
+		for (const visible of [...optionObjects, ...persistentOptionObjects]) if (visible.option.isRequired) parts.push(show(visible));
+		if (options.length || persistentOptions.length) parts.push("[flags]");
+		if (command.requiresSubcommand) parts.push("<command>");
+		else {
+			const args = makeArray(command.args);
+			if (args.length > 0) parts.push(summarizeArguments(args));
+		}
+		return parts.join(" ");
+	})();
+	const positionals = command.requiresSubcommand ? [] : asArray(command.args);
 	return {
-		usage: (() => {
-			const parts = [getSubcommandPathString(commands)];
-			const required = [...optionObjects.filter((option) => option.isRequired), ...persistentOptionObjects.filter((option) => option.isRequired)];
-			for (const option of required) parts.push(optionToString(option));
-			if (options.length || persistentOptions.length) parts.push("[flags]");
-			if (command.requiresSubcommand) parts.push("<command>");
-			else {
-				const args = makeArray(command.args);
-				if (args.length > 0) parts.push(summarizeArguments(args));
-			}
-			return parts.join(" ");
-		})(),
+		usage,
 		description,
+		args: positionals.some((arg) => arg.description !== void 0 || arg.default !== void 0) ? positionals.map((arg) => [(arg.name || "argument") + (arg.isVariadic ? "..." : ""), withDefaults(arg.description, arg.default === void 0 ? [] : [arg.default], "")]) : [],
 		persistentOptions,
 		options,
 		subcommands
 	};
 }
+/**
+* A description ending with the defaults the parser uses. They go on a line of
+* their own when the last line would be too long for the 68 characters the
+* spec checks allow.
+*/
+function withDefaults(description, defaults, defaultDesc) {
+	if (defaults.length === 0) return description ?? defaultDesc;
+	const shown = `(default: ${defaults.join(" ")})`;
+	if (description === void 0) return shown;
+	return `${description}${description.slice(description.lastIndexOf("\n") + 1).length + 1 + shown.length <= 68 ? " " : "\n"}${shown}`;
+}
 function formatHelpSections(sections) {
 	const parts = [];
 	const indent = "  ";
@@ -615,17 +568,26 @@ function formatHelpSections(sections) {
 	if (sections.usage) parts.push(`Usage:\n${indent}${sections.usage}`);
 	const longestOptionName = Math.max(0, ...sections.options.map(([name]) => name.length), ...sections.persistentOptions.map(([name]) => name.length));
 	const minSpacingBetweenNameAndDesc = 2;
-	const formatOptions = (options) => {
+	const formatRows = (rows, width) => {
 		const lines = [];
-		const newline = indent + " ".repeat(longestOptionName + minSpacingBetweenNameAndDesc);
-		for (const [name, desc] of options) {
-			const spaces = " ".repeat(longestOptionName - name.length + minSpacingBetweenNameAndDesc);
+		const newline = indent + " ".repeat(width + minSpacingBetweenNameAndDesc);
+		for (const [name, desc] of rows) {
+			if (desc === "") {
+				lines.push(`${indent}${name}`);
+				continue;
+			}
+			const spaces = " ".repeat(width - name.length + minSpacingBetweenNameAndDesc);
 			const [head, ...tail] = desc.split("\n");
 			const description = [head, ...tail.map((line) => newline + line)].join("\n");
 			lines.push(`${indent}${name}${spaces}${description}`);
 		}
 		return lines;
 	};
+	const formatOptions = (options) => formatRows(options, longestOptionName);
+	if (sections.args.length > 0) {
+		const longestArgName = Math.max(...sections.args.map(([name]) => name.length));
+		parts.push(["Arguments:", ...formatRows(sections.args, longestArgName)].join("\n"));
+	}
 	if (sections.subcommands.length > 0) {
 		const lines = ["Commands:"];
 		const longestName = Math.max(...sections.subcommands.map(([name]) => name.length));
@@ -656,16 +618,25 @@ function getLongestString(strings) {
 	}
 	return longest;
 }
-function optionToString(option) {
-	const name = makeArray1(option.name).sort((a, b) => a.length - b.length).join(", ");
+/**
+* Show an option's names, each written with its arguments the way `forms`
+* says. Names written the same way share one copy of the arguments.
+*/
+function optionToString(option, forms) {
 	const optionArgs = makeArray(option.args);
-	if (optionArgs.length === 0) return name;
-	if (option.requiresSeparator) {
-		const separator = option.requiresSeparator === true ? "=" : option.requiresSeparator;
-		if (optionArgs[0].isOptional) return `${name}[${separator}${optionArgs[0].name || "argument"}]`;
-		return `${name}${separator}<${optionArgs[0].name || "argument"}>`;
-	}
-	return `${name} ${summarizeArguments(optionArgs)}`;
+	const sorted = [...forms].sort((a, b) => a.name.length - b.name.length);
+	return [...new Set(sorted.map((form) => form.join))].map((join) => {
+		return sorted.filter((form) => form.join === join).map((form) => form.name).join(", ") + argumentsAfterName(optionArgs, join);
+	}).join(", ");
+}
+/** The text after an option's name that shows its arguments, joined to the name by `join`. */
+function argumentsAfterName(args, join) {
+	if (args.length === 0) return "";
+	if (join === null) return ` ${summarizeArguments(args)}`;
+	const [first, ...rest] = args;
+	const name = first.name || "argument";
+	const joined = (first.isOptional ? `[${join}${name}]` : `${join}<${name}>`) + (first.isVariadic ? "..." : "");
+	return rest.length > 0 ? `${joined} ${summarizeArguments(rest)}` : joined;
 }
 function summarizeArguments(args) {
 	return args.map((arg) => argToString(arg)).join(" ");
@@ -682,217 +653,602 @@ function argToString(arg) {
 	if (arg.isVariadic) suffix = "...";
 	return `${lhs}${name}${rhs}${suffix}`;
 }
-// src/parse.ts
+// src/errors.ts
+const repr = JSON.stringify;
 /**
-* Returns the minimum number of arguments that satisfies the args.
-*
-* Accepts the raw spec value (a single arg, an array, or `undefined`) so the
-* hot path doesn't have to copy it into an array first.
+* A command line the parser can't accept. `run` prints the message with the
+* help for the command at `context.path`, and suggests the closest of
+* `didYouMean.choices` if there is one.
 */
-function getMinArgs(args) {
-	if (args === void 0) return 0;
-	if (!isArray(args)) return args.isOptional ? 0 : 1;
-	let count = 0;
-	for (let i = 0; i < args.length; i++) {
-		if (args[i].isOptional) break;
-		count++;
+var ParseError = class extends Error {
+	context;
+	didYouMean;
+	constructor(context, message, didYouMean) {
+		super(message);
+		this.context = context;
+		this.didYouMean = didYouMean;
+		this.name = this.constructor.name;
 	}
-	return count;
-}
-/** Returns the maximum number of arguments that satisfies the args. */
-function getMaxArgs(args) {
-	if (args === void 0) return 0;
-	if (!isArray(args)) return args.isVariadic ? Infinity : 1;
-	for (let i = 0; i < args.length; i++) if (args[args.length - 1 - i].isVariadic) return Infinity;
-	return args.length;
+};
+var UnknownOption = class extends ParseError {
+	option;
+	constructor(option, validOptions, context) {
+		const msg = `${repr(option)} looks like a flag, but is unknown in this context`;
+		super(context, msg, {
+			input: option,
+			choices: validOptions
+		});
+		this.option = option;
+	}
+};
+var InvalidOptionArg = class extends ParseError {
+	option;
+	constructor(option, context) {
+		super(context, `Option ${option} doesn't take arguments`);
+		this.option = option;
+	}
+};
+var TooManyArguments = class extends ParseError {
+	constructor(value, context) {
+		super(context, `Too many arguments, ${repr(value)} was unexpected`);
+	}
+};
+var TooFewOptionArguments = class extends ParseError {
+	constructor(option, min, max, context) {
+		const msg = min === max ? `Option ${option} needs ${min} argument${min === 1 ? "" : "s"}` : !Number.isFinite(max) ? `Option ${option} needs at least ${min} argument${min === 1 ? "" : "s"}` : `Option ${option} needs between ${min} and ${max} arguments`;
+		super(context, msg);
+	}
+};
+var TooFewArguments = class extends ParseError {
+	constructor(min, max, context) {
+		const msg = min === max ? `Expected ${min} argument${min === 1 ? "" : "s"}` : !Number.isFinite(max) ? `Expected at least ${min} argument${min === 1 ? "" : "s"}` : `Expected between ${min} and ${max} arguments`;
+		super(context, msg);
+	}
+};
+var MissingRequiredOption = class extends ParseError {
+	constructor(name, context) {
+		const msg = `Option ${name} is required, but wasn't found`;
+		super(context, msg);
+	}
+};
+// src/parse.ts
+/** The first of `separators` that `text` starts with, or "" if none. */
+function leadingSeparator(text, separators) {
+	for (const sep of separators) if (text.startsWith(sep)) return sep;
+	return "";
 }
-/** Check if a map has a key or any key from an array */
-function has(map, key) {
-	if (isArray(key)) return map.has(key[0]);
-	return map.has(key);
+/**
+* Find the separator that appears first in `token`, so the value after it can
+* contain the other separators. When two separators start at the same place,
+* the longer one wins. Returns null if there's no separator, or if the one
+* found is empty.
+*/
+function firstSeparator(token, separators) {
+	let sep = "";
+	let index = -1;
+	for (const candidate of separators) {
+		const at = token.indexOf(candidate);
+		if (at === -1) continue;
+		if (index === -1 || at < index || at === index && candidate.length > sep.length) {
+			sep = candidate;
+			index = at;
+		}
+	}
+	return sep ? {
+		index,
+		sep
+	} : null;
 }
-/** Get a value from a map by a key or any key from an array */
-function get(map, key) {
-	if (isArray(key)) return map.get(key[0]);
-	return map.get(key);
+/**
+* Throw if the options used break a `dependsOn` or `exclusiveOn` rule, or if
+* any of `required` is missing.
+*/
+function checkOptionRules(options, seenOptions, required, context) {
+	for (const option of seenOptions) {
+		if (!option.dependsOn) continue;
+		for (const name of option.dependsOn) if (!options.has(name)) throw new ParseError(context, `${asArray(option.name).join("/")} requires ${name}, add it to fix this error`);
+	}
+	for (const option of seenOptions) {
+		if (!option.exclusiveOn) continue;
+		for (const name of option.exclusiveOn) if (options.has(name)) throw new ParseError(context, `${asArray(option.name).join("/")} can't be used together with ${name}`);
+	}
+	for (const option of required) for (const name of asArray(option.name)) if (!options.has(name)) throw new MissingRequiredOption(name, context);
 }
 /**
-* Parse the input tokens using the given CLI spec.
-*
-* This returns a `ParseResult`, which contains the array of
-* subcommands used, the provided options, and the arguments.
-*
-* If parsing fails, this function throws.
-*
-* This function is exposed to make it easier to build a custom runner.
+* The state of reading one command line in a single pass. This is the only
+* code that decides what each input token is. When `strict`, it throws on the
+* first problem, which is what {@link parse} needs. Otherwise it never throws:
+* it skips whatever is invalid and keeps going, so {@link readNext} can still
+* read a line that's wrong at the moment. Each method handles one kind of
+* token.
 */
-function parse(input, spec) {
-	const path = [spec];
-	const actions = [];
-	const optionActions = [];
-	if (spec.action) actions.push(spec.action);
-	else if (spec.requiresSubcommand) actions.push(usage);
-	let commandArgsMin = getMinArgs(spec.args);
-	let commandArgsMax = getMaxArgs(spec.args);
-	const foundArgs = [];
-	const foundOptions = /* @__PURE__ */ new Map();
-	let state = 0;
-	let optionArgs = null;
-	let optionArgsMin = 0;
-	let optionArgsMax = 0;
-	let requiredSeparator = false;
-	let argSeparatorIndex = -1;
-	const dependsOnOptions = [];
-	const exclusiveOnOptions = [];
-	const parseOption = (token) => {
-		const option = token.option;
-		if (!option.isRepeatable && has(foundOptions, option.name)) throw new ParseError(ctx(), "Repeated option");
-		if (option.exclusiveOn) exclusiveOnOptions.push(option);
-		if (option.dependsOn) dependsOnOptions.push(option);
-		if (option.action) optionActions.push(option.action);
+var Scanner = class {
+	strict;
+	path;
+	optionAction = void 0;
+	args = [];
+	options = /* @__PURE__ */ new Map();
+	seenOptions = [];
+	argSeparatorIndex = -1;
+	scope = new OptionScope();
+	subcommands = void 0;
+	commandArgsMin = 0;
+	commandArgsMax = 0;
+	directives = this.scope.directives;
+	hasFoundArg = false;
+	openOption = null;
+	openOptionName = "";
+	valueCount = 0;
+	valueMin = 0;
+	separateValueMax = 0;
+	values = null;
+	valuesStart = 0;
+	valuesMin = 0;
+	valuesMax = 0;
+	valueArgs = [];
+	requiredSeparator = false;
+	tooManyArgs = null;
+	repeatedUses = /* @__PURE__ */ new Map();
+	attached = null;
+	constructor(spec, strict) {
+		this.strict = strict;
+		this.path = [spec];
+		this.enterCommand(spec);
+	}
+	ctx() {
+		return { path: this.path };
+	}
+	/** Whether the open option can take the next token as a value. */
+	get hasRoomForValue() {
+		return this.valueCount < this.separateValueMax;
+	}
+	enterCommand(command) {
+		this.scope.enter(command);
+		this.subcommands = command.subcommands;
+		this.commandArgsMin = getMinArgs(command.args);
+		this.commandArgsMax = getMaxArgs(command.args);
+	}
+	findOption(name) {
+		return this.scope.resolve(name);
+	}
+	unknownOption(option) {
+		return new UnknownOption(option, this.scope.suggestionNames(), this.ctx());
+	}
+	endOption() {
+		const values = this.values;
+		if (this.strict && values) {
+			const given = values.length - this.valuesStart;
+			if (given < this.valuesMin) throw new TooFewOptionArguments(this.openOptionName, this.valuesMin, this.valuesMax, this.ctx());
+			addDefaults(values, this.valueArgs, given);
+		}
+		this.values = null;
+	}
+	/** End the open option, so no later token can be its value. */
+	closeOption() {
+		this.endOption();
+		this.openOption = null;
+		this.valueCount = this.valueMin = this.separateValueMax = 0;
+	}
+	useOption(option, name) {
+		this.endOption();
+		this.openOption = option;
+		this.openOptionName = name;
+		this.valueCount = 0;
+		this.valueMin = getMinArgs(option.args);
+		this.separateValueMax = option.requiresSeparator ? 0 : getMaxArgs(option.args);
+		this.seenOptions.push(option);
+		if (option.action) this.optionAction = option.action;
+		const names = asArray(option.name);
+		const options = this.options;
+		let optionValues;
 		if (option.isRepeatable) {
 			const maxRepeat = option.isRepeatable === true ? Infinity : option.isRepeatable;
-			let arr = get(foundOptions, option.name);
-			if (!arr) {
-				arr = [];
-				setEach(foundOptions, option.name, arr);
+			const key = optionKey(option);
+			let uses = this.repeatedUses.get(key);
+			if (!uses) {
+				uses = {
+					values: [],
+					count: 0
+				};
+				this.repeatedUses.set(key, uses);
+			}
+			if (this.strict && uses.count >= maxRepeat) throw new ParseError(this.ctx(), "Too many repetitions");
+			uses.count += 1;
+			for (const other of names) options.set(other, uses.values);
+			if (!option.args) {
+				uses.values.push("");
+				return;
+			}
+			optionValues = uses.values;
+		} else {
+			optionValues = [];
+			for (const other of names) options.set(other, optionValues);
+		}
+		this.valuesMin = this.valueMin;
+		this.valuesMax = getMaxArgs(option.args);
+		this.requiredSeparator = option.requiresSeparator ?? false;
+		if (this.valuesMax > 0) {
+			this.values = optionValues;
+			this.valuesStart = optionValues.length;
+			this.valueArgs = asArray(option.args);
+		}
+	}
+	/**
+	* Add a value to the open option. Returns whether it's a value the option
+	* accepts. A lenient read keeps going either way.
+	*/
+	addValue(value, separator) {
+		this.valueCount += 1;
+		if (!this.values) {
+			if (this.strict) throw new InvalidOptionArg(this.openOptionName, this.ctx());
+			return false;
+		}
+		const requiredSeparator = this.requiredSeparator;
+		let accepted = true;
+		if (typeof requiredSeparator === "string" && separator !== requiredSeparator) {
+			if (this.strict) throw new ParseError(this.ctx(), `Incorrect separator, use '${requiredSeparator}' instead of '${separator}'`);
+			accepted = false;
+		}
+		if (requiredSeparator === true && separator === "") {
+			if (this.strict) {
+				const suggested = this.scope.requiredSeparator(this.openOption);
+				throw new ParseError(this.ctx(), `Missing separator, use '${suggested}' between ${this.openOptionName} and its value`);
 			}
-			if (arr.length >= maxRepeat) throw new ParseError(ctx(), "Too many repetitions");
-			arr.push("");
+			accepted = false;
+		}
+		this.values.push(value);
+		return accepted;
+	}
+	/**
+	* Add a value attached to the option's own token, the token at `index`,
+	* starting at `start`. It's the option's only value, so no later token can be
+	* one.
+	*/
+	addAttachedValue(index, start, value, separator) {
+		if (this.addValue(value, separator)) this.attached = {
+			option: this.openOption,
+			index,
+			start
+		};
+		this.valueMin = this.separateValueMax = 0;
+	}
+	/**
+	* Whether the command already has all the arguments it takes. A command that
+	* requires a subcommand takes none.
+	*/
+	get argsAreFull() {
+		const path = this.path;
+		return path[path.length - 1].requiresSubcommand === true || this.args.length >= this.commandArgsMax;
+	}
+	addArg(value) {
+		this.endOption();
+		if (this.strict && this.argsAreFull) this.tooManyArgs ??= new TooManyArguments(value, this.ctx());
+		this.args.push(value);
+	}
+	/** Read `--` and every token after it as arguments. */
+	argSeparator(input, index) {
+		this.closeOption();
+		const command = this.path[this.path.length - 1];
+		if (this.strict && this.argsAreFull && !command.requiresSubcommand) this.tooManyArgs ??= new ParseError(this.ctx(), "Unexpected argument '--', did you mean to use an option instead?");
+		this.argSeparatorIndex = this.args.length;
+		for (index += 1; index < input.length; index++) this.addArg(input[index]);
+	}
+	/**
+	* Whether the next token can name a subcommand, its own or an inherited
+	* one. It can't once an argument is found, or while the open option needs
+	* the next token as its value. A required or variadic option value takes
+	* priority over a subcommand.
+	*/
+	get canMatchSubcommand() {
+		if (this.hasFoundArg) return false;
+		if (!this.subcommands && this.scope.inheritedSubcommands.length === 0) return false;
+		return !(this.valueCount < this.valueMin || this.hasRoomForValue && this.separateValueMax === Infinity);
+	}
+	/**
+	* The subcommand the next token enters if it's `token`, or why it enters
+	* none. Null if the next token can't be a subcommand at all.
+	*/
+	subcommandFor(token) {
+		if (!this.canMatchSubcommand) return null;
+		return matchSubcommand(this.subcommands ?? [], token, this.directives, this.hasRoomForValue, this.scope.inheritedSubcommands);
+	}
+	enterSubcommand(command) {
+		this.closeOption();
+		this.path.push(command);
+		this.enterCommand(command);
+	}
+	/** Read a token like `-abc`, `+x` or `-ovalue`. */
+	shortOptions(token, index) {
+		const leadingChar = token[0];
+		const dashOption = this.findOption(leadingChar);
+		if (dashOption?.args && !this.findOption(token.slice(0, 2))) {
+			this.useOption(dashOption, leadingChar);
+			this.addAttachedValue(index, 1, token.slice(1), "");
 			return;
 		}
-		optionArgsMin = getMinArgs(option.args);
-		optionArgsMax = getMaxArgs(option.args);
-		optionArgs = [];
-		setEach(foundOptions, option.name, optionArgs);
-		if (optionArgsMax === 0) {
-			optionArgs = null;
-			state = 0;
+		for (let char = 1; char < token.length; char++) {
+			const optionName = leadingChar + token[char];
+			const option = this.findOption(optionName);
+			if (!option) {
+				if (char === 1 && this.hasRoomForValue) {
+					this.addValue(token, "");
+					return;
+				}
+				if (this.strict) throw this.unknownOption(optionName);
+				continue;
+			}
+			this.useOption(option, optionName);
+			if (char === token.length - 1) return;
+			const sep = leadingSeparator(token.slice(char + 1), this.directives.optionArgSeparators);
+			if (option.args || sep && !this.findOption(leadingChar + token[char + 1])) {
+				const argStart = char + sep.length + 1;
+				this.addAttachedValue(index, argStart, token.slice(argStart), sep);
+				return;
+			}
+		}
+	}
+	/**
+	* Read a token like `--name` or `--name=value`, or any token when options
+	* aren't POSIX compliant. Returns false if the token should be an argument.
+	*/
+	longOption(token, index) {
+		const found = firstSeparator(token, this.directives.optionArgSeparators);
+		const optionName = found ? token.slice(0, found.index) : token;
+		const option = this.findOption(optionName);
+		if (option) {
+			this.useOption(option, optionName);
+			if (found) {
+				const valueStart = found.index + found.sep.length;
+				this.addAttachedValue(index, valueStart, token.slice(valueStart), found.sep);
+			}
+			return true;
+		}
+		if (this.directives.flagsArePosixNoncompliant) return false;
+		if (this.hasRoomForValue) {
+			this.addValue(token, "");
+			return true;
+		}
+		if (this.strict) throw this.unknownOption(optionName);
+		return true;
+	}
+	/**
+	* Read a token that isn't `--`, a subcommand or an option. It's a value of
+	* the open option if that has room, and otherwise an argument, which stops
+	* later tokens from being subcommands. `unmatched` is why the token isn't a
+	* subcommand, if it could have been one.
+	*/
+	valueOrArg(token, unmatched) {
+		if (this.hasRoomForValue) {
+			this.addValue(token, "");
 			return;
 		}
-		if (option.requiresSeparator) {
-			state = 2;
-			requiredSeparator = option.requiresSeparator;
-		} else state = 1;
-	};
-	const parseArg = (token) => {
-		if (!path[path.length - 1].requiresSubcommand && foundArgs.length >= commandArgsMax) throw new TooManyArguments(token, ctx());
-		foundArgs.push(token.literal);
-	};
-	const parseArgSeparator = () => {
-		if (foundArgs.length >= commandArgsMax) throw new ParseError(ctx(), "Unexpected argument '--', did you mean to use an option instead?");
-		argSeparatorIndex = foundArgs.length;
-		state = 0;
-	};
-	const parseSubcommand = (token) => {
-		path.push(token.subcommand);
-		commandArgsMin = getMinArgs(token.subcommand.args);
-		commandArgsMax = getMaxArgs(token.subcommand.args);
-		if (token.subcommand.action) actions.push(token.subcommand.action);
-		else if (token.subcommand.requiresSubcommand) actions.push(usage);
-	};
-	const ctx = () => ({ path });
-	const { finalState, tokens } = analyze(input, spec);
-	for (const token of tokens) switch (state) {
-		case 0:
-			switch (token.kind) {
-				case "subcommand":
-					parseSubcommand(token);
-					break;
-				case "arg":
-					parseArg(token);
-					break;
-				case "option":
-					parseOption(token);
-					break;
-				case "unknown-option": throw new UnknownOption(token, ctx());
-				case "option-arg": throw new InvalidOptionArg(token, ctx());
-				case "arg-separator":
-					parseArgSeparator();
-					break;
-				default: throw new ParseError(ctx(), "Unreachable");
+		if (this.strict && unmatched && this.argsAreFull) {
+			const command = this.path[this.path.length - 1];
+			if (command.subcommands?.length || command.requiresSubcommand) {
+				const { message, didYouMean } = unmatched.reason();
+				this.tooManyArgs ??= new ParseError(this.ctx(), message, didYouMean);
 			}
-			break;
-		case 1:
-			assert(Array.isArray(optionArgs), "Invalid state, must have an array to store option arguments");
-			switch (token.kind) {
-				case "option-arg":
-				case "arg":
-					if (optionArgs.length < optionArgsMax) optionArgs.push(token.literal);
-					else {
-						optionArgs = null;
-						state = 0;
-						parseArg(token);
-					}
-					break;
-				case "option":
-					if (optionArgs.length < optionArgsMin) throw new TooFewOptionArguments(optionArgsMin, optionArgsMax, ctx());
-					parseOption(token);
-					break;
-				case "unknown-option":
-					if (optionArgs.length < optionArgsMax) optionArgs.push(token.literal);
-					else throw new UnknownOption(token, ctx());
-					break;
-				case "arg-separator":
-					if (optionArgs.length < optionArgsMin) throw new TooFewOptionArguments(optionArgsMin, optionArgsMax, ctx());
-					parseArgSeparator();
-					break;
-				case "subcommand": throw new ParseError(ctx(), "Unexpected token");
-				default: throw new ParseError(ctx(), "Unreachable");
+		}
+		this.hasFoundArg = true;
+		this.addArg(token);
+	}
+	/**
+	* Throw if the finished command line is missing anything. Returns the action
+	* to run.
+	*/
+	finish() {
+		const command = this.path[this.path.length - 1];
+		const showsUsage = command.requiresSubcommand && !command.action && this.args.length === 0;
+		const skipsChecks = this.optionAction !== void 0 || showsUsage;
+		if (!skipsChecks && this.tooManyArgs) throw this.tooManyArgs;
+		if (!skipsChecks && this.args.length < this.commandArgsMin) throw new TooFewArguments(this.commandArgsMin, this.commandArgsMax, this.ctx());
+		this.endOption();
+		if (!skipsChecks) checkOptionRules(this.options, this.seenOptions, this.scope.required(), this.ctx());
+		if (!command.requiresSubcommand && this.args.length >= this.commandArgsMin) addDefaults(this.args, asArray(command.args), this.args.length);
+		return this.optionAction ?? command.action ?? usage;
+	}
+	/** See {@link ParseResult.defaults}. */
+	defaults(name) {
+		if (this.options.has(name)) return;
+		const args = asArray(this.scope.resolve(name)?.args);
+		if (args.length === 0 || args[0].isOptional) return;
+		const values = [];
+		addDefaults(values, args);
+		return values.length > 0 ? values : void 0;
+	}
+	/** Whether using `option` next would go over its repeat limit or break an `exclusiveOn` rule. */
+	conflicts(option) {
+		const names = asArray(option.name);
+		const options = this.options;
+		if (typeof option.isRepeatable === "number") {
+			if ((this.repeatedUses.get(optionKey(option))?.count ?? 0) >= option.isRepeatable) return true;
+		}
+		if (option.exclusiveOn?.some((name) => options.has(name))) return true;
+		return this.seenOptions.some((seen) => seen.exclusiveOn?.some((name) => names.includes(name)));
+	}
+	/** The options the next token can use. See {@link NextToken.options}. */
+	usableOptions() {
+		const used = new Set(this.seenOptions.map(optionKey));
+		const { local, persistent } = this.scope.live();
+		const usable = [];
+		for (const { option, names } of [...local, ...persistent]) {
+			if (this.conflicts(option)) continue;
+			const typeable = names.filter((name) => !this.subcommandFor(name)?.command);
+			if (typeable.length === 0) continue;
+			usable.push({
+				option,
+				forms: this.scope.forms(option, typeable),
+				used: used.has(optionKey(option))
+			});
+		}
+		return usable;
+	}
+	/** What the next token can be. See {@link readNext}. */
+	next() {
+		const open = this.openOption && this.hasRoomForValue ? this.openOption : null;
+		const command = this.path[this.path.length - 1];
+		const afterSeparator = this.argSeparatorIndex !== -1;
+		const optionsAllowed = !afterSeparator && this.optionsAllowed;
+		return {
+			path: this.path,
+			directives: this.directives,
+			optionsAllowed,
+			subcommands: !afterSeparator && this.canMatchSubcommand ? withInherited(this.subcommands ?? [], this.scope.inheritedSubcommands) : [],
+			options: optionsAllowed ? this.usableOptions() : [],
+			value: open && {
+				option: open,
+				arg: argAt(asArray(open.args), this.valueCount),
+				required: this.valueCount < this.valueMin
+			},
+			arg: open ? void 0 : argAt(asArray(command.args), this.args.length)
+		};
+	}
+	/** Read the token at `index`, the next one, and say what it was read as. */
+	readAndClassify(input, index) {
+		if (this.argSeparatorIndex !== -1) return { kind: "argument" };
+		const depth = this.path.length;
+		const seen = this.seenOptions.length;
+		const args = this.args.length;
+		const values = this.valueCount;
+		if (this.readAt(input, index)) return { kind: "separator" };
+		if (this.path.length > depth) return {
+			kind: "subcommand",
+			command: this.path[depth]
+		};
+		if (this.seenOptions.length > seen) {
+			const found = this.attachedAt(index);
+			const attached = found && {
+				option: found.option,
+				start: found.start
+			};
+			return {
+				kind: "options",
+				options: this.seenOptions.slice(seen),
+				attached
+			};
+		}
+		if (this.args.length > args) return { kind: "argument" };
+		if (this.valueCount > values) return {
+			kind: "value",
+			option: this.openOption
+		};
+		return { kind: "unknown" };
+	}
+	/** The value attached to the token at `index`, if it has one the option accepts. */
+	attachedAt(index) {
+		return this.attached?.index === index ? this.attached : null;
+	}
+	/** Whether the next token can be an option. Once options must stop, every token is an argument. */
+	get optionsAllowed() {
+		return !(this.directives.optionsMustPrecedeArguments && this.hasFoundArg);
+	}
+	/** Read every token of `input`. */
+	read(input) {
+		for (let index = 0; index < input.length; index++) if (this.readAt(input, index)) return;
+	}
+	/**
+	* Read the token at `index`. Returns true if it was `--`, which reads every
+	* token after it too.
+	*/
+	readAt(input, index) {
+		const token = input[index];
+		const optionsAllowed = this.optionsAllowed;
+		if (token === "--" && optionsAllowed) {
+			this.argSeparator(input, index);
+			return true;
+		}
+		const subcommand = this.subcommandFor(token);
+		if (subcommand?.command) {
+			this.enterSubcommand(subcommand.command);
+			return false;
+		}
+		if (optionsAllowed) {
+			const flagsArePosixNoncompliant = this.directives.flagsArePosixNoncompliant;
+			const first = token.charCodeAt(0);
+			const isDoubleDash = first === 45 && token.charCodeAt(1) === 45;
+			if (!flagsArePosixNoncompliant && token.length > 1 && (first === 45 || first === 43) && !isDoubleDash) {
+				this.shortOptions(token, index);
+				return false;
 			}
-			break;
-		case 2:
-			assert(Array.isArray(optionArgs), "Invalid state, must have an array to store option arguments");
-			assert(requiredSeparator, "Invalid state, a separator must be set");
-			switch (token.kind) {
-				case "option-arg":
-					if (typeof requiredSeparator === "string" && token.separator !== requiredSeparator) throw new ParseError(ctx(), `Incorrect separator, use '${requiredSeparator}' instead of '${token.separator}'`);
-					optionArgs.push(token.literal);
-					state = 0;
-					break;
-				case "arg":
-					if (optionArgsMin > 0) throw new TooFewOptionArguments(optionArgsMin, optionArgsMax, ctx());
-					optionArgs = null;
-					state = 0;
-					parseArg(token);
-					break;
-				case "option":
-					if (optionArgsMin > 0) throw new TooFewOptionArguments(optionArgsMin, optionArgsMax, ctx());
-					parseOption(token);
-					break;
-				case "unknown-option": throw new UnknownOption(token, ctx());
-				case "arg-separator": throw new ParseError(ctx(), "Unexpected token");
-				case "subcommand":
-					if (optionArgsMin > 0) throw new TooFewOptionArguments(optionArgsMin, optionArgsMax, ctx());
-					parseSubcommand(token);
-					state = 0;
-					break;
-				default: throw new ParseError(ctx(), "Unreachable");
+			if (flagsArePosixNoncompliant || token.length > 2 && isDoubleDash) {
+				if (this.longOption(token, index)) return false;
 			}
+		}
+		this.valueOrArg(token, subcommand);
+		return false;
 	}
-	const hasOptionAction = optionActions.length > 0;
-	if (!hasOptionAction && foundArgs.length < commandArgsMin) throw new TooFewArguments(commandArgsMin, commandArgsMax, ctx());
-	if (optionArgs && optionArgs.length < optionArgsMin) throw new TooFewOptionArguments(optionArgsMin, optionArgsMax, ctx());
-	for (const option of dependsOnOptions) for (const name of option.dependsOn) if (!foundOptions.has(name)) throw new ParseError(ctx(), `${option.name} requires ${name}, add it to fix this error`);
-	for (const option of exclusiveOnOptions) for (const name of option.exclusiveOn) if (foundOptions.has(name)) throw new ParseError(ctx(), `${option.name} can't be used together with ${name}`);
-	if (!hasOptionAction) {
-		for (const name of finalState.localRequiredOptions.keys()) if (!foundOptions.has(name)) throw new MissingRequiredOption(name, ctx());
-		for (const name of finalState.persistentRequiredOptions.keys()) if (!foundOptions.has(name)) throw new MissingRequiredOption(name, ctx());
+};
+/** The argument at `index`, reusing a final variadic argument. */
+function argAt(args, index) {
+	if (index < args.length) return args[index];
+	const last = args[args.length - 1];
+	return last?.isVariadic ? last : void 0;
+}
+/**
+* Work out what the token after `before` can be, and how the parser reads
+* `partial` if it's an option with a value attached. Reads leniently, so a
+* line that's wrong at the moment still has an answer. Completion is built on
+* this.
+*/
+function readNext(spec, before, partial) {
+	const s = new Scanner(spec, false);
+	s.read(before);
+	const next = s.next();
+	let attached = null;
+	if (partial !== "" && next.optionsAllowed) {
+		const reading = readToken(spec, before, partial);
+		const found = reading.kind === "options" ? reading.attached : null;
+		const arg = found && asArray(found.option.args)[0];
+		if (found && arg) attached = {
+			option: found.option,
+			arg,
+			prefix: partial.slice(0, found.start),
+			value: partial.slice(found.start)
+		};
 	}
 	return {
-		path,
-		actions,
-		optionActions,
-		argSeparatorIndex,
-		args: foundArgs,
-		options: foundOptions
+		...next,
+		attached
+	};
+}
+/**
+* Say what the parser reads `token` as when it comes after `before`. Reads
+* leniently, like {@link readNext}.
+*/
+function readToken(spec, before, token) {
+	const s = new Scanner(spec, false);
+	s.read(before);
+	return s.readAndClassify([...before, token], before.length);
+}
+/**
+* Parse the input tokens using the given CLI spec.
+*
+* This returns a `ParseResult`, which contains the array of
+* subcommands used, the provided options, the arguments, and the action to
+* run.
+*
+* If parsing fails, this function throws.
+*/
+function parse(input, spec) {
+	const s = new Scanner(spec, true);
+	s.read(input);
+	const action = s.finish();
+	return {
+		path: s.path,
+		action,
+		args: s.args,
+		argSeparatorIndex: s.argSeparatorIndex,
+		options: s.options,
+		defaults: (name) => s.defaults(name)
 	};
 }
 // src/completion.ts
 const SHELLS = [
 	"bash",
 	"zsh",
-	"fish"
+	"fish",
+	"powershell",
+	"nushell"
 ];
 function isShell(value) {
 	return SHELLS.includes(value);
@@ -900,97 +1256,6 @@ function isShell(value) {
 const firstLine = (description) => description ? description.split("\n", 1)[0].trim() : "";
 /** Turn an arbitrary name into a safe shell identifier fragment. */
 const sanitize = (value) => value.replace(/[^A-Za-z0-9]+/g, "_");
-function encodeLocation(location) {
-	const bytes = new TextEncoder().encode(JSON.stringify(location));
-	let binary = "";
-	for (const byte of bytes) binary += String.fromCharCode(byte);
-	return btoa(binary);
-}
-function decodeLocation(encoded) {
-	const binary = atob(encoded);
-	const bytes = Uint8Array.from(binary, (char) => char.charCodeAt(0));
-	return JSON.parse(new TextDecoder().decode(bytes));
-}
-/** Build {@link ArgComplete} for one argument at a known spec location. */
-function argCompleteFor(arg, location) {
-	const staticValues = (arg.suggestions ?? []).map((suggestion) => typeof suggestion === "string" ? suggestion : makeArray(suggestion.name)[0]);
-	const genIndex = makeArray(arg.generators).findIndex((generator) => generator.custom);
-	const customLocation = genIndex >= 0 ? encodeLocation({
-		...location,
-		genIndex
-	}) : void 0;
-	if (!arg.template && staticValues.length === 0 && !customLocation) return;
-	return {
-		template: arg.template,
-		staticValues,
-		customLocation
-	};
-}
-/** Completion for a option's first argument, if it has any metadata. */
-function optionArgComplete(option, path) {
-	const arg = asArray(option.args)[0];
-	if (!arg) return void 0;
-	return argCompleteFor(arg, {
-		path,
-		option: makeArray(option.name)[0],
-		argIndex: 0
-	});
-}
-/** Completion for a command's first positional arg that has metadata. */
-function positionalComplete(command, path) {
-	const args = asArray(command.args);
-	for (let index = 0; index < args.length; index += 1) {
-		const ac = argCompleteFor(args[index], {
-			path,
-			argIndex: index
-		});
-		if (ac) return ac;
-	}
-}
-function toOptionInfo(option, path) {
-	return {
-		tokens: makeArray(option.name),
-		description: firstLine(option.description),
-		takesArg: asArray(option.args).length > 0,
-		argComplete: optionArgComplete(option, path)
-	};
-}
-/**
-* Flatten the spec into a list of command nodes. Hidden options and subcommands
-* are excluded; persistent options are propagated to descendants.
-*/
-function walk(spec) {
-	const nodes = [];
-	const recurse = (command, key, path, inheritedPersistent) => {
-		const ownOptions = (command.options ?? []).filter((option) => !option.hidden);
-		const children = (command.subcommands ?? []).filter((sub) => !sub.hidden);
-		const node = {
-			key,
-			path,
-			subcommands: [],
-			options: [...inheritedPersistent, ...ownOptions].map((option) => toOptionInfo(option, path)),
-			positional: positionalComplete(command, path),
-			transitions: []
-		};
-		const childPersistent = [...inheritedPersistent, ...ownOptions.filter((option) => option.isPersistent)];
-		for (const child of children) {
-			const tokens = makeArray(child.name);
-			const childKey = `${key}_${sanitize(tokens[0])}`;
-			node.subcommands.push({
-				tokens,
-				description: firstLine(child.description)
-			});
-			for (const token of tokens) node.transitions.push({
-				token,
-				childKey
-			});
-			recurse(child, childKey, [...path, tokens[0]], childPersistent);
-		}
-		nodes.push(node);
-	};
-	recurse(spec, "cmd", [], []);
-	return nodes;
-}
 /** Single-quote a string for bash/zsh. */
 function shQuote(value) {
 	return `'${value.replaceAll("'", "'\\''")}'`;
@@ -999,338 +1264,30 @@ function shQuote(value) {
 function fishQuote(value) {
 	return `'${value.replaceAll("\\", "\\\\").replaceAll("'", "\\'")}'`;
 }
-/** Every candidate token offered at a node (subcommand aliases + option aliases). */
-function candidateTokens(node) {
-	const tokens = [];
-	for (const sub of node.subcommands) tokens.push(...sub.tokens);
-	for (const option of node.options) tokens.push(...option.tokens);
-	return tokens;
-}
-function renderTransitionCases(nodes, indent) {
-	const lines = [];
-	for (const node of nodes) for (const { token, childKey } of node.transitions) lines.push(`${indent}${shQuote(`${node.key}::${token}`)}) cmd=${shQuote(childKey)} ;;`);
-	return lines;
+/** Single-quote a string for PowerShell (a quote is written twice). */
+function psQuote(value) {
+	return `'${value.replaceAll("'", "''")}'`;
 }
 /**
-* bash candidate lines for an arg. `append` keeps existing COMPREPLY (for a
-* positional, which coexists with subcommands/options); otherwise it replaces.
-* The generator callback uses the typed command and is guarded for resilience.
+* Quote a string for Nushell. A single-quoted string has no escapes, so a name
+* with a quote in it is written as a double-quoted string instead.
 */
-function bashArgLines(ac, indent, append) {
-	const lines = [];
-	const op = append ? "COMPREPLY+=" : "COMPREPLY=";
-	const hasWords = ac.staticValues.length > 0 || ac.customLocation !== void 0;
-	if (hasWords) {
-		lines.push(`${indent}local words=${ac.staticValues.length > 0 ? shQuote(ac.staticValues.join(" ")) : "\"\""}`);
-		if (ac.customLocation) {
-			lines.push(`${indent}if command -v "\${COMP_WORDS[0]}" >/dev/null 2>&1; then`);
-			lines.push(`${indent}  words="$words $("\${COMP_WORDS[0]}" completion generate-suggestions ${shQuote(ac.customLocation)} -- "\${COMP_WORDS[@]:1}" 2>/dev/null)"`);
-			lines.push(`${indent}fi`);
-		}
-		lines.push(`${indent}${op}( $(compgen -W "$words" -- "$cur") )`);
-	}
-	if (ac.template) {
-		const option = ac.template === "folders" ? "-d" : "-f";
-		const fileOp = hasWords || append ? "COMPREPLY+=" : "COMPREPLY=";
-		lines.push(`${indent}${fileOp}( $(compgen ${option} -- "$cur") )`);
-	}
-	return lines;
-}
-function renderBash(spec, nodes) {
-	const id = sanitize(spec.name);
-	const lines = [];
-	lines.push(`_${id}() {`);
-	lines.push(`  local cur="\${COMP_WORDS[COMP_CWORD]}"`);
-	lines.push(`  local prev="\${COMP_WORDS[COMP_CWORD-1]}"`);
-	lines.push(`  local cmd="cmd" i w`);
-	lines.push(`  for (( i=1; i < COMP_CWORD; i++ )); do`);
-	lines.push(`    w="\${COMP_WORDS[i]}"`);
-	lines.push(`    case "$w" in -* ) continue ;; esac`);
-	lines.push(`    case "\${cmd}::\${w}" in`);
-	lines.push(...renderTransitionCases(nodes, "      "));
-	lines.push(`    esac`);
-	lines.push(`  done`);
-	const argCases = [];
-	for (const node of nodes) for (const option of node.options) {
-		if (!option.argComplete) continue;
-		for (const token of option.tokens) {
-			argCases.push(`    ${shQuote(`${node.key}::${token}`)})`);
-			argCases.push(...bashArgLines(option.argComplete, "      ", false));
-			argCases.push(`      return ;;`);
-		}
-	}
-	if (argCases.length > 0) {
-		lines.push(`  case "\${cmd}::\${prev}" in`);
-		lines.push(...argCases);
-		lines.push(`  esac`);
-	}
-	lines.push(`  local opts=""`);
-	lines.push(`  case "$cmd" in`);
-	for (const node of nodes) lines.push(`    ${shQuote(node.key)}) opts=${shQuote(candidateTokens(node).join(" "))} ;;`);
-	lines.push(`  esac`);
-	lines.push(`  COMPREPLY=( $(compgen -W "$opts" -- "$cur") )`);
-	const posCases = [];
-	for (const node of nodes) {
-		if (!node.positional) continue;
-		posCases.push(`    ${shQuote(node.key)})`);
-		posCases.push(...bashArgLines(node.positional, "      ", true));
-		posCases.push(`      ;;`);
-	}
-	if (posCases.length > 0) {
-		lines.push(`  case "$cmd" in`);
-		lines.push(...posCases);
-		lines.push(`  esac`);
-	}
-	lines.push(`}`);
-	lines.push(`complete -F _${id} ${shQuote(spec.name)}`);
-	return lines.join("\n");
-}
-/** zsh candidate lines for an arg (used for both option values and positionals). */
-function zshArgLines(ac, indent) {
-	const lines = [];
-	if (ac.staticValues.length > 0 || ac.customLocation !== void 0) {
-		lines.push(`${indent}local -a vals`);
-		lines.push(`${indent}vals=( ${ac.staticValues.map(shQuote).join(" ")} )`);
-		if (ac.customLocation) {
-			lines.push(`${indent}if command -v "$words[1]" >/dev/null 2>&1; then`);
-			lines.push(`${indent}  vals+=( \${(f)"$("$words[1]" completion generate-suggestions ${shQuote(ac.customLocation)} -- \${words[2,-1]} 2>/dev/null)"} )`);
-			lines.push(`${indent}fi`);
-		}
-		lines.push(`${indent}compadd -a vals`);
-	}
-	if (ac.template) lines.push(`${indent}${ac.template === "folders" ? "_files -/" : "_files"}`);
-	return lines;
-}
-function renderZsh(spec, nodes) {
-	const id = sanitize(spec.name);
-	const lines = [];
-	lines.push(`#compdef ${spec.name}`);
-	lines.push(`_${id}() {`);
-	lines.push(`  local cmd=cmd i w prev`);
-	lines.push(`  for (( i=2; i < CURRENT; i++ )); do`);
-	lines.push(`    w="\${words[i]}"`);
-	lines.push(`    case "$w" in -* ) continue ;; esac`);
-	lines.push(`    case "\${cmd}::\${w}" in`);
-	lines.push(...renderTransitionCases(nodes, "      "));
-	lines.push(`    esac`);
-	lines.push(`  done`);
-	lines.push(`  prev="\${words[CURRENT-1]}"`);
-	const argCases = [];
-	for (const node of nodes) for (const option of node.options) {
-		if (!option.argComplete) continue;
-		for (const token of option.tokens) {
-			argCases.push(`    ${shQuote(`${node.key}::${token}`)})`);
-			argCases.push(...zshArgLines(option.argComplete, "      "));
-			argCases.push(`      return ;;`);
-		}
-	}
-	if (argCases.length > 0) {
-		lines.push(`  case "\${cmd}::\${prev}" in`);
-		lines.push(...argCases);
-		lines.push(`  esac`);
-	}
-	lines.push(`  local -a opts`);
-	lines.push(`  case "$cmd" in`);
-	for (const node of nodes) {
-		const entries = [];
-		for (const sub of node.subcommands) for (const token of sub.tokens) entries.push(shQuote(`${token}:${sub.description}`));
-		for (const option of node.options) for (const token of option.tokens) entries.push(shQuote(`${token}:${option.description}`));
-		lines.push(`    ${shQuote(node.key)}) opts=( ${entries.join(" ")} ) ;;`);
-	}
-	lines.push(`  esac`);
-	lines.push(`  _describe -t values ${shQuote(spec.name)} opts`);
-	const posCases = [];
-	for (const node of nodes) {
-		if (!node.positional) continue;
-		posCases.push(`    ${shQuote(node.key)})`);
-		posCases.push(...zshArgLines(node.positional, "      "));
-		posCases.push(`      ;;`);
-	}
-	if (posCases.length > 0) {
-		lines.push(`  case "$cmd" in`);
-		lines.push(...posCases);
-		lines.push(`  esac`);
-	}
-	lines.push(`}`);
-	lines.push(`_${id} "$@"`);
-	return lines.join("\n");
-}
-/** Build the fish `complete` option selectors (`-s x`, `-l long`, `-o old`). */
-function fishOptionSelectors(tokens) {
-	const parts = [];
-	for (const token of tokens) if (token.startsWith("--")) parts.push(`-l ${fishQuote(token.slice(2))}`);
-	else if (token.startsWith("-") && token.length === 2) parts.push(`-s ${fishQuote(token.slice(1))}`);
-	else if (token.startsWith("-") && token.length > 2) parts.push(`-o ${fishQuote(token.slice(1))}`);
-	else parts.push(`-a ${fishQuote(token)}`);
-	return parts.join(" ");
-}
-/** A guarded fish command substitution that runs a generator by location. */
-function fishGuardedCallback(location) {
-	return `(set -l c (commandline -opc)[1]; if command -q -- $c; or test -x "$c"; $c completion generate-suggestions ${location} -- (commandline -opc) 2>/dev/null; end)`;
-}
-/** The `-a` candidate bits and whether the shell's file completion is wanted. */
-function fishValueBits(ac) {
-	const parts = [...ac.staticValues];
-	if (ac.template === "folders" || Array.isArray(ac.template)) parts.push("(__fish_complete_directories)");
-	if (ac.customLocation) parts.push(fishGuardedCallback(ac.customLocation));
-	return {
-		aBits: parts.length > 0 ? ` -a ${fishQuote(parts.join(" "))}` : "",
-		wantsFiles: ac.template === "filepaths" || Array.isArray(ac.template)
-	};
-}
-/**
-* The suffix after a option's selectors. Uses `-x` (exclusive: requires a value
-* and suppresses fish's file fallback) when the arg has its own candidates and
-* isn't a filepaths template; `-r` lets files through when they're wanted.
-*/
-function fishOptionArgSuffix(option) {
-	if (!option.takesArg) return "";
-	if (!option.argComplete) return " -r";
-	const { aBits, wantsFiles } = fishValueBits(option.argComplete);
-	return `${wantsFiles ? " -r" : " -x"}${aBits}`;
-}
-function renderFish(spec, nodes) {
-	const id = sanitize(spec.name);
-	const name = spec.name;
-	const lines = [];
-	lines.push(`function __fish_${id}_at`);
-	lines.push(`  set -l cmd cmd`);
-	lines.push(`  set -l toks (commandline -opc)`);
-	lines.push(`  for w in $toks[2..-1]`);
-	lines.push(`    if string match -qr '^-' -- $w`);
-	lines.push(`      continue`);
-	lines.push(`    end`);
-	lines.push(`    switch "$cmd $w"`);
-	for (const node of nodes) for (const { token, childKey } of node.transitions) {
-		lines.push(`      case ${fishQuote(`${node.key} ${token}`)}`);
-		lines.push(`        set cmd ${fishQuote(childKey)}`);
-	}
-	lines.push(`    end`);
-	lines.push(`  end`);
-	lines.push(`  test "$cmd" = "$argv[1]"`);
-	lines.push(`end`);
-	lines.push("");
-	lines.push(`complete -c ${fishQuote(name)} -f`);
-	for (const node of nodes) {
-		const guard = `-n ${fishQuote(`__fish_${id}_at ${node.key}`)}`;
-		for (const sub of node.subcommands) for (const token of sub.tokens) {
-			const desc = sub.description ? ` -d ${fishQuote(sub.description)}` : "";
-			lines.push(`complete -c ${fishQuote(name)} ${guard} -a ${fishQuote(token)}${desc}`);
-		}
-		for (const option of node.options) {
-			const desc = option.description ? ` -d ${fishQuote(option.description)}` : "";
-			const suffix = fishOptionArgSuffix(option);
-			lines.push(`complete -c ${fishQuote(name)} ${guard} ${fishOptionSelectors(option.tokens)}${suffix}${desc}`);
-		}
-		if (node.positional) {
-			const { aBits, wantsFiles } = fishValueBits(node.positional);
-			lines.push(`complete -c ${fishQuote(name)} ${guard}${aBits}${wantsFiles ? " -F" : ""}`);
-		}
-	}
-	return lines.join("\n");
-}
-function analyzeState(spec, before) {
-	const { tokens, finalState } = analyze(before, spec);
-	const path = [spec];
-	let current = spec;
-	let pending = null;
-	let pendingFilled = 0;
-	let pendingMax = 0;
-	let positionalIndex = 0;
-	let forceArgs = false;
-	let sawPositional = false;
-	let usedNonPersistentOption = false;
-	const presentNames = /* @__PURE__ */ new Set();
-	const countByOption = /* @__PURE__ */ new Map();
-	for (const token of tokens) switch (token.kind) {
-		case "subcommand":
-			current = token.subcommand;
-			path.push(current);
-			positionalIndex = 0;
-			sawPositional = false;
-			pending = null;
-			break;
-		case "option": {
-			const option = token.option;
-			for (const name of makeArray(option.name)) presentNames.add(name);
-			countByOption.set(option, (countByOption.get(option) ?? 0) + 1);
-			if (!option.isPersistent) usedNonPersistentOption = true;
-			const max = getMaxArgs(option.args);
-			if (max > 0 && !option.requiresSeparator) {
-				pending = {
-					option,
-					argIndex: 0
-				};
-				pendingFilled = 0;
-				pendingMax = max;
-			} else pending = null;
-			break;
-		}
-		case "option-arg":
-			pending = null;
-			break;
-		case "arg":
-			if (pending && pendingFilled < pendingMax) {
-				pendingFilled += 1;
-				pending = {
-					option: pending.option,
-					argIndex: pendingFilled
-				};
-				if (pendingFilled >= pendingMax) pending = null;
-			} else {
-				positionalIndex += 1;
-				sawPositional = true;
-				pending = null;
-			}
-			break;
-		case "arg-separator":
-			forceArgs = true;
-			pending = null;
-			break;
-		case "unknown-option": pending = null;
-	}
-	const availableOptions = [];
-	const seen = /* @__PURE__ */ new Set();
-	for (const map of [finalState.localOptions, finalState.persistentOptions]) for (const option of map.values()) if (!seen.has(option)) {
-		seen.add(option);
-		availableOptions.push(option);
-	}
-	return {
-		path,
-		current,
-		availableOptions,
-		pending,
-		positionalIndex,
-		presentNames,
-		countByOption,
-		forceArgs,
-		sawPositional,
-		usedNonPersistentOption
-	};
-}
-/** Does any command on the path enable a sticky parser directive? */
-function directiveOnPath(path, key) {
-	return path.some((command) => command.parserDirectives?.[key]);
-}
-/** The option-arg separators in effect (the deepest command that sets them). */
-function separatorsOnPath(path) {
-	let separators = ["="];
-	for (const command of path) {
-		const configured = command.parserDirectives?.optionArgSeparators;
-		if (configured) separators = makeArray(configured);
-	}
-	return separators;
+function nuQuote(value) {
+	if (!value.includes("'")) return `'${value}'`;
+	return `"${value.replaceAll("\\", "\\\\").replaceAll("\"", "\\\"")}"`;
 }
 /** Enumerate filesystem entries matching `partial` for a path template. */
 async function enumeratePaths(partial, template) {
 	const { readdirSync } = await import("node:fs");
-	const slash = partial.lastIndexOf("/");
+	const isWindows = globalThis.process?.platform === "win32";
+	const slash = Math.max(partial.lastIndexOf("/"), isWindows ? partial.lastIndexOf("\\") : -1);
 	const dir = slash >= 0 ? partial.slice(0, slash + 1) : "";
 	const base = slash >= 0 ? partial.slice(slash + 1) : partial;
+	const separator = slash >= 0 ? partial[slash] : "/";
 	const foldersOnly = template === "folders";
 	let entries;
 	try {
-		entries = readdirSync(dir || ".", { withFileTypes: true });
+		entries = readdirSync((isWindows ? dir.replaceAll("\\", "/") : dir) || ".", { withFileTypes: true });
 	} catch {
 		return [];
 	}
@@ -1339,7 +1296,7 @@ async function enumeratePaths(partial, template) {
 		if (!entry.name.startsWith(base)) continue;
 		const isDir = entry.isDirectory();
 		if (foldersOnly && !isDir) continue;
-		candidates.push({ value: `${dir}${entry.name}${isDir ? "/" : ""}` });
+		candidates.push({ value: `${dir}${entry.name}${isDir ? separator : ""}` });
 	}
 	return candidates;
 }
@@ -1361,100 +1318,68 @@ async function argValues(arg, tokens, partial) {
 	if (arg.template) candidates.push(...await enumeratePaths(partial, arg.template));
 	return candidates;
 }
-/** Pick the argument being completed at a positional index (honors variadic). */
-function positionalArg(command, index) {
-	const args = asArray(command.args);
-	if (args.length === 0) return void 0;
-	if (index < args.length) return args[index];
-	const last = args[args.length - 1];
-	return last?.isVariadic ? last : void 0;
+/** Decide which kinds of candidate the word being completed can use. */
+function wantedCandidates(next, req) {
+	const posixNoncompliant = next.directives.flagsArePosixNoncompliant;
+	const partialIsOption = next.optionsAllowed && !posixNoncompliant && (req.partial.startsWith("-") || req.partial.startsWith("+"));
+	return {
+		wantValues: !(req.gateOptions && partialIsOption),
+		wantOptions: !req.gateOptions || partialIsOption || posixNoncompliant
+	};
 }
 /**
-* Resolve completion candidates for a partial command line, reusing the parser
-* (`analyze`) for context. Dispatches between completing a option's value and
-* completing a fresh token (subcommand / positional / option).
+* Resolve completion candidates for a partial command line. The parser works
+* out what the word can be with {@link readNext}, and this offers candidates
+* for each of those.
 */
 async function completeRuntime(req) {
-	const state = analyzeState(req.spec, req.before);
-	const separators = separatorsOnPath(state.path);
-	const optionValue = await resolveOptionValue(state, req, separators);
-	if (optionValue) return optionValue;
-	return freshTokenCandidates(state, req, separators);
-}
-/**
-* Candidates when the word being completed is a option's value — either attached
-* (`--option=value`) or the separate token after a option that expects one. Returns
-* null when no option value is being completed.
-*/
-async function resolveOptionValue(state, req, separators) {
+	const next = readNext(req.spec, req.before, req.partial);
 	const tokens = [...req.before];
-	for (const separator of separators) {
-		const at = req.partial.indexOf(separator);
-		if (at <= 0) continue;
-		const optionName = req.partial.slice(0, at);
-		const option = state.availableOptions.find((candidate) => makeArray(candidate.name).includes(optionName));
-		const arg = option && asArray(option.args)[0];
-		if (option && arg) return (await argValues(arg, tokens, req.partial.slice(at + separator.length))).map((candidate) => ({
-			value: `${optionName}${separator}${candidate.value}`,
+	if (next.attached) {
+		const { prefix, arg, value } = next.attached;
+		return (await argValues(arg, tokens, value)).map((candidate) => ({
+			value: prefix + candidate.value,
 			description: candidate.description
 		}));
 	}
-	if (state.pending) {
-		const arg = asArray(state.pending.option.args)[state.pending.argIndex];
-		return arg ? argValues(arg, tokens, req.partial) : [];
-	}
-	return null;
-}
-/** Candidates when completing a fresh token: subcommand / positional / option. */
-async function freshTokenCandidates(state, req, separators) {
+	if (next.value?.required) return next.value.arg ? argValues(next.value.arg, tokens, req.partial) : [];
 	const candidates = [];
-	const tokens = [...req.before];
-	const posixNoncompliant = directiveOnPath(state.path, "flagsArePosixNoncompliant");
-	const partialIsOption = !posixNoncompliant && (req.partial.startsWith("-") || req.partial.startsWith("+"));
-	const wantValues = !(req.gateOptions && partialIsOption);
-	const wantOptions = !req.gateOptions || partialIsOption || posixNoncompliant;
+	const { wantValues, wantOptions } = wantedCandidates(next, req);
 	if (wantValues) {
-		const positional = positionalArg(state.current, state.positionalIndex);
-		if (positional) candidates.push(...await argValues(positional, tokens, req.partial));
-		if (state.forceArgs) return candidates;
-		if (!state.sawPositional && !state.usedNonPersistentOption) for (const sub of state.current.subcommands ?? []) {
-			if (sub.hidden) continue;
+		const arg = next.value ? next.value.arg : next.arg;
+		if (arg) candidates.push(...await argValues(arg, tokens, req.partial));
+		for (const sub of visibleSubcommands(next.subcommands)) {
 			const description = firstLine(sub.description);
 			for (const token of makeArray(sub.name)) candidates.push({
 				value: token,
 				description
 			});
 		}
-	} else if (state.forceArgs) return candidates;
-	const optionsBlocked = state.sawPositional && directiveOnPath(state.path, "optionsMustPrecedeArguments");
-	if (wantOptions && !optionsBlocked) candidates.push(...optionCandidates(state, separators));
+	}
+	if (wantOptions) candidates.push(...optionCandidates(next));
 	return candidates;
 }
-/** Eligible option candidates after relationship filtering. */
-function optionCandidates(state, separators) {
+/** The options a user can use next, required ones first. */
+function optionCandidates(next) {
 	const required = [];
 	const optional = [];
-	for (const option of state.availableOptions) {
+	for (const { option, forms, used } of next.options) {
 		if (option.hidden) continue;
-		const count = state.countByOption.get(option) ?? 0;
-		if (count > 0) {
-			if (!option.isRepeatable) continue;
-			if (typeof option.isRepeatable === "number" && count >= option.isRepeatable) continue;
-		}
-		if (option.exclusiveOn?.some((name) => state.presentNames.has(name))) continue;
-		if (state.availableOptions.some((other) => other !== option && makeArray(other.name).some((name) => state.presentNames.has(name)) && other.exclusiveOn?.some((name) => makeArray(option.name).includes(name)))) continue;
+		if (used && !option.isRepeatable) continue;
 		let description = firstLine(option.description);
 		if (option.dependsOn) {
 			const needs = option.dependsOn.join(", ");
 			description = description ? `${description} (requires ${needs})` : `requires ${needs}`;
 		}
 		if (option.isRequired) description = description ? `${description} [required]` : "[required]";
-		const sep = option.requiresSeparator === true ? separators[0] : typeof option.requiresSeparator === "string" ? option.requiresSeparator : void 0;
 		const bucket = option.isRequired ? required : optional;
-		for (const token of makeArray(option.name)) bucket.push({
-			value: sep ? `${token}${sep}` : token,
-			description
-		});
+		for (const { name, join } of forms) {
+			if (join === "") continue;
+			bucket.push({
+				value: name + (join ?? ""),
+				description
+			});
+		}
 	}
 	return [...required, ...optional];
 }
@@ -1492,6 +1417,85 @@ function renderRuntimeShim(spec, shell) {
 		`}`,
 		`_${id}_complete "$@"`
 	].join("\n");
+	if (shell === "powershell") {
+		const stringAst = "[System.Management.Automation.Language.StringConstantExpressionAst]";
+		return [
+			`Register-ArgumentCompleter -Native -CommandName ${psQuote(name)} -ScriptBlock {`,
+			`  param($wordToComplete, $commandAst, $cursorPosition)`,
+			`  $elements = $commandAst.CommandElements`,
+			`  $first = $elements[0]`,
+			`  $bin = if ($first -is ${stringAst}) { $first.Value } else { $first.Extent.Text }`,
+			`  if (-not (Get-Command $bin -ErrorAction SilentlyContinue)) { return }`,
+			`  $partial = $wordToComplete`,
+			`  if ($partial.StartsWith("'")) { $partial = $partial.Substring(1).TrimEnd("'").Replace("''", "'") }`,
+			`  elseif ($partial.StartsWith('"')) { $partial = $partial.Substring(1).TrimEnd('"') }`,
+			`  $arguments = @('completion', 'complete', '--gate-options')`,
+			`  if ($partial -eq '') { $arguments += '--empty-word' }`,
+			`  $arguments += '--'`,
+			`  for ($i = 1; $i -lt $elements.Count; $i++) {`,
+			`    $element = $elements[$i]`,
+			`    if ($element.Extent.EndOffset -ge $cursorPosition) { break }`,
+			`    if ($element -is ${stringAst}) {`,
+			`      $arguments += $element.Value`,
+			`    } else {`,
+			`      $arguments += $element.Extent.Text`,
+			`    }`,
+			`  }`,
+			`  if ($partial -ne '') { $arguments += $partial }`,
+			`  & $bin @arguments 2>$null | ForEach-Object {`,
+			"    $value, $description = $_ -split \"`t\", 2",
+			`    if (-not $value.StartsWith($partial, [System.StringComparison]::OrdinalIgnoreCase)) { return }`,
+			"    $text = if ($value -match '[\\s''\"`$&|;,(){}<>@#]') { \"'$($value.Replace(\"'\", \"''\"))'\" } else { $value }",
+			`    if (-not $description) { $description = $value }`,
+			`    [System.Management.Automation.CompletionResult]::new($text, $value, 'ParameterValue', $description)`,
+			`  }`,
+			`}`
+		].join("\n");
+	}
+	if (shell === "nushell") {
+		const previous = `$__${id}_previous_completer`;
+		const names = [
+			"",
+			".exe",
+			".cmd",
+			".bat"
+		].map((extension) => nuQuote(name + extension)).join(" ");
+		return [
+			`let __${id}_previous_completer = $env.config.completions.external.completer?`,
+			`$env.config.completions.external.completer = {|spans|`,
+			`  let words = $spans | each {|span|`,
+			`    let quote = $span | str substring 0..0`,
+			`    if $quote in ["'", '"', '\`'] { $span | str substring 1.. | str trim --right --char $quote } else { $span }`,
+			`  }`,
+			`  let command = $words.0`,
+			`  if ($command | path basename) not-in [${names}] {`,
+			`    return (if ${previous} != null { do ${previous} $spans })`,
+			`  }`,
+			`  if (which $command | is-empty) { return }`,
+			`  let args = $words | skip 1`,
+			`  let partial = $args | last | default ""`,
+			`  ^$command completion complete --gate-options -- ...$args`,
+			`    | complete`,
+			`    | get stdout`,
+			`    | lines`,
+			`    | each {|line|`,
+			`      let parts = $line | split row "\\t"`,
+			`      { value: $parts.0, description: ($parts | get 1? | default "") }`,
+			`    }`,
+			`    | where { $in.value | str starts-with --ignore-case $partial }`,
+			"    | update value {|candidate|",
+			"      let value = $candidate.value",
+			"      if ($value !~ \"[\\\\s'\\\"`$|;#()\\\\[\\\\]{}]\") {",
+			"        $value",
+			"      } else if ($value | str contains \"'\") {",
+			"        $value | to json",
+			"      } else {",
+			"        $\"'($value)'\"",
+			"      }",
+			"    }",
+			`}`
+		].join("\n");
+	}
 	return [
 		`function __${id}_complete`,
 		`  set -l toks (commandline -opc)`,
@@ -1504,49 +1508,8 @@ function renderRuntimeShim(spec, shell) {
 	].join("\n");
 }
 /** Generate a completion script for `shell` from a CLI spec. */
-function getCompletion(spec, shell, mode = "runtime") {
-	if (mode === "runtime") return renderRuntimeShim(spec, shell);
-	const nodes = walk(spec);
-	switch (shell) {
-		case "bash": return renderBash(spec, nodes);
-		case "zsh": return renderZsh(spec, nodes);
-		case "fish": return renderFish(spec, nodes);
-	}
-}
-/** Resolve the argument a {@link Location} points at, or null if it's stale. */
-function resolveArg(spec, location) {
-	let command = spec;
-	let ancestorPersistent = [];
-	for (const segment of location.path) {
-		ancestorPersistent = [...ancestorPersistent, ...(command.options ?? []).filter((option) => option.isPersistent)];
-		const child = (command.subcommands ?? []).find((sub) => makeArray(sub.name).includes(segment));
-		if (!child) return null;
-		command = child;
-	}
-	let args;
-	if (location.option !== void 0) {
-		const option = [...ancestorPersistent, ...command.options ?? []].find((candidate) => makeArray(candidate.name).includes(location.option));
-		if (!option) return null;
-		args = asArray(option.args);
-	} else args = asArray(command.args);
-	return args[location.argIndex] ?? null;
-}
-/**
-* Run the generator a base64 location points at and return its suggestions as
-* insertable strings, or null if the location is invalid.
-*/
-async function generateSuggestions(spec, encoded, tokens) {
-	let location;
-	try {
-		location = decodeLocation(encoded);
-	} catch {
-		return null;
-	}
-	const arg = resolveArg(spec, location);
-	if (!arg) return null;
-	const generator = makeArray(arg.generators)[location.genIndex];
-	if (!generator?.custom) return null;
-	return (await generator.custom(tokens)).map((suggestion) => typeof suggestion === "string" ? suggestion : makeArray(suggestion.name)[0]);
+function getCompletion(spec, shell) {
+	return renderRuntimeShim(spec, shell);
 }
 /** A subcommand that prints a shell completion script for the whole CLI. */
 const completion = {
@@ -1555,17 +1518,9 @@ const completion = {
 	args: {
 		name: "shell",
 		isOptional: true,
-		suggestions: SHELLS
+		suggestions: SHELLS,
+		description: `One of: ${SHELLS.join(", ")}`
 	},
-	options: [{
-		name: "--runtime",
-		description: "Resolve candidates by invoking the CLI (default)",
-		exclusiveOn: ["--shell"]
-	}, {
-		name: "--shell",
-		description: "Emit a self-contained script with no per-Tab CLI call",
-		exclusiveOn: ["--runtime"]
-	}],
 	subcommands: [{
 		name: "complete",
 		description: "Resolve completion candidates for a partial command line",
@@ -1573,6 +1528,9 @@ const completion = {
 		options: [{
 			name: "--gate-options",
 			description: "Only suggest options after a leading dash"
+		}, {
+			name: "--empty-word",
+			description: "The word being completed is empty, so every token is before it"
 		}],
 		args: {
 			name: "tokens",
@@ -1581,56 +1539,32 @@ const completion = {
 		},
 		async action({ path, args, options }) {
 			const spec = path[0];
-			const partial = args.length > 0 ? args[args.length - 1] : "";
+			const emptyWord = options.has("--empty-word");
+			const partial = emptyWord || args.length === 0 ? "" : args[args.length - 1];
 			const lines = (await completeRuntime({
 				spec,
-				before: args.slice(0, -1),
+				before: emptyWord ? args : args.slice(0, -1),
 				partial,
 				gateOptions: options.has("--gate-options")
 			})).map((candidate) => candidate.description ? `${candidate.value}\t${candidate.description}` : candidate.value);
 			if (lines.length > 0) print(lines.join("\n"));
 			return 0;
 		}
-	}, {
-		name: "generate-suggestions",
-		description: "Print dynamic suggestions for a completion generator",
-		hidden: true,
-		args: [{ name: "location" }, {
-			name: "tokens",
-			isVariadic: true,
-			isOptional: true
-		}],
-		async action({ path, args: [encoded, ...tokens] }) {
-			const spec = path[0];
-			if (encoded === void 0) {
-				printActionError("Missing generator location");
-				return 1;
-			}
-			const suggestions = await generateSuggestions(spec, encoded, tokens);
-			if (suggestions === null) {
-				printActionError(`Unknown generator location '${encoded}'`);
-				return 1;
-			}
-			if (suggestions.length > 0) print(suggestions.join("\n"));
-			return 0;
-		}
 	}],
-	action({ path: [spec], args: [shell], options, help }) {
+	action({ path, args: [shell] }) {
+		const spec = path[0];
 		if (shell === void 0) {
 			print(`Supported shells: ${SHELLS.join(", ")}`);
 			return 0;
 		}
 		if (!isShell(shell)) {
-			printActionError(`Unsupported shell '${shell}'\n\n${help({
-				description: false,
-				didYouMean: {
-					input: shell,
-					choices: SHELLS
-				}
-			})}`);
+			printUsageError(path, `Unsupported shell '${shell}'`, {
+				input: shell,
+				choices: SHELLS
+			});
 			return 1;
 		}
-		print(getCompletion(spec, shell, options.has("--shell") ? "shell" : "runtime"));
+		print(getCompletion(spec, shell));
 		return 0;
 	}
 };
@@ -1638,31 +1572,21 @@ const completion = {
 /**
 * Parse argv and execute the selected action.
 *
-* The final command action runs unless a parsed option has an action. Option
-* actions take precedence so helpers like `--help` can run without satisfying
-* the selected command's required arguments.
+* The selected command's action runs unless a parsed option has an action.
+* Option actions take precedence so helpers like `--help` can run without
+* satisfying the selected command's required arguments. A command without an
+* action prints its help.
 */
 async function run(spec, args = defaultArgs()) {
 	let result;
 	try {
 		result = parse(args, spec);
 	} catch (error) {
-		if (error instanceof UnknownOption) {
-			const helpMessage = getHelp(error.context.path, {
-				description: false,
-				didYouMean: {
-					input: error.option,
-					choices: error.validOptions
-				}
-			});
-			printError(`${error.message}\n\n${helpMessage}`);
-		} else if (error instanceof ParseError) printError(`${error.message}\n\n${getHelp(error.context.path, { description: false })}`);
+		if (error instanceof ParseError) printUsageError(error.context.path, error.message, error.didYouMean);
 		else printError(`${error}`);
 		return 1;
 	}
-	const action = result.optionActions.at(-1) ?? result.actions.at(-1);
-	if (!action) return 1;
-	const options = result.options;
+	const { action, options } = result;
 	const actionInit = {
 		help: (helpOptions) => getHelp(helpOptions?.path ?? result.path, helpOptions),
 		args: result.args,
@@ -1671,8 +1595,8 @@ async function run(spec, args = defaultArgs()) {
 		options: {
 			options,
 			has: (name) => options.has(name),
-			get: (name) => options.get(name)?.[0],
-			all: (name) => options.get(name),
+			get: (name) => (options.get(name) ?? result.defaults(name))?.[0],
+			all: (name) => options.get(name) ?? result.defaults(name),
 			count: (name) => options.get(name)?.length ?? 0
 		}
 	};
@@ -1681,13 +1605,22 @@ async function run(spec, args = defaultArgs()) {
 		const actionResult = action(actionInit);
 		exitCode = typeof actionResult === "object" ? await actionResult : actionResult;
 	} catch (error) {
-		printError(error instanceof Error ? error.message : String(error));
+		printError(describeThrown(error));
 		return 1;
 	}
 	return Math.min(Math.max(exitCode ?? 0, 0), 255);
 }
-function printError(...strings) {
-	console.error("Error:", ...strings);
+/**
+* The message for a value an action threw. A value that isn't an Error is shown
+* as JSON where it can be, since `String` turns an object into
+* "[object Object]".
+*/
+function describeThrown(value) {
+	if (value instanceof Error) return value.message;
+	if (typeof value === "object" && value !== null) try {
+		return JSON.stringify(value);
+	} catch {}
+	return String(value);
 }
 function defaultArgs() {
 	return globalThis.process?.argv?.slice(2) ?? [];