starknet_os: initial test, measure call contract resources

[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 - create fixed deployable account #14173
• starknet_os: os resources test - library call #14129
• starknet_os: initial test, measure call contract resources #14128 👈 (View in Graphite)
• 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-21T13:44:42Z
• Started at 2026-05-21T13:48:18Z
• Started at 2026-05-21T13:49:48Z
• Started at 2026-05-25T15:37:26Z
• Started at 2026-05-25T15:56:13Z
• Started at 2026-05-25T16:02:05Z

[Yoni-Starkware]

@Yoni-Starkware reviewed 10 files and all commit messages, and made 2 comments.
Reviewable status: 10 of 11 files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware).

---

crates/starknet_os_flow_tests/src/os_resources_test.rs line 161 at r2 (raw file):

            // iterator.
            let inner_overhead = if selector.is_calling_syscall() {
                inner_calls_iter.next().unwrap().resources.vm_resources

Add a TODO to account for opcodes as well (e.g. blake)
This will be relevant once we move from pedersen

Code quote:

inner_calls_iter.next().unwrap().resources.vm_resources

[dorimedini-starkware]

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

---

crates/starknet_os_flow_tests/src/os_resources_test.rs line 161 at r2 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Add a TODO to account for opcodes as well (e.g. blake)
This will be relevant once we move from pedersen

can you explain why the TODO should be in the inner_calls area?

[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 12e7d75. Configure here.}

[dorimedini-starkware]

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

---

crates/blockifier/resources/blockifier_versioned_constants_0_14_3.json line 130 at r4 (raw file):

        "allowed_virtual_os_program_hashes": [
            "0x3e98c2d7703b03a7edb73ed7f075f97f1dcbaa8f717cdf6e1a57bf058265473",
            "0xbec09f34635cc1590c9d8a0f53f9fc198a4b57f4f832e7e22a4e55946eab21"

should I append this or replace the 0x353.. hash? @Yoni-Starkware

Code quote:

"0xbec09f34635cc1590c9d8a0f53f9fc198a4b57f4f832e7e22a4e55946eab21"

[Yoni-Starkware]

@Yoni-Starkware reviewed 10 files and all commit messages, and made 3 comments.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on dorimedini-starkware).

---

crates/blockifier/resources/blockifier_versioned_constants_0_14_3.json line 130 at r4 (raw file):

Previously, dorimedini-starkware wrote…

should I append this or replace the 0x353.. hash? @Yoni-Starkware

Replace. The second one is the pending hash of v0.14.3.

---

crates/starknet_os_flow_tests/src/os_resources_test.rs line 161 at r2 (raw file):

Previously, dorimedini-starkware wrote…

can you explain why the TODO should be in the inner_calls area?

I see you work here with ExecutionResources and not ExtendedExecutionResources