Struct EpistemicGpuCandidateValidationTrace 

pub struct EpistemicGpuCandidateValidationTrace {
    pub literal_count: usize,
    pub validated_candidates: usize,
    pub candidate_assumption_bytes_checked: usize,
    pub world_view_bytes_checked: usize,
    pub rejection_reason_slots_written: usize,
    pub kernel_launches: u32,
    pub host_write_ops: u32,
    pub kernel_timing: EpistemicGpuKernelTimingTrace,
}

Trace proving staged candidate buffers were validated by a GPU kernel.

Fields

literal_count: usize

Number of epistemic literals represented per candidate.

validated_candidates: usize

Number of candidate rows validated on device.

candidate_assumption_bytes_checked: usize

Candidate-assumption bytes checked by the kernel.

world_view_bytes_checked: usize

World-view staging bytes checked by the kernel.

rejection_reason_slots_written: usize

Rejection-reason slots written by the kernel.

kernel_launches: u32

Candidate-validation kernel launches.

host_write_ops: u32

Host writes used by validation. Accepted GPU execution requires zero.

kernel_timing: EpistemicGpuKernelTimingTrace

CUDA-event timing for the launched kernel.

Implementations

impl EpistemicGpuCandidateValidationTrace

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

Build a 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.

pub fn require_matches_candidate_generation( &self, construct: &str, candidate_generation: &EpistemicGpuCandidateGenerationTrace, ) -> Result<()>

Require validation coverage to match the generated candidate workspace.

Trait Implementations

impl Clone for EpistemicGpuCandidateValidationTrace

fn clone(&self) -> EpistemicGpuCandidateValidationTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicGpuCandidateValidationTrace

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

Formats the value using the given formatter.

impl PartialEq for EpistemicGpuCandidateValidationTrace

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

impl Eq for EpistemicGpuCandidateValidationTrace

impl StructuralPartialEq for EpistemicGpuCandidateValidationTrace