@optique/core 1.4.0-dev.2607 → 1.4.0-dev.2608

package/dist/constructs.js

@@ -8,13 +8,12 @@ import { createDependencySourceState, dependencyId, isDependencySourceState, isP
 import { buildRuntimeNodesFromArray, buildRuntimeNodesFromPairs, collectExplicitSourceValues, collectExplicitSourceValuesAsync, collectSourcesFromState, completeEffectfulSourcesAsync, createDependencyRuntimeContext, effectfulSchedulingNodesKey, exclusiveSourceScopeKey, extractRawInputFromState, fillMissingSourceDefaults, fillMissingSourceDefaultsAsync, forkRuntimeForCommittedSubtree, getDefaultDependencySnapshot, guaranteedStaticSourceIdsKey, hasInactiveCompletion, isMatchedState, recordSourceScope, releaseUncollectedSourceValues, replaceCachedBarrierFailure, resolveDerivedSourceValues, resolveDerivedSourceValuesAsync, resolveStateWithRuntime, resolveStateWithRuntimeAsync, serializeSchedulingPath, sourceCollectionExpansionKey, staticSourceScopeKey } from "./dependency-runtime.js";
 import { defineInheritedAnnotationParser, defineParseLanes, getOwnParseLanes, getParserSuggestRuntimeNodes, unmatchedNonCliDependencySourceStateMarker } from "./internal/parser.js";
 import { annotationViewTargets, getWrappedChildParseState, getWrappedChildState, reconcileObjectChildState, unwrapAnnotationView } from "./annotation-state.js";
-import { collectLeadingCandidates } from "./usage-internals.js";
-import { adoptOptionScope, combinedOptionScope, conditionalOptionScope, forkOptionScope, restoreOptionScope, scopeParser, selectableOptionScope, withOptionScope, withParserOptionScope } from "./short-option.js";
 import { allowDuplicateLeadingCommandNamesKey } from "./internal/command-alias.js";
 import { mergeChildExec, withChildContext, withChildExecPath } from "./execution-context.js";
 import { completeOrExtractPhase2Seed, extractPhase2Seed, extractPhase2SeedKey, phase2SeedFromValueResult } from "./phase2-seed.js";
 import { fluent } from "./modifiers.js";
 import { DEFAULT_FIND_SIMILAR_OPTIONS, createErrorWithSuggestions, createSuggestionMessage, deduplicateSuggestions, expandCommandAliasSuggestions, findSimilar } from "./suggestion.js";
+import { collectLeadingCandidates } from "./usage-internals.js";
 
 //#region src/constructs.ts
 /**
@@ -49,7 +48,7 @@ function withoutRepublishInstruction(exec) {
 }
 function withChildContext$1(context, segment, state, parser, usage) {
 	const childState = parser == null ? state : getWrappedChildParseState(context.state, state, parser);
-	return withChildContext(parser == null ? context : withParserOptionScope(context, parser), segment, childState, usage);
+	return withChildContext(context, segment, childState, usage);
 }
 function isUnmatchedDependencyState(state, parser) {
 	if (state === void 0) return true;
@@ -1403,7 +1402,7 @@ function or(...args) {
 		let optionsTerminatorResult = null;
 		let provisionalAmbiguous = false;
 		for (const [parser, i] of orderedParsers) {
-			const result = parser.parse(withChildContext$1(forkOptionScope(context), i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser));
+			const result = parser.parse(withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser));
 			if (isOptionsTerminatorOnlyResult(context, result)) {
 				if (activeState?.[0] === i && activeState[1].success && activeState[1].consumed.length > 0 && result.next.buffer.length < 1) return preserveExclusiveStateAfterOptionsTerminator(context, result);
 				optionsTerminatorResult ??= result;
@@ -1438,7 +1437,7 @@ function or(...args) {
 						return {
 							success: true,
 							next: {
-								...adoptOptionScope(context, result.next),
+								...context,
 								buffer: result.next.buffer,
 								optionsTerminated: result.next.optionsTerminated,
 								state: createExclusiveState(context.state, i, parser, result),
@@ -1474,7 +1473,7 @@ function or(...args) {
 					return {
 						success: true,
 						next: {
-							...adoptOptionScope(context, replayedResult.next),
+							...context,
 							buffer: replayedResult.next.buffer,
 							optionsTerminated: replayedResult.next.optionsTerminated,
 							state: createExclusiveState(context.state, i, parser, {
@@ -1493,7 +1492,7 @@ function or(...args) {
 				return {
 					success: true,
 					next: {
-						...adoptOptionScope(context, result.next),
+						...context,
 						buffer: result.next.buffer,
 						optionsTerminated: result.next.optionsTerminated,
 						state: createExclusiveState(context.state, i, parser, result),
@@ -1519,7 +1518,7 @@ function or(...args) {
 				success: true,
 				...zeroConsumedBranch.result.provisional ? { provisional: true } : {},
 				next: {
-					...adoptOptionScope(context, zeroConsumedBranch.result.next),
+					...context,
 					state: createExclusiveState(context.state, zeroConsumedBranch.index, zeroConsumedBranch.parser, zeroConsumedBranch.result),
 					...mergedExec != null ? {
 						exec: mergedExec,
@@ -1537,7 +1536,7 @@ function or(...args) {
 					success: true,
 					provisional: true,
 					next: {
-						...adoptOptionScope(context, provisionalConsuming.result.next),
+						...context,
 						buffer: provisionalConsuming.result.next.buffer,
 						optionsTerminated: provisionalConsuming.result.next.optionsTerminated,
 						state: createExclusiveState(context.state, provisionalConsuming.index, provisionalConsuming.parser, provisionalConsuming.result),
@@ -1552,7 +1551,7 @@ function or(...args) {
 			if (activeState != null && activeState[1].success) {
 				const previouslyConsumed = activeState[1].consumed;
 				const checkResult = provisionalConsuming.parser.parse({
-					...withChildContext$1(forkOptionScope(context), provisionalConsuming.index, provisionalConsuming.parser.initialState, provisionalConsuming.parser),
+					...withChildContext$1(context, provisionalConsuming.index, provisionalConsuming.parser.initialState, provisionalConsuming.parser),
 					buffer: previouslyConsumed
 				});
 				const canConsumeShared = checkResult.success && checkResult.consumed.length === previouslyConsumed.length && checkResult.consumed.every((c, idx) => c === previouslyConsumed[idx]);
@@ -1571,7 +1570,7 @@ function or(...args) {
 						success: true,
 						provisional: true,
 						next: {
-							...adoptOptionScope(context, replayedResult.next),
+							...context,
 							buffer: replayedResult.next.buffer,
 							optionsTerminated: replayedResult.next.optionsTerminated,
 							state: createExclusiveState(context.state, provisionalConsuming.index, provisionalConsuming.parser, {
@@ -1606,7 +1605,7 @@ function or(...args) {
 		let optionsTerminatorResult = null;
 		let provisionalAmbiguous = false;
 		for (const [parser, i] of orderedParsers) {
-			const resultOrPromise = parser.parse(withChildContext$1(forkOptionScope(context), i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser));
+			const resultOrPromise = parser.parse(withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser));
 			const result = await resultOrPromise;
 			if (isOptionsTerminatorOnlyResult(context, result)) {
 				if (activeState?.[0] === i && activeState[1].success && activeState[1].consumed.length > 0 && result.next.buffer.length < 1) return preserveExclusiveStateAfterOptionsTerminator(context, result);
@@ -1642,7 +1641,7 @@ function or(...args) {
 						return {
 							success: true,
 							next: {
-								...adoptOptionScope(context, result.next),
+								...context,
 								buffer: result.next.buffer,
 								optionsTerminated: result.next.optionsTerminated,
 								state: createExclusiveState(context.state, i, parser, result),
@@ -1680,7 +1679,7 @@ function or(...args) {
 					return {
 						success: true,
 						next: {
-							...adoptOptionScope(context, replayedResult.next),
+							...context,
 							buffer: replayedResult.next.buffer,
 							optionsTerminated: replayedResult.next.optionsTerminated,
 							state: createExclusiveState(context.state, i, parser, {
@@ -1699,7 +1698,7 @@ function or(...args) {
 				return {
 					success: true,
 					next: {
-						...adoptOptionScope(context, result.next),
+						...context,
 						buffer: result.next.buffer,
 						optionsTerminated: result.next.optionsTerminated,
 						state: createExclusiveState(context.state, i, parser, result),
@@ -1725,7 +1724,7 @@ function or(...args) {
 				success: true,
 				...zeroConsumedBranch.result.provisional ? { provisional: true } : {},
 				next: {
-					...adoptOptionScope(context, zeroConsumedBranch.result.next),
+					...context,
 					state: createExclusiveState(context.state, zeroConsumedBranch.index, zeroConsumedBranch.parser, zeroConsumedBranch.result),
 					...mergedExec != null ? {
 						exec: mergedExec,
@@ -1743,7 +1742,7 @@ function or(...args) {
 					success: true,
 					provisional: true,
 					next: {
-						...adoptOptionScope(context, provisionalConsuming.result.next),
+						...context,
 						buffer: provisionalConsuming.result.next.buffer,
 						optionsTerminated: provisionalConsuming.result.next.optionsTerminated,
 						state: createExclusiveState(context.state, provisionalConsuming.index, provisionalConsuming.parser, provisionalConsuming.result),
@@ -1758,7 +1757,7 @@ function or(...args) {
 			if (activeState != null && activeState[1].success) {
 				const previouslyConsumed = activeState[1].consumed;
 				const checkResult = await provisionalConsuming.parser.parse({
-					...withChildContext$1(forkOptionScope(context), provisionalConsuming.index, provisionalConsuming.parser.initialState, provisionalConsuming.parser),
+					...withChildContext$1(context, provisionalConsuming.index, provisionalConsuming.parser.initialState, provisionalConsuming.parser),
 					buffer: previouslyConsumed
 				});
 				const canConsumeShared = checkResult.success && checkResult.consumed.length === previouslyConsumed.length && checkResult.consumed.every((c, idx) => c === previouslyConsumed[idx]);
@@ -1777,7 +1776,7 @@ function or(...args) {
 						success: true,
 						provisional: true,
 						next: {
-							...adoptOptionScope(context, replayedResult.next),
+							...context,
 							buffer: replayedResult.next.buffer,
 							optionsTerminated: replayedResult.next.optionsTerminated,
 							state: createExclusiveState(context.state, provisionalConsuming.index, provisionalConsuming.parser, {
@@ -1864,7 +1863,7 @@ function or(...args) {
 	if (singleDependencyMetadata != null) singleResult.dependencyMetadata = singleDependencyMetadata;
 	defineExclusiveSchedulingNodes(singleResult, parsers);
 	defineInheritedAnnotationParser(singleResult);
-	return fluent(scopeParser(singleResult, combinedOptionScope(parsers)));
+	return fluent(singleResult);
 }
 /**
 * @since 0.5.0
@@ -1913,7 +1912,7 @@ function createLongestMatch(...args) {
 		return {
 			success: true,
 			next: {
-				...adoptOptionScope(context, selectedResult.next),
+				...context,
 				buffer: selectedResult.next.buffer,
 				optionsTerminated: selectedResult.next.optionsTerminated,
 				state: createExclusiveState(context.state, match.index, parser, selectedResult),
@@ -1953,7 +1952,7 @@ function createLongestMatch(...args) {
 		const activeState = normalizeExclusiveState(context.state);
 		for (let i = 0; i < syncParsers.length; i++) {
 			const parser = syncParsers[i];
-			const childContext = withChildContext$1(forkOptionScope(context), i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser);
+			const childContext = withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser);
 			const result = parser.parse(childContext);
 			if (isOptionsTerminatorOnlyResult(context, result)) {
 				optionsTerminatorMatches.push({
@@ -1989,7 +1988,7 @@ function createLongestMatch(...args) {
 		const activeState = normalizeExclusiveState(context.state);
 		for (let i = 0; i < parsers.length; i++) {
 			const parser = parsers[i];
-			const childContext = withChildContext$1(forkOptionScope(context), i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser);
+			const childContext = withChildContext$1(context, i, activeState == null || activeState[0] !== i || !activeState[1].success ? parser.initialState : activeState[1].next.state, parser);
 			const resultOrPromise = parser.parse(childContext);
 			const result = await resultOrPromise;
 			if (isOptionsTerminatorOnlyResult(context, result)) {
@@ -2080,7 +2079,7 @@ function createLongestMatch(...args) {
 	if (multiDependencyMetadata != null) multiResult.dependencyMetadata = multiDependencyMetadata;
 	defineExclusiveSchedulingNodes(multiResult, parsers);
 	defineInheritedAnnotationParser(multiResult);
-	return fluent(scopeParser(multiResult, combinedOptionScope(parsers)));
+	return fluent(multiResult);
 }
 /**
 * Creates the initial parse error shared by object-like combinators.
@@ -3094,15 +3093,15 @@ function object(labelOrParsers, maybeParsersOrOptions, maybeOptions) {
 	});
 	defineParseLanes(objectParser, objectParseLanes);
 	defineInheritedAnnotationParser(objectParser);
-	return fluent(scopeParser(objectParser, combinedOptionScope(parserPairs.map(([, p]) => p))));
+	return fluent(objectParser);
 }
 function isParserLike(value) {
 	return value != null && (typeof value === "object" || typeof value === "function") && "parse" in value && "$valueType" in value && "$stateType" in value;
 }
 function tokenMatchesLeadingName(token, candidates) {
 	if (token == null) return false;
-	for (const name of candidates.optionNames) if (token === name || name.startsWith("-") && !name.startsWith("--") && name.length > 2 && token.startsWith(`${name}=`)) return true;
-	for (const name of candidates.joinedOptionNames) if (/^-[^-]$/.test(name) && token.startsWith(name) || name.startsWith("/") && token.startsWith(`${name}:`) || (name.startsWith("--") || name.startsWith("-") && name.length > 2) && token.startsWith(`${name}=`)) return true;
+	for (const name of candidates.optionNames) if (token === name) return true;
+	for (const name of candidates.joinedOptionNames) if (name.startsWith("/") && token.startsWith(`${name}:`) || (name.startsWith("--") || name.startsWith("-") && name.length > 2) && token.startsWith(`${name}=`)) return true;
 	for (const name of candidates.commandNames) if (token === name) return true;
 	return false;
 }
@@ -3328,7 +3327,6 @@ function advanceSeqSuggestContextSync(context, parsers, initialStates) {
 	while (currentContext.state.index < parsers.length) {
 		const index = currentContext.state.index;
 		const parser = parsers[index];
-		currentContext = withParserOptionScope(currentContext, parser);
 		const parserState = getSeqChildState(currentContext.state, index, parser);
 		if (currentContext.buffer.length < 1) break;
 		if (shouldAdvanceSeqBeforeParse(parser, parserState, initialStates[index], currentContext, index, parsers)) {
@@ -3355,7 +3353,6 @@ async function advanceSeqSuggestContextAsync(context, parsers, initialStates) {
 	while (currentContext.state.index < parsers.length) {
 		const index = currentContext.state.index;
 		const parser = parsers[index];
-		currentContext = withParserOptionScope(currentContext, parser);
 		const parserState = getSeqChildState(currentContext.state, index, parser);
 		if (currentContext.buffer.length < 1) break;
 		if (shouldAdvanceSeqBeforeParse(parser, parserState, initialStates[index], currentContext, index, parsers)) {
@@ -4112,7 +4109,7 @@ function tuple(labelOrParsers, maybeParsersOrOptions, maybeOptions) {
 		enumerable: false
 	});
 	defineInheritedAnnotationParser(tupleParser);
-	return fluent(scopeParser(tupleParser, combinedOptionScope(parsers)));
+	return fluent(tupleParser);
 }
 function seq(...rawArgs) {
 	const label = typeof rawArgs[0] === "string" ? rawArgs[0] : void 0;
@@ -4130,31 +4127,12 @@ function seq(...rawArgs) {
 		...result,
 		consumed: consumed.length + result.consumed
 	});
-	const reachableSeqScope = (context) => {
-		let end = Math.min(context.state.index + 1, parsers.length);
-		while (end < parsers.length) {
-			const index = end - 1;
-			const child = parsers[index];
-			if (context.buffer.length > 0 && !tokenMatchesLeadingName(context.buffer[0], leadingCandidatesAfter(parsers, end))) break;
-			if (!parserCanSkipAt(child, getSeqChildState(context.state, index, child), context.exec, index)) break;
-			end++;
-		}
-		return combinedOptionScope(parsers.slice(0, end));
-	};
-	const seqScope = selectableOptionScope(reachableSeqScope({
-		state: initialState,
-		buffer: [],
-		usage: [],
-		optionsTerminated: false
-	}));
 	const parseSync = (context) => {
 		let currentContext = context;
 		const allConsumed = [];
 		while (currentContext.state.index < syncParsers.length) {
 			const index = currentContext.state.index;
 			const parser = syncParsers[index];
-			seqScope.select(currentContext, reachableSeqScope(currentContext));
-			currentContext = withParserOptionScope(currentContext, parser);
 			const parserState = getSeqChildState(currentContext.state, index, parser);
 			if (currentContext.buffer.length < 1) break;
 			if (shouldAdvanceSeqBeforeParse(parser, parserState, initialState.states[index], currentContext, index, syncParsers)) {
@@ -4197,8 +4175,6 @@ function seq(...rawArgs) {
 		while (currentContext.state.index < parsers.length) {
 			const index = currentContext.state.index;
 			const parser = parsers[index];
-			seqScope.select(currentContext, reachableSeqScope(currentContext));
-			currentContext = withParserOptionScope(currentContext, parser);
 			const parserState = getSeqChildState(currentContext.state, index, parser);
 			if (currentContext.buffer.length < 1) break;
 			if (shouldAdvanceSeqBeforeParse(parser, parserState, initialState.states[index], currentContext, index, parsers)) {
@@ -4467,9 +4443,7 @@ function seq(...rawArgs) {
 		enumerable: false
 	});
 	defineInheritedAnnotationParser(seqParser);
-	return fluent(scopeParser(seqParser, seqScope.source, (context) => {
-		seqScope.select(context, reachableSeqScope(context));
-	}));
+	return fluent(seqParser);
 }
 function merge(...args) {
 	const label = typeof args[0] === "string" ? args[0] : void 0;
@@ -5463,7 +5437,7 @@ function merge(...args) {
 	};
 	defineParseLanes(mergeParser, mergeParseLanes);
 	defineInheritedAnnotationParser(mergeParser);
-	return fluent(scopeParser(mergeParser, combinedOptionScope(parsers)));
+	return fluent(mergeParser);
 }
 /**
 * Builds a dependency registry from the pre-parsed context state and returns
@@ -6090,7 +6064,7 @@ function concat(...parsers) {
 		}
 	};
 	defineInheritedAnnotationParser(concatParser);
-	return fluent(scopeParser(concatParser, combinedOptionScope(parsers)));
+	return fluent(concatParser);
 }
 function group(label, parser, options = {}) {
 	validateLabel(label);
@@ -6200,7 +6174,7 @@ function group(label, parser, options = {}) {
 		configurable: true,
 		enumerable: false
 	});
-	return fluent(scopeParser(groupParser, combinedOptionScope([parser])));
+	return fluent(groupParser);
 }
 /**
 * Creates a conditional parser that selects different branch parsers based on
@@ -6309,7 +6283,6 @@ function conditional(discriminator, branches, defaultBranch, options) {
 		const noMatchContext = analyzeNoMatchContext([discriminator, ...allBranchParsers]);
 		return options?.errors?.noMatch ? typeof options.errors.noMatch === "function" ? options.errors.noMatch(noMatchContext) : options.errors.noMatch : generateNoMatchError(noMatchContext);
 	};
-	const optionScope = conditionalOptionScope(discriminator, defaultBranch, branchParsers.map(([, p]) => p));
 	const parseSync = (context) => {
 		const state = context.state ?? initialState;
 		const syncDiscriminator = discriminator;
@@ -6346,12 +6319,10 @@ function conditional(discriminator, branches, defaultBranch, options) {
 				const value = completionResult.value;
 				const branchParser = syncBranches[value];
 				if (branchParser) {
-					const branchContext = forkOptionScope(context);
-					optionScope.select(branchContext, branchParser);
 					const discriminatorExec = mergeChildExec(context.exec, discriminatorResult.next.exec);
 					const branchParseResult = branchParser.parse({
 						...withChildContext$1({
-							...branchContext,
+							...context,
 							...discriminatorExec != null ? {
 								exec: discriminatorExec,
 								dependencyRegistry: discriminatorExec.dependencyRegistry
@@ -6361,7 +6332,6 @@ function conditional(discriminator, branches, defaultBranch, options) {
 						optionsTerminated: discriminatorResult.next.optionsTerminated
 					});
 					if (branchParseResult.success) {
-						if (discriminatorResult.consumed.length > 0 || branchParseResult.consumed.length > 0) adoptOptionScope(context, branchParseResult.next);
 						const mergedExec = mergeChildExec(discriminatorExec, branchParseResult.next.exec);
 						const isProvisional = branchParseResult.provisional || discriminatorResult.consumed.length === 0 && branchParseResult.consumed.length === 0 && (branchParser.leadingNames.size > 0 || branchParser.acceptingAnyToken);
 						return {
@@ -6386,29 +6356,26 @@ function conditional(discriminator, branches, defaultBranch, options) {
 							consumed: [...discriminatorResult.consumed, ...branchParseResult.consumed]
 						};
 					}
-					if (discriminatorResult.consumed.length > 0) {
-						optionScope.select(context, branchParser);
-						return {
-							success: true,
-							next: {
-								...discriminatorResult.next,
-								state: {
-									discriminatorState: annotatedDiscriminatorState,
-									discriminatorValue: value,
-									selectedBranch: {
-										kind: "branch",
-										key: value
-									},
-									branchState: getWrappedChildState(state, branchParser.initialState, branchParser)
+					if (discriminatorResult.consumed.length > 0) return {
+						success: true,
+						next: {
+							...discriminatorResult.next,
+							state: {
+								discriminatorState: annotatedDiscriminatorState,
+								discriminatorValue: value,
+								selectedBranch: {
+									kind: "branch",
+									key: value
 								},
-								...discriminatorExec != null ? {
-									exec: discriminatorExec,
-									dependencyRegistry: discriminatorExec.dependencyRegistry
-								} : {}
+								branchState: getWrappedChildState(state, branchParser.initialState, branchParser)
 							},
-							consumed: discriminatorResult.consumed
-						};
-					}
+							...discriminatorExec != null ? {
+								exec: discriminatorExec,
+								dependencyRegistry: discriminatorExec.dependencyRegistry
+							} : {}
+						},
+						consumed: discriminatorResult.consumed
+					};
 					return branchParseResult;
 				}
 			}
@@ -6481,7 +6448,7 @@ function conditional(discriminator, branches, defaultBranch, options) {
 			if (discriminatorResult.consumed.length === 0 && discriminator.mode === "async") {
 				const discriminatorExec = mergeChildExec(context.exec, discriminatorResult.next.exec);
 				const speculationContext = {
-					...withOptionScope(context, unionLeadingNames([...branchParsers.map(([, p]) => p), ...defaultBranch ? [defaultBranch] : []])),
+					...context,
 					buffer: discriminatorResult.next.buffer,
 					optionsTerminated: discriminatorResult.next.optionsTerminated,
 					...discriminatorExec != null ? {
@@ -6495,7 +6462,7 @@ function conditional(discriminator, branches, defaultBranch, options) {
 				let speculativeError;
 				let ambiguous = false;
 				for (const [key, bp] of branchParsers) {
-					const branchResult = await bp.parse(withChildContext$1(forkOptionScope(speculationContext), "_branch", bp.initialState, bp, bp.usage));
+					const branchResult = await bp.parse(withChildContext$1(speculationContext, "_branch", bp.initialState, bp, bp.usage));
 					if (branchResult.success && branchResult.consumed.length > 0) {
 						if (branchResult.provisional) {
 							if (provisionalHit == null && !provisionalAmbiguous) provisionalHit = {
@@ -6528,12 +6495,11 @@ function conditional(discriminator, branches, defaultBranch, options) {
 					if (branchResult.success) {
 						const annotatedDiscriminatorState$2 = getWrappedChildState(state, discriminatorResult.next.state, discriminator);
 						const mergedExec = mergeChildExec(discriminatorExec, branchResult.next.exec);
-						optionScope.select(context, bp);
 						return {
 							success: true,
 							provisional: true,
 							next: {
-								...restoreOptionScope(branchResult.next, context),
+								...branchResult.next,
 								state: {
 									...state,
 									discriminatorState: annotatedDiscriminatorState$2,
@@ -6555,15 +6521,14 @@ function conditional(discriminator, branches, defaultBranch, options) {
 				}
 				let deferredBranchState = state.branchState;
 				if (defaultBranch !== void 0 && !ambiguous && !provisionalAmbiguous) {
-					const defaultResult = await defaultBranch.parse(withChildContext$1(forkOptionScope(speculationContext), "_branch", state.branchState ?? defaultBranch.initialState, defaultBranch, defaultBranch.usage));
+					const defaultResult = await defaultBranch.parse(withChildContext$1(speculationContext, "_branch", state.branchState ?? defaultBranch.initialState, defaultBranch, defaultBranch.usage));
 					if (defaultResult.success && defaultResult.consumed.length > 0) {
 						const defaultExec = mergeChildExec(discriminatorExec ?? context.exec, defaultResult.next.exec);
-						optionScope.select(context, defaultBranch);
 						return {
 							success: true,
 							...defaultResult.provisional ? { provisional: true } : {},
 							next: {
-								...restoreOptionScope(defaultResult.next, context),
+								...defaultResult.next,
 								state: {
 									...state,
 									selectedBranch: { kind: "default" },
@@ -6586,7 +6551,7 @@ function conditional(discriminator, branches, defaultBranch, options) {
 					success: true,
 					provisional: true,
 					next: {
-						...restoreOptionScope(speculationContext, context),
+						...speculationContext,
 						state: {
 							...state,
 							discriminatorState: annotatedDiscriminatorState$1,
@@ -6602,12 +6567,10 @@ function conditional(discriminator, branches, defaultBranch, options) {
 				const value = completionResult.value;
 				const branchParser = branches[value];
 				if (branchParser) {
-					const branchContext = forkOptionScope(context);
-					optionScope.select(branchContext, branchParser);
 					const discriminatorExec = mergeChildExec(context.exec, discriminatorResult.next.exec);
 					const branchParseResult = await branchParser.parse({
 						...withChildContext$1({
-							...branchContext,
+							...context,
 							...discriminatorExec != null ? {
 								exec: discriminatorExec,
 								dependencyRegistry: discriminatorExec.dependencyRegistry
@@ -6617,7 +6580,6 @@ function conditional(discriminator, branches, defaultBranch, options) {
 						optionsTerminated: discriminatorResult.next.optionsTerminated
 					});
 					if (branchParseResult.success) {
-						if (discriminatorResult.consumed.length > 0 || branchParseResult.consumed.length > 0) adoptOptionScope(context, branchParseResult.next);
 						const mergedExec = mergeChildExec(discriminatorExec, branchParseResult.next.exec);
 						return {
 							success: true,
@@ -6641,29 +6603,26 @@ function conditional(discriminator, branches, defaultBranch, options) {
 							consumed: [...discriminatorResult.consumed, ...branchParseResult.consumed]
 						};
 					}
-					if (discriminatorResult.consumed.length > 0) {
-						optionScope.select(context, branchParser);
-						return {
-							success: true,
-							next: {
-								...discriminatorResult.next,
-								state: {
-									discriminatorState: annotatedDiscriminatorState,
-									discriminatorValue: value,
-									selectedBranch: {
-										kind: "branch",
-										key: value
-									},
-									branchState: getWrappedChildState(state, branchParser.initialState, branchParser)
+					if (discriminatorResult.consumed.length > 0) return {
+						success: true,
+						next: {
+							...discriminatorResult.next,
+							state: {
+								discriminatorState: annotatedDiscriminatorState,
+								discriminatorValue: value,
+								selectedBranch: {
+									kind: "branch",
+									key: value
 								},
-								...discriminatorExec != null ? {
-									exec: discriminatorExec,
-									dependencyRegistry: discriminatorExec.dependencyRegistry
-								} : {}
+								branchState: getWrappedChildState(state, branchParser.initialState, branchParser)
 							},
-							consumed: discriminatorResult.consumed
-						};
-					}
+							...discriminatorExec != null ? {
+								exec: discriminatorExec,
+								dependencyRegistry: discriminatorExec.dependencyRegistry
+							} : {}
+						},
+						consumed: discriminatorResult.consumed
+					};
 					return branchParseResult;
 				}
 			}
@@ -7337,9 +7296,7 @@ function conditional(discriminator, branches, defaultBranch, options) {
 			} : void 0, "_discriminator"));
 			if (discComplete.success && syncBranches[discComplete.value] !== void 0) {
 				const resolvedBranch = syncBranches[discComplete.value];
-				const branchContext = forkOptionScope(suggestContext);
-				optionScope.select(branchContext, resolvedBranch);
-				yield* resolvedBranch.suggest(withChildContext$1(branchContext, "_branch", state.branchState ?? resolvedBranch.initialState, resolvedBranch), prefix);
+				yield* resolvedBranch.suggest(withChildContext$1(suggestContext, "_branch", state.branchState ?? resolvedBranch.initialState, resolvedBranch), prefix);
 			} else if (syncDefaultBranch !== void 0) yield* syncDefaultBranch.suggest(withChildContext$1(suggestContext, "_branch", state.branchState ?? syncDefaultBranch.initialState, syncDefaultBranch), prefix);
 		} else {
 			const branchParser = state.selectedBranch.kind === "default" ? syncDefaultBranch : syncBranches[state.selectedBranch.key];
@@ -7393,9 +7350,7 @@ function conditional(discriminator, branches, defaultBranch, options) {
 				} : void 0, "_discriminator"));
 				if (discComplete.success && branches[discComplete.value] !== void 0) {
 					const resolvedBranch = branches[discComplete.value];
-					const branchContext = forkOptionScope(suggestContext);
-					optionScope.select(branchContext, resolvedBranch);
-					yield* resolvedBranch.suggest(withChildContext$1(branchContext, "_branch", state.branchState ?? resolvedBranch.initialState, resolvedBranch), prefix);
+					yield* resolvedBranch.suggest(withChildContext$1(suggestContext, "_branch", state.branchState ?? resolvedBranch.initialState, resolvedBranch), prefix);
 					discResolved = true;
 				}
 			}
@@ -7546,13 +7501,7 @@ function conditional(discriminator, branches, defaultBranch, options) {
 		configurable: true,
 		enumerable: false
 	});
-	return fluent(scopeParser(conditionalParser, optionScope.source, (context) => {
-		const selected = context.state?.selectedBranch;
-		if (selected != null) {
-			const branch = selected.kind === "default" ? defaultBranch : branches[selected.key];
-			if (branch != null) optionScope.select(context, branch);
-		}
-	}));
+	return fluent(conditionalParser);
 }
 
 //#endregion