import type { ZodType } from 'zod/v4';
import type { OrchestrationExecutionContext } from './context.js';
import type { Fail, Goto, NextStepDirective, Pause, Retry, Terminate } from './directives.js';
export interface Step<TIn = unknown, TOut = unknown, TShared extends Record<string, unknown> = Record<string, unknown>> {
    readonly name: string;
    readonly inputSchema?: ZodType<TIn>;
    readonly timeoutMs?: number;
    run(input: TIn, ctx: OrchestrationExecutionContext<TShared>): Promise<StepResult<TOut>>;
}
export interface StepResult<TOut = unknown> {
    readonly output: TOut;
    readonly next: NextStepDirective;
}
export type Allowed<Next extends readonly string[], Term extends boolean, CanFail extends boolean, PauseTo extends string> = Goto<Next[number]> | (Term extends true ? Terminate : never) | (CanFail extends true ? Fail : never) | ([PauseTo] extends [never] ? never : Pause<PauseTo>) | Retry;
export interface StepDefinition<TShared extends Record<string, unknown> = Record<string, unknown>> {
    readonly name: string;
    readonly next: readonly string[];
    readonly terminal: boolean;
    readonly canFail: boolean;
    readonly pause?: {
        readonly signal: string;
        readonly resumeStep: string;
    };
    readonly inputSchema?: ZodType<unknown>;
    readonly timeoutMs?: number;
    run(input: unknown, ctx: OrchestrationExecutionContext<TShared>): Promise<NextStepDirective>;
}
export declare function defineStep<TIn = unknown, TShared extends Record<string, unknown> = Record<string, unknown>, const Next extends readonly string[] = readonly [], const Term extends boolean = false, const CanFail extends boolean = false, const PauseDecl extends {
    signal: string;
    resumeStep: string;
} | undefined = undefined>(def: {
    name: string;
    next?: Next;
    terminal?: Term;
    canFail?: CanFail;
    pause?: PauseDecl;
    inputSchema?: ZodType<TIn>;
    timeoutMs?: number;
    run: (input: TIn, ctx: OrchestrationExecutionContext<TShared>) => Promise<Allowed<Next, Term, CanFail, PauseDecl extends {
        resumeStep: infer R extends string;
    } ? R : never>>;
}): StepDefinition<TShared>;