oris_agent_contract/

lib.rs

//! Proposal-only runtime contract for external agents.

use serde::{Deserialize, Serialize};

pub const A2A_PROTOCOL_NAME: &str = "oris.a2a";
pub const A2A_PROTOCOL_VERSION: &str = "0.1.0-experimental";
pub const A2A_PROTOCOL_VERSION_V1: &str = "1.0.0";
pub const A2A_SUPPORTED_PROTOCOL_VERSIONS: [&str; 2] =
    [A2A_PROTOCOL_VERSION_V1, A2A_PROTOCOL_VERSION];

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aProtocol {
    pub name: String,
    pub version: String,
}

impl A2aProtocol {
    pub fn current() -> Self {
        Self {
            name: A2A_PROTOCOL_NAME.to_string(),
            version: A2A_PROTOCOL_VERSION.to_string(),
        }
    }
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum A2aCapability {
    Coordination,
    MutationProposal,
    ReplayFeedback,
    SupervisedDevloop,
    EvolutionPublish,
    EvolutionFetch,
    EvolutionRevoke,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aHandshakeRequest {
    pub agent_id: String,
    pub role: AgentRole,
    pub capability_level: AgentCapabilityLevel,
    pub supported_protocols: Vec<A2aProtocol>,
    pub advertised_capabilities: Vec<A2aCapability>,
}

impl A2aHandshakeRequest {
    pub fn supports_protocol_version(&self, version: &str) -> bool {
        self.supported_protocols
            .iter()
            .any(|protocol| protocol.name == A2A_PROTOCOL_NAME && protocol.version == version)
    }

    pub fn supports_current_protocol(&self) -> bool {
        self.supports_protocol_version(A2A_PROTOCOL_VERSION)
    }

    pub fn negotiate_supported_protocol(&self) -> Option<A2aProtocol> {
        for version in A2A_SUPPORTED_PROTOCOL_VERSIONS {
            if self.supports_protocol_version(version) {
                return Some(A2aProtocol {
                    name: A2A_PROTOCOL_NAME.to_string(),
                    version: version.to_string(),
                });
            }
        }
        None
    }
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aHandshakeResponse {
    pub accepted: bool,
    pub negotiated_protocol: Option<A2aProtocol>,
    pub enabled_capabilities: Vec<A2aCapability>,
    pub message: Option<String>,
    pub error: Option<A2aErrorEnvelope>,
}

impl A2aHandshakeResponse {
    pub fn accept(enabled_capabilities: Vec<A2aCapability>) -> Self {
        Self {
            accepted: true,
            negotiated_protocol: Some(A2aProtocol::current()),
            enabled_capabilities,
            message: Some("handshake accepted".to_string()),
            error: None,
        }
    }

    pub fn reject(code: A2aErrorCode, message: impl Into<String>, details: Option<String>) -> Self {
        Self {
            accepted: false,
            negotiated_protocol: None,
            enabled_capabilities: Vec::new(),
            message: Some("handshake rejected".to_string()),
            error: Some(A2aErrorEnvelope {
                code,
                message: message.into(),
                retriable: true,
                details,
            }),
        }
    }
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum A2aTaskLifecycleState {
    Queued,
    Running,
    Succeeded,
    Failed,
    Cancelled,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskLifecycleEvent {
    pub task_id: String,
    pub state: A2aTaskLifecycleState,
    pub summary: String,
    pub updated_at_ms: u64,
    pub error: Option<A2aErrorEnvelope>,
}

pub const A2A_TASK_SESSION_PROTOCOL_VERSION: &str = A2A_PROTOCOL_VERSION;

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum A2aTaskSessionState {
    Started,
    Dispatched,
    InProgress,
    Completed,
    Failed,
    Cancelled,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskSessionStartRequest {
    pub sender_id: String,
    pub protocol_version: String,
    pub task_id: String,
    pub task_summary: String,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskSessionDispatchRequest {
    pub sender_id: String,
    pub protocol_version: String,
    pub dispatch_id: String,
    pub summary: String,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskSessionProgressRequest {
    pub sender_id: String,
    pub protocol_version: String,
    pub progress_pct: u8,
    pub summary: String,
    pub retryable: bool,
    pub retry_after_ms: Option<u64>,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskSessionCompletionRequest {
    pub sender_id: String,
    pub protocol_version: String,
    pub terminal_state: A2aTaskLifecycleState,
    pub summary: String,
    pub retryable: bool,
    pub retry_after_ms: Option<u64>,
    pub failure_code: Option<A2aErrorCode>,
    pub failure_details: Option<String>,
    pub used_capsule: bool,
    pub capsule_id: Option<String>,
    pub reasoning_steps_avoided: u64,
    pub fallback_reason: Option<String>,
    pub reason_code: Option<ReplayFallbackReasonCode>,
    pub repair_hint: Option<String>,
    pub next_action: Option<ReplayFallbackNextAction>,
    pub confidence: Option<u8>,
    pub task_class_id: String,
    pub task_label: String,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskSessionProgressItem {
    pub progress_pct: u8,
    pub summary: String,
    pub retryable: bool,
    pub retry_after_ms: Option<u64>,
    pub updated_at_ms: u64,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskSessionAck {
    pub session_id: String,
    pub task_id: String,
    pub state: A2aTaskSessionState,
    pub summary: String,
    pub retryable: bool,
    pub retry_after_ms: Option<u64>,
    pub updated_at_ms: u64,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskSessionResult {
    pub terminal_state: A2aTaskLifecycleState,
    pub summary: String,
    pub retryable: bool,
    pub retry_after_ms: Option<u64>,
    pub failure_code: Option<A2aErrorCode>,
    pub failure_details: Option<String>,
    pub replay_feedback: ReplayFeedback,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskSessionCompletionResponse {
    pub ack: A2aTaskSessionAck,
    pub result: A2aTaskSessionResult,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aTaskSessionSnapshot {
    pub session_id: String,
    pub sender_id: String,
    pub task_id: String,
    pub protocol_version: String,
    pub state: A2aTaskSessionState,
    pub created_at_ms: u64,
    pub updated_at_ms: u64,
    pub dispatch_ids: Vec<String>,
    pub progress: Vec<A2aTaskSessionProgressItem>,
    pub result: Option<A2aTaskSessionResult>,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum A2aErrorCode {
    UnsupportedProtocol,
    UnsupportedCapability,
    ValidationFailed,
    AuthorizationDenied,
    Timeout,
    Internal,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct A2aErrorEnvelope {
    pub code: A2aErrorCode,
    pub message: String,
    pub retriable: bool,
    pub details: Option<String>,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum AgentCapabilityLevel {
    A0,
    A1,
    A2,
    A3,
    A4,
}

#[derive(Clone, Debug, Serialize, Deserialize)]
pub enum ProposalTarget {
    WorkspaceRoot,
    Paths(Vec<String>),
}

#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct AgentTask {
    pub id: String,
    pub description: String,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum AgentRole {
    Planner,
    Coder,
    Repair,
    Optimizer,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum CoordinationPrimitive {
    Sequential,
    Parallel,
    Conditional,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct CoordinationTask {
    pub id: String,
    pub role: AgentRole,
    pub description: String,
    pub depends_on: Vec<String>,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct CoordinationMessage {
    pub from_role: AgentRole,
    pub to_role: AgentRole,
    pub task_id: String,
    pub content: String,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct CoordinationPlan {
    pub root_goal: String,
    pub primitive: CoordinationPrimitive,
    pub tasks: Vec<CoordinationTask>,
    pub timeout_ms: u64,
    pub max_retries: u32,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct CoordinationResult {
    pub completed_tasks: Vec<String>,
    pub failed_tasks: Vec<String>,
    pub messages: Vec<CoordinationMessage>,
    pub summary: String,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct MutationProposal {
    pub intent: String,
    pub files: Vec<String>,
    pub expected_effect: String,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum MutationProposalContractReasonCode {
    Accepted,
    CandidateRejected,
    MissingTargetFiles,
    OutOfBoundsPath,
    UnsupportedTaskClass,
    ValidationBudgetExceeded,
    ExpectedEvidenceMissing,
    UnknownFailClosed,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum MutationProposalEvidence {
    HumanApproval,
    BoundedScope,
    ValidationPass,
    ExecutionAudit,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct MutationProposalValidationBudget {
    pub max_diff_bytes: usize,
    pub max_changed_lines: usize,
    pub validation_timeout_ms: u64,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct ExecutionFeedback {
    pub accepted: bool,
    pub asset_state: Option<String>,
    pub summary: String,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum ReplayPlannerDirective {
    SkipPlanner,
    PlanFallback,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum ReplayFallbackReasonCode {
    NoCandidateAfterSelect,
    ScoreBelowThreshold,
    CandidateHasNoCapsule,
    MutationPayloadMissing,
    PatchApplyFailed,
    ValidationFailed,
    UnmappedFallbackReason,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum ReplayFallbackNextAction {
    PlanFromScratch,
    ValidateSignalsThenPlan,
    RebuildCapsule,
    RegenerateMutationPayload,
    RebasePatchAndRetry,
    RepairAndRevalidate,
    EscalateFailClosed,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct ReplayFallbackContract {
    pub reason_code: ReplayFallbackReasonCode,
    pub fallback_reason: String,
    pub repair_hint: String,
    pub next_action: ReplayFallbackNextAction,
    /// Confidence score in [0, 100].
    pub confidence: u8,
}

pub fn infer_replay_fallback_reason_code(reason: &str) -> Option<ReplayFallbackReasonCode> {
    let normalized = reason.trim().to_ascii_lowercase();
    if normalized.is_empty() {
        return None;
    }
    if normalized == "no_candidate_after_select" || normalized.contains("no matching gene") {
        return Some(ReplayFallbackReasonCode::NoCandidateAfterSelect);
    }
    if normalized == "score_below_threshold" || normalized.contains("below replay threshold") {
        return Some(ReplayFallbackReasonCode::ScoreBelowThreshold);
    }
    if normalized == "candidate_has_no_capsule" || normalized.contains("has no capsule") {
        return Some(ReplayFallbackReasonCode::CandidateHasNoCapsule);
    }
    if normalized == "mutation_payload_missing" || normalized.contains("payload missing") {
        return Some(ReplayFallbackReasonCode::MutationPayloadMissing);
    }
    if normalized == "patch_apply_failed" || normalized.contains("patch apply failed") {
        return Some(ReplayFallbackReasonCode::PatchApplyFailed);
    }
    if normalized == "validation_failed" || normalized.contains("validation failed") {
        return Some(ReplayFallbackReasonCode::ValidationFailed);
    }
    None
}

pub fn normalize_replay_fallback_contract(
    planner_directive: &ReplayPlannerDirective,
    fallback_reason: Option<&str>,
    reason_code: Option<ReplayFallbackReasonCode>,
    repair_hint: Option<&str>,
    next_action: Option<ReplayFallbackNextAction>,
    confidence: Option<u8>,
) -> Option<ReplayFallbackContract> {
    if !matches!(planner_directive, ReplayPlannerDirective::PlanFallback) {
        return None;
    }

    let normalized_reason = normalize_optional_text(fallback_reason);
    let normalized_repair_hint = normalize_optional_text(repair_hint);
    let mut resolved_reason_code = reason_code
        .or_else(|| {
            normalized_reason
                .as_deref()
                .and_then(infer_replay_fallback_reason_code)
        })
        .unwrap_or(ReplayFallbackReasonCode::UnmappedFallbackReason);
    let mut defaults = replay_fallback_defaults(&resolved_reason_code);

    let mut force_fail_closed = false;
    if let Some(provided_action) = next_action {
        if provided_action != defaults.next_action {
            resolved_reason_code = ReplayFallbackReasonCode::UnmappedFallbackReason;
            defaults = replay_fallback_defaults(&resolved_reason_code);
            force_fail_closed = true;
        }
    }

    Some(ReplayFallbackContract {
        reason_code: resolved_reason_code,
        fallback_reason: normalized_reason.unwrap_or_else(|| defaults.fallback_reason.to_string()),
        repair_hint: normalized_repair_hint.unwrap_or_else(|| defaults.repair_hint.to_string()),
        next_action: if force_fail_closed {
            defaults.next_action
        } else {
            next_action.unwrap_or(defaults.next_action)
        },
        confidence: if force_fail_closed {
            defaults.confidence
        } else {
            confidence.unwrap_or(defaults.confidence).min(100)
        },
    })
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct ReplayFeedback {
    pub used_capsule: bool,
    pub capsule_id: Option<String>,
    pub planner_directive: ReplayPlannerDirective,
    pub reasoning_steps_avoided: u64,
    pub fallback_reason: Option<String>,
    pub reason_code: Option<ReplayFallbackReasonCode>,
    pub repair_hint: Option<String>,
    pub next_action: Option<ReplayFallbackNextAction>,
    pub confidence: Option<u8>,
    pub task_class_id: String,
    pub task_label: String,
    pub summary: String,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum MutationNeededFailureReasonCode {
    PolicyDenied,
    ValidationFailed,
    UnsafePatch,
    Timeout,
    MutationPayloadMissing,
    UnknownFailClosed,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum MutationNeededRecoveryAction {
    NarrowScopeAndRetry,
    RepairAndRevalidate,
    ProduceSafePatch,
    ReduceExecutionBudget,
    RegenerateMutationPayload,
    EscalateFailClosed,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct MutationNeededFailureContract {
    pub reason_code: MutationNeededFailureReasonCode,
    pub failure_reason: String,
    pub recovery_hint: String,
    pub recovery_action: MutationNeededRecoveryAction,
    pub fail_closed: bool,
}

pub fn infer_mutation_needed_failure_reason_code(
    reason: &str,
) -> Option<MutationNeededFailureReasonCode> {
    let normalized = reason.trim().to_ascii_lowercase();
    if normalized.is_empty() {
        return None;
    }
    if normalized.contains("mutation payload missing") || normalized == "mutation_payload_missing" {
        return Some(MutationNeededFailureReasonCode::MutationPayloadMissing);
    }
    if normalized.contains("command timed out") || normalized.contains(" timeout") {
        return Some(MutationNeededFailureReasonCode::Timeout);
    }
    if normalized.contains("patch rejected")
        || normalized.contains("patch apply failed")
        || normalized.contains("target violation")
        || normalized.contains("unsafe patch")
    {
        return Some(MutationNeededFailureReasonCode::UnsafePatch);
    }
    if normalized.contains("validation failed") {
        return Some(MutationNeededFailureReasonCode::ValidationFailed);
    }
    if normalized.contains("command denied by policy")
        || normalized.contains("rejected task")
        || normalized.contains("unsupported task outside the bounded scope")
        || normalized.contains("budget exceeds bounded policy")
    {
        return Some(MutationNeededFailureReasonCode::PolicyDenied);
    }
    None
}

pub fn normalize_mutation_needed_failure_contract(
    failure_reason: Option<&str>,
    reason_code: Option<MutationNeededFailureReasonCode>,
) -> MutationNeededFailureContract {
    let normalized_reason = normalize_optional_text(failure_reason);
    let resolved_reason_code = reason_code
        .or_else(|| {
            normalized_reason
                .as_deref()
                .and_then(infer_mutation_needed_failure_reason_code)
        })
        .unwrap_or(MutationNeededFailureReasonCode::UnknownFailClosed);
    let defaults = mutation_needed_failure_defaults(&resolved_reason_code);

    MutationNeededFailureContract {
        reason_code: resolved_reason_code,
        failure_reason: normalized_reason.unwrap_or_else(|| defaults.failure_reason.to_string()),
        recovery_hint: defaults.recovery_hint.to_string(),
        recovery_action: defaults.recovery_action,
        fail_closed: true,
    }
}

fn normalize_optional_text(value: Option<&str>) -> Option<String> {
    let trimmed = value?.trim();
    if trimmed.is_empty() {
        None
    } else {
        Some(trimmed.to_string())
    }
}

#[derive(Clone, Copy)]
struct ReplayFallbackDefaults {
    fallback_reason: &'static str,
    repair_hint: &'static str,
    next_action: ReplayFallbackNextAction,
    confidence: u8,
}

fn replay_fallback_defaults(reason_code: &ReplayFallbackReasonCode) -> ReplayFallbackDefaults {
    match reason_code {
        ReplayFallbackReasonCode::NoCandidateAfterSelect => ReplayFallbackDefaults {
            fallback_reason: "no matching gene",
            repair_hint:
                "No reusable capsule matched deterministic signals; run planner for a minimal patch.",
            next_action: ReplayFallbackNextAction::PlanFromScratch,
            confidence: 92,
        },
        ReplayFallbackReasonCode::ScoreBelowThreshold => ReplayFallbackDefaults {
            fallback_reason: "candidate score below replay threshold",
            repair_hint:
                "Best replay candidate is below threshold; validate task signals and re-plan.",
            next_action: ReplayFallbackNextAction::ValidateSignalsThenPlan,
            confidence: 86,
        },
        ReplayFallbackReasonCode::CandidateHasNoCapsule => ReplayFallbackDefaults {
            fallback_reason: "candidate gene has no capsule",
            repair_hint: "Matched gene has no executable capsule; rebuild capsule from planner output.",
            next_action: ReplayFallbackNextAction::RebuildCapsule,
            confidence: 80,
        },
        ReplayFallbackReasonCode::MutationPayloadMissing => ReplayFallbackDefaults {
            fallback_reason: "mutation payload missing from store",
            repair_hint:
                "Mutation payload is missing; regenerate and persist a minimal mutation payload.",
            next_action: ReplayFallbackNextAction::RegenerateMutationPayload,
            confidence: 76,
        },
        ReplayFallbackReasonCode::PatchApplyFailed => ReplayFallbackDefaults {
            fallback_reason: "replay patch apply failed",
            repair_hint: "Replay patch cannot be applied cleanly; rebase patch and retry planning.",
            next_action: ReplayFallbackNextAction::RebasePatchAndRetry,
            confidence: 68,
        },
        ReplayFallbackReasonCode::ValidationFailed => ReplayFallbackDefaults {
            fallback_reason: "replay validation failed",
            repair_hint: "Replay validation failed; produce a repair mutation and re-run validation.",
            next_action: ReplayFallbackNextAction::RepairAndRevalidate,
            confidence: 64,
        },
        ReplayFallbackReasonCode::UnmappedFallbackReason => ReplayFallbackDefaults {
            fallback_reason: "unmapped replay fallback reason",
            repair_hint:
                "Fallback reason is unmapped; fail closed and require explicit planner intervention.",
            next_action: ReplayFallbackNextAction::EscalateFailClosed,
            confidence: 0,
        },
    }
}

#[derive(Clone, Copy)]
struct MutationNeededFailureDefaults {
    failure_reason: &'static str,
    recovery_hint: &'static str,
    recovery_action: MutationNeededRecoveryAction,
}

fn mutation_needed_failure_defaults(
    reason_code: &MutationNeededFailureReasonCode,
) -> MutationNeededFailureDefaults {
    match reason_code {
        MutationNeededFailureReasonCode::PolicyDenied => MutationNeededFailureDefaults {
            failure_reason: "mutation needed denied by bounded execution policy",
            recovery_hint:
                "Narrow changed scope to the approved docs boundary and re-run with explicit approval.",
            recovery_action: MutationNeededRecoveryAction::NarrowScopeAndRetry,
        },
        MutationNeededFailureReasonCode::ValidationFailed => MutationNeededFailureDefaults {
            failure_reason: "mutation needed validation failed",
            recovery_hint:
                "Repair mutation and re-run validation to produce a deterministic pass before capture.",
            recovery_action: MutationNeededRecoveryAction::RepairAndRevalidate,
        },
        MutationNeededFailureReasonCode::UnsafePatch => MutationNeededFailureDefaults {
            failure_reason: "mutation needed rejected unsafe patch",
            recovery_hint:
                "Generate a safer minimal diff confined to approved paths and verify patch applicability.",
            recovery_action: MutationNeededRecoveryAction::ProduceSafePatch,
        },
        MutationNeededFailureReasonCode::Timeout => MutationNeededFailureDefaults {
            failure_reason: "mutation needed execution timed out",
            recovery_hint:
                "Reduce execution budget or split the mutation into smaller steps before retrying.",
            recovery_action: MutationNeededRecoveryAction::ReduceExecutionBudget,
        },
        MutationNeededFailureReasonCode::MutationPayloadMissing => MutationNeededFailureDefaults {
            failure_reason: "mutation payload missing from store",
            recovery_hint: "Regenerate and persist mutation payload before retrying mutation-needed.",
            recovery_action: MutationNeededRecoveryAction::RegenerateMutationPayload,
        },
        MutationNeededFailureReasonCode::UnknownFailClosed => MutationNeededFailureDefaults {
            failure_reason: "mutation needed failed with unmapped reason",
            recovery_hint:
                "Unknown failure class; fail closed and require explicit maintainer triage before retry.",
            recovery_action: MutationNeededRecoveryAction::EscalateFailClosed,
        },
    }
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum BoundedTaskClass {
    DocsSingleFile,
    DocsMultiFile,
    /// Dependency version bump: restricted to `Cargo.toml` / `Cargo.lock`
    /// paths, version fields only, max 5 manifests.
    CargoDepUpgrade,
    /// Lint / formatting fix: auto-fixable `cargo fmt` or `cargo clippy --fix`
    /// changes, no logic modifications, max 5 source files.
    LintFix,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct MutationProposalScope {
    pub task_class: BoundedTaskClass,
    pub target_files: Vec<String>,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct SelfEvolutionMutationProposalContract {
    pub mutation_proposal: MutationProposal,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub proposal_scope: Option<MutationProposalScope>,
    pub validation_budget: MutationProposalValidationBudget,
    pub approval_required: bool,
    pub expected_evidence: Vec<MutationProposalEvidence>,
    pub summary: String,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub failure_reason: Option<String>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub recovery_hint: Option<String>,
    pub reason_code: MutationProposalContractReasonCode,
    pub fail_closed: bool,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct SelfEvolutionCandidateIntakeRequest {
    pub issue_number: u64,
    pub title: String,
    pub body: String,
    #[serde(default)]
    pub labels: Vec<String>,
    pub state: String,
    #[serde(default)]
    pub candidate_hint_paths: Vec<String>,
}

/// Signal source for an autonomously discovered candidate.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq, Hash)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousCandidateSource {
    CiFailure,
    TestRegression,
    CompileRegression,
    LintRegression,
    RuntimeIncident,
}

/// Reason code for the outcome of autonomous candidate classification.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousIntakeReasonCode {
    Accepted,
    UnsupportedSignalClass,
    AmbiguousSignal,
    DuplicateCandidate,
    UnknownFailClosed,
}

/// A candidate discovered autonomously from CI or runtime signals without
/// a caller-supplied issue number.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct DiscoveredCandidate {
    /// Stable identity hash, deterministic for the same raw signals.
    pub dedupe_key: String,
    /// Classified signal source.
    pub candidate_source: AutonomousCandidateSource,
    /// Normalised candidate class (reuses `BoundedTaskClass`).
    pub candidate_class: Option<BoundedTaskClass>,
    /// Normalised signal tokens used as the discovered work description.
    pub signals: Vec<String>,
    /// Whether this candidate was accepted for further work.
    pub accepted: bool,
    /// Outcome reason code.
    pub reason_code: AutonomousIntakeReasonCode,
    /// Human-readable summary.
    pub summary: String,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub failure_reason: Option<String>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub recovery_hint: Option<String>,
    /// Fail-closed flag: true on any non-accepted outcome.
    pub fail_closed: bool,
}

/// Input for autonomous candidate discovery from raw diagnostic output.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct AutonomousIntakeInput {
    /// Raw source identifier (e.g. CI run ID, log stream name).
    pub source_id: String,
    /// Classified origin of the raw signals.
    pub candidate_source: AutonomousCandidateSource,
    /// Raw text lines from diagnostics, test output, or incident logs.
    pub raw_signals: Vec<String>,
}

/// Output of autonomous candidate intake: one or more discovered candidates
/// (deduplicated) plus any that were denied with fail-closed reason codes.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct AutonomousIntakeOutput {
    pub candidates: Vec<DiscoveredCandidate>,
    pub accepted_count: usize,
    pub denied_count: usize,
}

// ── AUTO-02: Bounded Task Planning and Risk Scoring ──────────────────────────

/// Risk tier assigned to an autonomous task plan.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq, PartialOrd, Ord)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousRiskTier {
    /// Minimal blast radius, fully reversible, single-file scope.
    Low,
    /// Multi-file scope or non-trivial dependency changes.
    Medium,
    /// High blast radius, wide impact, or unknown effect on public API.
    High,
}

/// Reason code for the outcome of autonomous task planning.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousPlanReasonCode {
    Approved,
    DeniedHighRisk,
    DeniedLowFeasibility,
    DeniedUnsupportedClass,
    DeniedNoEvidence,
    UnknownFailClosed,
}

/// A denial condition attached to a rejected autonomous task plan.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct AutonomousDenialCondition {
    pub reason_code: AutonomousPlanReasonCode,
    pub description: String,
    pub recovery_hint: String,
}

/// An approved or denied autonomous task plan produced from a discovered candidate.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct AutonomousTaskPlan {
    /// Stable identity derived from the originating `DiscoveredCandidate.dedupe_key`.
    pub plan_id: String,
    /// The input candidate this plan was derived from.
    pub dedupe_key: String,
    /// Normalised task class (same as candidate class when approved).
    pub task_class: Option<BoundedTaskClass>,
    /// Assigned risk tier.
    pub risk_tier: AutonomousRiskTier,
    /// Feasibility score in [0, 100]; 0 means not feasible.
    pub feasibility_score: u8,
    /// Estimated validation budget (number of validation stages required).
    pub validation_budget: u8,
    /// Evidence templates required for this plan class.
    pub expected_evidence: Vec<String>,
    /// Whether the plan was approved for proposal generation.
    pub approved: bool,
    /// Planning outcome reason code.
    pub reason_code: AutonomousPlanReasonCode,
    /// Short human-readable summary of the planning outcome.
    pub summary: String,
    /// Present when the plan was denied.
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub denial_condition: Option<AutonomousDenialCondition>,
    /// Fail-closed flag: true on any non-approved outcome.
    pub fail_closed: bool,
}

pub fn approve_autonomous_task_plan(
    plan_id: impl Into<String>,
    dedupe_key: impl Into<String>,
    task_class: BoundedTaskClass,
    risk_tier: AutonomousRiskTier,
    feasibility_score: u8,
    validation_budget: u8,
    expected_evidence: Vec<String>,
    summary: Option<&str>,
) -> AutonomousTaskPlan {
    let summary = normalize_optional_text(summary).unwrap_or_else(|| {
        format!("autonomous task plan approved for {task_class:?} at {risk_tier:?} risk")
    });
    AutonomousTaskPlan {
        plan_id: plan_id.into(),
        dedupe_key: dedupe_key.into(),
        task_class: Some(task_class),
        risk_tier,
        feasibility_score,
        validation_budget,
        expected_evidence,
        approved: true,
        reason_code: AutonomousPlanReasonCode::Approved,
        summary,
        denial_condition: None,
        fail_closed: false,
    }
}

pub fn deny_autonomous_task_plan(
    plan_id: impl Into<String>,
    dedupe_key: impl Into<String>,
    risk_tier: AutonomousRiskTier,
    reason_code: AutonomousPlanReasonCode,
) -> AutonomousTaskPlan {
    let (description, recovery_hint) = match reason_code {
        AutonomousPlanReasonCode::DeniedHighRisk => (
            "task plan denied because risk tier is too high for autonomous execution",
            "reduce blast radius by scoping the change to a single bounded file before retrying",
        ),
        AutonomousPlanReasonCode::DeniedLowFeasibility => (
            "task plan denied because feasibility score is below the policy threshold",
            "provide stronger evidence or narrow the task scope before retrying",
        ),
        AutonomousPlanReasonCode::DeniedUnsupportedClass => (
            "task plan denied because task class is not supported for autonomous planning",
            "route this task class through the supervised planning path instead",
        ),
        AutonomousPlanReasonCode::DeniedNoEvidence => (
            "task plan denied because no evidence was available to assess feasibility",
            "ensure signals and candidate class are populated before planning",
        ),
        AutonomousPlanReasonCode::UnknownFailClosed => (
            "task plan failed with an unmapped reason; fail closed",
            "require explicit maintainer triage before retry",
        ),
        AutonomousPlanReasonCode::Approved => (
            "unexpected approved reason on deny path",
            "use approve_autonomous_task_plan for approved outcomes",
        ),
    };
    let summary = format!("autonomous task plan denied [{reason_code:?}]: {description}");
    AutonomousTaskPlan {
        plan_id: plan_id.into(),
        dedupe_key: dedupe_key.into(),
        task_class: None,
        risk_tier,
        feasibility_score: 0,
        validation_budget: 0,
        expected_evidence: Vec::new(),
        approved: false,
        reason_code,
        summary,
        denial_condition: Some(AutonomousDenialCondition {
            reason_code,
            description: description.to_string(),
            recovery_hint: recovery_hint.to_string(),
        }),
        fail_closed: true,
    }
}

// ── AUTO-03: Autonomous mutation proposal contracts ───────────────────────────

/// Approval mode for an autonomous mutation proposal.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousApprovalMode {
    /// Proposal is self-approved within bounded policy; no human gate required.
    AutoApproved,
    /// Proposal requires explicit human review before execution.
    RequiresHumanReview,
}

/// Stable reason code for an autonomous mutation proposal outcome.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousProposalReasonCode {
    Proposed,
    DeniedPlanNotApproved,
    DeniedNoTargetScope,
    DeniedWeakEvidence,
    DeniedOutOfBounds,
    UnknownFailClosed,
}

/// Bounded file scope for an autonomous mutation proposal.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct AutonomousProposalScope {
    /// Target files or paths that may be mutated.
    pub target_paths: Vec<String>,
    /// Human-readable rationale for why these targets are in scope.
    pub scope_rationale: String,
    /// Maximum number of files that may be changed in this proposal.
    pub max_files: u8,
}

/// A machine-readable mutation proposal generated from an approved autonomous plan.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct AutonomousMutationProposal {
    /// Stable proposal identity hash.
    pub proposal_id: String,
    /// Matches `AutonomousTaskPlan.plan_id`.
    pub plan_id: String,
    /// Matches `AutonomousTaskPlan.dedupe_key`.
    pub dedupe_key: String,
    /// Bounded file scope for this mutation.
    pub scope: Option<AutonomousProposalScope>,
    /// Expected evidence templates (cargo commands, lint, tests, etc.).
    pub expected_evidence: Vec<String>,
    /// Conditions under which the mutation must be rolled back.
    pub rollback_conditions: Vec<String>,
    /// Approval mode for this proposal.
    pub approval_mode: AutonomousApprovalMode,
    /// Whether this proposal was successfully generated.
    pub proposed: bool,
    /// Stable outcome reason code.
    pub reason_code: AutonomousProposalReasonCode,
    /// Human-readable summary.
    pub summary: String,
    /// Structured denial information, populated when `proposed` is false.
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub denial_condition: Option<AutonomousDenialCondition>,
    /// True on any non-proposed outcome — enforces fail-closed semantics.
    pub fail_closed: bool,
}

/// Construct an approved `AutonomousMutationProposal` from a valid plan.
pub fn approve_autonomous_mutation_proposal(
    proposal_id: impl Into<String>,
    plan_id: impl Into<String>,
    dedupe_key: impl Into<String>,
    scope: AutonomousProposalScope,
    expected_evidence: Vec<String>,
    rollback_conditions: Vec<String>,
    approval_mode: AutonomousApprovalMode,
    summary: Option<&str>,
) -> AutonomousMutationProposal {
    let dedupe_key = dedupe_key.into();
    let summary = summary
        .and_then(|s| {
            if s.trim().is_empty() {
                None
            } else {
                Some(s.to_string())
            }
        })
        .unwrap_or_else(|| format!("autonomous mutation proposal approved for {dedupe_key}"));
    AutonomousMutationProposal {
        proposal_id: proposal_id.into(),
        plan_id: plan_id.into(),
        dedupe_key,
        scope: Some(scope),
        expected_evidence,
        rollback_conditions,
        approval_mode,
        proposed: true,
        reason_code: AutonomousProposalReasonCode::Proposed,
        summary,
        denial_condition: None,
        fail_closed: false,
    }
}

/// Construct a denied fail-closed `AutonomousMutationProposal`.
pub fn deny_autonomous_mutation_proposal(
    proposal_id: impl Into<String>,
    plan_id: impl Into<String>,
    dedupe_key: impl Into<String>,
    reason_code: AutonomousProposalReasonCode,
) -> AutonomousMutationProposal {
    let (description, recovery_hint) = match reason_code {
        AutonomousProposalReasonCode::DeniedPlanNotApproved => (
            "source plan was not approved; cannot generate proposal",
            "ensure the autonomous task plan is approved before proposing a mutation",
        ),
        AutonomousProposalReasonCode::DeniedNoTargetScope => (
            "no bounded target scope could be determined for this task class",
            "verify that the task class maps to a known set of target paths",
        ),
        AutonomousProposalReasonCode::DeniedWeakEvidence => (
            "the expected evidence set is empty or insufficient",
            "strengthen evidence requirements before reattempting proposal",
        ),
        AutonomousProposalReasonCode::DeniedOutOfBounds => (
            "proposal would mutate files outside of bounded policy scope",
            "restrict targets to explicitly allowed paths and retry",
        ),
        AutonomousProposalReasonCode::UnknownFailClosed => (
            "proposal generation failed with an unmapped reason; fail closed",
            "require explicit maintainer triage before retry",
        ),
        AutonomousProposalReasonCode::Proposed => (
            "unexpected proposed reason on deny path",
            "use approve_autonomous_mutation_proposal for proposed outcomes",
        ),
    };
    let dedupe_key = dedupe_key.into();
    let summary = format!("autonomous mutation proposal denied [{reason_code:?}]: {description}");
    AutonomousMutationProposal {
        proposal_id: proposal_id.into(),
        plan_id: plan_id.into(),
        dedupe_key,
        scope: None,
        expected_evidence: Vec::new(),
        rollback_conditions: Vec::new(),
        approval_mode: AutonomousApprovalMode::RequiresHumanReview,
        proposed: false,
        reason_code,
        summary,
        denial_condition: Some(AutonomousDenialCondition {
            reason_code: AutonomousPlanReasonCode::UnknownFailClosed,
            description: description.to_string(),
            recovery_hint: recovery_hint.to_string(),
        }),
        fail_closed: true,
    }
}

// ──────────────────────────────────────────────────────────────────────────────
// AUTO-04: Semantic Task-Class Generalization Beyond Normalized Signals
// ──────────────────────────────────────────────────────────────────────────────

/// Broader semantic equivalence families for replay generalization.
///
/// A `TaskEquivalenceClass` groups bounded task classes that share enough
/// semantic properties to allow cross-task replay within the family while
/// keeping false-positive replay rates at zero for unrelated work.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum TaskEquivalenceClass {
    /// Any documentation edit — single-file or multi-file docs changes are
    /// in the same semantic family.
    DocumentationEdit,
    /// Pure static-analysis or compiler-driven code fixes (lints, clippy, fmt).
    StaticAnalysisFix,
    /// Dependency manifest updates (Cargo.toml, Cargo.lock upgrades).
    DependencyManifestUpdate,
    /// Catch-all: task does not belong to any recognized equivalence family.
    Unclassified,
}

/// Human-readable and machine-auditable explanation for why two tasks are
/// considered semantically equivalent for replay selection purposes.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct EquivalenceExplanation {
    /// The equivalence class that was matched.
    pub task_equivalence_class: TaskEquivalenceClass,
    /// Short human-readable rationale for the equivalence match.
    pub rationale: String,
    /// Specific features that were used to determine equivalence.
    pub matching_features: Vec<String>,
    /// Confidence score in [0, 100] that this is a true equivalence match.
    pub replay_match_confidence: u8,
}

/// Reason code explaining the outcome of a semantic replay evaluation.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SemanticReplayReasonCode {
    /// Task matched a known equivalence class and replay is permitted.
    EquivalenceMatchApproved,
    /// Task is in an approved class but confidence is below the minimum threshold.
    LowConfidenceDenied,
    /// Task did not match any approved semantic equivalence class.
    NoEquivalenceClassMatch,
    /// Replay was not permitted because the equivalence class is not on the
    /// allowed list for the current risk tier.
    EquivalenceClassNotAllowed,
    /// Semantic evaluation failed with an unexpected state; fail closed.
    UnknownFailClosed,
}

/// Decision produced by semantic replay evaluation.
///
/// Consumers must check `replay_decision` and `fail_closed` before attempting
/// any replay operation. When `fail_closed` is `true`, replay must not proceed
/// regardless of `replay_decision`.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct SemanticReplayDecision {
    /// Unique identifier for this evaluation.
    pub evaluation_id: String,
    /// The task identifier being evaluated.
    pub task_id: String,
    /// Whether semantic replay is permitted for this task.
    pub replay_decision: bool,
    /// The equivalence explanation that drove the decision, if any.
    pub equivalence_explanation: Option<EquivalenceExplanation>,
    /// The reason code for this decision.
    pub reason_code: SemanticReplayReasonCode,
    /// Human-readable decision summary.
    pub summary: String,
    /// Safety gate. When `true`, replay must be blocked regardless of
    /// `replay_decision`.
    pub fail_closed: bool,
}

/// Construct an approved `SemanticReplayDecision`.
pub fn approve_semantic_replay(
    evaluation_id: impl Into<String>,
    task_id: impl Into<String>,
    explanation: EquivalenceExplanation,
) -> SemanticReplayDecision {
    let summary = format!(
        "semantic replay approved [equivalence_class={:?}, confidence={}]",
        explanation.task_equivalence_class, explanation.replay_match_confidence
    );
    SemanticReplayDecision {
        evaluation_id: evaluation_id.into(),
        task_id: task_id.into(),
        replay_decision: true,
        reason_code: SemanticReplayReasonCode::EquivalenceMatchApproved,
        equivalence_explanation: Some(explanation),
        summary,
        fail_closed: false,
    }
}

/// Construct a denied `SemanticReplayDecision`.
pub fn deny_semantic_replay(
    evaluation_id: impl Into<String>,
    task_id: impl Into<String>,
    reason_code: SemanticReplayReasonCode,
    context: impl Into<String>,
) -> SemanticReplayDecision {
    let context: String = context.into();
    let summary = format!("semantic replay denied [{reason_code:?}]: {context}");
    SemanticReplayDecision {
        evaluation_id: evaluation_id.into(),
        task_id: task_id.into(),
        replay_decision: false,
        equivalence_explanation: None,
        reason_code,
        summary,
        fail_closed: true,
    }
}

// ──────────────────────────────────────────────────────────────────────────────
// AUTO-07: Fail-Closed Autonomous Merge and Release Gate For Narrow Safe Lanes
// ──────────────────────────────────────────────────────────────────────────────

/// Status of the autonomous merge gate.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousMergeGateStatus {
    /// All merge gate checks passed; merge may proceed.
    MergeApproved,
    /// A merge gate check failed or evidence was missing; merge must not
    /// proceed.
    MergeBlocked,
}

/// Status of the autonomous release gate.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousReleaseGateStatus {
    /// All release gate checks passed; release may proceed.
    ReleaseApproved,
    /// A release gate check failed; release must not proceed.
    ReleaseBlocked,
}

/// Status of the autonomous publish gate.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousPublishGateStatus {
    /// All publish gate checks passed; publish may proceed.
    PublishApproved,
    /// A publish gate check failed; publish must not proceed.
    PublishBlocked,
}

/// Kill-switch state for the autonomous release lane.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum KillSwitchState {
    /// Kill switch is not active; lane may continue.
    Inactive,
    /// Kill switch is active; lane must halt immediately.
    Active,
}

/// Reason codes for the autonomous release gate.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousReleaseReasonCode {
    /// All gates passed; autonomous release is approved.
    ApprovedForAutonomousRelease,
    /// Task class is not in the approved narrow safe set.
    TaskClassNotApproved,
    /// Evidence is incomplete or missing from a prior stage.
    IncompleteStageEvidence,
    /// Kill switch is active; lane must halt.
    KillSwitchActive,
    /// Risk tier exceeds policy boundary.
    RiskTierTooHigh,
    /// Post-gate drift detected; rollback required.
    PostGateDriftDetected,
    /// Fail-closed fallback when reason cannot be determined.
    UnknownFailClosed,
}

/// Rollback plan attached to a blocked or drifted autonomous release.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct RollbackPlan {
    /// Identifier for the rollback action.
    pub rollback_id: String,
    /// Human-readable description of the rollback steps.
    pub description: String,
    /// Whether the rollback is immediately actionable.
    pub actionable: bool,
}

/// Combined gate decision record for the autonomous merge and release lane.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct AutonomousReleaseGateDecision {
    /// Unique identifier for this gate evaluation.
    pub gate_id: String,
    /// Human-readable summary of the gate decision.
    pub gate_summary: String,
    /// Result of the merge gate check.
    pub merge_gate_result: AutonomousMergeGateStatus,
    /// Result of the release gate check.
    pub release_gate_result: AutonomousReleaseGateStatus,
    /// Result of the publish gate check.
    pub publish_gate_result: AutonomousPublishGateStatus,
    /// Current kill-switch state at evaluation time.
    pub kill_switch_state: KillSwitchState,
    /// Rollback plan; populated when any gate is blocked or drift detected.
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub rollback_plan: Option<RollbackPlan>,
    /// Machine-readable reason code.
    pub reason_code: AutonomousReleaseReasonCode,
    /// Safety gate: when `true` the lane must not proceed under any
    /// circumstance.
    pub fail_closed: bool,
}

/// Construct an approved `AutonomousReleaseGateDecision`.
pub fn approve_autonomous_release_gate(
    gate_id: impl Into<String>,
    task_id: impl Into<String>,
) -> AutonomousReleaseGateDecision {
    let task_id: String = task_id.into();
    let gate_summary =
        format!("autonomous release gate approved for task {task_id}: all gates passed");
    AutonomousReleaseGateDecision {
        gate_id: gate_id.into(),
        gate_summary,
        merge_gate_result: AutonomousMergeGateStatus::MergeApproved,
        release_gate_result: AutonomousReleaseGateStatus::ReleaseApproved,
        publish_gate_result: AutonomousPublishGateStatus::PublishApproved,
        kill_switch_state: KillSwitchState::Inactive,
        rollback_plan: None,
        reason_code: AutonomousReleaseReasonCode::ApprovedForAutonomousRelease,
        fail_closed: false,
    }
}

/// Construct a denied `AutonomousReleaseGateDecision`.
pub fn deny_autonomous_release_gate(
    gate_id: impl Into<String>,
    task_id: impl Into<String>,
    reason_code: AutonomousReleaseReasonCode,
    kill_switch_state: KillSwitchState,
    detail: impl Into<String>,
    rollback_plan: Option<RollbackPlan>,
) -> AutonomousReleaseGateDecision {
    let task_id: String = task_id.into();
    let detail: String = detail.into();
    let gate_summary = format!("autonomous release gate denied for task {task_id}: {detail}");
    AutonomousReleaseGateDecision {
        gate_id: gate_id.into(),
        gate_summary,
        merge_gate_result: AutonomousMergeGateStatus::MergeBlocked,
        release_gate_result: AutonomousReleaseGateStatus::ReleaseBlocked,
        publish_gate_result: AutonomousPublishGateStatus::PublishBlocked,
        kill_switch_state,
        rollback_plan,
        reason_code,
        fail_closed: true,
    }
}

// ──────────────────────────────────────────────────────────────────────────────
// AUTO-06: Bounded Autonomous PR Lane For Low-Risk Task Classes
// ──────────────────────────────────────────────────────────────────────────────

/// Status of an autonomous PR lane decision.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousPrLaneStatus {
    /// All gates passed; PR can be opened autonomously.
    PrReady,
    /// A gate failed or evidence was missing; PR must not be opened.
    Denied,
}

/// Approval state for the autonomous PR lane.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum PrLaneApprovalState {
    /// The task class is explicitly approved for autonomous PR creation.
    ClassApproved,
    /// The task class is not approved for autonomous PR creation.
    ClassNotApproved,
}

/// Reason codes for the autonomous PR lane gate.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum AutonomousPrLaneReasonCode {
    /// All gates passed; task class is explicitly approved.
    ApprovedForAutonomousPr,
    /// Task class is not in the approved low-risk set.
    TaskClassNotApproved,
    /// Required patch evidence is absent.
    PatchEvidenceMissing,
    /// Validation evidence is missing or incomplete.
    ValidationEvidenceMissing,
    /// Risk tier is too high for autonomous PR.
    RiskTierTooHigh,
    /// Fail-closed fallback when the reason cannot be determined.
    UnknownFailClosed,
}

/// Evidence bundle required before autonomous PR creation.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct PrEvidenceBundle {
    /// Human-readable summary of the patch.
    pub patch_summary: String,
    /// Whether the validation gate has passed for this patch.
    pub validation_passed: bool,
    /// Abbreviated audit trail or evidence key list for reviewer inspection.
    pub audit_trail: Vec<String>,
}

/// Decision record for the autonomous PR lane.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct AutonomousPrLaneDecision {
    /// Unique identifier for this PR lane evaluation.
    pub pr_lane_id: String,
    /// Human-readable summary of the delivery decision.
    pub delivery_summary: String,
    /// Branch name that would be created; populated only when `pr_ready` is
    /// `true`.
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub branch_name: Option<String>,
    /// Structured PR payload (title + body sketch) for the autonomous PR.
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub pr_payload: Option<String>,
    /// Combined evidence bundle governing PR creation eligibility.
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub evidence_bundle: Option<PrEvidenceBundle>,
    /// Whether the PR is ready to be opened.
    pub pr_ready: bool,
    /// Gate status.
    pub delivery_status: AutonomousPrLaneStatus,
    /// Approval state for the task class.
    pub approval_state: PrLaneApprovalState,
    /// Machine-readable reason code.
    pub reason_code: AutonomousPrLaneReasonCode,
    /// Safety gate: when `true` the lane must not proceed under any
    /// circumstance.
    pub fail_closed: bool,
}

/// Construct an approved `AutonomousPrLaneDecision`.
pub fn approve_autonomous_pr_lane(
    pr_lane_id: impl Into<String>,
    task_id: impl Into<String>,
    branch_name: impl Into<String>,
    evidence_bundle: PrEvidenceBundle,
) -> AutonomousPrLaneDecision {
    let task_id: String = task_id.into();
    let branch = branch_name.into();
    let pr_payload = format!("Autonomous PR for task {task_id} on branch {branch}");
    let delivery_summary =
        format!("autonomous PR lane approved for task {task_id}: branch {branch} ready");
    AutonomousPrLaneDecision {
        pr_lane_id: pr_lane_id.into(),
        delivery_summary,
        branch_name: Some(branch),
        pr_payload: Some(pr_payload),
        evidence_bundle: Some(evidence_bundle),
        pr_ready: true,
        delivery_status: AutonomousPrLaneStatus::PrReady,
        approval_state: PrLaneApprovalState::ClassApproved,
        reason_code: AutonomousPrLaneReasonCode::ApprovedForAutonomousPr,
        fail_closed: false,
    }
}

/// Construct a denied `AutonomousPrLaneDecision`.
pub fn deny_autonomous_pr_lane(
    pr_lane_id: impl Into<String>,
    task_id: impl Into<String>,
    reason_code: AutonomousPrLaneReasonCode,
    detail: impl Into<String>,
) -> AutonomousPrLaneDecision {
    let task_id: String = task_id.into();
    let detail: String = detail.into();
    let delivery_summary = format!("autonomous PR lane denied for task {task_id}: {detail}");
    AutonomousPrLaneDecision {
        pr_lane_id: pr_lane_id.into(),
        delivery_summary,
        branch_name: None,
        pr_payload: None,
        evidence_bundle: None,
        pr_ready: false,
        delivery_status: AutonomousPrLaneStatus::Denied,
        approval_state: PrLaneApprovalState::ClassNotApproved,
        reason_code,
        fail_closed: true,
    }
}

// ──────────────────────────────────────────────────────────────────────────────
// AUTO-05: Continuous Confidence Revalidation and Asset Demotion
// ──────────────────────────────────────────────────────────────────────────────

/// Current confidence lifecycle state of a reusable asset.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum ConfidenceState {
    /// Asset is healthy and eligible for replay.
    Active,
    /// Asset confidence has decayed below the warning threshold; still eligible
    /// but flagged for revalidation.
    Decaying,
    /// Asset is undergoing shadow-mode replay revalidation; normal reuse
    /// continues but evidence is accumulated.
    Revalidating,
    /// Asset has been demoted after failed reuse; replay is suspended pending
    /// explicit re-promotion.
    Demoted,
    /// Asset is quarantined after repeated failures; replay is blocked until
    /// explicit triage clears it.
    Quarantined,
}

/// Outcome of a single confidence revalidation round.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum RevalidationOutcome {
    /// Revalidation completed and confidence was restored above threshold.
    Passed,
    /// Revalidation completed but confidence remains below threshold.
    Failed,
    /// Revalidation is still running (shadow phase not yet complete).
    Pending,
    /// Revalidation encountered an error; treat as failed for safety.
    ErrorFailClosed,
}

/// Reason code for a demotion or quarantine transition.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum ConfidenceDemotionReasonCode {
    /// Asset was demoted because confidence decayed below the demotion threshold.
    ConfidenceDecayThreshold,
    /// Asset was demoted due to repeated failed reuse (replay failures).
    RepeatedReplayFailure,
    /// Asset was quarantined after surpassing the maximum failure count.
    MaxFailureCountExceeded,
    /// Asset was revoked by explicit maintainer action.
    ExplicitRevocation,
    /// Demotion failed with an unmapped state; fail closed.
    UnknownFailClosed,
}

/// Whether an asset is currently eligible for replay selection.
#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum ReplayEligibility {
    /// Asset is eligible; replay may proceed.
    Eligible,
    /// Asset is not eligible; replay must not proceed.
    Ineligible,
}

/// Full revalidation decision produced after a confidence evaluation round.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct ConfidenceRevalidationResult {
    /// Unique identifier for this revalidation run.
    pub revalidation_id: String,
    /// The asset being revalidated (gene id or capsule id).
    pub asset_id: String,
    /// Current confidence state before this revalidation.
    pub confidence_state: ConfidenceState,
    /// Outcome of this revalidation round.
    pub revalidation_result: RevalidationOutcome,
    /// Whether replay is eligible after this evaluation.
    pub replay_eligibility: ReplayEligibility,
    /// Human-readable summary of the revalidation outcome.
    pub summary: String,
    /// Safety gate. When `true`, replay must not proceed regardless of
    /// `replay_eligibility`.
    pub fail_closed: bool,
}

/// Demotion or quarantine transition event.
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct DemotionDecision {
    /// Unique identifier for this demotion event.
    pub demotion_id: String,
    /// The asset being demoted or quarantined.
    pub asset_id: String,
    /// Prior state before this transition.
    pub prior_state: ConfidenceState,
    /// New state after this transition.
    pub new_state: ConfidenceState,
    /// Reason for the demotion.
    pub reason_code: ConfidenceDemotionReasonCode,
    /// Replay eligibility after this transition.
    pub replay_eligibility: ReplayEligibility,
    /// Human-readable summary.
    pub summary: String,
    /// Whether this demotion resulted in a quarantine transition.
    pub quarantine_transition: bool,
    /// Safety gate. Always `true` for any demotion event.
    pub fail_closed: bool,
}

/// Construct a passing `ConfidenceRevalidationResult`.
pub fn pass_confidence_revalidation(
    revalidation_id: impl Into<String>,
    asset_id: impl Into<String>,
    _prior_state: ConfidenceState,
) -> ConfidenceRevalidationResult {
    let asset_id: String = asset_id.into();
    let summary =
        format!("confidence revalidation passed for asset {asset_id}: restoring to Active");
    ConfidenceRevalidationResult {
        revalidation_id: revalidation_id.into(),
        asset_id,
        confidence_state: ConfidenceState::Active,
        revalidation_result: RevalidationOutcome::Passed,
        replay_eligibility: ReplayEligibility::Eligible,
        summary,
        fail_closed: false,
    }
}

/// Construct a failing `ConfidenceRevalidationResult`.
pub fn fail_confidence_revalidation(
    revalidation_id: impl Into<String>,
    asset_id: impl Into<String>,
    prior_state: ConfidenceState,
    outcome: RevalidationOutcome,
) -> ConfidenceRevalidationResult {
    let asset_id: String = asset_id.into();
    let summary = format!(
        "confidence revalidation failed for asset {asset_id} [{outcome:?}]: replay suspended"
    );
    ConfidenceRevalidationResult {
        revalidation_id: revalidation_id.into(),
        asset_id,
        confidence_state: prior_state,
        revalidation_result: outcome,
        replay_eligibility: ReplayEligibility::Ineligible,
        summary,
        fail_closed: true,
    }
}

/// Construct a `DemotionDecision`.
pub fn demote_asset(
    demotion_id: impl Into<String>,
    asset_id: impl Into<String>,
    prior_state: ConfidenceState,
    new_state: ConfidenceState,
    reason_code: ConfidenceDemotionReasonCode,
) -> DemotionDecision {
    let asset_id: String = asset_id.into();
    let quarantine_transition = new_state == ConfidenceState::Quarantined;
    let summary =
        format!("asset {asset_id} demoted from {prior_state:?} to {new_state:?} [{reason_code:?}]");
    DemotionDecision {
        demotion_id: demotion_id.into(),
        asset_id,
        prior_state,
        new_state,
        reason_code,
        replay_eligibility: ReplayEligibility::Ineligible,
        summary,
        quarantine_transition,
        fail_closed: true,
    }
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SelfEvolutionSelectionReasonCode {
    Accepted,
    IssueClosed,
    MissingEvolutionLabel,
    MissingFeatureLabel,
    ExcludedByLabel,
    UnsupportedCandidateScope,
    UnknownFailClosed,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct SelfEvolutionSelectionDecision {
    pub issue_number: u64,
    pub selected: bool,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub candidate_class: Option<BoundedTaskClass>,
    pub summary: String,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub reason_code: Option<SelfEvolutionSelectionReasonCode>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub failure_reason: Option<String>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub recovery_hint: Option<String>,
    pub fail_closed: bool,
}

#[derive(Clone, Copy)]
struct SelfEvolutionSelectionDefaults {
    failure_reason: &'static str,
    recovery_hint: &'static str,
}

fn self_evolution_selection_defaults(
    reason_code: &SelfEvolutionSelectionReasonCode,
) -> Option<SelfEvolutionSelectionDefaults> {
    match reason_code {
        SelfEvolutionSelectionReasonCode::Accepted => None,
        SelfEvolutionSelectionReasonCode::IssueClosed => Some(SelfEvolutionSelectionDefaults {
            failure_reason: "self-evolution candidate rejected because the issue is closed",
            recovery_hint: "Reopen the issue or choose an active open issue before retrying selection.",
        }),
        SelfEvolutionSelectionReasonCode::MissingEvolutionLabel => {
            Some(SelfEvolutionSelectionDefaults {
                failure_reason: "self-evolution candidate rejected because the issue is missing area/evolution",
                recovery_hint:
                    "Add the area/evolution label or choose an issue already scoped to self-evolution.",
            })
        }
        SelfEvolutionSelectionReasonCode::MissingFeatureLabel => {
            Some(SelfEvolutionSelectionDefaults {
                failure_reason: "self-evolution candidate rejected because the issue is missing type/feature",
                recovery_hint:
                    "Add the type/feature label or narrow the issue to a bounded feature slice before retrying.",
            })
        }
        SelfEvolutionSelectionReasonCode::ExcludedByLabel => Some(SelfEvolutionSelectionDefaults {
            failure_reason: "self-evolution candidate rejected by an excluded issue label",
            recovery_hint:
                "Remove the excluded label or choose a non-duplicate, non-invalid, actionable issue.",
        }),
        SelfEvolutionSelectionReasonCode::UnsupportedCandidateScope => {
            Some(SelfEvolutionSelectionDefaults {
                failure_reason:
                    "self-evolution candidate rejected because the hinted file scope is outside the bounded docs policy",
                recovery_hint:
                    "Narrow candidate paths to the approved docs/*.md boundary before retrying selection.",
            })
        }
        SelfEvolutionSelectionReasonCode::UnknownFailClosed => Some(SelfEvolutionSelectionDefaults {
            failure_reason: "self-evolution candidate failed with an unmapped selection reason",
            recovery_hint: "Unknown selection failure; fail closed and require explicit maintainer triage before retry.",
        }),
    }
}

pub fn accept_self_evolution_selection_decision(
    issue_number: u64,
    candidate_class: BoundedTaskClass,
    summary: Option<&str>,
) -> SelfEvolutionSelectionDecision {
    let summary = normalize_optional_text(summary).unwrap_or_else(|| {
        format!("selected GitHub issue #{issue_number} as a bounded self-evolution candidate")
    });
    SelfEvolutionSelectionDecision {
        issue_number,
        selected: true,
        candidate_class: Some(candidate_class),
        summary,
        reason_code: Some(SelfEvolutionSelectionReasonCode::Accepted),
        failure_reason: None,
        recovery_hint: None,
        fail_closed: false,
    }
}

pub fn reject_self_evolution_selection_decision(
    issue_number: u64,
    reason_code: SelfEvolutionSelectionReasonCode,
    failure_reason: Option<&str>,
    summary: Option<&str>,
) -> SelfEvolutionSelectionDecision {
    let defaults = self_evolution_selection_defaults(&reason_code)
        .unwrap_or(SelfEvolutionSelectionDefaults {
        failure_reason: "self-evolution candidate rejected",
        recovery_hint:
            "Review candidate selection inputs and retry within the bounded self-evolution policy.",
    });
    let failure_reason = normalize_optional_text(failure_reason)
        .unwrap_or_else(|| defaults.failure_reason.to_string());
    let reason_code_key = match reason_code {
        SelfEvolutionSelectionReasonCode::Accepted => "accepted",
        SelfEvolutionSelectionReasonCode::IssueClosed => "issue_closed",
        SelfEvolutionSelectionReasonCode::MissingEvolutionLabel => "missing_evolution_label",
        SelfEvolutionSelectionReasonCode::MissingFeatureLabel => "missing_feature_label",
        SelfEvolutionSelectionReasonCode::ExcludedByLabel => "excluded_by_label",
        SelfEvolutionSelectionReasonCode::UnsupportedCandidateScope => {
            "unsupported_candidate_scope"
        }
        SelfEvolutionSelectionReasonCode::UnknownFailClosed => "unknown_fail_closed",
    };
    let summary = normalize_optional_text(summary).unwrap_or_else(|| {
        format!(
            "rejected GitHub issue #{issue_number} as a self-evolution candidate [{reason_code_key}]"
        )
    });

    SelfEvolutionSelectionDecision {
        issue_number,
        selected: false,
        candidate_class: None,
        summary,
        reason_code: Some(reason_code),
        failure_reason: Some(failure_reason),
        recovery_hint: Some(defaults.recovery_hint.to_string()),
        fail_closed: true,
    }
}

pub fn accept_discovered_candidate(
    dedupe_key: impl Into<String>,
    candidate_source: AutonomousCandidateSource,
    candidate_class: BoundedTaskClass,
    signals: Vec<String>,
    summary: Option<&str>,
) -> DiscoveredCandidate {
    let summary = normalize_optional_text(summary)
        .unwrap_or_else(|| format!("accepted autonomous candidate from {candidate_source:?}"));
    DiscoveredCandidate {
        dedupe_key: dedupe_key.into(),
        candidate_source,
        candidate_class: Some(candidate_class),
        signals,
        accepted: true,
        reason_code: AutonomousIntakeReasonCode::Accepted,
        summary,
        failure_reason: None,
        recovery_hint: None,
        fail_closed: false,
    }
}

pub fn deny_discovered_candidate(
    dedupe_key: impl Into<String>,
    candidate_source: AutonomousCandidateSource,
    signals: Vec<String>,
    reason_code: AutonomousIntakeReasonCode,
) -> DiscoveredCandidate {
    let (failure_reason, recovery_hint) = match reason_code {
        AutonomousIntakeReasonCode::UnsupportedSignalClass => (
            "signal class is not supported by the bounded evolution policy",
            "review supported candidate signal classes and filter input before retry",
        ),
        AutonomousIntakeReasonCode::AmbiguousSignal => (
            "signals do not map to a unique bounded candidate class",
            "provide more specific signal tokens or triage manually before resubmitting",
        ),
        AutonomousIntakeReasonCode::DuplicateCandidate => (
            "an equivalent candidate has already been discovered in this intake window",
            "deduplicate signals before resubmitting or check the existing candidate queue",
        ),
        AutonomousIntakeReasonCode::UnknownFailClosed => (
            "candidate intake failed with an unmapped reason; fail closed",
            "require explicit maintainer triage before retry",
        ),
        AutonomousIntakeReasonCode::Accepted => (
            "unexpected accepted reason on deny path",
            "use accept_discovered_candidate for accepted outcomes",
        ),
    };
    let summary =
        format!("denied autonomous candidate from {candidate_source:?}: {failure_reason}");
    DiscoveredCandidate {
        dedupe_key: dedupe_key.into(),
        candidate_source,
        candidate_class: None,
        signals,
        accepted: false,
        reason_code,
        summary,
        failure_reason: Some(failure_reason.to_string()),
        recovery_hint: Some(recovery_hint.to_string()),
        fail_closed: true,
    }
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct HumanApproval {
    pub approved: bool,
    pub approver: Option<String>,
    pub note: Option<String>,
}

#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct SupervisedDevloopRequest {
    pub task: AgentTask,
    pub proposal: MutationProposal,
    pub approval: HumanApproval,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum SupervisedDevloopStatus {
    AwaitingApproval,
    RejectedByPolicy,
    FailedClosed,
    Executed,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SupervisedDeliveryStatus {
    Prepared,
    Denied,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SupervisedDeliveryApprovalState {
    Approved,
    MissingExplicitApproval,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SupervisedDeliveryReasonCode {
    DeliveryPrepared,
    AwaitingApproval,
    DeliveryEvidenceMissing,
    ValidationEvidenceMissing,
    UnsupportedTaskScope,
    InconsistentDeliveryEvidence,
    UnknownFailClosed,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct SupervisedDeliveryContract {
    pub delivery_summary: String,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub branch_name: Option<String>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub pr_title: Option<String>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub pr_summary: Option<String>,
    pub delivery_status: SupervisedDeliveryStatus,
    pub approval_state: SupervisedDeliveryApprovalState,
    pub reason_code: SupervisedDeliveryReasonCode,
    #[serde(default)]
    pub fail_closed: bool,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub recovery_hint: Option<String>,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SupervisedExecutionDecision {
    AwaitingApproval,
    ReplayHit,
    PlannerFallback,
    RejectedByPolicy,
    FailedClosed,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SupervisedValidationOutcome {
    NotRun,
    Passed,
    FailedClosed,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SupervisedExecutionReasonCode {
    AwaitingHumanApproval,
    ReplayHit,
    ReplayFallback,
    PolicyDenied,
    ValidationFailed,
    UnsafePatch,
    Timeout,
    MutationPayloadMissing,
    UnknownFailClosed,
}
#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct SupervisedDevloopOutcome {
    pub task_id: String,
    pub task_class: Option<BoundedTaskClass>,
    pub status: SupervisedDevloopStatus,
    pub execution_decision: SupervisedExecutionDecision,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub replay_outcome: Option<ReplayFeedback>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub fallback_reason: Option<String>,
    pub validation_outcome: SupervisedValidationOutcome,
    pub evidence_summary: String,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub reason_code: Option<SupervisedExecutionReasonCode>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub recovery_hint: Option<String>,
    pub execution_feedback: Option<ExecutionFeedback>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub failure_contract: Option<MutationNeededFailureContract>,
    pub summary: String,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SelfEvolutionAuditConsistencyResult {
    Consistent,
    Inconsistent,
}

#[derive(Clone, Copy, Debug, Serialize, Deserialize, PartialEq, Eq)]
#[serde(rename_all = "snake_case")]
pub enum SelfEvolutionAcceptanceGateReasonCode {
    Accepted,
    MissingSelectionEvidence,
    MissingProposalEvidence,
    MissingApprovalEvidence,
    MissingExecutionEvidence,
    MissingDeliveryEvidence,
    InconsistentReasonCodeMatrix,
    UnknownFailClosed,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct SelfEvolutionApprovalEvidence {
    pub approval_required: bool,
    pub approved: bool,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub approver: Option<String>,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct SelfEvolutionDeliveryOutcome {
    pub delivery_status: SupervisedDeliveryStatus,
    pub approval_state: SupervisedDeliveryApprovalState,
    pub reason_code: SupervisedDeliveryReasonCode,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct SelfEvolutionReasonCodeMatrix {
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub selection_reason_code: Option<SelfEvolutionSelectionReasonCode>,
    pub proposal_reason_code: MutationProposalContractReasonCode,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub execution_reason_code: Option<SupervisedExecutionReasonCode>,
    pub delivery_reason_code: SupervisedDeliveryReasonCode,
}

#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct SelfEvolutionAcceptanceGateInput {
    pub selection_decision: SelfEvolutionSelectionDecision,
    pub proposal_contract: SelfEvolutionMutationProposalContract,
    pub supervised_request: SupervisedDevloopRequest,
    pub execution_outcome: SupervisedDevloopOutcome,
    pub delivery_contract: SupervisedDeliveryContract,
}

#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub struct SelfEvolutionAcceptanceGateContract {
    pub acceptance_gate_summary: String,
    pub audit_consistency_result: SelfEvolutionAuditConsistencyResult,
    pub approval_evidence: SelfEvolutionApprovalEvidence,
    pub delivery_outcome: SelfEvolutionDeliveryOutcome,
    pub reason_code_matrix: SelfEvolutionReasonCodeMatrix,
    pub fail_closed: bool,
    pub reason_code: SelfEvolutionAcceptanceGateReasonCode,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub recovery_hint: Option<String>,
}

#[cfg(test)]
mod tests {
    use super::*;

    fn handshake_request_with_versions(versions: &[&str]) -> A2aHandshakeRequest {
        A2aHandshakeRequest {
            agent_id: "agent-test".into(),
            role: AgentRole::Planner,
            capability_level: AgentCapabilityLevel::A2,
            supported_protocols: versions
                .iter()
                .map(|version| A2aProtocol {
                    name: A2A_PROTOCOL_NAME.into(),
                    version: (*version).into(),
                })
                .collect(),
            advertised_capabilities: vec![A2aCapability::Coordination],
        }
    }

    #[test]
    fn negotiate_supported_protocol_prefers_v1_when_available() {
        let req = handshake_request_with_versions(&[A2A_PROTOCOL_VERSION, A2A_PROTOCOL_VERSION_V1]);
        let negotiated = req
            .negotiate_supported_protocol()
            .expect("expected protocol negotiation success");
        assert_eq!(negotiated.name, A2A_PROTOCOL_NAME);
        assert_eq!(negotiated.version, A2A_PROTOCOL_VERSION_V1);
    }

    #[test]
    fn negotiate_supported_protocol_falls_back_to_experimental() {
        let req = handshake_request_with_versions(&[A2A_PROTOCOL_VERSION]);
        let negotiated = req
            .negotiate_supported_protocol()
            .expect("expected protocol negotiation success");
        assert_eq!(negotiated.version, A2A_PROTOCOL_VERSION);
    }

    #[test]
    fn negotiate_supported_protocol_returns_none_without_overlap() {
        let req = handshake_request_with_versions(&["0.0.1"]);
        assert!(req.negotiate_supported_protocol().is_none());
    }

    #[test]
    fn normalize_replay_fallback_contract_maps_known_reason() {
        let contract = normalize_replay_fallback_contract(
            &ReplayPlannerDirective::PlanFallback,
            Some("no matching gene"),
            None,
            None,
            None,
            None,
        )
        .expect("contract should exist");

        assert_eq!(
            contract.reason_code,
            ReplayFallbackReasonCode::NoCandidateAfterSelect
        );
        assert_eq!(
            contract.next_action,
            ReplayFallbackNextAction::PlanFromScratch
        );
        assert_eq!(contract.confidence, 92);
    }

    #[test]
    fn normalize_replay_fallback_contract_fails_closed_for_unknown_reason() {
        let contract = normalize_replay_fallback_contract(
            &ReplayPlannerDirective::PlanFallback,
            Some("something unexpected"),
            None,
            None,
            None,
            None,
        )
        .expect("contract should exist");

        assert_eq!(
            contract.reason_code,
            ReplayFallbackReasonCode::UnmappedFallbackReason
        );
        assert_eq!(
            contract.next_action,
            ReplayFallbackNextAction::EscalateFailClosed
        );
        assert_eq!(contract.confidence, 0);
    }

    #[test]
    fn normalize_replay_fallback_contract_rejects_conflicting_next_action() {
        let contract = normalize_replay_fallback_contract(
            &ReplayPlannerDirective::PlanFallback,
            Some("replay validation failed"),
            Some(ReplayFallbackReasonCode::ValidationFailed),
            None,
            Some(ReplayFallbackNextAction::PlanFromScratch),
            Some(88),
        )
        .expect("contract should exist");

        assert_eq!(
            contract.reason_code,
            ReplayFallbackReasonCode::UnmappedFallbackReason
        );
        assert_eq!(
            contract.next_action,
            ReplayFallbackNextAction::EscalateFailClosed
        );
        assert_eq!(contract.confidence, 0);
    }

    #[test]
    fn normalize_mutation_needed_failure_contract_maps_policy_denied() {
        let contract = normalize_mutation_needed_failure_contract(
            Some("supervised devloop rejected task because it is outside bounded scope"),
            None,
        );

        assert_eq!(
            contract.reason_code,
            MutationNeededFailureReasonCode::PolicyDenied
        );
        assert_eq!(
            contract.recovery_action,
            MutationNeededRecoveryAction::NarrowScopeAndRetry
        );
        assert!(contract.fail_closed);
    }

    #[test]
    fn normalize_mutation_needed_failure_contract_maps_timeout() {
        let contract = normalize_mutation_needed_failure_contract(
            Some("command timed out: git apply --check patch.diff"),
            None,
        );

        assert_eq!(
            contract.reason_code,
            MutationNeededFailureReasonCode::Timeout
        );
        assert_eq!(
            contract.recovery_action,
            MutationNeededRecoveryAction::ReduceExecutionBudget
        );
        assert!(contract.fail_closed);
    }

    #[test]
    fn normalize_mutation_needed_failure_contract_fails_closed_for_unknown_reason() {
        let contract =
            normalize_mutation_needed_failure_contract(Some("unexpected runner panic"), None);

        assert_eq!(
            contract.reason_code,
            MutationNeededFailureReasonCode::UnknownFailClosed
        );
        assert_eq!(
            contract.recovery_action,
            MutationNeededRecoveryAction::EscalateFailClosed
        );
        assert!(contract.fail_closed);
    }

    #[test]
    fn reject_self_evolution_selection_decision_maps_closed_issue_defaults() {
        let decision = reject_self_evolution_selection_decision(
            234,
            SelfEvolutionSelectionReasonCode::IssueClosed,
            None,
            None,
        );

        assert!(!decision.selected);
        assert_eq!(decision.issue_number, 234);
        assert_eq!(
            decision.reason_code,
            Some(SelfEvolutionSelectionReasonCode::IssueClosed)
        );
        assert!(decision.fail_closed);
        assert!(decision
            .failure_reason
            .as_deref()
            .is_some_and(|reason| reason.contains("closed")));
        assert!(decision.recovery_hint.is_some());
    }

    #[test]
    fn accept_self_evolution_selection_decision_marks_candidate_selected() {
        let decision =
            accept_self_evolution_selection_decision(235, BoundedTaskClass::DocsSingleFile, None);

        assert!(decision.selected);
        assert_eq!(decision.issue_number, 235);
        assert_eq!(
            decision.candidate_class,
            Some(BoundedTaskClass::DocsSingleFile)
        );
        assert_eq!(
            decision.reason_code,
            Some(SelfEvolutionSelectionReasonCode::Accepted)
        );
        assert!(!decision.fail_closed);
        assert_eq!(decision.failure_reason, None);
        assert_eq!(decision.recovery_hint, None);
    }
}

/// Hub trust tier - defines operational permissions for a Hub
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq)]
pub enum HubTrustTier {
    /// Full trust - allows all operations (internal/private Hub)
    Full,
    /// Read-only - allows only read operations (public Hub)
    ReadOnly,
}

/// Hub operation class - classifies the type of A2A operation
#[derive(Clone, Debug, Serialize, Deserialize, PartialEq, Eq, Hash)]
pub enum HubOperationClass {
    Hello,
    Fetch,
    Publish,
    Revoke,
    TaskClaim,
    TaskComplete,
    WorkerRegister,
    Recipe,
    Session,
    Dispute,
    Swarm,
}

impl HubOperationClass {
    /// Returns true if the operation is read-only (allowed for ReadOnly hubs)
    pub fn is_read_only(&self) -> bool {
        matches!(self, HubOperationClass::Hello | HubOperationClass::Fetch)
    }
}

/// Hub profile - describes a Hub's capabilities and configuration
#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct HubProfile {
    pub hub_id: String,
    pub base_url: String,
    pub trust_tier: HubTrustTier,
    /// Priority for hub selection (higher = preferred)
    pub priority: u32,
    /// Optional health check endpoint
    pub health_url: Option<String>,
}

impl HubProfile {
    /// Check if this hub allows the given operation class
    pub fn allows_operation(&self, operation: &HubOperationClass) -> bool {
        match &self.trust_tier {
            HubTrustTier::Full => true,
            HubTrustTier::ReadOnly => operation.is_read_only(),
        }
    }
}

/// Hub selection policy - defines how to choose between multiple hubs
#[derive(Clone, Debug)]
pub struct HubSelectionPolicy {
    /// Map operation class to allowed trust tiers
    pub allowed_tiers_for_operation: Vec<(HubOperationClass, Vec<HubTrustTier>)>,
    /// Default trust tiers if no specific mapping
    pub default_allowed_tiers: Vec<HubTrustTier>,
}

impl Default for HubSelectionPolicy {
    fn default() -> Self {
        Self {
            allowed_tiers_for_operation: vec![
                (
                    HubOperationClass::Hello,
                    vec![HubTrustTier::Full, HubTrustTier::ReadOnly],
                ),
                (
                    HubOperationClass::Fetch,
                    vec![HubTrustTier::Full, HubTrustTier::ReadOnly],
                ),
                // All write operations require Full trust
                (HubOperationClass::Publish, vec![HubTrustTier::Full]),
                (HubOperationClass::Revoke, vec![HubTrustTier::Full]),
                (HubOperationClass::TaskClaim, vec![HubTrustTier::Full]),
                (HubOperationClass::TaskComplete, vec![HubTrustTier::Full]),
                (HubOperationClass::WorkerRegister, vec![HubTrustTier::Full]),
                (HubOperationClass::Recipe, vec![HubTrustTier::Full]),
                (HubOperationClass::Session, vec![HubTrustTier::Full]),
                (HubOperationClass::Dispute, vec![HubTrustTier::Full]),
                (HubOperationClass::Swarm, vec![HubTrustTier::Full]),
            ],
            default_allowed_tiers: vec![HubTrustTier::Full],
        }
    }
}

impl HubSelectionPolicy {
    /// Get allowed trust tiers for a given operation
    pub fn allowed_tiers(&self, operation: &HubOperationClass) -> &[HubTrustTier] {
        self.allowed_tiers_for_operation
            .iter()
            .find(|(op, _)| op == operation)
            .map(|(_, tiers)| tiers.as_slice())
            .unwrap_or(&self.default_allowed_tiers)
    }
}