Enum OrchestrationMode 

#[non_exhaustive]
pub enum OrchestrationMode {
    Deterministic,
    SandboxedAutonomous {
        budget: ResourceBudget,
        acknowledgement: SandboxAcknowledgement,
    },
}

How much autonomy the model gets: which risk classes are eligible at all (§11.4).

Risk class	Deterministic	SandboxedAutonomous
ReadOnly, ReversibleLowRisk, SensitiveDataChange	yes	yes
Destructive, Irreversible, ExternalRegulated	yes	no

A domain that classifies a money movement as ReversibleLowRisk has mislabelled it, and no mode can rescue that.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Deterministic

Understanding proposes, the reducer and policy decide. The default.

SandboxedAutonomous

Experimental mode for sandboxed, reversible domains only (§11.4). Build it with Self::sandboxed_autonomous; the acknowledgement cannot be built elsewhere.

Fields

budget: ResourceBudget

What the turn may spend.

acknowledgement: SandboxAcknowledgement

Proof the operator knows what this gives up.

Implementations

impl OrchestrationMode

pub const fn sandboxed_autonomous( budget: ResourceBudget, acknowledgement: SandboxAcknowledgement, ) -> OrchestrationMode

Builds the sandboxed autonomous mode.

The acknowledgement argument is the whole point: obtaining one means calling SandboxAcknowledgement::i_accept_unreviewed_autonomous_writes, which logs a warning.

pub fn allows_risk(&self, risk: RiskClass) -> bool

Whether commands of risk are eligible in this mode (§11.4).

See the table on OrchestrationMode.

pub fn forbidden_risk_classes(&self) -> Vec<RiskClass>

The risk classes this mode refuses, in ladder order.

Feed them to PolicySnapshot::forbidden_risk_classes — or let OrchestratorConfig::policy_snapshot do it.

pub fn budget(&self) -> Option<&ResourceBudget>

The resource budget, for the sandboxed mode only.

pub fn is_sandboxed(&self) -> bool

Returns true for Self::SandboxedAutonomous.

Trait Implementations

impl Clone for OrchestrationMode

fn clone(&self) -> OrchestrationMode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for OrchestrationMode

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for OrchestrationMode

fn default() -> OrchestrationMode

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for OrchestrationMode

fn deserialize<__D>( __deserializer: __D, ) -> Result<OrchestrationMode, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for OrchestrationMode

impl PartialEq for OrchestrationMode

fn eq(&self, other: &OrchestrationMode) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for OrchestrationMode

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for OrchestrationMode