starknet_os: os resources test - add 3 more syscalls

[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
• 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 👈 (View in Graphite)
• 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
Updates versioned OS/syscall gas and resource constants plus program hashes used for proving and execution accounting; incorrect values would break fee estimation or client-side OS validation.

Overview
Extends the OS resources regression path so GetBlockHash, GetClassHashAt, and GetExecutionInfo are exercised and measured instead of treated as unmeasurable.

The Cairo1 OsResourcesTestContract now invokes those syscalls in __execute__, and UNMEASURABLE_SYSCALLS drops the three selectors. Measured VM steps and builtins in blockifier_versioned_constants_0_14_3.json are updated accordingly, along with matching syscall gas costs in OS constants.cairo and refreshed os / virtual_os program hashes in program_hash.json and the allowed virtual OS hash list.

^{Reviewed by Cursor Bugbot for commit 5d943b5. 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 5d943b5. Configure here.}

[cursor]

Diff regression file missing OS resource changes

Medium Severity

The 0.14.2_0.14.3.txt diff regression file only captures the allowed virtual OS program hash change, but the PR also modifies OS resource values in the 0.14.3 JSON that differ from 0.14.2: GetBlockHash n_steps (107→106) and range_check_builtin (2→3), GetClassHashAt n_steps (89→75), and GetExecutionInfo n_steps (125→111). Since the 0.14.2 JSON was not changed, the test_vc_diffs_regression test will compute these as Replace operations in the JSON diff but the expected file doesn't include them, causing the test to fail.

Additional Locations (1)

• crates/blockifier/resources/blockifier_versioned_constants_0_14_3.json#L271-L275

 

^{Reviewed by Cursor Bugbot for commit 5d943b5. Configure here.}

[Yoni-Starkware]

@Yoni-Starkware reviewed 4 files and all commit messages, and made 1 comment.
Reviewable status: 4 of 6 files reviewed, 2 unresolved discussions (waiting on dorimedini-starkware).

---

crates/blockifier_test_utils/resources/feature_contracts/cairo1/os_resources_test_contract.cairo line 104 at r1 (raw file):

        // get execution info syscall.
        get_execution_info_v2_syscall().unwrap_syscall();

Same OS impl though

Suggestion:

get_execution_info_v3_syscall()