7.6. Deferred Transfers🔗

Transfers between services are deferred to accumulation. In jar1, transfers carry no token amount — they are pure inter-service messages with a memo and gas budget.

structure

Jar.DeferredTransfer [JarConfig] : Type
Jar.DeferredTransfer [JarConfig] : Type

𝕏 : Deferred transfer. GP eq (12.3). X = ⟨s, d, payload, m, g⟩ The economic payload (token amount vs nothing) is determined by the variant.

Constructor

Jar.DeferredTransfer.mk

Fields

source : ServiceId

s : Source service. ℕ_S.

dest : ServiceId

d : Destination service. ℕ_S.

payload : JarConfig.TransferType

Economic payload (amount for gp072, unit for jar1).

memo : OctetSeq W_T

m : Memo. 𝔹_{W_T} (128 bytes).

gas : Gas

g : Gas limit for on-transfer. ℕ_G.