TaskExecutionState

gestura_core_tasks::tasks

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

Expand description

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. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for TaskExecutionState

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

Formats the value using the given formatter. Read more

impl Default for TaskExecutionState

fn default() -> TaskExecutionState

Returns the “default value” for a type. Read more

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

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl PartialEq for TaskExecutionState

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

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

1.0.0 · Source§

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::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl Eq for TaskExecutionState

impl StructuralPartialEq for TaskExecutionState

Auto Trait Implementations§

impl Freeze for TaskExecutionState

impl RefUnwindSafe for TaskExecutionState

impl Send for TaskExecutionState

impl Sync for TaskExecutionState

impl Unpin for TaskExecutionState

impl UnwindSafe for TaskExecutionState

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> FutureExt for T

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoRequest<T> for T

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request

impl<L> LayerExt<L> for L

fn named_layer<S>(&self, service: S) -> Layered<<L as Layer<S>>::Service, S>
where L: Layer<S>,

Applies the layer to a service and wraps it in [Layered].

impl<T> PolicyExt for T
where T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] only if self and other return Action::Follow. Read more

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] if either self or other returns Action::Follow. Read more

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,