Enum CancelledRecord 

pub enum CancelledRecord {
    SignaledInFlight {
        task: TaskId,
        exit_status: ExitStatus,
        stdout_hash: [u8; 32],
        stderr_hash: [u8; 32],
    },
    UpstreamCancelled {
        task: TaskId,
        upstream: TaskId,
    },
    RunCancelled {
        task: TaskId,
    },
}

Record of a task that ended in the executor-initiated cancelled state per EXEC-009 / EXEC-013.

The three variants distinguish the three structural shapes a cancellation can take in the run-graph view:

• Self::SignaledInFlight is the only shape a single-task spawn-step future can produce: the cancellation token fired while the child was running, and the executor sent SIGTERM (and possibly SIGKILL after EXEC-014’s grace period).
• Self::UpstreamCancelled is the cascade counterpart to SkipCause::UpstreamFailed: a hard descendant of a cancelled task is itself cancelled. upstream carries the root cancelled task, not the immediate hard predecessor (same root-cause attribution as SkipRecord).
• Self::RunCancelled covers tasks that were still in state.ready (or whose lookup-step was in flight) when the scheduler observed the cancellation signal and drained the admission front. These tasks never made it to the spawn step; no process was started or signalled.

Variants

SignaledInFlight

The task was admitted, spawned, and signalled by the executor in response to the cancellation token firing. exit_status records the child’s exit (typically signal-terminated, but a polite child may exit cleanly after SIGTERM); the captured stream hashes are present for diagnostic purposes even though EXEC-015 blocks the cache store.

Fields

task: TaskId

The task that was signalled.

exit_status: ExitStatus

The child’s exit status after the signal flow ran to completion.

stdout_hash: [u8; 32]

Hash of captured stdout under the cache’s HashAlgo, for diagnostic / predecessor-streams use.

stderr_hash: [u8; 32]

Hash of captured stderr under the cache’s HashAlgo, for diagnostic / predecessor-streams use.

UpstreamCancelled

The task was cascade-cancelled because a transitively- upstream task entered the cancelled state. Mirrors SkipCause::UpstreamFailed for the cancellation flow.

Fields

task: TaskId

The task that was cascade-cancelled.

upstream: TaskId

The root cancelled task that triggered the cascade.

RunCancelled

The task was in state.ready (or its lookup-step was in flight) when the scheduler observed the cancellation signal. No process was spawned; the task simply never entered the spawn-step pipeline.

Fields

task: TaskId

The task whose admission was drained on cancel.

Implementations

impl CancelledRecord

pub fn task(&self) -> &TaskId

The task this record describes, available on every variant.

Trait Implementations

impl Clone for CancelledRecord

fn clone(&self) -> CancelledRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CancelledRecord

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

Formats the value using the given formatter.

impl PartialEq for CancelledRecord

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

impl StructuralPartialEq for CancelledRecord