Crate vyre_reference 

Pure Rust reference interpreter for vyre IR programs.

This module is the executable specification for IR semantics. It is intentionally slow and direct: every current IR expression and node variant has a named evaluator function.

Re-exports

pub use execution::reference_eval;

pub use execution::run_arena_reference;

pub use execution::run_storage_graph;

Modules

atomics

Atomic operation reference implementations. Atomic operation semantics enforced by the parity engine.

cpu_op

CPU operation traits used by concrete reference implementations. CPU reference execution contract for operation implementations.

dialect_dispatch

Registry-driven dispatch entry point (B-B4).

dual

Dual-reference trait and registry types. Dual-dispatch resolver for the parity engine.

dual_impls

Canonical dual implementations and reference evaluators. Standalone primitive-operation CPU references.

execution

Canonical reference execution tree. Generic reference interpreter entry points.

flat_cpu

Flat byte adapter used by crate::cpu_op::CpuOp. Flat byte adapter that turns every CPU reference into a uniform byte-in, byte-out contract.

ieee754

IEEE 754 strict floating-point utilities. IEEE 754 float rules enforced by the parity engine.

registry_architecture

The architecture of the OpEntry registry.

subgroup

Subgroup simulator for lane-collective Cat-C ops. Subgroup simulator for the CPU reference interpreter.

value

Runtime value representation for interpreter inputs and outputs. Runtime values accepted and returned by the core reference interpreter.

workgroup

Workgroup simulation: invocation IDs, shared memory. Workgroup simulation — the parity engine’s model of invocation coordination.

Functions

dual_op_ids

Return the complete list of operation IDs that have dual references registered.

resolve_dual

Resolve an operation ID to its two independently-written references.