/**
 * 控制面可信契约。
 *
 * MCP 工具是 SoloForge 规则、契约、状态与证据的主控制面。
 * 本模块把可用性、可调用性、旁路、状态可信、证据真实性和恢复路径统一成可测试契约。
 */
import type { ToolInvocationContract, SideEffect } from "./tool_invocation_contract_registry.js";
export type ControlPlaneCategory = "mcp_availability" | "tool_callability" | "contract_mislabel" | "dead_chain" | "bypass" | "provenance" | "state_trust" | "evidence_truth" | "scope_completeness" | "invisible_degradation" | "fake_delivery_closure" | "adapter_drift" | "version_drift" | "concurrency_race" | "recovery_path";
export interface ControlPlaneMatrixItem {
    id: ControlPlaneCategory;
    title: string;
    invariant: string;
    must_fail: string;
    recovery: string;
}
export interface ControlPlaneBranchDetail {
    id: string;
    category: ControlPlaneCategory;
    detail: string;
    gate: string;
}
export interface ControlPlaneFinding {
    severity: "hard_fail" | "warning" | "advisory";
    category: ControlPlaneCategory;
    code: string;
    message: string;
    recovery: string;
}
export interface ControlPlaneAuditReport {
    passed: boolean;
    matrix_count: number;
    branch_detail_count: number;
    findings: ControlPlaneFinding[];
}
export interface GenerationTrace {
    tool_name: string;
    task_id?: string;
    side_effects?: SideEffect[];
    status?: "passed" | "failed" | "blocked" | "degraded";
    evidence_kind?: "plan" | "result" | "command_execution" | "user_confirmation";
}
export interface GenerationChainInput {
    changed_files: string[];
    verified_files: string[];
    traces: GenerationTrace[];
    delivery_status?: "delivered" | "blocked" | "manual_required";
}
export interface GenerationChainAssessment {
    accepted: boolean;
    confidence: "full" | "limited" | "blocked";
    findings: ControlPlaneFinding[];
}
export declare const CONTROL_PLANE_MATRIX: ControlPlaneMatrixItem[];
export declare const CONTROL_PLANE_BRANCH_DETAILS: ControlPlaneBranchDetail[];
export declare function isSoloforgeStateBypassCommand(commandText: string): boolean;
export declare function validateControlPlaneToolContracts(contracts: readonly ToolInvocationContract[]): ControlPlaneFinding[];
export declare function assessControlledGenerationChain(input: GenerationChainInput): GenerationChainAssessment;
export declare function auditControlPlaneProject(projectPath: string): ControlPlaneAuditReport;
//# sourceMappingURL=control_plane_contract.d.ts.map