Enum EffectIntentSubClass 

pub enum EffectIntentSubClass {
    CostBearingOrBoundaryIdempotent,
    Destructive,
    SecurityRelevant,
    MoneyMoving,
    Custom,
}

What an EffectClass::ExactlyOnceGuarded step actually does, refining the ambiguity policy.

The sub-class drives the construction-time policy rule: a guarded step whose effect is destructive, security-relevant, money-moving, or custom MUST carry an explicit OnAmbiguous (FR-DE-09); only a cost-bearing / boundary-idempotent effect gets a safe default (OnAmbiguous::Skip). The sub-class is consumed when the descriptor is built and never stored on the journal row — the persisted classification is the coarser EffectClass.

Examples

use zeph_durable::EffectIntentSubClass;

// A paid LLM call carrying a provider idempotency header is safe to skip on an ambiguous replay.
assert!(!EffectIntentSubClass::CostBearingOrBoundaryIdempotent.requires_explicit_policy());
// A fund transfer must declare its ambiguity policy explicitly.
assert!(EffectIntentSubClass::MoneyMoving.requires_explicit_policy());

Variants

CostBearingOrBoundaryIdempotent

A paid or rate-limited boundary effect that the external service deduplicates by idempotency key (e.g. a paid LLM call). Default ambiguity policy: OnAmbiguous::Skip.

Destructive

An irreversible mutation (file delete, record drop). Requires an explicit policy.

SecurityRelevant

A permission or credential mutation. Requires an explicit policy.

MoneyMoving

A financial transfer. Requires an explicit policy.

Custom

A caller-defined effect with no built-in default. Requires an explicit policy.

Implementations

impl EffectIntentSubClass

pub fn requires_explicit_policy(self) -> bool

Whether a guarded step of this sub-class MUST be given an explicit OnAmbiguous policy.

Only EffectIntentSubClass::CostBearingOrBoundaryIdempotent has a safe default; every other sub-class forces the decision to the call site.

pub fn as_str(self) -> &'static str

Return the canonical lower-snake-case string for diagnostics and audit records.

Trait Implementations

impl Clone for EffectIntentSubClass

fn clone(&self) -> EffectIntentSubClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EffectIntentSubClass

impl Debug for EffectIntentSubClass

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

Formats the value using the given formatter.

impl Eq for EffectIntentSubClass

impl Hash for EffectIntentSubClass

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for EffectIntentSubClass

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EffectIntentSubClass