rightkit-agent-engine-protocol 0.1.1

Agent engine protocol: events, envelopes, tool calls, trust wrapping and settlement types shared by agent hosts
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

use serde::{Deserialize, Serialize};

/// Durable settlement state for an external effect attempt.
///
/// `InterruptedUnknown` is the fail-closed state for a process/network/external
/// mutation that may have executed but whose result was not durably committed.
/// Such work must be reconciled explicitly; automatic replay is unsafe.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum ExternalEffectSettlement {
    NotStarted,
    Running,
    Succeeded,
    Failed,
    InterruptedUnknown,
}

impl ExternalEffectSettlement {
    pub fn may_have_executed(self) -> bool {
        matches!(
            self,
            Self::Running | Self::Succeeded | Self::Failed | Self::InterruptedUnknown
        )
    }

    /// Whether recovery may automatically execute the same non-idempotent
    /// effect again. Only a durably known `NotStarted` attempt is safe by
    /// default; callers may layer a stronger idempotency contract separately.
    pub fn allows_automatic_non_idempotent_replay(self) -> bool {
        matches!(self, Self::NotStarted)
    }

    pub fn requires_reconciliation(self) -> bool {
        matches!(self, Self::InterruptedUnknown)
    }
}