Enum RetryPolicy 

pub enum RetryPolicy {
    Retry,
    RetryWithSameKey,
    Never,
}

Whether and how a failed live tool execution may be retried, as a function of the tool’s Effect.

This encodes the retry column of the effect table. It is pure data and logic: it decides nothing and enforces nothing on its own.

Scope: live execution only

This governs a tool call that is executing now and failed. It says nothing about replay: a completed recorded call is read from the log and never re-executed, whatever its effect. That rule lives in salvor_core::Effect and the replay cursor, not here.

Consumer: the agent loop

This type is consumed by the runtime loop, which owns retry enforcement. When a live DynTool::call_json returns a ToolError::Handler, the loop asks RetryPolicy::for_effect what it is allowed to do:

• Retry: re-execute the call.
• RetryWithSameKey: re-execute, reusing the original idempotency key (carried on ToolCtx) so the provider collapses duplicate attempts into one effect.
• Never: do not auto-retry; the write’s at-most-once intent was recorded before execution, and a crash between intent and completion surfaces as NeedsReconciliation for a human.

This layer only classifies. Recording intent, counting attempts, and surfacing reconciliation are the loop’s job.

Variants

Retry

Retry freely. A Read has no side effect, so a repeat attempt only re-observes state.

RetryWithSameKey

Retry, but only reusing the same idempotency key. For an Idempotent call, the shared key is what makes a retry safe.

Never

Never auto-retry. A Write that may have landed is not re-attempted on a guess; it is left for human reconciliation.

Implementations

impl RetryPolicy

pub fn for_effect(effect: Effect) -> Self

The retry policy for a tool of the given effect class.

This is the whole table: Read maps to Retry, Idempotent to RetryWithSameKey, and Write to Never.

pub fn allows_retry(self) -> bool

Whether a failed live execution of this policy may be re-attempted at all. A convenience over matching; false only for Never.

Trait Implementations

impl Clone for RetryPolicy

fn clone(&self) -> RetryPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RetryPolicy

impl Debug for RetryPolicy

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

Formats the value using the given formatter.

impl Eq for RetryPolicy

impl Hash for RetryPolicy

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 RetryPolicy

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RetryPolicy