Struct SimulationReport 

pub struct SimulationReport {

    pub schema: u64,
    pub kind: &'static str,
    pub evidence_tier: &'static str,
    pub source_simulation_valid: bool,
    pub cryptographic_oracle_valid: Option<bool>,
    pub hardware_completion_promotable: bool,
    pub independent_rust_oracle_required: bool,
    pub profile: &'static str,
    pub backpressure_model: &'static str,
    pub case: String,
    pub seed: String,
    pub batch: u32,
    pub expected_success: bool,
    pub maximum_modeled_cycles: u64,
    pub modeled_cycles: u64,
    pub sha_requests: u64,
    pub payload_w_beats: u32,
    pub completed_jobs: Vec<u32>,
    pub summary: DecodedSummary,
    pub summary_b_canonical: bool,
    pub terminal_registers: BTreeMap<String, u32>,
    pub memory_first: u64,
    pub memory_last: u64,
    pub memory_span: u64,
}

Machine-readable result for one source simulation.

Fields

schema: u64

Schema revision.

kind: &'static str

Fixed record kind.

evidence_tier: &'static str

Evidence tier; always source simulation.

source_simulation_valid: bool

True only after every case-specific source-model assertion passed.

cryptographic_oracle_valid: Option<bool>

Always null until a separate Rust oracle completes comparison.

hardware_completion_promotable: bool

Always false for this crate.

independent_rust_oracle_required: bool

Independent cryptographic comparison remains required.

profile: &'static str

Frozen profile name.

backpressure_model: &'static str

Versioned deterministic decision function used by both HBM models.

case: String

Stable case name.

seed: String

Deterministic seed as fixed-width lowercase hexadecimal.

batch: u32

Frozen launch batch.

expected_success: bool

Whether the run was expected to close successfully.

maximum_modeled_cycles: u64

Per-case hard cycle ceiling.

modeled_cycles: u64

Cycles actually modeled, including control setup and terminal reads.

sha_requests: u64

Exact accepted signer SHA requests observed from production simulation state.

payload_w_beats: u32

Payload-only HBM1 W handshakes.

completed_jobs: Vec<u32>

Successfully retired payload job IDs.

summary: DecodedSummary

Exact decoded summary bytes.

summary_b_canonical: bool

Whether the separately observed summary B response was canonical.

terminal_registers: BTreeMap<String, u32>

AXI4-Lite terminal register snapshot.

memory_first: u64

Canonical payload-B retirement first cycle.

memory_last: u64

Canonical payload-B retirement last cycle.

memory_span: u64

Canonical payload-B retirement span.

Trait Implementations

impl Clone for SimulationReport

fn clone(&self) -> SimulationReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimulationReport

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

Formats the value using the given formatter.

impl PartialEq for SimulationReport

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for SimulationReport

impl StructuralPartialEq for SimulationReport