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 - create fixed deployable account #14173
• starknet_os: os resources test - library call #14129
• starknet_os: initial test, measure call contract resources #14128
• blockifier_test_utils: add OS resources measurement contract #14126 : 1 other dependent PR (#14127 )
• blockifier: regenerate VC JSONs #14133
• blockifier: raw VC to_string_pretty #14132
• blockifier: raw VC deterministic map order #14131
• blockifier: raw VC serde equivalence test #14130
• main

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

[reviewable-StarkWare]

This change is 

[cursor]

PR Summary

Medium Risk
Changes published OS program hashes and syscall gas/resource constants used for fee accounting; scope is calibration and tests, not new runtime features.

Overview
Updates SHA256 process-block costing to match revised OS execution: SHA256_PROCESS_BLOCK_GAS_COST and Sha256ProcessBlock step/builtin counts are lowered, and OS / virtual OS program hashes in program_hash.json are refreshed accordingly.

The OS resources regression path now measures Sha256ProcessBlock (removed from unmeasurable syscalls). Because SHA256 work runs on a virtual builtin after execute_syscalls, measured traces are adjusted by adding a per-block share of SHA256_BATCH_RESOURCES_LINEAR (using shared SHA256_BLOCK_TO_ROUND and public BUILTIN_INSTANCE_SIZES). The Cairo1 os resources test contract invokes sha256_process_block_syscall so the syscall appears in the flow test.

^{Reviewed by Cursor Bugbot for commit b11e870. 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.}