JAR: JAM Axiomatic Reference

6.3. State Update🔗

🔗def
Jar.Consensus.updateSafrole [Jar.JamConfig] (gamma : Jar.SafroleState)
  (tickets : Jar.TicketsExtrinsic) (eta' : Jar.Entropy)
  (kappa' : Array Jar.ValidatorKey) (epochChanged : Bool)
  (oldSlotInEpoch oldEpoch newEpoch : Nat)
  (iota : Array Jar.ValidatorKey) (offenders : Array Ed25519PublicKey) :
  Jar.SafroleState
Jar.Consensus.updateSafrole
  [Jar.JamConfig]
  (gamma : Jar.SafroleState)
  (tickets : Jar.TicketsExtrinsic)
  (eta' : Jar.Entropy)
  (kappa' : Array Jar.ValidatorKey)
  (epochChanged : Bool)
  (oldSlotInEpoch oldEpoch newEpoch : Nat)
  (iota : Array Jar.ValidatorKey)
  (offenders : Array Ed25519PublicKey) :
  Jar.SafroleState

Update the Safrole state for a new block. GP §6. This combines epoch transitions, seal key updates, and ticket accumulation. oldSlotInEpoch is the PRIOR timeslot's position in its epoch (τ % E).