Struct KernelTrace 

pub struct KernelTrace {
    pub kernel_name: String,
    pub layer_idx: usize,
    pub position: u32,
    pub input_checksum: u64,
    pub output_checksum: u64,
    pub params: String,
    pub time_us: f64,
    pub backend: String,
}

CORRECTNESS-011: Per-kernel trace for divergence detection Captures input/output checksums for every kernel launch

Fields

kernel_name: String

Kernel name (e.g., “rope_neox_indirect_12_128”)

layer_idx: usize

Layer index (0-27 for transformer layers)

position: u32

Position in sequence (for RoPE, attention)

input_checksum: u64

Input checksum (FNV-1a of first 64 floats)

output_checksum: u64

Output checksum (FNV-1a of first 64 floats)

params: String

Kernel parameters (JSON serialized for flexibility)

time_us: f64

Execution time in microseconds

backend: String

Backend that executed this kernel (e.g., “CPU”, “CUDA”, “Vulkan”)

Implementations

impl KernelTrace

pub fn new( kernel_name: &str, layer_idx: usize, position: u32, backend: &str, ) -> Self

Create a new kernel trace

pub fn with_input_checksum(self, data: &[f32]) -> Self

Set input checksum from float slice (FNV-1a hash of first 64 elements)

pub fn with_output_checksum(self, data: &[f32]) -> Self

Set output checksum from float slice

pub fn with_params(self, params: &str) -> Self

Set kernel parameters as JSON

pub fn with_time_us(self, time_us: f64) -> Self

Set execution time

Trait Implementations

impl Clone for KernelTrace

fn clone(&self) -> KernelTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KernelTrace

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KernelTrace

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for KernelTrace

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.