@optique/core 1.3.0-dev.2366 → 1.3.0-dev.2375

package/dist/constructs.cjs

@@ -79,8 +79,8 @@ function unionLeadingNames(parsers) {
 * Computes `leadingNames` for shared-buffer compositions (`tuple()`,
 * `object()`, `merge()`, `concat()`).
 *
-* Children are processed in descending priority order (matching the
-* round-robin parse loop).  Once a child with `acceptingAnyToken` is
+* Sources are processed in descending priority order (matching the
+* round-robin parse loop).  Once a source with `acceptingAnyToken` is
 * encountered, no lower-priority children can match at position 0, so
 * their names are excluded.
 */
@@ -1949,6 +1949,52 @@ function object(labelOrParsers, maybeParsersOrOptions, maybeOptions) {
 	const noMatchContext = analyzeNoMatchContext(parserKeys.map((k) => parsers[k]));
 	const combinedMode = parserKeys.some((k) => parsers[k].mode === "async") ? "async" : "sync";
 	const getInitialError = (context) => createObjectLikeInitialError(context, noMatchContext, options.errors);
+	const adaptFieldLaneResult = (context, field, parser, fieldState, result) => {
+		if (!result.success) return result;
+		if (result.consumed.length === 0 && result.next.state === fieldState) return {
+			success: true,
+			next: context,
+			consumed: []
+		};
+		const mergedExec = require_execution_context.mergeChildExec(context.exec, result.next.exec);
+		const nextState = result.next.state === fieldState ? context.state : {
+			...context.state,
+			[field]: require_annotation_state.getWrappedChildState(context.state, result.next.state, parser)
+		};
+		return {
+			success: true,
+			next: {
+				...context,
+				buffer: result.next.buffer,
+				optionsTerminated: result.next.optionsTerminated,
+				state: nextState,
+				...mergedExec != null ? {
+					trace: mergedExec.trace,
+					exec: mergedExec,
+					dependencyRegistry: mergedExec.dependencyRegistry
+				} : {}
+			},
+			consumed: result.consumed
+		};
+	};
+	const objectZeroConsumptionGroup = {};
+	const objectParseLanes = parserPairs.map(([field, parser]) => ({
+		priority: parser.priority,
+		zeroConsumptionGroup: objectZeroConsumptionGroup,
+		settlesZeroConsumption: false,
+		leadingNames: parser.leadingNames,
+		acceptingAnyToken: parser.acceptingAnyToken,
+		parse(context) {
+			const fieldState = createFieldStateGetter(context.state, getObjectParseChildState)(field, parser);
+			return require_mode_dispatch.dispatchByMode(combinedMode, () => {
+				const result = parser.parse(withChildContext$1(context, field, fieldState, parser));
+				return adaptFieldLaneResult(context, field, parser, fieldState, result);
+			}, async () => {
+				const result = await parser.parse(withChildContext$1(context, field, fieldState, parser));
+				return adaptFieldLaneResult(context, field, parser, fieldState, result);
+			});
+		}
+	}));
 	const parseSync = (context) => {
 		let error = getInitialError(context);
 		let currentContext = context;
@@ -2467,6 +2513,7 @@ function object(labelOrParsers, maybeParsersOrOptions, maybeOptions) {
 		configurable: true,
 		enumerable: false
 	});
+	require_internal_parser.defineParseLanes(objectParser, objectParseLanes);
 	require_internal_parser.defineInheritedAnnotationParser(objectParser);
 	return require_modifiers.fluent(objectParser);
 }
@@ -3871,7 +3918,140 @@ function merge(...args) {
 			[localObjectStateKey(index)]: result.next.state
 		};
 	};
-	const parseSync = (context) => {
+	const adaptMergeLaneResult = (parser, context, parserState, parsedState, result, index) => {
+		if (!result.success) return result;
+		const mergedExec = require_execution_context.mergeChildExec(context.exec, result.next.exec);
+		const newState = result.next.state === parsedState ? context.state : mergeResultState(parser, context, parserState, result, index);
+		return {
+			success: true,
+			next: {
+				...context,
+				buffer: result.next.buffer,
+				optionsTerminated: result.next.optionsTerminated,
+				state: newState,
+				...mergedExec != null ? {
+					trace: mergedExec.trace,
+					exec: mergedExec,
+					dependencyRegistry: mergedExec.dependencyRegistry
+				} : {}
+			},
+			consumed: result.consumed
+		};
+	};
+	const childrenInDeclarationOrder = sorted.map(([parser, originalIndex], sortedIndex) => ({
+		parser,
+		originalIndex,
+		sortedIndex
+	})).toSorted((a, b) => a.originalIndex - b.originalIndex);
+	const mergeParseLanes = childrenInDeclarationOrder.flatMap(({ parser, sortedIndex }) => {
+		const occurrenceConsumptionGroups = /* @__PURE__ */ new WeakMap();
+		const occurrenceZeroConsumptionGroups = /* @__PURE__ */ new WeakMap();
+		const scopeConsumptionGroup = (group$1) => {
+			const existing = occurrenceConsumptionGroups.get(group$1);
+			if (existing != null) return existing;
+			const scoped = {};
+			occurrenceConsumptionGroups.set(group$1, scoped);
+			return scoped;
+		};
+		const childLanes = require_internal_parser.getOwnParseLanes(parser);
+		const lanes = childLanes ?? [{
+			priority: parser.priority,
+			leadingNames: parser.leadingNames,
+			acceptingAnyToken: parser.acceptingAnyToken,
+			parse(context) {
+				return parser.parse(context);
+			}
+		}];
+		return lanes.map((lane) => ({
+			priority: lane.priority,
+			zeroConsumptionGroup: (() => {
+				const group$1 = lane.zeroConsumptionGroup ?? lane;
+				const existing = occurrenceZeroConsumptionGroups.get(group$1);
+				if (existing != null) return existing;
+				const scoped = {};
+				occurrenceZeroConsumptionGroups.set(group$1, scoped);
+				return scoped;
+			})(),
+			settlesZeroConsumption: lane.settlesZeroConsumption,
+			leadingNames: lane.leadingNames,
+			acceptingAnyToken: lane.acceptingAnyToken,
+			requiredConsumptionGroups: lane.requiredConsumptionGroups?.map((group$1) => ({
+				id: scopeConsumptionGroup(group$1.id),
+				...group$1.isActive == null ? {} : { isActive(state) {
+					if (state == null || typeof state !== "object") return false;
+					const parserState = extractParserStateFromState(parser, state, sortedIndex);
+					return group$1.isActive?.(parserState) ?? true;
+				} }
+			})),
+			parse(context) {
+				const parserState = extractParserState(parser, context, sortedIndex);
+				const childContext = withChildContext$1(context, sortedIndex, parserState, parser);
+				return require_mode_dispatch.dispatchByMode(combinedMode, () => {
+					const result = lane.parse(childContext);
+					return adaptMergeLaneResult(parser, context, parserState, childContext.state, result, sortedIndex);
+				}, async () => {
+					const result = await lane.parse(childContext);
+					return adaptMergeLaneResult(parser, context, parserState, childContext.state, result, sortedIndex);
+				});
+			}
+		}));
+	}).toSorted((a, b) => b.priority - a.priority);
+	const settleZeroConsumptionLanes = (context, laneResults) => {
+		const groups = /* @__PURE__ */ new Map();
+		for (const lane of mergeParseLanes) {
+			const group$1 = lane.zeroConsumptionGroup ?? lane;
+			const groupedLanes = groups.get(group$1);
+			if (groupedLanes == null) groups.set(group$1, [lane]);
+			else groupedLanes.push(lane);
+		}
+		const settledGroups = [];
+		for (const groupedLanes of groups.values()) {
+			const groupSucceeded = groupedLanes.every((lane) => {
+				const result = laneResults.get(lane);
+				return lane.settlesZeroConsumption !== false && result?.success === true && result.consumed.length === 0 && (lane.requiredConsumptionGroups?.length ?? 0) === 0;
+			});
+			if (!groupSucceeded) return null;
+			settledGroups.push(groupedLanes);
+		}
+		let settledContext = context;
+		for (const groupedLanes of settledGroups) for (const lane of groupedLanes) {
+			const result = laneResults.get(lane);
+			if (result?.success !== true) continue;
+			const originalState = context.state;
+			const resultState = result.next.state;
+			const nextState = { ...settledContext.state };
+			const stateKeys = new Set([...Reflect.ownKeys(originalState), ...Reflect.ownKeys(resultState)]);
+			for (const key of stateKeys) {
+				const originalHasKey = Object.hasOwn(originalState, key);
+				const resultHasKey = Object.hasOwn(resultState, key);
+				if (originalHasKey === resultHasKey && originalState[key] === resultState[key]) continue;
+				if (resultHasKey) nextState[key] = resultState[key];
+				else delete nextState[key];
+			}
+			const mergedExec = require_execution_context.mergeChildExec(settledContext.exec, result.next.exec);
+			settledContext = {
+				...settledContext,
+				buffer: result.next.buffer,
+				optionsTerminated: result.next.optionsTerminated,
+				state: nextState,
+				...mergedExec != null ? {
+					trace: mergedExec.trace,
+					exec: mergedExec,
+					dependencyRegistry: mergedExec.dependencyRegistry
+				} : {}
+			};
+		}
+		return {
+			success: true,
+			next: settledContext,
+			consumed: []
+		};
+	};
+	const canTryPositionalLaneAfterFailure = (lane, context) => {
+		const token = context.buffer[0];
+		return token != null && (context.optionsTerminated || !token.startsWith("-")) && (lane.acceptingAnyToken || lane.leadingNames.has(token));
+	};
+	const parseChildrenSync = (context) => {
 		let currentContext = context;
 		let zeroConsumedSuccess = null;
 		for (let i = 0; i < syncParsers.length; i++) {
@@ -3915,7 +4095,7 @@ function merge(...args) {
 			...createObjectLikeInitialError(context, noMatchContext)
 		};
 	};
-	const parseAsync = async (context) => {
+	const parseChildrenAsync = async (context) => {
 		let currentContext = context;
 		let zeroConsumedSuccess = null;
 		for (let i = 0; i < parsers.length; i++) {
@@ -3960,15 +4140,141 @@ function merge(...args) {
 			...createObjectLikeInitialError(context, noMatchContext)
 		};
 	};
+	const parseSync = (context) => {
+		let currentContext = context;
+		let error = createObjectLikeInitialError(context, noMatchContext);
+		const allConsumed = [];
+		const consumedLanes = /* @__PURE__ */ new Set();
+		const consumedGroups = /* @__PURE__ */ new Set();
+		const laneResults = /* @__PURE__ */ new Map();
+		let attemptedLane = false;
+		let madeProgress = true;
+		while (madeProgress && currentContext.buffer.length > 0) {
+			madeProgress = false;
+			let consumingError = null;
+			for (const lane of mergeParseLanes) {
+				if (consumingError != null && lane.priority < consumingError.priority) {
+					if (!canTryPositionalLaneAfterFailure(lane, currentContext)) continue;
+				}
+				attemptedLane = true;
+				const result = lane.parse(currentContext);
+				laneResults.set(lane, result);
+				if (result.success && result.consumed.length > 0) {
+					currentContext = result.next;
+					allConsumed.push(...result.consumed);
+					consumedLanes.add(lane);
+					for (const group$1 of lane.requiredConsumptionGroups ?? []) if (group$1.isActive?.(result.next.state) !== false) consumedGroups.add(group$1.id);
+					madeProgress = true;
+					break;
+				}
+				if (!result.success) {
+					if (result.consumed > 0 && consumingError == null) consumingError = {
+						priority: lane.priority,
+						result
+					};
+					if (error.consumed < result.consumed) error = result;
+				}
+			}
+			if (!madeProgress && consumingError != null && allConsumed.length === 0) return consumingError.result;
+		}
+		if (allConsumed.length === 0) {
+			if (attemptedLane) {
+				const settled = settleZeroConsumptionLanes(context, laneResults);
+				return settled ?? {
+					...error,
+					success: false
+				};
+			}
+			const fallback = parseChildrenSync(context);
+			if (!fallback.success && fallback.consumed < error.consumed) return {
+				...error,
+				success: false
+			};
+			return fallback;
+		}
+		for (const lane of mergeParseLanes) {
+			if (consumedLanes.has(lane) || lane.leadingNames.size > 0 || lane.acceptingAnyToken || lane.requiredConsumptionGroups?.some((group$1) => !consumedGroups.has(group$1.id)) === true) continue;
+			const result = lane.parse(currentContext);
+			if (result.success && result.consumed.length === 0 && result.next.state !== currentContext.state) currentContext = result.next;
+		}
+		return {
+			success: true,
+			next: currentContext,
+			consumed: allConsumed
+		};
+	};
+	const parseAsync = async (context) => {
+		let currentContext = context;
+		let error = createObjectLikeInitialError(context, noMatchContext);
+		const allConsumed = [];
+		const consumedLanes = /* @__PURE__ */ new Set();
+		const consumedGroups = /* @__PURE__ */ new Set();
+		const laneResults = /* @__PURE__ */ new Map();
+		let attemptedLane = false;
+		let madeProgress = true;
+		while (madeProgress && currentContext.buffer.length > 0) {
+			madeProgress = false;
+			let consumingError = null;
+			for (const lane of mergeParseLanes) {
+				if (consumingError != null && lane.priority < consumingError.priority) {
+					if (!canTryPositionalLaneAfterFailure(lane, currentContext)) continue;
+				}
+				attemptedLane = true;
+				const result = await lane.parse(currentContext);
+				laneResults.set(lane, result);
+				if (result.success && result.consumed.length > 0) {
+					currentContext = result.next;
+					allConsumed.push(...result.consumed);
+					consumedLanes.add(lane);
+					for (const group$1 of lane.requiredConsumptionGroups ?? []) if (group$1.isActive?.(result.next.state) !== false) consumedGroups.add(group$1.id);
+					madeProgress = true;
+					break;
+				}
+				if (!result.success) {
+					if (result.consumed > 0 && consumingError == null) consumingError = {
+						priority: lane.priority,
+						result
+					};
+					if (error.consumed < result.consumed) error = result;
+				}
+			}
+			if (!madeProgress && consumingError != null && allConsumed.length === 0) return consumingError.result;
+		}
+		if (allConsumed.length === 0) {
+			if (attemptedLane) {
+				const settled = settleZeroConsumptionLanes(context, laneResults);
+				return settled ?? {
+					...error,
+					success: false
+				};
+			}
+			const fallback = await parseChildrenAsync(context);
+			if (!fallback.success && fallback.consumed < error.consumed) return {
+				...error,
+				success: false
+			};
+			return fallback;
+		}
+		for (const lane of mergeParseLanes) {
+			if (consumedLanes.has(lane) || lane.leadingNames.size > 0 || lane.acceptingAnyToken || lane.requiredConsumptionGroups?.some((group$1) => !consumedGroups.has(group$1.id)) === true) continue;
+			const result = await lane.parse(currentContext);
+			if (result.success && result.consumed.length === 0 && result.next.state !== currentContext.state) currentContext = result.next;
+		}
+		return {
+			success: true,
+			next: currentContext,
+			consumed: allConsumed
+		};
+	};
 	const mergeParser = {
 		mode: combinedMode,
 		$valueType: [],
 		$stateType: [],
 		[fieldParsersKey]: mergedFieldParsers,
-		priority: Math.max(...parsers.map((p) => p.priority)),
+		priority: Math.max(...mergeParseLanes.map((lane) => lane.priority)),
 		usage: applyHiddenToUsage(parsers.flatMap((p) => p.usage), options.hidden),
-		leadingNames: sharedBufferLeadingNames(parsers),
-		acceptingAnyToken: parsers.some((p) => p.acceptingAnyToken),
+		leadingNames: sharedBufferLeadingNames(mergeParseLanes),
+		acceptingAnyToken: mergeParseLanes.some((lane) => lane.acceptingAnyToken),
 		initialState,
 		canSkip(state, exec) {
 			return parsers.every((parser, index) => {
@@ -4443,6 +4749,7 @@ function merge(...args) {
 			};
 		}
 	};
+	require_internal_parser.defineParseLanes(mergeParser, mergeParseLanes);
 	require_internal_parser.defineInheritedAnnotationParser(mergeParser);
 	return require_modifiers.fluent(mergeParser);
 }
@@ -5125,6 +5432,7 @@ function group(label, parser, options = {}) {
 			};
 		}
 	};
+	require_internal_parser.defineParseLanes(groupParser, require_internal_parser.getOwnParseLanes(parser));
 	Object.defineProperty(groupParser, require_phase2_seed.extractPhase2SeedKey, {
 		value(state, exec) {
 			return require_phase2_seed.extractPhase2Seed(parser, state, exec);