Enum Signal 

pub enum Signal {
    EvaluateGates(GateAggregate),
    AllocateBudget,
    ExecutionSucceeded,
    ExecutionFailed,
    RetryDecide(RetryOutcome),
    Cancel,
    Timeout,
    BackoffElapsed,
    OperatorTransition(JobPhase),
}

FSM driver — every legal way a Job’s phase can change. Exhaustive over the (JobPhase, Signal) cross-product per theory/SHIGOTO.md §IV.1; the advance table below enumerates every cell.

kind() + variant predicates auto-generated via gen-platform.

Variants

EvaluateGates(GateAggregate)

Re-evaluate gates for a Pending or Gated or Retrying job. The outcome (Gated / Ready / Skipped) is carried in the signal payload so the FSM stays pure — gate evaluation itself is in shigoto-gate.

AllocateBudget

Scheduler chose to start this Ready job (budget allocated).

ExecutionSucceeded

execute() returned Ok(output).

ExecutionFailed

execute() returned Err.

RetryDecide(RetryOutcome)

Retry decision after Failed. Carries whether to retry (then Retrying with backoff) or deadletter.

Cancel

Cooperative cancellation signal — Running job was told to stop. Maps to Failed (with cancellation error).

Timeout

Per-job timeout elapsed while Running. Maps to Failed (with timeout error).

BackoffElapsed

Retry backoff window elapsed; ready to re-evaluate gates.

OperatorTransition(JobPhase)

Externally-driven transition from operator action. Constrained to (WaitingForOperator → Ready|Skipped) and (Deadlettered → Pending) per §VII.3.

Implementations

impl Signal

pub const fn kind(&self) -> &'static str

Stable variant discriminant — auto-generated by #[derive(Discriminant)]. The string IS the wire identifier for metrics labels / audit-log tags / rate-limit keys; renaming an existing variant is a breaking change.

impl Signal

pub const fn is_evaluate_gates(&self) -> bool

pub const fn is_allocate_budget(&self) -> bool

pub const fn is_execution_succeeded(&self) -> bool

pub const fn is_execution_failed(&self) -> bool

pub const fn is_retry_decide(&self) -> bool

pub const fn is_cancel(&self) -> bool

pub const fn is_timeout(&self) -> bool

pub const fn is_backoff_elapsed(&self) -> bool

pub const fn is_operator_transition(&self) -> bool

impl Signal

pub fn is_operator_driven(&self) -> bool

Whether this signal originated from an operator command. Operator-driven transitions get logged with extra metadata.

Trait Implementations

impl Clone for Signal

fn clone(&self) -> Signal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Signal

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

Formats the value using the given formatter.

impl Eq for Signal

impl PartialEq for Signal

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