Enum Refused 

pub enum Refused {}

Terminal refusal: a specific named law was broken at the boundary.

Refused is not an error code — it is a first-class outcome. A value in this stage carries the named reason it was refused (e.g. DanglingEventObjectLink, FlatteningLoss), so the refusal is auditable. Refused evidence cannot be silently coerced back into Admitted.

Trait Implementations

impl Clone for Refused

fn clone(&self) -> Refused

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Refused

impl Debug for Refused

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

Formats the value using the given formatter.

impl Eq for Refused

impl EvidenceState for Refused

impl Hash for Refused

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Refused

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Refused