Enum ExecutionFocus 

pub enum ExecutionFocus {
    AgentTurn(AgentTurnFocus),
    WorkflowController(WorkflowControllerFocus),
}

Where the operation’s control flow currently is.

GAP-1 fixes a closed transition table; the transitions themselves are implemented with the root execution work (Phase 3), and this type is what they are allowed to express:

• RootKind::Agent starts at AgentTurn { root task }. Exactly two transitions exist: when the workflow an agent started through a P1 syscall commits its start effect, focus moves to WorkflowController { workflow_id, parent_task_id: Some(agent task) }; when that workflow completes (success, failure or cancellation) and the completion commits, focus moves back to the original AgentTurn. Depth is at most 1 — workflows have no stack (§10.2), so requesting another workflow while the focus is a WorkflowController is an InvalidAuthority fault.
• RootKind::Workflow is permanently WorkflowController { root workflow, parent_task_id: None }. Agent execution inside a DAG node is a P2 child attempt and does not move the root’s focus.
• Focus only ever moves on a committed transition. There is no input — host command or otherwise — that sets it directly.

Variants

AgentTurn(AgentTurnFocus)

WorkflowController(WorkflowControllerFocus)

Implementations

impl ExecutionFocus

pub fn agent_turn(task_id: TaskId) -> Self

pub fn workflow_controller( workflow_id: WorkflowId, parent_task_id: Option<TaskId>, ) -> Self

pub fn root_kind_hint(&self) -> RootKind

The root kind this focus is only ever reachable from. A WorkflowController with a parent task is the nested case of an Agent root, so callers that need to distinguish “nested” from “root workflow” use Self::is_nested_in_agent.

pub fn is_nested_in_agent(&self) -> bool

Whether this focus is the nested workflow of an agent root — the only case in which a workflow completion must restore a parent agent rather than terminate the operation.

Trait Implementations

impl Clone for ExecutionFocus

fn clone(&self) -> ExecutionFocus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionFocus

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionFocus

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExecutionFocus

impl PartialEq for ExecutionFocus

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExecutionFocus

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 ExecutionFocus