@loozo/angular-router 0.0.2 → 0.0.4

package/types/loozo-angular-router-_core.d.ts

@@ -1,16 +1,16 @@
-import { RedirectCommand, RunGuardsAndResolvers, ActivatedRouteSnapshot, RouterStateSnapshot, MaybeAsync, GuardResult, Route as Route$1, UrlSegment, PartialMatchRouteSnapshot } from '@angular/router';
-import { Observable } from 'rxjs';
-
+import { ActivatedRouteSnapshot, GuardResult, MaybeAsync, PartialMatchRouteSnapshot, RedirectCommand, Route as Route$1, RouterStateSnapshot, RunGuardsAndResolvers, UrlSegment, UrlTree } from "@angular/router";
+import { Observable } from "rxjs";
 /**
  * Converts one decoded path or search value to and from an application value.
  *
  * @remarks
- * Parsing may be asynchronous; stringification must be synchronous. Neither
- * method performs URL encoding. Codecs have no Angular injection-context
- * guarantee, and their returned objects are not recursively frozen.
+ * Both methods are synchronous, and parsing should be pure and deterministic:
+ * like Angular's matching callbacks, it runs once while matching and again for
+ * the activated route. Neither method performs URL encoding. Codecs have no
+ * Angular injection context, and their returned objects are not recursively frozen.
  * For a terminal `$name[]` path, this codec applies to each element separately.
  *
- * @typeParam Value - The logical value, not a promise of that value.
+ * @typeParam Value - The logical value, never a promise of that value.
  *
  * @example
  * ```ts
@@ -21,41 +21,54 @@ import { Observable } from 'rxjs';
  * ```
  */
 interface ParamCodec<Value> {
-    /**
-     * Parses one already percent-decoded value; do not decode it again.
-     *
-     * @param raw - A single logical string from Angular's URL inputs.
-     * @returns The logical value or a promise for it.
-     * @throws An application error for invalid input; generated input parsing
-     * reports throws and rejections as invalid path/search values with a cause.
-     */
-    parse(raw: string): Value | Promise<Value>;
-    /**
-     * Serializes one logical value without percent-encoding it.
-     *
-     * @param value - The application value to serialize.
-     * @returns An unencoded string. Path output must not be empty, `.` or `..`.
-     * @throws An application error when the value cannot be serialized.
-     */
-    stringify(value: Value): string;
+  /**
+   * Parses one already percent-decoded value; do not decode it again.
+   *
+   * @param raw - A single logical string from Angular's URL inputs.
+   * @returns The logical value, synchronously. Returning a promise or other
+   * thenable is a programming error that fails the navigation with a TypeError.
+   * @throws An application error for invalid input: an invalid path value makes
+   * the route not match, and an invalid search value reads as absent or as its fallback.
+   */
+  parse(raw: string): Value;
+  /**
+   * Serializes one logical value without percent-encoding it.
+   *
+   * @param value - The application value to serialize.
+   * @returns An unencoded string. Path output must not be empty, `.` or `..`.
+   * @throws An application error when the value cannot be serialized.
+   */
+  stringify(value: Value): string;
 }
-declare const searchPresence: unique symbol;
-/** A search-only codec whose key may be omitted or supplied as `undefined`. */
-type OptionalCodec<Value> = ParamCodec<Value | undefined> & {
-    readonly [searchPresence]: "optional";
-};
-/** A search-only codec that represents explicit `null` as the text `"null"`. */
-type NullableCodec<Value> = ParamCodec<Value | null> & {
-    readonly [searchPresence]: "nullable";
+declare const searchFallback: unique symbol;
+/**
+ * A search-only codec whose key reads a fallback value when it is missing,
+ * repeated or invalid, while URL creation may still omit it.
+ */
+type FallbackCodec<Value> = ParamCodec<Value> & {
+  readonly [searchFallback]: true;
 };
 type PathCodec = ParamCodec<any> & {
-    readonly [searchPresence]?: never;
+  readonly [searchFallback]?: never;
 };
 type CodecValue<Codec> = Codec extends ParamCodec<infer Value> ? Value : never;
-type IsOptional<Codec> = Codec extends {
-    readonly [searchPresence]: "optional";
+type HasFallback<Codec> = Codec extends {
+  readonly [searchFallback]: true;
 } ? true : false;
-declare function codecPresence(codec: object): "optional" | "nullable" | undefined;
+/** Type-only marker: a codec whose parse returns a promise fails where it is declared. */
+interface SynchronousParse {
+  /** Never present: `parse` must return its value synchronously, not a Promise. */
+  readonly "ParamCodec.parse must return its value synchronously, not a Promise": never;
+}
+type ParseResult<Codec> = Codec extends {
+  parse(raw: string): infer Result;
+} ? Result : never;
+type SyncValue<Value> = Extract<Value, PromiseLike<unknown>> extends never ? unknown : SynchronousParse;
+type SyncCodecs<Codecs> = { [Key in keyof Codecs]: SyncValue<ParseResult<Codecs[Key]>>; };
+export declare function codecFallback(codec: object): {
+  readonly value: unknown;
+} | undefined;
+declare function validateCodec(codec: unknown): asserts codec is ParamCodec<any>;
 /**
  * Preserves strings verbatim, including empty strings and literal percent text.
  *
@@ -63,7 +76,7 @@ declare function codecPresence(codec: object): "optional" | "nullable" | undefin
  * Empty, dot and dotdot values are valid codec values but cannot be serialized
  * into path segments by URL creation. Search values may contain them.
  */
-declare const stringParam: ParamCodec<string>;
+export declare const stringParam: ParamCodec<string>;
 /**
  * Parses nonblank text with JavaScript `Number` and requires a finite result.
  *
@@ -72,12 +85,12 @@ declare const stringParam: ParamCodec<string>;
  * Blank text, NaN and infinities throw. Stringification requires a finite number
  * and uses its JavaScript string representation (including `-0` becoming `"0"`).
  */
-declare const numberParam: ParamCodec<number>;
+export declare const numberParam: ParamCodec<number>;
 /**
  * Parses only lowercase `"true"` and `"false"`, and emits those same strings.
  * Other representations and nonboolean values throw.
  */
-declare const booleanParam: ParamCodec<boolean>;
+export declare const booleanParam: ParamCodec<boolean>;
 /**
  * Creates a case-sensitive string codec from a snapshotted list of members.
  *
@@ -92,47 +105,32 @@ declare const booleanParam: ParamCodec<boolean>;
  * tab.parse("reviews"); // "reviews"
  * ```
  */
-declare function enumParam<const Values extends readonly string[]>(values: Values): ParamCodec<Values[number]>;
-/**
- * Makes a search key optional without changing the handling of present values.
- *
- * @remarks
- * Generated parsing omits absent keys; URL creation omits absent or `undefined`
- * values. The wrapper's parser delegates present strings unchanged, preserving
- * promises and failures. Its stringifier cannot serialize `undefined` directly.
- * This wrapper is not a path codec. For optional nullable values, wrap
- * {@link nullableSearchParam} with this function, not the other way around.
- *
- * @typeParam Value - The wrapped codec's logical value.
- * @param codec - The codec used for present search values.
- * @returns A search-only codec allowing omission.
- * @throws TypeError if the codec lacks callable parse/stringify methods.
- */
-declare function optionalSearchParam<Value>(codec: ParamCodec<Value>): OptionalCodec<Value>;
+export declare function enumParam<const Values extends readonly string[]>(values: Values): ParamCodec<Values[number]>;
 /**
- * Adds explicit null to a search codec, represented by the decoded text `"null"`.
+ * Gives a search key a value read in place of a missing, repeated or invalid one.
  *
  * @remarks
- * The key remains required unless wrapped with {@link optionalSearchParam}.
- * Non-null values delegate unchanged, including promise/failure identity. The
- * text `"null"` is reserved by this wrapper even if the inner codec accepts it.
- * This wrapper is not a path codec and cannot wrap an optional search codec.
- *
- * @typeParam Value - The wrapped codec's non-null logical value.
- * @param codec - The codec used for values other than null.
- * @returns A search-only codec accepting and serializing null.
- * @throws TypeError if the codec is malformed or is an optional search wrapper.
+ * Every search key is optional: a plain codec's key reads as absent when its
+ * value is missing, repeated or invalid. With a fallback, the key always reads a
+ * value of the codec's type, while URL creation, links, navigation and redirect
+ * replacements may still omit it. The fallback is returned as is: it is neither
+ * parsed nor copied. Present values delegate to the wrapped codec unchanged.
+ * Fallback codecs are search-only: a path param can't use one.
  *
  * @example
  * ```ts
- * const score = optionalSearchParam(nullableSearchParam(numberParam));
- * // Omission, null, and a present number remain distinct.
+ * search: { page: withFallback(numberParam, 1) }
+ * // ?page=abc, ?page=1&page=2 and no page all read as 1.
  * ```
+ *
+ * @typeParam Value - The wrapped codec's logical value.
+ * @param codec - The codec used for present search values.
+ * @param fallback - The value read when the key is missing, repeated or invalid.
+ * @returns A search-only codec that reads the fallback in place of an absent value.
+ * @throws TypeError if the codec lacks callable parse/stringify methods or already
+ * has a fallback.
  */
-declare function nullableSearchParam<Value>(codec: ParamCodec<Value> & {
-    readonly [searchPresence]?: "nullable";
-}): NullableCodec<Value>;
-
+export declare function withFallback<Value>(codec: ParamCodec<Value> & SyncValue<NoInfer<Value>>, fallback: NoInfer<Value>): FallbackCodec<Value>;
 type ValidName<Name extends string> = Name extends "" | "__proto__" | `...${string}` | `${string}?${string}` | `${string}*${string}` | `${string}[]${string}` ? false : true;
 type SegmentValid<Segment extends string> = Segment extends `$${infer Name}` ? ValidName<Name> : Segment extends "" | "." | ".." | "*" | "**" | `:${string}` ? false : true;
 type ValidateSegments<Path extends string, Scalars extends string = never> = Path extends `${infer Head}/${infer Tail}` ? Head extends `$${string}[]` ? false : SegmentValid<Head> extends true ? ValidateSegments<Tail, Scalars | ScalarName<Head>> : false : Path extends `$${infer Name}[]` ? ValidName<Name> extends true ? Name extends Scalars ? false : true : false : SegmentValid<Path>;
@@ -142,13 +140,13 @@ type SegmentName<Segment extends string> = Segment extends `$${infer Name}[]` ?
 type PathNames<Path extends string> = Path extends `${infer Head}/${infer Tail}` ? SegmentName<Head> | PathNames<Tail> : SegmentName<Path>;
 type CatchallName<Path extends string> = Path extends `${string}/${infer Tail}` ? CatchallName<Tail> : Path extends `$${infer Name}[]` ? Name : never;
 type Segment = {
-    readonly kind: "static";
-    readonly text: string;
+  readonly kind: "static";
+  readonly text: string;
 } | {
-    readonly kind: "scalar" | "catchall";
-    readonly name: string;
+  readonly kind: "scalar" | "catchall";
+  readonly name: string;
 };
-
+declare function parsePath(path: unknown): readonly Segment[];
 declare const routeBrand: unique symbol;
 /**
  * A nominal route declaration created by `defineRoute`, not a native Angular Route.
@@ -161,50 +159,51 @@ declare const routeBrand: unique symbol;
  *
  * @typeParam Path - The local authored path literal, not the effective URL path.
  * @typeParam Params - Effective inherited and local logical path values.
- * @typeParam Search - Effective inherited and local logical search values.
+ * @typeParam Search - Effective inherited and local logical search values; keys
+ * without a fallback are optional. URL creation accepts every key as optional.
  * @typeParam Resolvers - Local resolver callbacks; data unwraps Promise/Observable
  * results and excludes Angular RedirectCommand values.
  * @typeParam Fragments - This declaration's own allowed fragment-name union.
  * @typeParam Catchall - Whether the declaration is a terminal catchall leaf.
  */
 interface Route<Path extends string, Params, Search, Resolvers = {}, Fragments extends string = string, Catchall extends boolean = CatchallName<Path> extends never ? false : true> {
-    readonly [routeBrand]: {
-        readonly fragments: Fragments;
-        readonly catchall: Catchall;
-    };
-    /** The exact local authored path supplied to `defineRoute`. */
-    readonly path: Path;
-    /** Type-only witness for effective path values; not populated at runtime. */
-    readonly __params?: Params;
-    /** Type-only witness for effective search values; not populated at runtime. */
-    readonly __search?: Search;
-    /** Type-only witness for unwrapped local resolver data, excluding redirects. */
-    readonly __data?: {
-        readonly [Key in keyof Resolvers]: Resolved<Resolvers[Key]>;
-    };
-    /** The snapshotted local resolver map, retaining original callback identities. */
-    readonly resolve?: Readonly<Resolvers>;
-    /** The original native rerun policy; omission preserves Angular's default. */
-    readonly runGuardsAndResolvers?: RunGuardsAndResolvers;
+  /** Type-only nominal brand carrying fragment and catchall metadata; not populated at runtime. */
+  readonly [routeBrand]: {
+    /** Type-only: this declaration's own allowed fragment-name union. */
+    readonly fragments: Fragments;
+    /** Type-only: whether this declaration is a terminal catchall leaf. */
+    readonly catchall: Catchall;
+  };
+  /** The exact local authored path supplied to `defineRoute`. */
+  readonly path: Path;
+  /** Type-only witness for effective path values; not populated at runtime. */
+  readonly __params?: Params;
+  /** Type-only witness for effective search values; not populated at runtime. */
+  readonly __search?: Search;
+  /** Type-only witness for unwrapped local resolver data, excluding redirects. */
+  readonly __data?: { readonly [Key in keyof Resolvers]: Resolved<Resolvers[Key]>; };
+  /** The snapshotted local resolver map, retaining original callback identities. */
+  readonly resolve?: Readonly<Resolvers>;
+  /** The original native rerun policy; omission preserves Angular's default. */
+  readonly runGuardsAndResolvers?: RunGuardsAndResolvers;
 }
 type Unwrap<Value> = Value extends Promise<infer Inner> | Observable<infer Inner> ? Unwrap<Inner> : Value;
-type Resolved<Callback> = Callback extends (...args: any[]) => infer Value ? Exclude<Unwrap<Value>, RedirectCommand> : never;
+type Resolved<Callback> = Callback extends ((...args: any[]) => infer Value) ? Exclude<Unwrap<Value>, RedirectCommand> : never;
 type AnyRoute = Route<string, any, any, any, any, boolean>;
 /** Extracts a declaration's effective inherited and local path-value types. */
 type ParamsOf<Target> = Target extends Route<string, infer Params, any, any, any, boolean> ? Params : {};
-/** Extracts effective search-value types, retaining optional/nullable modifiers. */
+/** Extracts effective parsed search-value types; keys without a fallback are optional. */
 type SearchOf<Target> = Target extends Route<string, any, infer Search, any, any, boolean> ? Search : {};
+/**
+ * Effective search values accepted by URL creation: every key may be omitted or
+ * `undefined`, and a supplied value has the key's codec type.
+ */
+type SearchInputOf<Target> = { readonly [Key in keyof SearchOf<Target>]?: SearchOf<Target>[Key] | undefined; };
 /** Extracts only the selected declaration's own allowed fragment-name union. */
 type FragmentsOf<Target> = Target extends Route<string, any, any, any, infer Fragments, boolean> ? Fragments : never;
 type CodecMap = Record<string, ParamCodec<any>>;
-type LocalParams<Path extends string, Codecs> = {
-    readonly [Key in keyof Codecs]: Key extends CatchallName<Path> ? readonly CodecValue<Codecs[Key]>[] : CodecValue<Codecs[Key]>;
-};
-type SearchValues<Codecs> = {
-    readonly [Key in keyof Codecs as IsOptional<Codecs[Key]> extends true ? never : Key]: CodecValue<Codecs[Key]>;
-} & {
-    readonly [Key in keyof Codecs as IsOptional<Codecs[Key]> extends true ? Key : never]?: CodecValue<Codecs[Key]>;
-};
+type LocalParams<Path extends string, Codecs> = { readonly [Key in keyof Codecs]: Key extends CatchallName<Path> ? readonly CodecValue<Codecs[Key]>[] : CodecValue<Codecs[Key]>; };
+type SearchValues<Codecs> = { readonly [Key in keyof Codecs as HasFallback<Codecs[Key]> extends true ? Key : never]: CodecValue<Codecs[Key]>; } & { readonly [Key in keyof Codecs as HasFallback<Codecs[Key]> extends true ? never : Key]?: CodecValue<Codecs[Key]>; };
 type EffectiveParams<Path extends string, Codecs, Parent> = ParamsOf<Parent> & LocalParams<Path, Codecs>;
 type EffectiveSearch<Codecs, Parent> = SearchOf<Parent> & SearchValues<Codecs>;
 /**
@@ -212,10 +211,10 @@ type EffectiveSearch<Codecs, Parent> = SearchOf<Parent> & SearchValues<Codecs>;
  * The container and maps are shallow-frozen; nested codec values remain opaque.
  */
 type Inputs<Params, Search> = {
-    /** Logical positional path values, not Angular's matrix-merged params. */
-    readonly params: Readonly<Params>;
-    /** Logical declared search values; absent optional keys are omitted. */
-    readonly search: Readonly<Search>;
+  /** Logical positional path values, not Angular's matrix-merged params. */
+  readonly params: Readonly<Params>;
+  /** Logical declared search values; keys without a value or fallback are absent. */
+  readonly search: Readonly<Search>;
 };
 /**
  * A local resolver invoked after successful effective input parsing.
@@ -228,6 +227,16 @@ type Inputs<Params, Search> = {
  * @returns A scalar, Promise, Observable or RedirectCommand result.
  */
 type Resolver<Params, Search> = (inputs: Inputs<Params, Search>, snapshot: ActivatedRouteSnapshot, state: RouterStateSnapshot) => unknown;
+/**
+ * A title callback, run by Angular as a resolver: entered in Angular's injection context
+ * after successful effective input parsing, alongside the route's local resolvers.
+ *
+ * @param inputs - Effective inherited and local parsed values.
+ * @param snapshot - The declaring route's native snapshot.
+ * @param state - The native router state being resolved.
+ * @returns The page title, synchronously or via Promise/Observable.
+ */
+type TitleResolver<Params, Search> = (inputs: Inputs<Params, Search>, snapshot: ActivatedRouteSnapshot, state: RouterStateSnapshot) => MaybeAsync<string>;
 /**
  * An activation callback entered in Angular's injection context after parsing.
  * Parse failures prevent entry and propagate as navigation errors, not false.
@@ -241,7 +250,9 @@ type Resolver<Params, Search> = (inputs: Inputs<Params, Search>, snapshot: Activ
 type ActivationGuard<Params, Search> = (inputs: Inputs<Params, Search>, snapshot: ActivatedRouteSnapshot, state: RouterStateSnapshot) => MaybeAsync<GuardResult>;
 /**
  * A candidate matching callback entered in Angular's injection context after parsing.
- * Unlike activation callbacks, it has no ancestor positional path values.
+ * Unlike activation callbacks, it has no ancestor positional path values. It isn't
+ * entered when the candidate's own path params fail to parse; the route then
+ * doesn't match, or its onInvalidParams handler decides.
  *
  * @param inputs - Local positional params plus effective inherited/local search.
  * @param routeConfig - Angular's native candidate configuration.
@@ -250,159 +261,171 @@ type ActivationGuard<Params, Search> = (inputs: Inputs<Params, Search>, snapshot
  * @returns A native guard result; false permits Angular's next candidate.
  */
 type MatchingGuard<Params, Search> = (inputs: Inputs<Params, Search>, routeConfig: Route$1, segments: UrlSegment[], partialSnapshot: PartialMatchRouteSnapshot) => MaybeAsync<GuardResult>;
-type RequiredKeys<Value> = {
-    [Key in keyof Value]-?: Pick<Value, Key> extends Required<Pick<Value, Key>> ? Key : never;
-}[keyof Value];
-type SearchInput<Schema, Keys extends keyof Schema> = keyof Schema extends never ? Record<string, never> : Pick<Schema, RequiredKeys<Schema> | Keys>;
+/**
+ * The error passed to onInvalidParams: the first of the candidate's own path
+ * params that failed to parse. The error class is not exported.
+ */
+type PathInputError = Error & {
+  /** Always `"path"`: search never takes part in matching. */
+  readonly source: "path";
+  /** The failed param's name. */
+  readonly key: string;
+  /** Why the raw value was rejected; the codec failure is the error's `cause`. */
+  readonly reason: "missing" | "repeated" | "invalid";
+};
+/**
+ * Decides what a candidate whose own path params fail to parse does instead of
+ * not matching. Entered in Angular's injection context; throwing or rejecting
+ * fails the navigation.
+ *
+ * @param error - The path input error, with the codec failure as its cause.
+ * @param routeConfig - Angular's native candidate configuration.
+ * @param segments - Angular's candidate URL segments.
+ * @param partialSnapshot - Angular's native partial matching snapshot.
+ * @returns `false` to try Angular's next candidate, or a UrlTree/RedirectCommand
+ * to redirect; `true` is rejected because the params are invalid.
+ */
+type InvalidParamsHandler = (error: PathInputError, routeConfig: Route$1, segments: UrlSegment[], partialSnapshot: PartialMatchRouteSnapshot) => MaybeAsync<false | UrlTree | RedirectCommand>;
+type SearchInput<Schema, Keys extends keyof Schema> = keyof Schema extends never ? Record<string, never> : Pick<Schema, Keys>;
 /**
  * Explicit values for URL creation and generated link/navigation calls.
- * Effective path and required search keys must be present; optional search may
- * be omitted. Paramless/searchless routes forbid those fields. Fragment names
- * come only from the destination's own declaration.
+ * Effective path keys must be present; every search key may be omitted.
+ * Paramless/searchless routes forbid those fields. Fragment names come only
+ * from the destination's own declaration.
  *
  * @typeParam Target - The selected route declaration.
  * @typeParam SearchKeys - Supplied search keys inferred by each call to preserve
  * optional-key typing, including keys that coincide with Object members.
  */
 type UrlValues<Target extends AnyRoute, SearchKeys extends keyof SearchOf<Target> = keyof SearchOf<Target>> = (keyof ParamsOf<Target> extends never ? {
-    /** Forbidden when the destination has no effective path params. */
-    params?: never;
+  /** Forbidden when the destination has no effective path params. */
+  params?: never;
 } : {
-    /** All effective path values; catchalls are readonly element-value arrays. */
-    params: ParamsOf<Target>;
-}) & (keyof SearchOf<Target> extends never ? {
-    /** Forbidden when the destination has no search declarations. */
-    search?: never;
-} : RequiredKeys<SearchOf<Target>> extends never ? {
-    /** Optional-only search; absent or undefined optional values are omitted. */
-    search?: SearchInput<SearchOf<Target>, SearchKeys>;
+  /** All effective path values; catchalls are readonly element-value arrays. */
+  params: ParamsOf<Target>;
+}) & (keyof SearchInputOf<Target> extends never ? {
+  /** Forbidden when the destination has no search declarations. */
+  search?: never;
 } : {
-    /** All required search values plus any supplied optional values. */
-    search: SearchInput<SearchOf<Target>, SearchKeys>;
+  /** Any declared search values; absent or undefined values are omitted. */
+  search?: SearchInput<SearchInputOf<Target>, SearchKeys & keyof SearchInputOf<Target>>;
 }) & (FragmentsOf<Target> extends never ? {
-    /** Forbidden when this declaration has no fragment names. */
-    fragment?: never;
+  /** Forbidden when this declaration has no fragment names. */
+  fragment?: never;
 } : {
-    /** An optional logical name declared by this exact destination, without `#`. */
-    fragment?: FragmentsOf<Target>;
+  /** An optional logical name declared by this exact destination, without `#`. */
+  fragment?: FragmentsOf<Target>;
 });
-type CompatibleKeys<Source, Value> = {
-    [Key in keyof Source]: Source[Key] extends Value ? Key : never;
-}[keyof Source];
-type Mapping<Source, Destination> = {
-    [Key in keyof Destination]: CompatibleKeys<Source, Destination[Key]>;
-};
-type Forwardable<Source, Destination> = {
-    [Key in keyof Destination]: Key extends keyof Source ? Source[Key] extends Destination[Key] ? never : Key : Key;
-}[keyof Destination] extends never ? true : false;
-type Preservable<Source, Destination> = {
-    [Key in RequiredKeys<Destination>]: Key extends RequiredKeys<Source> ? Source[Key & keyof Source] extends Destination[Key] ? never : Key : Key;
-}[RequiredKeys<Destination>] extends never ? true : false;
+type CompatibleKeys<Source, Value> = { [Key in keyof Source]: Source[Key] extends Value ? Key : never; }[keyof Source];
+type Mapping<Source, Destination> = { [Key in keyof Destination]: CompatibleKeys<Source, Destination[Key]>; };
+type Forwardable<Source, Destination> = { [Key in keyof Destination]: Key extends keyof Source ? Source[Key] extends Destination[Key] ? never : Key : Key; }[keyof Destination] extends never ? true : false;
 /**
  * A typed redirect to a genuine authored declaration, not a concrete URL.
  *
  * @remarks
  * Params map destination keys to compatible effective source path keys. Omission
  * forwards by name only when all target keys are compatible. Search and fragment
- * policies are mandatory. Search preserve validates destination-declared values
- * but retains original query text and unknown keys; drop requires no required
- * target search keys; replace uses explicit target-typed values (`{}` is allowed
- * for searchless targets). Fragment preserve retains the incoming raw name,
- * whereas replace requires a target-declared name. Angular executes the redirect.
+ * policies are mandatory. Search preserve retains the original query text, drop
+ * removes it, and replace serializes explicit target-typed values (`{}` removes
+ * the query). Fragment preserve retains the incoming raw name, whereas replace
+ * requires a target-declared name. Angular executes the redirect.
  */
-type Redirect<SourceParams, SourceSearch, Target extends AnyRoute, SearchKeys extends keyof SearchOf<Target>> = {
-    /** The already constructed target; generation requires a direct default import. */
-    to: Target;
-    /** Explicit query policy: preserve incoming text, drop it, or replace with values. */
-    search: {
-        /** Discard incoming queries and serialize explicit target-typed values. */
-        mode: "replace";
-        /** Required target search keys plus selected optional keys; unknown keys fail. */
-        values: SearchInput<SearchOf<NoInfer<Target>>, SearchKeys>;
-    } | (RequiredKeys<SearchOf<Target>> extends never ? {
-        /** Remove all incoming query values; target required keys are forbidden. */
-        mode: "drop";
-    } : never) | (Preservable<SourceSearch, SearchOf<Target>> extends true ? {
-        /** Keep original query text, validating destination-declared cardinality/values. */
-        mode: "preserve";
-    } : never);
-    /** Explicit hash policy; preserved incoming names need not be declared. */
-    fragment: {
-        /** Keep the raw incoming hash, or remove it entirely. */
-        mode: "preserve" | "drop";
-    } | (FragmentsOf<Target> extends never ? never : {
-        /** Replace the incoming hash with an explicitly declared target name. */
-        mode: "replace";
-        /** A logical target fragment name without the `#` delimiter. */
-        value: FragmentsOf<Target>;
-    });
+type Redirect<SourceParams, Target extends AnyRoute, SearchKeys extends keyof SearchOf<Target>> = {
+  /** The already constructed target; generation requires a direct default import. */
+  to: Target;
+  /** Explicit query policy: preserve incoming text, drop it, or replace with values. */
+  search: {
+    /** Discard incoming queries and serialize explicit target-typed values. */
+    mode: "replace";
+    /** Any target search keys; unknown keys fail. */
+    values: SearchInput<SearchInputOf<NoInfer<Target>>, SearchKeys & keyof SearchInputOf<NoInfer<Target>>>;
+  } | {
+    /** Keep the original query text, or remove all incoming query values. */
+    mode: "preserve" | "drop";
+  };
+  /** Explicit hash policy; preserved incoming names need not be declared. */
+  fragment: {
+    /** Keep the raw incoming hash, or remove it entirely. */
+    mode: "preserve" | "drop";
+  } | (FragmentsOf<Target> extends never ? never : {
+    /** Replace the incoming hash with an explicitly declared target name. */
+    mode: "replace";
+    /** A logical target fragment name without the `#` delimiter. */
+    value: FragmentsOf<Target>;
+  });
 } & (Forwardable<SourceParams, ParamsOf<Target>> extends true ? {
-    /** Optional destination-key to source-key mapping; otherwise forward by name. */
-    params?: Mapping<SourceParams, ParamsOf<Target>>;
+  /** Optional destination-key to source-key mapping; otherwise forward by name. */
+  params?: Mapping<SourceParams, ParamsOf<Target>>;
 } : {
-    /** Required mapping of every destination path key to a compatible source key. */
-    params: Mapping<SourceParams, ParamsOf<Target>>;
+  /** Required mapping of every destination path key to a compatible source key. */
+  params: Mapping<SourceParams, ParamsOf<Target>>;
 });
 /**
  * Options inferred by `defineRoute`; Angular's structural route fields are excluded.
  * Local params/search cannot redeclare keys inherited from the parent.
  */
 type RouteConfig<Path extends string, Parent extends AnyRoute | undefined, Params extends Record<string, PathCodec>, Search extends CodecMap, Resolvers, Fragments extends readonly string[], Target extends AnyRoute | undefined, ReplacementKeys extends keyof SearchOf<Target>> = {
-    /** Genuine authored parent; pathless nodes retain inherited input ownership. */
-    parent?: Parent & (Parent extends Route<string, any, any, any, any, true> ? never : unknown);
-    /** Local search codecs; keys are required unless wrapped with optionalSearchParam. */
-    search?: Search & Record<Extract<keyof Search, keyof SearchOf<Parent>>, never>;
-    /** Local parsed-input resolvers; not snapshot-first native ResolveFn callbacks. */
-    resolve?: Resolvers & Record<PropertyKey, Resolver<EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>>> & {
-        __loozoAngularRouterRouteId?: never;
-    };
-    /** Local logical anchor names, never inherited; this does not enable scrolling. */
-    fragments?: Fragments;
-    /** Native rerun policy. Use paramsOrQueryParamsChange for query-dependent data. */
-    runGuardsAndResolvers?: RunGuardsAndResolvers;
-    /** Guards with declaring-parent inputs and Angular's native child snapshot. */
-    canActivateChild?: readonly ActivationGuard<EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>>[];
-    /** Native component-first guard functions/tokens, without automatic input parsing. */
-    canDeactivate?: Route$1["canDeactivate"];
-    /** Native route-scoped providers; provider factories are not run at declaration. */
-    providers?: Route$1["providers"];
-    /** Native static title or title resolver, not a parsed-input callback. */
-    title?: Route$1["title"];
-    /** Native static data; cannot set the reserved __loozoAngularRouterRouteId key. */
-    data?: Route$1["data"] & {
-        __loozoAngularRouterRouteId?: never;
-    };
+  /** Genuine authored parent; pathless nodes retain inherited input ownership. */
+  parent?: Parent & (Parent extends Route<string, any, any, any, any, true> ? never : unknown);
+  /** Local search codecs; a key is absent unless present and valid, or wrapped withFallback. */
+  search?: Search & Record<Extract<keyof Search, keyof SearchOf<Parent>>, never> & SyncCodecs<NoInfer<Search>>;
+  /** Local parsed-input resolvers; not snapshot-first native ResolveFn callbacks. */
+  resolve?: Resolvers & Record<PropertyKey, Resolver<EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>>> & {
+    __loozoAngularRouterRouteId?: never;
+  };
+  /** Local logical anchor names, never inherited; this does not enable scrolling. */
+  fragments?: Fragments;
+  /** Native rerun policy. Use paramsOrQueryParamsChange for query-dependent data. */
+  runGuardsAndResolvers?: RunGuardsAndResolvers;
+  /** Guards with declaring-parent inputs and Angular's native child snapshot. */
+  canActivateChild?: readonly ActivationGuard<EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>>[];
+  /** Native component-first guard functions/tokens, without automatic input parsing. */
+  canDeactivate?: Route$1["canDeactivate"];
+  /** Native route-scoped providers; provider factories are not run at declaration. */
+  providers?: Route$1["providers"];
+  /** A static title, or a parsed-input callback; not a snapshot-first native ResolveFn. */
+  title?: string | TitleResolver<EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>>;
+  /** Native static data; cannot set the reserved __loozoAngularRouterRouteId key. */
+  data?: Route$1["data"] & {
+    __loozoAngularRouterRouteId?: never;
+  };
 } & (PathNames<Path> extends never ? {
-    /** Paths without local placeholders cannot declare a params map. */
-    params?: never;
+  /** Paths without local placeholders cannot declare a params map. */
+  params?: never;
 } : {
-    /** Exactly the local placeholder names; catchall codecs apply per element. */
-    params: Params & Record<PathNames<Path>, PathCodec> & Record<Exclude<keyof Params, PathNames<Path>> | Extract<keyof Params, keyof ParamsOf<Parent>>, never>;
+  /** Exactly the local placeholder names; catchall codecs apply per element. */
+  params: Params & Record<PathNames<Path>, PathCodec> & Record<Exclude<keyof Params, PathNames<Path>> | Extract<keyof Params, keyof ParamsOf<Parent>>, never> & SyncCodecs<NoInfer<Params>>;
 }) & (Target extends AnyRoute ? {
-    /** Typed native redirect, incompatible with own canActivate/canMatch fields. */
-    redirect: Redirect<EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>, Target, ReplacementKeys>;
-    canActivate?: never;
-    canMatch?: never;
+  /** Typed native redirect, incompatible with own canActivate/canMatch/onInvalidParams fields. */
+  redirect: Redirect<EffectiveParams<Path, Params, Parent>, Target, ReplacementKeys>;
+  canActivate?: never;
+  canMatch?: never;
+  onInvalidParams?: never;
 } : {
-    redirect?: never;
-    /** Activation guards with effective inherited and local parsed inputs. */
-    canActivate?: readonly ActivationGuard<EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>>[];
-    /** Matching guards with local path params and effective search only. */
-    canMatch?: readonly MatchingGuard<LocalParams<Path, Params>, EffectiveSearch<Search, Parent>>[];
+  redirect?: never;
+  /**
+   * Decides what happens when this route's own path params fail to parse;
+   * without it the route doesn't match and Angular tries its next candidate.
+   * Only routes with local path params accept it.
+   */
+  onInvalidParams?: PathNames<Path> extends never ? never : InvalidParamsHandler;
+  /** Activation guards with effective inherited and local parsed inputs. */
+  canActivate?: readonly ActivationGuard<EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>>[];
+  /** Matching guards with local path params and effective search only. */
+  canMatch?: readonly MatchingGuard<LocalParams<Path, Params>, EffectiveSearch<Search, Parent>>[];
 });
-
 interface RouteMetadata {
-    readonly parent?: AnyRoute;
-    readonly localSegments: readonly Segment[];
-    readonly segments: readonly Segment[];
-    readonly localParams: Readonly<Record<string, ParamCodec<any>>>;
-    readonly localSearch: Readonly<Record<string, ParamCodec<any>>>;
-    readonly params: Readonly<Record<string, ParamCodec<any>>>;
-    readonly search: Readonly<Record<string, ParamCodec<any>>>;
-    readonly fragments: readonly string[];
-    readonly config: Readonly<Record<string, unknown>>;
+  readonly parent?: AnyRoute;
+  readonly localSegments: readonly Segment[];
+  readonly segments: readonly Segment[];
+  readonly localParams: Readonly<Record<string, ParamCodec<any>>>;
+  readonly localSearch: Readonly<Record<string, ParamCodec<any>>>;
+  readonly params: Readonly<Record<string, ParamCodec<any>>>;
+  readonly search: Readonly<Record<string, ParamCodec<any>>>;
+  readonly fragments: readonly string[];
+  readonly config: Readonly<Record<string, unknown>>;
 }
-declare function routeMetadata(route: unknown): RouteMetadata;
+export declare function routeMetadata(route: unknown): RouteMetadata;
 /**
  * Declares a nominal typed route without executing codecs or native callbacks.
  *
@@ -429,33 +452,32 @@ declare function routeMetadata(route: unknown): RouteMetadata;
  * generator-owned and cannot be overridden.
  * @returns A frozen route preserving inferred effective input and local data types.
  * @throws TypeError for invalid paths/configuration, missing or extra local
- * codecs, inherited key conflicts, or nongenuine parent/redirect routes.
+ * codecs, fallback codecs in path params, inherited key conflicts, or
+ * nongenuine parent/redirect routes.
  *
  * @example
  * ```ts
  * const product = defineRoute("products/$productId", {
  *   params: { productId: numberParam },
- *   search: { tab: optionalSearchParam(enumParam(["details", "reviews"])) },
+ *   search: { tab: withFallback(enumParam(["details", "reviews"]), "details") },
  *   fragments: ["summary", "reviews"],
  * });
  * ```
  */
-declare function defineRoute<const Path extends string, Parent extends AnyRoute | undefined = undefined, Params extends Record<string, PathCodec> = {}, Search extends CodecMap = {}, Resolvers extends Record<string, (...args: any[]) => unknown> = {}, const Fragments extends readonly string[] = [], Target extends AnyRoute | undefined = undefined, ReplacementKeys extends keyof SearchOf<NoInfer<Target>> = never>(path: Path & ValidPath<Path>, config: RouteConfig<Path, Parent, Params, Search, Resolvers, Fragments, Target, ReplacementKeys>): Route<Path, EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>, Resolvers, Fragments[number], CatchallName<Path> extends never ? false : true>;
-
+export declare function defineRoute<const Path extends string, Parent extends AnyRoute | undefined = undefined, Params extends Record<string, PathCodec> = {}, Search extends CodecMap = {}, Resolvers extends Record<string, (...args: any[]) => unknown> = {}, const Fragments extends readonly string[] = [], Target extends AnyRoute | undefined = undefined, ReplacementKeys extends keyof SearchOf<NoInfer<Target>> = never>(path: Path & ValidPath<Path>, config: RouteConfig<Path, Parent, Params, Search, Resolvers, Fragments, Target, ReplacementKeys>): Route<Path, EffectiveParams<Path, Params, Parent>, EffectiveSearch<Search, Parent>, Resolvers, Fragments[number], CatchallName<Path> extends never ? false : true>;
 /**
  * Synchronously serializes a route's explicit values into a root-relative URL.
  *
  * @remarks
  * Includes inherited path/search declarations, but only this route's fragment
- * names. Every effective path value and required search key must be supplied.
- * Optional-only search may be omitted; searchless/paramless routes forbid those
- * records. Catchalls require readonly arrays, including a valid empty array.
+ * names. Every effective path value must be supplied; any search key may be
+ * omitted. Searchless/paramless routes forbid those records. Catchalls require readonly arrays, including a valid empty array.
  * Values are never taken from a current navigation.
  *
  * Stringifies without calling parsers, guards, resolvers or redirects. Static
  * segments and logical values are component-encoded (also escaping parentheses),
- * so a dynamic slash becomes `%2F`. Search keys are globally sorted; optional
- * `undefined` values are omitted. An empty effective path produces `/`.
+ * so a dynamic slash becomes `%2F`. Search keys are globally sorted; omitted
+ * and `undefined` values are left out. An empty effective path produces `/`.
  * Redirect declarations serialize their source URL, not their redirect target.
  *
  * @param route - A genuine declaration from this physical package instance,
@@ -478,7 +500,5 @@ declare function defineRoute<const Path extends string, Parent extends AnyRoute
  * // /products/42#summary
  * ```
  */
-declare function createUrl<Target extends AnyRoute, SearchKeys extends keyof SearchOf<NoInfer<Target>> = never>(route: Target, values: UrlValues<NoInfer<Target>, SearchKeys>): string;
-
-export { booleanParam, codecPresence, createUrl, defineRoute, enumParam, nullableSearchParam, numberParam, optionalSearchParam, routeMetadata, stringParam };
-export type { AnyRoute, FragmentsOf, Inputs, ParamCodec, ParamsOf, Route, RouteMetadata, SearchOf, UrlValues };
+export declare function createUrl<Target extends AnyRoute, SearchKeys extends keyof SearchOf<NoInfer<Target>> = never>(route: Target, values: UrlValues<NoInfer<Target>, SearchKeys>): string;
+export type { AnyRoute, FragmentsOf, Inputs, ParamCodec, ParamsOf, Route, RouteMetadata, SearchOf, UrlValues };