EXPcalibur guide

The scheduler grants permission; the executor does the calculation.

The scheduler grants permission; the executor runs the workThe scheduler grants permission; the executor runs the workScheduler ownsSessions and version numbersHandles and permissionsWaiting workSaved proofExecutor ownsCopied programRegisters and stacksWork budget and pause pointLive and comparison runsstart / validated resumeyield or resultGate RAMLive data within the allowedcontext. It is not the outer VMmemory.Host checkThe machine proposes a result; the hostdecides whether to save proof.bounded data accesscandidate

The scheduler fixes who and what may run. The executor proposes a result. Host checks decide whether to save proof of it.