central_systest_blobs: support reverting invokes

[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_api: add and use StateRoots::EMPTY #13980
• central_systest_blobs: add some invokes #13978
• central_systest_blobs: support reverting invokes #13977 👈 (View in Graphite)
• central_systest_blobs: implement invoke from deploy function for code sharing #13976
• central_systest_blobs: deploy test contract(s) #13975
• central_systest_blobs: declare the test contract #13974
• central_systest_blobs: expect operator and fee token addresses #13973
• central_systest_blobs: deploy token contract #13972
• central_systest_blobs: sort state diff in preconfirmed block #13971
• central_systest_blobs: deploy operator account #13970
• central_systest_blobs: initial block production #13969
• central_systest_blobs: sort hashsets when dumping #13968
• central_systest_blobs: implement blob creation from blocks #13967
• central_systest_blobs: implement block production, given txs #13966
• blockifier: implement conversion from commitment state diff to state maps #13965
• central_systest_blobs: implement preconfirmed block creation #13964
• central_systest_blobs: first two bootstrap declares #13963
• central_systest_blobs: refactor skeleton into structured factory #13962
• central_systest_blobs: move blobs.json storage out of git, into GCS #13946
• apollo_consensus_orchestrator: add Deserialize for testing #13945
• main

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

[cursor]

PR Summary

Low Risk
Low risk: changes are confined to the central_systest_blobs regression test harness and only affect how tests model/validate reverted transactions.

Overview
Updates the blob regression test transaction pipeline to carry per-transaction expected outcome via a new TxData { executable, internal, should_revert } struct (replacing the previous tuple).

Execution in both close_block and preconfirmed block generation now asserts that execution_info.is_reverted() matches should_revert, and make_operator_invoke_tx accepts a should_revert flag (with existing call sites defaulting to non-reverting behavior).

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

[nimrod-starkware]

@nimrod-starkware reviewed 1 file and made 2 comments.
Reviewable status: all files reviewed (commit messages unreviewed), 2 unresolved discussions (waiting on dorimedini-starkware and yoavGrs).

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 161 at r2 (raw file):

    });

struct TxPair {

please rename
(maybe TxData)

Code quote:

struct TxPair {

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 164 at r2 (raw file):

    executable: ExecutableAccountTx,
    internal: InternalConsensusTransaction,
    should_revert: bool,

IMO easier to understand

Suggestion:

should_be_reverted

[dorimedini-starkware]

@dorimedini-starkware made 2 comments.
Reviewable status: 0 of 1 files reviewed, 2 unresolved discussions (waiting on nimrod-starkware and yoavGrs).

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 161 at r2 (raw file):

Previously, nimrod-starkware wrote…

please rename
(maybe TxData)

Done.

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 164 at r2 (raw file):

Previously, nimrod-starkware wrote…

IMO easier to understand

revert is a verb, I think the current name works well ("should the tx revert?")

[nimrod-starkware]

@nimrod-starkware reviewed 1 file and all commit messages, and resolved 2 discussions.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on yoavGrs).

[nimrod-starkware]

@nimrod-starkware made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on yoavGrs).

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 92a3d78. Configure here.}

[dorimedini-starkware]

@dorimedini-starkware resolved 1 discussion.
Reviewable status: 0 of 1 files reviewed, all discussions resolved (waiting on nimrod-starkware and yoavGrs).