Struct AllocationSpec 

pub struct AllocationSpec {
    pub pool_ref: Option<AllocationRef>,
    pub requestor: Requestor,
    pub ttl: Option<String>,
    pub note: Option<String>,
}

EphemeralAllocation CRD spec — a typed request for a pool member.

apiVersion: tatara.pleme.io/v1alpha1
kind: EphemeralAllocation
metadata:
  name: pr-123-demo-app
  namespace: ephemeral-pools
spec:
  poolRef:
    name: attest-pool
    namespace: ephemeral-pools
  requestor:
    kind: github-pr
    repo: "pleme-io/demo-app"
    branch: "fix-something"
    prNumber: 123
    prLabels: ["needs-ephemeral"]
  ttl: "1h"

Fields

pool_ref: Option<AllocationRef>

Direct pool reference. When set, skip selector-based routing.

requestor: Requestor

Who is asking for the env.

ttl: Option<String>

How long the requestor needs the env (humantime). The pool reconciler clamps this to pool.spec.maxAllocationTtl. When unset, falls back to the pool’s template.ttl.

note: Option<String>

Operator-supplied notes — surfaced in feira allocation list for audit / debugging context.

Implementations

impl AllocationSpec

pub fn requestor_only(requestor: Requestor) -> Self

The canonical minimal AllocationSpec composer — binds only the single caller-varying Self::requestor slot and leaves the three-slot default tail (pool_ref = None, ttl = None, note = None) at ONE substrate owner. The lift of the 5-line AllocationSpec { pool_ref: None, requestor: <r>, ttl: None, note: None } incantation past the ★★ PRIME-DIRECTIVE ≥ 2 duplication threshold — pre-lift the SAME requestor-only fixture shape recurred at NINE workspace-wide fixture sites (five inside crate::allocation’s own test module — the alloc_with_phase / alloc_without_status observers on the phase axis, the alloc_with_bound_pool observer on the routing axis, the alloc_with_expires_at observer on the TTL axis, and the allocation_spec_omits_optional_fields wire- shape pin; three inside [crate::lib]’s pin fixtures — the alloc_fixture + two empty_alloc_spec helpers on the coordinate / annotation axes; one inside tatara-pool- reconciler::allocation_decide — the alloc fixture seeding the pool convergence-decision test battery). All nine sites walked the SAME three-slot default tail — differing only in the caller-varying Requestor value.

The three-slot default tail is the SAFE minimal shape: pool_ref = None triggers selector-based routing (rather than pinning a specific pool), ttl = None falls back to the pool template’s TTL, note = None leaves the audit slot empty. Every crate::pool::PoolSelector filter sees “no direct pool binding” and matches every candidate pool for the requestor’s kind; post-lift a callsite that legitimately overrides a slot lands the override at its own site via struct-update on top of requestor_only.

A future addition to AllocationSpec — a new optional slot (e.g. a priority for admission-control kinds, a budget for cost-accounting, a labels set for per-allocation tagging) — lands at ONE primitive body and every fixture / default-shape callsite inherits the upgrade mechanically. Pre-lift a new field would have broken all NINE callsites (each holds an exhaustive struct literal); post-lift only sites that legitimately override the new slot need to name it.

Sibling substrate primitives on the same “bind-the-required- slot-only” axis: Requestor::kind_only (Requestor kind- only composer; the six-slot Requestor counterpart, one of the values this composer stamps into its own requestor slot), crate::intent::AplicacaoIntent::chart_only (Aplicacao chart-pointer-only composer; the 7-slot Aplicacao counterpart), crate::pool::PoolSpec::with_template (Pool template-only composer; the 11-slot Pool counterpart), and [crate::spec::ProcessSpec::gate_compute_defaults] (Process zero-arg-fixture composer; the 12-slot Process counterpart).

Theory anchor: THEORY.md §VI.1 (generation over composition — the 3-slot default tail recurred at NINE hand-authored sites past the ★★ PRIME-DIRECTIVE ≥ 2 duplication trigger, spanning two workspace crates, and is lifted onto the ONE workspace- wide substrate owner here). THEORY.md §II.1 invariant 5 (composition preserves proofs — the pin block below binds the primitive at fail-before-pass-after granularity so a regression that drifted any of the three default-tail slots surfaces at THESE pins rather than as silent fixture skew across the nine downstream consumers).

Trait Implementations

impl Clone for AllocationSpec

fn clone(&self) -> AllocationSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AllocationSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AllocationSpec

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for AllocationSpec

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 AllocationSpec

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

where __S: Serializer,

Serialize this value into the given Serde serializer.