starknet_os_flow_tests: initial commit of os_resources module

[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_flow_tests: add expect_file auto-fix to test_os_resources #14095
• starknet_os_flow_tests: add test_os_resources #14094
• blockifier_test_utils: fix os_resources_test_contract to accept self_address in calldata #14093
• starknet_os_flow_tests: add tx_inner resource extraction to os_resources #14092
• starknet_os_flow_tests: initial commit of os_resources module #14091 👈 (View in Graphite)
• starknet_os,blockifier: make some VC fields public #14090
• blockifier_test_utils: add os resources test contract #14089
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[reviewable-StarkWare]

This change is 

[cursor]

PR Summary

Medium Risk
Test-only change, but it introduces strict resource-extraction logic and assertion-based comparisons against VersionedConstants that may be sensitive to trace format or minor VM step drift, potentially causing flaky/fragile CI failures.

Overview
Adds a new os_resources module to starknet_os_flow_tests to measure and validate Starknet OS resource costs from an OsTransactionTrace.

The module extracts per-syscall ResourcesParams (including special handling for CallContract/LibraryCall inner-call subtraction plus fixed return-step overhead), appends hardcoded costs for legacy/unexercised syscalls, and provides compare_os_resources to assert measured vs expected OsResources with step-drift margins (exact match on builtins).

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

[cursor]

MetaTxV0 missing from CALL_CONTRACT_SYSCALLS loses inner-call subtraction

Medium Severity

MetaTxV0 is classified as a calling syscall (per is_calling_syscall()) and the test contract confirms it calls execute_inner_call, which pushes an entry into execute_call_info.inner_calls. However, CALL_CONTRACT_SYSCALLS only lists CallContract and LibraryCall, so MetaTxV0's inner-call VM resources are never subtracted from its raw trace resources. This inflates the extracted constant cost for MetaTxV0 by the cost of the inner call. The comparison margin may mask this today (since the inner call targets an empty function), but the measured value is nonetheless incorrect.

Additional Locations (1)

• crates/starknet_os_flow_tests/src/os_resources.rs#L92-L117

 

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