10.8. Limits🔗

Capability indices are u8 (256 slots per VM). VM identifiers are u16 (max 65535 per invocation). Memory pages are u32. Indirection depth is 3 levels (u32 encoding). These bounds define the resource envelope for a single PVM invocation.

def

Jar.JAVM.Cap.maxCodeCaps : Nat
Jar.JAVM.Cap.maxCodeCaps : Nat

Maximum CODE caps per invocation.

def

Jar.JAVM.Cap.maxVms : Nat
Jar.JAVM.Cap.maxVms : Nat

Maximum VMs (HANDLEs) per invocation (u16 VM IDs).

def

Jar.JAVM.Cap.gasPerPage : Nat
Jar.JAVM.Cap.gasPerPage : Nat

Gas cost per page for RETYPE.