Enum OnAmbiguous 

pub enum OnAmbiguous {
    Skip,
    Fail,
    Rerun,
}

What to do when a guarded step resumes inside the ambiguous window.

The ambiguous window is the gap between committing the EffectIntent and committing the StepResult: on resume the journal proves the effect was about to fire, but not whether it did. The policy resolves that uncertainty. Every resolution emits a mandatory structured audit record (FR-DE-10).

Examples

use zeph_durable::OnAmbiguous;

assert_eq!(OnAmbiguous::Skip.as_str(), "skip");

Variants

Skip

Assume the effect happened. Safe for cost-bearing / boundary-idempotent effects, where the external service deduplicates the re-issued operation by its idempotency key, so re-running the closure cannot double-apply the effect (it is deduplicated at the boundary).

Fail

Surface the ambiguity to the operator with DurableError::AmbiguousEffect. The required choice for destructive and security-relevant effects, where guessing is unacceptable.

Rerun

Assume the effect did not happen and re-run the closure. For effects misclassified as guarded that are in fact safe to repeat.

Implementations

impl OnAmbiguous

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

Return the canonical lower-snake-case string used in the mandatory audit record.

Trait Implementations

impl Clone for OnAmbiguous

fn clone(&self) -> OnAmbiguous

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for OnAmbiguous

impl Debug for OnAmbiguous

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

Formats the value using the given formatter.

impl Eq for OnAmbiguous

impl Hash for OnAmbiguous

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 OnAmbiguous

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for OnAmbiguous