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

package/dist/internal/parser.js

@@ -14,6 +14,21 @@ import { createInputTrace } from "../input-trace.js";
 */
 const parseLanesKey = Symbol("parseLanes");
 /**
+* Creates a fresh {@link EffectfulCompletionSession}.
+*
+* @internal
+* @since 1.3.0
+*/
+function createEffectfulCompletionSession(policy = "eager") {
+	return {
+		policy,
+		results: /* @__PURE__ */ new Map(),
+		demanded: /* @__PURE__ */ new Set(),
+		effectfulSources: /* @__PURE__ */ new Set(),
+		completedByPath: /* @__PURE__ */ new Map()
+	};
+}
+/**
 * Internal marker for wrappers whose `{ hasCliValue: false }` states should
 * be treated as unmatched dependency-source states during completion-time
 * Phase 1.
@@ -21,7 +36,9 @@ const parseLanesKey = Symbol("parseLanes");
 * Wrappers like `bindEnv()` and `bindConfig()` opt in because their missing
 * CLI states still carry enough fallback context to pre-complete exactly
 * once. Wrappers like `prompt()` intentionally do not opt in because
-* prompted values are not yet registered as dependency sources.
+* Phase 1 must stay effect-free; prompted values register instead through
+* the `completeSource` capability during the serial effectful completion
+* pass that runs before dependency replay.
 *
 * @internal
 */
@@ -130,7 +147,8 @@ function parseSync(parser, args, options) {
 		dependencyRuntime: runtime,
 		dependencyRegistry: runtime.registry,
 		commandPath: context.exec?.commandPath ?? exec.commandPath,
-		trace: context.exec?.trace ?? context.trace ?? exec.trace
+		trace: context.exec?.trace ?? context.trace ?? exec.trace,
+		effectfulCompletionSession: createEffectfulCompletionSession()
 	};
 	const endResult = parser.complete(context.state, completeExec);
 	return endResult.success ? {
@@ -203,7 +221,8 @@ async function parseAsync(parser, args, options) {
 		dependencyRuntime: runtime,
 		dependencyRegistry: runtime.registry,
 		commandPath: context.exec?.commandPath ?? exec.commandPath,
-		trace: context.exec?.trace ?? context.trace ?? exec.trace
+		trace: context.exec?.trace ?? context.trace ?? exec.trace,
+		effectfulCompletionSession: createEffectfulCompletionSession()
 	};
 	const endResult = await parser.complete(context.state, completeExec);
 	return endResult.success ? {
@@ -882,4 +901,4 @@ function findNextMatchedCommandArgIndex(args, matchedCommandArgIndices, start) {
 }
 
 //#endregion
-export { annotationWrapperRequiresSourceBindingKey, composeWrappedSourceMetadata, createParserContext, defineInheritedAnnotationParser, defineParseLanes, defineSourceBindingOnlyAnnotationCompletionParser, getDelegatingSuggestRuntimeNodes, getDocPage, getDocPageAsync, getDocPageSync, getOwnParseLanes, getParserSuggestRuntimeNodes, inheritParentAnnotationsKey, parse, parseAsync, parseLanesKey, parseSync, suggest, suggestAsync, suggestSync, unmatchedNonCliDependencySourceStateMarker };
+export { annotationWrapperRequiresSourceBindingKey, composeWrappedSourceMetadata, createEffectfulCompletionSession, createParserContext, defineInheritedAnnotationParser, defineParseLanes, defineSourceBindingOnlyAnnotationCompletionParser, getDelegatingSuggestRuntimeNodes, getDocPage, getDocPageAsync, getDocPageSync, getOwnParseLanes, getParserSuggestRuntimeNodes, inheritParentAnnotationsKey, parse, parseAsync, parseLanesKey, parseSync, suggest, suggestAsync, suggestSync, unmatchedNonCliDependencySourceStateMarker };

package/dist/modifiers.cjs

@@ -1,6 +1,7 @@
 const require_internal_annotations = require('./internal/annotations.cjs');
 const require_message = require('./message.cjs');
 const require_mode_dispatch = require('./internal/mode-dispatch.cjs');
+const require_dependency_runtime = require('./dependency-runtime.cjs');
 const require_internal_parser = require('./internal/parser.cjs');
 const require_annotation_state = require('./annotation-state.cjs');
 const require_execution_context = require('./execution-context.cjs');
@@ -456,8 +457,24 @@ function optional(parser) {
 	}
 	if (parser.dependencyMetadata != null) {
 		const composed = require_dependency_metadata.composeDependencyMetadata(parser.dependencyMetadata, "optional");
-		if (composed != null) optionalParser.dependencyMetadata = composed;
+		if (composed != null) {
+			const rebound = composed.source?.completeSource == null ? composed : composed.source.preservesSourceValue === false ? {
+				...composed,
+				source: {
+					...composed.source,
+					completeSource: void 0
+				}
+			} : {
+				...composed,
+				source: {
+					...composed.source,
+					completeSource: (state, exec) => Promise.resolve(optionalParser.complete(state, exec))
+				}
+			};
+			optionalParser.dependencyMetadata = rebound;
+		}
 	}
+	require_dependency_runtime.defineForwardedEffectfulSchedulingNodes(optionalParser, parser, (state) => Array.isArray(state) && state.length === 1 ? state[0] : state);
 	require_internal_parser.defineParseLanes(optionalParser, adaptOptionalStyleParseLanes(parser));
 	require_internal_parser.defineInheritedAnnotationParser(optionalParser);
 	require_internal_parser.defineSourceBindingOnlyAnnotationCompletionParser(optionalParser);
@@ -691,8 +708,24 @@ function withDefault(parser, defaultValue, options) {
 				value: v
 			};
 		} });
-		if (composed != null) withDefaultParser.dependencyMetadata = composed;
+		if (composed != null) {
+			const rebound = composed.source?.completeSource == null ? composed : composed.source.preservesSourceValue === false ? {
+				...composed,
+				source: {
+					...composed.source,
+					completeSource: void 0
+				}
+			} : {
+				...composed,
+				source: {
+					...composed.source,
+					completeSource: (state, exec) => Promise.resolve(withDefaultParser.complete(state, exec))
+				}
+			};
+			withDefaultParser.dependencyMetadata = rebound;
+		}
 	}
+	require_dependency_runtime.defineForwardedEffectfulSchedulingNodes(withDefaultParser, parser, (state) => Array.isArray(state) && state.length === 1 ? state[0] : state);
 	require_internal_parser.defineParseLanes(withDefaultParser, adaptOptionalStyleParseLanes(parser));
 	require_internal_parser.defineInheritedAnnotationParser(withDefaultParser);
 	require_internal_parser.defineSourceBindingOnlyAnnotationCompletionParser(withDefaultParser);
@@ -884,6 +917,7 @@ function map(parser, transform) {
 		}
 		if (composed != null) mappedParser.dependencyMetadata = composed;
 	}
+	require_dependency_runtime.defineForwardedEffectfulSchedulingNodes(mappedParser, parser);
 	return fluent(mappedParser);
 }
 const deferredValueBrand = Symbol.for("@optique/core/deferredValue");
@@ -1660,6 +1694,7 @@ function multiple(parser, options = {}) {
 				source: {
 					...innerSource,
 					preservesSourceValue: false,
+					completeSource: void 0,
 					extractSourceValue: (state) => {
 						if (!Array.isArray(state)) return innerSource.extractSourceValue(state);
 						const scan = (index) => {
@@ -1785,6 +1820,11 @@ function nonEmpty(parser) {
 			return lane.parse(context);
 		}
 	})));
+	if (parser.dependencyMetadata != null) Object.defineProperty(nonEmptyParser, "dependencyMetadata", {
+		value: parser.dependencyMetadata,
+		configurable: true,
+		enumerable: false
+	});
 	if ("placeholder" in parser) Object.defineProperty(nonEmptyParser, "placeholder", {
 		get() {
 			return parser.placeholder;
@@ -1809,6 +1849,7 @@ function nonEmpty(parser) {
 		configurable: true,
 		enumerable: false
 	});
+	require_dependency_runtime.defineForwardedEffectfulSchedulingNodes(nonEmptyParser, parser);
 	return fluent(nonEmptyParser);
 }
 const fluentParserMarker = Symbol.for("@optique/core/fluent");

package/dist/modifiers.js

@@ -1,6 +1,7 @@
 import { annotateFreshArray, annotationKey, getAnnotations, inheritAnnotations, isInjectedAnnotationWrapper, unwrapInjectedAnnotationWrapper } from "./internal/annotations.js";
 import { formatMessage, message, text } from "./message.js";
 import { dispatchByMode, dispatchIterableByMode, mapModeValue, wrapForMode } from "./internal/mode-dispatch.js";
+import { defineForwardedEffectfulSchedulingNodes } from "./dependency-runtime.js";
 import { defineInheritedAnnotationParser, defineParseLanes, defineSourceBindingOnlyAnnotationCompletionParser, getOwnParseLanes, unmatchedNonCliDependencySourceStateMarker } from "./internal/parser.js";
 import { getDelegatedAnnotationState, hasDelegatedAnnotationCarrier, isAnnotationWrappedInitialState, normalizeDelegatedAnnotationState, normalizeNestedDelegatedAnnotationState } from "./annotation-state.js";
 import { mergeChildExec, withChildContext, withChildExecPath } from "./execution-context.js";
@@ -456,8 +457,24 @@ function optional(parser) {
 	}
 	if (parser.dependencyMetadata != null) {
 		const composed = composeDependencyMetadata(parser.dependencyMetadata, "optional");
-		if (composed != null) optionalParser.dependencyMetadata = composed;
+		if (composed != null) {
+			const rebound = composed.source?.completeSource == null ? composed : composed.source.preservesSourceValue === false ? {
+				...composed,
+				source: {
+					...composed.source,
+					completeSource: void 0
+				}
+			} : {
+				...composed,
+				source: {
+					...composed.source,
+					completeSource: (state, exec) => Promise.resolve(optionalParser.complete(state, exec))
+				}
+			};
+			optionalParser.dependencyMetadata = rebound;
+		}
 	}
+	defineForwardedEffectfulSchedulingNodes(optionalParser, parser, (state) => Array.isArray(state) && state.length === 1 ? state[0] : state);
 	defineParseLanes(optionalParser, adaptOptionalStyleParseLanes(parser));
 	defineInheritedAnnotationParser(optionalParser);
 	defineSourceBindingOnlyAnnotationCompletionParser(optionalParser);
@@ -691,8 +708,24 @@ function withDefault(parser, defaultValue, options) {
 				value: v
 			};
 		} });
-		if (composed != null) withDefaultParser.dependencyMetadata = composed;
+		if (composed != null) {
+			const rebound = composed.source?.completeSource == null ? composed : composed.source.preservesSourceValue === false ? {
+				...composed,
+				source: {
+					...composed.source,
+					completeSource: void 0
+				}
+			} : {
+				...composed,
+				source: {
+					...composed.source,
+					completeSource: (state, exec) => Promise.resolve(withDefaultParser.complete(state, exec))
+				}
+			};
+			withDefaultParser.dependencyMetadata = rebound;
+		}
 	}
+	defineForwardedEffectfulSchedulingNodes(withDefaultParser, parser, (state) => Array.isArray(state) && state.length === 1 ? state[0] : state);
 	defineParseLanes(withDefaultParser, adaptOptionalStyleParseLanes(parser));
 	defineInheritedAnnotationParser(withDefaultParser);
 	defineSourceBindingOnlyAnnotationCompletionParser(withDefaultParser);
@@ -884,6 +917,7 @@ function map(parser, transform) {
 		}
 		if (composed != null) mappedParser.dependencyMetadata = composed;
 	}
+	defineForwardedEffectfulSchedulingNodes(mappedParser, parser);
 	return fluent(mappedParser);
 }
 const deferredValueBrand = Symbol.for("@optique/core/deferredValue");
@@ -1660,6 +1694,7 @@ function multiple(parser, options = {}) {
 				source: {
 					...innerSource,
 					preservesSourceValue: false,
+					completeSource: void 0,
 					extractSourceValue: (state) => {
 						if (!Array.isArray(state)) return innerSource.extractSourceValue(state);
 						const scan = (index) => {
@@ -1785,6 +1820,11 @@ function nonEmpty(parser) {
 			return lane.parse(context);
 		}
 	})));
+	if (parser.dependencyMetadata != null) Object.defineProperty(nonEmptyParser, "dependencyMetadata", {
+		value: parser.dependencyMetadata,
+		configurable: true,
+		enumerable: false
+	});
 	if ("placeholder" in parser) Object.defineProperty(nonEmptyParser, "placeholder", {
 		get() {
 			return parser.placeholder;
@@ -1809,6 +1849,7 @@ function nonEmpty(parser) {
 		configurable: true,
 		enumerable: false
 	});
+	defineForwardedEffectfulSchedulingNodes(nonEmptyParser, parser);
 	return fluent(nonEmptyParser);
 }
 const fluentParserMarker = Symbol.for("@optique/core/fluent");

package/dist/parser.d.cts

@@ -1,3 +1,3 @@
 import { ParseOptions } from "./internal/annotations.cjs";
-import { CombineModes, DocState, ExecutionContext, ExecutionPhase, InferMode, InferValue, Mode, ModeIterable, ModeValue, ParseFrame, Parser, ParserContext, ParserResult, Result, Suggestion, createParserContext, getDocPage, getDocPageAsync, getDocPageSync, parse, parseAsync, parseSync, suggest, suggestAsync, suggestSync } from "./internal/parser.cjs";
-export { type CombineModes, type DocState, type ExecutionContext, type ExecutionPhase, type InferMode, type InferValue, type Mode, type ModeIterable, type ModeValue, type ParseFrame, type ParseOptions, type Parser, type ParserContext, type ParserResult, type Result, type Suggestion, createParserContext, getDocPage, getDocPageAsync, getDocPageSync, parse, parseAsync, parseSync, suggest, suggestAsync, suggestSync };
+import { CombineModes, DocState, EffectfulCompletionSession, ExecutionContext, ExecutionPhase, InferMode, InferValue, Mode, ModeIterable, ModeValue, ParseFrame, Parser, ParserContext, ParserResult, Result, Suggestion, createParserContext, getDocPage, getDocPageAsync, getDocPageSync, parse, parseAsync, parseSync, suggest, suggestAsync, suggestSync } from "./internal/parser.cjs";
+export { type CombineModes, type DocState, type EffectfulCompletionSession, type ExecutionContext, type ExecutionPhase, type InferMode, type InferValue, type Mode, type ModeIterable, type ModeValue, type ParseFrame, type ParseOptions, type Parser, type ParserContext, type ParserResult, type Result, type Suggestion, createParserContext, getDocPage, getDocPageAsync, getDocPageSync, parse, parseAsync, parseSync, suggest, suggestAsync, suggestSync };

package/dist/parser.d.ts

@@ -1,3 +1,3 @@
 import { ParseOptions } from "./internal/annotations.js";
-import { CombineModes, DocState, ExecutionContext, ExecutionPhase, InferMode, InferValue, Mode, ModeIterable, ModeValue, ParseFrame, Parser, ParserContext, ParserResult, Result, Suggestion, createParserContext, getDocPage, getDocPageAsync, getDocPageSync, parse, parseAsync, parseSync, suggest, suggestAsync, suggestSync } from "./internal/parser.js";
-export { type CombineModes, type DocState, type ExecutionContext, type ExecutionPhase, type InferMode, type InferValue, type Mode, type ModeIterable, type ModeValue, type ParseFrame, type ParseOptions, type Parser, type ParserContext, type ParserResult, type Result, type Suggestion, createParserContext, getDocPage, getDocPageAsync, getDocPageSync, parse, parseAsync, parseSync, suggest, suggestAsync, suggestSync };
+import { CombineModes, DocState, EffectfulCompletionSession, ExecutionContext, ExecutionPhase, InferMode, InferValue, Mode, ModeIterable, ModeValue, ParseFrame, Parser, ParserContext, ParserResult, Result, Suggestion, createParserContext, getDocPage, getDocPageAsync, getDocPageSync, parse, parseAsync, parseSync, suggest, suggestAsync, suggestSync } from "./internal/parser.js";
+export { type CombineModes, type DocState, type EffectfulCompletionSession, type ExecutionContext, type ExecutionPhase, type InferMode, type InferValue, type Mode, type ModeIterable, type ModeValue, type ParseFrame, type ParseOptions, type Parser, type ParserContext, type ParserResult, type Result, type Suggestion, createParserContext, getDocPage, getDocPageAsync, getDocPageSync, parse, parseAsync, parseSync, suggest, suggestAsync, suggestSync };

package/dist/primitives.cjs

@@ -1706,6 +1706,20 @@ function command(name, parser, options = {}) {
 		configurable: true,
 		enumerable: false
 	});
+	Object.defineProperty(result, require_dependency_runtime.effectfulSchedulingNodesKey, {
+		value: ((state, parentPath) => {
+			const normalizedState = normalizeCommandState(state);
+			if (normalizedState == null) return [];
+			const innerState = normalizedState[0] === "parsing" ? normalizedState[1] : parser.initialState;
+			return [{
+				path: [...parentPath ?? [], name],
+				parser,
+				state: getCommandChildState(state, innerState, parser)
+			}];
+		}),
+		configurable: true,
+		enumerable: false
+	});
 	return require_modifiers.fluent(result);
 }
 /**

package/dist/primitives.js

@@ -4,7 +4,7 @@ import { validateCommandNames, validateOptionNames } from "./validate.js";
 import { extractOptionNames, isDocHidden, isSuggestionHidden } from "./usage.js";
 import { dispatchByMode, dispatchIterableByMode, wrapForMode } from "./internal/mode-dispatch.js";
 import { getDefaultValuesFunction, getDependencyIds, getSnapshottedDefaultDependencyValues, isDerivedValueParser, suggestWithDependency } from "./internal/dependency.js";
-import { replayDerivedParser, replayDerivedParserAsync } from "./dependency-runtime.js";
+import { effectfulSchedulingNodesKey, replayDerivedParser, replayDerivedParserAsync } from "./dependency-runtime.js";
 import { getWrappedChildParseState, getWrappedChildState, isAnnotationWrappedInitialState, normalizeInjectedAnnotationState } from "./annotation-state.js";
 import { hiddenCommandAliasesKey } from "./internal/command-alias.js";
 import { mergeChildExec, withChildContext, withChildExecPath } from "./execution-context.js";
@@ -1706,6 +1706,20 @@ function command(name, parser, options = {}) {
 		configurable: true,
 		enumerable: false
 	});
+	Object.defineProperty(result, effectfulSchedulingNodesKey, {
+		value: ((state, parentPath) => {
+			const normalizedState = normalizeCommandState(state);
+			if (normalizedState == null) return [];
+			const innerState = normalizedState[0] === "parsing" ? normalizedState[1] : parser.initialState;
+			return [{
+				path: [...parentPath ?? [], name],
+				parser,
+				state: getCommandChildState(state, innerState, parser)
+			}];
+		}),
+		configurable: true,
+		enumerable: false
+	});
 	return fluent(result);
 }
 /**

package/dist/valueparser.cjs

@@ -620,71 +620,6 @@ function string(options = {}) {
 		}
 	};
 }
-/**
-* Creates a {@link ValueParser} that compiles regular expression sources.
-*
-* The entire input is treated as the source.  Slash-delimited notation such
-* as `/pattern/flags` is not interpreted; use {@link RegExpOptions.flags} to
-* configure fixed flags for the parser.
-*
-* **Security note**: Compiling a source does not establish that it is safe to
-* execute.  Patterns from untrusted input can cause Regular Expression Denial
-* of Service (ReDoS) when matched.  Limit pattern and subject lengths, execute
-* matches in an environment that can be terminated, or use a linear-time
-* regular expression engine when accepting untrusted patterns.
-*
-* @param options Configuration options for the regular expression parser.
-* @returns A sync value parser producing JavaScript {@link RegExp} objects.
-* @throws {TypeError} If `options.metavar` is an empty string or
-*   `options.flags` is not a string.
-* @throws {SyntaxError} If `options.flags` contains invalid, duplicate, or
-*   incompatible regular expression flags.
-* @since 1.3.0
-*/
-function regExp(options = {}) {
-	const metavar$1 = options.metavar ?? "REGEXP";
-	require_nonempty.ensureNonEmptyString(metavar$1);
-	if (options.flags !== void 0 && typeof options.flags !== "string") throw new TypeError(`Expected flags to be a string, but got ${typeof options.flags}: ${String(options.flags)}.`);
-	const flags = new RegExp("", options.flags ?? "").flags;
-	const invalidRegExp = options.errors?.invalidRegExp;
-	const parseRegExp = (input) => {
-		try {
-			return {
-				success: true,
-				value: new RegExp(input, flags)
-			};
-		} catch (error) {
-			if (!(error instanceof SyntaxError)) throw error;
-			return {
-				success: false,
-				error: invalidRegExp ? typeof invalidRegExp === "function" ? invalidRegExp(input) : invalidRegExp : require_message.message`Invalid regular expression: ${input}.`
-			};
-		}
-	};
-	return {
-		mode: "sync",
-		metavar: metavar$1,
-		get placeholder() {
-			return new RegExp("", flags);
-		},
-		parse: parseRegExp,
-		validate(value) {
-			if (!(value instanceof RegExp)) return {
-				success: false,
-				error: require_message.message`Expected a RegExp value.`
-			};
-			return parseRegExp(value.source);
-		},
-		normalize(value) {
-			if (!(value instanceof RegExp)) return value;
-			const result = parseRegExp(value.source);
-			return result.success ? result.value : value;
-		},
-		format(value) {
-			return value.source;
-		}
-	};
-}
 function keyValue(options = {}) {
 	const separator = options.separator ?? "=";
 	if (typeof separator !== "string") throw new TypeError(`Expected separator to be a string, but got ${typeof separator}: ${String(separator)}.`);
@@ -6693,7 +6628,6 @@ exports.locale = locale;
 exports.macAddress = macAddress;
 exports.port = port;
 exports.portRange = portRange;
-exports.regExp = regExp;
 exports.semVer = semVer;
 exports.socketAddress = socketAddress;
 exports.string = string;

package/dist/valueparser.d.cts

@@ -498,64 +498,6 @@ declare function checkEnumOption<T extends object>(options: T | undefined, key:
  *         `RegExp` instance.
  */
 declare function string(options?: StringOptions): ValueParser<"sync", string>;
-/**
- * Options for creating a {@link regExp} value parser.
- *
- * @since 1.3.0
- */
-interface RegExpOptions {
-  /**
-   * The metavariable name for this parser.  This is used in help messages to
-   * indicate what kind of value this parser expects.
-   * @default `"REGEXP"`
-   * @since 1.3.0
-   */
-  readonly metavar?: NonEmptyString;
-  /**
-   * Fixed flags used to compile every input source.
-   * @default `""`
-   * @since 1.3.0
-   */
-  readonly flags?: string;
-  /**
-   * Custom error messages for regular expression parsing failures.
-   * @since 1.3.0
-   */
-  readonly errors?: {
-    /**
-     * Custom error message when the input is not a valid regular expression
-     * source.  Can be a static message or a function that receives the input.
-     *
-     * **Security note**: Successful compilation does not guarantee safe
-     * execution. Vulnerable patterns can cause catastrophic backtracking when
-     * later matched against untrusted data.
-     * @since 1.3.0
-     */
-    readonly invalidRegExp?: Message | ((input: string) => Message);
-  };
-}
-/**
- * Creates a {@link ValueParser} that compiles regular expression sources.
- *
- * The entire input is treated as the source.  Slash-delimited notation such
- * as `/pattern/flags` is not interpreted; use {@link RegExpOptions.flags} to
- * configure fixed flags for the parser.
- *
- * **Security note**: Compiling a source does not establish that it is safe to
- * execute.  Patterns from untrusted input can cause Regular Expression Denial
- * of Service (ReDoS) when matched.  Limit pattern and subject lengths, execute
- * matches in an environment that can be terminated, or use a linear-time
- * regular expression engine when accepting untrusted patterns.
- *
- * @param options Configuration options for the regular expression parser.
- * @returns A sync value parser producing JavaScript {@link RegExp} objects.
- * @throws {TypeError} If `options.metavar` is an empty string or
- *   `options.flags` is not a string.
- * @throws {SyntaxError} If `options.flags` contains invalid, duplicate, or
- *   incompatible regular expression flags.
- * @since 1.3.0
- */
-declare function regExp(options?: RegExpOptions): ValueParser<"sync", RegExp>;
 interface KeyValueOptionsBase {
   /**
    * The metavariable name for this parser.  Used in help messages to
@@ -3337,4 +3279,4 @@ declare function firstOf<const TParsers extends readonly [ValueParser<"sync", un
  */
 declare function firstOf<const TParsers extends readonly ValueParser<"sync", unknown>[]>(parsers: TParsers, options?: FirstOfOptions): ValueParser<"sync", ValueParserValue<TParsers[number]>>;
 //#endregion
-export { ChoiceOptions, ChoiceOptionsBase, ChoiceOptionsNumber, ChoiceOptionsString, CidrOptions, CidrValue, Color, ColorFormat, ColorOptions, CronExpression, CronExpressionForOptions, CronOptions, DeferredMap, DomainOptions, EmailOptions, FileSizeOptions, FileSizeOptionsBigInt, FileSizeOptionsNumber, FileSizeUnit, FirstOfOptions, FloatOptions, HostnameOptions, IntegerOptionsBigInt, IntegerOptionsNumber, IpOptions, Ipv4Options, Ipv6Options, Json, JsonOptions, KeyValueOptions, LocaleOptions, MacAddressOptions, type Mode, type ModeIterable, type ModeValue, type NonEmptyString, PortOptionsBigInt, PortOptionsNumber, PortRangeOptionsBigInt, PortRangeOptionsNumber, PortRangeValueBigInt, PortRangeValueNumber, RegExpOptions, SemVer, SemVerOptionsObject, SemVerOptionsString, SemVerString, SocketAddressOptions, SocketAddressValue, StringOptions, TransformMapping, UrlOptions, Uuid, UuidOptions, ValueParser, ValueParserResult, biject, checkBooleanOption, checkEnumOption, choice, cidr, color, cron, domain, email, ensureNonEmptyString, fileSize, firstOf, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, keyValue, locale, macAddress, port, portRange, regExp, semVer, socketAddress, string, transform, url, uuid };
+export { ChoiceOptions, ChoiceOptionsBase, ChoiceOptionsNumber, ChoiceOptionsString, CidrOptions, CidrValue, Color, ColorFormat, ColorOptions, CronExpression, CronExpressionForOptions, CronOptions, DeferredMap, DomainOptions, EmailOptions, FileSizeOptions, FileSizeOptionsBigInt, FileSizeOptionsNumber, FileSizeUnit, FirstOfOptions, FloatOptions, HostnameOptions, IntegerOptionsBigInt, IntegerOptionsNumber, IpOptions, Ipv4Options, Ipv6Options, Json, JsonOptions, KeyValueOptions, LocaleOptions, MacAddressOptions, type Mode, type ModeIterable, type ModeValue, type NonEmptyString, PortOptionsBigInt, PortOptionsNumber, PortRangeOptionsBigInt, PortRangeOptionsNumber, PortRangeValueBigInt, PortRangeValueNumber, SemVer, SemVerOptionsObject, SemVerOptionsString, SemVerString, SocketAddressOptions, SocketAddressValue, StringOptions, TransformMapping, UrlOptions, Uuid, UuidOptions, ValueParser, ValueParserResult, biject, checkBooleanOption, checkEnumOption, choice, cidr, color, cron, domain, email, ensureNonEmptyString, fileSize, firstOf, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, keyValue, locale, macAddress, port, portRange, semVer, socketAddress, string, transform, url, uuid };

package/dist/valueparser.d.ts

@@ -498,64 +498,6 @@ declare function checkEnumOption<T extends object>(options: T | undefined, key:
  *         `RegExp` instance.
  */
 declare function string(options?: StringOptions): ValueParser<"sync", string>;
-/**
- * Options for creating a {@link regExp} value parser.
- *
- * @since 1.3.0
- */
-interface RegExpOptions {
-  /**
-   * The metavariable name for this parser.  This is used in help messages to
-   * indicate what kind of value this parser expects.
-   * @default `"REGEXP"`
-   * @since 1.3.0
-   */
-  readonly metavar?: NonEmptyString;
-  /**
-   * Fixed flags used to compile every input source.
-   * @default `""`
-   * @since 1.3.0
-   */
-  readonly flags?: string;
-  /**
-   * Custom error messages for regular expression parsing failures.
-   * @since 1.3.0
-   */
-  readonly errors?: {
-    /**
-     * Custom error message when the input is not a valid regular expression
-     * source.  Can be a static message or a function that receives the input.
-     *
-     * **Security note**: Successful compilation does not guarantee safe
-     * execution. Vulnerable patterns can cause catastrophic backtracking when
-     * later matched against untrusted data.
-     * @since 1.3.0
-     */
-    readonly invalidRegExp?: Message | ((input: string) => Message);
-  };
-}
-/**
- * Creates a {@link ValueParser} that compiles regular expression sources.
- *
- * The entire input is treated as the source.  Slash-delimited notation such
- * as `/pattern/flags` is not interpreted; use {@link RegExpOptions.flags} to
- * configure fixed flags for the parser.
- *
- * **Security note**: Compiling a source does not establish that it is safe to
- * execute.  Patterns from untrusted input can cause Regular Expression Denial
- * of Service (ReDoS) when matched.  Limit pattern and subject lengths, execute
- * matches in an environment that can be terminated, or use a linear-time
- * regular expression engine when accepting untrusted patterns.
- *
- * @param options Configuration options for the regular expression parser.
- * @returns A sync value parser producing JavaScript {@link RegExp} objects.
- * @throws {TypeError} If `options.metavar` is an empty string or
- *   `options.flags` is not a string.
- * @throws {SyntaxError} If `options.flags` contains invalid, duplicate, or
- *   incompatible regular expression flags.
- * @since 1.3.0
- */
-declare function regExp(options?: RegExpOptions): ValueParser<"sync", RegExp>;
 interface KeyValueOptionsBase {
   /**
    * The metavariable name for this parser.  Used in help messages to
@@ -3337,4 +3279,4 @@ declare function firstOf<const TParsers extends readonly [ValueParser<"sync", un
  */
 declare function firstOf<const TParsers extends readonly ValueParser<"sync", unknown>[]>(parsers: TParsers, options?: FirstOfOptions): ValueParser<"sync", ValueParserValue<TParsers[number]>>;
 //#endregion
-export { ChoiceOptions, ChoiceOptionsBase, ChoiceOptionsNumber, ChoiceOptionsString, CidrOptions, CidrValue, Color, ColorFormat, ColorOptions, CronExpression, CronExpressionForOptions, CronOptions, DeferredMap, DomainOptions, EmailOptions, FileSizeOptions, FileSizeOptionsBigInt, FileSizeOptionsNumber, FileSizeUnit, FirstOfOptions, FloatOptions, HostnameOptions, IntegerOptionsBigInt, IntegerOptionsNumber, IpOptions, Ipv4Options, Ipv6Options, Json, JsonOptions, KeyValueOptions, LocaleOptions, MacAddressOptions, type Mode, type ModeIterable, type ModeValue, type NonEmptyString, PortOptionsBigInt, PortOptionsNumber, PortRangeOptionsBigInt, PortRangeOptionsNumber, PortRangeValueBigInt, PortRangeValueNumber, RegExpOptions, SemVer, SemVerOptionsObject, SemVerOptionsString, SemVerString, SocketAddressOptions, SocketAddressValue, StringOptions, TransformMapping, UrlOptions, Uuid, UuidOptions, ValueParser, ValueParserResult, biject, checkBooleanOption, checkEnumOption, choice, cidr, color, cron, domain, email, ensureNonEmptyString, fileSize, firstOf, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, keyValue, locale, macAddress, port, portRange, regExp, semVer, socketAddress, string, transform, url, uuid };
+export { ChoiceOptions, ChoiceOptionsBase, ChoiceOptionsNumber, ChoiceOptionsString, CidrOptions, CidrValue, Color, ColorFormat, ColorOptions, CronExpression, CronExpressionForOptions, CronOptions, DeferredMap, DomainOptions, EmailOptions, FileSizeOptions, FileSizeOptionsBigInt, FileSizeOptionsNumber, FileSizeUnit, FirstOfOptions, FloatOptions, HostnameOptions, IntegerOptionsBigInt, IntegerOptionsNumber, IpOptions, Ipv4Options, Ipv6Options, Json, JsonOptions, KeyValueOptions, LocaleOptions, MacAddressOptions, type Mode, type ModeIterable, type ModeValue, type NonEmptyString, PortOptionsBigInt, PortOptionsNumber, PortRangeOptionsBigInt, PortRangeOptionsNumber, PortRangeValueBigInt, PortRangeValueNumber, SemVer, SemVerOptionsObject, SemVerOptionsString, SemVerString, SocketAddressOptions, SocketAddressValue, StringOptions, TransformMapping, UrlOptions, Uuid, UuidOptions, ValueParser, ValueParserResult, biject, checkBooleanOption, checkEnumOption, choice, cidr, color, cron, domain, email, ensureNonEmptyString, fileSize, firstOf, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, keyValue, locale, macAddress, port, portRange, semVer, socketAddress, string, transform, url, uuid };

package/dist/valueparser.js

@@ -620,71 +620,6 @@ function string(options = {}) {
 		}
 	};
 }
-/**
-* Creates a {@link ValueParser} that compiles regular expression sources.
-*
-* The entire input is treated as the source.  Slash-delimited notation such
-* as `/pattern/flags` is not interpreted; use {@link RegExpOptions.flags} to
-* configure fixed flags for the parser.
-*
-* **Security note**: Compiling a source does not establish that it is safe to
-* execute.  Patterns from untrusted input can cause Regular Expression Denial
-* of Service (ReDoS) when matched.  Limit pattern and subject lengths, execute
-* matches in an environment that can be terminated, or use a linear-time
-* regular expression engine when accepting untrusted patterns.
-*
-* @param options Configuration options for the regular expression parser.
-* @returns A sync value parser producing JavaScript {@link RegExp} objects.
-* @throws {TypeError} If `options.metavar` is an empty string or
-*   `options.flags` is not a string.
-* @throws {SyntaxError} If `options.flags` contains invalid, duplicate, or
-*   incompatible regular expression flags.
-* @since 1.3.0
-*/
-function regExp(options = {}) {
-	const metavar$1 = options.metavar ?? "REGEXP";
-	ensureNonEmptyString(metavar$1);
-	if (options.flags !== void 0 && typeof options.flags !== "string") throw new TypeError(`Expected flags to be a string, but got ${typeof options.flags}: ${String(options.flags)}.`);
-	const flags = new RegExp("", options.flags ?? "").flags;
-	const invalidRegExp = options.errors?.invalidRegExp;
-	const parseRegExp = (input) => {
-		try {
-			return {
-				success: true,
-				value: new RegExp(input, flags)
-			};
-		} catch (error) {
-			if (!(error instanceof SyntaxError)) throw error;
-			return {
-				success: false,
-				error: invalidRegExp ? typeof invalidRegExp === "function" ? invalidRegExp(input) : invalidRegExp : message`Invalid regular expression: ${input}.`
-			};
-		}
-	};
-	return {
-		mode: "sync",
-		metavar: metavar$1,
-		get placeholder() {
-			return new RegExp("", flags);
-		},
-		parse: parseRegExp,
-		validate(value) {
-			if (!(value instanceof RegExp)) return {
-				success: false,
-				error: message`Expected a RegExp value.`
-			};
-			return parseRegExp(value.source);
-		},
-		normalize(value) {
-			if (!(value instanceof RegExp)) return value;
-			const result = parseRegExp(value.source);
-			return result.success ? result.value : value;
-		},
-		format(value) {
-			return value.source;
-		}
-	};
-}
 function keyValue(options = {}) {
 	const separator = options.separator ?? "=";
 	if (typeof separator !== "string") throw new TypeError(`Expected separator to be a string, but got ${typeof separator}: ${String(separator)}.`);
@@ -6667,4 +6602,4 @@ function plainObjectsEqual(a, b) {
 }
 
 //#endregion
-export { biject, checkBooleanOption, checkEnumOption, choice, cidr, color, cron, domain, email, ensureNonEmptyString, fileSize, firstOf, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, keyValue, locale, macAddress, port, portRange, regExp, semVer, socketAddress, string, transform, url, uuid };
+export { biject, checkBooleanOption, checkEnumOption, choice, cidr, color, cron, domain, email, ensureNonEmptyString, fileSize, firstOf, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, keyValue, locale, macAddress, port, portRange, semVer, socketAddress, string, transform, url, uuid };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@optique/core",
-  "version": "1.3.0-dev.2375",
+  "version": "1.3.0-dev.2380",
   "description": "Type-safe combinatorial command-line interface parser",
   "keywords": [
     "CLI",
@@ -221,7 +221,7 @@
   },
   "sideEffects": false,
   "devDependencies": {
-    "@optique/env": "1.3.0-dev.2375+820d01c0",
+    "@optique/env": "1.3.0-dev.2380+4bce39a7",
     "@types/node": "^24.0.0",
     "fast-check": "^4.7.0",
     "tsdown": "^0.13.0",

package/skills/optique/SKILL.md

@@ -40,12 +40,11 @@ Core rules
  -  Use `message` from *@optique/core/message* for descriptions, help text, and
     custom errors. Prefer semantic message helpers such as `optionName()` and
     `metavar()` over string concatenation when naming CLI elements.
- -  Use value parsers such as `integer()`, `choice()`, `biject()`, `regExp()`,
-    `url()`, and `uuid()` instead of validating raw strings after parsing. Use
-    `regExp({ flags })` for user-supplied regular expression sources,
-    `biject()` for one-to-one string-to-value choices, and `transform()` when
-    an existing value parser describes the accepted CLI spelling but your app
-    needs a different result type. Use `path()` from
+ -  Use value parsers such as `integer()`, `choice()`, `biject()`, `url()`,
+    and `uuid()` instead of validating raw strings after parsing. Use
+    `biject()` for one-to-one string-to-value choices, and use `transform()`
+    when an existing value parser describes the accepted CLI spelling but your
+    app needs a different result type. Use `path()` from
     `@optique/run/valueparser` for file-system paths. Write a custom
     `{ mode, metavar, parse, format }` value parser only when the catalog does
     not cover the domain.