JAR: JAM Axiomatic Reference

10.3. Single-Service Accumulation🔗

🔗def
Jar.Accumulation.accone [Jar.JamConfig] (ps : PartialState)
  (serviceId : Jar.ServiceId) (operands : Array OperandTuple)
  (transfers : Array Jar.DeferredTransfer) (freeGas : Jar.Gas)
  (timeslot : Jar.Timeslot) (entropy : Hash)
  (configBlob itemsBlob : ByteArray) (items : Array ByteArray)
  (opaqueData : Array (ByteArray × ByteArray) := #[])
  (initAccounts : Dict Jar.ServiceId Jar.ServiceAccount := Dict.empty) :
  AccOneOutput
Jar.Accumulation.accone [Jar.JamConfig]
  (ps : PartialState)
  (serviceId : Jar.ServiceId)
  (operands : Array OperandTuple)
  (transfers : Array Jar.DeferredTransfer)
  (freeGas : Jar.Gas)
  (timeslot : Jar.Timeslot)
  (entropy : Hash)
  (configBlob itemsBlob : ByteArray)
  (items : Array ByteArray)
  (opaqueData :
    Array (ByteArray × ByteArray) := #[])
  (initAccounts :
    Dict Jar.ServiceId
      Jar.ServiceAccount :=
    Dict.empty) :
  AccOneOutput

Accumulate a single service. GP §12 eq:accone. Gathers all operands and transfers for this service, invokes Ψ_A (PVM accumulate), and collects outputs.