/**
 * RouteDecision 合同验证器 — 验证 route_decision 与 workflow_trace 的一致性。
 *
 * 被 sf_verify、scenario runner、negative tests 共用。
 */
export interface RouteDecisionContractFinding {
    severity: "hard_fail" | "blocked" | "degraded" | "advisory";
    rule: string;
    message: string;
}
export interface RouteDecisionContractInput {
    route_decision?: {
        route: string;
        execution_shape: string;
        mutation_allowed: boolean;
        input_materials?: Array<{
            kind: string;
            path?: string;
        }>;
        missing_required_inputs?: string[];
        scope?: {
            read_only?: boolean;
        };
        constraints?: string[];
        output_artifact?: {
            kind?: string;
            path?: string;
        } | null;
    } | null;
    workflow_trace?: {
        route?: string;
        execution_shape?: string;
    } | null;
    expansion_input_materials?: Array<{
        path_or_ref?: string;
    }>;
    expansion_output_artifact?: {
        kind?: string;
        path?: string;
    } | null;
    expansion_constraints?: string[];
}
export declare function verifyRouteDecisionContract(input: RouteDecisionContractInput): RouteDecisionContractFinding[];
//# sourceMappingURL=route_decision_contract_verifier.d.ts.map