接口 AgentHealResult

interface AgentHealResult {
    testId: string;
    testTitle: string;
    patches: HealerPatch[];
    healed: boolean;
    roundsUsed: number;
}