Struct ProofRefusal 

pub struct ProofRefusal {
    pub refused: bool,
    pub category: String,
    pub reason: ProofRefusalReason,
    pub incident_reason: IncidentReasonCode,
    pub detail: String,
}

The durable JSON envelope for a proof-mode refusal. category is fixed to admission_denial so a consumer never confuses a proof refusal (nothing ran) with a product compile/test failure (something ran and failed).

Fields

refused: bool

Always true — this envelope only exists for refusals.

category: String

Fixed discriminator distinguishing this from a product failure.

reason: ProofRefusalReason

The refusal reason token.

incident_reason: IncidentReasonCode

The stable incident reason code (RCH-I012 proof refusal).

detail: String

Operator-facing detail.

Implementations

impl ProofRefusal

pub const CATEGORY: &'static str = "admission_denial"

The fixed category discriminator.

pub fn new(reason: ProofRefusalReason) -> Self

Build a refusal envelope from a reason.

pub fn from_verdict(verdict: &ProofVerdict) -> Option<Self>

Build a refusal envelope from a verdict, if it refused.

pub fn is_admission_denial(&self) -> bool

Whether this denial is an admission/policy denial (always true) — i.e. NOT a product compile/test failure.

pub fn render(&self) -> String

Human-readable line.

Trait Implementations

impl Clone for ProofRefusal

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofRefusal

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofRefusal

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ProofRefusal

impl PartialEq for ProofRefusal

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ProofRefusal

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 ProofRefusal