Struct EpistemicGpuConstraintWorldViewValidationTrace 

pub struct EpistemicGpuConstraintWorldViewValidationTrace {
    pub constraint_count: usize,
    pub constraint_literal_refs: usize,
    pub candidates_checked: usize,
    pub rejection_reason_slots_written: usize,
    pub kernel_launches: u32,
    pub host_write_ops: u32,
    pub kernel_timing: EpistemicGpuKernelTimingTrace,
}

Trace proving epistemic integrity constraints were evaluated against world views on GPU.

World-view integrity constraints (:- know unsafe().) prune accepted candidate world views on device after modal world-view validation. The device kernel never reads accepted worlds back to the host, so accepted execution keeps host_write_ops at zero.

Fields

constraint_count: usize

Number of epistemic integrity constraints checked on device.

constraint_literal_refs: usize

Number of constraint-body literal references checked on device.

candidates_checked: usize

Number of candidate world views checked by the constraint kernel.

rejection_reason_slots_written: usize

Rejection-reason slots written by the kernel.

kernel_launches: u32

Constraint world-view validation kernel launches.

host_write_ops: u32

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

kernel_timing: EpistemicGpuKernelTimingTrace

CUDA-event timing for the launched kernel.

Trait Implementations

impl Clone for EpistemicGpuConstraintWorldViewValidationTrace

fn clone(&self) -> EpistemicGpuConstraintWorldViewValidationTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EpistemicGpuConstraintWorldViewValidationTrace

impl Debug for EpistemicGpuConstraintWorldViewValidationTrace

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

Formats the value using the given formatter.

impl Eq for EpistemicGpuConstraintWorldViewValidationTrace

impl PartialEq for EpistemicGpuConstraintWorldViewValidationTrace

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