Skip to main content

DynamicWorkflowControl

Struct DynamicWorkflowControl 

Source
pub struct DynamicWorkflowControl { /* private fields */ }
Expand description

A host-owned control handle for one dynamic workflow run.

The handle keeps the exact source, input, registry, and runtime policy needed to replay the selected run. Mutating operations first acquire the same worker lease used by DynamicWorkflowTool, then ask A3S Flow to append/drive its authoritative events. A live worker therefore remains the sole executor; a controller retries after the redacted lease state reports that the claim is busy.

Implementations§

Source§

impl DynamicWorkflowControl

Source

pub fn run_id(&self) -> &str

Return the immutable run id bound to this control handle.

Source

pub fn health(&self) -> DynamicWorkflowHealthSnapshot

Return bounded cumulative worker-claim diagnostics shared by this tool and all controls derived from it.

Source

pub async fn diagnostics(&self) -> Result<DynamicWorkflowControlDiagnostics>

Compose workflow claim counters with the optional agent-wide scheduler health snapshot. This is a read-only diagnostic view; Flow history and the worker lease remain the only authorities for workflow state.

Source

pub fn with_allowed_tools( self, allowed_tools: impl IntoIterator<Item = String>, ) -> Self

Replace the set of tools available to replayed script steps.

Source

pub fn with_limits(self, limits: DynamicWorkflowScriptLimits) -> Self

Replace the bounded script and orchestration limits used during replay.

Source

pub fn with_graph_observer(self, observer: FlowGraphObserver) -> Self

Project control-driven Flow events into a graph observer.

Source

pub fn with_task_scheduler( self, scheduler: Arc<TaskScheduler>, admit_steps_globally: bool, ) -> Self

Configure optional global admission for direct script-backed steps.

Source

pub fn with_runtime_build_compatibility( self, compatibility: RuntimeBuildCompatibility, ) -> Self

Set the runtime-build compatibility policy used by control replay.

Source

pub fn with_continuation_lease_ledger( self, ledger: Arc<dyn FlowDecisionLedger>, lease_ms: u64, ) -> Self

Use a caller-owned worker lease ledger for control operations.

Source

pub fn with_continuation_lease_ms(self, lease_ms: u64) -> Self

Change the worker lease while retaining automatic ledger selection.

Source§

impl DynamicWorkflowControl

Source

pub async fn inspect(&self) -> Result<DynamicWorkflowControlSnapshot>

Inspect the durable run and return a bounded, digest-only projection.

Source

pub async fn history(&self) -> Result<Vec<FlowEventEnvelope>>

Read the complete durable Flow history for trusted host diagnostics.

Unlike Self::inspect, this method intentionally returns persisted input and step output values. Callers should apply their own redaction policy before exposing the result outside a trusted control plane.

Source

pub async fn request_cancellation( &self, reason: Option<String>, ) -> Result<DynamicWorkflowControlSnapshot>

Request cleanup-aware durable cancellation and settle the worker lease.

A live worker keeps ownership and causes this method to return a busy error; the caller can retry after the lease expires or the worker releases it. This preserves one executor for side-effecting steps.

Source

pub async fn force_cancel( &self, reason: Option<String>, ) -> Result<DynamicWorkflowControlSnapshot>

Immediately terminate the run through Flow’s durable cancellation transition while still fencing the worker claim.

Source

pub async fn drive(&self) -> Result<DynamicWorkflowControlSnapshot>

Resume or start the bound run under the same worker fencing contract as the model-visible dynamic workflow tool.

Trait Implementations§

Source§

impl Clone for DynamicWorkflowControl

Source§

fn clone(&self) -> DynamicWorkflowControl

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

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<T> CloneToUninit for T
where T: Clone,

Source§

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

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FutureExt for T

Source§

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

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

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more
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> ParallelSend for T

Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

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

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

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

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

Source§

type Error = !

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

fn try_from(value: U) -> Result<T, !>

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