Struct EpistemicGpuWorldViewValidationTrace 

pub struct EpistemicGpuWorldViewValidationTrace {
    pub literal_count: usize,
    pub candidates_checked: usize,
    pub reduction_count: usize,
    pub models_per_reduction: usize,
    pub model_membership_bytes_checked: usize,
    pub world_view_slots_checked: usize,
    pub rejection_reason_slots_written: usize,
    pub kernel_launches: u32,
    pub host_write_ops: u32,
    pub kernel_timing: EpistemicGpuKernelTimingTrace,
}

Trace proving staged model memberships were validated against world views on GPU.

Fields

literal_count: usize

Number of epistemic literals represented per candidate/model.

candidates_checked: usize

Number of candidate rows checked on device.

reduction_count: usize

Number of reduced-program summaries represented in the membership layout.

models_per_reduction: usize

Maximum models represented per reduction.

model_membership_bytes_checked: usize

Model-membership bytes checked by the kernel.

world_view_slots_checked: usize

World-view staging slots checked by the kernel.

rejection_reason_slots_written: usize

Rejection-reason slots written by the kernel.

kernel_launches: u32

World-view validation kernel launches.

host_write_ops: u32

Host writes used by world-view validation. Accepted execution requires zero.

kernel_timing: EpistemicGpuKernelTimingTrace

CUDA-event timing for the launched kernel.

Implementations

impl EpistemicGpuWorldViewValidationTrace

pub fn for_counts( literal_count: usize, candidate_count: usize, reduction_count: usize, models_per_reduction: usize, ) -> Result<Self>

Build a world-view validation trace for a bounded device launch.

pub const fn with_kernel_timing( self, kernel_timing: EpistemicGpuKernelTimingTrace, ) -> Self

Attach CUDA-event timing captured by the runtime launch path.

Trait Implementations

impl Clone for EpistemicGpuWorldViewValidationTrace

fn clone(&self) -> EpistemicGpuWorldViewValidationTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicGpuWorldViewValidationTrace

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

Formats the value using the given formatter.

impl PartialEq for EpistemicGpuWorldViewValidationTrace

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

impl Eq for EpistemicGpuWorldViewValidationTrace

impl StructuralPartialEq for EpistemicGpuWorldViewValidationTrace