JAR: JAM Axiomatic Reference

7.11. Statistics (§13)🔗

🔗def
Jar.updateStatistics [Jar.JamConfig] (pi : Jar.ActivityStatistics)
  (h : Jar.Header) (e : Jar.Extrinsic) (t t' : Jar.Timeslot)
  (_kappa' : Array Jar.ValidatorKey) (available : Array Jar.WorkReport)
  (accStats : Dict Jar.ServiceId Jar.ServiceStatistics) :
  Jar.ActivityStatistics
Jar.updateStatistics [Jar.JamConfig]
  (pi : Jar.ActivityStatistics)
  (h : Jar.Header) (e : Jar.Extrinsic)
  (t t' : Jar.Timeslot)
  (_kappa' : Array Jar.ValidatorKey)
  (available : Array Jar.WorkReport)
  (accStats :
    Dict Jar.ServiceId
      Jar.ServiceStatistics) :
  Jar.ActivityStatistics

π' : Updated activity statistics. GP §13. Tracks per-validator: blocks, tickets, preimages, guarantees, assurances. Tracks per-core and per-service statistics. Per-core and per-service stats are reset each block (not accumulated within epoch).