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,
}

Completion verification and bounded corrective recovery.

Editing remains available while checks are missing. At completion, run missing checks through the normal pipeline. At most one corrective pass per request is allowed; legacy numeric settings remain parseable and may disable or tighten this bound, never expand it.

Fields

auto_execute: bool

Run missing interactive completion checks through the normal pipeline. Default: true. False disables automatic interactive execution and corrective recovery; headless mandatory verification remains required.

in_turn_attempts: u8

Legacy in-turn recovery bound. Zero disables the corrective pass; nonzero values permit at most one pass. Default: 2 for compatibility.

cross_turn_turns: u8

Legacy cross-turn recovery bound. Zero disables the corrective pass; nonzero values permit at most one pass per request. Default: 2 for compatibility.

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.