@zhin.js/command 1.1.4 → 1.1.6

package/src/command-index.ts

@@ -9,12 +9,13 @@ import type {
   RuntimeSnapshot,
 } from '@zhin.js/plugin-runtime';
 import type { UserInteractionFactory } from '@zhin.js/interaction';
-import { operationClientAdapter } from '@zhin.js/feature-kit';
+import { bindOperationInput, operationClientAdapter } from '@zhin.js/feature-kit';
 import {
   permissionHostToken,
   toPermissionSubject,
   type PermissionHost,
 } from '@zhin.js/permission';
+import { commandUsage, commandHelp, parseCommandArguments, requestsCommandHelp, type CommandValidationIssue } from './arguments.js';
 import {
   createCommandContext,
   resolveCommandSession,
@@ -36,6 +37,8 @@ export interface CommandDescriptor {
   readonly adapter?: string;
   readonly source: string;
   readonly parameters: readonly CommandParameterDescriptor[];
+  readonly usage: string;
+  readonly options: NonNullable<CommandDefinition['options']>;
   readonly alias?: readonly string[];
   readonly permit?: readonly string[];
   /** shortcut 触发键列表（不含预填 params）。 */
@@ -44,6 +47,9 @@ export interface CommandDescriptor {
 
 export interface CommandDispatchResult {
   readonly matched: boolean;
+  readonly status: 'unmatched' | 'invalid' | 'denied' | 'executed';
+  readonly issues?: readonly CommandValidationIssue[];
+  readonly help?: string;
   readonly command?: string;
   readonly owner?: PluginId;
   readonly value?: unknown;
@@ -59,6 +65,7 @@ interface CommandRoute {
   readonly record: CommandRecord;
   readonly segments: readonly string[];
   readonly matcher: SegmentMatcher;
+  readonly literalMatcher?: SegmentMatcher;
   readonly kind: 'primary' | 'alias';
 }
 
@@ -71,6 +78,7 @@ interface CommandMatch {
   readonly command: CommandRecord;
   readonly params: Readonly<Record<string, CommandDynamicValue>>;
   readonly remaining: readonly Readonly<CommandSegment>[];
+  readonly helpRequested: boolean;
 }
 
 export type CommandMatchInput = string | readonly Readonly<CommandSegment>[];
@@ -110,12 +118,15 @@ export class CommandIndex {
     const occupancy = new Map<string, string>();
     const shortcuts = new Map<string, ShortcutEntry>();
 
-    const claim = (key: string, source: string): void => {
-      const existing = occupancy.get(key);
-      if (existing !== undefined) {
-        throw new Error(`Duplicate Command route "${key}" (${source} vs ${existing})`);
+    const claim = (keys: readonly string[], source: string): void => {
+      for (const key of keys) {
+        for (const [occupied, existing] of occupancy) {
+          if (routeShapesOverlap(key, occupied)) {
+            throw new Error(`Duplicate Command route "${key}" (${source} vs ${existing})`);
+          }
+        }
       }
-      occupancy.set(key, source);
+      for (const key of keys) occupancy.set(key, source);
     };
 
     for (const slot of slots) {
@@ -137,10 +148,16 @@ export class CommandIndex {
         description: slot.definition.description,
         ...(slot.definition.adapter ? { adapter: slot.definition.adapter } : {}),
         source: slot.source,
-        parameters: Object.freeze(parameter ? [{
-          ...parameter,
-          required: isRequiredParameter(parameter),
-        }] : []),
+        usage: commandUsage(name, slot.definition),
+        options: Object.freeze({ ...slot.definition.options }),
+        parameters: Object.freeze([
+          ...Object.entries(slot.definition.params ?? {}).map(([key, schema]) => ({
+            name: key, ...schema, ...(parameter?.name === key ? parameter : {}), defaultValue: schema.default,
+            required: parameter?.name === key ? isRequiredParameter(parameter) : !schema.optional && schema.default === undefined,
+          })),
+          ...(parameter && !Object.hasOwn(slot.definition.params ?? {}, parameter.name)
+            ? [{ ...parameter, required: isRequiredParameter(parameter) }] : []),
+        ]),
         ...(alias ? { alias } : {}),
         ...(permit ? { permit } : {}),
         ...(shortcutKeys && shortcutKeys.length > 0 ? { shortcut: shortcutKeys } : {}),
@@ -149,11 +166,12 @@ export class CommandIndex {
         parameter,
       });
 
-      claim(occupancyKey(primarySegments, parameter), slot.source);
+      claim([...new Set([occupancyKey(primarySegments, parameter), ...declaredRouteShapes(primarySegments, slot.definition)])], slot.source);
       routes.push({
         record,
         segments: primarySegments,
         matcher: new SegmentMatcher(matcherPattern(primarySegments, parameter), segmentFields),
+        literalMatcher: compileLiteralMatcher(primarySegments, parameter),
         kind: 'primary',
       });
 
@@ -164,11 +182,12 @@ export class CommandIndex {
             primarySegments.slice(namespace.length),
           )];
           assertParameterSegment(aliasSegments, parameter, `${slot.source} alias ${JSON.stringify(entry)}`);
-          claim(occupancyKey(aliasSegments, parameter), `${slot.source} alias ${JSON.stringify(entry)}`);
+          claim([...new Set([occupancyKey(aliasSegments, parameter), ...declaredRouteShapes(aliasSegments, slot.definition)])], `${slot.source} alias ${JSON.stringify(entry)}`);
           routes.push({
             record,
             segments: Object.freeze(aliasSegments),
             matcher: new SegmentMatcher(matcherPattern(aliasSegments, parameter), segmentFields),
+            literalMatcher: compileLiteralMatcher(aliasSegments, parameter),
             kind: 'alias',
           });
         }
@@ -177,7 +196,7 @@ export class CommandIndex {
       if (slot.definition.shortcut) {
         for (const [rawTrigger, prefill] of Object.entries(slot.definition.shortcut)) {
           const trigger = [...namespace, ...splitCommand(rawTrigger)].join(' ');
-          claim(trigger, `${slot.source} shortcut ${JSON.stringify(trigger)}`);
+          claim([trigger], `${slot.source} shortcut ${JSON.stringify(trigger)}`);
           shortcuts.set(trigger, {
             record,
             params: Object.freeze(resolveShortcutParams(
@@ -211,24 +230,18 @@ export class CommandIndex {
   }
 
   async execute(name: string, args: readonly string[] = [], operationSnapshot: RuntimeSnapshot = this.snapshot): Promise<unknown> {
-    const match = this.#match(name, true);
+    const match = this.#match(name, false);
     if (!match) {
       this.#diagnoseParameter(name);
       throw new Error(`Unknown Command: ${name}`);
     }
-    // Host / 无 session：跳过 permit；无 source 时函数默认值得到空 session。
-    return match.command.slot.definition.execute(
-      createCommandContext(
-        operationSnapshot,
-        match.command.slot.owner,
-        args,
-        resolveDynamicParams(match.params, undefined),
-        undefined,
-        Object.freeze([]),
-        undefined,
-        match.command.slot.definition.adapter,
-      ),
-    );
+    if (!(await this.#permitAllows(match.command, undefined, operationSnapshot))) throw new Error(`Permission denied for Command: ${match.command.name}`);
+    const definition = match.command.slot.definition;
+    const supplied = [...match.remaining, ...(args.length > 0 ? [{ type: 'text', data: { text: args.join(' ') } }] : [])];
+    const parsed = parseCommandArguments(definition, supplied, resolveDynamicParams(match.params, undefined), {});
+    if (parsed.issues.length > 0) throw new CommandArgumentValidationError(parsed.issues, commandHelp(match.command.name, definition));
+    return definition.execute(createCommandContext(operationSnapshot, match.command.slot.owner,
+      textArgs(parsed.remaining), parsed.params, undefined, parsed.remaining, undefined, definition.adapter, parsed.options));
   }
 
   async dispatch(
@@ -243,77 +256,69 @@ export class CommandIndex {
       if (menuValue !== undefined) {
         return Object.freeze({
           matched: true,
+          status: 'executed',
           command: this.#menu.keyword,
           owner: operationSnapshot.root,
           value: menuValue,
         });
       }
     }
-    const interaction = interactionFactory?.(source);
     const shortcut = this.#matchShortcut(input);
-    if (shortcut) {
-      if (!commandAdapterMatches(shortcut.record, source)) {
-        return Object.freeze({ matched: false });
-      }
-      if (!(await this.#permitAllows(shortcut.record, source, operationSnapshot))) {
-        return Object.freeze({ matched: false });
-      }
-      const value = await shortcut.record.slot.definition.execute(
-        createCommandContext(
-          operationSnapshot,
-          shortcut.record.slot.owner,
-          Object.freeze([]),
-          resolveDynamicParams(shortcut.params, source),
-          source,
-          Object.freeze([]),
-          interaction,
-          shortcut.record.slot.definition.adapter,
-        ),
-      );
-      return Object.freeze({
-        matched: true,
-        command: shortcut.record.name,
-        owner: shortcut.record.slot.owner,
-        value,
-      });
+    const match = shortcut
+      ? { command: shortcut.record, params: shortcut.params, remaining: Object.freeze([]), helpRequested: false }
+      : this.#match(input, false);
+    if (!match) {
+      const candidate = this.#invalidRoute(input);
+      if (!candidate) return Object.freeze({ matched: false, status: 'unmatched' });
+      if (!commandAdapterMatches(candidate, source)) return Object.freeze({ matched: false, status: 'unmatched' });
+      if (!(await this.#permitAllows(candidate, source, operationSnapshot))) return this.#denied(candidate);
+      const help = commandHelp(candidate.name, candidate.slot.definition, commandPrefix);
+      const segments = normalizeSegments(typeof input === 'string' ? [{ type: 'text', data: { text: input } }] : input);
+      if (requestsCommandHelp(segments)) return Object.freeze({ matched: true, status: 'executed', command: candidate.name, owner: candidate.slot.owner, value: help });
+      return Object.freeze({ matched: true, status: 'invalid', command: candidate.name, owner: candidate.slot.owner,
+        issues: Object.freeze([{ field: candidate.parameter?.name ?? 'arguments', message: 'Missing or invalid command parameter' }]), help });
     }
-
-    const match = this.#match(input, false);
-    if (!match) return Object.freeze({ matched: false });
-    if (!commandAdapterMatches(match.command, source)) {
-      return Object.freeze({ matched: false });
+    if (!commandAdapterMatches(match.command, source)) return Object.freeze({ matched: false, status: 'unmatched' });
+    if (!(await this.#permitAllows(match.command, source, operationSnapshot))) return this.#denied(match.command);
+    const definition = match.command.slot.definition;
+    const authorSource = bindOperationInput(source, match.command.slot.owner, operationSnapshot);
+    const help = commandHelp(match.command.name, definition, commandPrefix);
+    if (match.helpRequested) {
+      return Object.freeze({ matched: true, status: 'executed', command: match.command.name, owner: match.command.slot.owner, value: help });
     }
-    if (!(await this.#permitAllows(match.command, source, operationSnapshot))) {
-      return Object.freeze({ matched: false });
+    const parsed = parseCommandArguments(definition, match.remaining, resolveDynamicParams(match.params, authorSource), resolveCommandSession(authorSource));
+    if (parsed.issues.length > 0) return Object.freeze({ matched: true, status: 'invalid', command: match.command.name,
+      owner: match.command.slot.owner, issues: parsed.issues, help });
+    const value = await definition.execute(createCommandContext(operationSnapshot, match.command.slot.owner,
+      textArgs(parsed.remaining), parsed.params, authorSource, parsed.remaining, interactionFactory?.(authorSource), definition.adapter, parsed.options));
+    return Object.freeze({ matched: true, status: 'executed', command: match.command.name, owner: match.command.slot.owner, value });
+  }
+
+  #denied(record: CommandRecord): CommandDispatchResult {
+    return Object.freeze({ matched: true, status: 'denied', command: record.name, owner: record.slot.owner });
+  }
+
+  /** Diagnose only a reliable static route prefix; fully dynamic routes are ordinary chat candidates. */
+  #invalidRoute(input: CommandMatchInput): CommandRecord | undefined {
+    const segments = normalizeSegments(typeof input === 'string' ? [{ type: 'text', data: { text: input } }] : input);
+    for (const route of this.#routes) {
+      if (!route.record.parameter) continue;
+      const result = route.literalMatcher?.match(asMatcherSegments(segments));
+      if (result && hasCommandBoundary(result.remaining)) return route.record;
     }
-    const args = textArgs(match.remaining);
-    const value = await match.command.slot.definition.execute(
-      createCommandContext(
-        operationSnapshot,
-        match.command.slot.owner,
-        args,
-        resolveDynamicParams(match.params, source),
-        source,
-        match.remaining,
-        interaction,
-        match.command.slot.definition.adapter,
-      ),
-    );
-    return Object.freeze({
-      matched: true,
-      command: match.command.name,
-      owner: match.command.slot.owner,
-      value,
-    });
+    return undefined;
   }
 
   async #permitAllows(record: CommandRecord, source: unknown, operationSnapshot: RuntimeSnapshot): Promise<boolean> {
     const permits = record.permit;
     if (!permits || permits.length === 0) return true;
-    if (!hasImSession(source)) return true;
+    if (!source || typeof source !== 'object') return false;
     const host = this.#resolveHost(operationSnapshot);
     if (!host) return false;
-    const subject = toPermissionSubject(resolveCommandSession(source));
+    const projected = toPermissionSubject(source);
+    const session = resolveCommandSession(source);
+    const subject = { ...projected, ...session, ...(session.sender ? { sender: { ...projected.sender, ...session.sender } } : {}) };
+    if (!subject.sender?.id && !subject.scene?.id && !subject.adapter && !subject.endpoint) return false;
     return host.checkAll(permits, subject);
   }
 
@@ -347,11 +352,17 @@ export class CommandIndex {
     if (segments.length === 0) return undefined;
 
     for (const route of this.#routes) {
-      const result = route.matcher.match(asMatcherSegments(segments));
+      // Options may appear between the literal route and a directory-bound parameter.
+      const literalResult = !exact ? route.literalMatcher?.match(asMatcherSegments(segments)) : undefined;
+      const helpRequested = literalResult && hasCommandBoundary(literalResult.remaining)
+        && requestsCommandHelp(normalizeSegments(literalResult.remaining));
+      const parseDeclaredArguments = !exact && route.record.parameter && route.literalMatcher !== undefined
+        && (Object.hasOwn(route.record.slot.definition.params ?? {}, route.record.parameter.name) || helpRequested);
+      const result = parseDeclaredArguments ? literalResult : route.matcher.match(asMatcherSegments(segments));
       if (!result || !hasCommandBoundary(result.remaining)) continue;
       const parameter = route.record.parameter;
       const params: Record<string, CommandDynamicValue> = { ...result.params };
-      if (parameter?.rest) {
+      if (parameter?.rest && !parseDeclaredArguments) {
         const raw = result.params[parameter.name];
         const coerced = coerceRestValues(parameter, Array.isArray(raw) ? raw : []);
         if (!coerced || (isRequiredParameter(parameter) && coerced.length === 0)) continue;
@@ -359,15 +370,16 @@ export class CommandIndex {
       }
       const remaining = normalizeSegments(result.remaining);
       if (exact && remaining.length > 0) continue;
-      if (parameter && !parameter.rest && parameter.optional === true
-        && parameter.defaultValue === undefined
-        && (params[parameter.name] === '' || params[parameter.name] === null)) {
-        delete params[parameter.name];
+      if (parameter && !parseDeclaredArguments && !parameter.rest && !isRequiredParameter(parameter)
+        && (params[parameter.name] === '' || params[parameter.name] === null || params[parameter.name] === undefined)) {
+        if (parameter.defaultValue !== undefined) params[parameter.name] = parameter.defaultValue;
+        else delete params[parameter.name];
       }
       return {
         command: route.record,
         params: Object.freeze(params),
         remaining,
+        helpRequested: literalResult ? !!helpRequested : requestsCommandHelp(remaining),
       };
     }
     return undefined;
@@ -395,17 +407,19 @@ export class CommandIndex {
   #dispatchMenu(input: CommandMatchInput, commandPrefix = ''): string | undefined {
     const text = typeof input === 'string' ? input.trim() : exactMessageText(input);
     if (text === undefined) return undefined;
-    const keyword = this.#menu!.keyword;
-    if (text === keyword) return this.#buildMenu(undefined, commandPrefix);
+    const menu = this.#menu;
+    if (!menu) return undefined;
+    const keyword = menu.keyword;
+    if (text === keyword) return this.#buildMenu(undefined, commandPrefix, keyword);
     if (text.startsWith(keyword + ' ')) {
       const key = text.slice(keyword.length + 1).trim();
-      if (key) return this.#buildMenu(key, commandPrefix);
-      return this.#buildMenu(undefined, commandPrefix);
+      if (key) return this.#buildMenu(key, commandPrefix, keyword);
+      return this.#buildMenu(undefined, commandPrefix, keyword);
     }
     return undefined;
   }
 
-  #buildMenu(pluginKey?: string, commandPrefix = ''): string {
+  #buildMenu(pluginKey: string | undefined, commandPrefix: string, keyword: string): string {
     const root = this.snapshot.root;
     const targetId = pluginKey
       ? `${root}/${pluginKey.split('.').join('/')}` as PluginId
@@ -419,7 +433,6 @@ export class CommandIndex {
       .map((childId) => this.snapshot.tree.get(childId))
       .filter((child): child is NonNullable<typeof child> => !!child);
 
-    const keyword = this.#menu!.keyword;
     const displayKey = pluginKey ?? node.instanceKey;
     const lines: string[] = [`=== ${displayKey} 指令菜单 ===`];
 
@@ -507,6 +520,48 @@ function occupancyKey(
   return parameter ? routeShape(segments) : segments.join(' ');
 }
 
+/** Accepted token arities, including optional tails and an unbounded rest tail. */
+function declaredRouteShapes(segments: readonly string[], definition: CommandDefinition): readonly string[] {
+  let variants: string[][] = [[]];
+  const append = (token: string, optional = false): void => {
+    const withToken = variants.map((variant) => [...variant, token]);
+    variants = [...new Map((optional ? [...variants, ...withToken] : withToken)
+      .map((variant) => [variant.join(' '), variant])).values()];
+  };
+  for (const segment of segments) {
+    if (!segment.startsWith('$')) { append(segment); continue; }
+    const parameter = definition.$parameter;
+    if (!parameter) continue;
+    if (parameter.rest) append(isRequiredParameter(parameter) ? '$+' : '$*');
+    else append('$', !isRequiredParameter(parameter));
+  }
+  for (const [name, schema] of Object.entries(definition.params ?? {})) {
+    if (name === definition.$parameter?.name) continue;
+    const optional = schema.optional === true || schema.default !== undefined;
+    if (schema.rest) append(optional ? '$*' : '$+');
+    else append('$', optional);
+  }
+  return [...new Set(variants.map((variant) => variant.join(' ')))];
+}
+
+function routeShapesOverlap(left: string, right: string): boolean {
+  const shape = (key: string) => {
+    const tokens = key.split(' ');
+    const repeat = tokens.at(-1);
+    const rest = repeat === '$*' || repeat === '$+';
+    const prefix = rest ? tokens.slice(0, -1) : tokens;
+    return { prefix, min: prefix.length + (repeat === '$+' ? 1 : 0), max: rest ? Infinity : prefix.length };
+  };
+  const a = shape(left);
+  const b = shape(right);
+  const length = Math.max(a.min, b.min);
+  if (length > Math.min(a.max, b.max)) return false;
+  for (let index = 0; index < length; index++) {
+    if ((a.prefix[index] ?? '$') !== (b.prefix[index] ?? '$')) return false;
+  }
+  return true;
+}
+
 function normalizeAliasList(
   alias: readonly string[] | undefined,
 ): readonly string[] | undefined {
@@ -519,6 +574,11 @@ function resolveShortcutParams(
   prefill: Readonly<Record<string, CommandDynamicValue>>,
   source: string,
 ): Record<string, CommandDynamicValue> {
+  for (const [name, schema] of Object.entries(definition.options ?? {})) {
+    if (schema.optional === false && schema.default === undefined) {
+      throw new TypeError(`Invalid shortcut for ${source}: cannot supply required option --${name}`);
+    }
+  }
   const allowed = new Set<string>();
   const parameter = definition.$parameter;
   if (parameter) allowed.add(parameter.name);
@@ -563,12 +623,6 @@ function resolveShortcutParams(
   return result;
 }
 
-function hasImSession(source: unknown): boolean {
-  if (!source || typeof source !== 'object') return false;
-  const conversation = (source as { conversation?: unknown }).conversation;
-  return !!conversation && typeof conversation === 'object';
-}
-
 function exactMessageText(input: CommandMatchInput): string | undefined {
   if (typeof input === 'string') {
     const trimmed = input.trim();
@@ -619,6 +673,12 @@ function displayName(
   }).join(' ');
 }
 
+function compileLiteralMatcher(segments: readonly string[], parameter: CommandParameterDefinition | undefined): SegmentMatcher | undefined {
+  if (!parameter) return undefined;
+  const literals = segments.filter((segment) => !segment.startsWith('$'));
+  return literals.length > 0 ? new SegmentMatcher(literals.join(' '), segmentFields) : undefined;
+}
+
 function matcherPattern(
   segments: readonly string[],
   parameter: CommandParameterDefinition | undefined,
@@ -631,9 +691,7 @@ function matcherPattern(
       return `[...${parameter.name}:${isStructuredRestType(parameter.type) ? type : 'text'}]`;
     }
     if (isRequiredParameter(parameter)) return `<${parameter.name}:${type}>`;
-    return parameter.defaultValue === undefined
-      ? `[${parameter.name}:${type}]`
-      : `[${parameter.name}:${type}=${typeof parameter.defaultValue === 'function' ? '<dynamic>' : String(parameter.defaultValue)}]`;
+    return `[${parameter.name}:${type}]`;
   }).join(' ');
 }
 
@@ -791,3 +849,10 @@ export class CommandParameterValueError extends TypeError {
     this.name = 'CommandParameterValueError';
   }
 }
+
+export class CommandArgumentValidationError extends TypeError {
+  constructor(readonly issues: readonly CommandValidationIssue[], readonly help: string) {
+    super(issues.map((issue) => issue.message).join('\n') + '\n' + help);
+    this.name = 'CommandArgumentValidationError';
+  }
+}

package/src/definition.ts

@@ -11,6 +11,7 @@ import {
   type CapabilityContext,
 } from '@zhin.js/feature-kit';
 import { assertPermitSyntax } from '@zhin.js/permission';
+import { validateArgumentSchemas } from './arguments.js';
 import type { UserInteraction } from '@zhin.js/interaction';
 
 const commandBrand = 'zhin.command/1' as const;
@@ -34,7 +35,7 @@ export type CommandParameterValue =
   | string
   | number
   | boolean
-  | ReadonlyArray<string | number | boolean>
+  | ReadonlyArray<string | number | boolean | Readonly<Record<string, unknown>>>
   | Readonly<Record<string, unknown>>
   | null;
 
@@ -88,8 +89,44 @@ export interface CommandParamSchema {
   readonly type: CommandParameterType;
   readonly default?: CommandDynamicValue;
   readonly description?: string;
+  readonly optional?: boolean;
+  readonly rest?: boolean;
+  readonly min?: number;
+  readonly max?: number;
+  readonly choices?: readonly CommandParameterValue[];
+  readonly pattern?: RegExp;
+  readonly validate?: (value: CommandParameterValue, session: CommandSession) => boolean | string;
+}
+
+export interface CommandOptionSchema extends Omit<CommandParamSchema, 'rest'> {
+  readonly alias?: string;
 }
 
+export type CommandParams = Readonly<Record<string, CommandParamSchema>>;
+export type CommandOptions = Readonly<Record<string, CommandOptionSchema>>;
+type ParameterScalar<S extends CommandParamSchema> = S['type'] extends 'number' | 'integer' | 'float' | 'dice' | 'rps'
+  ? number : S['type'] extends 'boolean' ? boolean
+  : S['type'] extends 'image' ? Readonly<Record<string, unknown>> | string
+  : S['type'] extends 'mention' | 'face' | 'reply' | 'forward' ? string | number : string;
+type ParameterResult<S extends CommandParamSchema> = S extends { readonly rest: true }
+  ? readonly ParameterScalar<S>[] : ParameterScalar<S>;
+type HasDefault<S extends CommandParamSchema> = S extends { readonly default: infer D }
+  ? undefined extends D ? false : true : false;
+type OptionalParam<S extends CommandParamSchema> = S extends { readonly rest: true } ? false
+  : HasDefault<S> extends true ? false : S extends { readonly optional: true } ? true : false;
+type OptionalOption<S extends CommandOptionSchema> = HasDefault<S> extends true ? false
+  : S extends { readonly optional: false } ? false : true;
+export type InferCommandParams<P extends CommandParams> = {
+  readonly [K in keyof P as OptionalParam<P[K]> extends true ? never : K]: ParameterResult<P[K]>;
+} & {
+  readonly [K in keyof P as OptionalParam<P[K]> extends true ? K : never]?: ParameterResult<P[K]>;
+};
+export type InferCommandOptions<O extends CommandOptions> = {
+  readonly [K in keyof O as OptionalOption<O[K]> extends true ? never : K]: ParameterResult<O[K]>;
+} & {
+  readonly [K in keyof O as OptionalOption<O[K]> extends true ? K : never]?: ParameterResult<O[K]>;
+};
+
 /** Minimal structural contract shared with canonical IM segments. */
 export interface CommandSegment {
   readonly type: string | { readonly name: string };
@@ -226,6 +263,7 @@ export interface CommandContext<
 > extends CapabilityContext<TConfig>, CommandSession {
   readonly args: readonly string[];
   readonly params: Readonly<Record<string, CommandParameterValue>>;
+  readonly options: Readonly<Record<string, CommandParameterValue>>;
   /** Structured arguments left after the command pattern was consumed. */
   readonly segments: readonly Readonly<CommandSegment>[];
   /**
@@ -259,7 +297,8 @@ export interface CommandDefinition<
    * Next.js 风格参数声明：动态段文件名（`[name]` 等）的形态配合这里的
    * 类型 / 默认值 / 描述使用。静态命令可忽略本字段。
    */
-  readonly params?: Readonly<Record<string, CommandParamSchema>>;
+  readonly params?: CommandParams;
+  readonly options?: CommandOptions;
   /**
    * 本地静态段别名（可多词，如 `'gh issue'`）。Capability owner 不参与
    * 用户路由；alias 只替换文件路径提供的静态段。
@@ -299,21 +338,31 @@ type CommandAuthoringDefinition<
   TConfig,
   TResult,
   TInput extends CommandMessage,
+  P extends CommandParams,
+  O extends CommandOptions,
 > =
-  | Omit<CommandDefinition<TConfig, TResult, TInput, undefined>, '$feature' | '$parameter'>
+  | Omit<CommandDefinition<TConfig, TResult, TInput, undefined>, '$feature' | '$parameter' | 'params' | 'options' | 'execute'> & { readonly params?: P; readonly options?: O; execute(context: TypedCommandContext<TConfig, TInput, undefined, P, O>): TResult | Promise<TResult> }
   | {
       [TAdapter in RegisteredAdapterName]: Omit<
         CommandDefinition<TConfig, TResult, TInput, TAdapter>,
-        '$feature' | '$parameter'
-      > & { readonly adapter: TAdapter }
+        '$feature' | '$parameter' | 'params' | 'options' | 'execute'
+      > & { readonly adapter: TAdapter; readonly params?: P; readonly options?: O; execute(context: TypedCommandContext<TConfig, TInput, TAdapter, P, O>): TResult | Promise<TResult> }
     }[RegisteredAdapterName];
 
+type TypedCommandContext<TConfig, TInput extends CommandMessage, TAdapter extends string | undefined, P extends CommandParams, O extends CommandOptions> =
+  Omit<CommandContext<TConfig, TInput, TAdapter>, 'params' | 'options'> & {
+    readonly params: keyof P extends never ? Readonly<Record<string, CommandParameterValue>> : InferCommandParams<P>;
+    readonly options: InferCommandOptions<O>;
+  };
+
 export function defineCommand<
   TConfig = unknown,
   TResult = unknown,
   TInput extends CommandMessage = CommandMessage,
+  const P extends CommandParams = {},
+  const O extends CommandOptions = {},
 >(
-  definition: CommandAuthoringDefinition<TConfig, TResult, TInput>,
+  definition: CommandAuthoringDefinition<TConfig, TResult, TInput, P, O>,
 ): Readonly<CommandDefinition<TConfig, TResult, TInput, string | undefined>> {
   if (typeof definition.execute !== 'function') {
     throw new TypeError('Command execute must be a function');
@@ -330,6 +379,7 @@ export function defineCommand<
       }
     }
   }
+  validateArgumentSchemas(definition.params, definition.options);
   validateCommandAlias(definition.alias);
   validateCommandPermit(definition.permit);
   validateCommandShortcutShape(definition.shortcut);
@@ -444,14 +494,18 @@ export function createCommandContext(
   segments: readonly Readonly<CommandSegment>[] = Object.freeze([]),
   interaction?: UserInteraction,
   adapter?: string,
+  options: Readonly<Record<string, CommandParameterValue>> = Object.freeze({}),
 ): CommandContext {
   const context = createCapabilityContext(snapshot, ownerId);
   const session = resolveCommandSession(input);
+  const parameterValues: Record<string, CommandParameterValue> = { __proto__: null, ...params };
+  const optionValues: Record<string, CommandParameterValue> = { __proto__: null, ...options };
   const result = {
     ...context,
     ...session,
     args: Object.freeze([...args]),
-    params: Object.freeze({ ...params }),
+    params: Object.freeze(parameterValues),
+    options: Object.freeze(optionValues),
     segments: freezeSegments(segments),
     ...(input !== undefined ? { input: input as CommandMessage } : {}),
     ...(interaction !== undefined ? { interaction } : {}),

package/src/index.ts

@@ -22,3 +22,5 @@ export {
   default as commandFeature,
 } from './provider.js';
 export { default } from './provider.js';
+
+export type { CommandValidationIssue } from './arguments.js';

package/src/provider.ts

@@ -124,6 +124,13 @@ function resolveParameter(
       `missing params.${hint.name} declaration in defineCommand({ params })`,
     );
   }
+  if (Object.keys(definition.params ?? {})[0] !== hint.name) {
+    throw new CommandPathSyntaxError(source, `params.${hint.name} must be the first parameter declaration`);
+  }
+  if (schema.rest !== undefined && schema.rest !== hint.rest
+    || schema.optional !== undefined && schema.optional !== hint.optional) {
+    throw new CommandPathSyntaxError(source, `params.${hint.name} optional/rest declaration conflicts with the directory shape`);
+  }
   if (!hint.optional && schema.default !== undefined) {
     throw new CommandPathSyntaxError(
       source,