starknet_os: os resources test - declare tx

[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 sha512 #14256
• starknet_os: generalize sha resource test to include sha512 #14255
• starknet_os: os resources test - l1 handler tx calldata factor #14152
• starknet_os: os resources test - deploy account tx calldata factor #14151
• starknet_os: os resources test - invoke tx calldata factor #14150
• starknet_os: os resources test - l1 handler tx constant factor #14149
• starknet_os: os resources test - deploy account tx constant factor #14148
• starknet_os: os resources test - declare tx #14147 👈 (View in Graphite)
• starknet_os: os resources test - invoke tx constant factor #14146
• starknet_os: os resources test - extract setup_test_builder #14145
• starknet_os: os resources test - add secp syscalls #14144
• starknet_os: os resources test - add send_message_to_l1 #14143 : 1 other dependent PR (#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
• 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.

[cursor]

PR Summary

Low Risk
Changes are limited to OS flow tests, fixture contracts, and versioned resource constants calibration; no production execution or fee logic paths are altered beyond updating expected declare overhead numbers.

Overview
Extends the OS execute_txs_inner regression test to cover declare transactions in addition to invoke, using a stable prebuilt contract (DATA_GAS_ACCOUNT_CONTRACT) so measurements stay reproducible.

The test now runs two txs, subtracts blockifier business-logic resources from full OS trace resources per tx, and writes the declare constant overhead into versioned constants. blockifier_versioned_constants_0_14_4.json updates execute_txs_inner.Declare (e.g. 3938 steps, 92 range-check builtins, up from 3523 / 72).

The deployable measurement account gains __validate_declare__ with matching Sierra/CASM artifacts so declare validation paths can be exercised consistently. Minor formatting-only edits appear in the OS resources test Cairo contract.

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