Struct ProofAttestation 

#[repr(C)]
pub struct ProofAttestation {
    pub proof_term_hash: [u8; 32],
    pub environment_hash: [u8; 32],
    pub verification_timestamp_ns: u64,
    pub verifier_version: u32,
    pub reduction_steps: u32,
    pub cache_hit_rate_bps: u16,
}

A proof attestation recorded in the kernel witness log.

Every successful proof-gated mutation emits an attestation. Compatible with ADR-047 ProofAttestation (82 bytes).

Fields

proof_term_hash: [u8; 32]

Hash of the proof term state (32 bytes).

environment_hash: [u8; 32]

Hash of the environment declarations (32 bytes).

verification_timestamp_ns: u64

Nanosecond UNIX timestamp of verification.

verifier_version: u32

Verifier version (e.g., 0x00_01_00_00 = 0.1.0).

reduction_steps: u32

Number of type-check reduction steps consumed.

cache_hit_rate_bps: u16

Cache hit rate (0-10000 = 0.00%-100.00%).

Implementations

impl ProofAttestation

pub const SIZE: usize = 82

Size of attestation in bytes (82 bytes per ADR-047).

pub const fn new( proof_term_hash: [u8; 32], environment_hash: [u8; 32], verification_timestamp_ns: u64, verifier_version: u32, reduction_steps: u32, cache_hit_rate_bps: u16, ) -> Self

Creates a new proof attestation.

Trait Implementations

impl Clone for ProofAttestation

fn clone(&self) -> ProofAttestation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofAttestation

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

Formats the value using the given formatter.

impl Default for ProofAttestation

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for ProofAttestation

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

impl Eq for ProofAttestation

impl StructuralPartialEq for ProofAttestation