@optique/core 1.0.0-dev.1728 → 1.0.0-dev.1732

package/dist/constructs.cjs

@@ -4481,7 +4481,6 @@ function conditional(discriminator, branches, defaultBranch, options) {
 		const runtime = require_dependency_runtime.createDependencyRuntimeContext(exec?.dependencyRegistry?.clone());
 		await require_dependency_runtime.collectExplicitSourceValuesAsync(require_dependency_runtime.buildRuntimeNodesFromPairs([["_discriminator", discriminator], ["_branch", branchParser]], combinedState, exec?.path), runtime);
 		require_dependency_runtime.collectSourcesFromState(combinedState, runtime);
-		const resolvedBranchState = getAnnotatedChildState(state, await require_dependency_runtime.resolveStateWithRuntimeAsync(state.branchState, runtime), branchParser);
 		const completionExec = {
 			...exec ?? {
 				usage: branchParser.usage,
@@ -4523,6 +4522,7 @@ function conditional(discriminator, branches, defaultBranch, options) {
 				error: options?.errors?.branchMismatch ? options.errors.branchMismatch(resolvedKey, speculativeKey) : require_message.message`Branch mismatch: tokens for ${speculativeKey} were consumed, but the discriminator resolved to ${resolvedKey}.`
 			};
 		}
+		const resolvedBranchState = getAnnotatedChildState(state, await require_dependency_runtime.resolveStateWithRuntimeAsync(state.branchState, runtime), branchParser);
 		const branchResult = unwrapCompleteResult(await branchParser.complete(resolvedBranchState, withChildExecPath(completionExec, "_branch")));
 		if (!branchResult.success) {
 			if (discriminatorValue !== void 0 && options?.errors?.branchError) return {

package/dist/constructs.js

@@ -4481,7 +4481,6 @@ function conditional(discriminator, branches, defaultBranch, options) {
 		const runtime = createDependencyRuntimeContext(exec?.dependencyRegistry?.clone());
 		await collectExplicitSourceValuesAsync(buildRuntimeNodesFromPairs([["_discriminator", discriminator], ["_branch", branchParser]], combinedState, exec?.path), runtime);
 		collectSourcesFromState(combinedState, runtime);
-		const resolvedBranchState = getAnnotatedChildState(state, await resolveStateWithRuntimeAsync(state.branchState, runtime), branchParser);
 		const completionExec = {
 			...exec ?? {
 				usage: branchParser.usage,
@@ -4523,6 +4522,7 @@ function conditional(discriminator, branches, defaultBranch, options) {
 				error: options?.errors?.branchMismatch ? options.errors.branchMismatch(resolvedKey, speculativeKey) : message`Branch mismatch: tokens for ${speculativeKey} were consumed, but the discriminator resolved to ${resolvedKey}.`
 			};
 		}
+		const resolvedBranchState = getAnnotatedChildState(state, await resolveStateWithRuntimeAsync(state.branchState, runtime), branchParser);
 		const branchResult = unwrapCompleteResult(await branchParser.complete(resolvedBranchState, withChildExecPath(completionExec, "_branch")));
 		if (!branchResult.success) {
 			if (discriminatorValue !== void 0 && options?.errors?.branchError) return {

package/dist/parser.d.cts

@@ -571,11 +571,14 @@ type ParserResult<TState> = {
    *   marker stays set across subsequent parse calls until
    *   `complete()` verifies the speculative selection.
    *
-   * Outer combinators like {@link or} and {@link longestMatch} should
-   * not treat provisional successes as definitive — a definitive
-   * branch must be allowed to take priority, and a definitive
+   * Outer combinators should not treat provisional successes as
+   * definitive.  For example, {@link or} should still allow a
+   * definitive branch to take priority, and a definitive
    * zero-consuming fallback must not be displaced by a provisional
-   * consuming hit.
+   * consuming hit.  {@link longestMatch} may still prefer a longer
+   * provisional match over a shorter definitive one; when match
+   * lengths are equal, definitive results take priority over
+   * provisional ones.
    *
    * @since 1.0.0
    */

package/dist/parser.d.ts

@@ -571,11 +571,14 @@ type ParserResult<TState> = {
    *   marker stays set across subsequent parse calls until
    *   `complete()` verifies the speculative selection.
    *
-   * Outer combinators like {@link or} and {@link longestMatch} should
-   * not treat provisional successes as definitive — a definitive
-   * branch must be allowed to take priority, and a definitive
+   * Outer combinators should not treat provisional successes as
+   * definitive.  For example, {@link or} should still allow a
+   * definitive branch to take priority, and a definitive
    * zero-consuming fallback must not be displaced by a provisional
-   * consuming hit.
+   * consuming hit.  {@link longestMatch} may still prefer a longer
+   * provisional match over a shorter definitive one; when match
+   * lengths are equal, definitive results take priority over
+   * provisional ones.
    *
    * @since 1.0.0
    */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@optique/core",
-  "version": "1.0.0-dev.1728+5206d2c9",
+  "version": "1.0.0-dev.1732+7850e4bf",
   "description": "Type-safe combinatorial command-line interface parser",
   "keywords": [
     "CLI",