ρ‡ - Availability assignment resulting from assurances transition https://graypaper.fluffylabs.dev/#/1c979cb/141302144402?v=0.7.1
A work-package, is transformed by validators acting as guarantors into its corresponding work-report, which similarly comprises several work outputs and then presented on-chain within the guarantees extrinsic.
eta_prime: New entropy, after potential epoch transition.
ψ′O - Ed25519 keys of validators that were proven to judge incorrectly.
https://graypaper.fluffylabs.dev/#/1c979cb/134201134201?v=0.7.1
Partial update of recent blocks. (β†, https://graypaper.fluffylabs.dev/#/9a08063/0fd8010fdb01?v=0.6.6)
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 outputs 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/#/5f542d7/133d00134200