Struct StateHash 

pub struct StateHash(/* private fields */);

An in-progress fingerprint. Absorption is by value and returns the new state, so the order of a digest is written out as an expression and can be read off the page.

Implementations

impl StateHash

pub const fn new() -> Self

pub const fn absorb_bytes(self, bytes: &[u8]) -> Self

Absorb raw bytes, in the order given.

pub const fn absorb_u64(self, value: u64) -> Self

Absorb a 64-bit value, little-endian. The byte order is fixed here rather than left to the host so a digest means the same thing on every target.

pub const fn absorb_u32(self, value: u32) -> Self

Absorb a 32-bit value, little-endian.

pub const fn absorb_f32_bits(self, value: f32) -> Self

Absorb a float by its bit pattern — never by its value, which has two zeros and no equality for NaN.

pub const fn absorb_plan(self, plan: &FramePlan) -> Self

The canonical per-frame absorption order, written once so no consumer invents a second one.

alpha is excluded deliberately: it is a pure function of the remainder and the timestep, both of which are absorbed here, so hashing it would add no information and would make the oracle float-dependent. An unstated exclusion is how a determinism oracle goes quietly vacuous, so it is stated.

The timestep was not absorbed until it was checked. The sentence above was written when this folded four fields, none of them the timestep, so the exclusion it justified rested on a premise that was false: two plans with equal first tick, step count, dropped count and remainder, cut against different timesteps, digested identically and had different alphas. Nothing in the tree could produce that pair, since a loop’s timestep is fixed at construction — which is exactly why it survived. A digest justified by a claim that happens to hold is a digest waiting for the day it stops.

pub const fn finish(self) -> u64

Trait Implementations

impl Clone for StateHash

fn clone(&self) -> StateHash

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for StateHash

impl Debug for StateHash

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

Formats the value using the given formatter.

impl Default for StateHash

fn default() -> Self

Returns the “default value” for a type.

impl Eq for StateHash

impl PartialEq for StateHash

fn eq(&self, other: &StateHash) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for StateHash