JAR: JAM Axiomatic Reference

7.9. Accumulation (§12)🔗

🔗def
Jar.performAccumulation [Jar.JamConfig]
  (available : Array Jar.WorkReport) (s : Jar.State) (t' : Jar.Timeslot)
  (opaqueData : Array (ByteArray × ByteArray))
  (entropy' : Jar.Entropy := s.entropy) : Jar.AccumulationResult
Jar.performAccumulation [Jar.JamConfig]
  (available : Array Jar.WorkReport)
  (s : Jar.State) (t' : Jar.Timeslot)
  (opaqueData :
    Array (ByteArray × ByteArray))
  (entropy' : Jar.Entropy := s.entropy) :
  Jar.AccumulationResult

Perform accumulation of newly available work reports. GP §12. Implements the full queue management: partition, resolve, accumulate.