type ControlLoopContinuingRoute<TTarget extends string = string, TReturn extends string = string> = {
    to: TTarget;
    returns: readonly TReturn[];
    terminal?: false;
};
type ControlLoopTerminalRoute<TTarget extends string = string> = {
    to: TTarget;
    terminal: true;
    returns?: never;
};
export type ControlLoopRoute<TTarget extends string = string, TReturn extends string = string> = ControlLoopContinuingRoute<TTarget, TReturn> | ControlLoopTerminalRoute<TTarget>;
export type ControlLoopRoutes = Record<string, ControlLoopRoute>;
export type ControlLoopDefinition<TDecide extends string, TReturnTo extends string, TRoutes extends ControlLoopRoutes> = {
    decide: TDecide;
    returnTo: TReturnTo;
    routes: TRoutes;
};
type ControlLoopCases<TRoutes extends ControlLoopRoutes> = {
    [TRoute in keyof TRoutes]: TRoutes[TRoute]["to"];
};
type ControlLoopReturnReference<TRoutes extends ControlLoopRoutes> = {
    [TRoute in keyof TRoutes]: TRoutes[TRoute] extends {
        returns: readonly (infer TReturn extends string)[];
    } ? TReturn : never;
}[keyof TRoutes];
export type ControlLoopEdge<TDecide extends string, TReturnTo extends string, TRoutes extends ControlLoopRoutes> = {
    from: TDecide;
    switch: {
        on: "$.route";
        cases: ControlLoopCases<TRoutes>;
    };
} | {
    from: ControlLoopReturnReference<TRoutes>;
    to: TReturnTo;
};
export type ControlLoopGraph<TDecide extends string, TReturnTo extends string, TRoutes extends ControlLoopRoutes> = {
    choices: readonly (keyof TRoutes & string)[];
    edges: ControlLoopEdge<TDecide, TReturnTo, TRoutes>[];
};
/**
 * Build the decision and return edges for a control loop from a typed route map.
 * The returned graph uses only ordinary workflow edges.
 */
export declare function controlLoop<const TDecide extends string, const TReturnTo extends string, const TRoutes extends ControlLoopRoutes>(definition: ControlLoopDefinition<TDecide, TReturnTo, TRoutes>): ControlLoopGraph<TDecide, TReturnTo, TRoutes>;
export {};