Enum BrickAssertion 

pub enum BrickAssertion {
    MinWidth(u16),
    MinHeight(u16),
    MaxWidth(u16),
    MaxHeight(u16),
    MaxRenderTimeMs(u32),
    MaxLatencyMs(u32),
    ValueInRange {
        min: f64,
        max: f64,
    },
    DataNonEmpty,
    Custom {
        name: &'static str,
        description: &'static str,
    },
    ChecksumMatch {
        expected: u64,
        actual: u64,
        kernel_name: String,
        position: u32,
    },
}

Falsifiable assertion types

Variants

MinWidth(u16)

Minimum width requirement

MinHeight(u16)

Minimum height requirement

MaxWidth(u16)

Maximum width requirement

MaxHeight(u16)

Maximum height requirement

MaxRenderTimeMs(u32)

Maximum render time in milliseconds

MaxLatencyMs(u32)

Maximum latency in milliseconds

ValueInRange

Value must be in range [min, max]

Fields

min: f64

max: f64

DataNonEmpty

Data must not be empty

Custom

Custom assertion with name and validator

Fields

name: &'static str

description: &'static str

ChecksumMatch

CORRECTNESS-011: Checksum must match between backends (CPU vs GPU) Five-Whys: Hours of manual debugging → No automated divergence detection

Fields

expected: u64

Expected checksum from reference backend (e.g., CPU Scalar)

actual: u64

Actual checksum from test backend (e.g., CUDA)

kernel_name: String

Kernel name where divergence occurred

position: u32

Position/layer where divergence occurred

Implementations

impl BrickAssertion

pub fn name(&self) -> &str

Get assertion name for reporting

pub fn custom<F>(_name: &'static str, _validator: F) -> Self

where F: Fn(&dyn Any) -> bool,

Create custom assertion with name and validator function Note: validator is called but result not stored (for API compatibility)

pub const fn max_latency_ms(ms: u32) -> Self

Create max latency assertion (milliseconds)

pub fn checksum_match( expected: u64, actual: u64, kernel_name: &str, position: u32, ) -> Self

CORRECTNESS-011: Create checksum match assertion

Trait Implementations

impl Clone for BrickAssertion

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BrickAssertion

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

Formats the value using the given formatter.