rightkit_agent_engine_protocol/
effect_settlement.rs

1use serde::{Deserialize, Serialize};
2
3/// Durable settlement state for an external effect attempt.
4///
5/// `InterruptedUnknown` is the fail-closed state for a process/network/external
6/// mutation that may have executed but whose result was not durably committed.
7/// Such work must be reconciled explicitly; automatic replay is unsafe.
8#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
9#[serde(rename_all = "snake_case")]
10pub enum ExternalEffectSettlement {
11    NotStarted,
12    Running,
13    Succeeded,
14    Failed,
15    InterruptedUnknown,
16}
17
18impl ExternalEffectSettlement {
19    pub fn may_have_executed(self) -> bool {
20        matches!(
21            self,
22            Self::Running | Self::Succeeded | Self::Failed | Self::InterruptedUnknown
23        )
24    }
25
26    /// Whether recovery may automatically execute the same non-idempotent
27    /// effect again. Only a durably known `NotStarted` attempt is safe by
28    /// default; callers may layer a stronger idempotency contract separately.
29    pub fn allows_automatic_non_idempotent_replay(self) -> bool {
30        matches!(self, Self::NotStarted)
31    }
32
33    pub fn requires_reconciliation(self) -> bool {
34        matches!(self, Self::InterruptedUnknown)
35    }
36}

rightkit_agent_engine_protocol/effect_settlement.rs

rightkit_agent_engine_protocol/
effect_settlement.rs