apollo_integration_tests: verify Patricia storage proofs of persisted witnesses in flow tests

[itamar-starkware]

No description provided.

[cursor]

PR Summary

Low Risk
Changes are confined to integration-test helpers and assertions; production sequencer behavior is unchanged.

Overview
End-to-end flow tests now cryptographically check that persisted witness data matches each block’s storage writes, not only that witnesses exist and trie roots chain.

After the existing witness checks, end_to_end_flow runs verify_witness_storage_proofs_flow. For every committed height with StateCommitmentInfos, it loads the block’s ThinStateDiff via a new FlowSequencerSetup::get_thin_state_diff helper (storage reader location + fetch). For each contract with storage diffs, it builds preimages from commitment_facts, maps non-zero writes to leaf indices, and calls verify_patricia_proof against the contract’s updated storage root (zero values are skipped as absent leaves).

starknet_patricia is added as a test dependency to use the shared proof verifier and related types.

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

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-08-01T20:22:06Z
• Started at 2026-08-01T21:10:55Z
• Started at 2026-08-01T21:29:01Z
• Started at 2026-08-01T22:07:01Z
• Started at 2026-08-02T12:33:49Z
• Started at 2026-08-02T12:34:03Z
• Started at 2026-08-02T12:55:13Z
• Started at 2026-08-02T17:25:50Z
• Started at 2026-08-02T20:22:14Z

[itamar-starkware]

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_integration_tests: verify Patricia storage proofs of persisted witnesses in flow tests #14905 👈 (View in Graphite)
• apollo_integration_tests: validate cende blob witness fields in the dummy recorder #14904
• apollo_integration_tests: assert witnesses persisted for committed heights in flow tests #14903
• central_systest_blobs: carry real witness fields in the regression blobs #14910
• starknet_committer_and_os_cli: add rust-to-python serde python-test variants for commitment infos and state maps #14909
• workspace,ci: remove the os_input feature (make it unconditional) #14902 : 1 other dependent PR (#14907 )
• main

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