Enum SignalSurface 

pub enum SignalSurface {
    Status,
    Body,
    Headers,
    Timing,
    Composite,
}

Primary surface a technique’s contradiction is evaluated on.

Used by the surface_relevance modifier to detect when a SameStatus contradiction is mis-surfaced — i.e., the technique declares Status as its surface but the actual differential is on the body or headers, meaning the Contradictory conclusion based on status equality is wrong.

Variants

Status

Status code is the primary differential.

Body

Response body is the primary differential.

Headers

Response headers are the primary differential.

Timing

Response timing is the primary differential.

Composite

Multiple surfaces — no single surface dominates.

Trait Implementations

impl Clone for SignalSurface

fn clone(&self) -> SignalSurface

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SignalSurface

impl Debug for SignalSurface

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SignalSurface

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SignalSurface

impl Hash for SignalSurface

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 SignalSurface

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SignalSurface

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SignalSurface