Module expr 

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 backend 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 through the single-pass frame evaluator.