Struct PoolStatus 

pub struct PoolStatus {
    pub phase: PoolPhase,
    pub phase_since: Option<DateTime<Utc>>,
    pub ready_count: u32,
    pub allocated_count: u32,
    pub spawning_count: u32,
    pub returning_count: u32,
    pub members: Vec<PoolMember>,
    pub message: Option<String>,
    pub conditions: Vec<PoolCondition>,
}

EphemeralPool.status — observed pool population state.

Fields

phase: PoolPhase

Pool lifecycle phase.

phase_since: Option<DateTime<Utc>>

When the pool entered the current phase.

ready_count: u32

Number of members currently in Free state (ready for allocation).

allocated_count: u32

Number of members currently Allocated.

spawning_count: u32

Number of members currently Spawning (not yet Attested).

returning_count: u32

Number of members currently Returning (reset or replace in progress).

members: Vec<PoolMember>

Member ledger — one entry per pool slot.

message: Option<String>

Operator-visible message (e.g., “scaled down to floor”).

conditions: Vec<PoolCondition>

Standard Kubernetes Conditions.

Implementations

impl PoolStatus

pub fn observed( phase: PoolPhase, members: Vec<PoolMember>, now: DateTime<Utc>, ) -> Self

Substrate constructor for the observed PoolStatus seed: composes the (phase, phase_since, ready/allocated/spawning /returning counts, members, message, conditions) 9-slot record every pool-reconciler status-patch site restated by hand pre- lift. The four counters ride a SINGLE closed-set-driven fold over the members list (one pass rather than four independent filter-and-count passes); the message + conditions slots stay at their invariant None / vec![] defaults every pre- lift caller stamped verbatim, and phase_since is derived from the caller-supplied now timestamp so the constructor stays clock-injectable rather than implicitly reading wall time.

Pre-lift the 11-line

PoolStatus {
    phase,
    phase_since: Some(Utc::now()),
    ready_count: count_state(&members, MemberState::Free),
    allocated_count: count_state(&members, MemberState::Allocated),
    spawning_count: count_state(&members, MemberState::Spawning),
    returning_count: count_state(&members, MemberState::Returning),
    members: members.clone(),
    message: None,
    conditions: vec![],
}

incantation was hand-authored at TWO sites past the ★★ PRIME- DIRECTIVE ≥ 2 duplication threshold in tatara-pool-reconciler::controller_pool::reconcile_inner, both restating the same 4-slot count fanout + defaults:

• The desired > 0 path — status patch after the convergence-action loop when the operator drives the pool through the R11 desired-count invariant.
• The legacy allocation-driven path (desired == 0) — status patch after the [crate::pool::PoolDecision] apply loop.

Both sites walked the SAME 4-slot count fanout on the SAME four MemberState variants (Free/Allocated/Spawning/Returning) and stamped the SAME defaults (message: None, conditions: vec![]), even though the four counters walked the members list four independent times pre-lift when a single pass suffices. Post-lift both callers write PoolStatus::observed(phase, members, Utc::now()) and share ONE substrate owner; a future counter slot (e.g., a warming_count for a MemberState::Warming variant between Spawning and Free) plugs into the fold at ONE match arm and both status-patch sites inherit the new slot mechanically.

The Failed variant is deliberately absent from the fold — no PoolStatus slot counts failed members (they surface via pool_phase_from_members’s PoolPhase::Degraded transition instead), and the closed-set match on MemberState pins that a future variant which SHOULD count toward one of the four buckets triggers the compiler’s exhaustiveness check at this fold rather than silently sinking into Failed’s no-op arm.

Theory anchor: THEORY.md §VI.1 (generation over composition — the 11-line status-seed incantation 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 4-slot count fanout + the closed-set exhaustiveness on MemberState + the invariant defaults, so a regression that dropped a counter slot or swapped a variant surfaces at tests::pool_status_observed_* rather than as silent operator- facing skew between the two status-patch sites on the SAME pool).

Trait Implementations

impl Clone for PoolStatus

fn clone(&self) -> PoolStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PoolStatus

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

Formats the value using the given formatter.

impl Default for PoolStatus

fn default() -> PoolStatus

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for PoolStatus

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for PoolStatus

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl Serialize for PoolStatus

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.