starknet_os_flow_tests: prove a block with a DeployAccount v4 end-to-end

[ron-starkware]

Stack — part 9 of 9 (base: #14818). Targets 0.14.5.

End-to-end acceptance for the feature: a block containing a DeployAccount v4 (funded at its Blake2-escaped counterfactual address) followed by an invoke sent from the deployed account, proved through the real OS.

This is what closes the loop between the Rust derivation (#14812), the transaction type (#14813), the OS (#14814) and blockifier execution (#14815) — an address mismatch anywhere in that chain fails the proof rather than a unit test.

🤖 Generated with Claude Code

[ron-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

• starknet_os_flow_tests: prove a block with a DeployAccount v4 end-to-end #14819 👈 (View in Graphite)
• apollo_starknet_os_program,starknet_os: add the deploy_v2 syscall to the OS #14818
• blockifier: add the deploy_v2 syscall (Blake2 contract address derivation) #14817
• apollo_http_server,apollo_gateway_types: accept DeployAccount v4 at the gateway #14816
• blockifier: enable DeployAccount v4 execution #14815
• starknet_os: support DeployAccount v4 Blake2 address derivation in the OS #14814
• starknet_api: add DeployAccount v4 transaction type (Blake2 address derivation) #14813
• starknet_api: escape the Pedersen image in Blake2 contract address derivation #14812
• starknet_api: make contract address derivation hash-pluggable #14811
• main

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

[reviewable-StarkWare]

This change is 

[github-actions]

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale.
This PR will be closed and locked in 7 days if no further activity occurs.
Thank you for your contributions!