Struct EpistemicGpuRuntimeTrace 

pub struct EpistemicGpuRuntimeTrace {
    pub preflight: EpistemicGpuRuntimePreflight,
    pub counters_before: EpistemicGpuRuntimeCounters,
    pub counters_after: EpistemicGpuRuntimeCounters,
    pub counter_delta: EpistemicGpuRuntimeCounters,
    pub wcoj_certification: EpistemicGpuRuntimeWcojCertification,
}

Counter trace captured around a reduced production runtime dispatch.

Fields

preflight: EpistemicGpuRuntimePreflight

Static preflight summary for the executed plan.

counters_before: EpistemicGpuRuntimeCounters

Runtime counters before dispatch.

counters_after: EpistemicGpuRuntimeCounters

Runtime counters after dispatch.

counter_delta: EpistemicGpuRuntimeCounters

Checked counter delta for the dispatch window.

wcoj_certification: EpistemicGpuRuntimeWcojCertification

WCOJ certification result derived from preflight obligations and deltas.

Implementations

impl EpistemicGpuRuntimeTrace

pub fn from_preflight_and_counters( preflight: EpistemicGpuRuntimePreflight, counters_before: EpistemicGpuRuntimeCounters, counters_after: EpistemicGpuRuntimeCounters, ) -> Self

Build a trace from static preflight data and runtime counter snapshots.

pub fn try_from_preflight_and_counters( preflight: EpistemicGpuRuntimePreflight, counters_before: EpistemicGpuRuntimeCounters, counters_after: EpistemicGpuRuntimeCounters, ) -> Result<Self>

Build a trace from static preflight data and runtime counter snapshots, failing closed if runtime proof counters move backwards or overflow while being summarized.

pub fn require_wcoj_certification(&self) -> Result<()>

Fail closed when a WCOJ-required epistemic reduction lacks runtime evidence.

Trait Implementations

impl Clone for EpistemicGpuRuntimeTrace

fn clone(&self) -> EpistemicGpuRuntimeTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicGpuRuntimeTrace

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

Formats the value using the given formatter.

impl PartialEq for EpistemicGpuRuntimeTrace

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

impl Eq for EpistemicGpuRuntimeTrace

impl StructuralPartialEq for EpistemicGpuRuntimeTrace