JAR: Join-Accumulate Refine

11.10. RESUME🔗

RESUME restarts a FAULTED VM with fresh gas, preserving registers and PC. The faulting instruction is retried. This enables the pager pattern: the parent maps the missing page via indirection, then RESUMEs the child.

🔗def
Jar.JAVM.Kernel.handleResume (state : KernelState) (vmIdx slot : Nat) :
  KernelState × DispatchResult
Jar.JAVM.Kernel.handleResume
  (state : KernelState)
  (vmIdx slot : Nat) :
  KernelState × DispatchResult

RESUME a FAULTED VM. Same gas model as CALL.