codetether-agent 4.7.0-a-002.2

A2A-native AI coding agent for the CodeTether ecosystem
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use super::claim::EvidenceClaim;
use super::level::EvidenceLevel;

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub(crate) enum RecoveryAction {
    ContinueLiveRun,
    ReportBlocker,
    NoRecoveryNeeded,
}

pub(crate) fn recovery_for(claim: &EvidenceClaim, requested_passing_proof: bool) -> RecoveryAction {
    if !requested_passing_proof {
        return RecoveryAction::NoRecoveryNeeded;
    }
    if matches!(
        claim.level,
        EvidenceLevel::LiveDeploymentArgo | EvidenceLevel::RealPlatformUpload
    ) {
        RecoveryAction::ContinueLiveRun
    } else {
        RecoveryAction::ReportBlocker
    }
}