Struct ReplayVerification 

pub struct ReplayVerification {
    pub run_count: u32,
    pub casefile_json_sha256_run1: String,
    pub casefile_json_sha256_run2: String,
    pub episodes_jsonl_sha256_run1: String,
    pub episodes_jsonl_sha256_run2: String,
    pub final_case_file_hash_run1_hex: String,
    pub final_case_file_hash_run2_hex: String,
    pub episode_count_run1: u32,
    pub episode_count_run2: u32,
    pub toolchain: BTreeMap<String, String>,
}

Replay-verification metadata.

WHY: The audit’s load-bearing replay claim is “two consecutive dispatches on the same input bytes produce byte-identical CaseFile + episodes + report”. This struct carries the per-run SHA-256 of each load-bearing artifact so the audit_report.html can publish a side-by- side comparison.

Fields

run_count: u32

casefile_json_sha256_run1: String

Lowercase hex SHA-256 of the canonical casefile.json bytes from run 1 and run 2 (or "unmeasured" if only one run was performed).

casefile_json_sha256_run2: String

episodes_jsonl_sha256_run1: String

Lowercase hex SHA-256 of the episodes.jsonl bytes.

episodes_jsonl_sha256_run2: String

final_case_file_hash_run1_hex: String

Hex of the CaseFile::final_case_file_hash field from each run.

final_case_file_hash_run2_hex: String

episode_count_run1: u32

Episode count from each run (must agree for the audit to admit).

episode_count_run2: u32

toolchain: BTreeMap<String, String>

Toolchain identity (compiler version, CUDA driver, hardware). Sorted BTreeMap so the rendered output is deterministic.

Implementations

impl ReplayVerification

pub fn admits(&self) -> bool

True when run1 and run2 produced byte-identical CaseFile JSON, episodes JSONL, final case-file hash, and episode count.

Trait Implementations

impl Clone for ReplayVerification

fn clone(&self) -> ReplayVerification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReplayVerification

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

Formats the value using the given formatter.

impl PartialEq for ReplayVerification

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

impl StructuralPartialEq for ReplayVerification