Struct EphemeralSpec 

pub struct EphemeralSpec {
    pub aplicacao: AplicacaoIntent,
    pub ttl: String,
    pub teardown: TeardownPolicy,
    pub max_concurrent: u32,
    pub postconditions: Vec<Condition>,
    pub preconditions: Vec<Condition>,
    pub verify_timeout: Option<String>,
    pub classification: Option<Classification>,
    pub parent: Option<String>,
    pub exports: Vec<ExportSpec>,
    pub routing: Option<RoutingSpec>,
}

EphemeralSpec — typed wrapper that authors (defephemeral …).

Lowers to a ProcessSpec via From<EphemeralSpec> — the bridge is pure-typed, no string substitution. Defaults to point_type = Gate, substrate = Compute, data_classification = Internal — every field can be overridden via the full (defpoint …) form when the operator needs the lower-level surface.

Fields

aplicacao: AplicacaoIntent

The Aplicacao chart + profile + overlay to install.

ttl: String

TTL — humantime duration ("1h", "30m").

teardown: TeardownPolicy

When the ephemeral Process auto-terminates.

max_concurrent: u32

Cluster-wide concurrency budget across ephemeral Processes sharing the same :aplicacao :chart-ref. 0 = no cap.

postconditions: Vec<Condition>

Boundary postconditions evaluated before reaching Attested. Typically HelmReleaseReleased plus one or more ClosedLoopAuth / JobAttested checks for test suites + closed-loop probes.

preconditions: Vec<Condition>

Optional boundary preconditions (Namespace, Issuer, PullSecret readiness etc.).

verify_timeout: Option<String>

VERIFY-phase timeout. Empty = controller default.

classification: Option<Classification>

Optional Process classification override. When omitted, defaults to Gate / Compute / Internal / Bounded / NonMonotone.

parent: Option<String>

Optional parent PID path.

exports: Vec<ExportSpec>

Declared exports — sugar that propagates through to lifetime.ephemeral.exports on the lowered ProcessSpec. Default empty = zero-trace ephemeral (nothing survives teardown). See crate::export for the full type.

routing: Option<RoutingSpec>

Routing template — DNS + Ingress declarations inherited by the materialized ProcessSpec. When set on a pool’s template, every member receives the same shape; each member’s content-hash form differs by its own canonical spec (which differs across members by slot index). See crate::routing.

Trait Implementations

impl Clone for EphemeralSpec

fn clone(&self) -> EphemeralSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EphemeralSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EphemeralSpec

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<EphemeralSpec> for ProcessSpec

fn from(e: EphemeralSpec) -> Self

Converts to this type from the input type.

impl JsonSchema for EphemeralSpec

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 EphemeralSpec

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TataraDomain for EphemeralSpec

const KEYWORD: &'static str = "defephemeral"

The Lisp keyword (e.g., "defmonitor").

fn compile_from_args(args: &[Sexp]) -> Result<Self>

Parse the argument list (everything after the keyword) into Self.

fn compile_from_sexp(form: &Sexp) -> Result<Self, LispError>

Parse a complete form; validates the head symbol matches KEYWORD.