@soda-gql/core 0.0.2 → 0.0.3

package/dist/{index-AuafI3MM.d.ts → index-B0eMtGow.d.ts}

@@ -1,7 +1,7 @@
 import { ConstValueNode, FormattedExecutionResult, GraphQLFormattedError, NamedTypeNode, OperationTypeNode, TypeNode, ValueNode } from "graphql";
 import { TypedDocumentNode } from "@graphql-typed-document-node/core";
 
-//#region packages/core/src/types/schema/const-value.d.ts
+//#region packages/core/src/types/type-foundation/const-value.d.ts
 type ConstValue = string | number | boolean | null | undefined | {
   readonly [key: string]: ConstValue;
 } | readonly ConstValue[];
@@ -9,32 +9,153 @@ type ConstValues = {
   readonly [key: string]: ConstValue;
 };
 //#endregion
-//#region packages/core/src/utils/hidden.d.ts
-declare const hidden: <T>() => (() => T);
-type Hidden<T> = () => T;
+//#region packages/core/src/types/type-foundation/type-modifier-core.generated.d.ts
+type TypeModifier = string;
+type ValidTypeModifier = "!" | "?" | "![]!" | "![]?" | "?[]!" | "?[]?" | "![]![]!" | "![]![]?" | "![]?[]!" | "![]?[]?" | "?[]![]!" | "?[]![]?" | "?[]?[]!" | "?[]?[]?" | "![]![]![]!" | "![]![]![]?" | "![]![]?[]!" | "![]![]?[]?" | "![]?[]![]!" | "![]?[]![]?" | "![]?[]?[]!" | "![]?[]?[]?" | "?[]![]![]!" | "?[]![]![]?" | "?[]![]?[]!" | "?[]![]?[]?" | "?[]?[]![]!" | "?[]?[]![]?" | "?[]?[]?[]!" | "?[]?[]?[]?";
+interface Op$1<T$1> {
+  readonly 0: T$1[];
+  readonly 1: T$1[] | null | undefined;
+}
+type Modified_0<T$1> = T$1;
+type Modified_1<T$1> = T$1 | null | undefined;
+type Modified_00<T$1> = Op$1<Modified_0<T$1>>[0];
+type Modified_01<T$1> = Op$1<Modified_0<T$1>>[1];
+type Modified_10<T$1> = Op$1<Modified_1<T$1>>[0];
+type Modified_11<T$1> = Op$1<Modified_1<T$1>>[1];
+type Modified_000<T$1> = Op$1<Modified_00<T$1>>[0];
+type Modified_001<T$1> = Op$1<Modified_00<T$1>>[1];
+type Modified_010<T$1> = Op$1<Modified_01<T$1>>[0];
+type Modified_011<T$1> = Op$1<Modified_01<T$1>>[1];
+type Modified_100<T$1> = Op$1<Modified_10<T$1>>[0];
+type Modified_101<T$1> = Op$1<Modified_10<T$1>>[1];
+type Modified_110<T$1> = Op$1<Modified_11<T$1>>[0];
+type Modified_111<T$1> = Op$1<Modified_11<T$1>>[1];
+type Modified_0000<T$1> = Op$1<Modified_000<T$1>>[0];
+type Modified_0001<T$1> = Op$1<Modified_000<T$1>>[1];
+type Modified_0010<T$1> = Op$1<Modified_001<T$1>>[0];
+type Modified_0011<T$1> = Op$1<Modified_001<T$1>>[1];
+type Modified_0100<T$1> = Op$1<Modified_010<T$1>>[0];
+type Modified_0101<T$1> = Op$1<Modified_010<T$1>>[1];
+type Modified_0110<T$1> = Op$1<Modified_011<T$1>>[0];
+type Modified_0111<T$1> = Op$1<Modified_011<T$1>>[1];
+type Modified_1000<T$1> = Op$1<Modified_100<T$1>>[0];
+type Modified_1001<T$1> = Op$1<Modified_100<T$1>>[1];
+type Modified_1010<T$1> = Op$1<Modified_101<T$1>>[0];
+type Modified_1011<T$1> = Op$1<Modified_101<T$1>>[1];
+type Modified_1100<T$1> = Op$1<Modified_110<T$1>>[0];
+type Modified_1101<T$1> = Op$1<Modified_110<T$1>>[1];
+type Modified_1110<T$1> = Op$1<Modified_111<T$1>>[0];
+type Modified_1111<T$1> = Op$1<Modified_111<T$1>>[1];
+type ApplyTypeModifier<T$1, M extends TypeModifier> = M extends "!" ? Modified_0<T$1> : M extends "?" ? Modified_1<T$1> : M extends "![]!" ? Modified_00<T$1> : M extends "![]?" ? Modified_01<T$1> : M extends "?[]!" ? Modified_10<T$1> : M extends "?[]?" ? Modified_11<T$1> : M extends "![]![]!" ? Modified_000<T$1> : M extends "![]![]?" ? Modified_001<T$1> : M extends "![]?[]!" ? Modified_010<T$1> : M extends "![]?[]?" ? Modified_011<T$1> : M extends "?[]![]!" ? Modified_100<T$1> : M extends "?[]![]?" ? Modified_101<T$1> : M extends "?[]?[]!" ? Modified_110<T$1> : M extends "?[]?[]?" ? Modified_111<T$1> : M extends "![]![]![]!" ? Modified_0000<T$1> : M extends "![]![]![]?" ? Modified_0001<T$1> : M extends "![]![]?[]!" ? Modified_0010<T$1> : M extends "![]![]?[]?" ? Modified_0011<T$1> : M extends "![]?[]![]!" ? Modified_0100<T$1> : M extends "![]?[]![]?" ? Modified_0101<T$1> : M extends "![]?[]?[]!" ? Modified_0110<T$1> : M extends "![]?[]?[]?" ? Modified_0111<T$1> : M extends "?[]![]![]!" ? Modified_1000<T$1> : M extends "?[]![]![]?" ? Modified_1001<T$1> : M extends "?[]![]?[]!" ? Modified_1010<T$1> : M extends "?[]![]?[]?" ? Modified_1011<T$1> : M extends "?[]?[]![]!" ? Modified_1100<T$1> : M extends "?[]?[]![]?" ? Modified_1101<T$1> : M extends "?[]?[]?[]!" ? Modified_1110<T$1> : M extends "?[]?[]?[]?" ? Modified_1111<T$1> : never;
 //#endregion
-//#region packages/core/src/types/schema/type-modifier.d.ts
-type AnyTypeModifier = string;
-type TypeModifier = "?" | `!${string}` | `[]${string}`;
-type ListTypeModifierSuffix = "[]" | "[]!";
-type StripTailingListFromTypeModifier<TModifier extends TypeModifier> = TModifier extends `${infer TInner extends TypeModifier}${ListTypeModifierSuffix}` ? TInner : TModifier;
-type ApplyTypeModifier<TModifier extends TypeModifier, TInner> = TModifier extends "!" ? TInner : TModifier extends "?" | "" ? TInner | null | undefined : TModifier extends `![]${infer TNext extends TypeModifier}` ? ApplyTypeModifier<TNext, TInner[]> : TModifier extends `[]${infer TNext extends TypeModifier}` ? ApplyTypeModifier<TNext, (TInner | null | undefined)[]> : never;
-type ApplyTypeModifierToKeys<T extends {
-  [key: string]: {
-    modifier: TypeModifier;
+//#region packages/core/src/types/type-foundation/type-profile.d.ts
+interface PrimitiveTypeProfile {
+  readonly kind: "scalar" | "enum";
+  readonly name: string;
+  readonly value: any;
+}
+type TypeProfile = [PrimitiveTypeProfile] | {
+  readonly [key: string]: TypeProfile.WithMeta;
+};
+declare namespace TypeProfile {
+  type WITH_DEFAULT_INPUT = "with_default_input";
+  type WithMeta = [TypeProfile, TypeModifier, WITH_DEFAULT_INPUT?];
+  type Type<TProfile extends TypeProfile.WithMeta> = (TProfile[0] extends [PrimitiveTypeProfile] ? ApplyTypeModifier<TProfile[0][0]["value"], TProfile[1]> : { readonly [K in keyof TProfile[0]]: TProfile[0][K] extends TypeProfile.WithMeta ? Type<TProfile[0][K]> : never }) | (TProfile[2] extends WITH_DEFAULT_INPUT ? undefined : never);
+  type AssignableSignature<TProfile extends TypeProfile.WithMeta> = ApplyTypeModifier<"[TYPE_SIGNATURE]", TProfile[1]> | (TProfile[2] extends WITH_DEFAULT_INPUT ? undefined : never);
+  type Signature<TProfile extends TypeProfile.WithMeta> = ApplyTypeModifier<"[TYPE_SIGNATURE]", TProfile[1]> extends infer T ? TProfile[2] extends WITH_DEFAULT_INPUT ? Exclude<T, undefined> : T : never;
+  type AssignableVarRefMeta<TProfile extends TypeProfile.WithMeta> = {
+    profile: TProfile[0];
+    signature: AssignableSignature<TProfile>;
   };
-}> = { readonly [K in keyof T as T[K]["modifier"] extends `${string}!` ? K : never]-?: T[K] } & { readonly [K in keyof T as T[K]["modifier"] extends `${string}!` ? never : K]+?: T[K] };
-type ModifiedTypeName<TNameCandidate extends string, TName extends TNameCandidate, TModifier extends AnyTypeModifier> = (`${TName}:${TModifier}` & NoInfer<TypeModifierValidation<TModifier>>) | NoInfer<`${TName}:${TypeModifierSuggestion<TModifier>}`>;
-type TypeModifierSuggestion<TModifier extends AnyTypeModifier> = [TModifier, TypeModifier] extends [TypeModifier, TModifier] ? "?" | "!" | "[]" : TModifier extends "?" ? "?" : TModifier extends `${string}!` ? `${TModifier}[]` : TModifier extends `${string}[]` ? `${TModifier}[]` | `${TModifier}!` : never;
-type TypeModifierValidation<TModifier extends AnyTypeModifier> = TModifier extends "?" | "!" ? string : TModifier extends `${"!" | ""}[]${infer TNext extends TypeModifier | ""}` ? TNext extends "" ? string : TypeModifierValidation<TNext> : {
-  _: "If you see this message on type error, modifier format is wrong.";
+  type AssigningVarRefMeta<TProfile extends TypeProfile.WithMeta> = {
+    profile: TProfile[0];
+    signature: Signature<TProfile>;
+  };
+  type AssignableType<TProfile extends TypeProfile.WithMeta> = ApplyTypeModifier<TProfile[0] extends [PrimitiveTypeProfile] ? TProfile[0][0]["value"] : { readonly [K in keyof TProfile[0]]: TProfile[0][K] extends TypeProfile.WithMeta ? AssignableType<TProfile[0][K]> : never }, TProfile[1]> | VarRef<AssignableVarRefMeta<TProfile>>;
+  type AssigningType<TProfile extends TypeProfile.WithMeta> = VarRef<AssigningVarRefMeta<TProfile>>;
+}
+type GetModifiedType<TProfile extends TypeProfile, TModifier extends TypeModifier> = TypeProfile.Type<[TProfile, TModifier]>;
+type GetConstAssignableType<TProfile extends TypeProfile.WithMeta> = TypeProfile.Type<TProfile>;
+type GetAssigningType<TProfile extends TypeProfile.WithMeta> = TypeProfile.AssigningType<TProfile>;
+//#endregion
+//#region packages/core/src/types/type-foundation/var-ref.d.ts
+interface AnyVarRefMeta {
+  readonly profile: TypeProfile;
+  readonly signature: unknown;
+}
+type VarRefInner = {
+  type: "variable";
+  name: string;
+} | {
+  type: "const-value";
+  value: ConstValue;
 };
-declare const parseModifiedTypeName: <TName extends string, TModifier extends AnyTypeModifier>(nameAndModifier: ModifiedTypeName<string, TName, TModifier>) => {
+type AnyVarRef = VarRef<any>;
+declare const __VAR_REF_BRAND__: unique symbol;
+declare class VarRef<TMeta extends AnyVarRefMeta> {
+  private readonly inner;
+  readonly [__VAR_REF_BRAND__]: TMeta;
+  constructor(inner: VarRefInner);
+  static getInner(varRef: AnyVarRef): VarRefInner;
+}
+declare const isVarRef: (value: unknown) => value is AnyVarRef;
+declare const createVarRefFromVariable: <TProfile extends TypeProfile.WithMeta>(name: string) => VarRef<TypeProfile.AssigningVarRefMeta<TProfile>>;
+declare const createVarRefFromConstValue: <TProfile extends TypeProfile.WithMeta>(value: ConstValue) => VarRef<TypeProfile.AssigningVarRefMeta<TProfile>>;
+declare const getVarRefInner: (varRef: AnyVarRef) => VarRefInner;
+//#endregion
+//#region packages/core/src/utils/type-meta.d.ts
+interface WithTypeMeta<T$1 extends object> {
+  readonly $type: T$1;
+}
+//#endregion
+//#region packages/core/src/types/type-foundation/modified-type-name.d.ts
+type ModifiedTypeName<TNameCandidate extends [string], TName extends TNameCandidate[0], TModifier extends TypeModifier> = [string] extends TNameCandidate ? `${TName}:${TModifier}` : TNameCandidate extends [TName] ?
+// First, user inputs TName based on TNameCandidate
+NoInfer<`${TNameCandidate[0]}`> | (TName & NoInfer<TypeModifier extends TModifier ? never : string>) : `${TName}:${TModifier & ValidTypeModifier}`;
+declare function parseModifiedTypeName<TNameCandidate extends [string], TName extends string, TModifier extends TypeModifier>(nameAndModifier: ModifiedTypeName<TNameCandidate, TName, TModifier>): {
   name: TName;
   modifier: TModifier;
 };
 //#endregion
-//#region packages/core/src/types/schema/type-specifier.d.ts
+//#region packages/core/src/types/type-foundation/type-modifier-extension.generated.d.ts
+interface Op<T$1> {
+  readonly 0: T$1[];
+  readonly 1: T$1[] | null | undefined;
+}
+type Ref<TProfile extends TypeProfile.WithMeta> = VarRef<TypeProfile.AssignableVarRefMeta<TProfile>>;
+type Assignable_0<T$1 extends TypeProfile.WithMeta> = TypeProfile.AssignableType<[T$1[0], "!", T$1[2]]>;
+type Assignable_1<T$1 extends TypeProfile.WithMeta> = TypeProfile.AssignableType<[T$1[0], "?", T$1[2]]>;
+type Assignable_00<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]!", T$1[2]]> | Op<Assignable_0<[T$1[0], "!"]>>[0];
+type Assignable_01<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]?", T$1[2]]> | Op<Assignable_0<[T$1[0], "!"]>>[1];
+type Assignable_10<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]!", T$1[2]]> | Op<Assignable_1<[T$1[0], "?"]>>[0];
+type Assignable_11<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]?", T$1[2]]> | Op<Assignable_1<[T$1[0], "?"]>>[1];
+type Assignable_000<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]![]!", T$1[2]]> | Op<Assignable_00<[T$1[0], "!"]>>[0];
+type Assignable_001<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]![]?", T$1[2]]> | Op<Assignable_00<[T$1[0], "!"]>>[1];
+type Assignable_010<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]?[]!", T$1[2]]> | Op<Assignable_01<[T$1[0], "!"]>>[0];
+type Assignable_011<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]?[]?", T$1[2]]> | Op<Assignable_01<[T$1[0], "!"]>>[1];
+type Assignable_100<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]![]!", T$1[2]]> | Op<Assignable_10<[T$1[0], "?"]>>[0];
+type Assignable_101<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]![]?", T$1[2]]> | Op<Assignable_10<[T$1[0], "?"]>>[1];
+type Assignable_110<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]?[]!", T$1[2]]> | Op<Assignable_11<[T$1[0], "?"]>>[0];
+type Assignable_111<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]?[]?", T$1[2]]> | Op<Assignable_11<[T$1[0], "?"]>>[1];
+type Assignable_0000<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]![]![]!", T$1[2]]> | Op<Assignable_000<[T$1[0], "!"]>>[0];
+type Assignable_0001<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]![]![]?", T$1[2]]> | Op<Assignable_000<[T$1[0], "!"]>>[1];
+type Assignable_0010<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]![]?[]!", T$1[2]]> | Op<Assignable_001<[T$1[0], "!"]>>[0];
+type Assignable_0011<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]![]?[]?", T$1[2]]> | Op<Assignable_001<[T$1[0], "!"]>>[1];
+type Assignable_0100<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]?[]![]!", T$1[2]]> | Op<Assignable_010<[T$1[0], "!"]>>[0];
+type Assignable_0101<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]?[]![]?", T$1[2]]> | Op<Assignable_010<[T$1[0], "!"]>>[1];
+type Assignable_0110<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]?[]?[]!", T$1[2]]> | Op<Assignable_011<[T$1[0], "!"]>>[0];
+type Assignable_0111<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "![]?[]?[]?", T$1[2]]> | Op<Assignable_011<[T$1[0], "!"]>>[1];
+type Assignable_1000<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]![]![]!", T$1[2]]> | Op<Assignable_100<[T$1[0], "?"]>>[0];
+type Assignable_1001<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]![]![]?", T$1[2]]> | Op<Assignable_100<[T$1[0], "?"]>>[1];
+type Assignable_1010<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]![]?[]!", T$1[2]]> | Op<Assignable_101<[T$1[0], "?"]>>[0];
+type Assignable_1011<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]![]?[]?", T$1[2]]> | Op<Assignable_101<[T$1[0], "?"]>>[1];
+type Assignable_1100<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]?[]![]!", T$1[2]]> | Op<Assignable_110<[T$1[0], "?"]>>[0];
+type Assignable_1101<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]?[]![]?", T$1[2]]> | Op<Assignable_110<[T$1[0], "?"]>>[1];
+type Assignable_1110<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]?[]?[]!", T$1[2]]> | Op<Assignable_111<[T$1[0], "?"]>>[0];
+type Assignable_1111<T$1 extends TypeProfile.WithMeta> = Ref<[T$1[0], "?[]?[]?[]?", T$1[2]]> | Op<Assignable_111<[T$1[0], "?"]>>[1];
+type GetAssignableType<T$1 extends TypeProfile.WithMeta> = T$1[1] extends "!" ? Assignable_0<T$1> : T$1[1] extends "?" ? Assignable_1<T$1> : T$1[1] extends "![]!" ? Assignable_00<T$1> : T$1[1] extends "![]?" ? Assignable_01<T$1> : T$1[1] extends "?[]!" ? Assignable_10<T$1> : T$1[1] extends "?[]?" ? Assignable_11<T$1> : T$1[1] extends "![]![]!" ? Assignable_000<T$1> : T$1[1] extends "![]![]?" ? Assignable_001<T$1> : T$1[1] extends "![]?[]!" ? Assignable_010<T$1> : T$1[1] extends "![]?[]?" ? Assignable_011<T$1> : T$1[1] extends "?[]![]!" ? Assignable_100<T$1> : T$1[1] extends "?[]![]?" ? Assignable_101<T$1> : T$1[1] extends "?[]?[]!" ? Assignable_110<T$1> : T$1[1] extends "?[]?[]?" ? Assignable_111<T$1> : T$1[1] extends "![]![]![]!" ? Assignable_0000<T$1> : T$1[1] extends "![]![]![]?" ? Assignable_0001<T$1> : T$1[1] extends "![]![]?[]!" ? Assignable_0010<T$1> : T$1[1] extends "![]![]?[]?" ? Assignable_0011<T$1> : T$1[1] extends "![]?[]![]!" ? Assignable_0100<T$1> : T$1[1] extends "![]?[]![]?" ? Assignable_0101<T$1> : T$1[1] extends "![]?[]?[]!" ? Assignable_0110<T$1> : T$1[1] extends "![]?[]?[]?" ? Assignable_0111<T$1> : T$1[1] extends "?[]![]![]!" ? Assignable_1000<T$1> : T$1[1] extends "?[]![]![]?" ? Assignable_1001<T$1> : T$1[1] extends "?[]![]?[]!" ? Assignable_1010<T$1> : T$1[1] extends "?[]![]?[]?" ? Assignable_1011<T$1> : T$1[1] extends "?[]?[]![]!" ? Assignable_1100<T$1> : T$1[1] extends "?[]?[]![]?" ? Assignable_1101<T$1> : T$1[1] extends "?[]?[]?[]!" ? Assignable_1110<T$1> : T$1[1] extends "?[]?[]?[]?" ? Assignable_1111<T$1> : never;
+//#endregion
+//#region packages/core/src/types/type-foundation/type-specifier.d.ts
 type AnyDefaultValue = {
   default: ConstValue;
 };
@@ -44,7 +165,6 @@ type AnyTypeSpecifier = {
   readonly kind: string;
   readonly name: string;
   readonly modifier: TypeModifier;
-  readonly directives: AnyConstDirectiveAttachments;
   readonly defaultValue?: AnyDefaultValue | null;
   readonly arguments?: InputTypeSpecifiers;
 };
@@ -52,7 +172,6 @@ type AbstractInputTypeSpecifier<TKind extends InputTypeKind> = {
   readonly kind: TKind;
   readonly name: string;
   readonly modifier: TypeModifier;
-  readonly directives: AnyConstDirectiveAttachments;
   readonly defaultValue: AnyDefaultValue | null;
 };
 type InputTypeSpecifiers = {
@@ -67,7 +186,6 @@ type AbstractOutputTypeSpecifier<TKind extends OutputTypeKind> = {
   readonly kind: TKind;
   readonly name: string;
   readonly modifier: TypeModifier;
-  readonly directives: AnyConstDirectiveAttachments;
   readonly arguments: InputTypeSpecifiers;
 };
 type OutputTypeSpecifiers = {
@@ -80,42 +198,13 @@ type OutputEnumSpecifier = AbstractOutputTypeSpecifier<"enum">;
 type OutputObjectSpecifier = AbstractOutputTypeSpecifier<"object">;
 type OutputUnionSpecifier = AbstractOutputTypeSpecifier<"union">;
 type OutputTypenameSpecifier = AbstractOutputTypeSpecifier<"typename">;
-type StripTailingListFromTypeSpecifier<TTypeSpecifier extends AnyTypeSpecifier> = TTypeSpecifier extends {
-  defaultValue: AnyDefaultValue | null;
-} ? {
-  readonly kind: TTypeSpecifier["kind"];
-  readonly name: TTypeSpecifier["name"];
-  readonly modifier: StripTailingListFromTypeModifier<TTypeSpecifier["modifier"]>;
-  readonly directives: TTypeSpecifier["directives"];
-  readonly defaultValue: TTypeSpecifier["modifier"] extends `${string}${ListTypeModifierSuffix}` ? null : TTypeSpecifier["defaultValue"];
-} : TTypeSpecifier extends {
-  arguments: InputTypeSpecifiers;
-} ? {
-  readonly kind: TTypeSpecifier["kind"];
-  readonly name: TTypeSpecifier["name"];
-  readonly modifier: StripTailingListFromTypeModifier<TTypeSpecifier["modifier"]>;
-  readonly directives: TTypeSpecifier["directives"];
-  readonly arguments: TTypeSpecifier["arguments"];
-} : never;
-//#endregion
-//#region packages/core/src/types/schema/const-assignable-input.d.ts
-type AnyConstAssignableInputValue = ConstValue;
-type AnyConstAssignableInput = {
-  readonly [key: string]: AnyConstAssignableInputValue;
-};
-type ConstAssignableInput<TSchema extends AnyGraphqlSchema, TRefs extends InputTypeSpecifiers> = { readonly [K in keyof ApplyTypeModifierToKeys<TRefs>]: ConstAssignableInputValue<TSchema, TRefs[K]> };
-type ConstAssignableInputValue<TSchema extends AnyGraphqlSchema, TRef extends InputTypeSpecifier> = TRef["modifier"] extends `${string}${ListTypeModifierSuffix}` ? ConstAssignableInputValue<TSchema, StripTailingListFromTypeSpecifier<TRef>>[] : (TRef extends InputInputObjectSpecifier ? ConstAssignableInput<TSchema, InputFieldRecord<TSchema, TRef>> : never) | (TRef extends InputInferrableTypeSpecifier ? InferInputTypeRef<TSchema, TRef> : never);
-//#endregion
-//#region packages/core/src/types/schema/const-directives.d.ts
-type AnyConstDirectiveAttachments = {
-  readonly [key: string]: AnyConstAssignableInputValue;
-};
 //#endregion
 //#region packages/core/src/types/schema/schema.d.ts
 type OperationType = keyof OperationRoots;
 type AnyTypeName = string;
 type AnyFieldName = string;
 type AnyGraphqlSchema = {
+  readonly label: string;
   readonly operations: OperationRoots;
   readonly scalar: {
     readonly [name: string]: ScalarDefinition<any>;
@@ -138,76 +227,66 @@ type OperationRoots = {
   readonly mutation: string | null;
   readonly subscription: string | null;
 };
-type ScalarDefinition<T extends {
+interface ScalarDefinition<T$1 extends {
+  name: string;
   input: unknown;
   output: unknown;
-}> = {
-  readonly _type: Hidden<{
-    input: T["input"];
-    output: T["output"];
-  }>;
-  readonly name: string;
-  readonly directives: AnyConstDirectiveAttachments;
-};
-type EnumDefinition<T extends string> = {
-  readonly _type: Hidden<T>;
-  readonly name: string;
-  readonly values: { readonly [_ in T]: true };
-  readonly directives: AnyConstDirectiveAttachments;
-};
-type InputDefinition = {
+}> extends WithTypeMeta<{
+  input: T$1["input"];
+  inputProfile: {
+    kind: "scalar";
+    name: T$1["name"];
+    value: T$1["input"];
+  };
+  output: T$1["output"];
+  outputProfile: {
+    kind: "scalar";
+    name: T$1["name"];
+    value: T$1["output"];
+  };
+}> {
+  readonly name: T$1["name"];
+}
+interface EnumDefinition<T$1 extends {
+  name: string;
+  values: string;
+}> extends WithTypeMeta<{
+  name: T$1["name"];
+  inputProfile: {
+    kind: "enum";
+    name: T$1["name"];
+    value: T$1["values"];
+  };
+  outputProfile: {
+    kind: "enum";
+    name: T$1["name"];
+    value: T$1["values"];
+  };
+}> {
+  readonly name: T$1["name"];
+  readonly values: { readonly [_ in T$1["values"]]: true };
+}
+interface InputDefinition {
   readonly name: string;
   readonly fields: InputTypeSpecifiers;
-  readonly directives: AnyConstDirectiveAttachments;
-};
+}
 type ObjectDefinition = {
   readonly name: string;
   readonly fields: OutputTypeSpecifiers;
-  readonly directives: AnyConstDirectiveAttachments;
 };
 type UnionDefinition = {
   readonly name: string;
   readonly types: {
     [typename: string]: true;
   };
-  readonly directives: AnyConstDirectiveAttachments;
 };
-type InferInputTypeRef<TSchema extends AnyGraphqlSchema, TSpecifier extends InputInferrableTypeSpecifier> = (TSpecifier extends {
-  defaultValue: null;
-} ? never : undefined) | (TSpecifier extends InputScalarSpecifier ? ApplyTypeModifier<TSpecifier["modifier"], ReturnType<TSchema["scalar"][TSpecifier["name"]]["_type"]>["input"]> : TSpecifier extends InputEnumSpecifier ? ApplyTypeModifier<TSpecifier["modifier"], ReturnType<TSchema["enum"][TSpecifier["name"]]["_type"]>> : never);
-type InferOutputTypeRef<TSchema extends AnyGraphqlSchema, TSpecifier extends OutputInferrableTypeSpecifier> = TSpecifier extends OutputScalarSpecifier ? ApplyTypeModifier<TSpecifier["modifier"], ReturnType<TSchema["scalar"][TSpecifier["name"]]["_type"]>["output"]> : TSpecifier extends OutputEnumSpecifier ? ApplyTypeModifier<TSpecifier["modifier"], ReturnType<TSchema["enum"][TSpecifier["name"]]["_type"]>> : TSpecifier extends OutputTypenameSpecifier ? ApplyTypeModifier<TSpecifier["modifier"], TSpecifier["name"]> : never;
-type PickTypeSpecifierByFieldName<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"], TFieldName extends keyof TSchema["object"][TTypeName]["fields"]> = TSchema["object"][TTypeName]["fields"][TFieldName];
-type InputFieldRecord<TSchema extends AnyGraphqlSchema, TSpecifier extends InputTypeSpecifier> = TSchema["input"][TSpecifier["name"]]["fields"];
-type ObjectFieldRecord<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"]> = { readonly [TFieldName in keyof TSchema["object"][TTypeName]["fields"]]: TSchema["object"][TTypeName]["fields"][TFieldName] };
-type UnionTypeRecord<TSchema extends AnyGraphqlSchema, TSpecifier extends OutputUnionSpecifier> = { readonly [TTypeName in UnionMemberName<TSchema, TSpecifier>]: TSchema["object"][TTypeName] };
-type UnionMemberName<TSchema extends AnyGraphqlSchema, TSpecifier extends OutputUnionSpecifier> = Extract<keyof TSchema["object"], keyof TSchema["union"][TSpecifier["name"]]["types"]> & string;
-//#endregion
-//#region packages/core/src/utils/prettify.d.ts
-type Prettify<T> = { [K in keyof T]: T[K] } & {};
-declare const prettify: <T extends object>(obj: T) => Prettify<T>;
-//#endregion
-//#region packages/core/src/types/fragment/var-ref.d.ts
-/** Nominal reference placeholder used inside `AnyVariableAssignments`. */
-type AnyVarRef = VarRef<any>;
-type AnyVarRefMeta = {
-  readonly kind: string;
-  readonly name: string;
-  readonly modifier: unknown;
-};
-type VarRefBy<TRef extends InputTypeSpecifier> = VarRef<VarRefMetaBy<TRef>>;
-type VarRefMetaBy<TRef extends InputTypeSpecifier> = Prettify<{
-  readonly kind: TRef["kind"];
-  readonly name: TRef["name"];
-  readonly modifier: ApplyTypeModifier<TRef["modifier"], "_"> | (TRef["defaultValue"] extends AnyDefaultValue ? null | undefined : never);
-}>;
-declare const __VAR_REF_BRAND__: unique symbol;
-/** Nominal reference used to defer variable binding while carrying type info. */
-declare class VarRef<TMeta extends AnyVarRefMeta> {
-  readonly name: string;
-  readonly [__VAR_REF_BRAND__]: Hidden<TMeta>;
-  private constructor();
-  static create<TRef extends InputTypeSpecifier>(name: string): VarRefBy<TRef>;
-}
+type InferInputProfile<TSchema extends AnyGraphqlSchema, TSpecifier$1 extends InputTypeSpecifier> = { [_ in TSchema["label"]]: [TSpecifier$1 extends InputScalarSpecifier ? [TSchema["scalar"][TSpecifier$1["name"]]["$type"]["inputProfile"]] : TSpecifier$1 extends InputEnumSpecifier ? [TSchema["enum"][TSpecifier$1["name"]]["$type"]["inputProfile"]] : TSchema["input"][TSpecifier$1["name"]]["fields"] extends infer TFields ? { [K in keyof TFields]: TFields[K] extends InputTypeSpecifier ? InferInputProfile<TSchema, TFields[K]> : never } : never, TSpecifier$1["modifier"], TSpecifier$1["defaultValue"] extends AnyDefaultValue ? TypeProfile.WITH_DEFAULT_INPUT : undefined] }[TSchema["label"]];
+type InferOutputProfile<TSchema extends AnyGraphqlSchema, TSpecifier$1 extends OutputInferrableTypeSpecifier> = { [_ in TSchema["label"]]: [(TSpecifier$1 extends OutputScalarSpecifier ? TSchema["scalar"][TSpecifier$1["name"]] : TSchema["enum"][TSpecifier$1["name"]])["$type"]["outputProfile"]] }[TSchema["label"]];
+type PickTypeSpecifierByFieldName<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"], TFieldName$1 extends keyof TSchema["object"][TTypeName$1]["fields"]> = TSchema["object"][TTypeName$1]["fields"][TFieldName$1];
+type InputFieldRecord<TSchema extends AnyGraphqlSchema, TSpecifier$1 extends InputTypeSpecifier> = TSchema["input"][TSpecifier$1["name"]]["fields"];
+type ObjectFieldRecord<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"]> = { readonly [TFieldName in keyof TSchema["object"][TTypeName$1]["fields"]]: TSchema["object"][TTypeName$1]["fields"][TFieldName] };
+type UnionTypeRecord<TSchema extends AnyGraphqlSchema, TSpecifier$1 extends OutputUnionSpecifier> = { readonly [TTypeName in UnionMemberName<TSchema, TSpecifier$1>]: TSchema["object"][TTypeName] };
+type UnionMemberName<TSchema extends AnyGraphqlSchema, TSpecifier$1 extends OutputUnionSpecifier> = Extract<keyof TSchema["object"], keyof TSchema["union"][TSpecifier$1["name"]]["types"]> & string;
 //#endregion
 //#region packages/core/src/types/fragment/assignable-input.d.ts
 type AnyAssignableInputValue = ConstValue | AnyVarRef | {
@@ -216,15 +295,34 @@ type AnyAssignableInputValue = ConstValue | AnyVarRef | {
 type AnyAssignableInput = {
   readonly [key: string]: AnyAssignableInputValue;
 };
-type AssignableInput<TSchema extends AnyGraphqlSchema, TRefs extends InputTypeSpecifiers> = { readonly [K in keyof ApplyTypeModifierToKeys<TRefs>]: AssignableInputValue<TSchema, TRefs[K]> };
-type AssignableInputValue<TSchema extends AnyGraphqlSchema, TRef extends InputTypeSpecifier> = VarRefBy<TRef> | (TRef["modifier"] extends `${string}${ListTypeModifierSuffix}` ? AssignableInputValue<TSchema, StripTailingListFromTypeSpecifier<TRef>>[] : (TRef extends InputInputObjectSpecifier ? AssignableInput<TSchema, InputFieldRecord<TSchema, TRef>> : never) | (TRef extends InputInferrableTypeSpecifier ? InferInputTypeRef<TSchema, TRef> : never));
-type AssignableInputByFieldName<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"], TFieldName extends keyof TSchema["object"][TTypeName]["fields"]> = AssignableInput<TSchema, TSchema["object"][TTypeName]["fields"][TFieldName]["arguments"]>;
+type AnyAssigningInput = {
+  readonly [key: string]: AnyVarRef;
+};
+type IsOptional$1<TSpecifier$1 extends InputTypeSpecifier> = TSpecifier$1["modifier"] extends `${string}?` ? true : TSpecifier$1["defaultValue"] extends AnyDefaultValue ? true : false;
+type AssignableInput<TSchema extends AnyGraphqlSchema, TSpecifiers extends InputTypeSpecifiers> = { readonly [K in keyof TSpecifiers as IsOptional$1<TSpecifiers[K]> extends true ? K : never]+?: AssignableInputValue<TSchema, TSpecifiers[K]> } & { readonly [K in keyof TSpecifiers as IsOptional$1<TSpecifiers[K]> extends false ? K : never]-?: AssignableInputValue<TSchema, TSpecifiers[K]> };
+type AssignableInputValue<TSchema extends AnyGraphqlSchema, TSpecifier$1 extends InputTypeSpecifier> = GetAssignableType<InferInputProfile<TSchema, TSpecifier$1>>;
+type AssigningInput<TSchema extends AnyGraphqlSchema, TSpecifiers extends InputTypeSpecifiers> = { readonly [K in keyof TSpecifiers]-?: GetAssigningType<InferInputProfile<TSchema, TSpecifiers[K]>> };
+type AssignableInputByFieldName<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"], TFieldName$1 extends keyof TSchema["object"][TTypeName$1]["fields"]> = AssignableInput<TSchema, TSchema["object"][TTypeName$1]["fields"][TFieldName$1]["arguments"]>;
 //#endregion
 //#region packages/core/src/types/fragment/directives.d.ts
 type AnyDirectiveAttachments = {
   readonly [key: string]: AnyAssignableInput;
 };
 //#endregion
+//#region packages/core/src/types/schema/const-assignable-input.d.ts
+type AnyConstAssignableInputValue = ConstValue;
+type AnyConstAssignableInput = {
+  readonly [key: string]: AnyConstAssignableInputValue;
+};
+type IsOptional<TSpecifier$1 extends InputTypeSpecifier> = TSpecifier$1["modifier"] extends `${string}?` ? true : TSpecifier$1["defaultValue"] extends AnyDefaultValue ? true : false;
+type ConstAssignableInput<TSchema extends AnyGraphqlSchema, TSpecifiers extends InputTypeSpecifiers> = { readonly [K in keyof TSpecifiers as IsOptional<TSpecifiers[K]> extends true ? K : never]+?: ConstAssignableInputValue<TSchema, TSpecifiers[K]> } & { readonly [K in keyof TSpecifiers as IsOptional<TSpecifiers[K]> extends false ? K : never]-?: ConstAssignableInputValue<TSchema, TSpecifiers[K]> };
+type ConstAssignableInputValue<TSchema extends AnyGraphqlSchema, TSpecifier$1 extends InputTypeSpecifier> = GetConstAssignableType<InferInputProfile<TSchema, TSpecifier$1>> & {};
+//#endregion
+//#region packages/core/src/types/schema/const-directives.d.ts
+type AnyConstDirectiveAttachments = {
+  readonly [key: string]: AnyConstAssignableInputValue;
+};
+//#endregion
 //#region packages/core/src/types/fragment/field-selection.d.ts
 /**
  * Canonical representation of the field selections we collect during model and
@@ -253,16 +351,16 @@ type AnyFields = {
   readonly [alias: string]: AnyFieldSelection;
 };
 /** Strongly typed field reference produced for concrete schema members. */
-type AbstractFieldSelection<TTypeName extends AnyTypeName, TFieldName extends AnyFieldName, TRef extends OutputTypeSpecifier, TArgs extends AnyAssignableInput, TDirectives extends AnyDirectiveAttachments, TExtras extends {
+type AbstractFieldSelection<TTypeName$1 extends AnyTypeName, TFieldName$1 extends AnyFieldName, TSpecifier$1 extends OutputTypeSpecifier, TArgs extends AnyAssignableInput, TDirectives extends AnyDirectiveAttachments, TExtras extends {
   object: AnyNestedObject;
 } | {
   union: AnyNestedUnion;
 } | {
   _?: never;
 }> = {
-  readonly parent: TTypeName;
-  readonly field: TFieldName;
-  readonly type: TRef;
+  readonly parent: TTypeName$1;
+  readonly field: TFieldName$1;
+  readonly type: TSpecifier$1;
   readonly args: TArgs;
   readonly directives: TDirectives;
   readonly object: TExtras extends {
@@ -273,23 +371,23 @@ type AbstractFieldSelection<TTypeName extends AnyTypeName, TFieldName extends An
   } ? TUnion : null;
 };
 /** Convenience alias to obtain a typed field reference from the schema. */
-type FieldSelectionTemplateOf<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"] & string, TFieldName extends keyof TSchema["object"][TTypeName]["fields"] & string> = PickTypeSpecifierByFieldName<TSchema, TTypeName, TFieldName> extends infer TRef extends OutputTypeSpecifier ? AbstractFieldSelection<TTypeName, TFieldName, TRef, AssignableInputByFieldName<TSchema, TTypeName, TFieldName>, AnyDirectiveAttachments, (TRef extends OutputObjectSpecifier ? {
+type FieldSelectionTemplateOf<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"] & string, TFieldName$1 extends keyof TSchema["object"][TTypeName$1]["fields"] & string> = PickTypeSpecifierByFieldName<TSchema, TTypeName$1, TFieldName$1> extends infer TRef extends OutputTypeSpecifier ? AbstractFieldSelection<TTypeName$1, TFieldName$1, TRef, AssignableInputByFieldName<TSchema, TTypeName$1, TFieldName$1>, AnyDirectiveAttachments, (TRef extends OutputObjectSpecifier ? {
   object: AnyNestedObject;
 } : never) | (TRef extends OutputUnionSpecifier ? {
   union: AnyNestedUnion;
 } : never)> : never;
 /** Resolve the data shape produced by a set of field selections. */
-type InferFields<TSchema extends AnyGraphqlSchema, TFields extends AnyFields> = Prettify<{ readonly [TAliasName in keyof TFields]: InferField<TSchema, TFields[TAliasName]> }>;
+type InferFields<TSchema extends AnyGraphqlSchema, TFields$1 extends AnyFields> = { [_ in TSchema["label"]]: { [TAliasName in keyof TFields$1]: InferField<TSchema, TFields$1[TAliasName]> } & {} }[TSchema["label"]];
 /** Resolve the data shape for a single field reference, including nested objects/unions. */
 type InferField<TSchema extends AnyGraphqlSchema, TSelection extends AnyFieldSelection> = (TSelection extends {
-  type: infer TRef extends OutputObjectSpecifier;
+  type: infer TSpecifier extends OutputObjectSpecifier;
   object: infer TNested extends AnyNestedObject;
-} ? ApplyTypeModifier<TRef["modifier"], InferFields<TSchema, TNested>> : never) | (TSelection extends {
-  type: infer TRef extends OutputUnionSpecifier;
+} ? ApplyTypeModifier<InferFields<TSchema, TNested>, TSpecifier["modifier"]> : never) | (TSelection extends {
+  type: infer TSpecifier extends OutputUnionSpecifier;
   union: infer TNested extends AnyNestedUnion;
-} ? ApplyTypeModifier<TRef["modifier"], { [TTypename in keyof TNested]: undefined extends TNested[TTypename] ? never : InferFields<TSchema, NonNullable<TNested[TTypename]>> }[keyof TNested]> : never) | (TSelection extends {
-  type: infer TRef extends OutputInferrableTypeSpecifier;
-} ? InferOutputTypeRef<TSchema, TRef> : never);
+} ? ApplyTypeModifier<{ [TTypename in keyof TNested]: undefined extends TNested[TTypename] ? never : InferFields<TSchema, NonNullable<TNested[TTypename]>> }[keyof TNested], TSpecifier["modifier"]> : never) | (TSelection extends {
+  type: infer TSpecifier extends OutputInferrableTypeSpecifier;
+} ? GetModifiedType<InferOutputProfile<TSchema, TSpecifier>, TSpecifier["modifier"]> : never);
 //#endregion
 //#region packages/core/src/types/fragment/field-path.d.ts
 type AnyFieldPath = string;
@@ -297,29 +395,29 @@ type AnyFieldPath = string;
  * Computes strongly typed "$.foo.bar" style selectors for a set of fields so
  * slice result transforms can reference response paths safely.
  */
-type AvailableFieldPathOf<TSchema extends AnyGraphqlSchema, TFields extends AnyFields> = AvailableFieldPathsInner<TSchema, TFields, "$">;
+type AvailableFieldPathOf<TSchema extends AnyGraphqlSchema, TFields$1 extends AnyFields> = AvailableFieldPathsInner<TSchema, TFields$1, "$">;
 /** Recursive helper used to build path strings for nested selections. */
-type AvailableFieldPathsInner<TSchema extends AnyGraphqlSchema, TFields extends AnyFields, TCurr extends AnyFieldPath> = { readonly [TAliasName in keyof TFields & string]: `${TCurr}.${TAliasName}` | (TFields[TAliasName] extends {
+type AvailableFieldPathsInner<TSchema extends AnyGraphqlSchema, TFields$1 extends AnyFields, TCurr extends AnyFieldPath> = { readonly [TAliasName in keyof TFields$1 & string]: `${TCurr}.${TAliasName}` | (TFields$1[TAliasName] extends {
   object: infer TNested extends AnyNestedObject;
-} ? AvailableFieldPathsInner<TSchema, TNested, `${TCurr}.${TAliasName}`> : never) }[keyof TFields & string];
+} ? AvailableFieldPathsInner<TSchema, TNested, `${TCurr}.${TAliasName}`> : never) }[keyof TFields$1 & string];
 /** Resolve the TypeScript type located at a given field path. */
-type InferByFieldPath<TSchema extends AnyGraphqlSchema, TFields extends AnyFields, TPath extends AnyFieldPath> = string extends keyof TFields ? any : TPath extends "$" ? never : InferByFieldPathInner<TSchema, TFields, TPath, "$">;
+type InferByFieldPath<TSchema extends AnyGraphqlSchema, TFields$1 extends AnyFields, TPath extends AnyFieldPath> = string extends keyof TFields$1 ? any : TPath extends "$" ? never : InferByFieldPathInner<TSchema, TFields$1, TPath, "$">;
 /** Internal helper that walks a field tree while matching a path literal. */
-type InferByFieldPathInner<TSchema extends AnyGraphqlSchema, TFields extends AnyFields, TPathTarget extends AnyFieldPath, TPathCurrent extends AnyFieldPath> = { readonly [TAliasName in keyof TFields]: TAliasName extends string ? `${TPathCurrent}.${TAliasName}` extends TPathTarget ? InferField<TSchema, TFields[TAliasName]> : TFields[TAliasName] extends {
+type InferByFieldPathInner<TSchema extends AnyGraphqlSchema, TFields$1 extends AnyFields, TPathTarget extends AnyFieldPath, TPathCurrent extends AnyFieldPath> = { readonly [TAliasName in keyof TFields$1]: TAliasName extends string ? `${TPathCurrent}.${TAliasName}` extends TPathTarget ? InferField<TSchema, TFields$1[TAliasName]> : TFields$1[TAliasName] extends {
   object: infer TNested extends AnyNestedObject;
-} ? InferByFieldPathInner<TSchema, TNested, TPathTarget, `${TPathCurrent}.${TAliasName}`> : never : never }[keyof TFields];
+} ? InferByFieldPathInner<TSchema, TNested, TPathTarget, `${TPathCurrent}.${TAliasName}`> : never : never }[keyof TFields$1];
 //#endregion
 //#region packages/core/src/composer/build-document.d.ts
 declare const buildArgumentValue: (value: AnyAssignableInputValue) => ValueNode | null;
 declare const buildConstValueNode: (value: ConstValue) => ConstValueNode | null;
 declare const buildWithTypeModifier: (modifier: TypeModifier, buildType: () => NamedTypeNode) => TypeNode;
 declare const buildOperationTypeNode: (operation: OperationType) => OperationTypeNode;
-declare const buildDocument: <TSchema extends AnyGraphqlSchema, TFields extends AnyFields, TVarDefinitions extends InputTypeSpecifiers>(options: {
+declare const buildDocument: <TSchema extends AnyGraphqlSchema, TFields$1 extends AnyFields, TVarDefinitions extends InputTypeSpecifiers>(options: {
   operationName: string;
   operationType: OperationType;
   variables: TVarDefinitions;
-  fields: TFields;
-}) => TypedDocumentNode<InferFields<TSchema, TFields>, ConstAssignableInput<TSchema, TVarDefinitions>>;
+  fields: TFields$1;
+}) => TypedDocumentNode<InferFields<TSchema, TFields$1>, ConstAssignableInput<TSchema, TVarDefinitions>>;
 //#endregion
 //#region packages/core/src/types/element/gql-element.d.ts
 declare const GQL_ELEMENT_FACTORY: unique symbol;
@@ -327,7 +425,7 @@ declare const GQL_ELEMENT_CONTEXT: unique symbol;
 type GqlElementContext = {
   canonicalId: string;
 };
-type GqlElementDefinitionFactory<T> = (context: GqlElementContext | null) => T;
+type GqlElementDefinitionFactory<T$1> = (context: GqlElementContext | null) => T$1;
 declare abstract class GqlElement<TDefinition> {
   private [GQL_ELEMENT_FACTORY];
   private [GQL_ELEMENT_CONTEXT];
@@ -337,11 +435,15 @@ declare abstract class GqlElement<TDefinition> {
   static get<TValue>(element: GqlElement<TValue>): TValue;
 }
 //#endregion
+//#region packages/core/src/utils/hidden.d.ts
+declare const hidden: <T$1>() => (() => T$1);
+type Hidden<T$1> = () => T$1;
+//#endregion
 //#region packages/core/src/utils/type-utils.d.ts
 type UnionToIntersection<U> = (U extends any ? (x: U) => void : never) extends ((x: infer I) => void) ? I : never;
-type Tuple<T> = [T, ...T[]];
-type StripFunctions<T extends object> = { [K in keyof T as T[K] extends ((...args: any[]) => any) ? never : K]: T[K] };
-type StripSymbols<T extends object> = { [K in keyof T as K extends symbol ? never : K]: T[K] };
+type Tuple<T$1> = [T$1, ...T$1[]];
+type StripFunctions<T$1 extends object> = { [K in keyof T$1 as T$1[K] extends ((...args: any[]) => any) ? never : K]: T$1[K] };
+type StripSymbols<T$1 extends object> = { [K in keyof T$1 as K extends symbol ? never : K]: T$1[K] };
 //#endregion
 //#region packages/core/src/types/runtime/runtime-adapter.d.ts
 /**
@@ -469,7 +571,7 @@ declare const __EMPTY_SYMBOL__: unique symbol;
 type EmptyObject = {
   readonly [__EMPTY_SYMBOL__]: never;
 };
-type IsEmptyObject<T> = keyof (T & EmptyObject) extends keyof EmptyObject ? true : false;
+type IsEmptyObject<T$1> = keyof (T$1 & EmptyObject) extends keyof EmptyObject ? true : false;
 type IfEmpty<TTarget, TType> = IsEmptyObject<TTarget> extends true ? TType : never;
 type SwitchIfEmpty<TTarget, TTrue, TFalse> = IsEmptyObject<TTarget> extends true ? TTrue : TFalse;
 declare const empty: () => EmptyObject;
@@ -477,23 +579,23 @@ declare const empty: () => EmptyObject;
 //#region packages/core/src/types/element/slice.d.ts
 type AnySlice = AnySliceOf<"query"> | AnySliceOf<"mutation"> | AnySliceOf<"subscription">;
 type AnySliceOf<TOperationType extends OperationType> = Slice<TOperationType, any, AnyFields, AnyProjection>;
-type SliceDefinition<TOperationType extends OperationType, TVariables extends Partial<AnyAssignableInput> | void, TFields extends Partial<AnyFields>, TProjection extends AnyProjection> = {
+type SliceDefinition<TOperationType extends OperationType, TVariables extends Partial<AnyAssignableInput> | void, TFields$1 extends Partial<AnyFields>, TProjection extends AnyProjection> = {
   readonly operationType: TOperationType;
-  readonly embed: (variables: TVariables) => SlicePayload<TVariables, TFields, TProjection>;
+  readonly embed: (variables: TVariables) => SlicePayload<TVariables, TFields$1, TProjection>;
 };
 declare const __OPERATION_SLICE_BRAND__: unique symbol;
-declare class Slice<TOperationType extends OperationType, TVariables extends Partial<AnyAssignableInput> | void, TFields extends Partial<AnyFields>, TProjection extends AnyProjection> extends GqlElement<SliceDefinition<TOperationType, TVariables, TFields, TProjection>> implements SliceDefinition<TOperationType, TVariables, TFields, TProjection> {
+declare class Slice<TOperationType extends OperationType, TVariables extends Partial<AnyAssignableInput> | void, TFields$1 extends Partial<AnyFields>, TProjection extends AnyProjection> extends GqlElement<SliceDefinition<TOperationType, TVariables, TFields$1, TProjection>> implements SliceDefinition<TOperationType, TVariables, TFields$1, TProjection> {
   readonly [__OPERATION_SLICE_BRAND__]: Hidden<{
     operationType: TOperationType;
     output: InferExecutionResultProjection<TProjection>;
   }>;
   private constructor();
   get operationType(): TOperationType;
-  get embed(): (variables: TVariables) => SlicePayload<TVariables, TFields, TProjection>;
-  static create<TSchema extends AnyGraphqlSchema, TOperationType extends OperationType, TVariableDefinitions extends InputTypeSpecifiers, TFields extends AnyFields, TProjection extends AnyProjection>(define: () => {
+  get embed(): (variables: TVariables) => SlicePayload<TVariables, TFields$1, TProjection>;
+  static create<TSchema extends AnyGraphqlSchema, TOperationType extends OperationType, TVariableDefinitions extends InputTypeSpecifiers, TFields$1 extends AnyFields, TProjection extends AnyProjection>(define: () => {
     operationType: TOperationType;
-    embed: (variables: SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>) => SlicePayload<SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>, TFields, TProjection>;
-  }): Slice<TOperationType, SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>, TFields & {
+    embed: (variables: SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>) => SlicePayload<SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>, TFields$1, TProjection>;
+  }): Slice<TOperationType, SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>, TFields$1 & {
     [key: symbol]: never;
   }, TProjection>;
 }
@@ -501,9 +603,9 @@ type AnySlicePayloads = {
   [key: string]: AnySlicePayload;
 };
 type AnySlicePayload = SlicePayload<AnyAssignableInput | void, AnyFields, AnyProjection>;
-type SlicePayload<TVariables extends Partial<AnyAssignableInput> | void, TFields extends Partial<AnyFields>, TProjection extends AnyProjection> = {
+type SlicePayload<TVariables extends Partial<AnyAssignableInput> | void, TFields$1 extends Partial<AnyFields>, TProjection extends AnyProjection> = {
   variables: TVariables;
-  getFields: () => TFields;
+  getFields: () => TFields$1;
   projection: TProjection;
 };
 type InferOutputOfSlice<TSlice extends AnySliceOf<any>> = ReturnType<TSlice[typeof __OPERATION_SLICE_BRAND__]>["output"];
@@ -538,7 +640,7 @@ declare class ComposedOperation<TRuntimeAdapter extends AnyGraphqlRuntimeAdapter
     projectionPathGraph: ProjectionPathGraphNode;
     document: TypedDocumentNode<InferComposedOperationRawData<TSchema, TSliceFragments>, ConstAssignableInput<TSchema, TVariableDefinitions>>;
     parse: (result: NormalizedExecutionResult<TRuntimeAdapter, InferComposedOperationRawData<TSchema, TSliceFragments>, any>) => { [K in keyof TSliceFragments]: InferExecutionResultProjection<TSliceFragments[K]["projection"]> };
-  }): ComposedOperation<TRuntimeAdapter, TOperationType, TOperationName, (keyof TVariableDefinitions & string)[], ConstAssignableInput<TSchema, TVariableDefinitions>, ((ConcatSlicePayloads<TSliceFragments> extends infer T_2 extends AnyFields ? { readonly [TAliasName in keyof T_2]: InferField<TSchema_1, T_2[TAliasName]> } : never) extends infer T_1 ? { [K_1 in keyof T_1]: T_1[K_1] } : never) extends infer T ? { [K in keyof T]: T[K] } : never, { [K_2 in keyof TSliceFragments]: InferExecutionResultProjection<TSliceFragments[K_2]["projection"]> }>;
+  }): ComposedOperation<TRuntimeAdapter, TOperationType, TOperationName, (keyof TVariableDefinitions & string)[], ConstAssignableInput<TSchema, TVariableDefinitions>, InferComposedOperationRawData<TSchema, TSliceFragments>, { [K in keyof TSliceFragments]: InferExecutionResultProjection<TSliceFragments[K]["projection"]> }>;
 }
 type ProjectionPathGraphNode = {
   readonly matches: {
@@ -550,21 +652,21 @@ type ProjectionPathGraphNode = {
     readonly [segment: string]: ProjectionPathGraphNode;
   };
 };
-type ConcatSlicePayloads<TSlicePayloads extends AnySlicePayloads> = Prettify<UnionToIntersection<{ [TLabel in keyof TSlicePayloads & string]: TSlicePayloads[TLabel] extends {
+type ConcatSlicePayloads<TSlicePayloads extends AnySlicePayloads> = UnionToIntersection<{ [TLabel in keyof TSlicePayloads & string]: TSlicePayloads[TLabel] extends {
   getFields: () => infer TFields;
-} ? { [K in keyof TFields & string as `${TLabel}_${K}`]: TFields[K] } : {} }[keyof TSlicePayloads & string]>> & AnyFields;
-type InferComposedOperationRawData<TSchema extends AnyGraphqlSchema, TSlicePayloads extends AnySlicePayloads> = Prettify<InferFields<TSchema, ConcatSlicePayloads<TSlicePayloads>>>;
+} ? { [K in keyof TFields & string as `${TLabel}_${K}`]: TFields[K] } : {} }[keyof TSlicePayloads & string]> & AnyFields;
+type InferComposedOperationRawData<TSchema extends AnyGraphqlSchema, TSlicePayloads extends AnySlicePayloads> = InferFields<TSchema, ConcatSlicePayloads<TSlicePayloads>>;
 type ComposedOperationDefinitionBuilder<TSchema extends AnyGraphqlSchema, TVarDefinitions extends InputTypeSpecifiers, TSliceContents extends AnySlicePayloads> = (tools: {
-  $: NoInfer<AssignableInput<TSchema, TVarDefinitions>>;
+  $: NoInfer<AssigningInput<TSchema, TVarDefinitions>>;
 }) => TSliceContents;
 //#endregion
 //#region packages/core/src/types/element/execution-result-projection-builder.d.ts
 type AnyExecutionResultProjectionsBuilder = ExecutionResultProjectionsBuilder<AnyGraphqlSchema, AnyGraphqlRuntimeAdapter, any, any>;
-type ExecutionResultProjectionsBuilder<TSchema extends AnyGraphqlSchema, TRuntimeAdapter extends AnyGraphqlRuntimeAdapter, TFields extends AnyFields, TProjection extends AnyProjection> = (tools: {
-  select: ResultSelector<TSchema, TRuntimeAdapter, TFields>;
+type ExecutionResultProjectionsBuilder<TSchema extends AnyGraphqlSchema, TRuntimeAdapter extends AnyGraphqlRuntimeAdapter, TFields$1 extends AnyFields, TProjection extends AnyProjection> = (tools: {
+  select: ResultSelector<TSchema, TRuntimeAdapter, TFields$1>;
 }) => TProjection;
-type ResultSelector<TSchema extends AnyGraphqlSchema, TRuntimeAdapter extends AnyGraphqlRuntimeAdapter, TFields extends AnyFields> = <TPaths extends Tuple<AvailableFieldPathOf<TSchema, TFields>>, TProjected>(paths: TPaths, projector: (result: NoInfer<SlicedExecutionResult<InferByResultSelectorPaths<TSchema, TFields, TPaths>, TRuntimeAdapter>>) => TProjected) => NoInfer<Projection<TProjected>>;
-type InferByResultSelectorPaths<TSchema extends AnyGraphqlSchema, TFields extends AnyFields, TPaths extends Tuple<AvailableFieldPathOf<TSchema, TFields>>> = TPaths extends string[] ? { [K in keyof TPaths]: TPaths[K] extends string ? InferByFieldPath<TSchema, TFields, TPaths[K]> : never } : never;
+type ResultSelector<TSchema extends AnyGraphqlSchema, TRuntimeAdapter extends AnyGraphqlRuntimeAdapter, TFields$1 extends AnyFields> = <TPaths extends Tuple<AvailableFieldPathOf<TSchema, TFields$1>>, TProjected>(paths: TPaths, projector: (result: NoInfer<SlicedExecutionResult<InferByResultSelectorPaths<TSchema, TFields$1, TPaths>, TRuntimeAdapter>>) => TProjected) => NoInfer<Projection<TProjected>>;
+type InferByResultSelectorPaths<TSchema extends AnyGraphqlSchema, TFields$1 extends AnyFields, TPaths extends Tuple<AvailableFieldPathOf<TSchema, TFields$1>>> = TPaths extends string[] ? { [K in keyof TPaths]: TPaths[K] extends string ? InferByFieldPath<TSchema, TFields$1, TPaths[K]> : never } : never;
 //#endregion
 //#region packages/core/src/types/element/fields-builder.d.ts
 declare const mergeFields: <TFieldEntries extends AnyFields[]>(fields: TFieldEntries) => MergeFields<TFieldEntries>;
@@ -574,19 +676,19 @@ type MergeFields<TFieldEntries extends AnyFields[]> = UnionToIntersection<TField
  * tooling `f`/`fields`/`_` aliases provide ergonomic access to GraphQL fields
  * while preserving the original schema information for inference.
  */
-type FieldsBuilder<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"] & string, TVariableDefinitions extends InputTypeSpecifiers, TFields extends AnyFields[]> = (tools: NoInfer<FieldsBuilderTools<TSchema, TTypeName, TVariableDefinitions>>) => TFields;
-type FieldsBuilderTools<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"] & string, TVariableDefinitions extends InputTypeSpecifiers> = {
-  f: FieldSelectionFactories<TSchema, TTypeName>;
-  $: AssignableInput<TSchema, TVariableDefinitions>;
+type FieldsBuilder<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"] & string, TVariableDefinitions extends InputTypeSpecifiers, TFields$1 extends AnyFields[]> = (tools: NoInfer<FieldsBuilderTools<TSchema, TTypeName$1, TVariableDefinitions>>) => TFields$1;
+type FieldsBuilderTools<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"] & string, TVariableDefinitions extends InputTypeSpecifiers> = {
+  f: FieldSelectionFactories<TSchema, TTypeName$1>;
+  $: AssigningInput<TSchema, TVariableDefinitions>;
 };
 /** Narrow builder used when a field resolves to an object and we need nested selections. */
-type NestedObjectFieldsBuilder<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"] & string, TFields extends AnyNestedObject[]> = (tools: NoInfer<NestedObjectFieldsBuilderTools<TSchema, TTypeName>>) => TFields;
-type NestedObjectFieldsBuilderTools<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"] & string> = {
-  f: FieldSelectionFactories<TSchema, TTypeName>;
+type NestedObjectFieldsBuilder<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"] & string, TFields$1 extends AnyNestedObject[]> = (tools: NoInfer<NestedObjectFieldsBuilderTools<TSchema, TTypeName$1>>) => TFields$1;
+type NestedObjectFieldsBuilderTools<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"] & string> = {
+  f: FieldSelectionFactories<TSchema, TTypeName$1>;
 };
 type NestedUnionFieldsBuilder<TSchema extends AnyGraphqlSchema, TMemberName extends string, TUnionFields extends AnyNestedUnion> = { [TTypename in keyof TUnionFields & TMemberName]?: NestedObjectFieldsBuilder<TSchema, TTypename, NonNullable<TUnionFields[TTypename]>[]> };
 /** Map each field to a factory capable of emitting fully-typed references. */
-type FieldSelectionFactories<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"] & string> = { [TFieldName in keyof ObjectFieldRecord<TSchema, TTypeName>]: TFieldName extends string ? FieldSelectionFactory<TSchema, FieldSelectionTemplateOf<TSchema, TTypeName, TFieldName>> : never };
+type FieldSelectionFactories<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"] & string> = { [TFieldName in keyof ObjectFieldRecord<TSchema, TTypeName$1>]: TFieldName extends string ? FieldSelectionFactory<TSchema, FieldSelectionTemplateOf<TSchema, TTypeName$1, TFieldName>> : never };
 type AnyFieldSelectionFactory = <TAlias extends string | null = null>(fieldArgs: AnyAssignableInput | void, extras?: {
   alias?: TAlias;
   directives?: AnyDirectiveAttachments;
@@ -611,13 +713,13 @@ type FieldSelectionFactoryReturn<TSchema extends AnyGraphqlSchema, TSelection ex
 } ? FieldSelectionFactoryPrimitiveReturn<TSelection, TAlias> : never;
 type FieldSelectionFactoryObjectReturn<TSchema extends AnyGraphqlSchema, TSelection extends AnyFieldSelection & {
   type: OutputObjectSpecifier;
-}, TAlias extends string | null> = <TNested extends AnyNestedObject[]>(nest: NestedObjectFieldsBuilder<TSchema, TSelection["type"]["name"], TNested>) => { [_ in TAlias extends null ? TSelection["field"] : TAlias]: AbstractFieldSelection<TSelection["parent"], TSelection["field"], TSelection["type"], TSelection["args"], TSelection["directives"], {
-  object: MergeFields<TNested>;
+}, TAlias extends string | null> = <TNested$1 extends AnyNestedObject[]>(nest: NestedObjectFieldsBuilder<TSchema, TSelection["type"]["name"], TNested$1>) => { [_ in TAlias extends null ? TSelection["field"] : TAlias]: AbstractFieldSelection<TSelection["parent"], TSelection["field"], TSelection["type"], TSelection["args"], TSelection["directives"], {
+  object: MergeFields<TNested$1>;
 }> };
 type FieldSelectionFactoryUnionReturn<TSchema extends AnyGraphqlSchema, TSelection extends AnyFieldSelection & {
   type: OutputUnionSpecifier;
-}, TAlias extends string | null> = <TNested extends AnyNestedUnion>(nest: NestedUnionFieldsBuilder<TSchema, UnionMemberName<TSchema, TSelection["type"]>, TNested>) => { [_ in TAlias extends null ? TSelection["field"] : TAlias]: AbstractFieldSelection<TSelection["parent"], TSelection["field"], TSelection["type"], TSelection["args"], TSelection["directives"], {
-  union: TNested;
+}, TAlias extends string | null> = <TNested$1 extends AnyNestedUnion>(nest: NestedUnionFieldsBuilder<TSchema, UnionMemberName<TSchema, TSelection["type"]>, TNested$1>) => { [_ in TAlias extends null ? TSelection["field"] : TAlias]: AbstractFieldSelection<TSelection["parent"], TSelection["field"], TSelection["type"], TSelection["args"], TSelection["directives"], {
+  union: TNested$1;
 }> };
 type FieldSelectionFactoryPrimitiveReturn<TSelection extends AnyFieldSelection & {
   type: OutputTypenameSpecifier | OutputScalarSpecifier | OutputEnumSpecifier;
@@ -628,14 +730,14 @@ type FieldSelectionFactoryFieldArguments<TFieldSelectionTemplate extends AnyFiel
 type AnyInlineOperation = AnyInlineOperationOf<"query"> | AnyInlineOperationOf<"mutation"> | AnyInlineOperationOf<"subscription">;
 type AnyInlineOperationOf<TOperationType extends OperationType> = InlineOperation<TOperationType, string, string[], any, AnyFields, any>;
 declare const __INLINE_OPERATION_BRAND__: unique symbol;
-type InlineOperationArtifact<TOperationType extends OperationType, TOperationName extends string, TVariableNames extends string[], TVariables extends AnyConstAssignableInput, TFields extends Partial<AnyFields>, TData extends object> = {
+type InlineOperationArtifact<TOperationType extends OperationType, TOperationName extends string, TVariableNames extends string[], TVariables extends AnyConstAssignableInput, TFields$1 extends Partial<AnyFields>, TData extends object> = {
   readonly operationType: TOperationType;
   readonly operationName: TOperationName;
   readonly variableNames: TVariableNames;
-  readonly documentSource: () => TFields;
+  readonly documentSource: () => TFields$1;
   readonly document: TypedDocumentNode<TData, TVariables>;
 };
-declare class InlineOperation<TOperationType extends OperationType, TOperationName extends string, TVariableNames extends string[], TVariables extends AnyConstAssignableInput, TFields extends Partial<AnyFields>, TData extends object> extends GqlElement<InlineOperationArtifact<TOperationType, TOperationName, TVariableNames, TVariables, TFields, TData>> implements InlineOperationArtifact<TOperationType, TOperationName, TVariableNames, TVariables, TFields, TData> {
+declare class InlineOperation<TOperationType extends OperationType, TOperationName extends string, TVariableNames extends string[], TVariables extends AnyConstAssignableInput, TFields$1 extends Partial<AnyFields>, TData extends object> extends GqlElement<InlineOperationArtifact<TOperationType, TOperationName, TVariableNames, TVariables, TFields$1, TData>> implements InlineOperationArtifact<TOperationType, TOperationName, TVariableNames, TVariables, TFields$1, TData> {
   readonly [__INLINE_OPERATION_BRAND__]: Hidden<{
     operationType: TOperationType;
   }>;
@@ -643,68 +745,68 @@ declare class InlineOperation<TOperationType extends OperationType, TOperationNa
   get operationType(): TOperationType;
   get operationName(): TOperationName;
   get variableNames(): TVariableNames;
-  get documentSource(): () => TFields;
+  get documentSource(): () => TFields$1;
   get document(): TypedDocumentNode<TData, TVariables>;
-  static create<TSchema extends AnyGraphqlSchema, TOperationType extends OperationType, TOperationName extends string, TVariableDefinitions extends InputTypeSpecifiers, TFields extends AnyFields>(define: (context: GqlElementContext | null) => {
+  static create<TSchema extends AnyGraphqlSchema, TOperationType extends OperationType, TOperationName extends string, TVariableDefinitions extends InputTypeSpecifiers, TFields$1 extends AnyFields>(define: (context: GqlElementContext | null) => {
     operationType: TOperationType;
     operationName: TOperationName;
     variableNames: (keyof TVariableDefinitions & string)[];
-    documentSource: () => TFields;
-    document: TypedDocumentNode<InferFields<TSchema, TFields>, ConstAssignableInput<TSchema, TVariableDefinitions>>;
-  }): InlineOperation<TOperationType, TOperationName, (keyof TVariableDefinitions & string)[], ConstAssignableInput<TSchema, TVariableDefinitions>, TFields, { [K in keyof { readonly [TAliasName in keyof TFields]: InferField<TSchema, TFields[TAliasName]> }]: { readonly [TAliasName in keyof TFields]: InferField<TSchema, TFields[TAliasName]> }[K] }>;
+    documentSource: () => TFields$1;
+    document: TypedDocumentNode<InferFields<TSchema, TFields$1>, ConstAssignableInput<TSchema, TVariableDefinitions>>;
+  }): InlineOperation<TOperationType, TOperationName, (keyof TVariableDefinitions & string)[], ConstAssignableInput<TSchema, TVariableDefinitions>, TFields$1, InferFields<TSchema, TFields$1>>;
 }
 //#endregion
 //#region packages/core/src/types/element/model.d.ts
 type AnyModel = Model<string, any, AnyFields, any, any>;
-type ModelArtifact<TTypeName extends string, TVariables extends Partial<AnyAssignableInput> | void, TFields extends Partial<AnyFields>, TRaw extends object, TNormalized extends object> = {
-  readonly typename: TTypeName;
-  readonly fragment: (variables: TVariables) => TFields;
+interface ModelArtifact<TTypeName$1 extends string, TVariables extends Partial<AnyAssignableInput> | void, TFields$1 extends Partial<AnyFields>, TRaw extends object, TNormalized extends object> {
+  readonly typename: TTypeName$1;
+  readonly fragment: (variables: TVariables) => TFields$1;
   readonly normalize: (raw: TRaw) => TNormalized;
-};
+}
 declare const __MODEL_BRAND__: unique symbol;
-declare class Model<TTypeName extends string, TVariables extends Partial<AnyAssignableInput> | void, TFields extends Partial<AnyFields>, TRaw extends object, TNormalized extends object> extends GqlElement<ModelArtifact<TTypeName, TVariables, TFields, TRaw, TNormalized>> implements ModelArtifact<TTypeName, TVariables, TFields, TRaw, TNormalized> {
+declare class Model<TTypeName$1 extends string, TVariables extends Partial<AnyAssignableInput> | void, TFields$1 extends Partial<AnyFields>, TRaw extends object, TNormalized extends object> extends GqlElement<ModelArtifact<TTypeName$1, TVariables, TFields$1, TRaw, TNormalized>> implements ModelArtifact<TTypeName$1, TVariables, TFields$1, TRaw, TNormalized> {
   readonly [__MODEL_BRAND__]: Hidden<{
     input: TVariables;
     output: TNormalized;
   }>;
   private constructor();
-  get typename(): TTypeName;
-  get fragment(): (variables: TVariables) => TFields;
+  get typename(): TTypeName$1;
+  get fragment(): (variables: TVariables) => TFields$1;
   get normalize(): (raw: TRaw) => TNormalized;
-  static create<TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"] & string, TVariableDefinitions extends InputTypeSpecifiers, TFields extends AnyFields, TNormalized extends object>(define: () => {
-    typename: TTypeName;
-    fragment: (variables: SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>) => TFields;
-    normalize: (raw: NoInfer<InferFields<TSchema, TFields>>) => TNormalized;
-  }): Model<TTypeName, SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>, TFields & {
+  static create<TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"] & string, TVariableDefinitions extends InputTypeSpecifiers, TFields$1 extends AnyFields, TNormalized extends object>(define: () => {
+    typename: TTypeName$1;
+    fragment: (variables: SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>) => TFields$1;
+    normalize: (raw: NoInfer<InferFields<TSchema, TFields$1>>) => TNormalized;
+  }): Model<TTypeName$1, SwitchIfEmpty<TVariableDefinitions, void, AssignableInput<TSchema, TVariableDefinitions>>, TFields$1 & {
     [key: symbol]: never;
-  }, { [K in keyof { readonly [TAliasName in keyof TFields]: InferField<TSchema, TFields[TAliasName]> }]: { readonly [TAliasName in keyof TFields]: InferField<TSchema, TFields[TAliasName]> }[K] } & {
+  }, InferFields<TSchema, TFields$1> & {
     [key: symbol]: never;
   }, TNormalized>;
 }
 //#endregion
 //#region packages/core/src/composer/input.d.ts
 declare const mergeVarDefinitions: <TVarDefinitions extends InputTypeSpecifiers[]>(definitions: TVarDefinitions) => MergeVarDefinitions<TVarDefinitions>;
-type MergeVarDefinitions<TVarDefinitions extends InputTypeSpecifiers[]> = UnionToIntersection<TVarDefinitions[number]> extends infer TDefinitions ? { readonly [K in keyof TDefinitions]: TDefinitions[K] } & {} : never;
-declare const createVarAssignments: <TSchema extends AnyGraphqlSchema, TVariableDefinitions extends InputTypeSpecifiers>(definitions: TVariableDefinitions, provided: AnyAssignableInput | void) => AssignableInput<TSchema, TVariableDefinitions>;
-declare const createVarRefs: <TSchema extends AnyGraphqlSchema, TVarDefinitions extends InputTypeSpecifiers>(definitions: TVarDefinitions) => AssignableInput<TSchema, TVarDefinitions>;
+type MergeVarDefinitions<TVarDefinitions extends InputTypeSpecifiers[]> = UnionToIntersection<TVarDefinitions[number]> extends infer TDefinitions ? { readonly [K in keyof TDefinitions]: TDefinitions[K] } : never;
+declare const createVarAssignments: <TSchema extends AnyGraphqlSchema, TVariableDefinitions extends InputTypeSpecifiers>(definitions: TVariableDefinitions, providedValues: AnyAssignableInput | void) => AssigningInput<TSchema, TVariableDefinitions>;
+declare const createVarRefs: <TSchema extends AnyGraphqlSchema, TVarDefinitions extends InputTypeSpecifiers>(definitions: TVarDefinitions) => AssigningInput<TSchema, TVarDefinitions>;
 //#endregion
 //#region packages/core/src/composer/composed-operation.d.ts
 declare const createComposedOperationComposerFactory: <TSchema extends AnyGraphqlSchema, TRuntimeAdapter extends AnyGraphqlRuntimeAdapter>() => <TOperationType extends OperationType>(operationType: TOperationType) => <TOperationName extends string, TSliceFragments extends AnySlicePayloads, TVarDefinitions extends InputTypeSpecifiers[] = [{}]>(options: {
   operationName: TOperationName;
   variables?: TVarDefinitions;
-}, builder: ComposedOperationDefinitionBuilder<TSchema, MergeVarDefinitions<TVarDefinitions>, TSliceFragments>) => ComposedOperation<TRuntimeAdapter, TOperationType, TOperationName, (keyof MergeVarDefinitions<TVarDefinitions> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions>>, ((ConcatSlicePayloads<TSliceFragments> extends infer T_2 extends AnyFields ? { readonly [TAliasName in keyof T_2]: InferField<TSchema_1, T_2[TAliasName]> } : never) extends infer T_1 ? { [K_1 in keyof T_1]: T_1[K_1] } : never) extends infer T ? { [K in keyof T]: T[K] } : never, { [K_2 in keyof TSliceFragments]: ReturnType<TSliceFragments[K_2]["projection"]["projector"]> }>;
+}, builder: ComposedOperationDefinitionBuilder<TSchema, MergeVarDefinitions<TVarDefinitions>, TSliceFragments>) => ComposedOperation<TRuntimeAdapter, TOperationType, TOperationName, (keyof MergeVarDefinitions<TVarDefinitions> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions>>, InferComposedOperationRawData<TSchema, TSliceFragments>, { [K in keyof TSliceFragments]: ReturnType<TSliceFragments[K]["projection"]["projector"]> }>;
 //#endregion
 //#region packages/core/src/composer/fields-builder.d.ts
-declare const createFieldFactories: <TSchema extends AnyGraphqlSchema, TTypeName extends keyof TSchema["object"] & string>(schema: TSchema, typeName: TTypeName) => FieldSelectionFactories<TSchema, TTypeName>;
+declare const createFieldFactories: <TSchema extends AnyGraphqlSchema, TTypeName$1 extends keyof TSchema["object"] & string>(schema: TSchema, typeName: TTypeName$1) => FieldSelectionFactories<TSchema, TTypeName$1>;
 //#endregion
 //#region packages/core/src/composer/gql-composer.d.ts
 type GqlElementComposer<TComposers, THelper> = <TResult extends AnyModel | AnySlice | AnyComposedOperation | AnyInlineOperation>(composeElement: (composers: TComposers, helper: THelper) => TResult) => TResult;
 declare const createGqlElementComposer: <TSchema extends AnyGraphqlSchema, TRuntimeAdapter extends AnyGraphqlRuntimeAdapter>(schema: NoInfer<TSchema>) => GqlElementComposer<{
   model: Omit<{ readonly [TTypeName in keyof TSchema["object"]]: TTypeName extends string ? <TFieldEntries extends AnyFields[], TNormalized extends object, TVarDefinitions extends InputTypeSpecifiers[] = [{}]>(options: {
     variables?: TVarDefinitions | undefined;
-  }, builder: FieldsBuilder<TSchema, TTypeName, MergeVarDefinitions<TVarDefinitions>, TFieldEntries>, normalize: (raw: NoInfer<(MergeFields<TFieldEntries> extends infer T_1 extends AnyFields ? { readonly [TAliasName in keyof T_1]: InferField<TSchema_1, T_1[TAliasName]> } : never) extends infer T ? { [K in keyof T]: T[K] } : never>) => TNormalized) => Model<TTypeName, SwitchIfEmpty<MergeVarDefinitions<TVarDefinitions>, void, AssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions>>>, MergeFields<TFieldEntries> & {
+  }, builder: FieldsBuilder<TSchema, TTypeName, MergeVarDefinitions<TVarDefinitions>, TFieldEntries>, normalize: (raw: NoInfer<InferFields<TSchema, MergeFields<TFieldEntries>>>) => TNormalized) => Model<TTypeName, SwitchIfEmpty<MergeVarDefinitions<TVarDefinitions>, void, AssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions>>>, MergeFields<TFieldEntries> & {
     [key: symbol]: never;
-  }, ((MergeFields<TFieldEntries> extends infer T_1 extends AnyFields ? { readonly [TAliasName in keyof T_1]: InferField<TSchema_1, T_1[TAliasName]> } : never) extends infer T ? { [K in keyof T]: T[K] } : never) & {
+  }, InferFields<TSchema, MergeFields<TFieldEntries>> & {
     [key: symbol]: never;
   }, TNormalized> : never }, TSchema["operations"][keyof OperationRoots] & keyof TSchema["object"]>;
   query: {
@@ -716,11 +818,11 @@ declare const createGqlElementComposer: <TSchema extends AnyGraphqlSchema, TRunt
     composed: <TOperationName extends string, TSliceFragments extends AnySlicePayloads, TVarDefinitions_2 extends InputTypeSpecifiers[] = [{}]>(options: {
       operationName: TOperationName;
       variables?: TVarDefinitions_2 | undefined;
-    }, builder: ComposedOperationDefinitionBuilder<TSchema, MergeVarDefinitions<TVarDefinitions_2>, TSliceFragments>) => ComposedOperation<TRuntimeAdapter, "query", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_2> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_2>>, ((ConcatSlicePayloads<TSliceFragments> extends infer T_2 extends AnyFields ? { readonly [TAliasName in keyof T_2]: InferField<TSchema_1, T_2[TAliasName]> } : never) extends infer T_1 ? { [K_1 in keyof T_1]: T_1[K_1] } : never) extends infer T ? { [K in keyof T]: T[K] } : never, { [K_2 in keyof TSliceFragments]: ReturnType<TSliceFragments[K_2]["projection"]["projector"]> }>;
-    inline: <TOperationName extends string, TFields extends AnyFields[], TVarDefinitions_3 extends InputTypeSpecifiers[] = [{}]>(options: {
+    }, builder: ComposedOperationDefinitionBuilder<TSchema, MergeVarDefinitions<TVarDefinitions_2>, TSliceFragments>) => ComposedOperation<TRuntimeAdapter, "query", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_2> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_2>>, InferComposedOperationRawData<TSchema, TSliceFragments>, { [K in keyof TSliceFragments]: ReturnType<TSliceFragments[K]["projection"]["projector"]> }>;
+    inline: <TOperationName extends string, TFields$1 extends AnyFields[], TVarDefinitions_3 extends InputTypeSpecifiers[] = [{}]>(options: {
       operationName: TOperationName;
       variables?: TVarDefinitions_3 | undefined;
-    }, fieldBuilder: FieldsBuilder<TSchema, TSchema["operations"]["query"] & keyof TSchema["object"] & string, MergeVarDefinitions<TVarDefinitions_3>, TFields>) => InlineOperation<"query", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_3> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_3>>, MergeFields<TFields>, (MergeFields<TFields> extends infer T_1 extends AnyFields ? { readonly [TAliasName in keyof T_1]: InferField<TSchema_1, T_1[TAliasName]> } : never) extends infer T ? { [K in keyof T]: T[K] } : never>;
+    }, fieldBuilder: FieldsBuilder<TSchema, TSchema["operations"]["query"] & keyof TSchema["object"] & string, MergeVarDefinitions<TVarDefinitions_3>, TFields$1>) => InlineOperation<"query", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_3> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_3>>, MergeFields<TFields$1>, InferFields<TSchema, MergeFields<TFields$1>>>;
   };
   mutation: {
     slice: <TFieldEntries extends AnyFields[], TProjection extends AnyProjection, TVarDefinitions_1 extends InputTypeSpecifiers[] = [{}]>(options: {
@@ -731,11 +833,11 @@ declare const createGqlElementComposer: <TSchema extends AnyGraphqlSchema, TRunt
     composed: <TOperationName extends string, TSliceFragments extends AnySlicePayloads, TVarDefinitions_2 extends InputTypeSpecifiers[] = [{}]>(options: {
       operationName: TOperationName;
       variables?: TVarDefinitions_2 | undefined;
-    }, builder: ComposedOperationDefinitionBuilder<TSchema, MergeVarDefinitions<TVarDefinitions_2>, TSliceFragments>) => ComposedOperation<TRuntimeAdapter, "mutation", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_2> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_2>>, ((ConcatSlicePayloads<TSliceFragments> extends infer T_2 extends AnyFields ? { readonly [TAliasName in keyof T_2]: InferField<TSchema_1, T_2[TAliasName]> } : never) extends infer T_1 ? { [K_1 in keyof T_1]: T_1[K_1] } : never) extends infer T ? { [K in keyof T]: T[K] } : never, { [K_2 in keyof TSliceFragments]: ReturnType<TSliceFragments[K_2]["projection"]["projector"]> }>;
-    inline: <TOperationName extends string, TFields extends AnyFields[], TVarDefinitions_3 extends InputTypeSpecifiers[] = [{}]>(options: {
+    }, builder: ComposedOperationDefinitionBuilder<TSchema, MergeVarDefinitions<TVarDefinitions_2>, TSliceFragments>) => ComposedOperation<TRuntimeAdapter, "mutation", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_2> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_2>>, InferComposedOperationRawData<TSchema, TSliceFragments>, { [K in keyof TSliceFragments]: ReturnType<TSliceFragments[K]["projection"]["projector"]> }>;
+    inline: <TOperationName extends string, TFields$1 extends AnyFields[], TVarDefinitions_3 extends InputTypeSpecifiers[] = [{}]>(options: {
       operationName: TOperationName;
       variables?: TVarDefinitions_3 | undefined;
-    }, fieldBuilder: FieldsBuilder<TSchema, TSchema["operations"]["mutation"] & keyof TSchema["object"] & string, MergeVarDefinitions<TVarDefinitions_3>, TFields>) => InlineOperation<"mutation", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_3> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_3>>, MergeFields<TFields>, (MergeFields<TFields> extends infer T_1 extends AnyFields ? { readonly [TAliasName in keyof T_1]: InferField<TSchema_1, T_1[TAliasName]> } : never) extends infer T ? { [K in keyof T]: T[K] } : never>;
+    }, fieldBuilder: FieldsBuilder<TSchema, TSchema["operations"]["mutation"] & keyof TSchema["object"] & string, MergeVarDefinitions<TVarDefinitions_3>, TFields$1>) => InlineOperation<"mutation", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_3> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_3>>, MergeFields<TFields$1>, InferFields<TSchema, MergeFields<TFields$1>>>;
   };
   subscription: {
     slice: <TFieldEntries extends AnyFields[], TProjection extends AnyProjection, TVarDefinitions_1 extends InputTypeSpecifiers[] = [{}]>(options: {
@@ -746,34 +848,34 @@ declare const createGqlElementComposer: <TSchema extends AnyGraphqlSchema, TRunt
     composed: <TOperationName extends string, TSliceFragments extends AnySlicePayloads, TVarDefinitions_2 extends InputTypeSpecifiers[] = [{}]>(options: {
       operationName: TOperationName;
       variables?: TVarDefinitions_2 | undefined;
-    }, builder: ComposedOperationDefinitionBuilder<TSchema, MergeVarDefinitions<TVarDefinitions_2>, TSliceFragments>) => ComposedOperation<TRuntimeAdapter, "subscription", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_2> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_2>>, ((ConcatSlicePayloads<TSliceFragments> extends infer T_2 extends AnyFields ? { readonly [TAliasName in keyof T_2]: InferField<TSchema_1, T_2[TAliasName]> } : never) extends infer T_1 ? { [K_1 in keyof T_1]: T_1[K_1] } : never) extends infer T ? { [K in keyof T]: T[K] } : never, { [K_2 in keyof TSliceFragments]: ReturnType<TSliceFragments[K_2]["projection"]["projector"]> }>;
-    inline: <TOperationName extends string, TFields extends AnyFields[], TVarDefinitions_3 extends InputTypeSpecifiers[] = [{}]>(options: {
+    }, builder: ComposedOperationDefinitionBuilder<TSchema, MergeVarDefinitions<TVarDefinitions_2>, TSliceFragments>) => ComposedOperation<TRuntimeAdapter, "subscription", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_2> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_2>>, InferComposedOperationRawData<TSchema, TSliceFragments>, { [K in keyof TSliceFragments]: ReturnType<TSliceFragments[K]["projection"]["projector"]> }>;
+    inline: <TOperationName extends string, TFields$1 extends AnyFields[], TVarDefinitions_3 extends InputTypeSpecifiers[] = [{}]>(options: {
       operationName: TOperationName;
       variables?: TVarDefinitions_3 | undefined;
-    }, fieldBuilder: FieldsBuilder<TSchema, TSchema["operations"]["subscription"] & keyof TSchema["object"] & string, MergeVarDefinitions<TVarDefinitions_3>, TFields>) => InlineOperation<"subscription", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_3> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_3>>, MergeFields<TFields>, (MergeFields<TFields> extends infer T_1 extends AnyFields ? { readonly [TAliasName in keyof T_1]: InferField<TSchema_1, T_1[TAliasName]> } : never) extends infer T ? { [K in keyof T]: T[K] } : never>;
+    }, fieldBuilder: FieldsBuilder<TSchema, TSchema["operations"]["subscription"] & keyof TSchema["object"] & string, MergeVarDefinitions<TVarDefinitions_3>, TFields$1>) => InlineOperation<"subscription", TOperationName, (keyof MergeVarDefinitions<TVarDefinitions_3> & string)[], ConstAssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions_3>>, MergeFields<TFields$1>, InferFields<TSchema, MergeFields<TFields$1>>>;
   };
 }, {
   $: <TVarName extends string>(varName: TVarName) => {
-    scalar: <const TTypeName_1 extends keyof TSchema["scalar"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => ConstAssignableInputValue<TSchema, {
+    scalar: <const TTypeName_1 extends keyof TSchema["scalar"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => GetConstAssignableType<InferInputProfile<TSchema, {
       kind: "scalar";
       name: TTypeName_1;
       modifier: TModifier;
       directives: {};
       defaultValue: null;
-    }>) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TTypeName_1, TModifier>, extras?: {
-      default?: (TDefaultFn & (() => ConstAssignableInputValue<TSchema, {
+    }>> & {}) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<[keyof TSchema["scalar"] & string], TTypeName_1, TModifier>, extras?: {
+      default?: (TDefaultFn & (() => GetConstAssignableType<InferInputProfile<TSchema, {
         kind: "scalar";
         name: TTypeName_1;
         modifier: TModifier;
         directives: {};
         defaultValue: null;
-      }>)) | (NoInfer<TDefaultFn> extends null ? () => ConstAssignableInputValue<TSchema, {
+      }>> & {})) | (NoInfer<TDefaultFn> extends null ? () => GetConstAssignableType<InferInputProfile<TSchema, {
         kind: "scalar";
         name: TTypeName_1;
         modifier: TModifier;
         directives: {};
         defaultValue: null;
-      }> : never) | undefined;
+      }>> & {} : never) | undefined;
       directives?: TDirectives | undefined;
     } | undefined) => { [K in TVarName]: {
       kind: "scalar";
@@ -784,26 +886,26 @@ declare const createGqlElementComposer: <TSchema extends AnyGraphqlSchema, TRunt
       };
       directives: TDirectives;
     } };
-    enum: <const TTypeName_1 extends keyof TSchema["enum"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => ConstAssignableInputValue<TSchema, {
+    enum: <const TTypeName_1 extends keyof TSchema["enum"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => GetConstAssignableType<InferInputProfile<TSchema, {
       kind: "enum";
       name: TTypeName_1;
       modifier: TModifier;
       directives: {};
       defaultValue: null;
-    }>) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TTypeName_1, TModifier>, extras?: {
-      default?: (TDefaultFn & (() => ConstAssignableInputValue<TSchema, {
+    }>> & {}) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<[keyof TSchema["enum"] & string], TTypeName_1, TModifier>, extras?: {
+      default?: (TDefaultFn & (() => GetConstAssignableType<InferInputProfile<TSchema, {
         kind: "enum";
         name: TTypeName_1;
         modifier: TModifier;
         directives: {};
         defaultValue: null;
-      }>)) | (NoInfer<TDefaultFn> extends null ? () => ConstAssignableInputValue<TSchema, {
+      }>> & {})) | (NoInfer<TDefaultFn> extends null ? () => GetConstAssignableType<InferInputProfile<TSchema, {
         kind: "enum";
         name: TTypeName_1;
         modifier: TModifier;
         directives: {};
         defaultValue: null;
-      }> : never) | undefined;
+      }>> & {} : never) | undefined;
       directives?: TDirectives | undefined;
     } | undefined) => { [K in TVarName]: {
       kind: "enum";
@@ -814,26 +916,26 @@ declare const createGqlElementComposer: <TSchema extends AnyGraphqlSchema, TRunt
       };
       directives: TDirectives;
     } };
-    input: <const TTypeName_1 extends keyof TSchema["input"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => ConstAssignableInputValue<TSchema, {
+    input: <const TTypeName_1 extends keyof TSchema["input"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => GetConstAssignableType<InferInputProfile<TSchema, {
       kind: "input";
       name: TTypeName_1;
       modifier: TModifier;
       directives: {};
       defaultValue: null;
-    }>) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TTypeName_1, TModifier>, extras?: {
-      default?: (TDefaultFn & (() => ConstAssignableInputValue<TSchema, {
+    }>> & {}) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<[keyof TSchema["input"] & string], TTypeName_1, TModifier>, extras?: {
+      default?: (TDefaultFn & (() => GetConstAssignableType<InferInputProfile<TSchema, {
         kind: "input";
         name: TTypeName_1;
         modifier: TModifier;
         directives: {};
         defaultValue: null;
-      }>)) | (NoInfer<TDefaultFn> extends null ? () => ConstAssignableInputValue<TSchema, {
+      }>> & {})) | (NoInfer<TDefaultFn> extends null ? () => GetConstAssignableType<InferInputProfile<TSchema, {
         kind: "input";
         name: TTypeName_1;
         modifier: TModifier;
         directives: {};
         defaultValue: null;
-      }> : never) | undefined;
+      }>> & {} : never) | undefined;
       directives?: TDirectives | undefined;
     } | undefined) => { [K in TVarName]: {
       kind: "input";
@@ -844,16 +946,16 @@ declare const createGqlElementComposer: <TSchema extends AnyGraphqlSchema, TRunt
       };
       directives: TDirectives;
     } };
-    byField: <const TTypeName_1 extends keyof TSchema["object"] & string, const TFieldName extends keyof TSchema["object"][TTypeName_1]["fields"] & string, const TArgName extends keyof TSchema["object"][TTypeName_1]["fields"][TFieldName]["arguments"] & string>(typeName: TTypeName_1, fieldName: TFieldName, argName: TArgName) => TSchema["object"][TTypeName_1]["fields"][TFieldName]["arguments"][TArgName];
+    byField: <const TTypeName_1 extends keyof TSchema["object"] & string, const TFieldName$1 extends keyof TSchema["object"][TTypeName_1]["fields"] & string, const TArgName extends keyof TSchema["object"][TTypeName_1]["fields"][TFieldName$1]["arguments"] & string>(typeName: TTypeName_1, fieldName: TFieldName$1, argName: TArgName) => TSchema["object"][TTypeName_1]["fields"][TFieldName$1]["arguments"][TArgName];
   };
 }>;
 //#endregion
 //#region packages/core/src/composer/model.d.ts
 declare const createGqlModelComposers: <TSchema extends AnyGraphqlSchema>(schema: NoInfer<TSchema>) => Omit<{ readonly [TTypeName in keyof TSchema["object"]]: TTypeName extends string ? <TFieldEntries extends AnyFields[], TNormalized extends object, TVarDefinitions extends InputTypeSpecifiers[] = [{}]>(options: {
   variables?: TVarDefinitions | undefined;
-}, builder: FieldsBuilder<TSchema, TTypeName, MergeVarDefinitions<TVarDefinitions>, TFieldEntries>, normalize: (raw: NoInfer<(MergeFields<TFieldEntries> extends infer T_1 extends AnyFields ? { readonly [TAliasName in keyof T_1]: InferField<TSchema_1, T_1[TAliasName]> } : never) extends infer T ? { [K in keyof T]: T[K] } : never>) => TNormalized) => Model<TTypeName, SwitchIfEmpty<MergeVarDefinitions<TVarDefinitions>, void, AssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions>>>, MergeFields<TFieldEntries> & {
+}, builder: FieldsBuilder<TSchema, TTypeName, MergeVarDefinitions<TVarDefinitions>, TFieldEntries>, normalize: (raw: NoInfer<InferFields<TSchema, MergeFields<TFieldEntries>>>) => TNormalized) => Model<TTypeName, SwitchIfEmpty<MergeVarDefinitions<TVarDefinitions>, void, AssignableInput<TSchema, MergeVarDefinitions<TVarDefinitions>>>, MergeFields<TFieldEntries> & {
   [key: symbol]: never;
-}, ((MergeFields<TFieldEntries> extends infer T_1 extends AnyFields ? { readonly [TAliasName in keyof T_1]: InferField<TSchema_1, T_1[TAliasName]> } : never) extends infer T ? { [K in keyof T]: T[K] } : never) & {
+}, InferFields<TSchema, MergeFields<TFieldEntries>> & {
   [key: symbol]: never;
 }, TNormalized> : never }, TSchema["operations"][keyof OperationRoots] & keyof TSchema["object"]>;
 //#endregion
@@ -870,130 +972,90 @@ declare const createSliceComposerFactory: <TSchema extends AnyGraphqlSchema, TRu
 }, TProjection>;
 //#endregion
 //#region packages/core/src/composer/var-builder.d.ts
+type AssignableDefaultValue<TSchema extends AnyGraphqlSchema, TKind extends "scalar" | "enum" | "input", TName extends keyof TSchema[TKind] & string, TModifier extends TypeModifier> = ConstAssignableInputValue<TSchema, {
+  scalar: {
+    kind: "scalar";
+    name: TName;
+    modifier: TModifier;
+    directives: {};
+    defaultValue: null;
+  };
+  enum: {
+    kind: "enum";
+    name: TName;
+    modifier: TModifier;
+    directives: {};
+    defaultValue: null;
+  };
+  input: {
+    kind: "input";
+    name: TName;
+    modifier: TModifier;
+    directives: {};
+    defaultValue: null;
+  };
+}[TKind]>;
 declare const createVarBuilder: <TSchema extends AnyGraphqlSchema>(schema: TSchema) => {
   $: <TVarName extends string>(varName: TVarName) => {
-    scalar: <const TTypeName extends keyof TSchema["scalar"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => ConstAssignableInputValue<TSchema, {
-      kind: "scalar";
-      name: TTypeName;
-      modifier: TModifier;
-      directives: {};
-      defaultValue: null;
-    }>) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TTypeName, TModifier>, extras?: {
-      default?: (TDefaultFn & (() => ConstAssignableInputValue<TSchema, {
-        kind: "scalar";
-        name: TTypeName;
-        modifier: TModifier;
-        directives: {};
-        defaultValue: null;
-      }>)) | (NoInfer<TDefaultFn> extends null ? () => ConstAssignableInputValue<TSchema, {
-        kind: "scalar";
-        name: TTypeName;
-        modifier: TModifier;
-        directives: {};
-        defaultValue: null;
-      }> : never) | undefined;
+    scalar: <const TTypeName$1 extends keyof TSchema["scalar"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => AssignableDefaultValue<TSchema, "scalar", TTypeName$1, TModifier>) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<[keyof TSchema["scalar"] & string], TTypeName$1, TModifier>, extras?: {
+      default?: (TDefaultFn & (() => AssignableDefaultValue<TSchema, "scalar", TTypeName$1, TModifier>)) | (NoInfer<TDefaultFn> extends null ? () => AssignableDefaultValue<TSchema, "scalar", TTypeName$1, TModifier> : never) | undefined;
       directives?: TDirectives | undefined;
     } | undefined) => { [K in TVarName]: {
       kind: "scalar";
-      name: TTypeName;
+      name: TTypeName$1;
       modifier: TModifier;
       defaultValue: TDefaultFn extends null ? null : {
         default: ReturnType<NonNullable<TDefaultFn>>;
       };
       directives: TDirectives;
     } };
-    enum: <const TTypeName extends keyof TSchema["enum"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => ConstAssignableInputValue<TSchema, {
-      kind: "enum";
-      name: TTypeName;
-      modifier: TModifier;
-      directives: {};
-      defaultValue: null;
-    }>) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TTypeName, TModifier>, extras?: {
-      default?: (TDefaultFn & (() => ConstAssignableInputValue<TSchema, {
-        kind: "enum";
-        name: TTypeName;
-        modifier: TModifier;
-        directives: {};
-        defaultValue: null;
-      }>)) | (NoInfer<TDefaultFn> extends null ? () => ConstAssignableInputValue<TSchema, {
-        kind: "enum";
-        name: TTypeName;
-        modifier: TModifier;
-        directives: {};
-        defaultValue: null;
-      }> : never) | undefined;
+    enum: <const TTypeName$1 extends keyof TSchema["enum"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => AssignableDefaultValue<TSchema, "enum", TTypeName$1, TModifier>) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<[keyof TSchema["enum"] & string], TTypeName$1, TModifier>, extras?: {
+      default?: (TDefaultFn & (() => AssignableDefaultValue<TSchema, "enum", TTypeName$1, TModifier>)) | (NoInfer<TDefaultFn> extends null ? () => AssignableDefaultValue<TSchema, "enum", TTypeName$1, TModifier> : never) | undefined;
       directives?: TDirectives | undefined;
     } | undefined) => { [K in TVarName]: {
       kind: "enum";
-      name: TTypeName;
+      name: TTypeName$1;
       modifier: TModifier;
       defaultValue: TDefaultFn extends null ? null : {
         default: ReturnType<NonNullable<TDefaultFn>>;
       };
       directives: TDirectives;
     } };
-    input: <const TTypeName extends keyof TSchema["input"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => ConstAssignableInputValue<TSchema, {
-      kind: "input";
-      name: TTypeName;
-      modifier: TModifier;
-      directives: {};
-      defaultValue: null;
-    }>) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TTypeName, TModifier>, extras?: {
-      default?: (TDefaultFn & (() => ConstAssignableInputValue<TSchema, {
-        kind: "input";
-        name: TTypeName;
-        modifier: TModifier;
-        directives: {};
-        defaultValue: null;
-      }>)) | (NoInfer<TDefaultFn> extends null ? () => ConstAssignableInputValue<TSchema, {
-        kind: "input";
-        name: TTypeName;
-        modifier: TModifier;
-        directives: {};
-        defaultValue: null;
-      }> : never) | undefined;
+    input: <const TTypeName$1 extends keyof TSchema["input"] & string, const TModifier extends TypeModifier, const TDefaultFn extends (() => AssignableDefaultValue<TSchema, "input", TTypeName$1, TModifier>) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<[keyof TSchema["input"] & string], TTypeName$1, TModifier>, extras?: {
+      default?: (TDefaultFn & (() => AssignableDefaultValue<TSchema, "input", TTypeName$1, TModifier>)) | (NoInfer<TDefaultFn> extends null ? () => AssignableDefaultValue<TSchema, "input", TTypeName$1, TModifier> : never) | undefined;
       directives?: TDirectives | undefined;
     } | undefined) => { [K in TVarName]: {
       kind: "input";
-      name: TTypeName;
+      name: TTypeName$1;
       modifier: TModifier;
       defaultValue: TDefaultFn extends null ? null : {
         default: ReturnType<NonNullable<TDefaultFn>>;
       };
       directives: TDirectives;
     } };
-    byField: <const TTypeName extends keyof TSchema["object"] & string, const TFieldName extends keyof TSchema["object"][TTypeName]["fields"] & string, const TArgName extends keyof TSchema["object"][TTypeName]["fields"][TFieldName]["arguments"] & string>(typeName: TTypeName, fieldName: TFieldName, argName: TArgName) => TSchema["object"][TTypeName]["fields"][TFieldName]["arguments"][TArgName];
+    byField: <const TTypeName$1 extends keyof TSchema["object"] & string, const TFieldName$1 extends keyof TSchema["object"][TTypeName$1]["fields"] & string, const TArgName extends keyof TSchema["object"][TTypeName$1]["fields"][TFieldName$1]["arguments"] & string>(typeName: TTypeName$1, fieldName: TFieldName$1, argName: TArgName) => TSchema["object"][TTypeName$1]["fields"][TFieldName$1]["arguments"][TArgName];
   };
 };
 //#endregion
 //#region packages/core/src/schema/schema-builder.d.ts
-declare const defineScalar: <const TName extends string, TInput, TOutput, TDirectives extends AnyConstDirectiveAttachments>(name: TName, definition: (tool: {
-  type: typeof hidden;
-}) => {
-  input: Hidden<TInput>;
-  output: Hidden<TOutput>;
-  directives: TDirectives;
-}) => { [K in TName]: {
-  _type: Hidden<{
-    input: TInput;
-    output: TOutput;
-  }>;
+declare const defineScalar: <const TName extends string, TInput, TOutput>(name: NoInfer<TName>) => { [K in TName]: ScalarDefinition<{
   name: TName;
-  directives: TDirectives;
-} };
+  input: TInput;
+  output: TOutput;
+}> };
 declare const define: <const TName extends string>(name: TName) => {
-  enum: <const TValues extends EnumDefinition<string>["values"], TDirectives extends AnyConstDirectiveAttachments>(values: TValues, directives: TDirectives) => {
-    _type: () => keyof TValues & string;
+  enum: <const TValues extends EnumDefinition<{
     name: TName;
-    values: TValues;
-    directives: TDirectives;
-  };
-  input: <TFields extends InputDefinition["fields"], TDirectives_1 extends AnyConstDirectiveAttachments>(fields: TFields, directives: TDirectives_1) => {
+    values: string;
+  }>["values"]>(values: TValues) => EnumDefinition<{
     name: TName;
-    fields: TFields;
-    directives: TDirectives_1;
+    values: Extract<keyof TValues, string>;
+  }>;
+  input: <TFields$1 extends InputDefinition["fields"]>(fields: TFields$1) => {
+    name: TName;
+    fields: TFields$1;
   };
-  object: <TFields extends ObjectDefinition["fields"], TDirectives_2 extends AnyConstDirectiveAttachments>(fields: TFields, directives: TDirectives_2) => {
+  object: <TFields$1 extends ObjectDefinition["fields"]>(fields: TFields$1) => {
     name: TName;
     fields: {
       __typename: {
@@ -1001,22 +1063,19 @@ declare const define: <const TName extends string>(name: TName) => {
         name: `${TName}`;
         modifier: "!";
         arguments: {};
-        directives: AnyConstDirectiveAttachments;
       };
-    } & TFields;
-    directives: TDirectives_2;
+    } & TFields$1;
   };
-  union: <TTypes extends UnionDefinition["types"], TDirectives_3 extends AnyConstDirectiveAttachments>(types: TTypes, directives: TDirectives_3) => {
+  union: <TTypes extends UnionDefinition["types"]>(types: TTypes) => {
     name: TName;
     types: TTypes;
-    directives: TDirectives_3;
   };
 };
 declare const defineOperationRoots: <const TOperationRoots extends OperationRoots>(operationRoots: TOperationRoots) => TOperationRoots;
 //#endregion
 //#region packages/core/src/schema/type-specifier-builder.d.ts
 declare const unsafeInputType: {
-  scalar: <const TName extends string, const TModifier extends TypeModifier, const TDefaultFactory extends (() => ConstValue) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TName, TModifier>, extras: {
+  scalar: <const TName extends string, const TModifier extends TypeModifier, const TDefaultFactory extends (() => ConstValue) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: `${TName}:${TModifier}`, extras: {
     default?: TDefaultFactory | undefined;
     directives?: TDirectives | undefined;
   }) => {
@@ -1028,7 +1087,7 @@ declare const unsafeInputType: {
     };
     directives: TDirectives;
   };
-  enum: <const TName extends string, const TModifier extends TypeModifier, const TDefaultFactory extends (() => ConstValue) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TName, TModifier>, extras: {
+  enum: <const TName extends string, const TModifier extends TypeModifier, const TDefaultFactory extends (() => ConstValue) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: `${TName}:${TModifier}`, extras: {
     default?: TDefaultFactory | undefined;
     directives?: TDirectives | undefined;
   }) => {
@@ -1040,7 +1099,7 @@ declare const unsafeInputType: {
     };
     directives: TDirectives;
   };
-  input: <const TName extends string, const TModifier extends TypeModifier, const TDefaultFactory extends (() => ConstValue) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TName, TModifier>, extras: {
+  input: <const TName extends string, const TModifier extends TypeModifier, const TDefaultFactory extends (() => ConstValue) | null = null, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: `${TName}:${TModifier}`, extras: {
     default?: TDefaultFactory | undefined;
     directives?: TDirectives | undefined;
   }) => {
@@ -1054,60 +1113,50 @@ declare const unsafeInputType: {
   };
 };
 declare const unsafeOutputType: {
-  scalar: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TName, TModifier>, extras: {
+  scalar: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}>(type: `${TName}:${TModifier}`, extras: {
     arguments?: TArguments | undefined;
-    directives?: TDirectives | undefined;
   }) => {
     kind: "scalar";
     name: TName;
     modifier: TModifier;
     arguments: InputTypeSpecifiers extends TArguments ? {} : TArguments;
-    directives: TDirectives;
   };
-  enum: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TName, TModifier>, extras: {
+  enum: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}>(type: `${TName}:${TModifier}`, extras: {
     arguments?: TArguments | undefined;
-    directives?: TDirectives | undefined;
   }) => {
     kind: "enum";
     name: TName;
     modifier: TModifier;
     arguments: InputTypeSpecifiers extends TArguments ? {} : TArguments;
-    directives: TDirectives;
   };
-  object: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TName, TModifier>, extras: {
+  object: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}>(type: `${TName}:${TModifier}`, extras: {
     arguments?: TArguments | undefined;
-    directives?: TDirectives | undefined;
   }) => {
     kind: "object";
     name: TName;
     modifier: TModifier;
     arguments: InputTypeSpecifiers extends TArguments ? {} : TArguments;
-    directives: TDirectives;
   };
-  union: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TName, TModifier>, extras: {
+  union: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}>(type: `${TName}:${TModifier}`, extras: {
     arguments?: TArguments | undefined;
-    directives?: TDirectives | undefined;
   }) => {
     kind: "union";
     name: TName;
     modifier: TModifier;
     arguments: InputTypeSpecifiers extends TArguments ? {} : TArguments;
-    directives: TDirectives;
   };
-  typename: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}, const TDirectives extends AnyConstDirectiveAttachments = {}>(type: ModifiedTypeName<string, TName, TModifier>, extras: {
+  typename: <const TName extends string, const TModifier extends TypeModifier, const TArguments extends InputTypeSpecifiers = {}>(type: `${TName}:${TModifier}`, extras: {
     arguments?: TArguments | undefined;
-    directives?: TDirectives | undefined;
   }) => {
     kind: "typename";
     name: TName;
     modifier: TModifier;
     arguments: InputTypeSpecifiers extends TArguments ? {} : TArguments;
-    directives: TDirectives;
   };
 };
 //#endregion
 //#region packages/core/src/utils/wrap-by-key.d.ts
-declare const wrapByKey: <TName extends string, TValue>(name: TName, value: TValue) => { [K in TName]: TValue };
+declare function wrapByKey<TName extends string, TValue>(name: TName, value: TValue): { [K in TName]: TValue };
 //#endregion
-export { AbstractFieldSelection, AnyAssignableInput, AnyAssignableInputValue, AnyComposedOperation, AnyComposedOperationOf, AnyConstAssignableInput, AnyConstAssignableInputValue, AnyConstDirectiveAttachments, AnyDefaultValue, AnyDirectiveAttachments, AnyExecutionResultProjectionsBuilder, AnyFieldName, AnyFieldPath, AnyFieldSelection, AnyFieldSelectionFactory, AnyFieldSelectionFactoryReturn, AnyFields, AnyGraphqlRuntimeAdapter, AnyGraphqlSchema, AnyInlineOperation, AnyInlineOperationOf, AnyModel, AnyNestedObject, AnyNestedUnion, AnyProjection, AnySlice, AnySliceOf, AnySlicePayload, AnySlicePayloads, AnySlicedExecutionResult, AnySlicedExecutionResultRecord, AnyTypeModifier, AnyTypeName, AnyTypeSpecifier, AnyVarRef, ApplyTypeModifier, ApplyTypeModifierToKeys, AssignableInput, AssignableInputByFieldName, AssignableInputValue, AvailableFieldPathOf, ComposedOperation, ComposedOperationDefinitionBuilder, ConcatSlicePayloads, ConstAssignableInput, ConstAssignableInputValue, ConstValue, ConstValues, EmptyObject, EmptyResult, EnumDefinition, ExecutionResultProjectionsBuilder, FieldSelectionFactories, FieldSelectionFactory, FieldSelectionFactoryFieldArguments, FieldSelectionFactoryObjectReturn, FieldSelectionFactoryPrimitiveReturn, FieldSelectionFactoryReturn, FieldSelectionFactoryUnionReturn, FieldSelectionTemplateOf, FieldsBuilder, FieldsBuilderTools, GqlElement, GqlElementComposer, GqlElementContext, GqlElementDefinitionFactory, GraphqlExecutionResult, Hidden, IfEmpty, InferByFieldPath, InferComposedOperationRawData, InferExecutionResultProjection, InferField, InferFields, InferInputTypeRef, InferOutputOfSlice, InferOutputTypeRef, InlineOperation, InputDefinition, InputEnumSpecifier, InputFieldRecord, InputInferrableTypeSpecifier, InputInputObjectSpecifier, InputScalarSpecifier, InputTypeKind, InputTypeSpecifier, InputTypeSpecifiers, ListTypeModifierSuffix, MergeFields, MergeVarDefinitions, Model, ModifiedTypeName, NestedObjectFieldsBuilder, NestedObjectFieldsBuilderTools, NestedUnionFieldsBuilder, NonGraphqlErrorResult, NormalizedError, NormalizedExecutionResult, ObjectDefinition, ObjectFieldRecord, OperationRoots, OperationType, OutputEnumSpecifier, OutputInferrableTypeSpecifier, OutputObjectSpecifier, OutputScalarSpecifier, OutputTypeKind, OutputTypeSpecifier, OutputTypeSpecifiers, OutputTypenameSpecifier, OutputUnionSpecifier, PickTypeSpecifierByFieldName, Prettify, Projection, ProjectionPath, ProjectionPathGraphNode, SafeUnwrapResult, ScalarDefinition, Slice, SlicePayload, SlicedExecutionResult, SlicedExecutionResultEmpty, SlicedExecutionResultError, SlicedExecutionResultSuccess, StripFunctions, StripSymbols, StripTailingListFromTypeModifier, StripTailingListFromTypeSpecifier, SwitchIfEmpty, Tuple, TypeModifier, UnionDefinition, UnionMemberName, UnionToIntersection, UnionTypeRecord, VarRef, VarRefBy, buildArgumentValue, buildConstValueNode, buildDocument, buildOperationTypeNode, buildWithTypeModifier, createComposedOperationComposerFactory, createFieldFactories, createGqlElementComposer, createGqlModelComposers, createPathGraphFromSliceEntries, createSliceComposerFactory, createVarAssignments, createVarBuilder, createVarRefs, define, defineOperationRoots, defineScalar, empty, hidden, mergeFields, mergeVarDefinitions, parseModifiedTypeName, prettify, unsafeInputType, unsafeOutputType, wrapByKey };
-//# sourceMappingURL=index-AuafI3MM.d.ts.map
+export { InferOutputOfSlice as $, GetConstAssignableType as $n, AnyDirectiveAttachments as $t, FieldSelectionFactoryPrimitiveReturn as A, InputTypeKind as An, GqlElementContext as At, AnyExecutionResultProjectionsBuilder as B, OutputTypenameSpecifier as Bn, AbstractFieldSelection as Bt, InlineOperation as C, UnionTypeRecord as Cn, StripFunctions as Ct, FieldSelectionFactory as D, InputInferrableTypeSpecifier as Dn, Hidden as Dt, FieldSelectionFactories as E, InputEnumSpecifier as En, UnionToIntersection as Et, MergeFields as F, OutputObjectSpecifier as Fn, buildOperationTypeNode as Ft, ComposedOperationDefinitionBuilder as G, AnyVarRef as Gn, FieldSelectionTemplateOf as Gt, AnyComposedOperation as H, GetAssignableType as Hn, AnyFields as Ht, NestedObjectFieldsBuilder as I, OutputScalarSpecifier as In, buildWithTypeModifier as It, ProjectionPathGraphNode as J, createVarRefFromConstValue as Jn, AnyConstDirectiveAttachments as Jt, ConcatSlicePayloads as K, AnyVarRefMeta as Kn, InferField as Kt, NestedObjectFieldsBuilderTools as L, OutputTypeKind as Ln, AnyFieldPath as Lt, FieldSelectionFactoryUnionReturn as M, InputTypeSpecifiers as Mn, buildArgumentValue as Mt, FieldsBuilder as N, OutputEnumSpecifier as Nn, buildConstValueNode as Nt, FieldSelectionFactoryFieldArguments as O, InputInputObjectSpecifier as On, hidden as Ot, FieldsBuilderTools as P, OutputInferrableTypeSpecifier as Pn, buildDocument as Pt, AnySlicePayloads as Q, GetAssigningType as Qn, ConstAssignableInputValue as Qt, NestedUnionFieldsBuilder as R, OutputTypeSpecifier as Rn, AvailableFieldPathOf as Rt, AnyInlineOperationOf as S, UnionMemberName as Sn, AnyGraphqlRuntimeAdapter as St, AnyFieldSelectionFactoryReturn as T, AnyTypeSpecifier as Tn, Tuple as Tt, AnyComposedOperationOf as U, ModifiedTypeName as Un, AnyNestedObject as Ut, ExecutionResultProjectionsBuilder as V, OutputUnionSpecifier as Vn, AnyFieldSelection as Vt, ComposedOperation as W, parseModifiedTypeName as Wn, AnyNestedUnion as Wt, AnySliceOf as X, getVarRefInner as Xn, AnyConstAssignableInputValue as Xt, AnySlice as Y, createVarRefFromVariable as Yn, AnyConstAssignableInput as Yt, AnySlicePayload as Z, isVarRef as Zn, ConstAssignableInput as Zt, createVarRefs as _, OperationRoots as _n, EmptyResult as _t, defineOperationRoots as a, AssignableInputValue as an, ValidTypeModifier as ar, empty as at, Model as b, ScalarDefinition as bn, NormalizedError as bt, createSliceComposerFactory as c, AnyGraphqlSchema as cn, Projection as ct, GqlElementComposer as d, InferInputProfile as dn, AnySlicedExecutionResultRecord as dt, AnyAssignableInput as en, GetModifiedType as er, Slice as et, createGqlElementComposer as f, InferOutputProfile as fn, SafeUnwrapResult as ft, createVarAssignments as g, ObjectFieldRecord as gn, SlicedExecutionResultSuccess as gt, MergeVarDefinitions as h, ObjectDefinition as hn, SlicedExecutionResultError as ht, define as i, AssignableInputByFieldName as in, TypeModifier as ir, SwitchIfEmpty as it, FieldSelectionFactoryReturn as j, InputTypeSpecifier as jn, GqlElementDefinitionFactory as jt, FieldSelectionFactoryObjectReturn as k, InputScalarSpecifier as kn, GqlElement as kt, createPathGraphFromSliceEntries as l, AnyTypeName as ln, ProjectionPath as lt, createComposedOperationComposerFactory as m, InputFieldRecord as mn, SlicedExecutionResultEmpty as mt, unsafeInputType as n, AnyAssigningInput as nn, TypeProfile as nr, EmptyObject as nt, defineScalar as o, AssigningInput as on, ConstValue as or, AnyProjection as ot, createFieldFactories as p, InputDefinition as pn, SlicedExecutionResult as pt, InferComposedOperationRawData as q, VarRef as qn, InferFields as qt, unsafeOutputType as r, AssignableInput as rn, ApplyTypeModifier as rr, IfEmpty as rt, createVarBuilder as s, AnyFieldName as sn, ConstValues as sr, InferExecutionResultProjection as st, wrapByKey as t, AnyAssignableInputValue as tn, PrimitiveTypeProfile as tr, SlicePayload as tt, createGqlModelComposers as u, EnumDefinition as un, AnySlicedExecutionResult as ut, mergeVarDefinitions as v, OperationType as vn, GraphqlExecutionResult as vt, AnyFieldSelectionFactory as w, AnyDefaultValue as wn, StripSymbols as wt, AnyInlineOperation as x, UnionDefinition as xn, NormalizedExecutionResult as xt, AnyModel as y, PickTypeSpecifierByFieldName as yn, NonGraphqlErrorResult as yt, mergeFields as z, OutputTypeSpecifiers as zn, InferByFieldPath as zt };
+//# sourceMappingURL=index-B0eMtGow.d.ts.map