starknet_os: os resources test - library call

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[dorimedini-starkware]

• 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 - library call #14129 👈 (View in Graphite)
• 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.

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-24T06:50:41Z
• Started at 2026-05-29T14:04:52Z
• Started at 2026-06-02T14:05:25Z
• Started at 2026-06-02T14:18:02Z

[cursor]

PR Summary

Medium Risk
Changes syscall gas costs, OS resource tables, and allowed virtual OS program hashes used for proving and execution accounting; incorrect values would break consensus or client proving compatibility.

Overview
Adds library_call to the OS resources measurement path so its Starknet OS overhead is regression-tested alongside other syscalls, and aligns fee / resource constants with the remeasured values.

The measurement contract’s __execute__ now invokes library_call_syscall after call_contract. LibraryCall is removed from the unmeasurable syscall list in os_resources_test, and 0.14.4 versioned constants set LibraryCall OS resources to 874 steps (down from 879). Cairo OS constants lower LIBRARY_CALL_GAS_COST (88660 vs 89160), and program_hash.json plus the third allowed virtual OS program hash are updated for the rebuilt OS / virtual OS binaries. Blockifier library_call syscall tests expect the corresponding gas deltas.

^{Reviewed by Cursor Bugbot for commit a2fa830. Bugbot is set up for automated code reviews on this repo. Configure here.}

[yoavGrs]

@yoavGrs reviewed 8 files and all commit messages, and made 1 comment.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware).

[yoavGrs]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware).

[dorimedini-starkware]

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

[dorimedini-starkware]

@dorimedini-starkware resolved 1 discussion and dismissed @Yoni-Starkware from a discussion.
Reviewable status: 7 of 8 files reviewed, all discussions resolved (waiting on yoavGrs).

[graphite-app]

Merge activity

• Jun 2, 2:05 PM UTC: Graphite rebased this pull request, because this pull request is set to merge when ready.

[dorimedini-starkware]

@dorimedini-starkware reviewed 2 files and all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on dorimedini-starkware).