import type { StateDatabase } from "../state/database.js";
export type WorkflowStateViolation = {
    code: "queueState" | "waitingRequest" | "pendingRequest" | "acceptedRequest" | "activeClock" | "sessionTurns";
    runId: string;
    detail: string;
};
/** Inspect domain facts without repairing or reinterpreting durable state. */
export declare function workflowStateViolations(state: StateDatabase): WorkflowStateViolation[];