Fresh challenge blocks

Let ${\mathcal{H}}_t$ contain the complete history immediately before cycle $t$'s challenge block, including maintenance randomness, ${\vartheta }_t^{-}$, challenge parameters, sample size, and confidence allocation.