blockifier_reexecution: wire prefetch_initial_reads into replay CLI

[AvivYossef-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[AvivYossef-starkware]

• blockifier_reexecution: delete RpcStateReader methods superseded by get_block_info_with_txs #13834
• blockifier_reexecution: cache BlockInfoWithTxs in consecutive readers to dedupe RPC fetches #13833
• blockifier_reexecution: add get_block_info_with_txs for single-call block fetch #13832
• blockifier_reexecution,starknet_transaction_prover: support DeployAccount V3 in simulate prefetch #13778
• blockifier_reexecution,starknet_transaction_prover: graceful fallback on prefetch failure #13743
• blockifier_reexecution,starknet_transaction_prover: parameterize skip_fee_charge in prefetch #13738
• blockifier_reexecution: remove fallback warn logs from SimulatedStateReader #13737
• blockifier_reexecution: wire prefetch_initial_reads into replay CLI #13712 👈 (View in Graphite)
• blockifier_reexecution: add prefetch_initial_reads to ConsecutiveRpcStateReaders #13711
• blockifier_reexecution: extract contract_class_mapping_dumper into ConsecutiveRpcStateReaders #13741
• blockifier_reexecution: add PrefetchedStateReader and move from starknet_transaction_prover #13654
• main-v0.14.2

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

[cursor]

PR Summary

Medium Risk
Changes the default RPC replay execution path to optionally (and by default) prefetch initial reads via starknet_simulateTransactions, which may impact performance and compatibility with RPC nodes. Scope is limited to the replay tooling and wiring/plumbing rather than core execution logic.

Overview
Adds a new rpc-replay flag --prefetch-initial-reads (default true) and wires it through main/run_rpc_replay into ConsecutiveRpcStateReaders so replay workers can enable/disable simulate-based prefetching.

Updates Kubernetes job.yaml (via PREFETCH_INITIAL_READS env var) and replay docs/Claude runbook to surface the new toggle; offline dump mode explicitly forces prefetching off, and tests are updated for the new constructor parameter.

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

[graphite-app]

Merge activity

• Apr 14, 5:43 PM UTC: Graphite rebased this pull request, because this pull request is set to merge when ready.

[AvivYossef-starkware]

@AvivYossef-starkware reviewed 1 file.
Reviewable status: 1 of 6 files reviewed, all discussions resolved (waiting on noaov1 and Yoni-Starkware).

[Yoni-Starkware]

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

---

crates/blockifier_reexecution/src/rpc_replay.rs line 215 at r2 (raw file):

        contract_class_manager.clone(),
    );
    readers.prefetch_initial_reads = prefetch_initial_reads;

Pass through the constructor

Code quote:

    readers.prefetch_initial_reads = prefetch_initial_reads;

[AvivYossef-starkware]

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

---

crates/blockifier_reexecution/src/rpc_replay.rs line 215 at r2 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Pass through the constructor

Done

[Yoni-Starkware]

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