Struct VerifierTopOutput 

pub struct VerifierTopOutput {

    pub stream_ready: bool,
    pub stream_accepted: bool,
    pub stream_cluster: b2,
    pub stream_context: b2,
    pub stream_generation: b8,
    pub frame_active: bool,
    pub frame_cluster: b2,
    pub frame_beat: b6,
    pub frame_job_id: b32,
    pub cluster_stream_ready: [bool; 3],
    pub cluster_frame_active: [bool; 3],
    pub cluster_context_loading: [[bool; 4]; 3],
    pub cluster_context_active: [[bool; 4]; 3],
    pub cluster_context_result_valid: [[bool; 4]; 3],
    pub cluster_fault: [bool; 3],
    pub cluster_diagnostics: [b16; 3],
    pub result_valid: bool,
    pub result: VerifyResult,
    pub result_cluster: b2,
    pub result_transfer: bool,
    pub fault: bool,
    pub drain_armed: bool,
    pub diagnostics: b8,
    pub origin_cluster_fault: b3,
    pub origin_cluster_diagnostics: [b16; 3],
}

Global verifier status, accepted identity, and registered result.

result and result_cluster are meaningful only while result_valid is true. They remain stable while the result is stalled, except that the first fatal edge may fail-closed convert a retained clean result into an identified transport error while suppressing transfer. When result_valid is false, the stored payload fields may be stale or unspecified and must not be consumed.

Fields

stream_ready: bool

The presented input beat may transfer.

stream_accepted: bool

One input beat transferred this cycle.

stream_cluster: b2

Cluster owning or selected for the transfer.

stream_context: b2

Physical context owning or selected for the transfer.

stream_generation: b8

Generation owning or selected for the transfer.

frame_active: bool

A fixed-count global input frame is active.

frame_cluster: b2

Current global frame owner.

frame_beat: b6

Next fixed beat index for the current frame.

frame_job_id: b32

Beat-zero job identity retained for ownership diagnostics.

cluster_stream_ready: [bool; 3]

Per-cluster input readiness before global selection.

cluster_frame_active: [bool; 3]

Per-cluster frame ownership state.

cluster_context_loading: [[bool; 4]; 3]

Per-cluster physical loading state.

cluster_context_active: [[bool; 4]; 3]

Per-cluster physical task-graph activity.

cluster_context_result_valid: [[bool; 4]; 3]

Per-cluster retained child results.

cluster_fault: [bool; 3]

Immediate or sticky per-cluster faults.

cluster_diagnostics: [b16; 3]

Per-cluster sticky diagnostics.

result_valid: bool

One registered top result is available and its payload fields are meaningful.

result: VerifyResult

Registered completion.

Meaningful only when result_valid. Stable while stalled except for the documented fail-closed conversion on the first fatal edge.

result_cluster: b2

Source cluster retained beside result, meaningful only when result_valid.

result_transfer: bool

The registered top result transferred this cycle.

fault: bool

Immediate or sticky global poison.

drain_armed: bool

A complete registered peer-abort edge has elapsed.

diagnostics: b8

Sticky top-level cause mask.

origin_cluster_fault: b3

First-edge cluster-fault snapshot.

origin_cluster_diagnostics: [b16; 3]

First-edge per-cluster diagnostic snapshot.

Trait Implementations

impl Clone for VerifierTopOutput

fn clone(&self) -> VerifierTopOutput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifierTopOutput

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

Formats the value using the given formatter.

impl Default for VerifierTopOutput

fn default() -> VerifierTopOutput

Returns the “default value” for a type.

impl Digital for VerifierTopOutput

const BITS: usize

Associated constant that gives the total number of bits needed to represent the value.

fn static_kind() -> Kind

Returns the [Kind] (run time type descriptor) of the value as a static method

fn bin(self) -> Box<[BitX]>

Returns the binary representation of the value as a vector of [BitX].

fn dont_care() -> Self

Returns a “don’t care” value for the type.

fn bits() -> usize

Returns the number of bits needed to represent the value.

fn kind(&self) -> Kind

Returns the [Kind] (run time type descriptor) of the value.

fn typed_bits(self) -> TypedBits

Returns the value as a [TypedBits], which includes both the bits and the kind.

fn discriminant(self) -> TypedBits

Returns the discriminant of the value as a [TypedBits].

fn variant_kind(self) -> Kind

Returns the [Kind] of the variant if the value is an enum with variants.

fn binary_string(self) -> String

Returns the binary representation of the value as a string of ‘0’, ‘1’, and ‘X’.

impl PartialEq for VerifierTopOutput

fn eq(&self, other: &VerifierTopOutput) -> 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 Copy for VerifierTopOutput

impl Eq for VerifierTopOutput

impl StructuralPartialEq for VerifierTopOutput