starknet_os: os resources test - add send_message_to_l1

[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 ) 👈 (View in Graphite)
• 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
• 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
Updates protocol-facing OS program hashes and syscall gas/step constants; mismatches would break proving or fee accounting, but changes are tied to regression measurement.

Overview
Adds send_message_to_l1 to the Cairo1 OS resources probe contract and the flow regression test, including an expected L2→L1 message assertion. SendMessageToL1 is removed from the unmeasurable-syscall list so its OS overhead is checked against versioned constants.

SendMessageToL1 OS cost is lowered (n_steps 144→124, SEND_MESSAGE_TO_L1_GAS_COST 14470→12470) in blockifier 0.14.4 JSON and Cairo OS constants. OS / virtual OS program hashes and the third allowed virtual OS program hash are updated to match the rebuilt program (program_hash.json, constants.cairo, VC diff regression).

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

[cursor]

Regression diff file missing SendMessageToL1 n_steps change

Medium Severity

The SendMessageToL1 n_steps was changed from 144 to 124 in blockifier_versioned_constants_0_14_4.json, but the corresponding entry ~ /os_resources/execute_syscalls/SendMessageToL1/n_steps: 124 is missing from the 0.14.3_0.14.4.txt regression diff file. The test_vc_diffs_regression test uses expect_file! to compare the computed JSON diff against this file, so it will fail without this entry.

Additional Locations (1)

• crates/blockifier/resources/blockifier_versioned_constants_0_14_4.json#L456-L457

 

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