@soda-gql/core 0.9.0 → 0.9.1

package/dist/{schema-CPTxQbTv.d.cts → index-zCOsREx0.d.cts}

@@ -76,6 +76,55 @@ type ConstValues = {
   readonly [key: string]: ConstValue;
 };
 //#endregion
+//#region packages/core/src/types/type-foundation/depth-counter.d.ts
+/**
+ * Depth counter utilities for limiting type inference recursion.
+ *
+ * Used primarily to prevent infinite recursion in recursive input types
+ * like Hasura's `bool_exp` pattern where types reference themselves.
+ */
+/**
+ * A depth counter represented as a tuple.
+ * The length of the tuple represents the remaining depth.
+ */
+type DepthCounter = readonly unknown[];
+/**
+ * Default depth limit for input type inference.
+ * Depth 3 allows:
+ * - Level 0: Top-level fields
+ * - Level 1: First-level nested objects
+ * - Level 2: Second-level nested objects
+ * - Level 3: Third-level nested objects (then stops)
+ */
+type DefaultDepth = [unknown, unknown, unknown];
+/**
+ * Decrement depth by removing one element from the tuple.
+ * Returns empty tuple when depth is already exhausted.
+ */
+type DecrementDepth<D extends DepthCounter> = D extends readonly [unknown, ...infer Rest] ? Rest : [];
+/**
+ * Check if depth counter is exhausted (empty tuple).
+ */
+type IsDepthExhausted<D extends DepthCounter> = D extends readonly [] ? true : false;
+/**
+ * Convert a number literal to a depth counter tuple.
+ * Supports depths 0-10 (sufficient for most use cases).
+ */
+type NumberToDepth<N extends number> = N extends 0 ? [] : N extends 1 ? [unknown] : N extends 2 ? [unknown, unknown] : N extends 3 ? [unknown, unknown, unknown] : N extends 4 ? [unknown, unknown, unknown, unknown] : N extends 5 ? [unknown, unknown, unknown, unknown, unknown] : N extends 6 ? [unknown, unknown, unknown, unknown, unknown, unknown] : N extends 7 ? [unknown, unknown, unknown, unknown, unknown, unknown, unknown] : N extends 8 ? [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown] : N extends 9 ? [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown] : N extends 10 ? [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown] : DefaultDepth;
+/**
+ * Type for per-input-type depth overrides (number-based, as stored in schema).
+ */
+type InputDepthOverrides = Readonly<Record<string, number>>;
+/**
+ * Get depth for a specific input type from schema overrides.
+ * Priority: per-type override > schema default > hardcoded DefaultDepth (3).
+ *
+ * @typeParam TOverrides - The input depth overrides from schema
+ * @typeParam TTypeName - The input type name to look up
+ * @typeParam TDefaultDepth - Optional schema-level default depth
+ */
+type GetInputTypeDepth<TOverrides extends InputDepthOverrides | undefined, TTypeName$1 extends string, TDefaultDepth extends number | undefined = undefined> = TOverrides extends InputDepthOverrides ? TTypeName$1 extends keyof TOverrides ? NumberToDepth<TOverrides[TTypeName$1]> : TDefaultDepth extends number ? NumberToDepth<TDefaultDepth> : DefaultDepth : TDefaultDepth extends number ? NumberToDepth<TDefaultDepth> : DefaultDepth;
+//#endregion
 //#region packages/core/src/types/type-foundation/type-modifier-core.generated.d.ts
 type TypeModifier = string;
 type ValidTypeModifier = "!" | "?" | "![]!" | "![]?" | "?[]!" | "?[]?" | "![]![]!" | "![]![]?" | "![]?[]!" | "![]?[]?" | "?[]![]!" | "?[]![]?" | "?[]?[]!" | "?[]?[]?" | "![]![]![]!" | "![]![]![]?" | "![]![]?[]!" | "![]![]?[]?" | "![]?[]![]!" | "![]?[]![]?" | "![]?[]?[]!" | "![]?[]?[]?" | "?[]![]![]!" | "?[]![]![]?" | "?[]![]?[]!" | "?[]![]?[]?" | "?[]?[]![]!" | "?[]?[]![]?" | "?[]?[]?[]!" | "?[]?[]?[]?";
@@ -144,6 +193,61 @@ type Signature_OptionalList_OptionalList_OptionalList_Required = Op_0<Signature_
 type Signature_OptionalList_OptionalList_OptionalList_Optional = Op_1<Signature_OptionalList_OptionalList_Optional>;
 type GetSignature<M extends TypeModifier> = M extends "!" ? Signature_Required : M extends "?" ? Signature_Optional : M extends "![]!" ? Signature_RequiredList_Required : M extends "![]?" ? Signature_RequiredList_Optional : M extends "?[]!" ? Signature_OptionalList_Required : M extends "?[]?" ? Signature_OptionalList_Optional : M extends "![]![]!" ? Signature_RequiredList_RequiredList_Required : M extends "![]![]?" ? Signature_RequiredList_RequiredList_Optional : M extends "![]?[]!" ? Signature_RequiredList_OptionalList_Required : M extends "![]?[]?" ? Signature_RequiredList_OptionalList_Optional : M extends "?[]![]!" ? Signature_OptionalList_RequiredList_Required : M extends "?[]![]?" ? Signature_OptionalList_RequiredList_Optional : M extends "?[]?[]!" ? Signature_OptionalList_OptionalList_Required : M extends "?[]?[]?" ? Signature_OptionalList_OptionalList_Optional : M extends "![]![]![]!" ? Signature_RequiredList_RequiredList_RequiredList_Required : M extends "![]![]![]?" ? Signature_RequiredList_RequiredList_RequiredList_Optional : M extends "![]![]?[]!" ? Signature_RequiredList_RequiredList_OptionalList_Required : M extends "![]![]?[]?" ? Signature_RequiredList_RequiredList_OptionalList_Optional : M extends "![]?[]![]!" ? Signature_RequiredList_OptionalList_RequiredList_Required : M extends "![]?[]![]?" ? Signature_RequiredList_OptionalList_RequiredList_Optional : M extends "![]?[]?[]!" ? Signature_RequiredList_OptionalList_OptionalList_Required : M extends "![]?[]?[]?" ? Signature_RequiredList_OptionalList_OptionalList_Optional : M extends "?[]![]![]!" ? Signature_OptionalList_RequiredList_RequiredList_Required : M extends "?[]![]![]?" ? Signature_OptionalList_RequiredList_RequiredList_Optional : M extends "?[]![]?[]!" ? Signature_OptionalList_RequiredList_OptionalList_Required : M extends "?[]![]?[]?" ? Signature_OptionalList_RequiredList_OptionalList_Optional : M extends "?[]?[]![]!" ? Signature_OptionalList_OptionalList_RequiredList_Required : M extends "?[]?[]![]?" ? Signature_OptionalList_OptionalList_RequiredList_Optional : M extends "?[]?[]?[]!" ? Signature_OptionalList_OptionalList_OptionalList_Required : M extends "?[]?[]?[]?" ? Signature_OptionalList_OptionalList_OptionalList_Optional : 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;
+}
+interface ObjectTypeProfile {
+  readonly kind: "input";
+  readonly name: string;
+  readonly fields: {
+    readonly [key: string]: TypeProfile.WithMeta;
+  };
+}
+type TypeProfile = PrimitiveTypeProfile | ObjectTypeProfile;
+declare namespace TypeProfile {
+  type WITH_DEFAULT_INPUT = "with_default_input";
+  type WithMeta = [TypeProfile, TypeModifier, WITH_DEFAULT_INPUT?];
+  type IsOptionalProfile<TField extends WithMeta> = TField[1] extends `${string}?` ? true : TField[2] extends WITH_DEFAULT_INPUT ? true : false;
+  type OptionalProfileKeys<TProfileObject extends {
+    readonly [key: string]: WithMeta;
+  }> = { [K in keyof TProfileObject]: IsOptionalProfile<TProfileObject[K]> extends true ? K : never }[keyof TProfileObject];
+  type RequiredProfileKeys<TProfileObject extends {
+    readonly [key: string]: WithMeta;
+  }> = { [K in keyof TProfileObject]: IsOptionalProfile<TProfileObject[K]> extends false ? K : never }[keyof TProfileObject];
+  type Simplify<T> = { [K in keyof T]: T[K] } & {};
+  type ConstObjectType<TProfileObject extends {
+    readonly [key: string]: WithMeta;
+  }> = Simplify<{ readonly [K in OptionalProfileKeys<TProfileObject>]+?: TProfileObject[K] extends WithMeta ? Type<TProfileObject[K]> : never } & { readonly [K in RequiredProfileKeys<TProfileObject>]-?: TProfileObject[K] extends WithMeta ? Type<TProfileObject[K]> : never }>;
+  type Type<TProfile extends TypeProfile.WithMeta> = ApplyTypeModifier<TProfile[0] extends PrimitiveTypeProfile ? TProfile[0]["value"] : TProfile[0] extends ObjectTypeProfile ? ConstObjectType<TProfile[0]["fields"]> : never, TProfile[1]> | (TProfile[2] extends WITH_DEFAULT_INPUT ? undefined : never);
+  /**
+   * Expected variable type derived from TypeProfile.
+   * Extracts typeName and kind from the profile, takes pre-computed signature.
+   * Used by generated Assignable types for efficient type checking.
+   * This name appears in TypeScript error messages when VarRef types don't match.
+   */
+  type ExpectedVariableType<T extends TypeProfile, TSignature> = {
+    typeName: T["name"];
+    kind: T["kind"];
+    signature: TSignature;
+  };
+  /**
+   * Declared variable type derived from WithMeta.
+   * Used by DeclaredVariables to type variable references.
+   * Derives typeName, kind, and signature from the profile.
+   * This name appears in TypeScript error messages when VarRef types don't match.
+   */
+  type DeclaredVariableType<T extends WithMeta> = {
+    typeName: T[0]["name"];
+    kind: T[0]["kind"];
+    signature: GetSignature<T[1]>;
+  };
+}
+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/type-foundation/type-specifier.d.ts
 type AnyDefaultValue = {
   default: ConstValue;
@@ -237,50 +341,207 @@ declare function createVarRefFromVariable(name: string): AnyVarRef;
  */
 declare function createVarRefFromNestedValue(value: NestedValue): AnyVarRef;
 //#endregion
-//#region packages/core/src/types/metadata/metadata.d.ts
-/**
- * Base metadata types that can be attached to operations.
- * These are consumed at runtime by GraphQL clients for HTTP headers
- * and custom application-specific values.
- */
-type OperationMetadata = {
-  /** HTTP headers to include with the GraphQL request */
-  readonly headers?: Record<string, string>;
-  /** Custom arbitrary metadata values for application-specific use */
-  readonly custom?: Record<string, unknown>;
+//#region packages/core/src/utils/type-meta.d.ts
+interface WithTypeMeta<T extends object> {
+  readonly $type: T;
+}
+//#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>;
+  };
+  readonly enum: {
+    readonly [name: string]: EnumDefinition<any>;
+  };
+  readonly input: {
+    readonly [name: string]: InputDefinition;
+  };
+  readonly object: {
+    readonly [name: string]: ObjectDefinition;
+  };
+  readonly union: {
+    readonly [name: string]: UnionDefinition;
+  };
+  /**
+   * Optional default depth for input type inference.
+   * Used when no per-type override is specified.
+   * Generated by codegen when defaultInputDepth is specified in config.
+   */
+  readonly __defaultInputDepth?: number;
+  /**
+   * Optional depth overrides for input type inference.
+   * Maps input type names to their maximum inference depth.
+   * Generated by codegen when inputDepthOverrides is specified in config.
+   */
+  readonly __inputDepthOverrides?: InputDepthOverrides;
 };
-/**
- * Tools available inside metadata builder callbacks.
- * Access utilities via $var.getName(), $var.getValue(), $var.getInner().
- *
- * @template TVarRefs - Variable references from the operation
- * @template TAggregatedFragmentMetadata - The aggregated fragment metadata type from the adapter
- * @template TSchemaLevel - The schema-level configuration type from the adapter
- */
-type MetadataBuilderTools<TVarRefs extends Record<string, AnyVarRef>, TAggregatedFragmentMetadata = readonly (OperationMetadata | undefined)[], TSchemaLevel$1 = unknown> = {
-  /** Variable references created from the operation's variable definitions */
-  readonly $: TVarRefs;
-  /** The GraphQL DocumentNode (AST) for this operation */
-  readonly document: DocumentNode;
-  /** Aggregated metadata from spread fragments, evaluated before operation metadata */
-  readonly fragmentMetadata?: TAggregatedFragmentMetadata;
-  /** Schema-level fixed values from the adapter */
-  readonly schemaLevel?: TSchemaLevel$1;
+type OperationRoots = {
+  readonly query: string | null;
+  readonly mutation: string | null;
+  readonly subscription: string | null;
+};
+interface ScalarDefinition<T extends {
+  name: string;
+  input: unknown;
+  output: unknown;
+}> extends WithTypeMeta<{
+  input: T["input"];
+  inputProfile: {
+    kind: "scalar";
+    name: T["name"];
+    value: T["input"];
+  };
+  output: T["output"];
+  outputProfile: {
+    kind: "scalar";
+    name: T["name"];
+    value: T["output"];
+  };
+}> {
+  readonly name: T["name"];
+}
+interface EnumDefinition<T extends {
+  name: string;
+  values: string;
+}> extends WithTypeMeta<{
+  name: T["name"];
+  inputProfile: {
+    kind: "enum";
+    name: T["name"];
+    value: T["values"];
+  };
+  outputProfile: {
+    kind: "enum";
+    name: T["name"];
+    value: T["values"];
+  };
+}> {
+  readonly name: T["name"];
+  readonly values: { readonly [_ in T["values"]]: true };
+}
+interface InputDefinition {
+  readonly name: string;
+  readonly fields: InputTypeSpecifiers;
+}
+type ObjectDefinition = {
+  readonly name: string;
+  readonly fields: OutputTypeSpecifiers;
+};
+type UnionDefinition = {
+  readonly name: string;
+  readonly types: {
+    [typename: string]: true;
+  };
 };
 /**
- * Metadata builder callback that receives variable tools.
- * Allows metadata to reference operation variables.
+ * Infers a TypeProfile from an input type specifier.
  *
- * @template TVarRefs - Variable references from the operation
- * @template TMetadata - The metadata type returned by this builder
- * @template TAggregatedFragmentMetadata - The aggregated fragment metadata type from the adapter
- * @template TSchemaLevel - The schema-level configuration type from the adapter
+ * @typeParam TSchema - The GraphQL schema
+ * @typeParam TSpecifier - The input type specifier to infer from
+ * @typeParam TDepth - Depth counter to limit recursion (default from schema overrides or schema default or 3 levels)
+ *
+ * When depth is exhausted, returns `never` to cause a type error.
+ * This prevents infinite recursion in self-referential types like `bool_exp`.
  */
-type MetadataBuilder<TVarRefs extends Record<string, AnyVarRef>, TMetadata, TAggregatedFragmentMetadata = readonly (OperationMetadata | undefined)[], TSchemaLevel$1 = unknown> = (tools: MetadataBuilderTools<TVarRefs, TAggregatedFragmentMetadata, TSchemaLevel$1>) => TMetadata | Promise<TMetadata>;
+type InferInputProfile<TSchema extends AnyGraphqlSchema, TSpecifier extends InputTypeSpecifier, TDepth extends DepthCounter = GetInputTypeDepth<TSchema["__inputDepthOverrides"], TSpecifier["name"], TSchema["__defaultInputDepth"]>> = { [_ in TSchema["label"]]: IsDepthExhausted<TDepth> extends true ? never : [TSpecifier extends InputScalarSpecifier ? TSchema["scalar"][TSpecifier["name"]]["$type"]["inputProfile"] : TSpecifier extends InputEnumSpecifier ? TSchema["enum"][TSpecifier["name"]]["$type"]["inputProfile"] : TSchema["input"][TSpecifier["name"]]["fields"] extends infer TFields ? {
+  kind: "input";
+  name: TSpecifier["name"];
+  fields: { [K in keyof TFields]: TFields[K] extends InputTypeSpecifier ? InferInputProfile<TSchema, TFields[K], DecrementDepth<TDepth>> : never };
+} : never, TSpecifier["modifier"], TSpecifier["defaultValue"] extends AnyDefaultValue ? TypeProfile.WITH_DEFAULT_INPUT : undefined] }[TSchema["label"]];
+type InferOutputProfile<TSchema extends AnyGraphqlSchema, TSpecifier extends OutputInferrableTypeSpecifier> = { [_ in TSchema["label"]]: (TSpecifier extends OutputScalarSpecifier ? TSchema["scalar"][TSpecifier["name"]] : TSchema["enum"][TSpecifier["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 extends InputTypeSpecifier> = TSchema["input"][TSpecifier["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 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;
 /**
- * Utility type to extract the metadata type from an operation.
+ * Union of all input type names in a schema (scalars, enums, and input objects).
  */
-type ExtractMetadata<T> = T extends {
+type AllInputTypeNames<TSchema extends AnyGraphqlSchema> = (keyof TSchema["scalar"] & string) | (keyof TSchema["enum"] & string) | (keyof TSchema["input"] & string);
+/**
+ * Infers the input type kind from a type name.
+ */
+type InferInputKind<TSchema extends AnyGraphqlSchema, TName extends AllInputTypeNames<TSchema>> = TName extends keyof TSchema["scalar"] ? "scalar" : TName extends keyof TSchema["enum"] ? "enum" : TName extends keyof TSchema["input"] ? "input" : never;
+/**
+ * Resolves a TypeProfile from VarRefMetaV2 parameters (typeName + kind).
+ * This is used by schema-aware functions like getValueAt to resolve type structure
+ * from the schema at call site, rather than storing full profile in VarRef.
+ *
+ * @typeParam TSchema - The GraphQL schema
+ * @typeParam TTypeName - The GraphQL type name (e.g., "String", "UserInput")
+ * @typeParam TKind - The type kind ("scalar" | "enum" | "input")
+ * @typeParam TModifier - The type modifier (e.g., "!", "?", "![]!")
+ */
+type ResolveInputProfileFromMeta<TSchema extends AnyGraphqlSchema, TTypeName$1 extends string, TKind extends "scalar" | "enum" | "input", TModifier extends TypeModifier> = TKind extends "scalar" ? InferInputProfile<TSchema, {
+  kind: "scalar";
+  name: TTypeName$1;
+  modifier: TModifier;
+  defaultValue: null;
+  directives: {};
+}> : TKind extends "enum" ? InferInputProfile<TSchema, {
+  kind: "enum";
+  name: TTypeName$1;
+  modifier: TModifier;
+  defaultValue: null;
+  directives: {};
+}> : InferInputProfile<TSchema, {
+  kind: "input";
+  name: TTypeName$1;
+  modifier: TModifier;
+  defaultValue: null;
+  directives: {};
+}>;
+//#endregion
+//#region packages/core/src/types/metadata/metadata.d.ts
+/**
+ * Base metadata types that can be attached to operations.
+ * These are consumed at runtime by GraphQL clients for HTTP headers
+ * and custom application-specific values.
+ */
+type OperationMetadata = {
+  /** HTTP headers to include with the GraphQL request */
+  readonly headers?: Record<string, string>;
+  /** Custom arbitrary metadata values for application-specific use */
+  readonly custom?: Record<string, unknown>;
+};
+/**
+ * Tools available inside metadata builder callbacks.
+ * Access utilities via $var.getName(), $var.getValue(), $var.getInner().
+ *
+ * @template TVarRefs - Variable references from the operation
+ * @template TAggregatedFragmentMetadata - The aggregated fragment metadata type from the adapter
+ * @template TSchemaLevel - The schema-level configuration type from the adapter
+ */
+type MetadataBuilderTools<TVarRefs extends Record<string, AnyVarRef>, TAggregatedFragmentMetadata = readonly (OperationMetadata | undefined)[], TSchemaLevel$1 = unknown> = {
+  /** Variable references created from the operation's variable definitions */
+  readonly $: TVarRefs;
+  /** The GraphQL DocumentNode (AST) for this operation */
+  readonly document: DocumentNode;
+  /** Aggregated metadata from spread fragments, evaluated before operation metadata */
+  readonly fragmentMetadata?: TAggregatedFragmentMetadata;
+  /** Schema-level fixed values from the adapter */
+  readonly schemaLevel?: TSchemaLevel$1;
+};
+/**
+ * Metadata builder callback that receives variable tools.
+ * Allows metadata to reference operation variables.
+ *
+ * @template TVarRefs - Variable references from the operation
+ * @template TMetadata - The metadata type returned by this builder
+ * @template TAggregatedFragmentMetadata - The aggregated fragment metadata type from the adapter
+ * @template TSchemaLevel - The schema-level configuration type from the adapter
+ */
+type MetadataBuilder<TVarRefs extends Record<string, AnyVarRef>, TMetadata, TAggregatedFragmentMetadata = readonly (OperationMetadata | undefined)[], TSchemaLevel$1 = unknown> = (tools: MetadataBuilderTools<TVarRefs, TAggregatedFragmentMetadata, TSchemaLevel$1>) => TMetadata | Promise<TMetadata>;
+/**
+ * Utility type to extract the metadata type from an operation.
+ */
+type ExtractMetadata<T> = T extends {
   metadata: infer M;
 } ? M : OperationMetadata;
 /**
@@ -348,6 +609,75 @@ type ExtractAdapterTypes<T> = T extends MetadataAdapter<infer TFragment, infer T
  * Generic type for any metadata adapter.
  */
 type AnyMetadataAdapter = MetadataAdapter<any, any, any>;
+/**
+ * Arguments passed to document transformer function.
+ * Destructurable for convenient access.
+ *
+ * @template TSchemaLevel - Schema-level configuration type
+ * @template TAggregatedFragmentMetadata - Aggregated fragment metadata type
+ */
+type DocumentTransformArgs<TSchemaLevel$1 = unknown, TAggregatedFragmentMetadata = unknown> = {
+  /** The GraphQL document to transform */
+  readonly document: DocumentNode;
+  /** The operation name */
+  readonly operationName: string;
+  /** The operation type (query, mutation, subscription) */
+  readonly operationType: OperationType;
+  /** Variable names defined for this operation */
+  readonly variableNames: readonly string[];
+  /** Schema-level configuration from adapter */
+  readonly schemaLevel: TSchemaLevel$1 | undefined;
+  /** Aggregated fragment metadata */
+  readonly fragmentMetadata: TAggregatedFragmentMetadata | undefined;
+};
+/**
+ * Document transformer function.
+ * Receives the built DocumentNode and returns a transformed DocumentNode.
+ *
+ * @template TSchemaLevel - Schema-level configuration type
+ * @template TAggregatedFragmentMetadata - Aggregated fragment metadata type
+ */
+type DocumentTransformer<TSchemaLevel$1 = unknown, TAggregatedFragmentMetadata = unknown> = (args: DocumentTransformArgs<TSchemaLevel$1, TAggregatedFragmentMetadata>) => DocumentNode;
+/**
+ * Arguments passed to operation-level document transformer.
+ * Receives typed operation metadata.
+ *
+ * @template TOperationMetadata - The operation's metadata type
+ */
+type OperationDocumentTransformArgs<TOperationMetadata = unknown> = {
+  /** The GraphQL document to transform */
+  readonly document: DocumentNode;
+  /** The operation metadata (typed per-operation) */
+  readonly metadata: TOperationMetadata | undefined;
+};
+/**
+ * Operation-level document transformer function.
+ * Applied before the adapter-level transform.
+ *
+ * **Best Practice:** Define transform logic in adapter helpers for reusability,
+ * then reference the helper in the operation's `transformDocument` option.
+ *
+ * @example
+ * ```typescript
+ * // Define in adapter helpers
+ * const adapter = defineAdapter({
+ *   helpers: {
+ *     transform: {
+ *       addCache: (ttl: number) => ({ document }) => visit(document, { ... }),
+ *     },
+ *   },
+ * });
+ *
+ * // Use in operation
+ * query.operation({
+ *   transformDocument: transform.addCache(300),
+ *   ...
+ * });
+ * ```
+ *
+ * @template TOperationMetadata - The operation's metadata type
+ */
+type OperationDocumentTransformer<TOperationMetadata = unknown> = (args: OperationDocumentTransformArgs<TOperationMetadata>) => DocumentNode;
 /**
  * Unified adapter that combines helpers and metadata configuration.
  *
@@ -376,6 +706,8 @@ type Adapter<THelpers$1 extends object = object, TFragmentMetadata = unknown, TA
   readonly helpers?: THelpers$1;
   /** Metadata configuration for fragments and operations */
   readonly metadata?: MetadataAdapter<TFragmentMetadata, TAggregatedFragmentMetadata, TSchemaLevel$1>;
+  /** Optional document transformer called after document building */
+  readonly transformDocument?: DocumentTransformer<TSchemaLevel$1, TAggregatedFragmentMetadata>;
 };
 /**
  * Generic type for any unified adapter.
@@ -409,266 +741,5 @@ declare const createDefaultAdapter: () => DefaultMetadataAdapter;
  */
 declare const defaultMetadataAdapter: DefaultMetadataAdapter;
 //#endregion
-//#region packages/core/src/types/type-foundation/depth-counter.d.ts
-/**
- * Depth counter utilities for limiting type inference recursion.
- *
- * Used primarily to prevent infinite recursion in recursive input types
- * like Hasura's `bool_exp` pattern where types reference themselves.
- */
-/**
- * A depth counter represented as a tuple.
- * The length of the tuple represents the remaining depth.
- */
-type DepthCounter = readonly unknown[];
-/**
- * Default depth limit for input type inference.
- * Depth 3 allows:
- * - Level 0: Top-level fields
- * - Level 1: First-level nested objects
- * - Level 2: Second-level nested objects
- * - Level 3: Third-level nested objects (then stops)
- */
-type DefaultDepth = [unknown, unknown, unknown];
-/**
- * Decrement depth by removing one element from the tuple.
- * Returns empty tuple when depth is already exhausted.
- */
-type DecrementDepth<D extends DepthCounter> = D extends readonly [unknown, ...infer Rest] ? Rest : [];
-/**
- * Check if depth counter is exhausted (empty tuple).
- */
-type IsDepthExhausted<D extends DepthCounter> = D extends readonly [] ? true : false;
-/**
- * Convert a number literal to a depth counter tuple.
- * Supports depths 0-10 (sufficient for most use cases).
- */
-type NumberToDepth<N extends number> = N extends 0 ? [] : N extends 1 ? [unknown] : N extends 2 ? [unknown, unknown] : N extends 3 ? [unknown, unknown, unknown] : N extends 4 ? [unknown, unknown, unknown, unknown] : N extends 5 ? [unknown, unknown, unknown, unknown, unknown] : N extends 6 ? [unknown, unknown, unknown, unknown, unknown, unknown] : N extends 7 ? [unknown, unknown, unknown, unknown, unknown, unknown, unknown] : N extends 8 ? [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown] : N extends 9 ? [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown] : N extends 10 ? [unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown] : DefaultDepth;
-/**
- * Type for per-input-type depth overrides (number-based, as stored in schema).
- */
-type InputDepthOverrides = Readonly<Record<string, number>>;
-/**
- * Get depth for a specific input type from schema overrides.
- * Priority: per-type override > schema default > hardcoded DefaultDepth (3).
- *
- * @typeParam TOverrides - The input depth overrides from schema
- * @typeParam TTypeName - The input type name to look up
- * @typeParam TDefaultDepth - Optional schema-level default depth
- */
-type GetInputTypeDepth<TOverrides extends InputDepthOverrides | undefined, TTypeName$1 extends string, TDefaultDepth extends number | undefined = undefined> = TOverrides extends InputDepthOverrides ? TTypeName$1 extends keyof TOverrides ? NumberToDepth<TOverrides[TTypeName$1]> : TDefaultDepth extends number ? NumberToDepth<TDefaultDepth> : DefaultDepth : TDefaultDepth extends number ? NumberToDepth<TDefaultDepth> : DefaultDepth;
-//#endregion
-//#region packages/core/src/types/type-foundation/type-profile.d.ts
-interface PrimitiveTypeProfile {
-  readonly kind: "scalar" | "enum";
-  readonly name: string;
-  readonly value: any;
-}
-interface ObjectTypeProfile {
-  readonly kind: "input";
-  readonly name: string;
-  readonly fields: {
-    readonly [key: string]: TypeProfile.WithMeta;
-  };
-}
-type TypeProfile = PrimitiveTypeProfile | ObjectTypeProfile;
-declare namespace TypeProfile {
-  type WITH_DEFAULT_INPUT = "with_default_input";
-  type WithMeta = [TypeProfile, TypeModifier, WITH_DEFAULT_INPUT?];
-  type IsOptionalProfile<TField extends WithMeta> = TField[1] extends `${string}?` ? true : TField[2] extends WITH_DEFAULT_INPUT ? true : false;
-  type OptionalProfileKeys<TProfileObject extends {
-    readonly [key: string]: WithMeta;
-  }> = { [K in keyof TProfileObject]: IsOptionalProfile<TProfileObject[K]> extends true ? K : never }[keyof TProfileObject];
-  type RequiredProfileKeys<TProfileObject extends {
-    readonly [key: string]: WithMeta;
-  }> = { [K in keyof TProfileObject]: IsOptionalProfile<TProfileObject[K]> extends false ? K : never }[keyof TProfileObject];
-  type Simplify<T> = { [K in keyof T]: T[K] } & {};
-  type ConstObjectType<TProfileObject extends {
-    readonly [key: string]: WithMeta;
-  }> = Simplify<{ readonly [K in OptionalProfileKeys<TProfileObject>]+?: TProfileObject[K] extends WithMeta ? Type<TProfileObject[K]> : never } & { readonly [K in RequiredProfileKeys<TProfileObject>]-?: TProfileObject[K] extends WithMeta ? Type<TProfileObject[K]> : never }>;
-  type Type<TProfile extends TypeProfile.WithMeta> = ApplyTypeModifier<TProfile[0] extends PrimitiveTypeProfile ? TProfile[0]["value"] : TProfile[0] extends ObjectTypeProfile ? ConstObjectType<TProfile[0]["fields"]> : never, TProfile[1]> | (TProfile[2] extends WITH_DEFAULT_INPUT ? undefined : never);
-  /**
-   * Expected variable type derived from TypeProfile.
-   * Extracts typeName and kind from the profile, takes pre-computed signature.
-   * Used by generated Assignable types for efficient type checking.
-   * This name appears in TypeScript error messages when VarRef types don't match.
-   */
-  type ExpectedVariableType<T extends TypeProfile, TSignature> = {
-    typeName: T["name"];
-    kind: T["kind"];
-    signature: TSignature;
-  };
-  /**
-   * Declared variable type derived from WithMeta.
-   * Used by DeclaredVariables to type variable references.
-   * Derives typeName, kind, and signature from the profile.
-   * This name appears in TypeScript error messages when VarRef types don't match.
-   */
-  type DeclaredVariableType<T extends WithMeta> = {
-    typeName: T[0]["name"];
-    kind: T[0]["kind"];
-    signature: GetSignature<T[1]>;
-  };
-}
-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/utils/type-meta.d.ts
-interface WithTypeMeta<T extends object> {
-  readonly $type: T;
-}
-//#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>;
-  };
-  readonly enum: {
-    readonly [name: string]: EnumDefinition<any>;
-  };
-  readonly input: {
-    readonly [name: string]: InputDefinition;
-  };
-  readonly object: {
-    readonly [name: string]: ObjectDefinition;
-  };
-  readonly union: {
-    readonly [name: string]: UnionDefinition;
-  };
-  /**
-   * Optional default depth for input type inference.
-   * Used when no per-type override is specified.
-   * Generated by codegen when defaultInputDepth is specified in config.
-   */
-  readonly __defaultInputDepth?: number;
-  /**
-   * Optional depth overrides for input type inference.
-   * Maps input type names to their maximum inference depth.
-   * Generated by codegen when inputDepthOverrides is specified in config.
-   */
-  readonly __inputDepthOverrides?: InputDepthOverrides;
-};
-type OperationRoots = {
-  readonly query: string | null;
-  readonly mutation: string | null;
-  readonly subscription: string | null;
-};
-interface ScalarDefinition<T extends {
-  name: string;
-  input: unknown;
-  output: unknown;
-}> extends WithTypeMeta<{
-  input: T["input"];
-  inputProfile: {
-    kind: "scalar";
-    name: T["name"];
-    value: T["input"];
-  };
-  output: T["output"];
-  outputProfile: {
-    kind: "scalar";
-    name: T["name"];
-    value: T["output"];
-  };
-}> {
-  readonly name: T["name"];
-}
-interface EnumDefinition<T extends {
-  name: string;
-  values: string;
-}> extends WithTypeMeta<{
-  name: T["name"];
-  inputProfile: {
-    kind: "enum";
-    name: T["name"];
-    value: T["values"];
-  };
-  outputProfile: {
-    kind: "enum";
-    name: T["name"];
-    value: T["values"];
-  };
-}> {
-  readonly name: T["name"];
-  readonly values: { readonly [_ in T["values"]]: true };
-}
-interface InputDefinition {
-  readonly name: string;
-  readonly fields: InputTypeSpecifiers;
-}
-type ObjectDefinition = {
-  readonly name: string;
-  readonly fields: OutputTypeSpecifiers;
-};
-type UnionDefinition = {
-  readonly name: string;
-  readonly types: {
-    [typename: string]: true;
-  };
-};
-/**
- * Infers a TypeProfile from an input type specifier.
- *
- * @typeParam TSchema - The GraphQL schema
- * @typeParam TSpecifier - The input type specifier to infer from
- * @typeParam TDepth - Depth counter to limit recursion (default from schema overrides or schema default or 3 levels)
- *
- * When depth is exhausted, returns `never` to cause a type error.
- * This prevents infinite recursion in self-referential types like `bool_exp`.
- */
-type InferInputProfile<TSchema extends AnyGraphqlSchema, TSpecifier extends InputTypeSpecifier, TDepth extends DepthCounter = GetInputTypeDepth<TSchema["__inputDepthOverrides"], TSpecifier["name"], TSchema["__defaultInputDepth"]>> = { [_ in TSchema["label"]]: IsDepthExhausted<TDepth> extends true ? never : [TSpecifier extends InputScalarSpecifier ? TSchema["scalar"][TSpecifier["name"]]["$type"]["inputProfile"] : TSpecifier extends InputEnumSpecifier ? TSchema["enum"][TSpecifier["name"]]["$type"]["inputProfile"] : TSchema["input"][TSpecifier["name"]]["fields"] extends infer TFields ? {
-  kind: "input";
-  name: TSpecifier["name"];
-  fields: { [K in keyof TFields]: TFields[K] extends InputTypeSpecifier ? InferInputProfile<TSchema, TFields[K], DecrementDepth<TDepth>> : never };
-} : never, TSpecifier["modifier"], TSpecifier["defaultValue"] extends AnyDefaultValue ? TypeProfile.WITH_DEFAULT_INPUT : undefined] }[TSchema["label"]];
-type InferOutputProfile<TSchema extends AnyGraphqlSchema, TSpecifier extends OutputInferrableTypeSpecifier> = { [_ in TSchema["label"]]: (TSpecifier extends OutputScalarSpecifier ? TSchema["scalar"][TSpecifier["name"]] : TSchema["enum"][TSpecifier["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 extends InputTypeSpecifier> = TSchema["input"][TSpecifier["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 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;
-/**
- * Union of all input type names in a schema (scalars, enums, and input objects).
- */
-type AllInputTypeNames<TSchema extends AnyGraphqlSchema> = (keyof TSchema["scalar"] & string) | (keyof TSchema["enum"] & string) | (keyof TSchema["input"] & string);
-/**
- * Infers the input type kind from a type name.
- */
-type InferInputKind<TSchema extends AnyGraphqlSchema, TName extends AllInputTypeNames<TSchema>> = TName extends keyof TSchema["scalar"] ? "scalar" : TName extends keyof TSchema["enum"] ? "enum" : TName extends keyof TSchema["input"] ? "input" : never;
-/**
- * Resolves a TypeProfile from VarRefMetaV2 parameters (typeName + kind).
- * This is used by schema-aware functions like getValueAt to resolve type structure
- * from the schema at call site, rather than storing full profile in VarRef.
- *
- * @typeParam TSchema - The GraphQL schema
- * @typeParam TTypeName - The GraphQL type name (e.g., "String", "UserInput")
- * @typeParam TKind - The type kind ("scalar" | "enum" | "input")
- * @typeParam TModifier - The type modifier (e.g., "!", "?", "![]!")
- */
-type ResolveInputProfileFromMeta<TSchema extends AnyGraphqlSchema, TTypeName$1 extends string, TKind extends "scalar" | "enum" | "input", TModifier extends TypeModifier> = TKind extends "scalar" ? InferInputProfile<TSchema, {
-  kind: "scalar";
-  name: TTypeName$1;
-  modifier: TModifier;
-  defaultValue: null;
-  directives: {};
-}> : TKind extends "enum" ? InferInputProfile<TSchema, {
-  kind: "enum";
-  name: TTypeName$1;
-  modifier: TModifier;
-  defaultValue: null;
-  directives: {};
-}> : InferInputProfile<TSchema, {
-  kind: "input";
-  name: TTypeName$1;
-  modifier: TModifier;
-  defaultValue: null;
-  directives: {};
-}>;
-//#endregion
-export { NestedValueElement as $, InputDepthOverrides as A, appendToPath as At, FragmentMetaInfo as B, ObjectTypeProfile as C, GetSignature as Ct, DefaultDepth as D, ConstValues as Dt, DecrementDepth as E, ConstValue as Et, AnyMetadataAdapter as F, FragmentMetadataBuilder as G, createDefaultAdapter as H, DefaultAdapter as I, MetadataBuilderTools as J, FragmentMetadataBuilderTools as K, DefaultMetadataAdapter as L, NumberToDepth as M, isListType as Mt, Adapter as N, withFieldPath as Nt, DepthCounter as O, FieldPath as Ot, AnyAdapter as P, NestedValue as Q, ExtractAdapterTypes as R, GetModifiedType as S, ApplyTypeModifier as St, TypeProfile as T, ValidTypeModifier as Tt, defaultMetadataAdapter as U, MetadataAdapter as V, ExtractMetadata as W, AnyVarRef as X, OperationMetadata as Y, AnyVarRefBrand as Z, ScalarDefinition as _, OutputTypeKind as _t, EnumDefinition as a, AnyTypeSpecifier as at, UnionTypeRecord as b, OutputTypenameSpecifier as bt, InferOutputProfile as c, InputInputObjectSpecifier as ct, ObjectDefinition as d, InputTypeSpecifier as dt, VarRef as et, ObjectFieldRecord as f, InputTypeSpecifiers as ft, ResolveInputProfileFromMeta as g, OutputScalarSpecifier as gt, PickTypeSpecifierByFieldName as h, OutputObjectSpecifier as ht, AnyTypeName as i, AnyDefaultValue as it, IsDepthExhausted as j, getCurrentFieldPath as jt, GetInputTypeDepth as k, FieldPathSegment as kt, InputDefinition as l, InputScalarSpecifier as lt, OperationType as m, OutputInferrableTypeSpecifier as mt, AnyFieldName as n, createVarRefFromNestedValue as nt, InferInputKind as o, InputEnumSpecifier as ot, OperationRoots as p, OutputEnumSpecifier as pt, MetadataBuilder as q, AnyGraphqlSchema as r, createVarRefFromVariable as rt, InferInputProfile as s, InputInferrableTypeSpecifier as st, AllInputTypeNames as t, VarRefInner as tt, InputFieldRecord as u, InputTypeKind as ut, UnionDefinition as v, OutputTypeSpecifier as vt, PrimitiveTypeProfile as w, TypeModifier as wt, GetConstAssignableType as x, OutputUnionSpecifier as xt, UnionMemberName as y, OutputTypeSpecifiers as yt, ExtractUnifiedAdapterTypes as z };
-//# sourceMappingURL=schema-CPTxQbTv.d.cts.map
+export { InputInferrableTypeSpecifier as $, InputDefinition as A, ConstValue as At, UnionMemberName as B, AnyFieldName as C, DecrementDepth as Ct, InferInputKind as D, InputDepthOverrides as Dt, EnumDefinition as E, GetInputTypeDepth as Et, OperationType as F, getCurrentFieldPath as Ft, NestedValueElement as G, AnyVarRef as H, PickTypeSpecifierByFieldName as I, isListType as It, createVarRefFromNestedValue as J, VarRef as K, ResolveInputProfileFromMeta as L, withFieldPath as Lt, ObjectDefinition as M, FieldPath as Mt, ObjectFieldRecord as N, FieldPathSegment as Nt, InferInputProfile as O, IsDepthExhausted as Ot, OperationRoots as P, appendToPath as Pt, InputEnumSpecifier as Q, ScalarDefinition as R, AllInputTypeNames as S, ValidTypeModifier as St, AnyTypeName as T, DepthCounter as Tt, AnyVarRefBrand as U, UnionTypeRecord as V, NestedValue as W, AnyDefaultValue as X, createVarRefFromVariable as Y, AnyTypeSpecifier as Z, FragmentMetadataBuilder as _, PrimitiveTypeProfile as _t, DefaultMetadataAdapter as a, OutputEnumSpecifier as at, MetadataBuilderTools as b, GetSignature as bt, ExtractAdapterTypes as c, OutputScalarSpecifier as ct, MetadataAdapter as d, OutputTypeSpecifiers as dt, InputInputObjectSpecifier as et, OperationDocumentTransformArgs as f, OutputTypenameSpecifier as ft, ExtractMetadata as g, ObjectTypeProfile as gt, defaultMetadataAdapter as h, GetModifiedType as ht, DefaultAdapter as i, InputTypeSpecifiers as it, InputFieldRecord as j, ConstValues as jt, InferOutputProfile as k, NumberToDepth as kt, ExtractUnifiedAdapterTypes as l, OutputTypeKind as lt, createDefaultAdapter as m, GetConstAssignableType as mt, AnyAdapter as n, InputTypeKind as nt, DocumentTransformArgs as o, OutputInferrableTypeSpecifier as ot, OperationDocumentTransformer as p, OutputUnionSpecifier as pt, VarRefInner as q, AnyMetadataAdapter as r, InputTypeSpecifier as rt, DocumentTransformer as s, OutputObjectSpecifier as st, Adapter as t, InputScalarSpecifier as tt, FragmentMetaInfo as u, OutputTypeSpecifier as ut, FragmentMetadataBuilderTools as v, TypeProfile as vt, AnyGraphqlSchema as w, DefaultDepth as wt, OperationMetadata as x, TypeModifier as xt, MetadataBuilder as y, ApplyTypeModifier as yt, UnionDefinition as z };
+//# sourceMappingURL=index-zCOsREx0.d.cts.map