Reports (§11)

def

Jar.reportsPostJudgment [Jar.JamConfig]
  (rho : Array (Option Jar.PendingReport)) (badReports : Array Hash) :
  Array (Option Jar.PendingReport)
Jar.reportsPostJudgment [Jar.JamConfig]
  (rho : Array (Option Jar.PendingReport))
  (badReports : Array Hash) :
  Array (Option Jar.PendingReport)

ρ† : Clear reports which have been judged bad. GP eq (115–120).

def

Jar.reportsPostAssurance [Jar.JamConfig]
  (rhoDag : Array (Option Jar.PendingReport))
  (assurances : Jar.AssurancesExtrinsic) (t' : Jar.Timeslot) :
  Array (Option Jar.PendingReport) × Array Jar.WorkReport
Jar.reportsPostAssurance [Jar.JamConfig]
  (rhoDag :
    Array (Option Jar.PendingReport))
  (assurances : Jar.AssurancesExtrinsic)
  (t' : Jar.Timeslot) :
  Array (Option Jar.PendingReport) ×
    Array Jar.WorkReport

ρ‡ : Clear reports which have become available or timed out. GP eq (185–188). Returns (updated reports, list of newly available work reports).

def

Jar.reportsPostGuarantees [Jar.JamConfig]
  (rhoDDag : Array (Option Jar.PendingReport))
  (guarantees : Jar.GuaranteesExtrinsic) (t' : Jar.Timeslot) :
  Array (Option Jar.PendingReport)
Jar.reportsPostGuarantees [Jar.JamConfig]
  (rhoDDag :
    Array (Option Jar.PendingReport))
  (guarantees : Jar.GuaranteesExtrinsic)
  (t' : Jar.Timeslot) :
  Array (Option Jar.PendingReport)

ρ' : Integrate new guarantees into reports. GP eq (413–416).

JAR: JAM Axiomatic Reference

7.7. Reports (§11)🔗