13.3. Availability🔗

Assurance extrinsics signal that validators hold their erasure-coded chunks. Once a report reaches the availability threshold (2/3 of validators), it becomes available for accumulation. Reports that time out are dropped.

def

Jar.reportsPostAssurance [JarVariant]
  (rhoDag : Array (Option PendingReport))
  (assurances : AssurancesExtrinsic) (t' : Timeslot)
  (validatorCount : Nat := V) :
  Array (Option PendingReport) × Array WorkReport
Jar.reportsPostAssurance [JarVariant]
  (rhoDag : Array (Option PendingReport))
  (assurances : AssurancesExtrinsic)
  (t' : Timeslot)
  (validatorCount : Nat := V) :
  Array (Option PendingReport) ×
    Array WorkReport

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