Struct DivergenceReport 

pub struct DivergenceReport {
    pub matched: bool,
    pub first_divergent_kernel: Option<KernelTrace>,
    pub expected_trace: Option<KernelTrace>,
    pub actual_trace: Option<KernelTrace>,
    pub kernels_compared: usize,
    pub diagnosis: String,
}

CORRECTNESS-011: Divergence report identifying first mismatch

Fields

matched: bool

Whether CPU and GPU outputs matched

first_divergent_kernel: Option<KernelTrace>

First kernel that diverged (None if all matched)

expected_trace: Option<KernelTrace>

Expected (CPU) trace at divergence point

actual_trace: Option<KernelTrace>

Actual (GPU) trace at divergence point

kernels_compared: usize

Number of kernels compared before finding divergence

diagnosis: String

Human-readable diagnosis

Implementations

impl DivergenceReport

pub fn matched(kernels_compared: usize) -> Self

Create a report indicating no divergence

pub fn diverged( expected: KernelTrace, actual: KernelTrace, kernels_compared: usize, ) -> Self

Create a report indicating divergence at specific kernel

Trait Implementations

impl Clone for DivergenceReport

fn clone(&self) -> DivergenceReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DivergenceReport

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DivergenceReport

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for DivergenceReport

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

where __S: Serializer,

Serialize this value into the given Serde serializer.