@craft-ng/core 0.0.2 → 0.1.0

package/types/craft-ng-core.d.ts

@@ -1,5 +1,7 @@
 import * as _angular_core from '@angular/core';
-import { Signal, WritableSignal, ValueEqualityFn, Injector, InjectionToken, Provider, EventEmitter, Type, ResourceRef, ResourceOptions, ResourceStatus, ResourceLoaderParams, ResourceStreamingLoader } from '@angular/core';
+import { Signal, WritableSignal, ValueEqualityFn, Injector, InjectionToken, Provider, Type, EventEmitter, ResourceRef, ResourceOptions, ResourceStatus, ResourceLoaderParams, ResourceStreamingLoader } from '@angular/core';
+import { CompatFieldState, FieldState, ReadonlyArrayLike, MaybeFieldTree, Subfields, FieldTree, SchemaPathTree, PathKind, SchemaPath, SchemaPathRules, ValidationError } from '@angular/forms/signals';
+import { AbstractControl } from '@angular/forms';
 
 type ReadonlySource<T> = Signal<T | undefined> & {
     preserveLastValue: Signal<T | undefined>;
@@ -2293,7 +2295,7 @@ type MergeObjects<F extends unknown[], Acc = {}> = F extends [
     infer First,
     ...infer Rest
 ] ? First extends object ? MergeObjects<Rest, MergeObject<Acc, First>> : Prettify<Acc> : Prettify<Acc>;
-type InternalType<State, Params, Args, IsGroupedResource, IsMethod, Insertions, GroupIdentifier, SourceParams> = {
+type InternalType<State, Params, Args, IsGroupedResource, IsMethod, Insertions, GroupIdentifier, SourceParams, Exceptions extends ResourceExceptionConstraints> = {
     state: State;
     params: Params;
     args: Args;
@@ -2302,6 +2304,7 @@ type InternalType<State, Params, Args, IsGroupedResource, IsMethod, Insertions,
     isMethod?: IsMethod;
     insertions?: Insertions;
     sourceParams?: SourceParams;
+    exceptions: Exceptions;
 };
 /**
  * trick to combine multiple unions of objects into a single object
@@ -2427,8 +2430,8 @@ type ResourceByIdConfig<State, ResourceParams, GroupIdentifier extends string, F
 declare function resourceById<State, ResourceParams, GroupIdentifier extends string, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams>(config: ResourceByIdConfig<State, ResourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>): ResourceByIdRef<GroupIdentifier, State, ResourceParams>;
 
 type QueryAndMutationRecordConstraints = {
-    query: InternalType<unknown, unknown, unknown, unknown, boolean, unknown, unknown, unknown>;
-    mutation: InternalType<unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown>;
+    query: InternalType<unknown, unknown, unknown, unknown, boolean, unknown, unknown, unknown, ResourceExceptionConstraints>;
+    mutation: InternalType<unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, ResourceExceptionConstraints>;
 };
 type CustomReloadOnSpecificMutationStatus<QueryAndMutationRecord extends QueryAndMutationRecordConstraints> = (data: MergeObjects<[
     {
@@ -2485,6 +2488,46 @@ type FilterQueryById<QueryAndMutationRecord extends QueryAndMutationRecordConstr
     } : {}
 ]>) => boolean;
 
+declare const CRAFT_EXCEPTION_SYMBOL: unique symbol;
+type CraftExceptionMeta<Code extends string = string, Scope extends string | undefined = string | undefined, Identifier extends string | undefined = string | undefined> = {
+    code: Code;
+    scope?: Scope;
+    identifier?: Identifier;
+};
+type CraftExceptionResult<Meta extends CraftExceptionMeta, Payload = unknown> = {
+    readonly [CRAFT_EXCEPTION_SYMBOL]: true;
+    readonly payload: Payload;
+} & Meta & {
+    [key in Meta['code']]: Payload;
+};
+type CraftException<Meta extends CraftExceptionMeta = CraftExceptionMeta, Payload = unknown> = CraftExceptionResult<Meta, Payload>;
+type AnyCraftException = CraftExceptionResult<CraftExceptionMeta, unknown>;
+declare function craftException<const Code extends string, Scope extends string | undefined = undefined, Identifier extends string | undefined = undefined, Payload = undefined>(meta: {
+    code: Code;
+    scope?: Scope;
+    identifier?: Identifier;
+}, payload?: Payload): CraftExceptionResult<{
+    code: Code;
+    scope: Scope;
+    identifier?: Identifier;
+}, Payload>;
+declare function isCraftException(value: unknown): value is AnyCraftException;
+type StripCraftException<T> = Exclude<T, AnyCraftException>;
+type ExtractCraftException<T> = Extract<T, AnyCraftException>;
+type InsertMetaInCraftExceptionIfExists<Exception, Scope extends string | undefined, Identifier extends string | undefined | unknown> = Exception extends CraftExceptionResult<infer CraftExceptionMeta, infer Payload> ? [unknown] extends [Identifier] ? CraftExceptionResult<{
+    code: CraftExceptionMeta['code'];
+    scope: Scope;
+}, Payload> : [Identifier] extends [string] ? CraftExceptionResult<{
+    code: CraftExceptionMeta['code'];
+    scope: Scope;
+    identifier: Identifier;
+}, Payload> : CraftExceptionResult<{
+    code: CraftExceptionMeta['code'];
+    scope: Scope;
+}, Payload> : Exception;
+type ExtractCodeFromCraftResultUnion<T> = T extends CraftExceptionResult<infer E, any> ? E['code'] : never;
+type ExcludeByCode<T, C> = T extends CraftExceptionResult<infer E, any> ? E['code'] extends C ? never : T : never;
+
 type MutationConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams> = Omit<ResourceOptions<NoInfer<ResourceState>, Params>, 'params' | 'loader'> & ({
     /**
      * Used to generate a method in the store, when called will trigger the resource loader/stream.
@@ -2501,10 +2544,10 @@ type MutationConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdenti
      * A unique identifier for the resource, derived from the params.
      * It should be a string that uniquely identifies the resource based on the params.
      */
-    identifier?: (params: NoInfer<NonNullable<Params>>) => GroupIdentifier;
+    identifier?: (params: NoInfer<NonNullable<StripCraftException<Params>>>) => GroupIdentifier;
     loader: (param: ResourceLoaderParams<NonNullable<[
         unknown
-    ] extends [Params] ? NoInfer<SourceParams> : NoInfer<Params>>>) => Promise<ResourceState>;
+    ] extends [Params] ? NoInfer<StripCraftException<SourceParams>> : NoInfer<StripCraftException<Params>>>>) => Promise<ResourceState>;
     stream?: never;
 } | {
     /**
@@ -2519,14 +2562,14 @@ type MutationConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdenti
     method: ((args: ParamsArgs) => Params) | ReadonlySource<SourceParams>;
     loader?: never;
     fromResourceById?: never;
-    identifier?: (params: NoInfer<NonNullable<Params>>) => GroupIdentifier;
+    identifier?: (params: NoInfer<NonNullable<StripCraftException<Params>>>) => GroupIdentifier;
     /**
      * Loading function which returns a `Promise` of a signal of the resource's value for a given
      * request, which can change over time as new values are received from a stream.
      */
     stream: ResourceStreamingLoader<ResourceState, ResourceLoaderParams<NonNullable<[
         unknown
-    ] extends [Params] ? NoInfer<SourceParams> : NoInfer<Params>>>>;
+    ] extends [Params] ? NoInfer<StripCraftException<SourceParams>> : NoInfer<StripCraftException<Params>>>>>;
 } | {
     /**
      * Use it, when you need to bind a ResourceByIdRef to another ResourceByIdRef.
@@ -2542,14 +2585,14 @@ type MutationConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdenti
     params: (entity: ResourceRef<NoInfer<FromObjectState>>) => Params;
     loader?: never;
     method?: never;
-    identifier?: (params: NoInfer<NonNullable<Params>>) => GroupIdentifier;
+    identifier?: (params: NoInfer<NonNullable<StripCraftException<Params>>>) => GroupIdentifier;
     /**
      * Loading function which returns a `Promise` of a signal of the resource's value for a given
      * request, which can change over time as new values are received from a stream.
      */
     stream: ResourceStreamingLoader<ResourceState, ResourceLoaderParams<NonNullable<[
         unknown
-    ] extends [Params] ? NoInfer<SourceParams> : NoInfer<Params>>>>;
+    ] extends [Params] ? NoInfer<StripCraftException<SourceParams>> : NoInfer<StripCraftException<Params>>>>>;
 } | {
     /**
      * Use it, when you need to bind a ResourceByIdRef to another ResourceByIdRef.
@@ -2567,10 +2610,10 @@ type MutationConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdenti
      * A unique identifier for the resource, derived from the params.
      * It should be a string that uniquely identifies the resource based on the params.
      */
-    identifier?: (params: NoInfer<NonNullable<Params>>) => GroupIdentifier;
+    identifier?: (params: NoInfer<NonNullable<StripCraftException<Params>>>) => GroupIdentifier;
     loader: (param: ResourceLoaderParams<NonNullable<[
         unknown
-    ] extends [Params] ? NoInfer<SourceParams> : NoInfer<Params>>>) => Promise<ResourceState>;
+    ] extends [Params] ? NoInfer<StripCraftException<SourceParams>> : NoInfer<StripCraftException<Params>>>>) => Promise<ResourceState>;
     stream?: never;
 } | {
     fromResourceById?: never;
@@ -2583,14 +2626,14 @@ type MutationConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdenti
     params: (entity: ResourceRef<NoInfer<FromObjectState>>) => Params;
     loader?: never;
     method?: never;
-    identifier?: (params: NoInfer<NonNullable<Params>>) => GroupIdentifier;
+    identifier?: (params: NoInfer<NonNullable<StripCraftException<Params>>>) => GroupIdentifier;
     /**
      * Loading function which returns a `Promise` of a signal of the resource's value for a given
      * request, which can change over time as new values are received from a stream.
      */
     stream: ResourceStreamingLoader<ResourceState, ResourceLoaderParams<NonNullable<[
         unknown
-    ] extends [Params] ? NoInfer<SourceParams> : NoInfer<Params>>>>;
+    ] extends [Params] ? NoInfer<StripCraftException<SourceParams>> : NoInfer<StripCraftException<Params>>>>>;
 } | {
     /**
      * Use it, when you need to bind a ResourceByIdRef to another ResourceByIdRef.
@@ -2608,13 +2651,30 @@ type MutationConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdenti
      * A unique identifier for the resource, derived from the params.
      * It should be a string that uniquely identifies the resource based on the params.
      */
-    identifier?: (params: NoInfer<NonNullable<Params>>) => GroupIdentifier;
+    identifier?: (params: NoInfer<NonNullable<StripCraftException<Params>>>) => GroupIdentifier;
     loader: (param: ResourceLoaderParams<NonNullable<[
         unknown
-    ] extends [Params] ? NoInfer<SourceParams> : NoInfer<Params>>>) => Promise<ResourceState>;
+    ] extends [Params] ? NoInfer<StripCraftException<SourceParams>> : NoInfer<StripCraftException<Params>>>>) => Promise<ResourceState>;
     stream?: never;
 });
-type ResourceLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions> = {
+type HasDefinedException<MutationException extends ResourceExceptionConstraints> = [MutationException['params']] extends [never] ? [MutationException['loader']] extends [never] ? false : true : true;
+type ResourceLikeMutationExceptions<MutationException extends ResourceExceptionConstraints, GroupIdentifier = unknown> = HasDefinedException<MutationException> extends true ? {
+    hasException: Signal<HasDefinedException<MutationException>>;
+    exceptions: Signal<{
+        list: (InsertMetaInCraftExceptionIfExists<MutationException['params'], 'params', unknown> | InsertMetaInCraftExceptionIfExists<MutationException['loader'], 'loader', GroupIdentifier>)[];
+        params?: InsertMetaInCraftExceptionIfExists<MutationException['params'], 'params', unknown>;
+        loader?: InsertMetaInCraftExceptionIfExists<MutationException['loader'], 'loader', GroupIdentifier>;
+    }>;
+} : {};
+type ResourceByIdLikeMutationExceptions<MutationException extends ResourceExceptionConstraints, GroupIdentifier extends string> = {
+    hasException: Signal<boolean>;
+    exceptions: Signal<{
+        list: (InsertMetaInCraftExceptionIfExists<MutationException['params'], 'params', unknown> | InsertMetaInCraftExceptionIfExists<MutationException['loader'], 'loader', GroupIdentifier>)[];
+        params?: InsertMetaInCraftExceptionIfExists<MutationException['params'], 'params', unknown>;
+        loader: Partial<Record<GroupIdentifier, InsertMetaInCraftExceptionIfExists<MutationException['loader'], 'loader', GroupIdentifier>>>;
+    }>;
+};
+type ResourceLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, MutationException extends ResourceExceptionConstraints> = {
     type: 'resourceLike';
     kind: 'mutation';
 } & MergeObjects$1<[
@@ -2635,11 +2695,12 @@ type ResourceLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParams, I
         source: ReadonlySource<SourceParams>;
     },
     Insertions,
+    ResourceLikeMutationExceptions<MutationException>,
     {
         [key in `~InternalType`]: 'Used to avoid TS type erasure';
     }
 ]>;
-type ResourceByIdLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, GroupIdentifier> = {
+type ResourceByIdLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, GroupIdentifier, MutationException extends ResourceExceptionConstraints> = {
     type: 'resourceByGroupLike';
     kind: 'mutation';
 } & {
@@ -2653,14 +2714,14 @@ type ResourceByIdLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParam
      *
      * return the associated resource or undefined if not existing
      */
-    select: (id: GroupIdentifier) => {
+    select: (id: GroupIdentifier) => ({
         readonly value: Signal<Value | undefined>;
         readonly status: Signal<ResourceStatus>;
         readonly error: Signal<Error | undefined>;
         readonly isLoading: Signal<boolean>;
         readonly safeValue: Signal<Value | undefined>;
         hasValue(): boolean;
-    } | undefined;
+    } & ResourceLikeMutationExceptions<MutationException, GroupIdentifier>) | undefined;
 } & MergeObjects$1<[
     Insertions,
     IsMethod extends true ? {
@@ -2668,21 +2729,48 @@ type ResourceByIdLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParam
     } : {
         source: ReadonlySource<SourceParams>;
     },
-    ResourceByIdRef<GroupIdentifier & string, Value, Params>
+    ResourceByIdRef<GroupIdentifier & string, Value, Params>,
+    [
+        GroupIdentifier
+    ] extends [string] ? ResourceByIdLikeMutationExceptions<MutationException, GroupIdentifier> : {}
 ]>;
-type MutationRef<Value, Params, ArgParams, Insertions, IsMethod, SourceParams, GroupIdentifier> = [unknown] extends [GroupIdentifier] ? ResourceLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions> : ResourceByIdLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, GroupIdentifier>;
-type MutationOutput<State extends object | undefined, Params, ArgParams, SourceParams, GroupIdentifier, Insertions> = MutationRef<State, Params, ArgParams, Insertions, [
+type MutationRef<Value, Params, ArgParams, Insertions, IsMethod, SourceParams, GroupIdentifier, MutationExceptions extends ResourceExceptionConstraints = ResourceExceptionConstraints> = [unknown] extends [GroupIdentifier] ? ResourceLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, MutationExceptions> : ResourceByIdLikeMutationRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, GroupIdentifier, MutationExceptions>;
+type MutationOutput<State extends object | undefined, Params, ArgParams, SourceParams, GroupIdentifier, Insertions, MutationExceptions extends ResourceExceptionConstraints> = MutationRef<StripCraftException<State>, StripCraftException<Params>, ArgParams, Insertions, [
     unknown
 ] extends [ArgParams] ? false : true, // ! force to method to have one arg minimum, we can not compare SourceParams type, because it also infer Params
-SourceParams, GroupIdentifier>;
-declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>): MutationOutput<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, {}>;
-declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion1>): MutationOutput<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, Insertion1>;
-declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion2, Insertion1>): MutationOutput<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2>;
-declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion3, Insertion1 & Insertion2>): MutationOutput<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3>;
-declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>): MutationOutput<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4>;
-declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>): MutationOutput<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>;
-declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>): MutationOutput<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>;
-declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<MutationState>, NoInfer<MutationParams>, Insertion7, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>): MutationOutput<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>;
+SourceParams, GroupIdentifier, MutationExceptions>;
+declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<MutationParams>;
+    loader: ExtractCraftException<MutationState>;
+}>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>): MutationOutput<StripCraftException<MutationState>, StripCraftException<MutationParams>, MutationArgsParams, StripCraftException<MutationParams>, GroupIdentifier, {}, Exceptions>;
+declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<MutationParams>;
+    loader: ExtractCraftException<MutationState>;
+}>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion1, {}>): MutationOutput<StripCraftException<MutationState>, StripCraftException<MutationParams>, MutationArgsParams, StripCraftException<MutationParams>, GroupIdentifier, Insertion1, Exceptions>;
+declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<MutationParams>;
+    loader: ExtractCraftException<MutationState>;
+}>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion2, Insertion1>): MutationOutput<StripCraftException<MutationState>, StripCraftException<MutationParams>, MutationArgsParams, StripCraftException<MutationParams>, GroupIdentifier, Insertion1 & Insertion2, Exceptions>;
+declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<MutationParams>;
+    loader: ExtractCraftException<MutationState>;
+}>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>): MutationOutput<StripCraftException<MutationState>, StripCraftException<MutationParams>, MutationArgsParams, StripCraftException<MutationParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3, Exceptions>;
+declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<MutationParams>;
+    loader: ExtractCraftException<MutationState>;
+}>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>): MutationOutput<StripCraftException<MutationState>, StripCraftException<MutationParams>, MutationArgsParams, StripCraftException<MutationParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4, Exceptions>;
+declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<MutationParams>;
+    loader: ExtractCraftException<MutationState>;
+}>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>): MutationOutput<StripCraftException<MutationState>, StripCraftException<MutationParams>, MutationArgsParams, StripCraftException<MutationParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5, Exceptions>;
+declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<MutationParams>;
+    loader: ExtractCraftException<MutationState>;
+}>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>): MutationOutput<StripCraftException<MutationState>, StripCraftException<MutationParams>, MutationArgsParams, StripCraftException<MutationParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6, Exceptions>;
+declare function mutation<MutationState extends object | undefined, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<MutationParams>;
+    loader: ExtractCraftException<MutationState>;
+}>(mutationConfig: MutationConfig<MutationState, MutationParams, MutationArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<MutationState>>, NoInfer<StripCraftException<MutationParams>>, Exceptions, Insertion7, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>): MutationOutput<StripCraftException<MutationState>, StripCraftException<MutationParams>, MutationArgsParams, StripCraftException<MutationParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7, Exceptions>;
 
 interface QueryParamNavigationOptions$1 {
     queryParamsHandling?: 'merge' | 'preserve' | '';
@@ -2691,20 +2779,32 @@ interface QueryParamNavigationOptions$1 {
     skipLocationChange?: boolean;
 }
 type QueryParamsToState<QueryParamConfigs> = {
-    [K in keyof QueryParamConfigs]: 'parse' extends keyof QueryParamConfigs[K] ? QueryParamConfigs[K]['parse'] extends (value: string) => infer U ? U : 'Error1: QueryParamsToState' : 'Error2: QueryParamsToState';
+    [K in keyof QueryParamConfigs]: 'parse' extends keyof QueryParamConfigs[K] ? QueryParamConfigs[K]['parse'] extends (value: string) => infer U ? StripCraftException<U> : 'Error1: QueryParamsToState' : 'Error2: QueryParamsToState';
+};
+type QueryParamParseExceptionsByKey<QueryParamsType> = QueryParamsType extends Record<string, QueryParamConfig<unknown>> ? {
+    [K in keyof QueryParamsType]: InsertMetaInCraftExceptionIfExists<ExtractCraftException<ReturnType<QueryParamsType[K]['parse']>>, 'parse', K & string>;
+} : Record<string, never>;
+type QueryParamParseExceptionUnion<QueryParamsType> = QueryParamParseExceptionsByKey<QueryParamsType>[keyof QueryParamParseExceptionsByKey<QueryParamsType>];
+type QueryParamExceptions<QueryParamsType> = {
+    list: QueryParamParseExceptionUnion<QueryParamsType>[];
+    parse: Partial<QueryParamParseExceptionsByKey<QueryParamsType>>;
 };
 type QueryParamOutput<QueryParamsType, Insertions, QueryParamsState> = Signal<QueryParamsState> & MergeObjects<[
     {
         [K in keyof QueryParamsState]: Signal<QueryParamsState[K]>;
     },
     IsEmptyObject<Insertions> extends true ? {} : FilterSource<Insertions>,
+    {
+        hasException: Signal<boolean>;
+        exceptions: Signal<QueryParamExceptions<QueryParamsType>>;
+    },
     {
         _config: QueryParamsType;
     }
 ]>;
 interface QueryParamConfig<T = unknown> {
-    fallbackValue: NoInfer<T>;
     parse: (value: string) => T;
+    fallbackValue: NoInfer<T>;
     serialize: (value: NoInfer<T>) => string;
 }
 /**
@@ -2784,6 +2884,32 @@ interface QueryParamConfig<T = unknown> {
  *
  * myQueryParams.goTo(5); // Custom method from insertion
  * ```
+ *
+ * @example
+ * Parse exceptions with `craftException`
+ * ```ts
+ * import { craftException, queryParam } from '@craft-ng/core';
+ *
+ * const mode = queryParam({
+ *   state: {
+ *     mode: {
+ *       fallbackValue: 'success' as const,
+ *       parse: (value: string) =>
+ *         value === 'success'
+ *           ? ('success' as const)
+ *           : craftException(
+ *               { code: 'INVALID_MODE_FROM_URL' },
+ *               { received: value },
+ *             ),
+ *       serialize: (value) => String(value),
+ *     },
+ *   },
+ * });
+ *
+ * console.log(mode.mode()); // fallbackValue when parse exception occurs
+ * console.log(mode.hasException()); // true/false
+ * console.log(mode.exceptions().parse.mode?.INVALID_MODE_FROM_URL);
+ * ```
  */
 declare function queryParam<QueryParamsType extends Record<string, QueryParamConfig<unknown>>, QueryParamsState = Prettify<QueryParamsToState<QueryParamsType>>>(config: {
     state: QueryParamsType;
@@ -2804,7 +2930,7 @@ interface QueryParamNavigationOptions {
     replaceUrl?: boolean;
     skipLocationChange?: boolean;
 }
-type MutationResourceByIdRefHelper<QueryAndMutationRecord extends QueryAndMutationRecordConstraints> = ResourceByIdLikeMutationRef<QueryAndMutationRecord['mutation']['state'], QueryAndMutationRecord['mutation']['params'], QueryAndMutationRecord['mutation']['isMethod'], QueryAndMutationRecord['mutation']['args'], QueryAndMutationRecord['mutation']['sourceParams'], QueryAndMutationRecord['mutation']['insertions'], QueryAndMutationRecord['mutation']['groupIdentifier']>;
+type MutationResourceByIdRefHelper<QueryAndMutationRecord extends QueryAndMutationRecordConstraints> = ResourceByIdLikeMutationRef<QueryAndMutationRecord['mutation']['state'], QueryAndMutationRecord['mutation']['params'], QueryAndMutationRecord['mutation']['isMethod'], QueryAndMutationRecord['mutation']['args'], QueryAndMutationRecord['mutation']['sourceParams'], QueryAndMutationRecord['mutation']['insertions'], QueryAndMutationRecord['mutation']['groupIdentifier'], QueryAndMutationRecord['mutation']['exceptions']>;
 type UpdateData<QueryAndMutationRecord extends QueryAndMutationRecordConstraints> = MergeObjects<[
     {
         queryResource: CraftResourceRef<QueryAndMutationRecord['query']['state'], QueryAndMutationRecord['query']['params']>;
@@ -2825,9 +2951,7 @@ type QueryDeclarativeEffect<QueryAndMutationRecord extends QueryAndMutationRecor
         /**
          * Run when the mutation is in loading state.
          */
-        optimisticUpdate?: (data: UpdateData<QueryAndMutationRecord> & {
-            testData: QueryAndMutationRecord['query']['groupIdentifier'];
-        }) => QueryAndMutationRecord['query']['state'];
+        optimisticUpdate?: (data: UpdateData<QueryAndMutationRecord>) => QueryAndMutationRecord['query']['state'];
         /**
          * Run when the mutation is in loaded state.
          */
@@ -2856,34 +2980,57 @@ type QueryDeclarativeEffect<QueryAndMutationRecord extends QueryAndMutationRecor
         filter: FilterQueryById<QueryAndMutationRecord>;
     } : {}
 ]>;
-type InsertionParams<ResourceState extends object | undefined, ResourceParams, PreviousInsertionsOutputs> = {
+type ResourceExceptionConstraints = {
+    params: unknown;
+    loader: unknown;
+};
+type InsertionParams<ResourceState extends object | undefined, ResourceParams, Exceptions extends ResourceExceptionConstraints, PreviousInsertionsOutputs> = {
+    test: ResourceState;
     state: Signal<ResourceState>;
     set: (newState: ResourceState) => ResourceState;
     update: (updateFn: (currentState: ResourceState) => ResourceState) => ResourceState;
+    patch: (patchFn: (currentState: ResourceState) => Partial<ResourceState>) => ResourceState;
     insertions: keyof PreviousInsertionsOutputs extends string ? PreviousInsertionsOutputs : never;
     resource: CraftResourceRef<ResourceState, ResourceParams>;
     resourceParamsSrc: WritableSignal<ResourceParams | undefined>;
+    hasException: Signal<boolean>;
+    exceptions: Signal<{
+        list: (InsertMetaInCraftExceptionIfExists<Exceptions['params'], 'params', unknown> | InsertMetaInCraftExceptionIfExists<Exceptions['loader'], 'loader', unknown>)[];
+        params?: InsertMetaInCraftExceptionIfExists<Exceptions['params'], 'params', unknown>;
+        loader?: InsertMetaInCraftExceptionIfExists<Exceptions['loader'], 'loader', unknown>;
+    }>;
     resourceById: never;
     identifier: never;
 };
-type InsertionByIdParams<GroupIdentifier extends string, ResourceState extends object | undefined, ResourceParams, PreviousInsertionsOutputs> = {
+type InsertionByIdParams<GroupIdentifier extends string, ResourceState extends object | undefined, ResourceParams, Exceptions extends ResourceExceptionConstraints, PreviousInsertionsOutputs> = {
     state: Signal<ResourceState>;
     set: (newState: ResourceState) => ResourceState;
     update: (updateFn: (currentState: ResourceState) => ResourceState) => ResourceState;
+    patch: (patchFn: (currentState: ResourceState) => Partial<ResourceState>) => ResourceState;
     insertions: keyof PreviousInsertionsOutputs extends string ? PreviousInsertionsOutputs : never;
     resourceById: ResourceByIdRef<GroupIdentifier, ResourceState, ResourceParams>;
     resource: never;
     resourceParamsSrc: WritableSignal<ResourceParams | undefined>;
+    hasException: Signal<boolean>;
+    exceptions: Signal<{
+        list: (InsertMetaInCraftExceptionIfExists<Exceptions['params'], 'params', unknown> | InsertMetaInCraftExceptionIfExists<Exceptions['loader'], 'loader', GroupIdentifier>)[];
+        params?: InsertMetaInCraftExceptionIfExists<Exceptions['params'], 'params', unknown>;
+        loader: Partial<Record<GroupIdentifier, InsertMetaInCraftExceptionIfExists<Exceptions['loader'], 'loader', GroupIdentifier>>>;
+    }>;
     identifier: (params: NonNullable<ResourceParams>) => GroupIdentifier;
 };
 type InsertionStateFactoryContext<StateType, PreviousInsertionsOutputs> = {
     state: Signal<StateType>;
     set: (newState: StateType) => StateType;
     update: (updateFn: (currentState: StateType) => StateType) => StateType;
+    patch: (patchFn: (currentState: StateType) => Partial<StateType>) => StateType;
     insertions: keyof PreviousInsertionsOutputs extends string ? PreviousInsertionsOutputs : never;
 };
 type QueryParamMethods<QueryParamsState> = {
-    patch: (params: Partial<QueryParamsState>, options?: QueryParamNavigationOptions) => void;
+    patch: {
+        (patchFn: (currentParams: QueryParamsState) => Partial<QueryParamsState>, options?: QueryParamNavigationOptions): QueryParamsState;
+        (params: Partial<QueryParamsState>, options?: QueryParamNavigationOptions): QueryParamsState;
+    };
     reset: (options?: QueryParamNavigationOptions) => void;
     set: (params: QueryParamsState, options?: QueryParamNavigationOptions) => QueryParamsState;
     update: (updateFn: (currentParams: QueryParamsState) => QueryParamsState, options?: QueryParamNavigationOptions) => QueryParamsState;
@@ -2891,14 +3038,16 @@ type QueryParamMethods<QueryParamsState> = {
 type InsertionQueryParamsFactoryContext<QueryParamsType, PreviousInsertionsOutputs, QueryParamsState = Prettify<QueryParamsToState<QueryParamsType>>> = QueryParamMethods<QueryParamsState> & {
     state: Signal<QueryParamsState>;
     config: QueryParamsType;
+    hasException: Signal<boolean>;
+    exceptions: Signal<QueryParamExceptions<QueryParamsType>>;
     insertions: keyof PreviousInsertionsOutputs extends string ? PreviousInsertionsOutputs : never;
 };
-type InsertionResourceFactoryContext<GroupIdentifier, ResourceState extends object | undefined, ResourceParams, PreviousInsertionsOutputs> = [unknown] extends [GroupIdentifier] ? InsertionParams<ResourceState, ResourceParams, PreviousInsertionsOutputs> : InsertionByIdParams<GroupIdentifier & string, ResourceState, ResourceParams, PreviousInsertionsOutputs>;
-type InsertionsResourcesFactory<GroupIdentifier, ResourceState extends object | undefined, ResourceParams, InsertionsOutputs, PreviousInsertionsOutputs = {}> = (context: InsertionResourceFactoryContext<GroupIdentifier, ResourceState, ResourceParams, PreviousInsertionsOutputs>) => InsertionsOutputs;
+type InsertionResourceFactoryContext<GroupIdentifier, ResourceState extends object | undefined, ResourceParams, Exceptions extends ResourceExceptionConstraints, PreviousInsertionsOutputs> = [unknown] extends [GroupIdentifier] ? InsertionParams<ResourceState, ResourceParams, Exceptions, PreviousInsertionsOutputs> : InsertionByIdParams<GroupIdentifier & string, ResourceState, ResourceParams, Exceptions, PreviousInsertionsOutputs>;
+type InsertionsResourcesFactory<GroupIdentifier, ResourceState extends object | undefined, ResourceParams, Exceptions extends ResourceExceptionConstraints, InsertionsOutputs, PreviousInsertionsOutputs = {}> = (context: InsertionResourceFactoryContext<GroupIdentifier, ResourceState, ResourceParams, Exceptions, PreviousInsertionsOutputs>) => InsertionsOutputs;
 type InsertionsStateFactory<State, InsertionsOutputs, PreviousInsertionsOutputs = {}> = (context: InsertionStateFactoryContext<State, PreviousInsertionsOutputs>) => InsertionsOutputs;
 type InsertionsQueryParamsFactory<QueryParamsType, InsertionsOutputs, PreviousInsertionsOutputs = {}> = (context: InsertionQueryParamsFactoryContext<QueryParamsType, PreviousInsertionsOutputs>) => InsertionsOutputs;
 
-type AsyncProcessRef<Value, ArgParams, Params, Insertions, IsMethod, SourceParams, GroupIdentifier> = MergeObjects$1<[
+type AsyncProcessRef<Value, ArgParams, Params, Insertions, IsMethod, SourceParams, GroupIdentifier, AsyncProcessExceptions extends AsyncProcessExceptionConstraints = AsyncProcessExceptionConstraints> = MergeObjects$1<[
     [
         unknown
     ] extends [GroupIdentifier] ? {
@@ -2908,7 +3057,7 @@ type AsyncProcessRef<Value, ArgParams, Params, Insertions, IsMethod, SourceParam
         readonly isLoading: Signal<boolean>;
         readonly safeValue: Signal<Value | undefined>;
         hasValue(): boolean;
-    } : {},
+    } & ResourceLikeAsyncProcessExceptions<AsyncProcessExceptions> : {},
     Insertions,
     IsMethod extends true ? {
         method: (args: ArgParams) => Params;
@@ -2926,15 +3075,15 @@ type AsyncProcessRef<Value, ArgParams, Params, Insertions, IsMethod, SourceParam
          *
          * return the associated resource or undefined if not existing
          */
-        select: (id: GroupIdentifier) => {
+        select: (id: GroupIdentifier) => ({
             readonly value: Signal<Value | undefined>;
             readonly status: Signal<ResourceStatus>;
             readonly error: Signal<Error | undefined>;
             readonly isLoading: Signal<boolean>;
             readonly safeValue: Signal<Value | undefined>;
             hasValue(): boolean;
-        } | undefined;
-    }
+        } & ResourceLikeAsyncProcessExceptions<AsyncProcessExceptions, GroupIdentifier>) | undefined;
+    } & ([GroupIdentifier] extends [string] ? ResourceByIdLikeAsyncProcessExceptions<AsyncProcessExceptions, GroupIdentifier> : {})
 ]>;
 type AsyncProcessConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdentifier> = Omit<ResourceOptions<NoInfer<ResourceState>, Params>, 'params' | 'loader'> & ({
     /**
@@ -2947,29 +3096,49 @@ type AsyncProcessConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupId
      * A unique identifier for the resource, derived from the params.
      * It should be a string that uniquely identifies the resource based on the params.
      */
-    identifier?: (params: NoInfer<NonNullable<Params>>) => GroupIdentifier;
+    identifier?: (params: NoInfer<NonNullable<StripCraftException<Params>>>) => GroupIdentifier;
     loader: (param: ResourceLoaderParams<NonNullable<[
         unknown
-    ] extends [Params] ? NoInfer<SourceParams> : NoInfer<Params>>>) => Promise<ResourceState>;
+    ] extends [Params] ? NoInfer<StripCraftException<SourceParams>> : NoInfer<StripCraftException<Params>>>>) => Promise<ResourceState>;
     stream?: never;
     preservePreviousValue?: () => boolean;
 } | {
     method: ((args: ParamsArgs) => Params) | ReadonlySource<SourceParams>;
     loader?: never;
-    identifier?: (params: NoInfer<NonNullable<Params>>) => GroupIdentifier;
+    identifier?: (params: NoInfer<NonNullable<StripCraftException<Params>>>) => GroupIdentifier;
     /**
      * Loading function which returns a `Promise` of a signal of the resource's value for a given
      * request, which can change over time as new values are received from a stream.
      */
     stream: ResourceStreamingLoader<ResourceState, ResourceLoaderParams<NonNullable<[
         unknown
-    ] extends [Params] ? NoInfer<SourceParams> : NoInfer<Params>>>>;
+    ] extends [Params] ? NoInfer<StripCraftException<SourceParams>> : NoInfer<StripCraftException<Params>>>>>;
     preservePreviousValue?: () => boolean;
 });
-type AsyncProcessOutput<State extends object | undefined, Params, ArgParams, SourceParams, GroupIdentifier, Insertions> = AsyncProcessRef<State, ArgParams, Params, Insertions, [
+type AsyncProcessExceptionConstraints = {
+    params: AnyCraftException;
+    loader: AnyCraftException;
+};
+type ResourceLikeAsyncProcessExceptions<AsyncProcessException extends AsyncProcessExceptionConstraints = AsyncProcessExceptionConstraints, GroupIdentifier = unknown> = {
+    hasException: Signal<boolean>;
+    exceptions: Signal<{
+        list: (InsertMetaInCraftExceptionIfExists<AsyncProcessException['params'], 'params', GroupIdentifier> | InsertMetaInCraftExceptionIfExists<AsyncProcessException['loader'], 'loader', GroupIdentifier>)[];
+        params?: InsertMetaInCraftExceptionIfExists<AsyncProcessException['params'], 'params', unknown>;
+        loader?: InsertMetaInCraftExceptionIfExists<AsyncProcessException['loader'], 'loader', GroupIdentifier>;
+    }>;
+};
+type ResourceByIdLikeAsyncProcessExceptions<AsyncProcessException extends AsyncProcessExceptionConstraints = AsyncProcessExceptionConstraints, GroupIdentifier extends string = string> = {
+    hasException: Signal<boolean>;
+    exceptions: Signal<{
+        list: (InsertMetaInCraftExceptionIfExists<AsyncProcessException['params'], 'params', unknown> | InsertMetaInCraftExceptionIfExists<AsyncProcessException['loader'], 'loader', GroupIdentifier>)[];
+        params?: InsertMetaInCraftExceptionIfExists<AsyncProcessException['params'], 'params', unknown>;
+        loader: Partial<Record<GroupIdentifier, InsertMetaInCraftExceptionIfExists<AsyncProcessException['loader'], 'loader', GroupIdentifier>>>;
+    }>;
+};
+type AsyncProcessOutput<State extends object | undefined, Params, ArgParams, SourceParams, GroupIdentifier, Insertions, AsyncProcessExceptions extends AsyncProcessExceptionConstraints> = AsyncProcessRef<StripCraftException<State>, ArgParams, StripCraftException<Params>, Insertions, [
     unknown
 ] extends [ArgParams] ? false : true, // ! force to method to have one arg minimum, we can not compare SourceParams type, because it also infer Params
-SourceParams, GroupIdentifier>;
+SourceParams, GroupIdentifier, AsyncProcessExceptions>;
 /**
  * Creates an async method that manages asynchronous operations with automatic state tracking.
  *
@@ -3076,6 +3245,36 @@ SourceParams, GroupIdentifier>;
  * ```
  *
  * @example
+ * Business exceptions with `craftException`
+ * ```ts
+ * import { asyncProcess, craftException } from '@craft-ng/core';
+ *
+ * const loadUser = asyncProcess({
+ *   method: (value: string) =>
+ *     value.length < 3
+ *       ? craftException(
+ *           { code: 'SEARCH_TERM_TOO_SHORT' },
+ *           { min: 3, received: value.length },
+ *         )
+ *       : value,
+ *   loader: async ({ params }) =>
+ *     params === 'blocked'
+ *       ? craftException(
+ *           { code: 'USER_ACCESS_FORBIDDEN' },
+ *           { id: params },
+ *         )
+ *       : { id: params, name: 'John Doe' },
+ * });
+ *
+ * loadUser.method('ab');
+ * console.log(loadUser.hasException()); // true
+ * console.log(loadUser.exceptions().params?.SEARCH_TERM_TOO_SHORT);
+ *
+ * loadUser.method('blocked');
+ * console.log(loadUser.exceptions().loader?.USER_ACCESS_FORBIDDEN);
+ * ```
+ *
+ * @example
  * Async method with identifier for parallel operations
  * ```ts
  * const delayById = asyncProcess({
@@ -3116,14 +3315,38 @@ SourceParams, GroupIdentifier>;
  *
  * ```
  */
-declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>): AsyncProcessOutput<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, {}>;
-declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion1>): AsyncProcessOutput<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1>;
-declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion2, Insertion1>): AsyncProcessOutput<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2>;
-declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion3, Insertion1 & Insertion2>): AsyncProcessOutput<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3>;
-declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3, Insertion4>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>): AsyncProcessOutput<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4>;
-declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>): AsyncProcessOutput<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>;
-declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>): AsyncProcessOutput<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>;
-declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<AsyncProcesstate>, NoInfer<AsyncProcessParams>, Insertion7, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>): AsyncProcessOutput<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>;
+declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Exceptions extends AsyncProcessExceptionConstraints = {
+    params: ExtractCraftException<AsyncProcessParams>;
+    loader: ExtractCraftException<AsyncProcesstate>;
+}>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>): AsyncProcessOutput<StripCraftException<AsyncProcesstate>, StripCraftException<AsyncProcessParams>, AsyncProcessArgsParams, StripCraftException<AsyncProcessParams>, GroupIdentifier, {}, Exceptions>;
+declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Exceptions extends AsyncProcessExceptionConstraints = {
+    params: ExtractCraftException<AsyncProcessParams>;
+    loader: ExtractCraftException<AsyncProcesstate>;
+}>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion1, {}>): AsyncProcessOutput<StripCraftException<AsyncProcesstate>, StripCraftException<AsyncProcessParams>, AsyncProcessArgsParams, StripCraftException<AsyncProcessParams>, GroupIdentifier, Insertion1, Exceptions>;
+declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Exceptions extends AsyncProcessExceptionConstraints = {
+    params: ExtractCraftException<AsyncProcessParams>;
+    loader: ExtractCraftException<AsyncProcesstate>;
+}>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion2, Insertion1>): AsyncProcessOutput<StripCraftException<AsyncProcesstate>, StripCraftException<AsyncProcessParams>, AsyncProcessArgsParams, StripCraftException<AsyncProcessParams>, GroupIdentifier, Insertion1 & Insertion2, Exceptions>;
+declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3, Exceptions extends AsyncProcessExceptionConstraints = {
+    params: ExtractCraftException<AsyncProcessParams>;
+    loader: ExtractCraftException<AsyncProcesstate>;
+}>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>): AsyncProcessOutput<StripCraftException<AsyncProcesstate>, StripCraftException<AsyncProcessParams>, AsyncProcessArgsParams, StripCraftException<AsyncProcessParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3, Exceptions>;
+declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3, Insertion4, Exceptions extends AsyncProcessExceptionConstraints = {
+    params: ExtractCraftException<AsyncProcessParams>;
+    loader: ExtractCraftException<AsyncProcesstate>;
+}>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>): AsyncProcessOutput<StripCraftException<AsyncProcesstate>, StripCraftException<AsyncProcessParams>, AsyncProcessArgsParams, StripCraftException<AsyncProcessParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4, Exceptions>;
+declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Exceptions extends AsyncProcessExceptionConstraints = {
+    params: ExtractCraftException<AsyncProcessParams>;
+    loader: ExtractCraftException<AsyncProcesstate>;
+}>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>): AsyncProcessOutput<StripCraftException<AsyncProcesstate>, StripCraftException<AsyncProcessParams>, AsyncProcessArgsParams, StripCraftException<AsyncProcessParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5, Exceptions>;
+declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Exceptions extends AsyncProcessExceptionConstraints = {
+    params: ExtractCraftException<AsyncProcessParams>;
+    loader: ExtractCraftException<AsyncProcesstate>;
+}>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>): AsyncProcessOutput<StripCraftException<AsyncProcesstate>, StripCraftException<AsyncProcessParams>, AsyncProcessArgsParams, StripCraftException<AsyncProcessParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6, Exceptions>;
+declare function asyncProcess<AsyncProcesstate extends object | undefined, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, Exceptions extends AsyncProcessExceptionConstraints = {
+    params: ExtractCraftException<AsyncProcessParams>;
+    loader: ExtractCraftException<AsyncProcesstate>;
+}>(AsyncProcessConfig: AsyncProcessConfig<AsyncProcesstate, AsyncProcessParams, AsyncProcessArgsParams, SourceParams, GroupIdentifier>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<AsyncProcesstate>>, NoInfer<StripCraftException<AsyncProcessParams>>, Exceptions, Insertion7, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>): AsyncProcessOutput<StripCraftException<AsyncProcesstate>, StripCraftException<AsyncProcessParams>, AsyncProcessArgsParams, StripCraftException<AsyncProcessParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7, Exceptions>;
 
 /**
  * Creates a derived readonly source that transforms values from an origin source using a computation function.
@@ -5175,7 +5398,7 @@ type QueryConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdentifie
      * If a request function isn't provided, the loader won't rerun unless the resource is reloaded.
      */
     params: () => Params;
-    loader: (param: NoInfer<ResourceLoaderParams<Params>>) => Promise<ResourceState>;
+    loader: (param: NoInfer<ResourceLoaderParams<StripCraftException<Params>>>) => Promise<ResourceState>;
     method?: never;
     fromResourceById?: never;
     stream?: never;
@@ -5194,7 +5417,9 @@ type QueryConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdentifie
      * It also accepts a ReadonlySource<SourceParams> to connect the query params to an external signal source.
      */
     method: ((args: ParamsArgs) => Params) | ReadonlySource<SourceParams>;
-    loader: (param: NoInfer<ResourceLoaderParams<Params>>) => Promise<ResourceState>;
+    loader: (param: ResourceLoaderParams<NonNullable<[
+        unknown
+    ] extends [Params] ? NoInfer<StripCraftException<SourceParams>> : NoInfer<StripCraftException<Params>>>>) => Promise<ResourceState>;
     params?: never;
     fromResourceById?: never;
     stream?: never;
@@ -5259,7 +5484,7 @@ type QueryConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdentifie
      * A unique identifier for the resource, derived from the params.
      * It should be a string that uniquely identifies the resource based on the params.
      */
-    identifier?: (params: NoInfer<NonNullable<Params>>) => GroupIdentifier;
+    identifier?: (params: NoInfer<NonNullable<StripCraftException<Params>>>) => GroupIdentifier;
     /**
      * Under the hood, a resource is generated for each new identifier generated when the params source change.
      *
@@ -5280,7 +5505,23 @@ type QueryConfig<ResourceState, Params, ParamsArgs, SourceParams, GroupIdentifie
      */
     equalParams?: Params extends object ? 'default' | 'useIdentifier' | ((a: Params, b: Params, identifierFn: (params: Params) => GroupIdentifier) => boolean) : never;
 };
-type ResourceLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions> = {
+type ResourceLikeExceptions<QueryException extends ResourceExceptionConstraints, GroupIdentifier = unknown> = {
+    hasException: Signal<boolean>;
+    exceptions: Signal<{
+        list: (InsertMetaInCraftExceptionIfExists<QueryException['params'], 'params', unknown> | InsertMetaInCraftExceptionIfExists<QueryException['loader'], 'loader', GroupIdentifier>)[];
+        params?: InsertMetaInCraftExceptionIfExists<QueryException['params'], 'params', unknown>;
+        loader?: InsertMetaInCraftExceptionIfExists<QueryException['loader'], 'loader', GroupIdentifier>;
+    }>;
+};
+type ResourceByIdLikeExceptions<QueryException extends ResourceExceptionConstraints, GroupIdentifier extends string> = {
+    hasException: Signal<boolean>;
+    exceptions: Signal<{
+        list: (InsertMetaInCraftExceptionIfExists<QueryException['params'], 'params', unknown> | InsertMetaInCraftExceptionIfExists<QueryException['loader'], 'loader', GroupIdentifier>)[];
+        params?: InsertMetaInCraftExceptionIfExists<QueryException['params'], 'params', unknown>;
+        loader: Partial<Record<GroupIdentifier, InsertMetaInCraftExceptionIfExists<QueryException['loader'], 'loader', GroupIdentifier>>>;
+    }>;
+};
+type ResourceLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, QueryException extends ResourceExceptionConstraints> = {
     type: 'resourceLike';
     kind: 'query';
 } & MergeObjects$1<[
@@ -5299,16 +5540,17 @@ type ResourceLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams, Inse
         readonly resourceParamsSrc: WritableSignal<NoInfer<Params>>;
     },
     IsMethod extends true ? {
-        mutate: (args: ArgParams) => Params;
+        call: (args: ArgParams) => Params;
     } : {
         source: ReadonlySource<SourceParams>;
     },
     Insertions,
+    ResourceLikeExceptions<QueryException>,
     {
         [key in `~InternalType`]: 'Used to avoid TS type erasure';
     }
 ]>;
-type ResourceByIdLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, GroupIdentifier> = {
+type ResourceByIdLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, GroupIdentifier, QueryException extends ResourceExceptionConstraints> = {
     type: 'resourceByGroupLike';
     kind: 'query';
 } & {
@@ -5322,7 +5564,7 @@ type ResourceByIdLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams,
      *
      * return the associated resource or undefined if not existing
      */
-    select: (id: GroupIdentifier) => {
+    select: (id: GroupIdentifier) => ({
         readonly value: Signal<Value | undefined>;
         /**
          * Avoids to throw error when accessing value during error state
@@ -5332,39 +5574,66 @@ type ResourceByIdLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams,
         readonly error: Signal<Error | undefined>;
         readonly isLoading: Signal<boolean>;
         hasValue(): boolean;
-    } | undefined;
+    } & ResourceLikeExceptions<QueryException, GroupIdentifier>) | undefined;
 } & MergeObjects$1<[
     Insertions,
     IsMethod extends true ? {
-        mutate: (args: ArgParams) => Params;
+        call: (args: ArgParams) => Params;
     } : {
         source: ReadonlySource<SourceParams>;
     },
-    ResourceByIdRef<GroupIdentifier & string, Value, Params>
+    ResourceByIdRef<GroupIdentifier & string, Value, Params>,
+    [
+        GroupIdentifier
+    ] extends [string] ? ResourceByIdLikeExceptions<QueryException, GroupIdentifier> : {}
 ]>;
-type QueryRef<Value, Params, ArgParams, Insertions, IsMethod, SourceParams, GroupIdentifier> = [unknown] extends [GroupIdentifier] ? ResourceLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions> : ResourceByIdLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, GroupIdentifier>;
-type QueryOutput<State extends object | undefined, Params, ArgParams, SourceParams, GroupIdentifier, Insertions> = QueryRef<State, Params, ArgParams, Insertions, [
+type QueryRef<Value, Params, ArgParams, Insertions, IsMethod, SourceParams, GroupIdentifier, QueryExceptions extends ResourceExceptionConstraints> = [unknown] extends [GroupIdentifier] ? ResourceLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, QueryExceptions> : ResourceByIdLikeQueryRef<Value, Params, IsMethod, ArgParams, SourceParams, Insertions, GroupIdentifier, QueryExceptions>;
+type QueryOutput<State extends object | undefined, Params, ArgParams, SourceParams, GroupIdentifier, Insertions, QueryExceptions extends ResourceExceptionConstraints> = QueryRef<State, Params, ArgParams, Insertions, [
     unknown
 ] extends [ArgParams] ? false : true, // ! force to method to have one arg minimum, we can not compare SourceParams type, because it also infer Params
-SourceParams, GroupIdentifier>;
-declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>): QueryOutput<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, {}>;
-declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion1>): QueryOutput<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, Insertion1>;
-declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion2, Insertion1>): QueryOutput<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2>;
-declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion3, Insertion1 & Insertion2>): QueryOutput<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3>;
-declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>): QueryOutput<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4>;
-declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>): QueryOutput<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>;
-declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>): QueryOutput<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>;
-declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<QueryState>, NoInfer<QueryParams>, Insertion7, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>): QueryOutput<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>;
+SourceParams, GroupIdentifier, QueryExceptions>;
+declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<QueryParams>;
+    loader: ExtractCraftException<QueryState>;
+}>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>): QueryOutput<StripCraftException<QueryState>, StripCraftException<QueryParams>, QueryArgsParams, StripCraftException<QueryParams>, GroupIdentifier, {}, Exceptions>;
+declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<QueryParams>;
+    loader: ExtractCraftException<QueryState>;
+}>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion1, {}>): QueryOutput<StripCraftException<QueryState>, StripCraftException<QueryParams>, QueryArgsParams, StripCraftException<QueryParams>, GroupIdentifier, Insertion1, Exceptions>;
+declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<QueryParams>;
+    loader: ExtractCraftException<QueryState>;
+}>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion2, Insertion1>): QueryOutput<StripCraftException<QueryState>, StripCraftException<QueryParams>, QueryArgsParams, StripCraftException<QueryParams>, GroupIdentifier, Insertion1 & Insertion2, Exceptions>;
+declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<QueryParams>;
+    loader: ExtractCraftException<QueryState>;
+}>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>): QueryOutput<StripCraftException<QueryState>, StripCraftException<QueryParams>, QueryArgsParams, StripCraftException<QueryParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3, Exceptions>;
+declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<QueryParams>;
+    loader: ExtractCraftException<QueryState>;
+}>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>): QueryOutput<StripCraftException<QueryState>, StripCraftException<QueryParams>, QueryArgsParams, StripCraftException<QueryParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4, Exceptions>;
+declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<QueryParams>;
+    loader: ExtractCraftException<QueryState>;
+}>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>): QueryOutput<StripCraftException<QueryState>, StripCraftException<QueryParams>, QueryArgsParams, StripCraftException<QueryParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5, Exceptions>;
+declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<QueryParams>;
+    loader: ExtractCraftException<QueryState>;
+}>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>): QueryOutput<StripCraftException<QueryState>, StripCraftException<QueryParams>, QueryArgsParams, StripCraftException<QueryParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6, Exceptions>;
+declare function query<QueryState extends object | undefined, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier extends string, FromObjectState, FromObjectResourceParams, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, Exceptions extends ResourceExceptionConstraints = {
+    params: ExtractCraftException<QueryParams>;
+    loader: ExtractCraftException<QueryState>;
+}>(queryConfig: QueryConfig<QueryState, QueryParams, QueryArgsParams, SourceParams, GroupIdentifier, FromObjectGroupIdentifier, FromObjectState, FromObjectResourceParams>, insertion1: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion1>, insertion2: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion2, Insertion1>, insertion3: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsResourcesFactory<NoInfer<GroupIdentifier>, NoInfer<StripCraftException<QueryState>>, NoInfer<StripCraftException<QueryParams>>, Exceptions, Insertion7, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>): QueryOutput<StripCraftException<QueryState>, StripCraftException<QueryParams>, QueryArgsParams, StripCraftException<QueryParams>, GroupIdentifier, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7, Exceptions>;
 
-type SpecificCraftQueryOutputs<ResourceName extends string, ResourceState extends object | undefined, ResourceParams, ResourceArgsParams, IsMethod, SourceParams, GroupIdentifier, InsertionsOutputs> = PartialContext<{
+type SpecificCraftQueryOutputs<ResourceName extends string, ResourceState extends object | undefined, ResourceParams, ResourceArgsParams, IsMethod, SourceParams, GroupIdentifier, InsertionsOutputs, QueryExceptions extends ResourceExceptionConstraints> = PartialContext<{
     props: {
-        [key in `${ResourceName & string}`]: QueryOutput<ResourceState, ResourceArgsParams, ResourceParams, SourceParams, GroupIdentifier, InsertionsOutputs>;
+        [key in `${ResourceName & string}`]: QueryOutput<ResourceState, ResourceArgsParams, ResourceParams, SourceParams, GroupIdentifier, InsertionsOutputs, QueryExceptions>;
     };
     _query: {
-        [key in ResourceName & string]: QueryOutput<ResourceState, ResourceArgsParams, ResourceParams, SourceParams, GroupIdentifier, InsertionsOutputs>;
+        [key in ResourceName & string]: QueryOutput<ResourceState, ResourceArgsParams, ResourceParams, SourceParams, GroupIdentifier, InsertionsOutputs, QueryExceptions>;
     };
 }>;
-type CraftQueryOutputs<Context extends ContextConstraints, StoreConfig extends StoreConfigConstraints, ResourceName extends string, ResourceState extends object | undefined, ResourceParams, ResourceArgsParams, IsMethod, SourceParams, GroupIdentifier, InsertionsOutputs> = CraftFactoryUtility<Context, StoreConfig, SpecificCraftQueryOutputs<ResourceName, ResourceState, ResourceParams, ResourceArgsParams, IsMethod, SourceParams, GroupIdentifier, InsertionsOutputs>>;
+type CraftQueryOutputs<Context extends ContextConstraints, StoreConfig extends StoreConfigConstraints, ResourceName extends string, ResourceState extends object | undefined, ResourceParams, ResourceArgsParams, IsMethod, SourceParams, GroupIdentifier, InsertionsOutputs, QueryExceptions extends ResourceExceptionConstraints> = CraftFactoryUtility<Context, StoreConfig, SpecificCraftQueryOutputs<ResourceName, ResourceState, ResourceParams, ResourceArgsParams, IsMethod, SourceParams, GroupIdentifier, InsertionsOutputs, QueryExceptions>>;
 type ContextQueryEntries<Context extends ContextConstraints, StoreConfig extends StoreConfigConstraints, ResourceName extends string> = Context['_inputs'] & Context['_injections'] & Context['_sources'] & Omit<Context['props'], keyof Context['_mutation']> & Context['_AsyncProcess'] & Context['_mutation'] & {
     INSERT_CONFIG: {
         storeName: StoreConfig['name'];
@@ -5768,7 +6037,7 @@ type ContextQueryEntries<Context extends ContextConstraints, StoreConfig extends
  * );
  * ```
  */
-declare function craftQuery<Context extends ContextConstraints, StoreConfig extends StoreConfigConstraints, const ResourceName extends string, ResourceState extends object | undefined, ResourceParams, ResourceArgsParams, InsertionsOutputs, IsMethod, SourceParams, GroupIdentifier>(resourceName: ResourceName, queryFactory: (context: ContextQueryEntries<Context, StoreConfig, ResourceName>) => QueryOutput<ResourceState, ResourceArgsParams, ResourceParams, SourceParams, GroupIdentifier, InsertionsOutputs>): CraftQueryOutputs<Context, StoreConfig, ResourceName, NoInfer<ResourceState>, ResourceParams, ResourceArgsParams, IsMethod, SourceParams, GroupIdentifier, InsertionsOutputs>;
+declare function craftQuery<Context extends ContextConstraints, StoreConfig extends StoreConfigConstraints, const ResourceName extends string, ResourceState extends object | undefined, ResourceParams, ResourceArgsParams, InsertionsOutputs, IsMethod, SourceParams, GroupIdentifier, QueryExceptions extends ResourceExceptionConstraints>(resourceName: ResourceName, queryFactory: (context: ContextQueryEntries<Context, StoreConfig, ResourceName>) => QueryOutput<ResourceState, ResourceArgsParams, ResourceParams, SourceParams, GroupIdentifier, InsertionsOutputs, QueryExceptions>): CraftQueryOutputs<Context, StoreConfig, ResourceName, NoInfer<ResourceState>, ResourceParams, ResourceArgsParams, IsMethod, SourceParams, GroupIdentifier, InsertionsOutputs, QueryExceptions>;
 
 type InferQueryParamsState<T> = T extends WritableSignal<infer U> ? U : never;
 type SpecificCraftSetAllQueriesParamsStandaloneOutputs<Context extends ContextConstraints> = {
@@ -6192,8 +6461,12 @@ interface _Subscribable<T> {
  */
 declare function craftSources<Context extends ContextConstraints, StoreConfig extends StoreConfigConstraints, Sources extends Record<string, SignalSource<any> | Source$<any> | _Subscribable<any>>>(sourcesFactory: () => Sources): CraftSourcesOutputs<Context, StoreConfig, Sources>;
 
-type StateOutput<StateType, Insertions> = MergeObject<Signal<StateType>, IsEmptyObject<Insertions> extends true ? {} : FilterSource<Insertions>>;
-type StateConfig<State> = State | WritableSignal<State>;
+type Source$Method$2<SourceType> = [SourceType] extends [void] ? () => void : (value: SourceType) => void;
+type ExposedStateInsertions<Insertions> = MergeObject<IsEmptyObject<Insertions> extends true ? {} : FilterSource<Insertions>, {
+    [K in keyof FilterSource<Insertions> as FilterSource<Insertions>[K] extends Source$<any> ? K : never]: FilterSource<Insertions>[K] extends Source$<infer SourceType> ? Source$Method$2<SourceType> : never;
+}>;
+type StateOutput<StateType, Insertions> = MergeObject<Signal<StateType>, ExposedStateInsertions<Insertions>>;
+type StateConfig<State> = State | Signal<State>;
 /**
  * Creates a signal state with optional insertions for adding methods and computed properties.
  *
@@ -6201,7 +6474,11 @@ type StateConfig<State> = State | WritableSignal<State>;
  * methods and properties through insertions. Each insertion receives a context object with
  * `state`, `set`, `update` methods and previous insertions.
  *
- * @param stateConfig - The initial state value or a WritableSignal (e.g., linkedSignal)
+ * @remarks
+ * For the best TypeScript inference, pass Angular `Signal` values (e.g. `signal`, `linkedSignal`)
+ * rather than manually widening to `WritableSignal`. This avoids some overload inference limits.
+ *
+ * @param stateConfig - The initial state value or a Signal (e.g., linkedSignal)
  * @param insertions - Optional insertion functions to extend the state with methods and properties
  * @returns A Signal representing the state, merged with all insertion properties and methods
  *
@@ -6274,7 +6551,7 @@ declare function state<StateType, Insertion1, Insertion2, Insertion3, Insertion4
 declare function state<StateType, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6>(stateConfig: StateConfig<StateType>, insertion1: InsertionsStateFactory<NoInfer<StateType>, Insertion1>, insertion2: InsertionsStateFactory<NoInfer<StateType>, Insertion2, Insertion1>, insertion3: InsertionsStateFactory<NoInfer<StateType>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsStateFactory<NoInfer<StateType>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsStateFactory<NoInfer<StateType>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsStateFactory<NoInfer<StateType>, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>): StateOutput<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>;
 declare function state<StateType, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7>(stateConfig: StateConfig<StateType>, insertion1: InsertionsStateFactory<NoInfer<StateType>, Insertion1>, insertion2: InsertionsStateFactory<NoInfer<StateType>, Insertion2, Insertion1>, insertion3: InsertionsStateFactory<NoInfer<StateType>, Insertion3, Insertion1 & Insertion2>, insertion4: InsertionsStateFactory<NoInfer<StateType>, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsStateFactory<NoInfer<StateType>, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsStateFactory<NoInfer<StateType>, Insertion6, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsStateFactory<NoInfer<StateType>, Insertion7, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>): StateOutput<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>;
 
-type SpecificCraftStateOutputs<StateName extends string, State, Insertions> = DeferredExtract<Insertions> extends infer Extracted ? Extracted extends {
+type SpecificCraftStateOutputs<StateName extends string, State, Insertions> = DeferredExtract<ExposedStateInsertions<Insertions>> extends infer Extracted ? Extracted extends {
     props: unknown;
     methods: Record<string, Function>;
 } ? PartialContext<{
@@ -6794,7 +7071,7 @@ interface QueriesPersister {
  * dataQuery.persister.runGarbageCollection();
  * ```
  */
-declare function insertLocalStoragePersister<GroupIdentifier extends string, ResourceState extends object | undefined, ResourceParams, PreviousInsertionsOutputs, StateType, const CacheTime = 300000>(config: {
+declare function insertLocalStoragePersister<GroupIdentifier extends string, ResourceState extends object | undefined, ResourceParams, PreviousInsertionsOutputs, StateType, QueryExceptions extends ResourceExceptionConstraints, const CacheTime = 300000>(config: {
     /** Name of your current store, it is mainly used as a prefix for localStorage keys */
     storeName: string;
     /** Key used to identify the specific data within the store */
@@ -6810,10 +7087,152 @@ declare function insertLocalStoragePersister<GroupIdentifier extends string, Res
      * If not specified, the default is 5 minutes (300000 ms).
      */
     cacheTime?: CacheTime;
-}): (context: InsertionResourceFactoryContext<GroupIdentifier, ResourceState, ResourceParams, PreviousInsertionsOutputs> | InsertionStateFactoryContext<StateType, PreviousInsertionsOutputs>) => {
+}): (_context: unknown) => {
     persister: QueriesPersister;
 };
 
+/**
+ * No-op insertion used to preserve contextual typing in insertion chains.
+ *
+ * Usage:
+ * `insertSelect('grid', insertNoopTypingAnchor, insertSelect('row', ...))`
+ */
+declare function insertNoopTypingAnchor<StateType, PreviousInsertionsOutputs = {}>(_context: InsertionStateFactoryContext<StateType, PreviousInsertionsOutputs>): {};
+
+type SelectedTarget<StateType, Name extends string> = StateType extends readonly (infer Item)[] ? Extract<Item, object> : StateType extends Record<string, unknown> ? Name extends keyof StateType ? StateType[Name] : never : never;
+type MergeInsertions$1<Insertions extends readonly unknown[], Acc = {}> = Insertions extends readonly [infer Head, ...infer Tail] ? MergeInsertions$1<Tail, Acc & Head> : Acc;
+type Source$Method$1<SourceType> = [SourceType] extends [void] ? () => void : (value: SourceType) => void;
+type ExposedInsertions<Insertions> = MergeObject<IsEmptyObject<Insertions> extends true ? {} : FilterSource<Insertions>, {
+    [K in keyof FilterSource<Insertions> as FilterSource<Insertions>[K] extends Source$<any> ? K : never]: FilterSource<Insertions>[K] extends Source$<infer SourceType> ? Source$Method$1<SourceType> : never;
+}>;
+type SelectItemMethodName<Name extends string> = `select${Capitalize<Name>}`;
+type SelectPropertyMethodName<Name extends string> = `select${Capitalize<Name>}`;
+type SelectedItem<StateType> = StateType extends readonly (infer Item)[] ? Extract<Item, object> : never;
+type ArraySelectedOutput<StateType, Insertions> = MergeObject<SelectedItem<StateType>, ExposedInsertions<Insertions>>;
+type ObjectSelectedOutput<StateType, Name extends string, Insertions> = StateType extends Record<string, unknown> ? Name extends keyof StateType & string ? MergeObject<Extract<StateType[Name], object>, ExposedInsertions<Insertions>> : never : never;
+type ArrayInsertSelectOutput<StateType, Name extends string, Insertions extends readonly unknown[]> = {
+    [K in SelectItemMethodName<Name>]: (id: number) => ArraySelectedOutput<StateType, MergeInsertions$1<Insertions>> | undefined;
+} & {
+    items: () => Array<ArraySelectedOutput<StateType, MergeInsertions$1<Insertions>>>;
+};
+type ObjectInsertSelectOutput<StateType, Name extends string, Insertions extends readonly unknown[]> = {
+    [K in SelectPropertyMethodName<Name>]: () => ObjectSelectedOutput<StateType, Name, MergeInsertions$1<Insertions>>;
+};
+type InsertSelectReturn<StateType, Name extends string, Insertions extends readonly unknown[], PreviousInsertionsOutputs> = InsertionsStateFactory<StateType, StateType extends readonly object[] ? ArrayInsertSelectOutput<StateType, Name, Insertions> : ObjectInsertSelectOutput<StateType, Name, Insertions>, PreviousInsertionsOutputs>;
+type IsArray$1<T> = T extends any[] ? true : false;
+/**
+ * Unified selector insertion for nested object properties and array items.
+ *
+ * `insertSelect` lets you compose nested insertions with the same API regardless
+ * of whether the current state is an object or an array.
+ *
+ * You interact with the selected sub-state through generated methods like:
+ * - `selectCell()` for object properties
+ * - `selectCell(index)` for array items
+ * The returned selection exposes both the original state fields and the
+ * insertion methods/computed values.
+ *
+ * @example
+ * ```ts
+ * const board = state(
+ *   {
+ *     cell: { color: 'white', paintCount: 0 },
+ *   },
+ *   insertSelect('cell', ({ update }) => ({
+ *     paintBlack: () =>
+ *       update((cell) => ({
+ *         ...cell,
+ *         color: 'black',
+ *         paintCount: cell.paintCount + 1,
+ *       })),
+ *   })),
+ * );
+ *
+ * board.selectCell().paintBlack();
+ * console.log(board.selectCell().color); // 'black'
+ * ```
+ *
+ * @example
+ * ```ts
+ * const cells = state(
+ *   [{ color: 'white', paintCount: 0 }],
+ *   insertSelect('cell', ({ update }) => ({
+ *     paint: () =>
+ *       update((cell) => ({
+ *         ...cell,
+ *         color: 'black',
+ *         paintCount: cell.paintCount + 1,
+ *       })),
+ *   })),
+ * );
+ *
+ * cells.selectCell(0)?.paint();
+ * console.log(cells.selectCell(0)?.paintCount); // 1
+ * ```
+ *
+ * In some nested cases, TypeScript may lose contextual typing (notably when a
+ * property is an array and the next insertion is another `insertSelect`).
+ * In those cases, insert `insertNoopTypingAnchor` before the nested insertion
+ * to preserve inference.
+ *
+ * @example
+ * ```ts
+ * insertSelect(
+ *   'grid',
+ *   insertNoopTypingAnchor,
+ *   insertSelect('row', ({ update }) => ({
+ *     // ...
+ *   })),
+ * );
+ * ```
+ */
+declare function insertSelect<StateType, const Name extends AutoCompleteName & string, Insertions1 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = NoInfer<StateType> extends readonly object[] ? string : keyof NoInfer<StateType>>(name: Name, insertion1: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions1, PreviousInsertionsOutputs>): InsertSelectReturn<[
+    Name
+] extends [keyof StateType] ? IsArray$1<StateType[Name]> extends true ? `craft-ng error, typing limitation: insertSelect does not currently support selecting items from an array property in first insertion position (e.g. insertSelect('grid', insertSelect('row', ...))). Consider using insertNoopTypingAnchor:
+    insertSelect('${Name}', insertNoopTypingAnchor, insertSelect(...)) ` : StateType : StateType, Name, [
+    Insertions1
+], PreviousInsertionsOutputs>;
+declare function insertSelect<StateType, const Name extends AutoCompleteName & string, Insertions1 = {}, Insertions2 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = StateType extends readonly object[] ? string : keyof StateType>(name: Name, insertion1: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions1, PreviousInsertionsOutputs>, insertion2: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions2, PreviousInsertionsOutputs & Insertions1>): InsertSelectReturn<StateType, Name, [
+    Insertions1,
+    Insertions2
+], PreviousInsertionsOutputs>;
+declare function insertSelect<StateType, const Name extends AutoCompleteName & string, Insertions1 = {}, Insertions2 = {}, Insertions3 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = StateType extends readonly object[] ? string : keyof StateType>(name: Name, insertion1: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions1, PreviousInsertionsOutputs>, insertion2: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions2, PreviousInsertionsOutputs & Insertions1>, insertion3: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions3, PreviousInsertionsOutputs & Insertions1 & Insertions2>): InsertSelectReturn<StateType, Name, [
+    Insertions1,
+    Insertions2,
+    Insertions3
+], PreviousInsertionsOutputs>;
+declare function insertSelect<StateType, const Name extends AutoCompleteName & string, Insertions1 = {}, Insertions2 = {}, Insertions3 = {}, Insertions4 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = StateType extends readonly object[] ? string : keyof StateType>(name: Name, insertion1: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions1, PreviousInsertionsOutputs>, insertion2: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions2, PreviousInsertionsOutputs & Insertions1>, insertion3: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions3, PreviousInsertionsOutputs & Insertions1 & Insertions2>, insertion4: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions4, PreviousInsertionsOutputs & Insertions1 & Insertions2 & Insertions3>): InsertSelectReturn<StateType, Name, [
+    Insertions1,
+    Insertions2,
+    Insertions3,
+    Insertions4
+], PreviousInsertionsOutputs>;
+declare function insertSelect<StateType, const Name extends AutoCompleteName & string, Insertions1 = {}, Insertions2 = {}, Insertions3 = {}, Insertions4 = {}, Insertions5 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = StateType extends readonly object[] ? string : keyof StateType>(name: Name, insertion1: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions1, PreviousInsertionsOutputs>, insertion2: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions2, PreviousInsertionsOutputs & Insertions1>, insertion3: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions3, PreviousInsertionsOutputs & Insertions1 & Insertions2>, insertion4: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions4, PreviousInsertionsOutputs & Insertions1 & Insertions2 & Insertions3>, insertion5: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions5, PreviousInsertionsOutputs & Insertions1 & Insertions2 & Insertions3 & Insertions4>): InsertSelectReturn<StateType, Name, [
+    Insertions1,
+    Insertions2,
+    Insertions3,
+    Insertions4,
+    Insertions5
+], PreviousInsertionsOutputs>;
+
+type PublicServiceEntry<Entry> = Entry extends WritableSignal<any> ? Entry : Entry extends Signal<any> ? Entry : Entry extends (...args: infer Args) => infer Result ? (...args: Args) => Result : Entry;
+type InjectService2Public<Service> = Prettify<RemoveIndexSignature<{
+    [K in keyof Service]: PublicServiceEntry<Service[K]>;
+}>>;
+type InjectService2Insertions<Service> = Prettify<Record<string, unknown> & {
+    [K in keyof InjectService2Public<Service>]?: InjectService2Public<Service>[K] | SourceBranded;
+}>;
+type InjectService2InsertionContext<Service, PreviousInsertions = {}> = InjectService2Public<Service> & {
+    insertions: HasKeys<PreviousInsertions> extends true ? PreviousInsertions : never;
+};
+type InjectService2InsertionFactory<Service, Insertions, PreviousInsertions = {}> = (context: InjectService2InsertionContext<Service, PreviousInsertions>) => InjectService2Insertions<Service> & Insertions;
+type InjectService2Output<Service, Insertions> = Prettify<FilterSource<Insertions>>;
+declare function injectService<Service, Insertion1>(token: Type<Service>, insertion1: InjectService2InsertionFactory<Service, Insertion1>): InjectService2Output<Service, Insertion1>;
+declare function injectService<Service, Insertion1, Insertion2>(token: Type<Service>, insertion1: InjectService2InsertionFactory<Service, Insertion1>, insertion2: InjectService2InsertionFactory<Service, Insertion2, Insertion1>): InjectService2Output<Service, Insertion1 & Insertion2>;
+declare function injectService<Service, Insertion1, Insertion2, Insertion3>(token: Type<Service>, insertion1: InjectService2InsertionFactory<Service, Insertion1>, insertion2: InjectService2InsertionFactory<Service, Insertion2, Insertion1>, insertion3: InjectService2InsertionFactory<Service, Insertion3, Insertion1 & Insertion2>): InjectService2Output<Service, Insertion1 & Insertion2 & Insertion3>;
+declare function injectService<Service, Insertion1, Insertion2, Insertion3, Insertion4>(token: Type<Service>, insertion1: InjectService2InsertionFactory<Service, Insertion1>, insertion2: InjectService2InsertionFactory<Service, Insertion2, Insertion1>, insertion3: InjectService2InsertionFactory<Service, Insertion3, Insertion1 & Insertion2>, insertion4: InjectService2InsertionFactory<Service, Insertion4, Insertion1 & Insertion2 & Insertion3>): InjectService2Output<Service, Insertion1 & Insertion2 & Insertion3 & Insertion4>;
+declare function injectService<Service, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5>(token: Type<Service>, insertion1: InjectService2InsertionFactory<Service, Insertion1>, insertion2: InjectService2InsertionFactory<Service, Insertion2, Insertion1>, insertion3: InjectService2InsertionFactory<Service, Insertion3, Insertion1 & Insertion2>, insertion4: InjectService2InsertionFactory<Service, Insertion4, Insertion1 & Insertion2 & Insertion3>, insertion5: InjectService2InsertionFactory<Service, Insertion5, Insertion1 & Insertion2 & Insertion3 & Insertion4>): InjectService2Output<Service, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>;
+
 declare function linkedSource<SourceState, ComputedValue>(signalOrigin: SignalSource<SourceState> | ReadonlySource<SourceState>, computedFn: (sourceValue: NoInfer<SourceState>) => ComputedValue, options?: {
     equal?: ValueEqualityFn<NoInfer<ComputedValue> | undefined>;
     debugName?: string;
@@ -7501,6 +7920,35 @@ declare function toSource<SourceState, ComputedValue>(signalOrigin: Signal<Sourc
     debugName?: string;
 }): ReadonlySource<IsUnknown<ComputedValue> extends true ? SourceState : ComputedValue>;
 
+type EntryBindings<Service> = Prettify<Partial<{
+    [K in keyof Service as K extends `${infer EntryKey}Entry` ? Service[K] extends WritableSignal<infer Value> ? EntryKey : never : never]: Service[K] extends WritableSignal<infer Value> ? Signal<Value> : never;
+}>>;
+type ToInjectBindings<Service> = EntryBindings<Service>;
+/**
+ * Creates an Angular `inject()` helper bound to a service and keeps selected
+ * `...Entry` writable signals synchronized with external signals.
+ *
+ * Service properties ending with `Entry` are exposed as configuration keys
+ * without the suffix.
+ *
+ * @example
+ * ```ts
+ * @Injectable({ providedIn: 'root' })
+ * class MyService {
+ *   myIdEntry = signal<string | undefined>(undefined);
+ * }
+ *
+ * const injectMyService = toInject(MyService);
+ *
+ * @Component({})
+ * class MyComponent {
+ *   id = input<string>();
+ *   myService = injectMyService({ myId: this.id });
+ * }
+ * ```
+ */
+declare function toInject<Service>(token: Type<Service>): (bindings?: ToInjectBindings<Service>) => Service;
+
 /**
  * Creates an insertion function that makes a query react to mutation state changes.
  *
@@ -7717,14 +8165,14 @@ declare function toSource<SourceState, ComputedValue>(signalOrigin: Signal<Sourc
  * });
  * ```
  */
-declare function insertReactOnMutation<QueryResourceState extends object | undefined, QueryResourceParams, QueryResourceArgsParams, QueryIsMethod extends boolean, QuerySourceParams, QueryGroupIdentifier, QueryInsertions, MutationResourceState, MutationResourceParams, MutationResourceArgsParams, MutationIsMethod, MutationSourceParams, MutationGroupIdentifier, MutationInsertions>(mutation: ResourceLikeMutationRef<MutationResourceState, MutationResourceParams, MutationIsMethod, MutationResourceArgsParams, MutationSourceParams, MutationInsertions> | ResourceByIdLikeMutationRef<MutationResourceState, MutationResourceParams, MutationIsMethod, MutationResourceArgsParams, MutationSourceParams, MutationInsertions, MutationGroupIdentifier>, mutationEffectOptions: QueryDeclarativeEffect<{
+declare function insertReactOnMutation<QueryResourceState extends object | undefined, QueryResourceParams, QueryResourceArgsParams, QueryIsMethod extends boolean, QuerySourceParams, QueryGroupIdentifier, QueryInsertions, MutationResourceState, MutationResourceParams, MutationResourceArgsParams, MutationIsMethod, MutationSourceParams, MutationGroupIdentifier, MutationInsertions, MutationExceptions extends ResourceExceptionConstraints, QueryExceptions extends ResourceExceptionConstraints>(mutation: ResourceLikeMutationRef<MutationResourceState, MutationResourceParams, MutationIsMethod, MutationResourceArgsParams, MutationSourceParams, MutationInsertions, MutationExceptions> | ResourceByIdLikeMutationRef<MutationResourceState, MutationResourceParams, MutationIsMethod, MutationResourceArgsParams, MutationSourceParams, MutationInsertions, MutationGroupIdentifier, MutationExceptions>, mutationEffectOptions: QueryDeclarativeEffect<{
     query: InternalType<NoInfer<QueryResourceState>, NoInfer<QueryResourceParams>, NoInfer<QueryResourceArgsParams>, [
         unknown
-    ] extends [NoInfer<QueryGroupIdentifier>] ? false : true, NoInfer<QueryIsMethod>, NoInfer<QueryInsertions>, NoInfer<QueryGroupIdentifier>, NoInfer<QuerySourceParams>>;
+    ] extends [NoInfer<QueryGroupIdentifier>] ? false : true, NoInfer<QueryIsMethod>, NoInfer<QueryInsertions>, NoInfer<QueryGroupIdentifier>, NoInfer<QuerySourceParams>, NoInfer<QueryExceptions>>;
     mutation: InternalType<NoInfer<MutationResourceState>, NoInfer<MutationResourceParams>, NoInfer<MutationResourceArgsParams>, [
         unknown
-    ] extends [MutationGroupIdentifier] ? false : true, NoInfer<MutationIsMethod>, NoInfer<MutationInsertions>, NoInfer<MutationGroupIdentifier>, NoInfer<MutationSourceParams>>;
-}>): (context: InsertionParams<QueryResourceState, QueryResourceParams, QueryInsertions> | {
+    ] extends [MutationGroupIdentifier] ? false : true, NoInfer<MutationIsMethod>, NoInfer<MutationInsertions>, NoInfer<MutationGroupIdentifier>, NoInfer<MutationSourceParams>, NoInfer<MutationExceptions>>;
+}>): (context: InsertionParams<QueryResourceState, QueryResourceParams, QueryExceptions, QueryInsertions> | {
     resourceById: ResourceByIdRef<QueryGroupIdentifier & string, QueryResourceState, QueryResourceParams>;
     resourceParamsSrc: WritableSignal<QueryResourceParams | undefined>;
     identifier: (params: NonNullable<QueryResourceParams>) => QueryGroupIdentifier;
@@ -7763,7 +8211,7 @@ declare function insertReactOnMutation<QueryResourceState extends object | undef
  * const isPlaceholder = userQuery.isPlaceHolderData();
  * ```
  */
-declare const insertPaginationPlaceholderData: <QueryResourceState extends object | undefined, QueryResourceParams, QueryResourceArgsParams, QueryIsMethod extends boolean, QuerySourceParams, QueryGroupIdentifier extends string, QueryInsertions, PreviousInsertionsOutputs>({ resourceById, resourceParamsSrc, identifier, }: InsertionByIdParams<QueryGroupIdentifier, QueryResourceState, QueryResourceParams, PreviousInsertionsOutputs>) => {
+declare const insertPaginationPlaceholderData: <QueryResourceState extends object | undefined, QueryResourceParams, QueryResourceArgsParams, QueryIsMethod extends boolean, QuerySourceParams, QueryGroupIdentifier extends string, QueryInsertions, PreviousInsertionsOutputs, Exceptions extends ResourceExceptionConstraints>({ resourceById, resourceParamsSrc, identifier, }: InsertionByIdParams<QueryGroupIdentifier, QueryResourceState, QueryResourceParams, Exceptions, PreviousInsertionsOutputs>) => {
     currentPageData: _angular_core.Signal<QueryResourceState | undefined>;
     currentPageStatus: _angular_core.Signal<_angular_core.ResourceStatus>;
     isPlaceHolderData: _angular_core.Signal<boolean>;
@@ -8442,5 +8890,380 @@ declare function on$<State, SourceType>(_source: {
     subscribe: EventEmitter<SourceType>['subscribe'];
 }, callback: (source: SourceType) => State): SourceBranded;
 
-export { EXTERNALLY_PROVIDED, EmptyContext, GlobalPersisterHandlerService, STORE_CONFIG_TOKEN, SourceBrand, SourceBranded, addMany, addOne, afterRecomputation, asyncProcess, capitalize, computedIds, computedSource, computedTotal, contract, craft, craftAsyncProcesses, craftComputedStates, craftFactoryEntries, craftInject, craftInputs, craftMutations, craftQuery, craftQueryParam, craftQueryParams, craftSetAllQueriesParamsStandalone, craftSources, craftState, createMethodHandlers, fromEventToSource$, insertLocalStoragePersister, insertPaginationPlaceholderData, insertReactOnMutation, isSource, linkedSource, localStoragePersister, map, mapOne, mutation, on$, partialContext, query, queryParam, reactiveWritableSignal, removeAll, removeMany, removeOne, resourceById, serializeQueryParams, serializedQueryParamsObjectToString, setAll, setMany, setOne, signalSource, source$, sourceFromEvent, stackedSource, state, toSource, toggleMany, toggleOne, updateMany, updateOne, upsertMany, upsertOne };
-export type { AsyncProcessOutput, AsyncProcessRef, CloudProxy, CloudProxySource, ContextConstraints, ContextInput, CraftFactory, CraftFactoryEntries, CraftFactoryUtility, DeferredExtract, EntitiesUtilBrand, EqualParams, ExcludeCommonKeys, ExtractSignalPropsAndMethods, FilterMethodsBoundToSources, FilterPrivateFields, FilterSource, FlatRecord, FromEventToSource$, HasChild$1 as HasChild, HasKeys, IdSelector, Identifier, InferInjectedType, IsAny, IsEmptyObject, IsNever, IsUnknown, MakeOptionalPropertiesRequired$1 as MakeOptionalPropertiesRequired, MergeObject$1 as MergeObject, MergeObjects$1 as MergeObjects, MergeTwoContexts, MutationOutput, MutationRef, Not, OmitStrict, PartialContext, Prettify, QueryOutput, QueryParamConfig, QueryParamNavigationOptions$1 as QueryParamNavigationOptions, QueryParamOutput, QueryParamsToState, QueryRef, ReadonlySource, ReadonlySource$, RemoveIndexSignature, ReplaceStoreConfigToken, ResourceByIdHandler, ResourceByIdLikeMutationRef, ResourceByIdLikeQueryRef, ResourceByIdRef, ResourceLikeMutationRef, ResourceLikeQueryRef, SignalSource, Source$, SourceFromEvent, SourceSetterMethods, SourceSubscribe, SpecificCraftQueryParamOutputs, SpecificCraftQueryParamsOutputs, StackSource, StateOutput, StoreConfigConstraints, StoreConfigToken, ToConnectableMethodFromInject, ToConnectableSourceFromInject, UnionToIntersection$1 as UnionToIntersection, UnionToTuple$1 as UnionToTuple, Update };
+type Source$Method<SourceType> = [SourceType] extends [void] ? () => void : (value: SourceType) => void;
+type ExposedFormInsertions<Insertions> = MergeObject<IsEmptyObject<Insertions> extends true ? {} : FilterSource<Insertions>, {
+    [K in keyof FilterSource<Insertions> as FilterSource<Insertions>[K] extends Source$<any> ? K : never]: FilterSource<Insertions>[K] extends Source$<infer SourceType> ? Source$Method<SourceType> : never;
+}>;
+type FormExceptionSignal<Insertions, ExceptionName extends string> = `${Uncapitalize<ExceptionName>}Exceptions` extends keyof ExposedFormInsertions<Insertions> ? ExposedFormInsertions<Insertions>[`${Uncapitalize<ExceptionName>}Exceptions`] extends Signal<infer Exceptions> ? Exceptions : never : never;
+type HasFormExceptionSignalPair<Insertions, ExceptionName extends string, HasExceptionKey extends keyof ExposedFormInsertions<Insertions>> = ExposedFormInsertions<Insertions>[HasExceptionKey] extends Signal<boolean> ? `${Uncapitalize<ExceptionName>}Exceptions` extends keyof ExposedFormInsertions<Insertions> ? ExposedFormInsertions<Insertions>[`${Uncapitalize<ExceptionName>}Exceptions`] extends Signal<unknown> ? true : false : false : false;
+type FormExceptionMap<Insertions> = {
+    [K in keyof ExposedFormInsertions<Insertions> as K extends string ? K extends `has${infer Name}Exceptions` ? HasFormExceptionSignalPair<Insertions, Name, K> extends true ? Uncapitalize<Name> : never : never : never]: K extends `has${infer Name}Exceptions` ? FormExceptionSignal<Insertions, Name> : never;
+};
+type FormExceptionsInsertion<Insertions> = keyof FormExceptionMap<Insertions> extends never ? {} : {
+    hasExceptions: Signal<boolean>;
+    exceptions: Signal<FormExceptionMap<Insertions>>;
+};
+type CraftFieldTree<TModel, Insertions, TKey extends string | number = string | number> = (() => [TModel] extends [AbstractControl] ? CompatFieldState<TModel, TKey> & Insertions : FieldState<TModel, TKey> & Insertions) & ([TModel] extends [AbstractControl] ? object : [TModel] extends [ReadonlyArray<infer U>] ? ReadonlyArrayLike<MaybeFieldTree<U, number>> : TModel extends Record<string, any> ? Subfields<TModel> : object);
+type FormWithInsertions<Model, Insertions> = CraftFieldTree<Model, ExposedFormInsertions<Insertions> & {
+    hasAttemptedSubmit: Signal<boolean>;
+    validatedFormValue: Signal<ValidatedFormValue<Model>>;
+} & FormExceptionsInsertion<Insertions>, string | number>;
+type InsertionFormFactoryContext<StateType, PreviousInsertionsOutputs, FormIdentifier extends string | number | unknown> = InsertionStateFactoryContext<StateType, PreviousInsertionsOutputs> & {
+    form: FieldTree<StateType, string | number>;
+    schemaPath: SchemaPathTree<StateType>;
+    validatedFormValue: Signal<ValidatedFormValue<StateType>>;
+    validatorModelRef: Signal<StateType>;
+    setValidatorModelRef: (nextModel: Signal<StateType>) => void;
+    setAttemptedSubmit: () => void;
+    setSubmitting: (submitting: boolean) => void;
+    formIdentifier: FormIdentifier;
+};
+type InsertionsFormFactory<State, FormIdentifier extends string | number | unknown, InsertionsOutputs, PreviousInsertionsOutputs = {}> = (context: InsertionFormFactoryContext<State, PreviousInsertionsOutputs, FormIdentifier>) => InsertionsOutputs;
+declare const validatedFormValueSymbol: unique symbol;
+type ValidatedFormValue<FormValue> = (FormValue & {
+    [validatedFormValueSymbol]: true;
+}) | undefined;
+
+type ExtractItemType$1<T> = T extends readonly (infer Item)[] ? Item : never;
+type InsertFormSimpleOutput<StateType, Insertions> = {
+    form: FormWithInsertions<StateType, Insertions>;
+};
+type InsertFormParallelOutput<StateType, Insertions> = {
+    forms: Signal<FieldTree<ExtractItemType$1<StateType>, string | number>[]>;
+    select: (formIdentifier: string | number) => FormWithInsertions<ExtractItemType$1<StateType>, Insertions>;
+};
+type InsertFormSimpleReturn<StateType, Insertions, PreviousInsertionsOutputs> = InsertionsStateFactory<StateType, InsertFormSimpleOutput<StateType, Insertions>, PreviousInsertionsOutputs>;
+type InsertFormParallelReturn<StateType, Insertions, PreviousInsertionsOutputs> = InsertionsStateFactory<StateType, InsertFormParallelOutput<StateType, Insertions>, PreviousInsertionsOutputs>;
+type ParallelInsertFormConfig<ItemType, GroupIdentifier extends string | number> = {
+    identifier: (context: {
+        item: ItemType;
+        index: number;
+    }) => GroupIdentifier;
+};
+declare function insertForm<StateType, PreviousInsertionsOutputs = {}>(): InsertFormSimpleReturn<StateType, {}, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>): InsertFormSimpleReturn<StateType, Insertion1, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, Insertion2, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<StateType, unknown, Insertion2, PreviousInsertionsOutputs & Insertion1>): InsertFormSimpleReturn<StateType, Insertion1 & Insertion2, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, Insertion2, Insertion3, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<StateType, unknown, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<StateType, unknown, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>): InsertFormSimpleReturn<StateType, Insertion1 & Insertion2 & Insertion3, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, Insertion2, Insertion3, Insertion4, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<StateType, unknown, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<StateType, unknown, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<StateType, unknown, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>): InsertFormSimpleReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<StateType, unknown, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<StateType, unknown, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<StateType, unknown, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<StateType, unknown, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>): InsertFormSimpleReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<StateType, unknown, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<StateType, unknown, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<StateType, unknown, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<StateType, unknown, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<StateType, unknown, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>): InsertFormSimpleReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<StateType, unknown, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<StateType, unknown, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<StateType, unknown, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<StateType, unknown, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<StateType, unknown, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsFormFactory<StateType, unknown, Insertion7, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>): InsertFormSimpleReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, Insertion8, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<StateType, unknown, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<StateType, unknown, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<StateType, unknown, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<StateType, unknown, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<StateType, unknown, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsFormFactory<StateType, unknown, Insertion7, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>, insertion8: InsertionsFormFactory<StateType, unknown, Insertion8, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>): InsertFormSimpleReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, Insertion8, Insertion9, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<StateType, unknown, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<StateType, unknown, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<StateType, unknown, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<StateType, unknown, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<StateType, unknown, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsFormFactory<StateType, unknown, Insertion7, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>, insertion8: InsertionsFormFactory<StateType, unknown, Insertion8, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>, insertion9: InsertionsFormFactory<StateType, unknown, Insertion9, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8>): InsertFormSimpleReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8 & Insertion9, PreviousInsertionsOutputs>;
+declare function insertForm<StateType, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, Insertion8, Insertion9, Insertion10, PreviousInsertionsOutputs = {}>(insertion1: InsertionsFormFactory<StateType, unknown, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<StateType, unknown, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<StateType, unknown, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<StateType, unknown, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<StateType, unknown, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<StateType, unknown, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsFormFactory<StateType, unknown, Insertion7, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>, insertion8: InsertionsFormFactory<StateType, unknown, Insertion8, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>, insertion9: InsertionsFormFactory<StateType, unknown, Insertion9, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8>, insertion10: InsertionsFormFactory<StateType, unknown, Insertion10, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8 & Insertion9>): InsertFormSimpleReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8 & Insertion9 & Insertion10, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>): InsertFormParallelReturn<StateType, {}, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>): InsertFormParallelReturn<StateType, Insertion1, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, Insertion2, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>): InsertFormParallelReturn<StateType, Insertion1 & Insertion2, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, Insertion2, Insertion3, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>): InsertFormParallelReturn<StateType, Insertion1 & Insertion2 & Insertion3, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, Insertion2, Insertion3, Insertion4, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>): InsertFormParallelReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>): InsertFormParallelReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>): InsertFormParallelReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion7, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>): InsertFormParallelReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, Insertion8, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion7, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>, insertion8: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion8, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>): InsertFormParallelReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, Insertion8, Insertion9, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion7, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>, insertion8: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion8, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>, insertion9: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion9, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8>): InsertFormParallelReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8 & Insertion9, PreviousInsertionsOutputs>;
+declare function insertForm<StateType extends unknown[], GroupIdentifier extends string | number, Insertion1, Insertion2, Insertion3, Insertion4, Insertion5, Insertion6, Insertion7, Insertion8, Insertion9, Insertion10, PreviousInsertionsOutputs = {}>(config: ParallelInsertFormConfig<ExtractItemType$1<StateType>, GroupIdentifier>, insertion1: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>, insertion6: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion6, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5>, insertion7: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion7, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6>, insertion8: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion8, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7>, insertion9: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion9, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8>, insertion10: InsertionsFormFactory<ExtractItemType$1<StateType>, GroupIdentifier, Insertion10, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8 & Insertion9>): InsertFormParallelReturn<StateType, Insertion1 & Insertion2 & Insertion3 & Insertion4 & Insertion5 & Insertion6 & Insertion7 & Insertion8 & Insertion9 & Insertion10, PreviousInsertionsOutputs>;
+
+declare const VALIDATOR_OUTPUT_SYMBOL: unique symbol;
+type ValidatorType = 'sync' | 'async';
+type ValidatorUtilBrand<Name, Type extends ValidatorType = ValidatorType, Meta extends object = {}> = {
+    __brand: Name;
+    type: Type;
+} & Meta;
+type ValidatorSuccess<Name extends string, Type extends ValidatorType = 'sync', Meta extends object = {}> = {
+    valid: true;
+} & ValidatorUtilBrand<Name, Type, Meta>;
+type ValidatorPending<Name extends string, Type extends ValidatorType = 'async', Meta extends object = {}> = {
+    valid: false;
+} & ValidatorUtilBrand<Name, Type, Meta>;
+type ValidatorExceptionOutput<Name extends string, Exceptions, Type extends ValidatorType, Meta extends object> = Exclude<Exceptions, undefined> extends never ? never : (Exclude<Exceptions, undefined> & ValidatorUtilBrand<Name, Type, Meta>) | ((Exclude<Exceptions, undefined>[] | readonly Exclude<Exceptions, undefined>[]) & ValidatorUtilBrand<Name, Type, Meta>);
+type DirectValidatorExecutionOutput<Name extends string, Exceptions, Type extends ValidatorType, Meta extends object> = undefined | ValidatorSuccess<Name, Type, Meta> | ValidatorPending<Name, Type, Meta> | ValidatorExceptionOutput<Name, Exceptions, Type, Meta>;
+type ValidatorRuntimeKind = 'signal';
+type ValidatorRuntime<Name extends string = string, Type extends ValidatorType = ValidatorType, Kind extends ValidatorRuntimeKind = ValidatorRuntimeKind> = {
+    readonly name: Name;
+    readonly type: Type;
+    readonly kind: Kind;
+};
+type ValidatorRuntimeCarrier<Name extends string = string, Type extends ValidatorType = ValidatorType, Kind extends ValidatorRuntimeKind = ValidatorRuntimeKind> = {
+    readonly [VALIDATOR_OUTPUT_SYMBOL]: ValidatorRuntime<Name, Type, Kind>;
+};
+type ValidatorOutput<TValue, Name extends string, Exceptions, Type extends ValidatorType = 'sync', Identifier = unknown, Meta extends object = {}, TPathKind extends PathKind = PathKind.Root> = ((context: ValidatorBindingContext<TValue, Identifier, TPathKind>) => Signal<DirectValidatorExecutionOutput<Name, Exceptions, Type, Meta>>) & ValidatorRuntimeCarrier<Name, Type, 'signal'>;
+type ValidatorModel<TValue> = () => {
+    value: () => TValue;
+};
+type ValidatorOption<TValue> = TValue | (() => TValue);
+type ValidatorConfig = {
+    when?: ValidatorOption<boolean>;
+};
+type ValidatorBindingContext<TValue, Identifier = unknown, TPathKind extends PathKind = PathKind.Root> = {
+    schemaPath: SchemaPath<TValue, SchemaPathRules.Supported, TPathKind>;
+    errors: Signal<ValidationError.WithFieldTree[]>;
+} & ([unknown] extends [Identifier] ? {
+    identifier?: undefined;
+} : {
+    identifier: Identifier;
+});
+type ValueWithLengthOrSize = {
+    length: number;
+} | {
+    size: number;
+};
+type ValidatorException<Code extends string, Payload = undefined> = CraftExceptionResult<{
+    code: Code;
+}, Payload>;
+type CRequiredException = ValidatorException<'required'>;
+type CEmailException = ValidatorException<'email'>;
+type CMinException = ValidatorException<'min', number>;
+type CMaxException = ValidatorException<'max', number>;
+type CMinLengthException = ValidatorException<'minLength', number>;
+type CMaxLengthException = ValidatorException<'maxLength', number>;
+type CPatternException = ValidatorException<'pattern', RegExp>;
+type CRequiredConfig<TValue> = ValidatorConfig;
+type CEmailConfig<TValue extends string | null | undefined> = ValidatorConfig;
+type CMinConfig<TValue extends number | string | null | undefined> = ValidatorConfig & ({
+    min: ValidatorOption<number | undefined>;
+    minValue?: never;
+} | {
+    min?: never;
+    minValue: ValidatorOption<number | undefined>;
+});
+type CMaxConfig<TValue extends number | string | null | undefined> = ValidatorConfig & ({
+    max: ValidatorOption<number | undefined>;
+    maxValue?: never;
+} | {
+    max?: never;
+    maxValue: ValidatorOption<number | undefined>;
+});
+type CMinLengthConfig<TValue extends ValueWithLengthOrSize> = ValidatorConfig & {
+    minLength: ValidatorOption<number | undefined>;
+};
+type CMaxLengthConfig<TValue extends ValueWithLengthOrSize> = ValidatorConfig & {
+    maxLength: ValidatorOption<number | undefined>;
+};
+type CPatternConfig<TValue extends string | null | undefined> = ValidatorConfig & {
+    pattern: ValidatorOption<RegExp | undefined>;
+};
+type CValidateBaseConfig<TValue, Name extends string, Identifier = unknown, TPathKind extends PathKind = PathKind.Root> = {
+    name: Name;
+    type?: 'sync';
+};
+type CValidateAdvancedSyncConfig<TValue, Name extends string, Exceptions, Identifier = unknown, TPathKind extends PathKind = PathKind.Root> = CValidateBaseConfig<TValue, Name, Identifier, TPathKind> & {
+    validate: (context: ValidatorBindingContext<TValue, Identifier, TPathKind>) => Signal<Exceptions | undefined>;
+};
+type CValidateSimpleSyncConfig<TValue, Name extends string, Exceptions, Identifier = unknown, TPathKind extends PathKind = PathKind.Root> = CValidateBaseConfig<TValue, Name, Identifier, TPathKind> & ValidatorConfig & {
+    validWhen: ValidatorOption<boolean>;
+    exception: ValidatorOption<Exceptions>;
+};
+type CValidateSyncConfig<TValue, Name extends string, Exceptions, Identifier = unknown, TPathKind extends PathKind = PathKind.Root> = CValidateAdvancedSyncConfig<TValue, Name, Exceptions, Identifier, TPathKind> | CValidateSimpleSyncConfig<TValue, Name, Exceptions, Identifier, TPathKind>;
+type AnyAsyncCraftResourceRef = ResourceLikeQueryRef<any, any, any, any, any, any, any> | ResourceByIdLikeQueryRef<any, any, any, any, any, any, any, any> | ResourceLikeMutationRef<any, any, any, any, any, any, any> | ResourceByIdLikeMutationRef<any, any, any, any, any, any, any, any>;
+type AsyncValidatorResourceTarget<TResourceRef> = TResourceRef extends {
+    select: (...args: any[]) => infer SelectedResource;
+} ? NonNullable<SelectedResource> : TResourceRef;
+type AsyncValidatorResourceIdentifier<TResourceRef> = TResourceRef extends ResourceByIdLikeQueryRef<any, any, any, any, any, any, infer Identifier, any> ? Identifier : TResourceRef extends ResourceByIdLikeMutationRef<any, any, any, any, any, any, infer Identifier, any> ? Identifier : unknown;
+type AsyncValidatorResourceExceptionUnion<TResource> = TResource extends {
+    exceptions: Signal<{
+        list: (infer Exception)[];
+    }>;
+} ? Exception : never;
+type ExtractValidatorExceptionItems<T> = T extends readonly (infer Item)[] ? Item : T;
+type AsyncValidatorContext<TValue, TResourceRef extends AnyAsyncCraftResourceRef, Identifier = unknown, TPathKind extends PathKind = PathKind.Root, TResource = AsyncValidatorResourceTarget<TResourceRef>, ResourceExceptions = AsyncValidatorResourceExceptionUnion<TResource>, ResourceExceptionCodes = ExtractCodeFromCraftResultUnion<ResourceExceptions>> = ValidatorBindingContext<TValue, Identifier, TPathKind> & {
+    validateAsyncCraftResource: TResource;
+    omitExceptions: <C extends ResourceExceptionCodes>(codes: readonly C[]) => ExcludeByCode<ResourceExceptions, C>[];
+};
+type IsValidAsyncExceptions<T> = [unknown] extends [T] ? true : NonNullable<T> extends AnyCraftException ? true : NonNullable<T> extends readonly (infer Item)[] ? Item extends AnyCraftException ? true : false : false;
+type HasValidAsyncExceptionReturn<SuccessExceptions, ErrorExceptions, ExceptionExceptions> = IsValidAsyncExceptions<SuccessExceptions> extends true ? IsValidAsyncExceptions<ErrorExceptions> extends true ? IsValidAsyncExceptions<ExceptionExceptions> extends true ? true : {
+    success: true;
+    error: true;
+    exceptions: false;
+} : {
+    success: true;
+    error: false;
+    exceptions: IsValidAsyncExceptions<ExceptionExceptions>;
+} : {
+    success: false;
+    error: IsValidAsyncExceptions<ErrorExceptions>;
+    exceptions: IsValidAsyncExceptions<ExceptionExceptions>;
+};
+type ValidationDetails$1 = {
+    success: boolean;
+    error: boolean;
+    exceptions: boolean;
+};
+type InvalidAsyncExceptionsMessage<T> = T extends true ? never : T extends ValidationDetails$1 ? `Not valid ${(T['success'] extends false ? 'exceptionsOnSuccess callback' : never) | (T['error'] extends false ? 'error callback' : never) | (T['exceptions'] extends false ? 'onException callback' : never)}` : never;
+type CAsyncValidateConfig<TValue, Name extends string, TResourceRef extends AnyAsyncCraftResourceRef, SuccessExceptions, ErrorExceptions, ExceptionExceptions, Identifier = unknown, TPathKind extends PathKind = PathKind.Root> = MergeObjects$1<[
+    ValidatorConfig & {
+        name: Name;
+        isValidSuccess?: (context: AsyncValidatorContext<TValue, TResourceRef, Identifier, TPathKind>) => boolean;
+        exceptionsOnSuccess?: (context: AsyncValidatorContext<TValue, TResourceRef, Identifier, TPathKind>) => SuccessExceptions;
+        error?: (context: AsyncValidatorContext<TValue, TResourceRef, Identifier, TPathKind>) => ErrorExceptions;
+        onException?: (context: AsyncValidatorContext<TValue, TResourceRef, Identifier, TPathKind>) => ExceptionExceptions;
+    },
+    HasValidAsyncExceptionReturn<SuccessExceptions, ErrorExceptions, ExceptionExceptions> extends true ? {} : {
+        typingError: `cAsyncValidate callbacks must only return Craft exceptions, arrays of Craft exceptions, or undefined. ${InvalidAsyncExceptionsMessage<HasValidAsyncExceptionReturn<SuccessExceptions, ErrorExceptions, ExceptionExceptions>>}`;
+    }
+]>;
+type ToAsyncValidatorExceptions<ResourceExceptions, SuccessExceptions, ErrorExceptions, ExceptionExceptions> = [unknown] extends [ExceptionExceptions] ? Exclude<ResourceExceptions | ExtractValidatorExceptionItems<SuccessExceptions> | ExtractValidatorExceptionItems<ErrorExceptions>, undefined> : Exclude<ExtractValidatorExceptionItems<SuccessExceptions> | ExtractValidatorExceptionItems<ErrorExceptions> | ExtractValidatorExceptionItems<ExceptionExceptions>, undefined>;
+declare function cRequired<TValue>(config?: CRequiredConfig<TValue>): ValidatorOutput<TValue, 'cRequired', CRequiredException>;
+declare function cEmail<TValue extends string | null | undefined>(config?: CEmailConfig<TValue>): ValidatorOutput<TValue, 'cEmail', CEmailException>;
+declare function cMin<TValue extends number | string | null | undefined>(config: CMinConfig<TValue>): ValidatorOutput<TValue, 'cMin', CMinException>;
+declare function cMax<TValue extends number | string | null | undefined>(config: CMaxConfig<TValue>): ValidatorOutput<TValue, 'cMax', CMaxException>;
+declare function cMinLength<TValue extends ValueWithLengthOrSize>(config: CMinLengthConfig<TValue>): ValidatorOutput<TValue, 'cMinLength', CMinLengthException>;
+declare function cMaxLength<TValue extends ValueWithLengthOrSize>(config: CMaxLengthConfig<TValue>): ValidatorOutput<TValue, 'cMaxLength', CMaxLengthException>;
+declare function cPattern<TValue extends string | null | undefined>(config: CPatternConfig<TValue>): ValidatorOutput<TValue, 'cPattern', CPatternException>;
+declare function cValidate<TValue, const Name extends string, Exceptions, Identifier = unknown, TPathKind extends PathKind = PathKind.Root>(config: CValidateSyncConfig<TValue, Name, Exceptions, Identifier, TPathKind>): ValidatorOutput<TValue, Name, Exceptions, 'sync', Identifier, {}, TPathKind>;
+declare const cValidator: typeof cValidate;
+declare function cAsyncValidate<TValue, TResourceRef extends AnyAsyncCraftResourceRef, const Name extends string, SuccessExceptions = undefined, ErrorExceptions = undefined, ExceptionExceptions = unknown, TPathKind extends PathKind = PathKind.Root, Identifier = AsyncValidatorResourceIdentifier<TResourceRef>>(resourceRef: TResourceRef, config: CAsyncValidateConfig<TValue, Name, TResourceRef, SuccessExceptions, ErrorExceptions, ExceptionExceptions, Identifier, TPathKind>): ValidatorOutput<TValue, Name, ToAsyncValidatorExceptions<AsyncValidatorResourceExceptionUnion<AsyncValidatorResourceTarget<TResourceRef>>, SuccessExceptions, ErrorExceptions, ExceptionExceptions>, 'async', Identifier, {}, TPathKind>;
+declare const cAsyncValidator: typeof cAsyncValidate;
+
+type FormAttributeInput<T> = Signal<T> | (() => T);
+type AnySignalValidatorOutput = ValidatorOutput<any, string, any, any, any, any, any>;
+type FormNodeExceptions = {
+    list: unknown[];
+    byValidator: Record<string, unknown>;
+};
+type InsertFormAttributesConfig<S, Validators extends AnySignalValidatorOutput = never> = {
+    disable?: FormAttributeInput<boolean>;
+    hidden?: FormAttributeInput<boolean>;
+    readonly?: FormAttributeInput<boolean>;
+    validators?: Validators[];
+};
+type InsertFormAttributesContext<TValue, PreviousInsertionsOutputs = {}, FormIdentifier extends string | number | unknown = unknown> = InsertionFormFactoryContext<TValue, PreviousInsertionsOutputs, FormIdentifier> & {
+    nodeModel: ValidatorModel<TValue>;
+};
+type ExtractValidatorMetadata<Validator> = Validator extends ValidatorOutput<infer TValue, infer Name, infer Exceptions, infer Type, infer Identifier, infer Meta, infer TPathKind> ? Exceptions : never;
+type ExceptionsByValidatorFromTuple<ExceptionsTuple extends unknown[], Acc = {}> = ExceptionsTuple extends [infer Head, ...infer Tail] ? ExceptionsByValidatorFromTuple<Tail, Head extends CraftExceptionResult<infer M, infer P> ? MergeObject$1<Acc, {
+    [Key in M['code']]: Head;
+}> : Head> : Prettify<Acc>;
+type ExceptionsList<Exception> = UnionToTuple$1<ExtractValidatorMetadata<NonNullable<Exception>>>;
+type ExceptionsByValidator<Validators> = ExceptionsByValidatorFromTuple<UnionToTuple$1<ExtractValidatorMetadata<NonNullable<Validators>>>>;
+declare function insertFormAttributes<StateType, Validators extends AnySignalValidatorOutput = never, FormIdentifier extends string | number | unknown = unknown, PreviousInsertionsOutputs = {}>(_factory: (context: InsertFormAttributesContext<StateType, PreviousInsertionsOutputs, FormIdentifier>) => InsertFormAttributesConfig<StateType, Validators>): InsertionsFormFactory<StateType, FormIdentifier, {
+    exceptions: Signal<{
+        list: ExceptionsList<Validators>;
+        byValidator: ExceptionsByValidator<NonNullable<Validators>>;
+    }>;
+    /**
+     * Exceptions that should be visible to the user. By default, all exceptions are hidden until the field is dirty or the form has been attempted to be submitted at least once.
+     */
+    visibleExceptions: Signal<{
+        list: ExceptionsList<Validators>;
+        byValidator: ExceptionsByValidator<NonNullable<Validators>>;
+    }>;
+    hasExceptions: Signal<boolean>;
+}, PreviousInsertionsOutputs>;
+
+type ExtractItemType<T> = T extends readonly (infer Item)[] ? Item : never;
+type MergeInsertions<Insertions extends readonly unknown[], Acc = {}> = Insertions extends readonly [infer Head, ...infer Tail] ? MergeInsertions<Tail, Acc & Head> : Acc;
+type SelectedFormTreeTarget<StateType, Name extends string> = StateType extends readonly (infer Item)[] ? Extract<Item, object> : StateType extends Record<string, unknown> ? Name extends keyof StateType ? StateType[Name] : never : never;
+type IsArray<T> = T extends any[] ? true : false;
+type MaybeFormWithInsertions<Model, Insertions> = [Model] extends [never] ? never : undefined extends Model ? FormWithInsertions<Extract<Model, object>, Insertions> | undefined : FormWithInsertions<Extract<Model, object>, Insertions>;
+type SelectFormTreeMethodName<Name extends string> = `select${Capitalize<Name>}`;
+type ArrayInsertSelectFormTreeOutput<StateType, Name extends string, Insertions extends readonly unknown[]> = {
+    [K in SelectFormTreeMethodName<Name>]: (id: number) => FormWithInsertions<Extract<ExtractItemType<StateType>, object>, MergeInsertions<Insertions>> | undefined;
+} & {
+    items: () => Array<FormWithInsertions<Extract<ExtractItemType<StateType>, object>, MergeInsertions<Insertions>>>;
+};
+type ObjectInsertSelectFormTreeOutput<StateType, Name extends string, Insertions extends readonly unknown[]> = {
+    [K in SelectFormTreeMethodName<Name>]: () => MaybeFormWithInsertions<StateType extends Record<string, unknown> ? Name extends keyof StateType ? StateType[Name] : never : never, MergeInsertions<Insertions>>;
+};
+type InsertSelectFormTreeReturn<StateType, Name extends string, FormIdentifier extends string | number | unknown, Insertions extends readonly unknown[], PreviousInsertionsOutputs> = InsertionsFormFactory<StateType, FormIdentifier, StateType extends readonly unknown[] ? ArrayInsertSelectFormTreeOutput<StateType, Name, Insertions> : ObjectInsertSelectFormTreeOutput<StateType, Name, Insertions>, PreviousInsertionsOutputs>;
+declare function insertSelectFormTree<StateType, const Name extends AutoCompleteName & string, FormIdentifier extends string | number | unknown = unknown, Insertion1 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = NoInfer<StateType> extends readonly object[] ? string : keyof NoInfer<StateType>>(name: Name, insertion1: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion1, PreviousInsertionsOutputs>): InsertSelectFormTreeReturn<[
+    Name
+] extends [keyof StateType] ? IsArray<StateType[Name]> extends true ? `craft-ng error, typing limitation: insertSelectFormTree does not currently support selecting items from an array property in first insertion position (e.g. insertSelectFormTree('addresses', insertSelectFormTree('address', ...))). Consider using insertNoopTypingAnchor:
+    insertSelectFormTree('${Name}', insertNoopTypingAnchor, insertSelectFormTree(...)) ` : StateType : StateType, Name, FormIdentifier, [
+    Insertion1
+], PreviousInsertionsOutputs>;
+declare function insertSelectFormTree<StateType, const Name extends AutoCompleteName & string, FormIdentifier extends string | number | unknown = unknown, Insertion1 = {}, Insertion2 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = StateType extends readonly object[] ? string : keyof StateType>(name: Name, insertion1: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>): InsertSelectFormTreeReturn<StateType, Name, FormIdentifier, [
+    Insertion1,
+    Insertion2
+], PreviousInsertionsOutputs>;
+declare function insertSelectFormTree<StateType, const Name extends AutoCompleteName & string, FormIdentifier extends string | number | unknown = unknown, Insertion1 = {}, Insertion2 = {}, Insertion3 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = StateType extends readonly object[] ? string : keyof StateType>(name: Name, insertion1: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>): InsertSelectFormTreeReturn<StateType, Name, FormIdentifier, [
+    Insertion1,
+    Insertion2,
+    Insertion3
+], PreviousInsertionsOutputs>;
+declare function insertSelectFormTree<StateType, const Name extends AutoCompleteName & string, FormIdentifier extends string | number | unknown = unknown, Insertion1 = {}, Insertion2 = {}, Insertion3 = {}, Insertion4 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = StateType extends readonly object[] ? string : keyof StateType>(name: Name, insertion1: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>): InsertSelectFormTreeReturn<StateType, Name, FormIdentifier, [
+    Insertion1,
+    Insertion2,
+    Insertion3,
+    Insertion4
+], PreviousInsertionsOutputs>;
+declare function insertSelectFormTree<StateType, const Name extends AutoCompleteName & string, FormIdentifier extends string | number | unknown = unknown, Insertion1 = {}, Insertion2 = {}, Insertion3 = {}, Insertion4 = {}, Insertion5 = {}, PreviousInsertionsOutputs = {}, AutoCompleteName = StateType extends readonly object[] ? string : keyof StateType>(name: Name, insertion1: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion1, PreviousInsertionsOutputs>, insertion2: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion2, PreviousInsertionsOutputs & Insertion1>, insertion3: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion3, PreviousInsertionsOutputs & Insertion1 & Insertion2>, insertion4: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion4, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3>, insertion5: InsertionsFormFactory<SelectedFormTreeTarget<StateType, Name>, FormIdentifier, Insertion5, PreviousInsertionsOutputs & Insertion1 & Insertion2 & Insertion3 & Insertion4>): InsertSelectFormTreeReturn<StateType, Name, FormIdentifier, [
+    Insertion1,
+    Insertion2,
+    Insertion3,
+    Insertion4,
+    Insertion5
+], PreviousInsertionsOutputs>;
+
+type SubmitExceptionUnion<SubmitCraftResource> = SubmitCraftResource extends {
+    exceptions: Signal<{
+        list: (infer ExceptionList)[];
+    }>;
+} ? ExceptionList : AnyCraftException;
+type SubmitContext<FormValue, MutationValue, MutationParams, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions extends ResourceExceptionConstraints, SubmitCraftResource = ResourceLikeMutationRef<MutationValue, MutationParams, true, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions>, SubmitExceptions = ExtractCodeFromCraftResultUnion<SubmitExceptionUnion<SubmitCraftResource>>> = {
+    submitCraftResource: SubmitCraftResource;
+    form: FormWithInsertions<FormValue, {}>;
+    exceptions: SubmitExceptionUnion<SubmitCraftResource>;
+    omitExceptions: <C extends SubmitExceptions>(codes: readonly C[]) => ExcludeByCode<SubmitExceptionUnion<SubmitCraftResource>, C>;
+};
+type IsValidExceptions<T> = NonNullable<T> extends AnyCraftException ? true : [unknown] extends [T] ? true : false;
+type HasReturnValidExceptions<SuccessExceptions, ErrorExceptions, ExceptionExceptions> = IsValidExceptions<SuccessExceptions> extends true ? IsValidExceptions<ErrorExceptions> extends true ? IsValidExceptions<ExceptionExceptions> extends true ? true : {
+    success: true;
+    error: true;
+    exceptions: false;
+} : {
+    success: true;
+    error: false;
+    exceptions: IsValidExceptions<ExceptionExceptions>;
+} : {
+    success: false;
+    error: IsValidExceptions<ErrorExceptions>;
+    exceptions: IsValidExceptions<ExceptionExceptions>;
+};
+type ValidationDetails = {
+    success: boolean;
+    error: boolean;
+    exceptions: boolean;
+};
+type InvalidExceptionsMessage<T> = T extends true ? never : T extends ValidationDetails ? `Not valid ${(T['success'] extends false ? 'success callback' : never) | (T['error'] extends false ? 'error callback' : never) | (T['exceptions'] extends false ? 'exceptions callback' : never)}` : never;
+type InsertFormSubmitConfig<FormValue, SuccessExceptions, ErrorExceptions, ExceptionExceptions, MutationValue, MutationParams, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions extends ResourceExceptionConstraints, MutationIdentifier extends string | number | unknown, FormIdentifier extends string | number | unknown> = MergeObjects$1<[
+    {
+        /**
+         * Add more exceptions on success, for example to handle specific cases where the resource returns a successful response but you want to display an exception
+         */
+        success?: (context: SubmitContext<FormValue, MutationValue, MutationParams, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions>) => SuccessExceptions;
+        /**
+         * Add more exceptions on error, for example to handle specific cases where the resource returns an error response but you want to display a different exception
+         */
+        error?: (context: SubmitContext<FormValue, MutationValue, MutationParams, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions>) => ErrorExceptions;
+        /**
+         * Override and add more exceptions on exception, for example to handle specific cases where the resource throws an exception but you want to display a different exception
+         */
+        exception?: (context: SubmitContext<FormValue, MutationValue, MutationParams, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions>) => ExceptionExceptions;
+    },
+    HasReturnValidExceptions<SuccessExceptions, ErrorExceptions, ExceptionExceptions> extends true ? {} : {
+        typingError: `insertFormSubmit callbacks must only return Craft exceptions or undefined. ${InvalidExceptionsMessage<HasReturnValidExceptions<SuccessExceptions, ErrorExceptions, ExceptionExceptions>>}`;
+    },
+    [
+        unknown
+    ] extends [FormIdentifier] ? {} : {
+        filter?: ({ formIdentifier, mutationIdentifier, mutationResource, }: {
+            formIdentifier: FormIdentifier;
+            mutationIdentifier: MutationIdentifier;
+            mutationResource: ResourceLikeMutationRef<MutationValue, MutationParams, true, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions>;
+        }) => boolean;
+    }
+]>;
+type ToSubmitExceptions<SubmitExceptions extends AnyCraftException | undefined | unknown, SuccessExceptions, ErrorExceptions, ExceptionExceptions, FormIdentifier extends string | number | unknown> = [unknown] extends [ExceptionExceptions] ? Exclude<SubmitExceptions & InsertMetaInCraftExceptionIfExists<SuccessExceptions, 'insertFormSubmitSuccess', FormIdentifier> & InsertMetaInCraftExceptionIfExists<ErrorExceptions, 'insertFormSubmitError', FormIdentifier>, undefined> : Exclude<InsertMetaInCraftExceptionIfExists<ExceptionExceptions, 'insertFormSubmitException', FormIdentifier> | InsertMetaInCraftExceptionIfExists<SuccessExceptions, 'insertFormSubmitSuccess', FormIdentifier> | InsertMetaInCraftExceptionIfExists<ErrorExceptions, 'insertFormSubmitError', FormIdentifier>, undefined>;
+declare function insertFormSubmit<FormValue, MutationValue, MutationParams, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions extends ResourceExceptionConstraints, SuccessExceptions, ErrorExceptions, ExceptionExceptions>(submitCraftResource: ResourceLikeMutationRef<MutationValue, MutationParams, true, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions>, config?: InsertFormSubmitConfig<FormValue, SuccessExceptions, ErrorExceptions, ExceptionExceptions, NoInfer<MutationValue>, NoInfer<MutationParams>, NoInfer<MutationArgParams>, NoInfer<MutationSourceParams>, NoInfer<MutationInsertions>, NoInfer<MutationExceptions>, unknown, unknown>): InsertionsFormFactory<FormValue, unknown, {
+    submit: () => void;
+    hasSubmitExceptions: Signal<boolean>;
+    submitExceptions: Signal<ToSubmitExceptions<InsertMetaInCraftExceptionIfExists<MutationExceptions['params'], 'params', unknown> | InsertMetaInCraftExceptionIfExists<MutationExceptions['loader'], 'loader', unknown>, SuccessExceptions, ErrorExceptions, ExceptionExceptions, unknown>[]>;
+}>;
+declare function insertFormSubmit<FormValue, MutationValue, MutationParams, MutationArgParams, MutationSourceParams, MutationInsertions, MutationExceptions extends ResourceExceptionConstraints, SuccessExceptions, ErrorExceptions, ExceptionExceptions, MutationIdentifier extends string | number, FormIdentifier extends string | number>(submitCraftResourceById: ResourceByIdLikeMutationRef<MutationValue, MutationParams, true, MutationArgParams, MutationSourceParams, MutationInsertions, MutationIdentifier, MutationExceptions>, config?: InsertFormSubmitConfig<FormValue, SuccessExceptions, ErrorExceptions, ExceptionExceptions, NoInfer<MutationValue>, NoInfer<MutationParams>, NoInfer<MutationArgParams>, NoInfer<MutationSourceParams>, NoInfer<MutationInsertions>, NoInfer<MutationExceptions>, NoInfer<MutationIdentifier>, NoInfer<FormIdentifier>>): InsertionsFormFactory<FormValue, FormIdentifier, {
+    submit: () => void;
+    hasSubmitExceptions: Signal<boolean>;
+    submitExceptions: Signal<ToSubmitExceptions<InsertMetaInCraftExceptionIfExists<MutationExceptions['params'], 'params', MutationIdentifier> | InsertMetaInCraftExceptionIfExists<MutationExceptions['loader'], 'loader', MutationIdentifier>, SuccessExceptions, ErrorExceptions, ExceptionExceptions, FormIdentifier>[]>;
+}>;
+
+export { CRAFT_EXCEPTION_SYMBOL, EXTERNALLY_PROVIDED, EmptyContext, GlobalPersisterHandlerService, STORE_CONFIG_TOKEN, SourceBrand, SourceBranded, VALIDATOR_OUTPUT_SYMBOL, addMany, addOne, afterRecomputation, asyncProcess, cAsyncValidate, cAsyncValidator, cEmail, cMax, cMaxLength, cMin, cMinLength, cPattern, cRequired, cValidate, cValidator, capitalize, computedIds, computedSource, computedTotal, contract, craft, craftAsyncProcesses, craftComputedStates, craftException, craftFactoryEntries, craftInject, craftInputs, craftMutations, craftQuery, craftQueryParam, craftQueryParams, craftSetAllQueriesParamsStandalone, craftSources, craftState, createMethodHandlers, fromEventToSource$, injectService, insertForm, insertFormAttributes, insertFormSubmit, insertLocalStoragePersister, insertNoopTypingAnchor, insertPaginationPlaceholderData, insertReactOnMutation, insertSelect, insertSelectFormTree, isCraftException, isSource, linkedSource, localStoragePersister, map, mapOne, mutation, on$, partialContext, query, queryParam, reactiveWritableSignal, removeAll, removeMany, removeOne, resourceById, serializeQueryParams, serializedQueryParamsObjectToString, setAll, setMany, setOne, signalSource, source$, sourceFromEvent, stackedSource, state, toInject, toSource, toggleMany, toggleOne, updateMany, updateOne, upsertMany, upsertOne, validatedFormValueSymbol };
+export type { AnyCraftException, AsyncProcessExceptionConstraints, AsyncProcessOutput, AsyncProcessRef, CEmailException, CMaxException, CMaxLengthException, CMinException, CMinLengthException, CRequiredException, CloudProxy, CloudProxySource, ContextConstraints, ContextInput, CraftException, CraftExceptionMeta, CraftExceptionResult, CraftFactory, CraftFactoryEntries, CraftFactoryUtility, DeferredExtract, EntitiesUtilBrand, EqualParams, ExcludeByCode, ExcludeCommonKeys, ExposedStateInsertions, ExtractCodeFromCraftResultUnion, ExtractCraftException, ExtractSignalPropsAndMethods, FilterMethodsBoundToSources, FilterPrivateFields, FilterSource, FlatRecord, FormNodeExceptions, FormWithInsertions, FromEventToSource$, HasChild$1 as HasChild, HasKeys, IdSelector, Identifier, InferInjectedType, InjectService2InsertionContext, InjectService2InsertionFactory, InjectService2Insertions, InjectService2Output, InjectService2Public, InsertFormAttributesConfig, InsertFormAttributesContext, InsertMetaInCraftExceptionIfExists, InsertionFormFactoryContext, InsertionsFormFactory, IsAny, IsEmptyObject, IsNever, IsUnknown, MakeOptionalPropertiesRequired$1 as MakeOptionalPropertiesRequired, MergeObject$1 as MergeObject, MergeObjects$1 as MergeObjects, MergeTwoContexts, MutationOutput, MutationRef, Not, OmitStrict, PartialContext, Prettify, QueryOutput, QueryParamConfig, QueryParamExceptions, QueryParamNavigationOptions$1 as QueryParamNavigationOptions, QueryParamOutput, QueryParamsToState, QueryRef, ReadonlySource, ReadonlySource$, RemoveIndexSignature, ReplaceStoreConfigToken, ResourceByIdHandler, ResourceByIdLikeAsyncProcessExceptions, ResourceByIdLikeExceptions, ResourceByIdLikeMutationExceptions, ResourceByIdLikeMutationRef, ResourceByIdLikeQueryRef, ResourceByIdRef, ResourceLikeAsyncProcessExceptions, ResourceLikeExceptions, ResourceLikeMutationExceptions, ResourceLikeMutationRef, ResourceLikeQueryRef, SignalSource, Source$, SourceFromEvent, SourceSetterMethods, SourceSubscribe, SpecificCraftQueryParamOutputs, SpecificCraftQueryParamsOutputs, StackSource, StateOutput, StoreConfigConstraints, StoreConfigToken, StripCraftException, ToConnectableMethodFromInject, ToConnectableSourceFromInject, ToInjectBindings, UnionToIntersection$1 as UnionToIntersection, UnionToTuple$1 as UnionToTuple, Update, ValidatedFormValue, ValidatorBindingContext, ValidatorModel, ValidatorOutput, ValidatorPending, ValidatorSuccess, ValidatorType, ValidatorUtilBrand };