starknet_os: os resources test - support virtual builtins, add sha256

[dorimedini-starkware]

No description provided.

[dorimedini-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: os resources test - add send_message_to_l1 #14143 : 2 dependent PRs (#14144 , #14153 )
• starknet_os: os resources test - add replace_class #14142
• starknet_os: os resources test - support virtual builtins, add sha256 #14141 👈 (View in Graphite)
• starknet_os: define sha256 batch resources constants #14140
• starknet_os: os resources test - add keccak #14139
• starknet_os: os resources test - add 3 more syscalls #14138
• starknet_os: os resources test - remove all fee transfer syscalls #14137
• starknet_os: os resources test - add emit event #14136
• starknet_os: os resources test - add meta tx #14135
• starknet_os: os resources test - measure linear factor, add deploy #14134
• starknet_os: os resources test - library call #14129
• starknet_os: initial test, measure call contract resources #14128
• blockifier_test_utils: add option to deploy from zero in test accounts #14258
• starknet_os_flow_tests: helper function to declare explicit classes #14257
• starknet_os: os resources test - create fixed deployable account #14173
• main

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

[reviewable-StarkWare]

This change is 

[cursor]

PR Summary

Medium Risk
Touches fee/versioned constants (program hashes, SHA256 gas and OS resource tables) used for proving and charging, though changes are driven by measurement and hash regeneration rather than new runtime logic.

Overview
Extends OS syscall resource regression to SHA256 by treating it as a virtual builtin: OsLogger only sees syscall setup, so measured costs are adjusted with SHA256_BATCH_RESOURCES_LINEAR / SHA256_BLOCK_TO_ROUND (7 blocks per round) and public BUILTIN_INSTANCE_SIZES. The Cairo1 os resources test contract now invokes sha256_process_block_syscall; Sha256ProcessBlock is removed from unmeasurable syscalls.

Versioned constants 0.14.4 and Cairo OS constants pick up refreshed OS / virtual OS program hashes, lower SHA256_PROCESS_BLOCK gas, and updated Sha256ProcessBlock step/builtin counts (e.g. 1853 steps, 1114 bitwise). test_finalize_sha256 uses the shared SHA256_BLOCK_TO_ROUND constant instead of a local 7.

^{Reviewed by Cursor Bugbot for commit 2144fa8. 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 035e95f. Configure here.}