starknet_os: os resources test - add meta tx

[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
• 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 👈 (View in Graphite)
• 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
Changes syscall gas costs, versioned OS resource tables, and the OS program hash—fee and proving alignment must stay consistent across the network.

Overview
Adds MetaTxV0 to the OS syscall resource regression harness and refreshes the constants that track its cost.

The OS resources test contract now invokes meta_tx_v0_syscall twice (empty vs longer calldata) so base and calldata-linear overhead can be measured like Deploy. MetaTxV0 is removed from the unmeasurable syscall list, listed among syscalls with a linear factor, and inner-call subtraction ignores memory holes until the OsLogger supports them. Deploy probe salt changes from 3 to 1 for stable measurements.

The deployable measurement account’s __execute__ / __validate__ take a Span<felt252> so meta-tx calldata scaling can be exercised; bundled CASM/Sierra artifacts are regenerated.

META_TX_V0_GAS_COST rises (167950 → 173400). Blockifier 0.14.4 MetaTxV0 OS resources bump constant steps and Pedersen builtins; regression diff notes the 0.14.3→0.14.4 delta. program_hash.json OS hash updates for the rebuilt program.

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

[Yoni-Starkware]

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

---

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

            calldata: array![0, 0, 0, 0].span(),
            signature: array![].span(),
        )

Call the const contract instead, so you could have a base cost without arguments (same comment as the deploy syscall)

Code quote:

        // meta_tx_v0 syscall - base.
        meta_tx_v0_syscall(
            address: self_address,
            entry_point_selector: EXECUTE_FUNCTION_SELECTOR,
            // class hash, address, deployable class hash, extra args len.
            calldata: array![0, 0, 0, 0].span(),
            signature: array![].span(),
        )

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

[yoavGrs]

@yoavGrs reviewed 9 files and all commit messages, and made 4 comments.
Reviewable status: 9 of 10 files reviewed, 5 unresolved discussions (waiting on dorimedini-starkware and Yoni-Starkware).

---

crates/blockifier/resources/blockifier_versioned_constants_0_14_4.json line 368 at r2 (raw file):

                    "builtin_instance_counter": {
                        "range_check_builtin": 20,
                        "pedersen_builtin": 10

The number of builtins has changed.

Code quote:

"pedersen_builtin": 10

---

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

        // this reason we deploy from zero, and choose a specific salt.
        // base (no calldata):
        deploy_syscall(stable_class_hash, 1, array![0].span(), true).unwrap_syscall();

Why?

Code quote:

1,

---

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

            // TODO(Dori): Consider supporting memory-hole counting in the OsLogger. Until then, we
            //   cannot subtract inner calls with positive memory-hole counts from the OsLogger
            //   resources.

You can count the memory holes if you don't put all the syscalls in a single tx.

Code quote:

            // TODO(Dori): Consider supporting memory-hole counting in the OsLogger. Until then, we
            //   cannot subtract inner calls with positive memory-hole counts from the OsLogger
            //   resources.

---

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

            //   resources.
            let mut inner_resources = inner_calls_iter.next().unwrap().resources.vm_resources;
            inner_resources.n_memory_holes = 0;

The n_memory_holes is zero for all the resources in the versioned constants.

Code quote:

inner_resources.n_memory_holes = 0