Enum TerminateReason 

pub enum TerminateReason {
    TeardownPolicy {
        policy: TeardownPolicy,
        phase: ProcessPhase,
    },
    TtlExpired {
        ttl: String,
        elapsed: Duration,
    },
}

Why the ephemeral lifetime clock fired.

Typed image of the two reason strings the pre-lift evaluator composed inline with format!(…). Each variant carries the typed payload its Display formats against the canonical PascalCase projection of TeardownPolicy / ProcessPhase, so the operator-visible reason is read off the typed surface rather than a free-form template that could drift on a variant rename. The reason string is the deliverable the reconciler stamps onto status.message; this enum is the source of truth.

Adding a third cause (e.g. parent-cascade from a SIGKILL’d parent in the hierarchical PID model, OOM-style memory-pressure pre-emption, or a future ResourceQuota gate) lands at one variant + one [Display] arm + one TerminateReasonKind entry — exhaustively checked by the compiler AND by the per-variant truth-table tests.

Sibling closed-set lifts on the same tatara-process axis: crate::intent::IntentKind::ALL, [crate::LifetimeKind::ALL], crate::lifetime::TeardownPolicy::ALL, crate::boundary::ConditionKind::ALL, crate::phase::ProcessPhase::ALL, crate::signal::ProcessSignal::ALL.

Variants

TeardownPolicy

The Process reached a terminal-gate phase (ProcessPhase::Attested or ProcessPhase::Failed) and the ephemeral lifetime’s TeardownPolicy elected to fire on that phase.

Fields

policy: TeardownPolicy

phase: ProcessPhase

TtlExpired

The ephemeral lifetime’s TTL elapsed in a non-terminal phase. ttl carries the operator-authored humantime string verbatim (e.g. "1h", "30m") so the reason surfaces the spec field as it was written, not as it parsed. elapsed is the wall-clock distance from metadata.creation_timestamp at evaluation time.

Fields

ttl: String

elapsed: Duration

Implementations

impl TerminateReason

pub const fn kind(&self) -> TerminateReasonKind

Discriminator projection — strips the payload, yielding the closed-set kind. Used by the reason-kind sweep tests and by any future consumer that wants to group reasons by cause without pattern-matching the full payload (e.g. metrics labels, future status.conditions reason-keys).

Trait Implementations

impl Clone for TerminateReason

fn clone(&self) -> TerminateReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TerminateReason

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

Formats the value using the given formatter.

impl Display for TerminateReason

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

Formats the value using the given formatter.

impl Eq for TerminateReason

impl PartialEq for TerminateReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TerminateReason