import { type SqlFragment } from "../db/sql.js";
export declare class StateMachineError extends Error {
    readonly code: "unknown_state" | "invalid_transition" | "invalid_definition";
    readonly machineId: string;
    readonly details: Record<string, unknown>;
    constructor(code: StateMachineError["code"], machineId: string, message: string, details?: Record<string, unknown>);
}
export interface Machine<S extends string, E extends string> {
    readonly id: string;
    readonly states: readonly S[];
    readonly events: readonly E[];
    readonly initial: S;
    isState(value: unknown): value is S;
    parseState(value: unknown): S;
    can(from: S, event: E): boolean;
    transition(from: S, event: E): S;
    fromStates(event: E): readonly S[];
    sqlStateList(event: E): string;
    isTerminal(state: S): boolean;
    shortestPaths(): ReadonlyMap<S, readonly E[]>;
}
export interface SqlMachine<S extends string, E extends string> extends Machine<S, E> {
    sqlIn(event: E): SqlFragment;
}
export declare function defineMachine<const S extends string, const E extends string>(def: {
    id: string;
    states: readonly S[];
    initial: NoInfer<S>;
    terminal: readonly NoInfer<S>[];
    transitions: {
        readonly [K in E]: {
            readonly from: readonly NoInfer<S>[];
            readonly to: NoInfer<S>;
        };
    };
}): SqlMachine<S, E>;
export { renderMachineTrace } from "./trace.js";