Struct VerificationAutoRecoveryConfig 

pub struct VerificationAutoRecoveryConfig {
    pub auto_execute: bool,
    pub in_turn_attempts: u8,
    pub cross_turn_turns: u8,
    pub default_verifier_override: Option<String>,
    pub max_consecutive_failures: u8,
}

Autonomous recovery policy for the anti-blind-editing verification gate.

After 6 consecutive successful mutations without verification, text-only responses no longer block the turn immediately: the harness grants bounded directive retries naming the exact project verifier, then (when auto_execute is set) runs that verifier itself through the normal tool pipeline instead of forcing the user to type continue. A verifier that keeps failing escalates to a manual blocked handoff carrying the failure log after max_consecutive_failures consecutive failures.

Fields

auto_execute: bool

Run the detected project verifier through the normal tool pipeline when the model exhausts its directive retries without verifying. Default: true. Set to false to restore directive-only recovery.

in_turn_attempts: u8

Bounded in-turn directive retries granted when the model emits text instead of a verifier while the gate is pending. Each grant resets the text-response streak once and injects a project-aware directive. Default: 2.

cross_turn_turns: u8

Autonomous cross-turn recovery turns scheduled after a verification-blocked turn before a manual blocked handoff is written. Default: 2.

default_verifier_override: Option<String>

Explicit verifier command overriding project-marker detection (e.g. "cargo nextest run -p mycrate"). Must be a standalone verifier or pure && chain; pipes and ;/|| joins are rejected at use.

max_consecutive_failures: u8

Consecutive failed harness auto-verifications before escalation to a manual blocked handoff carrying the failure log. Reset by any success, completed turn, or fresh user input. Default: 3.

Trait Implementations

impl Clone for VerificationAutoRecoveryConfig

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationAutoRecoveryConfig

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

Formats the value using the given formatter.

impl Default for VerificationAutoRecoveryConfig

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VerificationAutoRecoveryConfig

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for VerificationAutoRecoveryConfig

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl Serialize for VerificationAutoRecoveryConfig

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

where __S: Serializer,

Serialize this value into the given Serde serializer.