Kind 11: All work-item summaries - E(↕[S(w) | w ← p_w]).
https://graypaper.fluffylabs.dev/#/ab2cdbd/31f40231f402?v=0.7.2
Kind 8: Authorizer configuration - p_f.
https://graypaper.fluffylabs.dev/#/ab2cdbd/31c80231c802?v=0.7.2
Kind 9: Authorization token - p_j.
https://graypaper.fluffylabs.dev/#/ab2cdbd/31cf0231cf02?v=0.7.2
Kind 0: Encoded constants info (𝐜).
https://graypaper.fluffylabs.dev/#/ab2cdbd/315001315001?v=0.7.2
Kind 12: Single work-item summary - S(p_w[φ₁₁]).
https://graypaper.fluffylabs.dev/#/ab2cdbd/31fc0231fc02?v=0.7.2
Kind 10: Refinement context - E(p_x).
https://graypaper.fluffylabs.dev/#/ab2cdbd/31da0231da02?v=0.7.2
Kind 13: Work-item payload - p_w[φ₁₁]_y.
https://graypaper.fluffylabs.dev/#/ab2cdbd/313b03313b03?v=0.7.2
Kind 7: Encoded work package - E(𝐩).
https://graypaper.fluffylabs.dev/#/ab2cdbd/31c10231c102?v=0.7.2
Fetch externalities for the IsAuthorized context.
Ω_Y(ρ, φ, μ, 𝐩, ∅, ∅, ∅, ∅, ∅, ∅, ∅) https://graypaper.fluffylabs.dev/#/ab2cdbd/2e43012e4301?v=0.7.2
Available kinds: 0 (constants), 7-13 (work package)