13.2. Guarantee Integration🔗

New guarantees from the extrinsic are integrated into the pending reports pool. Each guarantee references a work report and is signed by the guarantor.

def

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

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