Module eval_expr 

Expression evaluator (BinOp, UnOp, Load, Call, etc). Expression evaluator that gives the parity engine a pure-Rust ground truth for every Expr variant.

If a backend lowers Expr::BinOp, Expr::Load, or Expr::Atomic differently than this evaluator, the conform gate reports the exact divergence. This module exists so IR semantics are defined by Rust code, not by whatever a WGSL driver happens to emit.

Structs

Buffer

Re-export the OOB-guarded buffer type used by storage operations. Typed bytes backing one declared IR buffer.

Functions

buffer_mut

Return a mutable buffer only when the program declares it writable.

eval

Evaluate an expression for one invocation.