import "./node-require-shim.js";
import type { ObjectSchema, Static } from "toolcraft-schema";
import type { Group, HandlerFs, LogLevel, RuntimeLoggerInput, Scope } from "./index.js";
import { type ErrorReportsOption } from "./error-report.js";
import type { HumanInLoopPending, HumanInLoopRuntime } from "./human-in-loop/types.js";
import { type ValidationError } from "./validation-errors.js";
import type { StreamConsumerOptions, ToolcraftStream } from "./stream.js";
type ScopeInput = readonly Scope[] | undefined;
type HumanInLoopMode = "sync" | "async";
type HumanInLoopModeInput = HumanInLoopMode | null | undefined;
type Primitive = string | number | boolean | bigint | symbol | null | undefined;
type EmptyRecord = Record<never, never>;
type EffectiveCommandScope<TOwnScope extends ScopeInput, TInheritedScope extends ScopeInput> = TOwnScope extends readonly Scope[] ? TOwnScope : TInheritedScope extends readonly Scope[] ? TInheritedScope : readonly ["cli", "sdk"];
type EffectiveGroupScope<TOwnScope extends ScopeInput, TInheritedScope extends ScopeInput> = TOwnScope extends readonly Scope[] ? TOwnScope : TInheritedScope extends readonly Scope[] ? TInheritedScope : undefined;
type IncludesSDK<TScope> = TScope extends readonly Scope[] ? "sdk" extends TScope[number] ? true : false : false;
type EffectiveCommandHumanInLoopMode<TOwnHumanInLoopMode extends HumanInLoopModeInput, TInheritedHumanInLoopMode extends HumanInLoopMode | undefined> = TOwnHumanInLoopMode extends HumanInLoopMode ? TOwnHumanInLoopMode : TOwnHumanInLoopMode extends null ? undefined : TInheritedHumanInLoopMode;
type EffectiveGroupHumanInLoopMode<TOwnHumanInLoopMode extends HumanInLoopModeInput, TInheritedHumanInLoopMode extends HumanInLoopMode | undefined> = TOwnHumanInLoopMode extends HumanInLoopMode ? TOwnHumanInLoopMode : TOwnHumanInLoopMode extends null ? undefined : TInheritedHumanInLoopMode;
type Separator = "-" | "_" | " " | ".";
type IsUppercase<TValue extends string> = TValue extends Uppercase<TValue> ? (TValue extends Lowercase<TValue> ? false : true) : false;
type IsLowercase<TValue extends string> = TValue extends Lowercase<TValue> ? (TValue extends Uppercase<TValue> ? false : true) : false;
type LastCharacter<TValue extends string> = TValue extends `${infer THead}${infer TTail}` ? TTail extends "" ? THead : LastCharacter<TTail> : never;
type PushCurrentWord<TCurrent extends string, TWords extends readonly string[]> = TCurrent extends "" ? TWords : [...TWords, Lowercase<TCurrent>];
type SplitCamelWords<TValue extends string, TCurrent extends string = "", TWords extends readonly string[] = []> = TValue extends `${infer TChar}${infer TRest}` ? TChar extends Separator ? SplitCamelWords<TRest, "", PushCurrentWord<TCurrent, TWords>> : IsUppercase<TChar> extends true ? TCurrent extends "" ? SplitCamelWords<TRest, TChar, TWords> : TRest extends `${infer TNext}${string}` ? IsLowercase<LastCharacter<TCurrent>> extends true ? SplitCamelWords<TRest, TChar, PushCurrentWord<TCurrent, TWords>> : IsLowercase<TNext> extends true ? SplitCamelWords<TRest, TChar, PushCurrentWord<TCurrent, TWords>> : SplitCamelWords<TRest, `${TCurrent}${TChar}`, TWords> : SplitCamelWords<TRest, `${TCurrent}${TChar}`, TWords> : SplitCamelWords<TRest, `${TCurrent}${TChar}`, TWords> : PushCurrentWord<TCurrent, TWords>;
type JoinCamelWords<TWords extends readonly string[]> = TWords extends readonly [
    infer THead extends string,
    ...infer TTail extends readonly string[]
] ? `${THead}${CapitalizeJoinCamelWords<TTail>}` : "";
type CapitalizeJoinCamelWords<TWords extends readonly string[]> = TWords extends readonly [
    infer THead extends string,
    ...infer TTail extends readonly string[]
] ? `${Capitalize<THead>}${CapitalizeJoinCamelWords<TTail>}` : "";
type CamelCase<TValue extends string> = JoinCamelWords<SplitCamelWords<TValue>>;
type Camelize<TValue> = TValue extends Primitive ? TValue : TValue extends readonly (infer TItem)[] ? Array<Camelize<TItem>> : TValue extends object ? string extends keyof TValue ? {
    [TKey in keyof TValue]: Camelize<TValue[TKey]>;
} : {
    [TKey in keyof TValue as TKey extends string ? CamelCase<TKey> : TKey]: Camelize<TValue[TKey]>;
} : TValue;
type SDKResult<TResult, THumanInLoopMode extends HumanInLoopMode | undefined> = [THumanInLoopMode] extends ["async"] ? ["async"] extends [THumanInLoopMode] ? HumanInLoopPending : TResult : TResult;
type SDKMethod<TParamsSchema extends ObjectSchema<any>, TResult> = TResult extends ToolcraftStream<infer TEvent> ? (params: Camelize<Static<TParamsSchema>>, options?: StreamConsumerOptions) => ToolcraftStream<TEvent> : (params: Camelize<Static<TParamsSchema>>) => Promise<TResult>;
type UnionToIntersection<TValue> = (TValue extends unknown ? (value: TValue) => void : never) extends (value: infer TResult) => void ? TResult : never;
type Simplify<TValue> = {
    [TKey in keyof TValue]: TValue[TKey];
};
type RawChildrenValue<TChildren> = TChildren extends readonly unknown[] ? TChildren[number] : never;
type SDKNodeShape<TNode, TInheritedScope extends ScopeInput, TInheritedHumanInLoopMode extends HumanInLoopMode | undefined> = TNode extends {
    kind: "command";
    readonly __agentKitCommandTypeInfo: {
        name: infer TName extends string;
        params: infer TParamsSchema extends ObjectSchema<any>;
        result: infer TResult;
        ownScope: infer TOwnScope extends ScopeInput;
        ownHumanInLoopMode: infer TOwnHumanInLoopMode extends HumanInLoopModeInput;
    };
} ? IncludesSDK<EffectiveCommandScope<TOwnScope, TInheritedScope>> extends true ? {
    [TKey in CamelCase<TName>]: SDKMethod<TParamsSchema, SDKResult<TResult, EffectiveCommandHumanInLoopMode<TOwnHumanInLoopMode, TInheritedHumanInLoopMode>>>;
} : EmptyRecord : TNode extends {
    kind: "group";
    readonly __agentKitGroupTypeInfo: {
        name: infer TName extends string;
        children: infer TChildren extends readonly unknown[];
        ownScope: infer TOwnScope extends ScopeInput;
        ownHumanInLoopMode: infer TOwnHumanInLoopMode extends HumanInLoopModeInput;
    };
} ? SDKChildrenShape<TChildren, EffectiveGroupScope<TOwnScope, TInheritedScope>, EffectiveGroupHumanInLoopMode<TOwnHumanInLoopMode, TInheritedHumanInLoopMode>> extends infer TChildShape extends object ? keyof TChildShape extends never ? EmptyRecord : {
    [TKey in CamelCase<TName>]: TChildShape;
} : never : EmptyRecord;
type SDKChildrenShape<TChildren, TInheritedScope extends ScopeInput, TInheritedHumanInLoopMode extends HumanInLoopMode | undefined> = Simplify<UnionToIntersection<SDKNodeShape<RawChildrenValue<TChildren>, TInheritedScope, TInheritedHumanInLoopMode>>>;
export interface CreateSDKOptions<TServices extends object = Record<string, unknown>> {
    approvals?: boolean;
    env?: Record<string, string>;
    fetch?: typeof globalThis.fetch;
    fs?: HandlerFs;
    services?: TServices;
    casing?: "camel";
    humanInLoop?: HumanInLoopRuntime;
    apiVersion?: string;
    projectRoot?: string;
    errorReports?: ErrorReportsOption;
    logLevel?: LogLevel;
    logger?: RuntimeLoggerInput;
}
export declare function validateObjectSchema(schema: ObjectSchema<any>, value: unknown, label: string, errors: ValidationError[]): Record<string, unknown>;
type SDKRootShape<TRoot> = TRoot extends {
    readonly __agentKitGroupTypeInfo: {
        children: infer TChildren extends readonly unknown[];
    };
} ? SDKChildrenShape<TChildren, undefined, undefined> : Record<string, unknown>;
export declare function createSDK<TRoot extends Group<any>, TServices extends object = Record<string, unknown>>(root: TRoot, options?: CreateSDKOptions<TServices>): SDKRootShape<TRoot>;
export {};