Struct EpistemicGpuWorkspaceResetTrace 

pub struct EpistemicGpuWorkspaceResetTrace {
    pub candidate_assumption_bytes: usize,
    pub world_view_bytes: usize,
    pub model_membership_bytes: usize,
    pub rejection_reason_bytes: usize,
    pub device_zero_ops: u32,
    pub host_write_ops: u32,
}

Trace proving an epistemic GPU workspace was initialized on device.

Fields

candidate_assumption_bytes: usize

Candidate-assumption bytes zeroed on device.

world_view_bytes: usize

World-view bytes zeroed on device.

model_membership_bytes: usize

Model-membership bytes zeroed on device.

rejection_reason_bytes: usize

Rejection-reason bytes zeroed on device.

device_zero_ops: u32

Device zeroing operations submitted by the reset path.

host_write_ops: u32

Host writes used by the reset path. Accepted GPU execution requires zero.

Implementations

impl EpistemicGpuWorkspaceResetTrace

pub fn for_layout(layout: EpistemicGpuWorkspaceLayout) -> Self

Build the reset trace implied by a workspace layout.

pub fn try_for_layout(layout: EpistemicGpuWorkspaceLayout) -> Result<Self>

Build the reset trace implied by a workspace layout, failing closed on overflow.

pub fn total_zeroed_bytes(&self) -> usize

Total bytes zeroed by the reset path.

pub fn try_total_zeroed_bytes(&self) -> Result<usize>

Checked total bytes zeroed by the reset path.

pub fn require_matches_layout( &self, construct: &str, layout: EpistemicGpuWorkspaceLayout, ) -> Result<()>

Require the retained reset trace to match the prepared workspace layout.

Trait Implementations

impl Clone for EpistemicGpuWorkspaceResetTrace

fn clone(&self) -> EpistemicGpuWorkspaceResetTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicGpuWorkspaceResetTrace

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

Formats the value using the given formatter.

impl PartialEq for EpistemicGpuWorkspaceResetTrace

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

impl Eq for EpistemicGpuWorkspaceResetTrace

impl StructuralPartialEq for EpistemicGpuWorkspaceResetTrace