HLT-005: Proof-combining step can drop inputs and stall DKG completion

[hmzakhalid]

The step that combines node-level proofs before committee publication can stall if proof pieces arrive slightly out of order or if the fold job fails. In the bad case, the round stops making progress without emitting a clear failure signa