@optique/run 1.0.0-dev.590 → 1.0.0-dev.594

package/dist/run.d.cts

@@ -228,7 +228,7 @@ interface RunOptions {
 }
 /**
  * Rejects context tuples that are statically known to be empty so those calls
- * fall back to the synchronous no-context overloads.
+ * fall back to the no-context overloads.
  */
 type RejectEmptyContexts<TContexts extends readonly SourceContext<unknown>[]> = TContexts extends readonly [] ? never : unknown;
 /**
@@ -240,9 +240,10 @@ type NonEmptySourceContexts = readonly [SourceContext<unknown>, ...SourceContext
  * Rejects option shapes that may carry a non-empty `contexts` array so plain
  * Program overloads do not bypass the context-aware overloads.
  */
-type RejectContextfulOptions<TOptions> = TOptions extends {
+type ContextsFromOptions<TOptions> = [Exclude<TOptions, undefined>] extends [never] ? undefined : Exclude<TOptions, undefined> extends {
   readonly contexts?: infer TContexts extends readonly SourceContext<unknown>[] | undefined;
-} ? [TContexts] extends [undefined | readonly []] ? unknown : never : unknown;
+} ? TContexts : undefined;
+type RejectContextfulOptions<TOptions> = [ContextsFromOptions<TOptions>] extends [undefined | readonly []] ? unknown : never;
 /**
  * Rejects option shapes that introduce keys outside the public `RunOptions`
  * contract, preserving typo detection for direct object literals and wider
@@ -254,6 +255,11 @@ type RejectUnknownRunOptionKeys<TOptions> = [TOptions] extends [undefined] ? unk
  * conservative fallback overloads because they may hide context presence.
  */
 type AcceptExactRunOptions<TOptions> = [TOptions] extends [RunOptions] ? [RunOptions] extends [TOptions] ? unknown : never : never;
+/**
+ * Accepts only values typed exactly as `RunOptions | undefined`, which model
+ * optional forwarding wrappers without widening generic Program overloads.
+ */
+type AcceptExactOptionalRunOptions<TOptions> = [TOptions] extends [RunOptions | undefined] ? [RunOptions | undefined] extends [TOptions] ? unknown : never : never;
 /**
  * Runs a command-line parser with automatic process integration.
  *
@@ -362,6 +368,7 @@ declare function runSync<T, const TContexts extends readonly SourceContext<unkno
 } & RejectEmptyContexts<TContexts> & ExtractRequiredOptions<TContexts, T>): T;
 declare function runSync<T, const TOptions extends RunOptions | undefined>(program: Program<"sync", T>, options?: TOptions & RejectContextfulOptions<TOptions> & RejectUnknownRunOptionKeys<TOptions>): T;
 declare function runSync<T, TOptions extends RunOptions>(program: Program<"sync", T>, options: TOptions & AcceptExactRunOptions<TOptions>): T;
+declare function runSync<T, TOptions extends RunOptions | undefined>(program: Program<"sync", T>, options: TOptions & AcceptExactOptionalRunOptions<TOptions>): T;
 declare function runSync<T extends Parser<"sync", unknown, unknown>>(parser: T, options?: RunOptions): InferValue<T>;
 /**
  * Runs an asynchronous command-line parser with automatic process integration.
@@ -385,6 +392,7 @@ declare function runAsync<M extends Mode, T, const TContexts extends readonly So
 declare function runAsync<T, const TOptions extends RunOptions | undefined>(program: Program<"sync", T>, options?: TOptions & RejectContextfulOptions<TOptions> & RejectUnknownRunOptionKeys<TOptions>): Promise<T>;
 declare function runAsync<T, const TOptions extends RunOptions | undefined>(program: Program<"async", T>, options?: TOptions & RejectContextfulOptions<TOptions> & RejectUnknownRunOptionKeys<TOptions>): Promise<T>;
 declare function runAsync<T, TOptions extends RunOptions>(program: Program<Mode, T>, options: TOptions & AcceptExactRunOptions<TOptions>): Promise<T>;
+declare function runAsync<T, TOptions extends RunOptions | undefined>(program: Program<Mode, T>, options: TOptions & AcceptExactOptionalRunOptions<TOptions>): Promise<T>;
 declare function runAsync<T extends Parser<Mode, unknown, unknown>>(parser: T, options?: RunOptions): Promise<InferValue<T>>;
 //#endregion
 export { RunOptions, run, runAsync, runSync };

package/dist/run.d.ts

@@ -228,7 +228,7 @@ interface RunOptions {
 }
 /**
  * Rejects context tuples that are statically known to be empty so those calls
- * fall back to the synchronous no-context overloads.
+ * fall back to the no-context overloads.
  */
 type RejectEmptyContexts<TContexts extends readonly SourceContext<unknown>[]> = TContexts extends readonly [] ? never : unknown;
 /**
@@ -240,9 +240,10 @@ type NonEmptySourceContexts = readonly [SourceContext<unknown>, ...SourceContext
  * Rejects option shapes that may carry a non-empty `contexts` array so plain
  * Program overloads do not bypass the context-aware overloads.
  */
-type RejectContextfulOptions<TOptions> = TOptions extends {
+type ContextsFromOptions<TOptions> = [Exclude<TOptions, undefined>] extends [never] ? undefined : Exclude<TOptions, undefined> extends {
   readonly contexts?: infer TContexts extends readonly SourceContext<unknown>[] | undefined;
-} ? [TContexts] extends [undefined | readonly []] ? unknown : never : unknown;
+} ? TContexts : undefined;
+type RejectContextfulOptions<TOptions> = [ContextsFromOptions<TOptions>] extends [undefined | readonly []] ? unknown : never;
 /**
  * Rejects option shapes that introduce keys outside the public `RunOptions`
  * contract, preserving typo detection for direct object literals and wider
@@ -254,6 +255,11 @@ type RejectUnknownRunOptionKeys<TOptions> = [TOptions] extends [undefined] ? unk
  * conservative fallback overloads because they may hide context presence.
  */
 type AcceptExactRunOptions<TOptions> = [TOptions] extends [RunOptions] ? [RunOptions] extends [TOptions] ? unknown : never : never;
+/**
+ * Accepts only values typed exactly as `RunOptions | undefined`, which model
+ * optional forwarding wrappers without widening generic Program overloads.
+ */
+type AcceptExactOptionalRunOptions<TOptions> = [TOptions] extends [RunOptions | undefined] ? [RunOptions | undefined] extends [TOptions] ? unknown : never : never;
 /**
  * Runs a command-line parser with automatic process integration.
  *
@@ -362,6 +368,7 @@ declare function runSync<T, const TContexts extends readonly SourceContext<unkno
 } & RejectEmptyContexts<TContexts> & ExtractRequiredOptions<TContexts, T>): T;
 declare function runSync<T, const TOptions extends RunOptions | undefined>(program: Program<"sync", T>, options?: TOptions & RejectContextfulOptions<TOptions> & RejectUnknownRunOptionKeys<TOptions>): T;
 declare function runSync<T, TOptions extends RunOptions>(program: Program<"sync", T>, options: TOptions & AcceptExactRunOptions<TOptions>): T;
+declare function runSync<T, TOptions extends RunOptions | undefined>(program: Program<"sync", T>, options: TOptions & AcceptExactOptionalRunOptions<TOptions>): T;
 declare function runSync<T extends Parser<"sync", unknown, unknown>>(parser: T, options?: RunOptions): InferValue<T>;
 /**
  * Runs an asynchronous command-line parser with automatic process integration.
@@ -385,6 +392,7 @@ declare function runAsync<M extends Mode, T, const TContexts extends readonly So
 declare function runAsync<T, const TOptions extends RunOptions | undefined>(program: Program<"sync", T>, options?: TOptions & RejectContextfulOptions<TOptions> & RejectUnknownRunOptionKeys<TOptions>): Promise<T>;
 declare function runAsync<T, const TOptions extends RunOptions | undefined>(program: Program<"async", T>, options?: TOptions & RejectContextfulOptions<TOptions> & RejectUnknownRunOptionKeys<TOptions>): Promise<T>;
 declare function runAsync<T, TOptions extends RunOptions>(program: Program<Mode, T>, options: TOptions & AcceptExactRunOptions<TOptions>): Promise<T>;
+declare function runAsync<T, TOptions extends RunOptions | undefined>(program: Program<Mode, T>, options: TOptions & AcceptExactOptionalRunOptions<TOptions>): Promise<T>;
 declare function runAsync<T extends Parser<Mode, unknown, unknown>>(parser: T, options?: RunOptions): Promise<InferValue<T>>;
 //#endregion
 export { RunOptions, run, runAsync, runSync };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@optique/run",
-  "version": "1.0.0-dev.590+558b31b5",
+  "version": "1.0.0-dev.594+de4e1bda",
   "description": "Type-safe combinatorial command-line interface parser",
   "keywords": [
     "CLI",
@@ -70,7 +70,7 @@
   },
   "sideEffects": false,
   "dependencies": {
-    "@optique/core": "1.0.0-dev.590+558b31b5"
+    "@optique/core": "1.0.0-dev.594+de4e1bda"
   },
   "devDependencies": {
     "@types/node": "^20.19.9",