tatara_process/

lifetime.rs

//! Process lifetime — Permanent (re-converging) vs Ephemeral (auto-SIGTERM
//! on Attested / TTL / Failed).
//!
//! The wire shape follows the same "exactly-one-optional-field" pattern as
//! `Intent` — one tagged-union idiom across the typescape.
//!
//! Lisp authoring:
//! ```lisp
//! :lifetime (:permanent)
//! :lifetime (:ephemeral :ttl "1h"
//!                       :teardown OnAttested
//!                       :max-concurrent 1)
//! ```
//!
//! Default = `Permanent` — every existing Process keeps its current behavior.

use schemars::JsonSchema;
use serde::{Deserialize, Serialize};

use crate::export::{ExportSpec, ExportSpecSliceExt};
use crate::phase::ProcessPhase;

/// Lifetime slot on `ProcessSpec`. Exactly one variant should be populated;
/// when both are unset the resolver returns `Permanent`.
#[derive(Clone, Debug, Default, Serialize, Deserialize, JsonSchema)]
#[serde(rename_all = "camelCase")]
pub struct Lifetime {
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub permanent: Option<PermanentLifetime>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub ephemeral: Option<EphemeralLifetime>,
}

/// Resolved enum view used by the reconciler.
#[derive(Clone, Debug)]
pub enum LifetimeVariant<'a> {
    Permanent(&'a PermanentLifetime),
    Ephemeral(&'a EphemeralLifetime),
}

impl LifetimeVariant<'_> {
    /// Reverse projection — every borrowed variant knows its
    /// `LifetimeKind` discriminator. Pairs with `LifetimeKind::select`
    /// so `LifetimeKind::select(lifetime).map(|v| v.kind())` round-trips
    /// the closed set on the populated side; pinned by
    /// `lifetime_kind_round_trips_through_variant_kind` locally + the
    /// substrate trait [`crate::tagged_union::VariantKind`] shared with
    /// every sibling borrowed-view enum. The impl below delegates to
    /// this body as the ground-truth arm-to-Kind mapping.
    pub fn kind(&self) -> LifetimeKind {
        match self {
            Self::Permanent(_) => LifetimeKind::Permanent,
            Self::Ephemeral(_) => LifetimeKind::Ephemeral,
        }
    }

    /// Projection to the inner `EphemeralLifetime` iff this variant is
    /// `Ephemeral`. ONE site owns the "give me only the ephemeral case"
    /// shape every consumer of the lifetime clock previously hand-rolled
    /// via `let Ok(LifetimeVariant::Ephemeral(e)) = ...`; pinned by
    /// `lifetime_variant_as_ephemeral_returns_inner_only_for_ephemeral`.
    pub fn as_ephemeral(&self) -> Option<&EphemeralLifetime> {
        match self {
            Self::Ephemeral(e) => Some(e),
            Self::Permanent(_) => None,
        }
    }

    /// Projection to the inner `PermanentLifetime` iff this variant is
    /// `Permanent`. Symmetric counterpart to [`Self::as_ephemeral`].
    pub fn as_permanent(&self) -> Option<&PermanentLifetime> {
        match self {
            Self::Permanent(p) => Some(p),
            Self::Ephemeral(_) => None,
        }
    }
}

impl crate::tagged_union::VariantKind<LifetimeKind> for LifetimeVariant<'_> {
    fn variant_kind(&self) -> LifetimeKind {
        self.kind()
    }
}

/// Closed-set discriminator over `Lifetime`'s two tagged-union slots.
/// Single source of truth that drives `Lifetime::variant`'s ambiguity
/// resolver, the reverse `LifetimeVariant::kind` projection, and any
/// `select`-style routing. Adding a third lifetime variant (e.g. a
/// future `Burst` slot for budget-capped non-TTL lifetimes) lands at
/// one `ALL` entry + one `as_str` arm + one `select` arm + one
/// `LifetimeVariant::kind` arm — exhaustively checked by the compiler.
///
/// Sibling closed-set lift to [`crate::intent::IntentKind`] on the
/// same `ProcessSpec` axis. Same shape, smaller closed set, same
/// compounding pattern. Adopts `#[derive(DeriveClosedSet)]` +
/// `#[closed_set(via = "as_str", generate_unknown, display)]` so
/// [`tatara_closed_set::ClosedSet`], [`std::fmt::Display`],
/// [`std::str::FromStr`], and the [`UnknownLifetimeKind`] carrier
/// all emerge from ONE derive on the substrate-wide shape every
/// sibling closed-set discriminator across the crate publishes —
/// no hand-rolled `impl` blocks, no drift-risk between the four
/// projections. The parent `Lifetime` doesn't impl
/// [`crate::tagged_union::TaggedUnion`] (empty resolves to
/// `Permanent(&DEFAULT_PERMANENT)`, not to an error), so the
/// `TaggedUnion`-bound substrate primitives don't reach it; the
/// closed-set-bound peer
/// [`crate::tagged_union::assert_wire_key_matches_label`] does.
#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash, tatara_closed_set::DeriveClosedSet)]
#[closed_set(via = "as_str", generate_unknown, display)]
pub enum LifetimeKind {
    Permanent,
    Ephemeral,
}

impl LifetimeKind {
    /// The closed set of lifetime kinds — single source of truth that
    /// drives `Lifetime::variant`'s sweep so a variant added without
    /// an `ALL` entry never reaches the resolver.
    pub const ALL: [Self; 2] = [Self::Permanent, Self::Ephemeral];

    /// Canonical lower-case wire-format key — matches the serde
    /// `rename_all = "camelCase"` field name on `Lifetime`. Pinned by
    /// `lifetime_kind_as_str_matches_lifetime_field_name`.
    pub const fn as_str(self) -> &'static str {
        match self {
            Self::Permanent => "permanent",
            Self::Ephemeral => "ephemeral",
        }
    }

    /// Project a `Lifetime` borrow into the optional typed variant view
    /// for this kind. Returns `None` iff the matching slot is `None`.
    /// Composes the closed-set sweep `Lifetime::variant` loops over.
    pub fn select<'a>(self, lifetime: &'a Lifetime) -> Option<LifetimeVariant<'a>> {
        match self {
            Self::Permanent => lifetime.permanent.as_ref().map(LifetimeVariant::Permanent),
            Self::Ephemeral => lifetime.ephemeral.as_ref().map(LifetimeVariant::Ephemeral),
        }
    }
}

#[derive(Clone, Copy, Debug, thiserror::Error, PartialEq, Eq)]
pub enum LifetimeError {
    #[error("lifetime has multiple variants set; at most one required")]
    Ambiguous,
}

impl Lifetime {
    /// True when no variant is set — treated as `Permanent` by the resolver.
    pub fn is_default(&self) -> bool {
        self.permanent.is_none() && self.ephemeral.is_none()
    }

    /// Permanent-only [`Lifetime`] — the `permanent` slot is populated with
    /// the zero-sized [`PermanentLifetime`] marker and the `ephemeral` slot
    /// is `None`. Peer of [`Self::ephemeral`] on the `LifetimeKind` closed
    /// set; the two composers between them cover every non-ambiguous
    /// non-empty corner of the two-slot tagged-union wire shape.
    ///
    /// Pre-lift the 4-token `Lifetime { permanent: Some(PermanentLifetime
    /// {}), ephemeral: None }` (equivalently `Lifetime { permanent:
    /// Some(PermanentLifetime {}), ..Lifetime::default() }`) fixture
    /// literal was hand-authored at FOUR workspace-wide sites past the
    /// ★★ PRIME-DIRECTIVE ≥ 2 duplication threshold:
    ///
    /// * [`crate::crd::tests::permanent_only_process`] — `Process` fixture
    ///   with the permanent-only lifetime slot for the `resolved_ephemeral`
    ///   projection test matrix.
    /// * [`tests::resolved_ephemeral_projects_only_the_unambiguous_ephemeral_slot`]
    ///   — the "Permanent-only" branch of the same matrix in this module.
    /// * [`tests::single_slot_lifetime`] — closed-set helper's `Permanent`
    ///   arm, shared across property tests that walk `LifetimeKind::ALL`.
    /// * `tatara-pool-reconciler::controller_pool::process_from_template`
    ///   — production seed of a pool-member Process's lifetime slot on the
    ///   fork path (Pool member starts Permanent; allocation flips it).
    ///
    /// Post-lift every callsite reads `Lifetime::permanent()` and the
    /// substrate owns the shape. A future normalization (a warn-log on
    /// callers that construct a permanent-only lifetime past a hardening
    /// window, an audit trail that stamps a compile-generation onto the
    /// zero-sized `PermanentLifetime`, or a deprecation of the empty
    /// marker in favor of a richer permanent variant) lands at THIS ONE
    /// substrate function and every downstream consumer inherits the
    /// upgrade mechanically.
    ///
    /// The ambiguous corner (both `permanent` AND `ephemeral` set) is
    /// deliberately NOT reachable through this composer — the composer's
    /// contract is "the resolver picks `Permanent`", and an ambiguous
    /// `Lifetime` resolves to [`LifetimeError::Ambiguous`], not to
    /// `Permanent`. Tests that exercise the ambiguous corner (e.g.
    /// [`crate::crd::tests::ambiguous_lifetime_process`],
    /// [`tests::ambiguous_lifetime_errors`]) stay hand-authored as
    /// struct literals — they need to violate the "exactly one slot"
    /// invariant this composer preserves.
    ///
    /// Sibling composer: [`Self::ephemeral`] on the `Ephemeral` arm of
    /// the same `LifetimeKind` closed set.
    ///
    /// Theory anchor: THEORY.md §VI.1 (generation over composition —
    /// the `Lifetime { permanent: Some(PermanentLifetime {}), .. }`
    /// shape recurred at four hand-authored sites past the ★★
    /// PRIME-DIRECTIVE ≥ 2 duplication trigger, and is lifted to ONE
    /// owner here). THEORY.md §II.1 invariant 5 (composition preserves
    /// proofs — the pins bind the resolved-variant corner AND the
    /// discriminator kind AND the round-trip through [`Self::variant`]
    /// so a regression that drifted any surface fails at
    /// `tests::permanent_composer_*` here rather than as silent
    /// operator-facing skew between the fork-path production seed and
    /// the test-side fixture literals).
    #[must_use]
    pub fn permanent() -> Self {
        Self {
            permanent: Some(PermanentLifetime {}),
            ephemeral: None,
        }
    }

    /// Ephemeral-only [`Lifetime`] — the `ephemeral` slot is populated
    /// with the supplied [`EphemeralLifetime`] and the `permanent` slot
    /// is `None`. Peer of [`Self::permanent`] on the `LifetimeKind`
    /// closed set.
    ///
    /// Pre-lift the 4-token `Lifetime { permanent: None, ephemeral:
    /// Some(<e>) }` (equivalently `Lifetime { ephemeral: Some(<e>),
    /// ..Lifetime::default() }`) fixture literal was hand-authored at
    /// ELEVEN+ workspace-wide sites past the ★★ PRIME-DIRECTIVE ≥ 2
    /// duplication threshold, split across production seeds
    /// (`tatara-process::ephemeral::From<EphemeralSpec> for ProcessSpec`
    /// — the `(defephemeral …)` Lisp form's typed lowering;
    /// `tatara-pool-reconciler::controller_allocation` — the allocator
    /// Bind arm flipping a pool-member Process from Permanent to
    /// Ephemeral with the requestor's TTL) and test fixtures across
    /// [`crate::crd`], [`crate::lifetime_clock`], this module,
    /// `tatara-pool-reconciler`, and `tatara-reconciler::render`.
    ///
    /// Post-lift every callsite reads `Lifetime::ephemeral(<e>)` and
    /// the substrate owns the shape. A future normalization (a
    /// per-fleet TTL floor stamp before storing the inner
    /// `EphemeralLifetime`, an audit trail that records the composed
    /// lifetime's provenance, a shared warn on empty `exports` at
    /// Attested-terminal phases) lands at THIS ONE substrate function
    /// and every downstream consumer inherits the upgrade mechanically.
    ///
    /// Return-form axis: takes an owned [`EphemeralLifetime`] rather
    /// than a `&EphemeralLifetime`, matching every current caller
    /// (each constructs the inner `EphemeralLifetime` directly at the
    /// call site as a rvalue-shape struct literal, then hands it to
    /// the composer).
    ///
    /// The ambiguous corner (both slots set) is NOT reachable through
    /// this composer — see [`Self::permanent`]'s docs for the parity
    /// with the peer + the rationale for keeping ambiguous-corner
    /// tests as hand-authored struct literals.
    ///
    /// Sibling composer: [`Self::permanent`] on the `Permanent` arm of
    /// the same `LifetimeKind` closed set.
    ///
    /// Theory anchor: same as [`Self::permanent`] — THEORY.md §VI.1
    /// (generation over composition) + §II.1 invariant 5 (composition
    /// preserves proofs).
    #[must_use]
    pub fn ephemeral(e: EphemeralLifetime) -> Self {
        Self {
            permanent: None,
            ephemeral: Some(e),
        }
    }

    /// Resolve to a variant view. Empty resolves to `Permanent` (a static
    /// borrow on the embedded `DEFAULT_PERMANENT`); ambiguous (both set) is
    /// an error.
    ///
    /// Sweeps over `LifetimeKind::ALL` so a third variant added with an
    /// `ALL` entry is structurally honored at this site — no parallel
    /// `is_some()` count, no per-variant if-let chain.
    pub fn variant(&self) -> Result<LifetimeVariant<'_>, LifetimeError> {
        use crate::tagged_union::{resolve, ResolveError};
        match resolve(LifetimeKind::ALL.into_iter().map(|k| k.select(self))) {
            Ok(v) => Ok(v),
            Err(ResolveError::None) => Ok(LifetimeVariant::Permanent(&DEFAULT_PERMANENT)),
            Err(ResolveError::Many) => Err(LifetimeError::Ambiguous),
        }
    }

    /// Closed-set-driven presence probe — does this [`Lifetime`] carry a
    /// populated slot addressed by the given [`LifetimeKind`]
    /// discriminator? The inherent peer of
    /// [`crate::tagged_union::TaggedUnion::has`] on the
    /// closed-set-driven presence-probe axis.
    ///
    /// # Why an inherent method
    ///
    /// [`Lifetime`] deliberately does NOT impl [`crate::tagged_union::TaggedUnion`]
    /// — its resolver returns `Ok(Permanent(&DEFAULT_PERMANENT))` on the
    /// empty (no-slot-populated) input rather than the trait's
    /// [`crate::tagged_union::TaggedUnionError::empty`] carrier, so the
    /// trait's `<T: TaggedUnion>::has` default body is unreachable
    /// through the trait boundary. This inherent method mirrors the
    /// trait's default body verbatim (`kind.select(self).is_some()`) so
    /// every closed-set-driven presence-probe dispatch table (a
    /// `lifetime-<kind>` require-tag sweep in tatara-check parallel to
    /// the `intent-<kind>` family, a future audit binary enumerating
    /// Processes by lifetime kind, a fleet-side migration sweep that
    /// picks up a new `LifetimeKind::Burst` variant automatically) binds
    /// through the SAME shape both `Lifetime` and every `TaggedUnion`
    /// implementor on `ProcessSpec` publish.
    ///
    /// # Semantics — POPULATED slot, not RESOLVED variant
    ///
    /// `has(kind)` returns `true` iff the field addressed by `kind` on
    /// this [`Lifetime`] is `Some(_)`. This is byte-identical to the
    /// pre-lift `self.<field>.is_some()` shape [`Self::is_ephemeral`]
    /// walked, and matches [`crate::intent::Intent::has`]'s semantics
    /// on `ProcessSpec`.
    ///
    /// A [`Lifetime`] with both slots [`None`] returns `false` for
    /// EVERY [`LifetimeKind`] — even though [`Self::variant`] would
    /// resolve it to `Ok(Permanent)` via the default fallback. The two
    /// probes answer distinct questions: `has(Permanent)` asks "is the
    /// permanent slot populated" (write-side spec detail);
    /// `variant().ok().map(|v| v.kind()) == Some(Permanent)` asks "does
    /// the resolver pick Permanent" (read-side operational answer). A
    /// caller that wants the latter composes it through [`Self::variant`]
    /// directly.
    ///
    /// # `LifetimeKind::select`
    ///
    /// Delegates through [`LifetimeKind::select`] so a new variant
    /// added to the closed set (e.g. `Burst` for budget-capped non-TTL
    /// lifetimes) reaches this probe through the SAME closed-set-driven
    /// dispatch as every other consumer that walks
    /// [`LifetimeKind::ALL`]. Rustc's exhaustiveness check on
    /// [`LifetimeKind::select`]'s match forces the new arm at ONE site
    /// and this probe picks up the new variant mechanically without
    /// per-caller edit.
    ///
    /// # Sibling to [`crate::intent::Intent::has`]
    ///
    /// Same shape, same axis, same body on the sibling closed-set
    /// discriminator [`crate::intent::IntentKind`]. `Intent::has` is
    /// macro-emitted through [`crate::declare_tagged_union_impls!`] on
    /// the trait-implementor path; this method is hand-authored on the
    /// non-trait-implementor path with the byte-identical body. A future
    /// unification (a trait for closed-set-driven presence probes that
    /// admits BOTH the resolver-defaulting and error-carrier flavors)
    /// lands as ONE peer trait alongside [`crate::tagged_union::TaggedUnion`]
    /// with both sites picking up the trait default in lockstep.
    ///
    /// Theory anchor: THEORY.md §II.1 invariant 5 (composition preserves
    /// proofs — the presence-probe body lives at ONE substrate site so
    /// every downstream `<xxx>-<kind>` requires-tag surface, closed-set
    /// audit dispatcher, and future variant addition binds through the
    /// SAME shape). THEORY.md §VI.1 (generation over composition — a
    /// third [`LifetimeKind`] variant lands at ONE `ALL` + ONE
    /// [`LifetimeKind::select`] arm and the presence probe picks it
    /// up mechanically without further per-consumer edits).
    #[must_use]
    pub fn has(&self, kind: LifetimeKind) -> bool {
        kind.select(self).is_some()
    }

    /// True iff `ephemeral` is set.
    ///
    /// Delegates through [`Self::has`] so the (POPULATED slot, closed-
    /// set discriminator) shape lives at ONE substrate primitive on
    /// [`Lifetime`]. Pre-lift the body was the direct `self.ephemeral
    /// .is_some()` slot probe; post-lift the body composes the closed-
    /// set-driven `has(LifetimeKind::Ephemeral)` primitive so a future
    /// normalization at the presence-probe shape (a widened return
    /// carrying the resolver's variant on the populated path, a
    /// debug-build assertion that the caller hasn't stamped both slots,
    /// a per-fleet warn on ambiguous lifetime specs) lands at ONE site
    /// and this inherent forwarder + every other `has(kind)` consumer
    /// picks up the shift mechanically.
    #[must_use]
    pub fn is_ephemeral(&self) -> bool {
        self.has(LifetimeKind::Ephemeral)
    }

    /// Compound projection: `Some(&e)` iff [`Self::variant`] resolves
    /// unambiguously to `Ephemeral(e)`; `None` for every other outcome
    /// (empty → `Permanent` default, `Permanent` slot only, or
    /// [`LifetimeError::Ambiguous`] when BOTH slots are set).
    ///
    /// The ambiguous case is deliberately collapsed to `None`: an
    /// operator-authored spec with both `permanent:` and `ephemeral:`
    /// populated is a mis-configuration, and every production consumer
    /// of the pair [`crate::lifetime_clock::evaluate`] +
    /// [`crate::lifetime_clock::requeue_with_ttl`] previously
    /// hand-rolled the SAME two-step projection
    /// (`variant().ok()?.as_ephemeral()`) whose Err-arm and
    /// Permanent-arm both fell through to the same "no ephemeral
    /// action" outcome (`AutoTerminate::Skip` / `default` requeue).
    /// Lifting that chained collapse to ONE substrate primitive puts
    /// "the ephemeral spec now, iff the resolver picked it" behind a
    /// single call site and closes the possibility of a per-consumer
    /// drift where one branch honors ambiguity and the other doesn't.
    ///
    /// A future third variant added to `Lifetime` (e.g. `Burst` for
    /// budget-capped non-TTL lifetimes) reaches this projection
    /// through the SAME [`Self::variant`] resolver + the SAME
    /// [`LifetimeVariant::as_ephemeral`] discriminator, so the
    /// ephemeral-only projection stays intact without a new arm here.
    ///
    /// Pinned by
    /// `resolved_ephemeral_projects_only_the_unambiguous_ephemeral_slot`.
    pub fn resolved_ephemeral(&self) -> Option<&EphemeralLifetime> {
        // Pattern-match on the owned `LifetimeVariant` (not
        // `variant.as_ephemeral()`) so the returned borrow carries the
        // resolver's `'_self` lifetime through directly instead of the
        // shorter borrow `as_ephemeral(&self)` synthesizes on the
        // temporary variant. Symmetric peer discriminator arm
        // `LifetimeVariant::as_ephemeral` still owns the closed-set
        // projection for consumers that hold the variant by borrow;
        // this projection is the compound-lift entry point for
        // consumers whose call graph starts from `&Lifetime`.
        match self.variant().ok()? {
            LifetimeVariant::Ephemeral(e) => Some(e),
            LifetimeVariant::Permanent(_) => None,
        }
    }

    /// Declared exports on this Lifetime — the `exports` vec on the
    /// resolved [`EphemeralLifetime`] variant, or the empty slice
    /// (`&[]`) when the resolver picks `Permanent`, the default (both
    /// slots unset → `Permanent`), or the ambiguous corner (both slots
    /// set → [`LifetimeError::Ambiguous`]).
    ///
    /// # Why lift
    ///
    /// The point-domain require-tag classifier in
    /// `tatara-reconciler::bin::tatara-check` composed the SAME
    /// two-step chain (`spec.lifetime.resolved_ephemeral().is_some_and(
    /// |e| e.exports.<slice-primitive>(k))`) at SIX consecutive rows in
    /// [`evaluate_point_require_tag`]'s prefix table
    /// (`export-when-` → [`ExportSpecSliceExt::has_when`], `channel-`
    /// → [`ExportSpecSliceExt::has_channel_kind`], `report-format-`
    /// → [`ExportSpecSliceExt::has_report_format`], `artifact-`
    /// → [`ExportSpecSliceExt::has_artifact_kind`],
    /// `report-payload-shape-`
    /// → [`ExportSpecSliceExt::has_report_payload_shape`],
    /// `exports-fire-on-`
    /// → [`ExportSpecSliceExt::has_applicable_at`]). Six restatements
    /// of the ONE Option-carrier collapse past the ★★ PRIME-DIRECTIVE
    /// ≥ 2 duplication threshold — post-lift ONE substrate primitive
    /// owns the `(Lifetime → resolved ephemeral → exports slice OR
    /// empty)` compound projection, and every current + future
    /// slice-level probe on [`ExportSpec`] plugs into it through the
    /// SAME [`ExportSpecSliceExt`] trait shape without a bespoke
    /// Option-arm at the caller.
    ///
    /// # Semantics vs. the pre-lift chain
    ///
    /// `.is_some_and(|e| e.exports.<f>(k))` returns `false` on the
    /// three "no ephemeral" outcomes (Permanent, default, Ambiguous)
    /// AND on the "ephemeral with no matching export" outcome. The
    /// lifted projection returns `&[]` on the three "no ephemeral"
    /// outcomes and the actual slice on the Ephemeral outcome; each
    /// [`ExportSpecSliceExt`] method returns `false` on `&[]` via
    /// `.iter().any(...)`. The composition is therefore observationally
    /// equivalent to the pre-lift chain at every callsite.
    ///
    /// A future third [`Lifetime`] variant carrying its own `exports`
    /// slot (or an `Ambiguous` corner promoted to project the
    /// ephemeral half instead of collapsing to `None`) lands at ONE
    /// arm here — every downstream `export-*` require-tag family
    /// picks it up mechanically, with no per-caller edit.
    ///
    /// # Peer to [`Self::resolved_ephemeral`]
    ///
    /// Both compose against the SAME [`Self::variant`] resolver; this
    /// primitive is the specialization for the `exports`-only walk
    /// (skips the `TTL` / `teardown_policy` / `max_concurrent` slots
    /// the peer projection exposes), returning the slice directly so
    /// consumers whose call graph terminates on
    /// [`ExportSpecSliceExt`] compose without an intermediate
    /// `.is_some_and(...)` step.
    ///
    /// Theory anchor: THEORY.md §II.1 invariant 5 (composition
    /// preserves proofs — the Option-carrier collapse lives at ONE
    /// substrate site so every downstream `export-<kind>` require-tag
    /// family binds through the SAME shape). THEORY.md §VI.1
    /// (generation over composition — a new slice-level probe on
    /// [`ExportSpec`] reaches this projection through the SAME
    /// trait-method shape without a bespoke Option-arm at the caller).
    ///
    /// Pinned by
    /// [`tests::ephemeral_exports_returns_empty_slice_on_permanent_default_and_ambiguous_lifetime`],
    /// [`tests::ephemeral_exports_returns_declared_exports_slice_on_ephemeral_lifetime`],
    /// and
    /// [`tests::ephemeral_exports_slice_matches_resolved_ephemeral_exports_pointer_when_present`].
    #[must_use]
    pub fn ephemeral_exports(&self) -> &[ExportSpec] {
        match self.resolved_ephemeral() {
            Some(e) => e.exports.as_slice(),
            None => &[],
        }
    }
}

const DEFAULT_PERMANENT: PermanentLifetime = PermanentLifetime {};

/// Permanent lifetime — the existing Process behavior. SIGHUP re-converges;
/// SIGTERM terminates only on explicit operator action.
#[derive(Clone, Copy, Debug, Default, Serialize, Deserialize, JsonSchema)]
#[serde(rename_all = "camelCase")]
pub struct PermanentLifetime {}

/// Ephemeral lifetime — Process auto-terminates per `teardown_policy`.
///
/// Phase semantics:
/// - On `Attested` with `teardown_policy ∈ {OnAttested, Always}`:
///   reconciler delivers SIGTERM, Process drives Exiting → Zombie → Reaped.
/// - On `Failed`  with `teardown_policy ∈ {OnFailed,   Always}`:
///   same. Otherwise Process stays at Failed for forensic inspection.
/// - `ttl` is a `humantime` duration (`"1h"`, `"30m"`) checked at every
///   reconcile loop tick. TTL expiry while in any non-terminal phase
///   forces SIGTERM regardless of `teardown_policy`.
#[derive(Clone, Debug, Serialize, Deserialize, JsonSchema)]
#[serde(rename_all = "camelCase")]
pub struct EphemeralLifetime {
    /// `humantime`-parseable duration from `phaseSince(Forking)` after
    /// which the Process is force-SIGTERM'd.
    #[serde(default = "default_ephemeral_ttl")]
    pub ttl: String,

    /// When the Process auto-terminates.
    #[serde(default)]
    pub teardown_policy: TeardownPolicy,

    /// Cluster-wide concurrency budget across ephemeral Processes that
    /// share the same `spec.identity.name_override` / chart_ref.
    /// `0` = no cap. Enforced by the reconciler before transitioning out
    /// of `Pending`.
    #[serde(default = "default_ephemeral_max_concurrent")]
    pub max_concurrent: u32,

    /// Declared exports — what artifacts survive teardown and where
    /// they flow. Empty (default) = nothing survives, matching the
    /// "ephemeral leaves no trace" posture. Each `ExportSpec` is
    /// independently triggered during the reconciler's `Releasing`
    /// phase against the terminal `ProcessPhase` reached.
    ///
    /// See [`crate::export`] for the full type. All exports flow
    /// through the pleme-io Vector + NATS layer — there is no
    /// per-spec ad-hoc sink.
    #[serde(default, skip_serializing_if = "Vec::is_empty")]
    pub exports: Vec<ExportSpec>,
}

impl EphemeralLifetime {
    /// The [`humantime`]-parsed `self.ttl` duration, or `None` if the
    /// operator-authored `ttl` string doesn't parse — the one-line
    /// collapse of the `humantime::parse_duration(&<eph>.ttl).ok()`
    /// chain lifted to ONE typed owner past the ★★ PRIME-DIRECTIVE
    /// ≥ 2 duplication threshold.
    ///
    /// Pre-lift the SAME chain was hand-authored at TWO workspace-wide
    /// consumer sites in [`crate::lifetime_clock`], both walking
    /// `humantime::parse_duration(&<ephemeral>.ttl)` on an
    /// `&EphemeralLifetime` and discarding the parse-error arm to the
    /// downstream "skip the timed decision" branch:
    ///
    /// * [`crate::lifetime_clock::evaluate`] — the TTL-expiry gate.
    ///   Reads `if let Ok(ttl) = humantime::parse_duration(&ephemeral
    ///   .ttl) { … }` inside the non-terminal-phase guard, comparing
    ///   the parsed `Duration` against the wall-clock elapsed distance
    ///   from `metadata.creation_timestamp` to fire
    ///   `AutoTerminate::Now { TtlExpired }`.
    /// * [`crate::lifetime_clock::requeue_with_ttl`] — the sleep-
    ///   budget picker for the reconciler's next requeue. Reads
    ///   `let Ok(ttl) = humantime::parse_duration(&e.ttl) else {
    ///   return default; };` and short-circuits to the caller's
    ///   `default` sleep budget on parse failure.
    ///
    /// Both sites walked the SAME `humantime::parse_duration(&<eph>
    /// .ttl)` chain and both wanted the Option-shape (the `Ok` arm as
    /// the parsed `Duration`, the `Err` arm collapsed to the
    /// downstream skip-branch). Post-lift each caller reaches for
    /// `<eph>.ttl_duration()` and applies its own tail at its own
    /// site (`if let Some(ttl) = …` for the guard, `let Some(ttl) =
    /// … else { return default; }` for the sleep-budget picker).
    ///
    /// Return-form axis: `Option<std::time::Duration>` matches the
    /// downstream comparator's type. The peer projection
    /// [`crate::time::elapsed_since`] returns the SAME
    /// `Option<std::time::Duration>` shape, so the TTL-expiry gate's
    /// `elapsed >= ttl` comparator and the sleep-budget picker's
    /// `ttl.checked_sub(elapsed)` subtraction each land with both
    /// operands on the same axis, no per-consumer conversion.
    ///
    /// The `None` arm is the "operator's ttl string doesn't parse"
    /// corner — a typo (`"1our"`), an unsupported unit, a
    /// non-humantime literal that reached the field. Every consumer
    /// interprets the corner as "no ttl data → don't fire the timed
    /// decision" — [`crate::lifetime_clock::evaluate`] skips the
    /// `AutoTerminate::Now` branch, [`crate::lifetime_clock::
    /// requeue_with_ttl`] returns the caller's `default` sleep
    /// budget. The pins below bind that shape.
    ///
    /// A future normalization (a per-fleet minimum TTL floor before
    /// the humantime cast, a canonical unit-normalization pass, a
    /// warn-log on unparseable strings) lands at THIS ONE substrate
    /// primitive and every downstream ephemeral-TTL consumer inherits
    /// the upgrade mechanically — no per-site edit at either of the
    /// TWO listed callers or at future consumers (an allocation-TTL
    /// remaining-budget picker, a pool free-TTL floor gate, a
    /// stable-name claim-arbiter max-age tie-break).
    ///
    /// Sibling substrate primitive on the same
    /// `(humantime string × Option<Duration>) → Option<Duration>`
    /// axis: [`crate::time::elapsed_since`] — the `(now, anchor) →
    /// Option<Duration>` peer that every timed-decision gate
    /// composes with THIS primitive to produce an `elapsed >= ttl` /
    /// `ttl.checked_sub(elapsed)` comparison.
    ///
    /// Theory anchor: THEORY.md §VI.1 (generation over composition —
    /// the `humantime::parse_duration(&<eph>.ttl).ok()` chain recurred
    /// at two hand-authored sites past the ★★ PRIME-DIRECTIVE ≥ 2
    /// duplication trigger, and is lifted to ONE owner here).
    /// THEORY.md §II.1 invariant 5 (composition preserves proofs —
    /// the pins bind the parse-failure corner AND the empty-ttl corner
    /// AND the humantime edge shapes AND the return-form parity with
    /// [`crate::time::elapsed_since`], so a regression that drifts any
    /// surface fails at `tests::ttl_duration_*` here rather than as
    /// silent operator-facing skew between the TTL-expiry gate and
    /// the sleep-budget picker on the SAME EphemeralLifetime).
    #[must_use]
    pub fn ttl_duration(&self) -> Option<std::time::Duration> {
        humantime::parse_duration(&self.ttl).ok()
    }

    /// True iff any declared export's [`crate::export::ExportTrigger`]
    /// fires for the given terminal-reached phase. The reconciler
    /// uses this to decide whether to route `Attested`/`Failed`
    /// through `Releasing` (the export window) or skip straight to
    /// `Exiting`/`Zombie`.
    ///
    /// Returns `false` when the export list is empty or no trigger
    /// matches — both cases collapse to the existing teardown path.
    ///
    /// Thin delegate to [`ExportSpecSliceExt::has_applicable_at`] on
    /// `self.exports`. Both callers (this method and the peer
    /// [`crate::ephemeral::EphemeralSpec::has_applicable_exports_at`]
    /// on the sugar surface) route through the SAME slice-level
    /// substrate primitive so a future normalization at the compound
    /// `(when, phase) → fires_on(phase)` walk lands at ONE site.
    pub fn has_applicable_exports(&self, phase: ProcessPhase) -> bool {
        self.exports.has_applicable_at(phase)
    }

    /// Iterate over the exports whose trigger fires on `phase`.
    /// The reconciler's `handle_releasing` consumes this to emit
    /// one tatara-export-worker Job per surviving spec.
    pub fn applicable_exports(
        &self,
        phase: ProcessPhase,
    ) -> impl Iterator<Item = &ExportSpec> + '_ {
        self.exports.iter().filter(move |e| e.when.fires_on(phase))
    }

    /// Scalar-carrier presence probe on the defaulted `teardown_policy`
    /// slot — `true` iff this ephemeral lifetime carries the queried
    /// [`TeardownPolicy`] variant. The one-line collapse of the
    /// `<eph>.teardown_policy == kind` closure body lifted to ONE
    /// substrate owner past the ★★ PRIME-DIRECTIVE ≥ 2 duplication
    /// threshold — the eighteenth closed-set-driven prefix family in
    /// [`tatara-check`]'s point-domain require-tag classifier
    /// (`teardown-policy-<kind>`) is the first workspace-wide consumer,
    /// but the shape is a peer of [`crate::spec::SignalPolicy::has_sighup_strategy`]
    /// on the SAME `(defaulted-scalar-field, closed-set-discriminator) → bool`
    /// axis with the parent reached through the compound
    /// [`Lifetime::resolved_ephemeral`] Option-hop.
    ///
    /// # Sibling scalar-carrier probes
    ///
    /// * [`crate::spec::SignalPolicy::has_sighup_strategy`] — required
    ///   parent × defaulted scalar child (`SignalPolicy` is always
    ///   present on `ProcessSpec`; `sighup_strategy` defaults to
    ///   `SighupStrategy::Reconverge`).
    /// * [`crate::classification::Classification::has_calm`] and
    ///   [`crate::classification::Classification::has_data_classification`]
    ///   — required parent × defaulted scalar child on the six-axis
    ///   classification lattice.
    /// * THIS — Option parent (`resolved_ephemeral()` may return `None`
    ///   on a `Permanent` lifetime or an ambiguous `Lifetime`) ×
    ///   defaulted scalar child ([`TeardownPolicy`] defaults to
    ///   `Always`). Opens the (Option-parent × defaulted-scalar-child)
    ///   corner of the presence-probe algebra, distinct from the
    ///   (Option-parent × slice-child) corner already populated by
    ///   [`crate::export::ExportSpecSliceExt::has_when`] and its three
    ///   slice-level siblings on the SAME `Vec<ExportSpec>` slot.
    ///
    /// # Semantics — VARIANT match, not POPULATED slot
    ///
    /// `has_teardown_policy(kind)` returns `true` iff
    /// `self.teardown_policy == kind`. On an
    /// [`EphemeralLifetime::default`]
    /// (`teardown_policy: TeardownPolicy::default() = Always`) the
    /// probe returns `true` for [`TeardownPolicy::Always`] and `false`
    /// for every other variant — distinct from the Option-slot axis
    /// where a default carrier returns `false` for EVERY kind. An
    /// operator who left `:lifetime :ephemeral :teardown-policy` at
    /// the substrate default IS configured for `Always`, and a
    /// `:requires (teardown-policy-Always)` check should pass; only an
    /// operator who deliberately overrode the policy to `OnAttested` /
    /// `OnFailed` / `Never` fails the tag on this axis.
    ///
    /// # Compounding
    ///
    /// A future fifth [`TeardownPolicy`] variant added to `ALL` (a
    /// hypothetical `OnTimeout` for "tear down only on TTL expiry",
    /// pre-flagged on the closed set's `ALL` docstring) reaches this
    /// probe through ONE `ALL` entry + one `as_str` arm + one
    /// `should_teardown_on` arm alone, no per-caller edit at the
    /// `teardown-policy-<kind>` require-tag classifier and no per-
    /// consumer restatement of the `self.teardown_policy == kind`
    /// closure body.
    ///
    /// Theory anchor: THEORY.md §II.1 invariant 5 — composition
    /// preserves proofs; the scalar-carrier presence-probe body lives
    /// at ONE substrate site so every downstream (`teardown-policy-<kind>`
    /// require-tag family in tatara-check, closed-set audit
    /// dispatchers, future variant additions on [`TeardownPolicy`])
    /// binds through the SAME `has(kind)` shape rather than restating
    /// the `<eph>.teardown_policy == kind` closure body at each call
    /// site. THEORY.md §VI.1 — generation over composition; a future
    /// variant lands at ONE `ALL` entry + one `as_str` arm on the
    /// closed set and the probe picks it up mechanically without
    /// further per-consumer edits.
    #[must_use]
    pub fn has_teardown_policy(&self, kind: TeardownPolicy) -> bool {
        self.teardown_policy == kind
    }

    /// Derived-bool-predicate presence probe on the stored
    /// [`Self::teardown_policy`] slot — `true` iff this ephemeral
    /// lifetime's [`TeardownPolicy`] would auto-SIGTERM the Process on
    /// the queried [`ProcessPhase`] transition (as read through
    /// [`TeardownPolicy::should_teardown_on`]).
    ///
    /// The one-line collapse of the
    /// `<eph>.teardown_policy.should_teardown_on(phase)` closure body
    /// lifted to ONE substrate owner past the ★★ PRIME-DIRECTIVE ≥ 2
    /// duplication threshold — the `teardown-fires-on-<phase>` require-
    /// tag prefix family in [`tatara-check`]'s point-domain require-tag
    /// classifier is the first workspace-wide consumer (composed
    /// through the [`crate::lifetime::Lifetime::resolved_ephemeral`]
    /// Option-hop), the live reconciler decision at
    /// [`crate::lifetime_clock::evaluate`] reaches the SAME
    /// [`TeardownPolicy::should_teardown_on`] projection independently
    /// today — so a future normalization at the predicate body (widening
    /// the return to `Option<TeardownReason>` for deeper diagnostics,
    /// adding a debug-build assertion on redundant duplicate wiring, an
    /// eventual audit hook naming the (policy, phase, decision) triad)
    /// lands at ONE site here and every downstream picks it up
    /// mechanically.
    ///
    /// # NEW representation-kind corner — Option-parent × derived-bool-predicate-over-<phase>-child
    ///
    /// The workspace-wide closed-set-driven presence-probe algebra
    /// grows a new corner here: the probe body composes a
    /// STORED-scalar's typed PREDICATE against the operator-supplied
    /// closed-set argument, so the answer reads
    /// `self.teardown_policy.should_teardown_on(phase)` rather than the
    /// prior derived-Option-child shape
    /// (`self.<field>.<projection>() == Some(phase)` on
    /// [`crate::spec::SignalPolicy::has_sighup_target`] +
    /// [`crate::compliance::ComplianceBindingSliceExt::has_verification_gates`]).
    /// The projection is many-to-one via the predicate closure rather
    /// than the closed-set match: [`TeardownPolicy::Always`] fires on
    /// BOTH [`ProcessPhase::Attested`] AND [`ProcessPhase::Failed`], so
    /// `has_teardown_firing_on(Attested)` returns `true` for both the
    /// `Always` and `OnAttested` policies while
    /// `has_teardown_policy(Always)` and `has_teardown_policy(OnAttested)`
    /// each return `true` for exactly one policy. Both probes coexist
    /// because they answer distinct operator questions: the raw variant
    /// probe pins the AUTHORED policy variant; the predicate probe pins
    /// the ACTIONABLE phase transitions that variant fires on.
    ///
    /// # Semantics — PREDICATE match, not raw-variant equality nor Option-projection
    ///
    /// * `has_teardown_firing_on(ProcessPhase::Attested)` returns
    ///   `true` iff the stored policy is
    ///   [`TeardownPolicy::Always`] OR [`TeardownPolicy::OnAttested`].
    /// * `has_teardown_firing_on(ProcessPhase::Failed)` returns
    ///   `true` iff the stored policy is
    ///   [`TeardownPolicy::Always`] OR [`TeardownPolicy::OnFailed`].
    /// * Every non-terminal [`ProcessPhase`] returns `false` for
    ///   every stored policy — teardown is a terminal-phase decision
    ///   ([`TeardownPolicy::should_teardown_on`] short-circuits every
    ///   non-terminal arm to `false`).
    /// * [`TeardownPolicy::Never`] returns `false` for every
    ///   [`ProcessPhase`] — the substrate default opt-out.
    ///
    /// # Sibling derived-child probes
    ///
    /// * [`crate::spec::SignalPolicy::has_sighup_target`] — required-
    ///   parent × derived-Option-child. Peer on the "derived child"
    ///   axis, but the derivation is an `Option<K>`-typed projection
    ///   read for equality (`self.<field>.<projection>() ==
    ///   Some(phase)`), not a boolean predicate over the closed-set
    ///   argument.
    /// * [`crate::compliance::ComplianceBindingSliceExt::has_verification_gates`]
    ///   — slice-parent × derived-Option-typed-projection-child. Peer
    ///   on the "derived child" axis, walked over a slice.
    /// * THIS — Option parent
    ///   ([`crate::lifetime::Lifetime::resolved_ephemeral`] may return
    ///   `None` on a `Permanent` lifetime or an ambiguous `Lifetime`,
    ///   so the require-tag classifier reads THIS probe through the
    ///   `is_some_and` hop) × derived-bool-predicate child. First
    ///   occupant on the (Option-parent × derived-bool-predicate-over-
    ///   <closed-set>-child) corner of the workspace-wide presence-
    ///   probe algebra: the child probe combines the stored scalar
    ///   with the closed-set argument through a typed BOOLEAN
    ///   predicate ([`TeardownPolicy::should_teardown_on`]), not
    ///   through equality on an [`Option<K>`] projection.
    ///
    /// # Compounding
    ///
    /// The point-domain require-tag surface in
    /// `tatara-reconciler::bin::tatara-check` composes this primitive
    /// with the closed-set [`crate::phase::ProcessPhase`]'s
    /// autoderived `FromStr` through the
    /// `strip_and_classify_prefixed_kind` substrate to publish the
    /// TWENTY-EIGHTH closed-set-driven prefix family in the point-
    /// domain classifier's dispatch table
    /// (`teardown-fires-on-<phase>`), one axis over from the sibling
    /// `teardown-policy-<kind>` family that composes through
    /// [`Self::has_teardown_policy`] against the same stored slot.
    ///
    /// A future [`TeardownPolicy`] variant (a hypothetical `OnTimeout`
    /// for "tear down only on TTL expiry") reaches this probe through
    /// ONE `ALL` entry + one `as_str` arm + one `should_teardown_on`
    /// arm alone — no per-caller edit at this composition, no per-
    /// consumer restatement of the
    /// `<eph>.teardown_policy.should_teardown_on(phase)` closure body.
    /// A future [`crate::phase::ProcessPhase`] variant paired with a
    /// [`TeardownPolicy`] variant that fires on it is reached by
    /// extending the `should_teardown_on` match — again ONE substrate
    /// edit and every downstream inherits the shift.
    ///
    /// Theory anchor: THEORY.md §II.1 invariant 5 — composition
    /// preserves proofs; the derived-bool-predicate presence-probe
    /// composition (`self.teardown_policy.should_teardown_on(phase)`)
    /// lives at ONE substrate site so every downstream
    /// (`teardown-fires-on-<phase>` require-tag family in tatara-check,
    /// closed-set audit dispatchers, future variant additions on
    /// either [`TeardownPolicy`] or
    /// [`crate::phase::ProcessPhase`]) binds through the SAME
    /// `has_teardown_firing_on(phase)` shape rather than restating the
    /// `<eph>.teardown_policy.should_teardown_on(phase)` chain at each
    /// callsite. THEORY.md §VI.1 — generation over composition; the
    /// [`TeardownPolicy::should_teardown_on`] match is the ONE per-
    /// (variant, phase) edit site every future policy or phase variant
    /// reaches through, and this method inherits the shift
    /// automatically.
    #[must_use]
    pub const fn has_teardown_firing_on(&self, phase: ProcessPhase) -> bool {
        self.teardown_policy.should_teardown_on(phase)
    }
}

impl Default for EphemeralLifetime {
    fn default() -> Self {
        Self {
            ttl: default_ephemeral_ttl(),
            teardown_policy: TeardownPolicy::default(),
            max_concurrent: default_ephemeral_max_concurrent(),
            exports: Vec::new(),
        }
    }
}

/// Workspace-canonical humantime default TTL for every ephemeral
/// authoring surface — the ONE substrate owner of the `"1h"` wire-form
/// default that pre-lift lived as THREE identical private
/// `fn default_ttl() -> String { "1h".to_string() }` shims across
/// [`tatara-process`]'s own [`EphemeralLifetime`] + [`crate::ephemeral::
/// EphemeralSpec`] + [`tatara-reconciler`]'s `EphemeralDefaults`.
///
/// Pre-lift the SAME string wire-form `"1h"` was serde-defaulted at
/// THREE workspace-wide `#[serde(default = "default_ttl")]` slots past
/// the ★★ PRIME-DIRECTIVE ≥ 2 duplication threshold, each carrying its
/// own private `fn default_ttl() -> String { "1h".to_string() }` shim:
///
/// * [`EphemeralLifetime::ttl`] (this module) — the canonical
///   lifetime-slot default. Round-tripped through
///   [`EphemeralLifetime::default`] and every serde-deserialize of a
///   `spec.lifetime.ephemeral` block whose `ttl:` field is omitted.
/// * [`crate::ephemeral::EphemeralSpec::ttl`] — the `(defephemeral …)`
///   Lisp authoring surface's serde default, the wire-form default a
///   `defephemeral` form binds when the operator omits `:ttl`.
/// * `tatara-reconciler::ephemeral_defaults::EphemeralDefaults::default_ttl`
///   — the reconciler's operator-configured cluster-wide default TTL,
///   which itself defaults to `"1h"` when the operator omits it from
///   the shikumi config file.
///
/// All three shims returned bytewise-identical `"1h"` and served the
/// SAME wire-form default. Any operator-facing re-tuning of the
/// workspace-canonical default (a shift to `"30m"` for tighter env
/// recycling, a shift to `"6h"` for long-running attestation suites,
/// a per-fleet override sourced from a substrate config) pre-lift
/// required a THREE-site coordinated edit; any drift silently produced
/// operator-visible skew where `defephemeral :ttl <omitted>` defaulted
/// to X but the reconciler's own default landed at Y for the SAME
/// authoring surface. Post-lift every serde slot reads through this
/// ONE substrate owner and the invariant "every ephemeral-default
/// surface names the SAME humantime string" holds by construction.
///
/// Return-form axis: `String` — matches the serde `default = "…"` slot
/// contract exactly (serde invokes the named function and stamps its
/// returned owned value into the field). The paired [`DEFAULT_EPHEMERAL_TTL`]
/// const exposes the underlying `&'static str` for callers that want
/// the zero-allocation handle (a compile-time `assert_eq!` pin, a
/// format-string argument, an ephemeral-context error message).
///
/// A future normalization on the workspace-canonical ephemeral TTL
/// default (a fleet-wide re-tuning, a per-cluster override injected
/// via a `TATARA_DEFAULT_EPHEMERAL_TTL` env var, a bounded-precision
/// canonicalization to a specific humantime spelling like `"3600s"`)
/// lands at THIS ONE substrate primitive and every downstream serde-
/// default consumer inherits the upgrade mechanically — no per-site
/// edit at any of the THREE listed callers or at future consumers (a
/// new ephemeral-adjacent authoring surface, a fleet-wide dashboard
/// that reads the canonical default, a new tatara-eval fixture).
///
/// Peer to [`default_ephemeral_max_concurrent`] on the "workspace-
/// canonical ephemeral defaults" axis — both lift a THREE-way-
/// duplicated (TTL) or TWO-way-duplicated (max-concurrent) private
/// `fn default_*` shim onto ONE substrate owner. The paired
/// [`DEFAULT_EPHEMERAL_TTL`] const and [`DEFAULT_EPHEMERAL_MAX_CONCURRENT`]
/// const partition the same axis on the "typed handle over the
/// wire-form default" side.
///
/// Theory anchor: THEORY.md §VI.1 (generation over composition — the
/// `"1h".to_string()` wire-form default recurred at THREE hand-authored
/// sites past the ★★ PRIME-DIRECTIVE ≥ 2 duplication trigger, spanning
/// two workspace crates, and is lifted onto ONE workspace-wide
/// substrate owner here). THEORY.md §II.1 invariant 5 (composition
/// preserves proofs — the pins bind the default at fail-before-pass-
/// after granularity so a regression that drifted the wire-form
/// surfaces at [`tests::default_ephemeral_ttl_matches_pre_lift_1h_string`]
/// rather than as silent operator-facing skew across the three
/// downstream consumers).
#[must_use]
pub fn default_ephemeral_ttl() -> String {
    DEFAULT_EPHEMERAL_TTL.to_string()
}

/// Workspace-canonical humantime default TTL wire-form — the `&'static
/// str` handle over the same `"1h"` value [`default_ephemeral_ttl`]
/// returns. Use this const for compile-time comparisons and format
/// arguments; use [`default_ephemeral_ttl`] for the owned `String` the
/// serde `default = "…"` slot contract expects.
pub const DEFAULT_EPHEMERAL_TTL: &str = "1h";

/// Workspace-canonical default cluster-wide concurrency budget for
/// every ephemeral authoring surface — the ONE substrate owner of the
/// `1` wire-form default that pre-lift lived as TWO identical private
/// `fn default_max_concurrent() -> u32 { 1 }` shims across
/// [`EphemeralLifetime`] + [`crate::ephemeral::EphemeralSpec`].
///
/// Pre-lift the SAME `1u32` wire-form was serde-defaulted at TWO
/// `tatara-process` `#[serde(default = "default_max_concurrent")]`
/// slots past the ★★ PRIME-DIRECTIVE ≥ 2 duplication threshold, each
/// carrying its own private shim:
///
/// * [`EphemeralLifetime::max_concurrent`] (this module) — the
///   lifetime-slot default: "at most one ephemeral Process per
///   `spec.identity.name_override` / chart_ref concurrently until the
///   operator explicitly widens the budget".
/// * [`crate::ephemeral::EphemeralSpec::max_concurrent`] — the
///   `(defephemeral …)` Lisp authoring surface's serde default, the
///   same conservative "one at a time" invariant a fresh `defephemeral`
///   binds when the operator omits `:max-concurrent`.
///
/// Both shims returned `1` and served the SAME "one-at-a-time"
/// concurrency invariant. Post-lift both serde slots read through
/// this ONE substrate owner; a future re-tuning of the workspace-
/// canonical concurrency invariant (a shift to `2` for parallel-safe
/// probes, a shift to `0` for uncapped ephemeral fleets, a per-fleet
/// override) lands at ONE site and both downstream consumers inherit
/// the upgrade mechanically.
///
/// NOT the same axis as `tatara-reconciler::ephemeral_defaults::
/// EphemeralDefaults::max_concurrent_per_cluster`, which defaults to
/// `0` (no cap) on purpose — that field is the operator's cluster-
/// wide ceiling, whereas THIS default is the per-authoring-surface
/// conservative "one-at-a-time" invariant. The two defaults are
/// deliberately different values on deliberately different axes and
/// stay separate.
///
/// Peer to [`default_ephemeral_ttl`] on the "workspace-canonical
/// ephemeral defaults" axis — see that primitive's doc for the shared
/// motivation.
#[must_use]
pub fn default_ephemeral_max_concurrent() -> u32 {
    DEFAULT_EPHEMERAL_MAX_CONCURRENT
}

/// Workspace-canonical default cluster-wide concurrency budget wire-
/// form — the `u32` handle over the same `1` value
/// [`default_ephemeral_max_concurrent`] returns. Use this const for
/// compile-time comparisons; use [`default_ephemeral_max_concurrent`]
/// for the serde `default = "…"` slot contract.
pub const DEFAULT_EPHEMERAL_MAX_CONCURRENT: u32 = 1;

/// When an ephemeral Process self-terminates.
///
/// Aligns with `ProcessPhase` (`Attested` / `Failed`) rather than borrowing
/// foreign success/failure language — typed phases are the source of truth.
#[derive(
    Clone,
    Copy,
    Debug,
    PartialEq,
    Eq,
    Hash,
    Serialize,
    Deserialize,
    JsonSchema,
    Default,
    tatara_closed_set::DeriveClosedSet,
)]
#[serde(rename_all = "PascalCase")]
#[closed_set(via = "as_str", display, generate_unknown)]
pub enum TeardownPolicy {
    /// SIGTERM as soon as the Process reaches `Attested` or `Failed`.
    #[default]
    Always,
    /// SIGTERM only on `Attested`. Leave `Failed` Processes for inspection.
    OnAttested,
    /// SIGTERM only on `Failed`. Leave `Attested` Processes running until
    /// TTL or explicit operator SIGTERM.
    OnFailed,
    /// Never auto-terminate (TTL still applies).
    Never,
}

impl TeardownPolicy {
    /// The closed set of teardown policies — single source of truth that
    /// drives the `as_str` / Display / `FromStr` triad and the typed
    /// `should_teardown_on` dispatch over `ProcessPhase`. Adding a fifth
    /// variant lands at one `ALL` entry + one `as_str` arm + one
    /// `should_teardown_on` arm — exhaustively checked by the compiler
    /// (the `[Self; 4]` array literal forces the arity).
    ///
    /// Sibling closed-set lifts on the same `ProcessSpec` axis:
    /// [`super::intent::IntentKind::ALL`], [`super::LifetimeKind::ALL`],
    /// [`crate::boundary::ConditionKind::ALL`],
    /// [`crate::phase::ProcessPhase::ALL`],
    /// [`crate::signal::ProcessSignal::ALL`].
    pub const ALL: [Self; 4] = [Self::Always, Self::OnAttested, Self::OnFailed, Self::Never];

    /// Canonical PascalCase wire-format projection — matches the serde
    /// `rename_all = "PascalCase"` output verbatim. Used by Display
    /// (single source of truth), by `FromStr` to identify the variant
    /// from its annotation / status-field representation, and by
    /// operator-facing reason strings the reconciler stamps without
    /// reaching for `{:?}` Debug formatting. Pinned by
    /// `teardown_policy_as_str_matches_serde`.
    pub const fn as_str(self) -> &'static str {
        match self {
            Self::Always => "Always",
            Self::OnAttested => "OnAttested",
            Self::OnFailed => "OnFailed",
            Self::Never => "Never",
        }
    }

    /// True iff, given a `ProcessPhase`, this policy says "tear down."
    /// ONE typed dispatch over the typed phase enum that replaces the
    /// pair of hand-rolled `matches!(self, Self::Always | Self::OnX)`
    /// predicates `lifetime_clock::evaluate` previously branched on.
    /// Non-terminal phases (`Pending` / `Forking` / `Execing` / `Running`
    /// / `Reconverging` / `Releasing` / `Exiting` / `Zombie` / `Reaped`)
    /// always return `false` — teardown is a terminal-phase decision.
    ///
    /// The legacy [`Self::should_teardown_on_attested`] /
    /// [`Self::should_teardown_on_failed`] predicates remain as thin
    /// delegates so existing call sites keep their narrow signatures;
    /// the truth table is pinned by
    /// `teardown_policy_legacy_predicates_delegate_to_phase_dispatch`.
    pub const fn should_teardown_on(self, phase: ProcessPhase) -> bool {
        match phase {
            ProcessPhase::Attested => matches!(self, Self::Always | Self::OnAttested),
            ProcessPhase::Failed => matches!(self, Self::Always | Self::OnFailed),
            ProcessPhase::Pending
            | ProcessPhase::Forking
            | ProcessPhase::Execing
            | ProcessPhase::Running
            | ProcessPhase::Reconverging
            | ProcessPhase::Releasing
            | ProcessPhase::Exiting
            | ProcessPhase::Zombie
            | ProcessPhase::Reaped => false,
        }
    }

    /// Thin delegate to [`Self::should_teardown_on`] for the `Attested`
    /// case — kept so existing call sites (notably the truth-table
    /// test in this module) keep their narrow signature without
    /// reaching for the typed-phase variant.
    pub const fn should_teardown_on_attested(self) -> bool {
        self.should_teardown_on(ProcessPhase::Attested)
    }

    /// Symmetric delegate to [`Self::should_teardown_on`] for the
    /// `Failed` case.
    pub const fn should_teardown_on_failed(self) -> bool {
        self.should_teardown_on(ProcessPhase::Failed)
    }
}

// `impl fmt::Display for TeardownPolicy` + `impl FromStr for
// TeardownPolicy` + `impl tatara_lisp::ClosedSet for TeardownPolicy` +
// `pub struct UnknownTeardownPolicy(pub String)` are generated by
// `#[derive(tatara_closed_set::DeriveClosedSet)]` + `#[closed_set(via =
// "as_str", display, generate_unknown)]` on the enum declaration above.
// The auto-derived label `"teardown policy"` matches the prior hand-
// rolled `#[error("unknown teardown policy: {0}")]` verbatim. The
// inherent `as_str` projection stays load-bearing — the PascalCase
// wire-format that matches the serde rename + the reconciler's reason-
// string emission verbatim — while the trait method `label` gives
// generic consumers a STABLE name across the 36+ workspace-wide
// closed-set implementors.

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn default_lifetime_resolves_to_permanent() {
        let l = Lifetime::default();
        assert!(l.is_default());
        assert!(!l.is_ephemeral());
        assert!(matches!(
            l.variant().unwrap(),
            LifetimeVariant::Permanent(_)
        ));
    }

    #[test]
    fn ephemeral_set_resolves() {
        // Routes through the ONE substrate composer
        // [`Lifetime::ephemeral`] — see the composer's doc-comment for
        // the full migration rationale.
        let l = Lifetime::ephemeral(EphemeralLifetime::default());
        assert!(l.is_ephemeral());
        match l.variant().unwrap() {
            LifetimeVariant::Ephemeral(e) => {
                assert_eq!(e.ttl, "1h");
                assert_eq!(e.teardown_policy, TeardownPolicy::Always);
                assert_eq!(e.max_concurrent, 1);
            }
            other => panic!("expected ephemeral, got {other:?}"),
        }
    }

    #[test]
    fn ambiguous_lifetime_errors() {
        let l = Lifetime {
            permanent: Some(PermanentLifetime {}),
            ephemeral: Some(EphemeralLifetime::default()),
        };
        assert_eq!(l.variant().unwrap_err(), LifetimeError::Ambiguous);
    }

    #[test]
    fn teardown_policy_dispatch() {
        assert!(TeardownPolicy::Always.should_teardown_on_attested());
        assert!(TeardownPolicy::Always.should_teardown_on_failed());
        assert!(TeardownPolicy::OnAttested.should_teardown_on_attested());
        assert!(!TeardownPolicy::OnAttested.should_teardown_on_failed());
        assert!(!TeardownPolicy::OnFailed.should_teardown_on_attested());
        assert!(TeardownPolicy::OnFailed.should_teardown_on_failed());
        assert!(!TeardownPolicy::Never.should_teardown_on_attested());
        assert!(!TeardownPolicy::Never.should_teardown_on_failed());
    }

    // ── closed-set algebra for TeardownPolicy (ALL × as_str × FromStr ×
    //    should_teardown_on(phase)) ─

    /// Structural well-formedness of [`TeardownPolicy`] as a
    /// [`tatara_lisp::ClosedSet`] implementor — the workspace-wide
    /// testkit lift that pins all three structural invariants (`ALL`
    /// is non-empty, every variant round-trips through `label ↔
    /// parse_label`, labels are pairwise distinct, `""` is outside the
    /// closed set) at ONE call site. Replaces the hand-derived
    /// `teardown_policy_all_is_unique_and_complete` +
    /// `teardown_policy_roundtrip_via_as_str` + the empty-input arm of
    /// `unknown_teardown_policy_errors`. `FromStr` delegates to
    /// `<Self as tatara_closed_set::ClosedSet>::parse_label`, so this helper
    /// exercises the same code path the reconciler hits when parsing a
    /// CRD `enum:`-validated value back to the typed policy.
    #[test]
    fn teardown_policy_is_well_formed_closed_set() {
        tatara_closed_set::assert_closed_set_well_formed::<TeardownPolicy>();
    }

    /// CANONICAL-KEY CONTRACT: `as_str` matches serde's PascalCase
    /// output verbatim for every variant. A future variant rename
    /// (or an `as_str` arm typo) lands here at one site. The reason
    /// string `lifetime_clock::evaluate` stamps reaches for the same
    /// projection via `Display`, so a Debug-vs-canonical drift would
    /// surface here, not in operator-facing reason strings.
    #[test]
    fn teardown_policy_as_str_matches_serde() {
        crate::tagged_union::assert_label_matches_serde_serialization::<TeardownPolicy>();
    }

    /// The Display impl IS `as_str` — pinning this lets future
    /// callers (notably `lifetime_clock::evaluate`'s reason string)
    /// reach for either projection without drift.
    #[test]
    fn teardown_policy_display_matches_as_str() {
        crate::tagged_union::assert_display_matches_label::<TeardownPolicy>();
    }

    /// `FromStr` rejects strings that aren't in the canonical
    /// projection — lowercased / typo / unrelated — and the error
    /// echoes the input verbatim so the operator-facing diagnostic
    /// carries the offending value, not a normalized form. The
    /// empty-input arm is pinned by
    /// [`teardown_policy_is_well_formed_closed_set`] via the
    /// `tatara_lisp::ClosedSet` testkit; the cases here pin the
    /// verbatim-echo contract on the [`UnknownTeardownPolicy`]
    /// newtype, which the trait's `make_unknown` can't see.
    #[test]
    fn unknown_teardown_policy_errors() {
        use std::str::FromStr;
        for bad in ["always", "ALWAYS", "OnAtested", "Bogus"] {
            let err = TeardownPolicy::from_str(bad).unwrap_err();
            assert_eq!(err.0, bad, "error payload should echo input verbatim");
        }
    }

    /// TRUTH-TABLE CONTRACT: `should_teardown_on(phase)` agrees with
    /// the documented (policy, phase) → bool table for every variant
    /// at every typed phase. The two terminal phases (Attested,
    /// Failed) carry the policy-specific result; every non-terminal
    /// phase returns `false`. The closed-set sweep over both
    /// `TeardownPolicy::ALL` and `ProcessPhase::ALL` means a new
    /// variant in either enum reaches this test by iteration — no
    /// per-test array maintenance.
    #[test]
    fn teardown_policy_should_teardown_on_truth_table() {
        for policy in TeardownPolicy::ALL {
            for phase in ProcessPhase::ALL {
                let expected = match phase {
                    ProcessPhase::Attested => {
                        matches!(policy, TeardownPolicy::Always | TeardownPolicy::OnAttested)
                    }
                    ProcessPhase::Failed => {
                        matches!(policy, TeardownPolicy::Always | TeardownPolicy::OnFailed)
                    }
                    _ => false,
                };
                assert_eq!(
                    policy.should_teardown_on(phase),
                    expected,
                    "should_teardown_on({policy:?}, {phase:?}) drift",
                );
            }
        }
    }

    /// DELEGATION CONTRACT: the legacy `should_teardown_on_attested` /
    /// `should_teardown_on_failed` predicates agree with the typed
    /// `should_teardown_on(phase)` dispatch they delegate to, for
    /// every variant. A regression that re-introduces an inline
    /// `matches!` in either legacy predicate fails here the moment
    /// `should_teardown_on` is the source of truth.
    #[test]
    fn teardown_policy_legacy_predicates_delegate_to_phase_dispatch() {
        for policy in TeardownPolicy::ALL {
            assert_eq!(
                policy.should_teardown_on_attested(),
                policy.should_teardown_on(ProcessPhase::Attested),
                "Attested delegate drift for {policy:?}",
            );
            assert_eq!(
                policy.should_teardown_on_failed(),
                policy.should_teardown_on(ProcessPhase::Failed),
                "Failed delegate drift for {policy:?}",
            );
        }
    }

    // ── scalar-carrier presence probe on EphemeralLifetime ×
    //    TeardownPolicy ──
    //
    // Fail-before-pass-after granularity:
    // [`EphemeralLifetime::has_teardown_policy`] did not exist before
    // this commit — every consumer of the
    // `(EphemeralLifetime, TeardownPolicy) -> bool` scalar-carrier
    // probe shape restated the `<eph>.teardown_policy == kind` closure
    // body at its own call site. Post-lift the shape lives at ONE
    // substrate owner and every downstream (the `teardown-policy-<kind>`
    // require-tag family in `tatara-check`, future audit dispatchers
    // walking [`TeardownPolicy::ALL`], any future CRD-facing closed-set
    // discriminator on a defaulted-scalar `EphemeralLifetime` field)
    // binds through the SAME `has(kind)` shape the Option-slot
    // (`Intent::has`, `Lifetime::has`), slice-level
    // (`ExportSpecSliceExt::has_when` + peers), and required-parent
    // scalar-carrier (`SignalPolicy::has_sighup_strategy`) primitives
    // publish.

    /// DIAGONAL — for every [`TeardownPolicy`] variant, an
    /// [`EphemeralLifetime`] whose `teardown_policy` field is set to
    /// that variant returns `true` from `has_teardown_policy` on that
    /// same variant AND `false` on every other variant. Sweep the
    /// [`TeardownPolicy::ALL`] × ALL cross so a regression that
    /// hard-coded the arm to a single variant (silently returning
    /// `true` on every populated ephemeral regardless of query kind)
    /// or wired the equality to a fixed unrelated field fails HERE at
    /// the substrate primitive before landing at the operator-facing
    /// checks.lisp surface.
    #[test]
    fn ephemeral_lifetime_has_teardown_policy_returns_true_iff_variant_matches() {
        for populated in TeardownPolicy::ALL {
            let eph = EphemeralLifetime {
                teardown_policy: populated,
                ..EphemeralLifetime::default()
            };
            for query in TeardownPolicy::ALL {
                assert_eq!(
                    eph.has_teardown_policy(query),
                    query == populated,
                    "teardown_policy={populated:?}: query {query:?} classification drifted",
                );
            }
        }
    }

    /// DEFAULT — an [`EphemeralLifetime::default`] carries
    /// `teardown_policy: TeardownPolicy::default() = Always`, so the
    /// scalar-carrier probe returns `true` on [`TeardownPolicy::Always`]
    /// and `false` on every other variant. Distinct from the
    /// Option-slot axis where a default carrier returns `false` for
    /// EVERY kind — pins the scalar-vs-option semantic split at ONE
    /// narrow substrate site so a regression that rewired the probe to
    /// Option-slot semantics (returning `false` on the default) fails
    /// here.
    #[test]
    fn ephemeral_lifetime_has_teardown_policy_default_probes_always_only() {
        let eph = EphemeralLifetime::default();
        for kind in TeardownPolicy::ALL {
            let expected = kind == TeardownPolicy::Always;
            assert_eq!(
                eph.has_teardown_policy(kind),
                expected,
                "default ephemeral (teardown_policy=Always) must return {expected} for {kind:?}",
            );
        }
    }

    // ── derived-bool-predicate presence probe on EphemeralLifetime ×
    //    TeardownPolicy × ProcessPhase ──
    //
    // Fail-before-pass-after granularity:
    // [`EphemeralLifetime::has_teardown_firing_on`] did not exist before
    // this commit — every consumer of the
    // `(EphemeralLifetime, ProcessPhase) -> bool` derived-bool-predicate
    // probe shape restated the
    // `<eph>.teardown_policy.should_teardown_on(phase)` closure body at
    // its own call site (the point-domain require-tag classifier's
    // future `teardown-fires-on-<phase>` prefix family; the live
    // reconciler decision at [`crate::lifetime_clock::evaluate`], which
    // continues to reach [`TeardownPolicy::should_teardown_on`]
    // directly today). Post-lift the shape lives at ONE substrate
    // owner and every downstream binds through the SAME
    // `has_teardown_firing_on(phase)` shape. FIRST occupant on the
    // (Option-parent × derived-bool-predicate-over-<closed-set>-child)
    // corner of the workspace-wide presence-probe algebra — the child
    // probe combines the stored scalar with the closed-set argument
    // through a typed BOOLEAN predicate, not through equality on an
    // `Option<K>` projection (the prior derived-Option-child corner).

    /// TRUTH-TABLE DIAGONAL — for every [`TeardownPolicy`] variant, an
    /// [`EphemeralLifetime`] whose `teardown_policy` field is set to
    /// that variant returns `has_teardown_firing_on(phase)` in
    /// agreement with [`TeardownPolicy::should_teardown_on`] for every
    /// [`ProcessPhase`] variant. Sweep the [`TeardownPolicy::ALL`] ×
    /// [`ProcessPhase::ALL`] full cross so a regression that (a)
    /// hard-coded the arm to a single policy (silently returning
    /// `true` on every populated ephemeral regardless of query phase),
    /// (b) probed the raw stored field directly (`self.teardown_policy
    /// == phase`, which would not even typecheck but would surface at
    /// this test if a future variant added a `ProcessPhase`-shaped
    /// `teardown_policy` alias), or (c) inverted the predicate
    /// direction fails HERE at the substrate primitive before landing
    /// at the operator-facing checks.lisp surface.
    #[test]
    fn ephemeral_lifetime_has_teardown_firing_on_matches_should_teardown_on_per_policy_per_phase() {
        for populated in TeardownPolicy::ALL {
            let eph = EphemeralLifetime {
                teardown_policy: populated,
                ..EphemeralLifetime::default()
            };
            for phase in ProcessPhase::ALL {
                assert_eq!(
                    eph.has_teardown_firing_on(phase),
                    populated.should_teardown_on(phase),
                    "teardown_policy={populated:?}, phase={phase:?}: predicate drift from \
                     should_teardown_on projection",
                );
            }
        }
    }

    /// NEVER-ARM PIN — a [`TeardownPolicy::Never`]-carrying
    /// [`EphemeralLifetime`] returns `false` for every
    /// [`ProcessPhase`] — the substrate default opt-out. Pins the
    /// non-firing arm of the predicate against a regression that (a)
    /// promoted `Never` to a firing policy at any phase, or (b)
    /// inverted the `Never` arm to make it fire on the non-terminal
    /// phases (a common wrongfooted rewrite when the reader assumes
    /// `Never` means "never SIGTERM, ever" rather than "never
    /// auto-terminate on a terminal-gate phase, TTL still applies").
    #[test]
    fn ephemeral_lifetime_has_teardown_firing_on_returns_false_on_never_for_every_phase() {
        let eph = EphemeralLifetime {
            teardown_policy: TeardownPolicy::Never,
            ..EphemeralLifetime::default()
        };
        for phase in ProcessPhase::ALL {
            assert!(
                !eph.has_teardown_firing_on(phase),
                "Never-carrying ephemeral must return false for phase={phase:?}",
            );
        }
    }

    /// PREDICATE-MANY-TO-ONE PIN — the derived predicate is many-to-
    /// one on the (policy, phase) axis: both [`TeardownPolicy::Always`]
    /// AND [`TeardownPolicy::OnAttested`] return `true` for
    /// [`ProcessPhase::Attested`]; both [`TeardownPolicy::Always`] AND
    /// [`TeardownPolicy::OnFailed`] return `true` for
    /// [`ProcessPhase::Failed`]. Locks the raw-vs-predicate semantic
    /// split at ONE narrow substrate site so a regression that
    /// collapsed the predicate to raw variant equality
    /// (`self.teardown_policy.as_str() == phase.as_str()` or similar)
    /// would fail HERE — a raw match would answer `true` for exactly
    /// ONE policy per phase, not for the two policies that fire on
    /// each terminal-gate phase.
    #[test]
    fn ephemeral_lifetime_has_teardown_firing_on_is_many_to_one_on_terminal_gates() {
        let always = EphemeralLifetime {
            teardown_policy: TeardownPolicy::Always,
            ..EphemeralLifetime::default()
        };
        let on_attested = EphemeralLifetime {
            teardown_policy: TeardownPolicy::OnAttested,
            ..EphemeralLifetime::default()
        };
        let on_failed = EphemeralLifetime {
            teardown_policy: TeardownPolicy::OnFailed,
            ..EphemeralLifetime::default()
        };
        // Attested is fired on by BOTH Always AND OnAttested.
        assert!(always.has_teardown_firing_on(ProcessPhase::Attested));
        assert!(on_attested.has_teardown_firing_on(ProcessPhase::Attested));
        assert!(!on_failed.has_teardown_firing_on(ProcessPhase::Attested));
        // Failed is fired on by BOTH Always AND OnFailed.
        assert!(always.has_teardown_firing_on(ProcessPhase::Failed));
        assert!(on_failed.has_teardown_firing_on(ProcessPhase::Failed));
        assert!(!on_attested.has_teardown_firing_on(ProcessPhase::Failed));
    }

    /// NON-TERMINAL-PHASE PIN — every non-terminal-gate
    /// [`ProcessPhase`] (`Pending` / `Forking` / `Execing` / `Running`
    /// / `Reconverging` / `Releasing` / `Exiting` / `Zombie` /
    /// `Reaped`) returns `false` for EVERY [`TeardownPolicy`],
    /// including [`TeardownPolicy::Always`]. Locks the terminal-only
    /// contract of the predicate so a regression that widened the
    /// firing-arm scope to a non-terminal phase (a hypothetical
    /// `Always fires on Running` misreading of "always") fails HERE at
    /// the substrate primitive.
    #[test]
    fn ephemeral_lifetime_has_teardown_firing_on_returns_false_on_non_terminal_phases_for_every_policy(
    ) {
        for policy in TeardownPolicy::ALL {
            let eph = EphemeralLifetime {
                teardown_policy: policy,
                ..EphemeralLifetime::default()
            };
            for phase in ProcessPhase::ALL {
                if matches!(phase, ProcessPhase::Attested | ProcessPhase::Failed) {
                    continue;
                }
                assert!(
                    !eph.has_teardown_firing_on(phase),
                    "policy={policy:?} must not fire on non-terminal phase={phase:?}",
                );
            }
        }
    }

    #[test]
    fn serde_round_trip_ephemeral() {
        // Routes through the ONE substrate composer
        // [`Lifetime::ephemeral`] — see the composer's doc-comment for
        // the full migration rationale.
        let l = Lifetime::ephemeral(EphemeralLifetime {
            ttl: "30m".into(),
            teardown_policy: TeardownPolicy::OnAttested,
            max_concurrent: 4,
            exports: vec![],
        });
        let yaml = serde_yaml::to_string(&l).unwrap();
        assert!(yaml.contains("ttl: 30m"));
        assert!(yaml.contains("teardownPolicy: OnAttested"));
        // Empty exports skip-serialize — explicit zero-trace default.
        assert!(!yaml.contains("exports"));
        let back: Lifetime = serde_yaml::from_str(&yaml).unwrap();
        assert!(back.is_ephemeral());
        assert!(back.ephemeral.unwrap().exports.is_empty());
    }

    #[test]
    fn applicable_exports_filters_by_trigger() {
        use crate::export::{
            ArtifactSource, ExportSpec, ExportTrigger, HttpEventChannel, ReceiptsSource,
            VectorChannel,
        };
        let spec_attested = ExportSpec {
            source: ArtifactSource {
                receipts: Some(ReceiptsSource::default()),
                ..ArtifactSource::default()
            },
            channel: VectorChannel {
                http_event: Some(HttpEventChannel::signal("receipt")),
                ..VectorChannel::default()
            },
            when: ExportTrigger::OnAttested,
            experiment_id_override: None,
        };
        let spec_failed = ExportSpec {
            when: ExportTrigger::OnFailed,
            ..spec_attested.clone()
        };
        let spec_always = ExportSpec {
            when: ExportTrigger::Always,
            ..spec_attested.clone()
        };

        let lt = EphemeralLifetime {
            ttl: "1h".into(),
            teardown_policy: TeardownPolicy::OnAttested,
            max_concurrent: 1,
            exports: vec![spec_attested, spec_failed, spec_always],
        };

        // Attested gate fires OnAttested + Always — 2 of 3.
        assert!(lt.has_applicable_exports(ProcessPhase::Attested));
        assert_eq!(lt.applicable_exports(ProcessPhase::Attested).count(), 2);

        // Failed gate fires OnFailed + Always — 2 of 3.
        assert!(lt.has_applicable_exports(ProcessPhase::Failed));
        assert_eq!(lt.applicable_exports(ProcessPhase::Failed).count(), 2);

        // Other phases never route through Releasing.
        for p in [
            ProcessPhase::Pending,
            ProcessPhase::Forking,
            ProcessPhase::Execing,
            ProcessPhase::Running,
            ProcessPhase::Reconverging,
            ProcessPhase::Releasing,
            ProcessPhase::Exiting,
            ProcessPhase::Zombie,
            ProcessPhase::Reaped,
        ] {
            assert!(!lt.has_applicable_exports(p));
            assert_eq!(lt.applicable_exports(p).count(), 0);
        }
    }

    #[test]
    fn no_exports_means_no_applicable_exports() {
        let lt = EphemeralLifetime::default();
        assert!(!lt.has_applicable_exports(ProcessPhase::Attested));
        assert!(!lt.has_applicable_exports(ProcessPhase::Failed));
    }

    /// Structural well-formedness of [`LifetimeKind`] as a
    /// [`tatara_closed_set::ClosedSet`] implementor — the workspace-
    /// wide testkit that pins ALL structural invariants (`ALL` is
    /// non-empty, every variant round-trips through `label ↔
    /// parse_label`, labels are pairwise distinct, `""` is outside
    /// the closed set, the [`UnknownLifetimeKind`] carrier's Display
    /// renders the substrate-wide `"unknown lifetime kind: <input>"`
    /// shape, `labels()` equals the natural `ALL × label` projection)
    /// at ONE call site. Subsumes the hand-derived
    /// `lifetime_kind_all_is_unique_and_complete` sweep the pre-derive
    /// site published — clauses (1)+(3) of the testkit fold uniqueness
    /// + non-emptiness into the substrate primitive's own body.
    #[test]
    fn lifetime_kind_is_well_formed_closed_set() {
        tatara_closed_set::assert_closed_set_well_formed::<LifetimeKind>();
    }

    /// The Display impl IS `as_str` — pinning this lets future callers
    /// reach for either projection without drift. Symmetric to every
    /// sibling `X_display_matches_as_str` invariant across
    /// `tatara-process`; routes through the substrate primitive
    /// [`crate::tagged_union::assert_display_matches_label`] shared
    /// with all 29+ production Display-alignment sites. The auto-
    /// derived `Display` body from `#[closed_set(via = "as_str",
    /// display)]` emits the substrate-wide `f.write_str(Self::as_str
    /// (*self))` shape — a regression that regresses `as_str` (or a
    /// future hand-rolled Display block that drifts from `as_str`)
    /// surfaces here at the substrate-wide alignment probe.
    #[test]
    fn lifetime_kind_display_matches_as_str() {
        crate::tagged_union::assert_display_matches_label::<LifetimeKind>();
    }

    /// CANONICAL-KEY CONTRACT: each variant's `as_str()` matches the
    /// camelCase serde field name on `Lifetime`. A future rename of
    /// any field lands here at one site — and the wire-key alignment
    /// stays coherent with the operator-facing serde shape.
    ///
    /// Routes through the substrate primitive
    /// [`crate::tagged_union::assert_wire_key_matches_label`] — the
    /// bound-relaxed peer of `assert_single_slot_key_matches_label`
    /// that drops the `T: TaggedUnion` requirement so `Lifetime`
    /// (whose empty variant resolves to `Permanent(&DEFAULT_PERMANENT)`
    /// rather than to a [`crate::tagged_union::TaggedUnionError::empty`]
    /// carrier) still binds through ONE substrate wire-key alignment
    /// site. Pre-lift the body restated the same serialize +
    /// exactly-one-key + name-equality sweep at this test surface
    /// verbatim; post-lift the projection lives at ONE substrate
    /// primitive and this site binds through a single call — the
    /// same mechanical shape the four sibling TaggedUnion parents
    /// carry via the trait-projected [`crate::tagged_union::assert_single_slot_key_matches_label`].
    #[test]
    fn lifetime_kind_as_str_matches_lifetime_field_name() {
        crate::tagged_union::assert_wire_key_matches_label::<Lifetime, LifetimeKind, _>(
            single_slot_lifetime,
        );
    }

    /// ROUND-TRIP CONTRACT: `LifetimeKind::select(lifetime).map(|v|
    /// v.kind()) == Some(kind)`. The reverse `LifetimeVariant::kind`
    /// projection composes the closed set in both directions — a
    /// regression that misroutes a select arm (e.g. `Self::Permanent =>
    /// l.ephemeral.as_ref()...`) fails loudly here.
    #[test]
    fn lifetime_kind_round_trips_through_variant_kind() {
        for kind in LifetimeKind::ALL {
            let l = single_slot_lifetime(kind);
            let v = kind.select(&l).expect("populated slot must select");
            assert_eq!(v.kind(), kind, "round-trip failed for {kind:?}");
            // And the resolver lands on the same variant.
            assert_eq!(
                l.variant().expect("exactly-one variant").kind(),
                kind,
                "variant() resolver disagreed on {kind:?}"
            );
        }
    }

    // ─── Lifetime::has substrate pins ────────────────────────────────
    //
    // Fail-before-pass-after granularity: the `Lifetime::has` inherent
    // method did not exist before this commit, so each test below
    // fails to compile pre-lift. Post-lift they collectively pin the
    // (POPULATED slot × closed-set discriminator) presence-probe shape
    // at ONE substrate primitive on `Lifetime` — a regression that
    // drifted `has` from `kind.select(self).is_some()` (e.g. a swap to
    // "resolver picks kind" semantics that would silently promote
    // `Lifetime::default().has(Permanent)` from `false` to `true`)
    // surfaces HERE rather than as caller-side skew across the
    // `is_ephemeral` delegator + every future `lifetime-<kind>`
    // requires-tag consumer.

    /// POPULATED-slot semantics pin: `has(kind)` returns `true` iff
    /// the slot addressed by `kind` is `Some(_)`. Sweeps every
    /// [`LifetimeKind::ALL`] entry against a single-slot fixture on
    /// the diagonal (populated slot AND matching kind → `true`) and
    /// off the diagonal (populated slot BUT other kind → `false`).
    /// Byte-shape parity with the pre-lift `self.<field>.is_some()`
    /// probe [`Lifetime::is_ephemeral`] walked and with the sibling
    /// [`crate::intent::Intent::has`] shape on `ProcessSpec`.
    #[test]
    fn lifetime_has_returns_true_on_diagonal_and_false_off_diagonal() {
        for populated in LifetimeKind::ALL {
            let l = single_slot_lifetime(populated);
            for probed in LifetimeKind::ALL {
                let expected = probed == populated;
                assert_eq!(
                    l.has(probed),
                    expected,
                    "Lifetime::has drift — populated={populated:?} probed={probed:?} expected={expected}",
                );
            }
        }
    }

    /// SUBSTRATE-DELEGATION pin: `has(kind)` matches
    /// `kind.select(self).is_some()` byte-for-byte across every
    /// [`LifetimeKind::ALL`] entry and every diagonal / off-diagonal
    /// input. A regression that specialized `has` (a hand-rolled
    /// per-variant match block that drifts from the closed-set-driven
    /// `select` dispatcher, an early-return that short-circuits ambiguity
    /// checks a future `Lifetime::variant`-resolver refinement would
    /// need) surfaces HERE rather than as silent per-consumer drift.
    #[test]
    fn lifetime_has_matches_kind_select_is_some_bytewise() {
        for populated in LifetimeKind::ALL {
            let l = single_slot_lifetime(populated);
            for probed in LifetimeKind::ALL {
                assert_eq!(
                    l.has(probed),
                    probed.select(&l).is_some(),
                    "Lifetime::has drifted from kind.select(self).is_some() for populated={populated:?} probed={probed:?}",
                );
            }
        }
    }

    /// EMPTY-lifetime pin: a [`Lifetime`] with both slots [`None`]
    /// returns `false` for EVERY [`LifetimeKind`] — even though
    /// [`Lifetime::variant`] would resolve it to `Ok(Permanent)` via
    /// the default fallback. The two probes answer distinct questions
    /// (POPULATED slot vs RESOLVED variant); the pin binds the
    /// POPULATED semantic so a future consumer that reaches for
    /// `has(Permanent)` on a default lifetime hits the operator-visible
    /// "no permanent slot stamped" answer rather than the resolver's
    /// "empty defaults to Permanent" answer.
    #[test]
    fn lifetime_has_returns_false_on_default_lifetime_for_every_kind() {
        let l = Lifetime::default();
        for kind in LifetimeKind::ALL {
            assert!(
                !l.has(kind),
                "default Lifetime has no slot populated, yet has({kind:?}) returned true",
            );
        }
        // Sanity: the resolver still picks Permanent on the empty
        // input. If this changed, the semantics on the two probes
        // would diverge and the pin above would need re-thinking.
        assert_eq!(
            l.variant().expect("default resolves").kind(),
            LifetimeKind::Permanent,
        );
    }

    /// AMBIGUOUS-lifetime pin: a [`Lifetime`] with BOTH slots
    /// [`Some`] returns `true` for EVERY [`LifetimeKind`] — the
    /// POPULATED probe answers per-slot independently and does NOT
    /// short-circuit through the resolver's ambiguity error. The two
    /// probes answer distinct questions (POPULATED slot vs RESOLVED
    /// variant); [`Lifetime::variant`] on the same input errors with
    /// [`LifetimeError::Ambiguous`], while `has` reports both slots
    /// stamped. A future consumer that wants "did the operator stamp
    /// this slot" (an audit binary flagging both-slot Processes for
    /// migration) reaches through `has`; a consumer that wants "did
    /// the resolver settle on this kind" composes through `variant`.
    #[test]
    fn lifetime_has_returns_true_on_ambiguous_lifetime_for_every_populated_kind() {
        let l = Lifetime {
            permanent: Some(PermanentLifetime {}),
            ephemeral: Some(EphemeralLifetime::default()),
        };
        assert_eq!(l.variant().unwrap_err(), LifetimeError::Ambiguous);
        for kind in LifetimeKind::ALL {
            assert!(
                l.has(kind),
                "ambiguous Lifetime has both slots populated, yet has({kind:?}) returned false",
            );
        }
    }

    /// DELEGATION pin: [`Lifetime::is_ephemeral`] delegates through
    /// [`Lifetime::has`]`(LifetimeKind::Ephemeral)` byte-for-byte across
    /// every representative input (empty, permanent-only, ephemeral-
    /// only, ambiguous). A regression that reintroduces the pre-lift
    /// `self.ephemeral.is_some()` inline body (breaking the delegation
    /// chain to the substrate primitive) would silently succeed
    /// bytewise TODAY — but would strand [`Lifetime::is_ephemeral`]
    /// out of every future normalization landing at [`Self::has`]
    /// (a widened return, a debug-build assertion, a per-fleet warn).
    /// This pin binds the delegation so the divergence surfaces HERE
    /// rather than as silent drift downstream.
    #[test]
    fn is_ephemeral_delegates_through_has_ephemeral_bytewise() {
        let inputs: [Lifetime; 4] = [
            Lifetime::default(),
            Lifetime::permanent(),
            Lifetime::ephemeral(EphemeralLifetime::default()),
            Lifetime {
                permanent: Some(PermanentLifetime {}),
                ephemeral: Some(EphemeralLifetime::default()),
            },
        ];
        for l in &inputs {
            assert_eq!(
                l.is_ephemeral(),
                l.has(LifetimeKind::Ephemeral),
                "is_ephemeral() drifted from has(Ephemeral) for {l:?}",
            );
        }
    }

    /// `as_ephemeral` returns `Some` iff the variant is `Ephemeral`.
    /// Pins the lift of the `let Ok(LifetimeVariant::Ephemeral(e)) = ...`
    /// pattern that `lifetime_clock::evaluate` + `requeue_with_ttl`
    /// previously hand-rolled.
    #[test]
    fn lifetime_variant_as_ephemeral_returns_inner_only_for_ephemeral() {
        let permanent = PermanentLifetime {};
        let v = LifetimeVariant::Permanent(&permanent);
        assert!(v.as_ephemeral().is_none());
        assert!(v.as_permanent().is_some());

        let ephemeral = EphemeralLifetime {
            ttl: "42m".into(),
            teardown_policy: TeardownPolicy::OnAttested,
            max_concurrent: 3,
            exports: vec![],
        };
        let v = LifetimeVariant::Ephemeral(&ephemeral);
        let inner = v.as_ephemeral().expect("ephemeral must project");
        assert_eq!(inner.ttl, "42m");
        assert_eq!(inner.teardown_policy, TeardownPolicy::OnAttested);
        assert_eq!(inner.max_concurrent, 3);
        assert!(v.as_permanent().is_none());
    }

    /// `Lifetime::resolved_ephemeral` — the compound-lift primitive that
    /// composes `variant().ok() + as_ephemeral` — projects to `Some(&e)`
    /// iff the resolver picks the ephemeral slot unambiguously. All
    /// three failure modes (empty → permanent default, permanent-only,
    /// ambiguous) collapse to `None`, matching the pre-lift
    /// `lifetime_clock::evaluate` + `requeue_with_ttl` "no ephemeral
    /// action" outcome (`AutoTerminate::Skip` / `default` requeue).
    ///
    /// The ambiguous → `None` arm is DELIBERATELY the same outcome as
    /// permanent-only: an operator-authored spec with both slots
    /// populated is a mis-configuration, and firing TTL / teardown on
    /// it would be worse than skipping. Pinning that collapse here
    /// closes the possibility of a future per-consumer drift where one
    /// branch honors ambiguity (fires the timed action) and another
    /// doesn't.
    ///
    /// The `Some` arm asserts byte-identity of the projected borrow
    /// against `self.ephemeral.as_ref().unwrap()` — a mis-wire that
    /// silently swapped the projection to `self.permanent.as_ref()`
    /// would surface here as a type mismatch rather than as a runtime
    /// no-op in production.
    #[test]
    fn resolved_ephemeral_projects_only_the_unambiguous_ephemeral_slot() {
        // 1. Empty (both slots None) — resolves to Permanent default.
        let l = Lifetime::default();
        assert!(l.resolved_ephemeral().is_none());

        // 2. Permanent-only.
        // Routes through the ONE substrate composer
        // [`Lifetime::permanent`] — see the composer's doc-comment.
        let l = Lifetime::permanent();
        assert!(l.resolved_ephemeral().is_none());

        // 3. Ephemeral-only — the ONE arm that projects.
        let ephemeral = EphemeralLifetime {
            ttl: "13m".into(),
            teardown_policy: TeardownPolicy::OnFailed,
            max_concurrent: 7,
            exports: vec![],
        };
        // Routes through the ONE substrate composer
        // [`Lifetime::ephemeral`] — see the composer's doc-comment.
        let l = Lifetime::ephemeral(ephemeral.clone());
        let e = l.resolved_ephemeral().expect("ephemeral-only must project");
        assert_eq!(e.ttl, "13m");
        assert_eq!(e.teardown_policy, TeardownPolicy::OnFailed);
        assert_eq!(e.max_concurrent, 7);
        // The borrow points into `self.ephemeral`, not into a temporary.
        assert!(std::ptr::eq(e, l.ephemeral.as_ref().unwrap()));

        // 4. Ambiguous (both slots set) — collapses to None, NOT to
        //    the ephemeral inner. Guards against a future refactor
        //    that silently unwrapped ambiguity to "prefer ephemeral".
        let l = Lifetime {
            permanent: Some(PermanentLifetime {}),
            ephemeral: Some(EphemeralLifetime::default()),
        };
        assert_eq!(l.variant().unwrap_err(), LifetimeError::Ambiguous);
        assert!(l.resolved_ephemeral().is_none());
    }

    /// EMPTY-SLICE CONTRACT on [`Lifetime::ephemeral_exports`]: every
    /// non-Ephemeral outcome of the [`Lifetime::variant`] resolver
    /// (Permanent-only, empty-default, Ambiguous-both-slots) projects
    /// to the empty slice, byte-identical with `&[][..]`. Pin the
    /// three outcomes explicitly so a future refactor that promoted
    /// any of them to a non-empty projection (e.g. leaking a stashed
    /// default `EphemeralLifetime` on the Ambiguous corner) surfaces
    /// here instead of at every `export-<kind>` require-tag callsite
    /// as silent presence-flip.
    #[test]
    fn ephemeral_exports_returns_empty_slice_on_permanent_default_and_ambiguous_lifetime() {
        // 1. Empty (both slots None) — resolves to Permanent default.
        let l = Lifetime::default();
        assert!(l.ephemeral_exports().is_empty());
        // Byte-identity with `&[]` — not merely `len() == 0`.
        let empty: &[crate::export::ExportSpec] = &[];
        assert_eq!(l.ephemeral_exports().as_ptr(), empty.as_ptr());

        // 2. Permanent-only.
        let l = Lifetime::permanent();
        assert!(l.ephemeral_exports().is_empty());

        // 3. Ambiguous (both slots set) — variant() = Err, so the
        //    resolver's Option collapse yields None and the slice
        //    projection returns `&[]`. Guards against a future refactor
        //    that silently promoted the ambiguous corner to project
        //    the ephemeral half's exports through.
        let l = Lifetime {
            permanent: Some(PermanentLifetime {}),
            ephemeral: Some(EphemeralLifetime {
                exports: vec![minimal_export_spec()],
                ..EphemeralLifetime::default()
            }),
        };
        assert_eq!(l.variant().unwrap_err(), LifetimeError::Ambiguous);
        assert!(
            l.ephemeral_exports().is_empty(),
            "ambiguous lifetime must NOT project the ephemeral half's exports",
        );
    }

    /// POPULATED-PROJECTION CONTRACT on [`Lifetime::ephemeral_exports`]:
    /// when the resolver unambiguously projects to `Ephemeral`, the
    /// returned slice is the ephemeral's `exports` vec by byte-shape
    /// — length matches, every entry compares equal, and the slice's
    /// pointer aims into `self.ephemeral.as_ref().unwrap().exports`
    /// (not into a temporary). Composes with every
    /// [`ExportSpecSliceExt`] method the caller may drape onto the
    /// projection.
    #[test]
    fn ephemeral_exports_returns_declared_exports_slice_on_ephemeral_lifetime() {
        use crate::export::ExportTrigger;

        // Empty exports on the Ephemeral arm — projection returns
        // `&[]` from the ephemeral's own `.exports.as_slice()`.
        let l = Lifetime::ephemeral(EphemeralLifetime {
            exports: vec![],
            ..EphemeralLifetime::default()
        });
        assert!(l.ephemeral_exports().is_empty());

        // Populated — projection returns the declared exports.
        let exports = vec![minimal_export_spec(), {
            let mut e = minimal_export_spec();
            e.when = ExportTrigger::OnFailed;
            e
        }];
        let l = Lifetime::ephemeral(EphemeralLifetime {
            exports: exports.clone(),
            ..EphemeralLifetime::default()
        });
        let slice = l.ephemeral_exports();
        assert_eq!(slice.len(), exports.len());
        for (i, expected) in exports.iter().enumerate() {
            assert_eq!(slice[i].when, expected.when);
        }
    }

    /// POINTER-IDENTITY CONTRACT on [`Lifetime::ephemeral_exports`]:
    /// the returned slice points into `self.ephemeral.as_ref().
    /// unwrap().exports`, not into a temporary. A mis-wire that
    /// silently swapped the projection to a fresh Vec (e.g. through
    /// `.to_vec()`) would surface here as a pointer-mismatch, before
    /// any behavior-preservation invariant on downstream
    /// [`ExportSpecSliceExt`] callers could hide it. Composes with
    /// the peer contract on [`Self::resolved_ephemeral`]'s
    /// `std::ptr::eq(e, l.ephemeral.as_ref().unwrap())` pin.
    #[test]
    fn ephemeral_exports_slice_matches_resolved_ephemeral_exports_pointer_when_present() {
        let l = Lifetime::ephemeral(EphemeralLifetime {
            exports: vec![minimal_export_spec()],
            ..EphemeralLifetime::default()
        });
        let via_slice_ptr = l.ephemeral_exports().as_ptr();
        let via_resolver_ptr = l
            .resolved_ephemeral()
            .expect("ephemeral-only must project")
            .exports
            .as_ptr();
        assert!(std::ptr::eq(via_slice_ptr, via_resolver_ptr));
    }

    /// Minimal well-formed [`crate::export::ExportSpec`] for the
    /// three [`Lifetime::ephemeral_exports`] tests above. Composed
    /// through the smallest closed-set / tagged-union arms on the
    /// export surface (`OnAttested` trigger, receipts-only source,
    /// HTTP-event-only channel) so the fixture's identity comparisons
    /// stay stable against future variant additions on the peer
    /// discriminators.
    fn minimal_export_spec() -> crate::export::ExportSpec {
        use crate::export::{
            ArtifactSource, ExportSpec, ExportTrigger, HttpEventChannel, ReceiptsSource,
            VectorChannel,
        };
        ExportSpec {
            source: ArtifactSource {
                receipts: Some(ReceiptsSource::default()),
                ..ArtifactSource::default()
            },
            channel: VectorChannel {
                http_event: Some(HttpEventChannel::signal("receipt")),
                ..VectorChannel::default()
            },
            when: ExportTrigger::OnAttested,
            experiment_id_override: None,
        }
    }

    /// EMPTY-RESOLVES-TO-PERMANENT CONTRACT: the resolver's "no slot
    /// set" outcome is `Permanent`, not an error. Pin via the
    /// closed-set kind projection so a future variant added to the
    /// closed set (and to the `Lifetime` struct) without updating
    /// the default resolution would surface here — the default
    /// stays `Permanent` regardless of the closed set's arity.
    #[test]
    fn empty_lifetime_resolves_to_permanent_kind() {
        let l = Lifetime::default();
        let v = l.variant().expect("default lifetime resolves");
        assert_eq!(v.kind(), LifetimeKind::Permanent);
        assert!(v.as_permanent().is_some());
        assert!(v.as_ephemeral().is_none());
    }

    /// Construct a `Lifetime` with exactly the given kind's slot
    /// populated by a minimal valid inner spec. Shared across the
    /// closed-set property tests so they each cover every variant
    /// without restating the construction table.
    fn single_slot_lifetime(kind: LifetimeKind) -> Lifetime {
        // Each arm routes through the ONE substrate composer for its
        // closed-set discriminator — [`Lifetime::permanent`] /
        // [`Lifetime::ephemeral`]. See their doc-comments for the
        // migration rationale.
        match kind {
            LifetimeKind::Permanent => Lifetime::permanent(),
            LifetimeKind::Ephemeral => Lifetime::ephemeral(EphemeralLifetime::default()),
        }
    }

    #[test]
    fn exports_round_trip_through_lifetime() {
        use crate::export::{
            ArtifactSource, ExportSpec, ExportTrigger, HttpEventChannel, ReceiptsSource,
            VectorChannel,
        };
        // Routes through the ONE substrate composer
        // [`Lifetime::ephemeral`] — see the composer's doc-comment.
        let l = Lifetime::ephemeral(EphemeralLifetime {
            ttl: "30m".into(),
            teardown_policy: TeardownPolicy::OnAttested,
            max_concurrent: 1,
            exports: vec![ExportSpec {
                source: ArtifactSource {
                    receipts: Some(ReceiptsSource::default()),
                    ..ArtifactSource::default()
                },
                channel: VectorChannel {
                    http_event: Some(HttpEventChannel::signal("receipt")),
                    ..VectorChannel::default()
                },
                when: ExportTrigger::OnAttested,
                experiment_id_override: None,
            }],
        });
        let yaml = serde_yaml::to_string(&l).unwrap();
        assert!(yaml.contains("exports:"));
        assert!(yaml.contains("receipts: {}"));
        assert!(yaml.contains("signalType: receipt"));
        let back: Lifetime = serde_yaml::from_str(&yaml).unwrap();
        let e = back.ephemeral.unwrap();
        assert_eq!(e.exports.len(), 1);
        assert!(e.exports[0].source.receipts.is_some());
        assert!(e.exports[0].channel.http_event.is_some());
    }

    // ─── EphemeralLifetime::ttl_duration substrate pins ──────────────
    //
    // The `humantime::parse_duration(&<eph>.ttl).ok()` chain was open-
    // lifted from TWO consumer sites in `crate::lifetime_clock`
    // (`evaluate` + `requeue_with_ttl`) onto the ONE substrate
    // primitive [`EphemeralLifetime::ttl_duration`]. These pins bind
    // the primitive at the fail-before-pass-after level so a future
    // regression that swaps the return-form (an
    // `anyhow::Result<Duration>` — a per-consumer normalization gate
    // — a saturating `Duration::ZERO` for the parse-error corner)
    // fails HERE before landing at either consumer.

    fn eph_with_ttl(ttl: &str) -> EphemeralLifetime {
        EphemeralLifetime {
            ttl: ttl.to_string(),
            teardown_policy: TeardownPolicy::default(),
            max_concurrent: 1,
            exports: Vec::new(),
        }
    }

    /// The canonical shape every consumer rides through — a parseable
    /// humantime string projects to `Some(std::time::Duration)` matching
    /// the operator-authored `ttl` verbatim. Pin: the returned duration
    /// is EXACTLY what `humantime::parse_duration` produces for the
    /// same input, in `std::time::Duration` so the downstream
    /// `elapsed >= ttl` / `ttl.checked_sub(elapsed)` comparators land
    /// with both operands on the same axis without a per-consumer
    /// conversion.
    #[test]
    fn ttl_duration_parseable_humantime_projects_to_some() {
        for (ttl, expected) in [
            ("1h", std::time::Duration::from_secs(3600)),
            ("30m", std::time::Duration::from_secs(1800)),
            ("90s", std::time::Duration::from_secs(90)),
            ("5m30s", std::time::Duration::from_secs(330)),
            ("500ms", std::time::Duration::from_millis(500)),
        ] {
            assert_eq!(
                eph_with_ttl(ttl).ttl_duration(),
                Some(expected),
                "ttl_duration drift for {ttl:?}",
            );
        }
    }

    /// The `None` arm is the "operator's ttl string doesn't parse"
    /// corner every consumer collapses to the skip-branch — a typo, an
    /// unsupported unit, an empty string, a free-form label that
    /// reached the field. Pin the boundary at the primitive so a
    /// future normalization can't silently substitute a default in
    /// place of the parse-failure signal.
    #[test]
    fn ttl_duration_unparseable_returns_none() {
        for bad in [
            // Empty string — the operator left the ttl blank.
            "", // Non-humantime literal — the operator wrote a foreign format.
            "forever", "1our",
            // Nonsense that looks numeric but isn't a humantime span.
            "abc",
            // Only-whitespace input — passes serde's non-empty gate but
            // doesn't parse as a duration.
            "   ",
        ] {
            assert_eq!(
                eph_with_ttl(bad).ttl_duration(),
                None,
                "ttl_duration should be None for {bad:?}",
            );
        }
    }

    /// Zero-duration edge — `"0s"` parses to `Duration::ZERO`, not
    /// `None`. Every consumer needs the zero-ttl EphemeralLifetime to
    /// count as "elapsed=0 already ≥ ttl=0" so a zero-TTL ephemeral
    /// expires on its own creation instant; swapping this arm to
    /// `None` would silently keep every zero-TTL Process alive past
    /// the TTL-expiry gate in [`crate::lifetime_clock::evaluate`].
    #[test]
    fn ttl_duration_zero_seconds_returns_some_zero() {
        assert_eq!(
            eph_with_ttl("0s").ttl_duration(),
            Some(std::time::Duration::ZERO),
        );
    }

    /// Subsecond precision survives the parse — a regression that
    /// silently truncated to whole seconds would compare
    /// `elapsed = 500ms` against a `ttl_duration()` of `500ms` as
    /// `500ms >= 0s` (always fire) rather than `500ms >= 500ms`
    /// (fires on the boundary). Peer to the sibling substrate
    /// `elapsed_since` subsecond pin in `crate::time`.
    #[test]
    fn ttl_duration_preserves_subsecond_precision() {
        assert_eq!(
            eph_with_ttl("250ms").ttl_duration(),
            Some(std::time::Duration::from_millis(250)),
        );
    }

    /// Default `EphemeralLifetime` carries the canonical `"1h"` ttl
    /// (matches `default_ttl()` at this file's top), so
    /// `.ttl_duration()` on it agrees with a manually-parsed `"1h"`
    /// pass through `humantime`. Pins the default-ttl contract at
    /// the substrate so a future default rename lands at ONE site
    /// (this ttl_duration pin + the `default_ttl` fn) without silent
    /// wall-clock drift at either consumer.
    #[test]
    fn ttl_duration_of_default_ephemeral_matches_1h() {
        let e = EphemeralLifetime::default();
        assert_eq!(e.ttl, "1h");
        assert_eq!(e.ttl_duration(), Some(std::time::Duration::from_secs(3600)));
    }

    /// Byte-for-byte parity with the pre-lift hand-authored chain —
    /// `<eph>.ttl_duration()` produces the SAME
    /// `Option<std::time::Duration>` as the two-link `humantime::
    /// parse_duration(&<eph>.ttl).ok()` chain both `lifetime_clock`
    /// consumers walked pre-lift. A regression at THIS pin fails
    /// before it lands at either consumer as silent operator-facing
    /// skew between the TTL-expiry gate and the sleep-budget picker.
    #[test]
    fn ttl_duration_matches_pre_lift_hand_authored_chain_bytewise() {
        for ttl in [
            "1h", "30m", "90s", "5m30s", "500ms", "0s", "1us", "forever", "", "1our",
        ] {
            let e = eph_with_ttl(ttl);
            let via_primitive = e.ttl_duration();
            let hand_authored = humantime::parse_duration(&e.ttl).ok();
            assert_eq!(
                via_primitive, hand_authored,
                "ttl_duration must be byte-identical to `humantime::\
                 parse_duration(&self.ttl).ok()` for {ttl:?}",
            );
        }
    }

    // ─── Lifetime::{permanent,ephemeral} substrate composer pins ─────
    //
    // The `Lifetime { permanent: Some(PermanentLifetime {}), .. }` +
    // `Lifetime { ephemeral: Some(<e>), .. }` shapes were open-lifted
    // from FOUR + ELEVEN+ hand-authored fixture literals onto the ONE
    // substrate composer pair [`Lifetime::permanent`] +
    // [`Lifetime::ephemeral`]. These pins bind the composers at the
    // fail-before-pass-after level so a future regression that flipped
    // either arm (a swapped slot assignment, a stray `Some` on the
    // opposite slot, a drift in the resolver's landing variant) fails
    // HERE before landing at any of the fifteen+ consumer sites.

    /// Pre-lift the `Lifetime { permanent: Some(PermanentLifetime {}),
    /// ephemeral: None }` (equivalently `Lifetime { permanent:
    /// Some(PermanentLifetime {}), ..Lifetime::default() }`) shape had
    /// three surfaces every consumer paired: the resolver picks
    /// `Permanent`, the `is_ephemeral` gate reads `false`, and the
    /// two slots read as (`Some`, `None`). Bind all three from the
    /// composer in ONE assertion group.
    #[test]
    fn lifetime_permanent_composer_matches_pre_lift_shape_bytewise() {
        let via_primitive = Lifetime::permanent();
        let hand_authored = Lifetime {
            permanent: Some(PermanentLifetime {}),
            ephemeral: None,
        };

        // Both slots read identically.
        assert!(via_primitive.permanent.is_some());
        assert!(hand_authored.permanent.is_some());
        assert!(via_primitive.ephemeral.is_none());
        assert!(hand_authored.ephemeral.is_none());

        // is_default is false (permanent is set), is_ephemeral is false.
        assert!(!via_primitive.is_default());
        assert!(!via_primitive.is_ephemeral());
        assert_eq!(via_primitive.is_default(), hand_authored.is_default());
        assert_eq!(via_primitive.is_ephemeral(), hand_authored.is_ephemeral());

        // Resolver lands on `Permanent`, not on `Ambiguous`.
        assert_eq!(
            via_primitive
                .variant()
                .expect("permanent-only resolves")
                .kind(),
            LifetimeKind::Permanent,
        );

        // resolved_ephemeral projects to None (peer arm of the
        // ephemeral-only composer's Some(&e) landing).
        assert!(via_primitive.resolved_ephemeral().is_none());
    }

    /// Pre-lift the `Lifetime { permanent: None, ephemeral: Some(<e>) }`
    /// (equivalently `Lifetime { ephemeral: Some(<e>), ..Lifetime::
    /// default() }`) shape had four surfaces every consumer paired: the
    /// resolver picks `Ephemeral(<e>)`, the `is_ephemeral` gate reads
    /// `true`, the two slots read as (`None`, `Some`), and
    /// [`Lifetime::resolved_ephemeral`] projects to `Some(&<e>)` with
    /// the SAME inner spec bytes the caller supplied. Bind all four
    /// from the composer in ONE assertion group.
    #[test]
    fn lifetime_ephemeral_composer_matches_pre_lift_shape_bytewise() {
        let inner = EphemeralLifetime {
            ttl: "17m".into(),
            teardown_policy: TeardownPolicy::OnFailed,
            max_concurrent: 5,
            exports: vec![],
        };
        let via_primitive = Lifetime::ephemeral(inner.clone());
        let hand_authored = Lifetime {
            permanent: None,
            ephemeral: Some(inner.clone()),
        };

        // Both slots read identically.
        assert!(via_primitive.permanent.is_none());
        assert!(hand_authored.permanent.is_none());
        assert!(via_primitive.ephemeral.is_some());
        assert!(hand_authored.ephemeral.is_some());

        // is_default is false, is_ephemeral is true.
        assert!(!via_primitive.is_default());
        assert!(via_primitive.is_ephemeral());
        assert_eq!(via_primitive.is_default(), hand_authored.is_default());
        assert_eq!(via_primitive.is_ephemeral(), hand_authored.is_ephemeral());

        // Resolver lands on `Ephemeral` with the SAME inner bytes.
        let via_inner = via_primitive
            .resolved_ephemeral()
            .expect("ephemeral-only resolves to Some(&e)");
        assert_eq!(via_inner.ttl, inner.ttl);
        assert_eq!(via_inner.teardown_policy, inner.teardown_policy);
        assert_eq!(via_inner.max_concurrent, inner.max_concurrent);

        // Kind projects to `Ephemeral`.
        assert_eq!(
            via_primitive
                .variant()
                .expect("ephemeral-only resolves")
                .kind(),
            LifetimeKind::Ephemeral,
        );
    }

    /// The two composers PARTITION the closed set — every
    /// `LifetimeKind` variant is reachable by exactly ONE composer,
    /// and the composer's landing kind matches the discriminator. A
    /// future third variant added to `LifetimeKind` without a paired
    /// composer would surface here (the exhaustive `ALL` sweep would
    /// hit a case with no arm to construct through).
    #[test]
    fn lifetime_composers_cover_every_non_ambiguous_closed_set_arm() {
        for kind in LifetimeKind::ALL {
            let via_composer = match kind {
                LifetimeKind::Permanent => Lifetime::permanent(),
                LifetimeKind::Ephemeral => Lifetime::ephemeral(EphemeralLifetime::default()),
            };
            let resolved = via_composer
                .variant()
                .expect("composer output resolves unambiguously")
                .kind();
            assert_eq!(
                resolved, kind,
                "composer for {kind:?} must land on the SAME resolver kind",
            );
        }
    }

    // ─── Workspace-canonical ephemeral-defaults substrate pins ────────
    //
    // Bind [`default_ephemeral_ttl`] + [`default_ephemeral_max_concurrent`]
    // and the paired [`DEFAULT_EPHEMERAL_TTL`] + [`DEFAULT_EPHEMERAL_MAX_CONCURRENT`]
    // consts at fail-before-pass-after granularity so a regression that
    // drifted the wire-form default (a shift from `"1h"` to `"30m"` at
    // ONLY the const, a shift from `1` to `2` at only the fn body, a
    // decoupling of the const from the fn's returned value) surfaces
    // HERE rather than as silent operator-visible skew across the
    // THREE serde-default consumers ([`EphemeralLifetime::ttl`] +
    // [`crate::ephemeral::EphemeralSpec::ttl`] + `tatara-reconciler
    // ::ephemeral_defaults::EphemeralDefaults::default_ttl`) that ride
    // through this ONE substrate owner.

    #[test]
    fn default_ephemeral_ttl_matches_pre_lift_1h_string_bytewise() {
        // Byte-shape parity with the THREE hand-authored pre-lift shims
        // that each returned `"1h".to_string()`. A regression that
        // drifted the returned string (an accidental locale-specific
        // `"1 h"` spacing, a typo to `"1H"` that survives serde but
        // fails humantime parse, a shift to a whole-second `"3600s"`
        // canonicalization) fails HERE rather than at the three
        // downstream consumers.
        assert_eq!(
            default_ephemeral_ttl(),
            "1h",
            "default_ephemeral_ttl must return the pre-lift `\"1h\"` \
             string bytewise; a regression that drifted the wire-form \
             surfaces here rather than as three-way skew across the \
             EphemeralLifetime / EphemeralSpec / EphemeralDefaults \
             consumers.",
        );
    }

    #[test]
    fn default_ephemeral_ttl_wire_form_const_matches_fn_return_bytewise() {
        // Cross-form coherence pin: the `pub const DEFAULT_EPHEMERAL_TTL:
        // &str` handle and the `pub fn default_ephemeral_ttl() -> String`
        // owner MUST project onto the SAME wire-form value. A regression
        // that updated one but not the other (e.g. lifted the const to
        // a new default but forgot the fn body, or vice versa) would
        // silently produce two divergent workspace-canonical defaults
        // — the const for compile-time consumers, the fn for serde-
        // default consumers. Pin the two projections at equality.
        assert_eq!(
            DEFAULT_EPHEMERAL_TTL, "1h",
            "DEFAULT_EPHEMERAL_TTL const must byte-match the pre-lift \
             wire-form default `\"1h\"`",
        );
        assert_eq!(
            default_ephemeral_ttl(),
            DEFAULT_EPHEMERAL_TTL,
            "default_ephemeral_ttl() must byte-match the paired \
             DEFAULT_EPHEMERAL_TTL const — a divergence would silently \
             skew serde-default consumers vs compile-time const readers",
        );
    }

    #[test]
    fn default_ephemeral_ttl_composes_at_ephemeral_lifetime_default_field() {
        // End-to-end: the `EphemeralLifetime::default()` composer routes
        // its `ttl:` slot through the substrate owner and the resulting
        // field reads bytewise-identical to the substrate primitive's
        // return. A regression that reintroduced a hand-authored `"1h"
        // .to_string()` inline at `Default::default` (or drifted the
        // ttl slot away from the substrate) would fail here.
        assert_eq!(
            EphemeralLifetime::default().ttl,
            default_ephemeral_ttl(),
            "EphemeralLifetime::default().ttl must route through \
             default_ephemeral_ttl — inline `\"1h\".to_string()` reintroduction \
             surfaces here rather than as skew with the two peer \
             ephemeral-defaults consumers",
        );
    }

    #[test]
    fn default_ephemeral_ttl_composes_at_ephemeral_spec_serde_default() {
        // The `(defephemeral …)` Lisp authoring surface's serde default
        // must round-trip through the substrate owner: a YAML fragment
        // that omits the `ttl:` field parses into an EphemeralSpec whose
        // `ttl` reads bytewise-identical to the substrate primitive.
        // A regression that reintroduced a private `default_ttl` shim
        // in `ephemeral.rs` (bypassing the substrate) would produce a
        // silent skew between `defephemeral :ttl <omitted>` and
        // `EphemeralLifetime::default()`.
        let yaml = "\
aplicacao:
  chartRef: oci://ghcr.io/pleme-io/charts/lareira-demo-app
  version: \"0.5.5\"
  profile: all-in-one
  valuesOverlay: null
";
        let spec: crate::ephemeral::EphemeralSpec =
            serde_yaml::from_str(yaml).expect("EphemeralSpec YAML parses");
        assert_eq!(
            spec.ttl,
            default_ephemeral_ttl(),
            "EphemeralSpec serde-default for the omitted `ttl:` slot \
             must route through crate::lifetime::default_ephemeral_ttl \
             — a private-shim reintroduction skews the two peer \
             ephemeral-authoring surfaces silently",
        );
    }

    #[test]
    fn default_ephemeral_ttl_parses_as_humantime_1h() {
        // Substrate invariant: the wire-form default MUST parse as a
        // humantime duration equal to one hour. A regression that
        // drifted the const to an unparseable string (a locale-specific
        // spelling, a serde-friendly-but-humantime-invalid literal)
        // would silently break every downstream TTL-expiry gate. Pin
        // the invariant at the substrate boundary rather than at every
        // consumer's own humantime-parse callsite.
        let parsed =
            humantime::parse_duration(DEFAULT_EPHEMERAL_TTL).expect("`\"1h\"` parses as humantime");
        assert_eq!(
            parsed,
            std::time::Duration::from_secs(3_600),
            "DEFAULT_EPHEMERAL_TTL must parse as a one-hour duration; a \
             regression that drifted the wire-form to an unparseable \
             string surfaces here rather than as silent TTL-expiry-gate \
             misfires at every downstream consumer",
        );
    }

    #[test]
    fn default_ephemeral_max_concurrent_matches_pre_lift_1_bytewise() {
        // Byte-shape parity with the TWO hand-authored pre-lift shims
        // that each returned `1u32`. A regression that drifted the
        // returned value (a shift to `0` for uncapped, a shift to `2`
        // for parallel-safe defaults) surfaces here rather than at
        // both `EphemeralLifetime::max_concurrent` and
        // `EphemeralSpec::max_concurrent` serde defaults.
        assert_eq!(
            default_ephemeral_max_concurrent(),
            1,
            "default_ephemeral_max_concurrent must return the pre-lift \
             `1u32` value bytewise; a regression surfaces here rather \
             than as two-way skew across the EphemeralLifetime + \
             EphemeralSpec consumers.",
        );
    }

    #[test]
    fn default_ephemeral_max_concurrent_wire_form_const_matches_fn_return_bytewise() {
        // Peer to the TTL cross-form pin — the `pub const
        // DEFAULT_EPHEMERAL_MAX_CONCURRENT: u32` handle and the
        // `pub fn default_ephemeral_max_concurrent() -> u32` owner MUST
        // project onto the SAME `1u32` value.
        assert_eq!(DEFAULT_EPHEMERAL_MAX_CONCURRENT, 1);
        assert_eq!(
            default_ephemeral_max_concurrent(),
            DEFAULT_EPHEMERAL_MAX_CONCURRENT,
        );
    }

    #[test]
    fn default_ephemeral_max_concurrent_composes_at_ephemeral_lifetime_default_field() {
        // Same end-to-end contract as the TTL peer pin: the
        // `EphemeralLifetime::default()` composer routes its
        // `max_concurrent:` slot through the substrate owner and the
        // resulting field bytewise-matches the substrate primitive.
        assert_eq!(
            EphemeralLifetime::default().max_concurrent,
            default_ephemeral_max_concurrent(),
        );
    }

    #[test]
    fn ephemeral_authoring_surfaces_share_workspace_canonical_ttl_default() {
        // Cross-surface coherence pin: the two `tatara-process`
        // ephemeral authoring surfaces — the lifetime-slot default and
        // the `(defephemeral …)` sugar default — MUST reach the SAME
        // workspace-canonical TTL string via serde default. A drift at
        // either site (a private-shim reintroduction, an inline literal
        // shortcut, a partial re-tuning that missed the peer) surfaces
        // HERE as observable skew between the two Default outputs.
        let yaml = "\
aplicacao:
  chartRef: oci://ghcr.io/pleme-io/charts/x
  version: \"0.1\"
  profile: p
  valuesOverlay: null
";
        let spec: crate::ephemeral::EphemeralSpec =
            serde_yaml::from_str(yaml).expect("EphemeralSpec parses");
        let lifetime = EphemeralLifetime::default();
        assert_eq!(
            spec.ttl, lifetime.ttl,
            "EphemeralSpec::ttl serde default and \
             EphemeralLifetime::default().ttl MUST agree — both must \
             route through crate::lifetime::default_ephemeral_ttl",
        );
        assert_eq!(
            spec.max_concurrent, lifetime.max_concurrent,
            "EphemeralSpec::max_concurrent serde default and \
             EphemeralLifetime::default().max_concurrent MUST agree — \
             both must route through crate::lifetime::default_ephemeral_max_concurrent",
        );
    }

    /// Neither composer produces the ambiguous corner — the composer's
    /// contract is "exactly one slot set", and the ambiguous case
    /// [`LifetimeError::Ambiguous`] must be unreachable through them.
    /// A future refactor that widened either composer to accept the
    /// opposite slot (e.g. added a `permanent_with_ephemeral_override`
    /// arm) would surface here.
    #[test]
    fn lifetime_composers_never_produce_ambiguous_variant() {
        assert!(
            Lifetime::permanent().variant().is_ok(),
            "Lifetime::permanent must never resolve to Ambiguous",
        );
        assert!(
            Lifetime::ephemeral(EphemeralLifetime::default())
                .variant()
                .is_ok(),
            "Lifetime::ephemeral must never resolve to Ambiguous",
        );
    }
}