Skip to main content

TaskLaunchError

Enum TaskLaunchError 

Source
pub enum TaskLaunchError {
    Compile(CompileError),
    Engine(EngineError),
    FlowEval {
        message: String,
        failed_step: Option<String>,
        verdict_value: Option<Value>,
        partial_ctx: Option<Value>,
    },
    PreDispatch(String),
}
Expand description

Failure modes of TaskLaunchService::launch.

Variants§

§

Compile(CompileError)

Compiler::compile rejected the Blueprint.

§

Engine(EngineError)

Engine::attach_with_ids failed.

§

FlowEval

A Step inside flow.ir’s eval_async produced a dispatcher error, or a sub-flow raised.

GH #76 error surface: struct variant carrying structured failure detail lifted off the eval boundary — failed_step / verdict_value come from the crate::store::run::RunContext::last_failure breadcrumb the dispatcher’s Blocked arm writes; partial_ctx comes from the same RunContext’s crate::store::run::RunContext::snapshot_partial_ctx reconstruction of the step-entry trace persisted so far. All three new fields are Option because dispatch may error via a path that does not go through the Blocked arm (upstream flow-ir eval errors, e.g. a malformed AST or an unresolved CallExternrun_ctx itself may be None, or the flow may fail before any step was dispatched). Display preserves the pre-#76 "flow eval: {message}" prefix byte-for-byte for backwards-compatible stringification.

Fields

§message: String

The stringified underlying error (EvalError::to_string() on the current write path). Preserves the pre-#76 message text.

§failed_step: Option<String>

The Step.ref of the step whose Blocked outcome aborted the flow, when the dispatcher’s Blocked arm was the abort site. None for abort paths that do not go through the dispatcher (see the enum variant doc).

§verdict_value: Option<Value>

The verdict Value the aborting step carried (DispatchOutcome::Blocked(v)’s v). None for the same reasons as failed_step.

§partial_ctx: Option<Value>

In-tree partial_ctx surfaces step-entry log (step_id → status/binding_digest). Full value-level partial_ctx requires upstream mlua-flow-ir support to expose storage.snapshot() on error. See crate::store::run::RunContext::snapshot_partial_ctx for the reconstructed JSON shape. None when run_ctx was unavailable at the map_err site (e.g. TaskLaunchService::launch called without a RunContext).

§

PreDispatch(String)

Pre-dispatch validation failed: the launch was rejected before any step was dispatched. Raised when the effective check_policy (launch request > blueprint > server config) is Strict and the launch supplied neither project_root nor work_dir — a strict task would deterministically fail at its first submit-time file materialize, so the launch fails fast instead.

Trait Implementations§

Source§

impl Debug for TaskLaunchError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Display for TaskLaunchError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Error for TaskLaunchError

Source§

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

1.0.0 · Source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

Source§

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type-based access to context intended for error reports. Read more
Source§

impl From<CompileError> for TaskLaunchError

Source§

fn from(source: CompileError) -> Self

Converts to this type from the input type.
Source§

impl From<EngineError> for TaskLaunchError

Source§

fn from(source: EngineError) -> Self

Converts to this type from the input type.
Source§

impl From<TaskLaunchError> for EnhanceApplicationError

Source§

fn from(source: TaskLaunchError) -> Self

Converts to this type from the input type.
Source§

impl From<TaskLaunchError> for TaskApplicationError

Source§

fn from(source: TaskLaunchError) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<E> ExternalError for E
where E: Into<Box<dyn Error>>,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

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

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

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

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> MaybeSend for T

Source§

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

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + 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
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + 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
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

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
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

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