@soda-gql/runtime 0.0.2 → 0.0.4

package/dist/index.d.cts

@@ -7,7 +7,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];
@@ -17,51 +17,166 @@ declare abstract class GqlElement<TDefinition> {
   static get<TValue>(element: GqlElement<TValue>): TValue;
 }
 //#endregion
-//#region packages/core/src/types/schema/const-value.d.ts
+//#region packages/core/src/utils/hidden.d.ts
+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$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] };
+//#endregion
+//#region packages/core/src/types/type-foundation/const-value.d.ts
 type ConstValue = string | number | boolean | null | undefined | {
   readonly [key: string]: ConstValue;
 } | readonly ConstValue[];
 //#endregion
-//#region packages/core/src/utils/hidden.d.ts
-type Hidden<T> = () => T;
-//#endregion
-//#region packages/core/src/types/schema/type-modifier.d.ts
-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-modifier-core.generated.d.ts
+type TypeModifier = string;
+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/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>;
+  };
+  type AssigningVarRefMeta<TProfile extends TypeProfile.WithMeta> = {
+    profile: TProfile[0];
+    signature: Signature<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 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>;
 //#endregion
-//#region packages/core/src/types/schema/type-specifier.d.ts
+//#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;
+};
+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;
+}
+//#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/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;
 };
 type InputTypeKind = "scalar" | "enum" | "input";
 type OutputTypeKind = "scalar" | "enum" | "object" | "union" | "typename";
-type AnyTypeSpecifier = {
-  readonly kind: string;
-  readonly name: string;
-  readonly modifier: TypeModifier;
-  readonly directives: AnyConstDirectiveAttachments;
-  readonly defaultValue?: AnyDefaultValue | null;
-  readonly arguments?: InputTypeSpecifiers;
-};
 type AbstractInputTypeSpecifier<TKind extends InputTypeKind> = {
   readonly kind: TKind;
   readonly name: string;
   readonly modifier: TypeModifier;
-  readonly directives: AnyConstDirectiveAttachments;
   readonly defaultValue: AnyDefaultValue | null;
 };
 type InputTypeSpecifiers = {
   [key: string]: InputTypeSpecifier;
 };
 type InputTypeSpecifier = InputScalarSpecifier | InputEnumSpecifier | InputInputObjectSpecifier;
-type InputInferrableTypeSpecifier = InputScalarSpecifier | InputEnumSpecifier;
 type InputScalarSpecifier = AbstractInputTypeSpecifier<"scalar">;
 type InputEnumSpecifier = AbstractInputTypeSpecifier<"enum">;
 type InputInputObjectSpecifier = AbstractInputTypeSpecifier<"input">;
@@ -69,7 +184,6 @@ type AbstractOutputTypeSpecifier<TKind extends OutputTypeKind> = {
   readonly kind: TKind;
   readonly name: string;
   readonly modifier: TypeModifier;
-  readonly directives: AnyConstDirectiveAttachments;
   readonly arguments: InputTypeSpecifiers;
 };
 type OutputTypeSpecifiers = {
@@ -82,42 +196,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>;
@@ -140,71 +225,61 @@ 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 InputFieldRecord<TSchema extends AnyGraphqlSchema, TSpecifier extends InputTypeSpecifier> = TSchema["input"][TSpecifier["name"]]["fields"];
-//#endregion
-//#region packages/core/src/utils/prettify.d.ts
-type Prettify<T> = { [K in keyof T]: T[K] } & {};
-//#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"]];
 //#endregion
 //#region packages/core/src/types/fragment/assignable-input.d.ts
 type AnyAssignableInputValue = ConstValue | AnyVarRef | {
@@ -213,14 +288,24 @@ 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 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>>;
 //#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/fragment/field-selection.d.ts
 /**
  * Canonical representation of the field selections we collect during model and
@@ -249,17 +334,17 @@ type AnyFields = {
   readonly [alias: string]: AnyFieldSelection;
 };
 /** 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;
@@ -267,22 +352,17 @@ 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];
-//#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] };
+} ? InferByFieldPathInner<TSchema, TNested, TPathTarget, `${TPathCurrent}.${TAliasName}`> : never : never }[keyof TFields$1];
 //#endregion
 //#region packages/core/src/types/runtime/runtime-adapter.d.ts
 /**
@@ -402,28 +482,28 @@ 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 SwitchIfEmpty<TTarget, TTrue, TFalse> = IsEmptyObject<TTarget> extends true ? TTrue : TFalse;
 //#endregion
 //#region packages/core/src/types/element/slice.d.ts
 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>;
 }
@@ -431,9 +511,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;
 };
 //#endregion
@@ -466,7 +546,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: {
@@ -478,30 +558,30 @@ 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>>;
 //#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/inline-operation.d.ts
 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;
   }>;
@@ -509,41 +589,41 @@ 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>;
 }
@@ -584,7 +664,7 @@ type RuntimeSliceInput = {
 //#endregion
 //#region packages/core/src/runtime/runtime-adapter.d.ts
 type RuntimeAdapterFactory<TRuntimeAdapter extends AnyGraphqlRuntimeAdapter> = (tools: {
-  type: <T>() => Hidden<T>;
+  type: <T$1>() => Hidden<T$1>;
 }) => TRuntimeAdapter;
 declare const createRuntimeAdapter: <TRuntimeAdapter extends AnyGraphqlRuntimeAdapter>(factory: RuntimeAdapterFactory<TRuntimeAdapter>) => TRuntimeAdapter;
 //#endregion