Enum ExplanationIssue 

pub enum ExplanationIssue {
    UniversalUnanswered {
        question: UniversalQuestion,
    },
    UniversalAnsweredTwice {
        question: UniversalQuestion,
    },
    DeclaredUnanswered {
        question: &'static str,
        slot: u16,
    },
    DeclaredAnsweredTwice {
        question: &'static str,
        slot: u16,
    },
    QuestionOutsideRoster {
        question: &'static str,
    },
    SeatBoundExceeded {
        bound: u64,
        observed: u64,
    },
    OutputsBesideTheProof {
        expected: u16,
        observed: u16,
        diverges: u16,
    },
}

One way a set of answers fails to cover the questions a kind owes.

No row is payload-free: an issue names the question it is about, because a bare row makes the reader guess which seat to repair.

Variants

UniversalUnanswered

A universal question has no answer.

Fields

question: UniversalQuestion

The unanswered question.

UniversalAnsweredTwice

A universal question was answered more than once.

Fields

question: UniversalQuestion

The doubled question.

DeclaredUnanswered

A question the kind declared has no answer.

Fields

question: &'static str

The question’s declared name.

slot: u16

Its position in the kind’s roster.

DeclaredAnsweredTwice

A question the kind declared was answered more than once.

Fields

question: &'static str

The question’s declared name.

slot: u16

Its position in the kind’s roster.

QuestionOutsideRoster

An answer names a question its own roster does not carry.

Fields

question: &'static str

The question’s declared name.

SeatBoundExceeded

More seats were offered than a declared bound admits.

Fields

bound: u64

The declared bound.

observed: u64

The observed count.

OutputsBesideTheProof

The output answer does not restate the proof’s own rendered roster.

The lawful rows are derivable from the closure a view is completed over, so the pass rebuilds them and compares whole — a missing seat, an extra row, a reordered roster, and a digest that is not the proof’s all land here rather than riding a coverage-complete view.

Fields

expected: u16

Rows the proof’s rendered roster carries.

observed: u16

Rows the supplied answer carried.

diverges: u16

The first roster position where the supplied answer stops restating the proof — the shorter roster’s own end where one merely ran out.

Implementations

impl ExplanationIssue

pub fn canonical_bytes(&self) -> Vec<u8>

This issue’s canonical bytes on their own, for the related identity a diagnostic derives over it.

pub fn encode_into(&self, into: &mut Vec<u8>)

Appends this issue’s canonical bytes: the row’s position in the declared roster, then the typed material that row carries, framed.

Two rows carrying one question encode differently, because the row’s position rides ahead of the material.

impl ExplanationIssue

pub const fn slot(&self) -> u8

This row’s position in the declared roster, written ahead of the issue’s own material.

pub const fn observed(&self) -> Observed

How what this issue observed differs from the contract that was expected.

Trait Implementations

impl Clone for ExplanationIssue

fn clone(&self) -> ExplanationIssue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ExplanationIssue

impl Debug for ExplanationIssue

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

Formats the value using the given formatter.

impl Display for ExplanationIssue

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

Formats the value using the given formatter.

impl Eq for ExplanationIssue

impl Hash for ExplanationIssue

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 ExplanationIssue

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExplanationIssue