Function verify_slot_h_intermediates 

pub fn verify_slot_h_intermediates(
    slot_idx: usize,
    num_drafts: usize,
    uniform_verify: bool,
) -> usize

2026-09-25: H-state intermediates the verify pools hold for pool slot slot_idx: the slot’s draft capacity, which is K-1 for a K-row verify. With uniform_verify (set by the server’s preflight for DFlash) every slot gets num_drafts.

K-1 suffices because the state after the last verified row stays in h_state: commit_accepted_prefix returns early on a full accept and otherwise reads index num_accepted - 1 <= K - 2 (async_chkpt.rs), and the batched WY path requires only k-1 h intermediates (trait_decode_batched_conv_gdn_multi.rs).

Only the H side is tiered. The conv intermediates stay at num_drafts + 1 per slot: gdn_verify_fused_conv_kn_batched writes all K, and the batched path declines unless every sequence holds k conv intermediates and the per-sequence regions are evenly spaced (trait_decode_batched_conv_gdn_multi.rs).