Struct SimulationChecksum 

pub struct SimulationChecksum(pub u64);

XOR rolling checksum of the entire physics state.

Computed from position + velocity + rotation of all bodies. Two simulations with identical inputs will produce identical checksums.

Tuple Fields

0: u64

Implementations

impl SimulationChecksum

pub fn from_world(world: &PhysicsWorld) -> Self

Compute checksum from current world state.

Uses XOR-rotate mixing per body for O(n) computation. Avalanche mixing ensures single-bit differences propagate.

被覆は serialize_state の blob に従う (単一源化、B-13)

旧実装は field を手で並べており、position は .hi + .lo、velocity と rotation は .hi だけ、angular_velocity は 1 語も混ぜていなかった 208 byte/body のうち 角速度 48 byte + 小数語 56 byte が盲点で、 「角速度が完全に別の 2 世界」「velocity.y が 1 ulp 違う 2 世界」が いずれも同一 checksum になる = desync 検出が false green になりうる (tests/wm08_checksum_coverage.rs が red を実測してから置換した)

検証の道具が状態の被覆より狭いのが原因なので、blob の全 byte から 導出して被覆の定義を 1 箇所にした ⇒ 以後 serialize_state に state を 足すと checksum も自動で追従する (盲点が構造的に生まれない)

⚠️ checksum の値は旧実装と変わる 同一 version 同士の比較にのみ使う こと (lockstep の peer 間で version を混ぜない)

Trait Implementations

impl Clone for SimulationChecksum

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SimulationChecksum

impl Debug for SimulationChecksum

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

Formats the value using the given formatter.

impl Eq for SimulationChecksum

impl PartialEq for SimulationChecksum

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SimulationChecksum