Join-Accumulate VM (JAVM) — PVM implementation for JAM (Appendix A).
The PVM is a register-based virtual machine with:
- 13 general-purpose 64-bit registers (φ₀..φ₁₂)
- 32-bit pageable memory address space
- Gas metering for bounded execution
- Host-call interface for system interactions