Struct ReplayResult 

pub struct ReplayResult {

    pub task_id: String,
    pub attempt_id: String,
    pub status: ReplayStatus,
    pub compile_passed: bool,
    pub accepted: bool,
    pub diagnostic_count: usize,
    pub new_errors: usize,
    pub resolved_original_error: bool,
    pub regression: bool,
    pub elapsed_ms: u64,
    pub final_goal_state: Option<GoalState>,
    pub guards: Option<AcceptReport>,
    pub reject_reason: Option<RejectReason>,
    pub patch_error: Option<String>,
}

Result record for one replayed attempt.

Fields

task_id: String

Task the attempt answered.

attempt_id: String

Attempt identifier.

status: ReplayStatus

Coarse outcome.

compile_passed: bool

True when the patched file compiled with no errors.

accepted: bool

True only when the compile passed and every live accept guard passed.

diagnostic_count: usize

Number of diagnostics from the patched compile.

new_errors: usize

Patched errors whose signature was not in the baseline.

resolved_original_error: bool

Whether the original problem is gone after the patch.

regression: bool

Whether the patch introduced at least one new error.

elapsed_ms: u64

Wall-clock time for the whole attempt (copy, patch, compile).

final_goal_state: Option<GoalState>

First goal state surfaced by the patched compile, when present.

guards: Option<AcceptReport>

Per-guard accept outcomes, present when the compile passed and guards ran.

reject_reason: Option<RejectReason>

The accept guard that refused the attempt, when status is rejected.

patch_error: Option<String>

Why the patch was refused, when status is patch_refused or runner_error.

Trait Implementations

impl Clone for ReplayResult

fn clone(&self) -> ReplayResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReplayResult

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ReplayResult

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ReplayResult

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

where __S: Serializer,

Serialize this value into the given Serde serializer.