Protocol cap IDs. Slot 0 = IPC (REPLY). Protocol caps at slots 1-28.
10.6. Protocol Cap Numbering
Protocol cap slots are numbered 1-28 (slot 0 is IPC/REPLY). Absent caps are empty slots (CALL returns WHAT). Services available in both refine and accumulate: GAS (1), FETCH (2), COMPILE (9), CHECKPOINT (18). Accumulate-only: STORAGE_R (4), STORAGE_W (5), INFO (6), SERVICE_NEW (19), TRANSFER (21), OUTPUT (26), and others. Refine-only: HISTORICAL (7), EXPORT (8).
def
Jar.JAVM.Cap.protocolGas : NatJar.JAVM.Cap.protocolGas : Nat
def
Jar.JAVM.Cap.protocolFetch : NatJar.JAVM.Cap.protocolFetch : Nat
def
Jar.JAVM.Cap.protocolPreimageLookup : NatJar.JAVM.Cap.protocolPreimageLookup : Nat
def
Jar.JAVM.Cap.protocolStorageR : NatJar.JAVM.Cap.protocolStorageR : Nat
def
Jar.JAVM.Cap.protocolStorageW : NatJar.JAVM.Cap.protocolStorageW : Nat
def
Jar.JAVM.Cap.protocolInfo : NatJar.JAVM.Cap.protocolInfo : Nat
def
Jar.JAVM.Cap.protocolHistorical : NatJar.JAVM.Cap.protocolHistorical : Nat
def
Jar.JAVM.Cap.protocolExport : NatJar.JAVM.Cap.protocolExport : Nat
def
Jar.JAVM.Cap.protocolCompile : NatJar.JAVM.Cap.protocolCompile : Nat
def
Jar.JAVM.Cap.protocolBless : NatJar.JAVM.Cap.protocolBless : Nat
def
Jar.JAVM.Cap.protocolAssign : NatJar.JAVM.Cap.protocolAssign : Nat
def
Jar.JAVM.Cap.protocolDesignate : NatJar.JAVM.Cap.protocolDesignate : Nat
def
Jar.JAVM.Cap.protocolCheckpoint : NatJar.JAVM.Cap.protocolCheckpoint : Nat
def
Jar.JAVM.Cap.protocolServiceNew : NatJar.JAVM.Cap.protocolServiceNew : Nat
def
Jar.JAVM.Cap.protocolServiceUpgrade : NatJar.JAVM.Cap.protocolServiceUpgrade : Nat
def
Jar.JAVM.Cap.protocolTransfer : NatJar.JAVM.Cap.protocolTransfer : Nat
def
Jar.JAVM.Cap.protocolServiceEject : NatJar.JAVM.Cap.protocolServiceEject : Nat
def
Jar.JAVM.Cap.protocolPreimageQuery : NatJar.JAVM.Cap.protocolPreimageQuery : Nat
def
Jar.JAVM.Cap.protocolPreimageSolicit : NatJar.JAVM.Cap.protocolPreimageSolicit : Nat
def
Jar.JAVM.Cap.protocolPreimageForget : NatJar.JAVM.Cap.protocolPreimageForget : Nat
def
Jar.JAVM.Cap.protocolOutput : NatJar.JAVM.Cap.protocolOutput : Nat
def
Jar.JAVM.Cap.protocolPreimageProvide : NatJar.JAVM.Cap.protocolPreimageProvide : Nat
def
Jar.JAVM.Cap.protocolQuota : NatJar.JAVM.Cap.protocolQuota : Nat