starknet_os_flow_tests: cover all proof versions and program hashes

[Yoni-Starkware]

Summary

• Cairo1 flow test that submits an invoke for every (ProofVersion, allowed_virtual_os_program_hash) pair.
• Exercises the PROOF_VERSION_V0 / PROOF_VERSION_V1 acceptance path in check_proof_facts.

Test plan

• cargo test -p starknet_os_flow_tests test_proof_facts_versions_and_program_hashes

🤖 Generated with Claude Code

[cursor]

PR Summary

Medium Risk
Moderate risk because it changes scraper error handling for L1 reorgs and updates integration-test node shutdown semantics, which can affect runtime behavior and test stability.

Overview
Adds a new starknet_os_flow_tests case that submits invokes covering all ProofVersion variants and all allowed virtual-OS program hashes.

Stabilizes and hardens test/infra: makes IntegrationTestManager::shutdown_nodes async and waits for task cancellation/port release, makes the preconfirmed block writer test deterministic via Notify instead of sleeps, and adds expect-test–backed assertions for CASM V2 (Blake) hash-estimation constants (including new blockifier testing feature dep).

Operational tweaks: increases CI cargo-deny timeout, improves Grafana panels’ log queries (and adds log queries for L1 scraper errors/reorgs), treats L1ReorgDetected as a distinct warning+early-return in the L1 events scraper, adjusts gas-price scraper error logging, removes legacy compiler-binary install/build-script paths, and bumps cairo-lang from 0.14.3a1 to 0.14.3a2 (including the prover Dockerfile and requirements).

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

[reviewable-StarkWare]

This change is 

[AvivYossef-starkware]

Do we have any negative tests?
One for not virual os hash and one for proof version?

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

---

crates/starknet_os_flow_tests/src/tests.rs line 3032 at r1 (raw file):

    let test_contract = FeatureContract::TestContract(CairoVersion::Cairo1(RunnableCairo1::Casm));
    let (mut test_builder, [test_contract_address]) =
        TestBuilder::create_standard([(test_contract, calldata![Felt::ZERO, Felt::ZERO])]).await;

what is it?

Code quote:

calldata![Felt::ZERO, Felt::ZERO]

[Yoni-Starkware]

@Yoni-Starkware made 1 comment.
Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on AvivYossef-starkware).

---

crates/starknet_os_flow_tests/src/tests.rs line 3032 at r1 (raw file):

Previously, AvivYossef-starkware wrote…

what is it?

Args for the constructor. Same pattern as in other tests here

[Yoni-Starkware]

We don't have negative tests for the OS. We have negative unit tests for the blockifier
I added negative tests for the VIRTUAL OS since it's user-facing

@Yoni-Starkware made 1 comment.
Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on AvivYossef-starkware).

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-19T07:08:43Z
• Started at 2026-05-19T12:12:47Z

[AvivYossef-starkware]

@AvivYossef-starkware reviewed 1 file and all commit messages, made 1 comment, and resolved 1 discussion.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on Yoni-Starkware).

[AvivYossef-starkware]

@AvivYossef-starkware made 1 comment.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on Yoni-Starkware).

---

crates/starknet_os_flow_tests/src/tests.rs line 3032 at r3 (raw file):

    let test_contract = FeatureContract::TestContract(CairoVersion::Cairo1(RunnableCairo1::Casm));
    let (mut test_builder, [test_contract_address]) =
        TestBuilder::create_standard([(test_contract, calldata![Felt::ZERO, Felt::ZERO])]).await;

follow up PR

Code quote:

[Felt::ZERO, Felt::ZERO])]

[Yoni-Starkware]

@Yoni-Starkware resolved 1 discussion.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on Yoni-Starkware).