ρ‡ - Availability assignment resulting from assurances transition
https://graypaper.fluffylabs.dev/#/ab2cdbd/141302144402?v=0.7.2
κ' kappa prime - Current validator data.
A work-package, is transformed by validators acting as guarantors into its corresponding work-report, which similarly comprises several work-digests and then presented on-chain within the guarantees extrinsic.
https://graypaper.fluffylabs.dev/#/ab2cdbd/138001138401?v=0.7.2
eta_prime: New entropy, after potential epoch transition.
ψ′O - Ed25519 keys of validators that were proven to judge incorrectly.
https://graypaper.fluffylabs.dev/#/ab2cdbd/134201134201?v=0.7.2
λ' lambda prime - Previous validator data.
β† - Partial update of recent blocks.
https://graypaper.fluffylabs.dev/#/ab2cdbd/0f56020f6b02?v=0.7.2
Current time slot, excerpted from block header.
Work Report is presented on-chain within
GuaranteesExtrinsicand then it's being erasure-codec and assured (i.e. voted available by validators).After enough assurances the work-report is considered available, and the work-digests transform the state of their associated service by virtue of accumulation, covered in section 12. The report may also be timed-out, implying it may be replaced by another report without accumulation.
https://graypaper.fluffylabs.dev/#/ab2cdbd/138801138d01?v=0.7.2