Struct Attempt 

pub struct Attempt {
    pub task_id: String,
    pub attempt_id: String,
    pub allowed_edit: AllowedEdit,
    pub replacement: String,
    pub target_file: Option<Utf8PathBuf>,
    pub extra_edits: Vec<SpanReplacement>,
    pub original_diagnostic: Option<Diagnostic>,
    pub model: Option<String>,
    pub prompt_hash: Option<String>,
    pub metadata: Option<Value>,
}

One bounded proof attempt to replay.

Fields

task_id: String

Task this attempt answers.

attempt_id: String

Identifier for this attempt; defaults to attempt when omitted.

allowed_edit: AllowedEdit

The single bounded edit, reusing the miner’s allowed_edit shape.

replacement: String

New content spliced over the allowed line range.

target_file: Option<Utf8PathBuf>

File to compile; defaults to allowed_edit.file.

extra_edits: Vec<SpanReplacement>

Extra edits, honored only when multi-file application is enabled.

original_diagnostic: Option<Diagnostic>

The original problem this attempt targets, used to decide resolution.

model: Option<String>

Model identifier the runner reported, when one was provided.

prompt_hash: Option<String>

Hash of the prompt that produced this attempt, for reproducibility.

metadata: Option<Value>

Free-form runner metadata (cost, latency, sampling settings).

Implementations

impl Attempt

pub fn primary_span(&self) -> SpanReplacement

The primary, bounded single-span edit this attempt makes.

pub fn target(&self) -> Utf8PathBuf

File compiled to score the attempt.

Trait Implementations

impl Clone for Attempt

fn clone(&self) -> Attempt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Attempt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Attempt

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Attempt

impl PartialEq for Attempt

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Attempt

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Attempt