starknet_os_flow_tests: fuzz test panic scenario

[dorimedini-starkware]

Note

Low Risk
Changes are confined to blockifier_test_utils fuzz-test contracts and regenerated compiled fixtures; they shouldn’t affect production logic, but can alter flow-test expectations if the new panic/index semantics are incorrect.

Overview
Adds a new SCENARIO_PANIC to the fuzz-revert feature contracts so the flow tests can exercise uncatchable panics (Cairo0) and explicit panic_with_felt252 behavior (Cairo1).

For Cairo1, this introduces orchestrator get_index/set_index APIs plus shared internal helpers (orchestrator() and handle_error_catch) so failed call_contract/library_call scenarios can optionally unwrap or, when caught, restore the orchestrator’s scenario index that would otherwise be reverted by the inner panic.

Regenerates the corresponding compiled Cairo0/Cairo1 artifacts (*.json/*.casm.json) to reflect the new scenario and control-flow changes.

^{Written by Cursor Bugbot for commit 07749a0. This will update automatically on new commits. Configure here.}

[reviewable-StarkWare]

This change is 

[dorimedini-starkware]

• starknet_os_flow_tests: add daily fuzz test seed offset #13156
• starknet_os_flow_tests: fuzz test get block hash scenario #13155
• starknet_os_flow_tests: fuzz test emit event scenario #13154
• starknet_os_flow_tests: make fuzz test Cairo1 scenarios an enum #13153
• starknet_os_flow_tests: fuzz test call/libcall bad entrypoint scenario #13152
• starknet_os_flow_tests: add revert reason verification to fuzz tests #13151
• starknet_os_flow_tests: fuzz test call undeployed scenario #13150
• starknet_os_flow_tests: move fuzz test logic to function #13149
• starknet_os_flow_tests: align fuzz call/libcall data and behavior #13148
• starknet_os_flow_tests: fuzz test sha256/keccak scenarios #13052
• starknet_os_flow_tests: fuzz test scenario filtering mechanism #13050
• starknet_os_flow_tests: fuzz test library call nonexisting class scenario #13049
• starknet_os_flow_tests: fuzz test deploy nonexisting class scenario #13048
• starknet_os_flow_tests: fuzz test send message scenario #13047
• starknet_os_flow_tests: fuzz test increment counter scenario #13046
• starknet_os_flow_tests: exhaustive fuzz test #13045
• starknet_os_flow_tests: move most fuzz test functions to context struct #13044
• starknet_os_flow_tests: move deployed fuzz test map to be static #13043
• starknet_os_flow_tests: expect initial fuzz test addresses #13042
• starknet_os_flow_tests: split fuzz test manager from context #13041
• starknet_os_flow_tests: fuzz test TODOs #12971
• starknet_os_flow_tests: long fuzz test #12970
• starknet_os_flow_tests: daily fuzz test #12969
• starknet_os_flow_tests: fuzz test debug printing #12968
• starknet_os_flow_tests: fuzz test panic scenario #12967 👈 (View in Graphite)
• starknet_os_flow_tests: fuzz test enter/exit call #12966
• starknet_os_flow_tests: fuzz test deploy scenario #12965
• starknet_os_flow_tests: fuzz test replace class scenario #12964
• starknet_os_flow_tests: fuzz test current_class_hash method #12963
• starknet_os_flow_tests: fuzz test storage write scenario #12962
• starknet_os_flow_tests: implement FuzzCallInfo::new_call #12961
• starknet_os_flow_tests: fuzz test library call scenario #12960
• starknet_os_flow_tests: fuzz test call scenario #12959
• starknet_os_flow_tests: fuzz test return scenario + infra skeleton #12958
• starknet_os_flow_tests: fuzz test implement test_revert_fuzz skeleton #12957
• starknet_os_flow_tests: fuzz test orchestrator address in contract state #12956
• starknet_os_flow_tests: fuzz test initial contracts #12955
• main-v0.14.2

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

[Yoni-Starkware]

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

---

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

        if scenario == SCENARIO_CALL {
            let contract_address: ContractAddress = orchestrator.pop_front().try_into().unwrap();
            let should_unwrap = orchestrator.pop_front();

cast to bool

Code quote:

let should_unwrap = orchestrator.pop_front();

---

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

                class_hash, FUZZ_TEST_SELECTOR, array![].span()
            );
            if should_unwrap_with != 0 {

Be consistent

Suggestion:

should_unwrap

---

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

            } else {
                self.handle_error_catch(orchestrator, result);
            }

Move inside handle_error_catch?

Code quote:

            if should_unwrap_with != 0 {
                result.unwrap_syscall();
            } else {
                self.handle_error_catch(orchestrator, result);
            }

[dorimedini-starkware]

@dorimedini-starkware resolved 3 discussions.
Reviewable status: 9 of 13 files reviewed, all discussions resolved (waiting on Yoni-Starkware).

[dorimedini-starkware]

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