apollo_batcher: route commitment through read_paths_and_commit_block under os_input

[yoavGrs]

decision_reached passes the block's persisted accessed keys to the commitment
manager, which then issues ReadPathsAndCommitBlock instead of CommitBlock.
Blocks without accessed keys (synced blocks, catch-up of heights with no
persisted keys) fall back to CommitBlock. The returned Patricia witnesses are
not stored yet.

Co-Authored-By: Claude Opus 4.8 (1M context) noreply@anthropic.com

[reviewable-StarkWare]

This change is 

[yoavGrs]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• apollo_batcher: persist patricia proofs returned by the committer #14393
• apollo_batcher: route commitment through read_paths_and_commit_block under os_input #14392 👈 (View in Graphite)
• apollo_batcher: persist accessed keys before adding the commitment task #14391
• apollo_batcher: add ReadPathsAndCommitBlock committer task type #14385
• apollo_batcher: refactor commit metrics to read the label from the task output #14384
• apollo_batcher: refactor TaskTimer with a timer map per task label #14383
• apollo_storage: add patricia_proofs table for OS-input witnesses #14382
• main

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

[cursor]

PR Summary

Medium Risk
Changes the state-committer path for locally executed blocks and restart catch-up; wrong routing could skip witnesses or call the wrong RPC, though fallbacks and a dedicated test limit regression risk.

Overview
With os_input, block commitment no longer always uses CommitBlock. The batcher passes optional accessed keys into the commitment manager, which chooses ReadPathsAndCommitBlock (Patricia witness fetch) when keys are present and CommitBlock when they are not.

decision_reached persists accessed keys from local execution and forwards them into the commitment task. Synced blocks pass None because they were not executed locally. Catch-up reloads accessed keys from storage per height and uses the same routing.

Metrics and logging use the actual commit task type. Tests and mocks were updated; a new test asserts catch-up without stored keys never calls read_paths_and_commit_block. Patricia proofs from the committer are not persisted in this PR. ContractsTrieProof is re-exported from storage for test helpers.

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