starknet_os: os resources test - library call

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[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
• 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 👈 (View in Graphite)
• 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.

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-24T06:50:41Z

[cursor]

PR Summary

Medium Risk
Updates fee/resource constants and OS program hashes used for proving and execution; incorrect values would affect gas accounting and client-side proving compatibility.

Overview
Adds library_call to the OS resources regression path so its Starknet OS overhead is measured end-to-end like call_contract.

The test contract’s __execute__ now invokes library_call_syscall against empty_function, and LibraryCall is removed from the unmeasurable syscall list so test_os_resources_regression can assert LibraryCall costs in versioned constants. Measured LibraryCall VM cost drops from 879 to 872 steps, with LIBRARY_CALL_GAS_COST aligned to 88460 in Cairo OS constants and 0.14.3 blockifier JSON. OS and virtual OS program hashes in program_hash.json and the allowed virtual hash list are refreshed to match the rebuilt program.

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

[cursor]

Regression diff missing LibraryCall n_steps change

Low Severity

The regression diff file between 0.14.2 and 0.14.3 was updated to reflect the new allowed_virtual_os_program_hashes value, but it's missing the LibraryCall n_steps change from 879 (in 0.14.2) to 872 (in 0.14.3). This omission means the regression diff file no longer accurately captures all differences between the two versions, which will likely cause the associated regression test to fail.

Additional Locations (1)

• crates/blockifier/resources/blockifier_versioned_constants_0_14_3.json#L347-L348

 

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

[Yoni-Starkware]

The CI is green, how can it be @dorimedini-starkware?

[Yoni-Starkware]

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

[Yoni-Starkware]

The CI is green, how can it be @dorimedini-starkware?

[Yoni-Starkware]

@Yoni-Starkware made 1 comment.
Reviewable status: 5 of 6 files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware).