Enum Binding 

pub enum Binding {
    Stream,
    Derived,
    Action,
}

The binding a compute is used under — this decides which envelopes are legal.

Variants

Stream

A pipeline stream/derived compute (derived props, hot path): STRICT — must be pure, no I/O, and not an LLM (nondeterministic/effectful compute has no place on a cacheable derived edge).

Derived

Same strictness as Stream; named separately for call-site clarity (derived-property materializer).

Action

An Action compute (effectful (state, params) → EditSet): PERMISSIVE — may declare I/O, nondeterminism, and LLM impls, because governance wraps it (authorize → validate → precondition → post-check → commit) rather than the compute touching the write path.

Implementations

impl Binding

pub fn accepts( self, env: &CapabilityEnvelope, impl_kind: ImplKind, ) -> Result<(), EnvelopeViolation>

Does this binding accept a compute with the given envelope + impl kind? The single enforcement point — every caller (pipeline runner, materializer, Action runtime) routes through here, so the rule can’t drift per call-site.

Trait Implementations

impl Clone for Binding

fn clone(&self) -> Binding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Binding

impl Debug for Binding

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

Formats the value using the given formatter.

impl Eq for Binding

impl PartialEq for Binding

fn eq(&self, other: &Binding) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Binding