pub enum SeamClassification {
NoOwnerRealization,
OwnerRealizationOnly,
OwnerRealizationPlusFeedback,
SurfaceResultAlignment,
}Expand description
Classification of an effect’s ownership boundary characteristics.
Variants§
NoOwnerRealization
Effect is fully internal to the machine — no owner realization needed. Examples: state projection, local bookkeeping.
OwnerRealizationOnly
Effect requires owner/shell to realize it, but no feedback is expected. The machine emits and moves on; correctness does not depend on acknowledgment.
OwnerRealizationPlusFeedback
Effect requires owner realization AND the owner must feed back into the machine (or another composed machine) for the lifecycle to close. This is the seam that needs a formal handoff protocol.
SurfaceResultAlignment
Effect is a terminal/result signal whose surface representation must align with machine truth. Divergence here means the API lies about outcomes.
Trait Implementations§
Source§impl Clone for SeamClassification
impl Clone for SeamClassification
Source§fn clone(&self) -> SeamClassification
fn clone(&self) -> SeamClassification
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for SeamClassification
Source§impl Debug for SeamClassification
impl Debug for SeamClassification
Source§impl Display for SeamClassification
impl Display for SeamClassification
impl Eq for SeamClassification
Source§impl PartialEq for SeamClassification
impl PartialEq for SeamClassification
Source§fn eq(&self, other: &SeamClassification) -> bool
fn eq(&self, other: &SeamClassification) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for SeamClassification
Auto Trait Implementations§
impl Freeze for SeamClassification
impl RefUnwindSafe for SeamClassification
impl Send for SeamClassification
impl Sync for SeamClassification
impl Unpin for SeamClassification
impl UnsafeUnpin for SeamClassification
impl UnwindSafe for SeamClassification
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.