Struct EncapsulatesSpec 

pub struct EncapsulatesSpec {
    pub kind: EncapsulationKind,
    pub mode: EncapsulationMode,
}

How a Process wraps pre-existing in-cluster state.

Optional on ProcessSpec — None means the Process is greenfield (Manage mode applied to nothing pre-existing). The render phase branches on kind to decide whether to emit fresh resources or reference/adopt running ones.

Fields

kind: EncapsulationKind

What kind of pre-existing state.

mode: EncapsulationMode

Reconciler’s relationship to that state. Defaults to Manage (the operational default when encapsulates is set without an explicit mode).

Implementations

impl EncapsulatesSpec

pub fn has_mode(&self, kind: EncapsulationMode) -> bool

Closed-set-driven presence probe — does this EncapsulatesSpec carry the given EncapsulationMode discriminator on its Self::mode slot? The ONE substrate primitive that owns the (EncapsulatesSpec, EncapsulationMode) -> bool scalar-carrier walk shape.

Second scalar-carrier peer on the presence-probe axis

Peer of crate::spec::SignalPolicy::has_sighup_strategy — both probe a scalar closed-set-discriminator field on an inner crate::crd::ProcessSpec struct via a one-line self.<field> == kind body. Together they close the SCALAR-CARRIER stratum of the workspace-wide closed-set-driven presence-probe algebra (the workspace-wide algebra spans three underlying representation kinds — Option-slot, slice, scalar — see the crate::spec::SignalPolicy::has_sighup_strategy docstring for the full-shape rundown; this method is the second scalar-carrier instance).

Semantics — VARIANT match, not POPULATED slot

has_mode(kind) returns true iff self.mode == kind. On an EncapsulatesSpec whose mode slot is the substrate default (EncapsulationMode::default = EncapsulationMode::Manage) the probe returns true for EncapsulationMode::Manage and false for every other variant — legitimate operator signal symmetric to crate::signal::SighupStrategy::default. An operator who opted encapsulates in (populating the parent Option<EncapsulatesSpec>) but left :mode unset IS configured for Manage, and a :requires (encapsulation-mode-Manage) check should pass on that spec.

Interaction with the parent Option gate

The parent Process.spec.encapsulates field is an Option<EncapsulatesSpec> (greenfield Processes carry None); downstream consumers gate this probe on the parent presence via spec.encapsulates.as_ref().is_some_and(|e| e.has_mode(kind)). A permanent Process with encapsulates: None returns false for every kind — including the default Manage variant — because the operator DECLINED the encapsulation surface entirely rather than defaulting into it. Symmetric to the resolved_ephemeral().is_some_and(…) gate the export-when-<kind> / channel-<kind> / report-format-<kind> / artifact-<kind> slice-level probes compose on the ephemeral axis.

Compounding

A future closed-set-discriminator scalar field on EncapsulatesSpec (a hypothetical SubmodeKind selecting a sub-strategy inside the Adopt/Manage modes; a HandoffPhase scalar selecting when the reconciler swaps ownership) lands as ONE peer inherent method with the same one-line self.<field> == kind body and routes through the same strip_and_classify_prefixed_kind::<K, _> shape in tatara-check. A future EncapsulationMode variant (a hypothetical Observe submode, a Migrate for scripted mode transitions) reaches every downstream through ONE ALL entry on the closed set with the probe body untouched.

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 (encapsulation-mode-<kind> require-tag family in tatara-check, closed-set audit dispatchers, future variant additions on EncapsulationMode) binds through the SAME shape rather than restating the encapsulates.mode == kind closure body at each callsite. THEORY.md §VI.1 — generation over composition; a future EncapsulationMode 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.

Trait Implementations

impl Clone for EncapsulatesSpec

fn clone(&self) -> EncapsulatesSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EncapsulatesSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EncapsulatesSpec

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for EncapsulatesSpec

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 EncapsulatesSpec

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 EncapsulatesSpec

const KEYWORD: &'static str = "defencapsulates"

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.