@crustjs/core 0.0.5 → 0.0.6

package/dist/index.d.ts

@@ -128,16 +128,25 @@ interface BooleanMultiFlagDef extends MultiFlagBase {
 type FlagDef = StringFlagDef | NumberFlagDef | BooleanFlagDef | StringMultiFlagDef | NumberMultiFlagDef | BooleanMultiFlagDef;
 /** Record mapping flag names to their definitions */
 type FlagsDef = Record<string, FlagDef>;
-/** Extract alias string literals from a single FlagDef */
-type ExtractAliases<F extends FlagDef> = F extends {
+/**
+* Extract alias string literals from any value that has an `alias` field.
+*
+* Generalized to work with any shape (`FlagDef`, `FlagSpec`, etc.) —
+* values without an `alias` field resolve to `never`.
+*
+* Includes a `string extends A` guard so non-narrowed aliases (e.g. the
+* broad `string` type from a default generic) resolve to `never` instead
+* of causing false-positive collisions.
+*/
+type ExtractAliases<F> = F extends {
 	alias: infer A;
-} ? A extends string ? A : A extends readonly string[] ? A[number] : never : never;
+} ? A extends string ? string extends A ? never : A : A extends readonly string[] ? string extends A[number] ? never : A[number] : never : never;
 /**
 * Collects aliases from every flag *except* flag K.
 * Used to detect alias→alias duplicates across different flags.
 */
 type AliasesExcluding<
-	F extends FlagsDef,
+	F extends Record<string, unknown>,
 	K extends keyof F & string
 > = { [J in Exclude<keyof F & string, K>] : ExtractAliases<F[J]> }[Exclude<keyof F & string, K>];
 /**
@@ -146,13 +155,16 @@ type AliasesExcluding<
 * or `never` when K's aliases are all unique.
 */
 type CollidingAliases<
-	F extends FlagsDef,
+	F extends Record<string, unknown>,
 	K extends keyof F & string
 > = (ExtractAliases<F[K]> & Exclude<keyof F & string, K>) | (ExtractAliases<F[K]> & AliasesExcluding<F, K>);
 /**
 * Per-flag validation mapped type. Resolves to `F` when no collisions exist.
 * For flags with colliding aliases, adds a branded error property to the
-* specific flag definition, causing a type error on that flag's value:
+* specific flag definition, causing a type error on that flag's value.
+*
+* Generalized to work with any `Record<string, unknown>` shape — core uses
+* it with `FlagsDef`, the validate package uses it with `FlagShape`, etc.
 *
 * ```
 * Property 'FIX_ALIAS_COLLISION' is missing in type '{ type: "string"; alias: "minify" }'
@@ -160,13 +172,18 @@ type CollidingAliases<
 *     '{ readonly FIX_ALIAS_COLLISION: "Alias \"minify\" collides with another flag name or alias" }'.
 * ```
 */
-type ValidateFlagAliases<F extends FlagsDef> = { [K in keyof F & string] : CollidingAliases<F, K> extends never ? F[K] : F[K] & {
+type ValidateFlagAliases<F extends Record<string, unknown>> = { [K in keyof F & string] : CollidingAliases<F, K> extends never ? F[K] : F[K] & {
 	readonly FIX_ALIAS_COLLISION: `Alias "${CollidingAliases<F, K>}" collides with another flag name or alias`;
 } };
 /**
 * Per-arg validation tuple type. Resolves to `A` when the constraint is
 * satisfied (only the last arg is variadic). For non-last args that have
-* `variadic: true`, adds a branded error property to the specific arg:
+* `variadic: true`, adds a branded error property to the specific arg.
+*
+* Generalized to work with any ordered tuple of object-typed definitions —
+* core uses it with `ArgsDef`, the validate package uses it with
+* `ArgSpec[]`, etc. Uses `readonly object[]` to avoid TypeScript's weak
+* type detection (all-optional constraint rejection).
 *
 * ```
 * Property 'FIX_VARIADIC_POSITION' is missing in type '{ name: "files"; ... variadic: true }'
@@ -174,11 +191,11 @@ type ValidateFlagAliases<F extends FlagsDef> = { [K in keyof F & string] : Colli
 *     '{ readonly FIX_VARIADIC_POSITION: "Only the last positional argument can be variadic" }'.
 * ```
 */
-type ValidateVariadicArgs<A extends ArgsDef> = A extends readonly [infer Head extends ArgDef, ...infer Tail extends readonly ArgDef[]] ? Tail extends readonly [ArgDef, ...ArgDef[]] ? Head extends {
+type ValidateVariadicArgs<A extends readonly object[]> = A extends readonly [infer Head, ...infer Tail extends readonly object[]] ? Tail extends readonly [unknown, ...unknown[]] ? Head extends {
 	variadic: true;
 } ? readonly [Head & {
 	readonly FIX_VARIADIC_POSITION: "Only the last positional argument can be variadic";
-}, ...ValidateVariadicArgs<readonly [...Tail]>] : readonly [Head, ...ValidateVariadicArgs<readonly [...Tail]>] : readonly [Head] : A;
+}, ...ValidateVariadicArgs<Tail>] : readonly [Head, ...ValidateVariadicArgs<Tail>] : readonly [Head] : A;
 /**
 * Infer the resolved type for a single ArgDef:
 *
@@ -377,9 +394,15 @@ interface CommandNotFoundErrorDetails {
 	commandPath: string[];
 	parentCommand: AnyCommand;
 }
+interface ValidationErrorDetails {
+	issues: readonly {
+		readonly message: string;
+		readonly path: string;
+	}[];
+}
 interface CrustErrorDetailsMap {
 	DEFINITION: undefined;
-	VALIDATION: undefined;
+	VALIDATION: ValidationErrorDetails | undefined;
 	PARSE: undefined;
 	EXECUTION: undefined;
 	COMMAND_NOT_FOUND: CommandNotFoundErrorDetails;
@@ -439,7 +462,7 @@ declare class CrustError<C extends CrustErrorCode = CrustErrorCode> extends Erro
 	readonly details: CrustErrorDetails<C>;
 	/** Optional wrapped original error/value */
 	cause?: unknown;
-	constructor(code: C, message: string, ...details: CrustErrorDetails<C> extends undefined ? [] | [undefined] : [CrustErrorDetails<C>]);
+	constructor(code: C, message: string, ...details: undefined extends CrustErrorDetails<C> ? [] | [CrustErrorDetails<C>] : [CrustErrorDetails<C>]);
 	is<T extends CrustErrorCode>(code: T): this is CrustError<T>;
 	withCause(cause: unknown): this;
 }
@@ -539,4 +562,4 @@ interface RunOptions {
 }
 declare function runCommand(command: AnyCommand, options?: RunOptions): Promise<void>;
 declare function runMain(command: AnyCommand, options?: RunOptions): Promise<void>;
-export { runMain, runCommand, resolveCommand, parseArgs, defineCommand, SetupContext, RunOptions, PluginMiddleware, ParseResult, MiddlewareContext, InferFlags, InferArgs, FlagsDef, FlagDef, CrustPlugin, CrustErrorCode, CrustError, CommandRoute, CommandNotFoundErrorDetails, CommandMeta, CommandDef, CommandContext, Command, ArgsDef, ArgDef, AnyCommand };
+export { runMain, runCommand, resolveCommand, parseArgs, defineCommand, ValidateVariadicArgs, ValidateFlagAliases, SetupContext, RunOptions, PluginMiddleware, ParseResult, MiddlewareContext, InferFlags, InferArgs, FlagsDef, FlagDef, CrustPlugin, CrustErrorCode, CrustError, CommandRoute, CommandNotFoundErrorDetails, CommandMeta, CommandDef, CommandContext, Command, ArgsDef, ArgDef, AnyCommand };

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@crustjs/core",
-	"version": "0.0.5",
+	"version": "0.0.6",
 	"description": "Core library for the Crust CLI framework",
 	"type": "module",
 	"license": "MIT",