Constant VCPU_DISPATCH_STACK_LANES 

pub const VCPU_DISPATCH_STACK_LANES: u64 = 64;

Fixed number of dispatch-stack lanes mapped by the guest at boot. The public Nub default caps at 8 vCPUs, but this leaves headroom for explicit test/bench overrides without needing a guest ABI field during phase 1.