W_A : Max is-authorized code size. GP: 𝖶_A = 64,000.
3.6. Size Limits
def
Jar.W_A : NatJar.W_A : Nat
def
Jar.W_B : NatJar.W_B : Nat
W_B : Max work-package blob size. GP: 𝖶_B = 13,791,360.
def
Jar.W_C : NatJar.W_C : Nat
W_C : Max service code size. GP: 𝖶_C = 4,000,000.
def
Jar.W_E : NatJar.W_E : Nat
W_E : Erasure coding piece size. GP: 𝖶_E = 684.
def
Jar.W_G [j : Jar.JamConfig] : NatJar.W_G [j : Jar.JamConfig] : Nat
W_G : Segment size. For full config: W_P × W_E = 6 × 684 = 4,104. Note: W_P is in Config since it differs between full (6) and tiny (1026).
def
Jar.W_M : NatJar.W_M : Nat
W_M : Max segment imports. GP: 𝖶_M = 3,072.
def
Jar.W_P [j : Jar.JamConfig] : NatJar.W_P [j : Jar.JamConfig] : Nat
W_P via JamConfig.
def
Jar.W_R : NatJar.W_R : Nat
W_R : Max work-report variable-size blob. GP: 𝖶_R = 49,152.
def
Jar.W_T : NatJar.W_T : Nat
W_T : Transfer memo size. GP: 𝖶_T = 128.
def
Jar.W_X : NatJar.W_X : Nat
W_X : Max segment exports. GP: 𝖶_X = 3,072.