apollo_consensus_orchestrator: verify retrospective state commitment infos before proposing

[yoavGrs]

Before proposing at height H, query the batcher's and the cende
recorder's commitment infos height offsets and require that at least
one of them has stored the commitment infos of the next height's
retrospective block, H + 1 - STORED_BLOCK_HASH_BUFFER. Height H's blob
carries the commitment-info delta the recorder is missing and is
written to the recorder when height H + 1 is built, so either source
having the infos now guarantees the recorder has its retrospective
block's commitment infos when the next height is built.

A single check, no retries: if the infos are missing on both sources
the build fails.

When neither side has stored any commitment infos at all the
validation is skipped with a warning: they will never exist for
pre-feature blocks, and requiring them would block proposing forever.

Co-Authored-By: Claude Fable 5 noreply@anthropic.com

[reviewable-StarkWare]

This change is 

[yoavGrs]

• apollo_consensus_orchestrator: verify retrospective state commitment infos before proposing #14895 👈 (View in Graphite)
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[cursor]

PR Summary

Medium Risk
Adds a hard check on the consensus proposer path that can block block production if commitment infos lag on both batcher and recorder after feature activation.

Overview
Under os_input, proposal build now fails fast if the batcher and Cende recorder both lack state commitment infos for the next height’s retrospective block (H + 1 - STORED_BLOCK_HASH_BUFFER), so height H’s blob is only proposed when at least one side already has what the recorder needs for the following height.

verify_retrospective_state_commitment_infos queries the batcher for infos at that block and the recorder’s commitment_infos_height_offset; pass if the batcher has infos, or the recorder offset is past that block. If the recorder has never stored any infos, validation is skipped with a warning (pre-feature blocks). BuildProposalError gains RetrospectiveStateCommitmentInfosError; unit tests cover pass/fail and early exit when the buffer does not apply.

^{Reviewed by Cursor Bugbot for commit 0b53933. Bugbot is set up for automated code reviews on this repo. Configure here.}

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 25c4d6e. Configure here.}