CJC MIR Executor (Reference Interpreter)
Executes a MIR program by interpreting it directly. This replaces the
tree-walk AST interpreter (cjc-eval) with one that operates on the
lowered MIR representation.
The behavior must be identical to cjc-eval for all existing programs
(Parity Gate G-1 / G-2).