made-core 0.7.3

use std::collections::BTreeMap;

use serde::{Deserialize, Serialize};

use super::{CeremonyContext, GuardCondition, GuardName, StepExecutionRecord, StepId};

#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct CeremonyGuard {
    name: GuardName,
    condition: GuardCondition,
}

impl CeremonyGuard {
    #[must_use]
    pub fn new(name: GuardName, condition: GuardCondition) -> Self {
        Self { name, condition }
    }

    #[must_use]
    pub fn name(&self) -> &GuardName {
        &self.name
    }

    #[must_use]
    pub fn condition(&self) -> &GuardCondition {
        &self.condition
    }

    #[must_use]
    pub fn is_satisfied(
        &self,
        records: &BTreeMap<StepId, StepExecutionRecord>,
        context: &CeremonyContext,
    ) -> bool {
        match &self.condition {
            GuardCondition::Always => true,
            GuardCondition::AllStepsCompleted => {
                !records.is_empty() && records.values().all(|record| record.status().is_success())
            }
            GuardCondition::AnyStepCompleted => {
                records.values().any(|record| record.status().is_success())
            }
            GuardCondition::StepsCompleted(count) => {
                records
                    .values()
                    .filter(|record| record.status().is_success())
                    .count()
                    >= count.get() as usize
            }
            GuardCondition::StepStatus { step_id, status } => records
                .get(step_id)
                .is_some_and(|record| record.status() == *status),
            GuardCondition::OutputField(condition) => records
                .get(condition.step_id())
                .is_some_and(|record| condition.is_satisfied(record)),
            // Exhaustion needs the referenced step policy and transition source.
            // Child completion needs the instance's durable child-group fold and
            // exact execution coordinates. Definition-only evaluation cannot
            // prove either condition.
            GuardCondition::StepRepeatExhausted(_) | GuardCondition::ChildrenCompleted(_) => false,
            GuardCondition::HumanApproval => context.is_guard_approved(&self.name),
        }
    }
}