MIR interpreter

Alongside LLVM code generation, Pop contains an interpreter for verified MIR. It executes the compiler’s lowered representation directly and is used to test language semantics, traps, managed values, and agreement between execution engines.

The interpreter is valuable to the implementation because a test can compare an operation’s MIR behavior with its native behavior without making source parsing the only oracle. It covers the implemented core semantics rather than acting as an unrelated scripting mode.

There is no public pop interpret command in 0.1.0-rc.2. pop run builds and runs a native executable. The MIR interpreter belongs to compiler conformance and advanced implementation work, so user programs should not depend on interpreter-specific behavior.

Likewise, the VM crate in this version is a placeholder rather than an available bytecode target. The supported user path is native LLVM compilation, with the C11 transpiler available for its documented subset.