blockifier,blockifier_reexecution: opt out of OS read collection when replaying recorded state

[itamar-starkware]

No description provided.

[cursor]

PR Summary

Low Risk
Scoped to finalize-time initial_reads collection with production paths still using true; reexecution explicitly opts out to avoid incorrect extra reads.

Overview
Adds a collect_os_initial_reads switch on block finalization so callers can skip building the OS initial-read set when it would pollute replay against a partial state snapshot.

finalize_block now takes this flag: when enabled (normal finalize / close_block), behavior is unchanged and get_os_initial_reads() still runs; when disabled, initial_reads in BlockExecutionSummary is empty instead of triggering extra reads.

non_consuming_finalize(collect_os_initial_reads) threads the flag through for reexecution and tests. Block reexecution passes false so finalize does not read state beyond what the replay reader recorded; the cende blob regression path passes true to keep collecting reads for blob fixtures.

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

[reviewable-StarkWare]

This change is 

[itamar-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

• blockifier,blockifier_reexecution: opt out of OS read collection when replaying recorded state #14907 👈 (View in Graphite)
• workspace,ci: remove the os_input feature (make it unconditional) #14902 : 2 other dependent PRs (#14909 , #14910 )
• main

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

[github-actions]

Artifacts upload workflows:

• Started at 2026-08-02T08:21:47Z
• Started at 2026-08-02T12:33:27Z
• Started at 2026-08-02T12:55:27Z

[yoavGrs]

@yoavGrs made 2 comments.
Reviewable status: 0 of 4 files reviewed, 2 unresolved discussions (waiting on itamar-starkware).

---

crates/blockifier/src/blockifier/transaction_executor.rs line 247 at r1 (raw file):

    block_state: &mut CachedState<S>,
    block_context: &BlockContext,
    collect_os_initial_reads: bool,

I'm looking for a way to enforce the collection of the initial reads in production by the compiler.
What about this?

pub enum OsReadsCollection {
    Collect,
    #[cfg(feature = "reexecution")]
    Skip,
}

Code quote:

collect_os_initial_reads: bool,

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 339 at r1 (raw file):

                .push(InternalTransactionWithReceipt { transaction: internal, execution_info });
        }
        let summary = executor.non_consuming_finalize(true).unwrap();

Add TODO here, and please add it to Monday as well.

[itamar-starkware]

crates/blockifier/src/blockifier/transaction_executor.rs line 247 at r1 (raw file):

Previously, yoavGrs wrote…

I'm looking for a way to enforce the collection of the initial reads in production by the compiler.
What about this?

pub enum OsReadsCollection {
    Collect,
    #[cfg(feature = "reexecution")]
    Skip,
}

If enum with one option is working I think it's a good approach.

[itamar-starkware]

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 339 at r1 (raw file):

Previously, yoavGrs wrote…

Add TODO here, and please add it to Monday as well.

TODO of what?

[yoavGrs]

@yoavGrs made 1 comment.
Reviewable status: 0 of 4 files reviewed, 3 unresolved discussions (waiting on itamar-starkware).

---

a discussion (no related file):
Close this PR and review this: https://app.graphite.com/github/pr/starkware-libs/sequencer/14911