Struct TaskExecutionState 

pub struct TaskExecutionState {
    pub verification_profile: TaskVerificationProfile,
    pub saw_tool_activity: bool,
    pub saw_mutation: bool,
    pub saw_diagnostic_progress: bool,
    pub saw_contradiction: bool,
    pub saw_blocker: bool,
    pub build_succeeded: bool,
    pub test_succeeded: bool,
    pub last_runtime_note: Option<String>,
    pub evidence: Vec<TaskExecutionEvidence>,
}

Runtime-owned execution state persisted in task metadata.

Fields

verification_profile: TaskVerificationProfile

Verification requirements currently assigned to the task.

saw_tool_activity: bool

Whether any successful tool activity has been observed for the task.

saw_mutation: bool

Whether successful source mutation evidence has been observed.

saw_diagnostic_progress: bool

Whether diagnostic progress has been observed for the task.

saw_contradiction: bool

Whether contradiction evidence has been observed for the task.

saw_blocker: bool

Whether blocker evidence has been observed for the task.

build_succeeded: bool

Whether successful build/check evidence has been observed.

test_succeeded: bool

Whether successful test evidence has been observed.

last_runtime_note: Option<String>

Optional runtime note for UI/status surfaces.

evidence: Vec<TaskExecutionEvidence>

Structured evidence history, capped to a small rolling window.

Implementations

impl TaskExecutionState

pub fn merge_profile(&mut self, profile: TaskVerificationProfile)

Merge a runtime-authored verification profile into the current state.

pub fn record_evidence(&mut self, evidence: TaskExecutionEvidence) -> bool

Record evidence and update the derived boolean summary.

pub fn satisfies_profile(&self) -> bool

Return true when the observed runtime evidence satisfies the task’s assigned verification profile.

Trait Implementations

impl Clone for TaskExecutionState

fn clone(&self) -> TaskExecutionState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TaskExecutionState

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

Formats the value using the given formatter.

impl Default for TaskExecutionState

fn default() -> TaskExecutionState

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TaskExecutionState

fn deserialize<__D>( __deserializer: __D, ) -> Result<TaskExecutionState, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TaskExecutionState

fn eq(&self, other: &TaskExecutionState) -> 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 TaskExecutionState

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for TaskExecutionState

impl StructuralPartialEq for TaskExecutionState