kona: test non-zero SDM settlement against premium block

Author: nonsense

rust/kona/crates/proof/executor/src/builder/core/tests.rs

@@ -3,8 +3,9 @@ use crate::{
     test_utils::{execute_loaded_fixture, load_test_fixture, run_test_fixture},
 };
 use alloy_consensus::Header;
-use alloy_eips::Encodable2718;
-use op_alloy_consensus::{OpReceiptEnvelope, SDMGasEntry, build_post_exec_tx};
+use alloy_eips::eip2718::{Decodable2718, Encodable2718};
+use alloy_primitives::b256;
+use op_alloy_consensus::{OpReceiptEnvelope, OpTxEnvelope, SDMGasEntry, build_post_exec_tx};
 use rstest::rstest;
 use std::path::PathBuf;
 
@@ -16,6 +17,11 @@ fn post_exec_fixture_path() -> PathBuf {
     PathBuf::from(env!("CARGO_MANIFEST_DIR")).join("testdata/block-26207960.tar.gz")
 }
 
+/// Premium-produced, Lagoon-active block with a non-empty `PostExec` refund payload.
+fn premium_sdm_fixture_path() -> PathBuf {
+    PathBuf::from(env!("CARGO_MANIFEST_DIR")).join("testdata/block-7-sdm-premium.tar.gz")
+}
+
 fn fixture_block_number(parent_header: &Header) -> u64 {
     parent_header.number + 1
 }
@@ -139,6 +145,47 @@ async fn post_exec_valid_empty_payload_executes_without_state_or_gas_change() {
     assert_ne!(outcome.header.receipts_root, baseline.header.receipts_root);
 }
 
+#[tokio::test]
+async fn post_exec_nonzero_payload_applies_refunds_and_matches_op_reth() {
+    let loaded = load_test_fixture(premium_sdm_fixture_path()).await;
+    let expected_block_hash = loaded.fixture.expected_block_hash;
+    let timestamp = loaded.fixture.executing_payload.payload_attributes.timestamp;
+    assert!(loaded.fixture.rollup_config.is_lagoon_active(timestamp));
+    assert_eq!(
+        expected_block_hash,
+        b256!("a128f899f6bff19247a2656364c3e440de4bc1292347bf3b8f6f4f717765c0b2"),
+        "fixture must remain pinned to the premium-produced block"
+    );
+
+    let encoded = loaded
+        .fixture
+        .executing_payload
+        .transactions
+        .as_ref()
+        .and_then(|transactions| transactions.last())
+        .expect("premium fixture must contain transactions");
+    let envelope =
+        OpTxEnvelope::decode_2718_exact(encoded.as_ref()).expect("trailing tx must decode");
+    let OpTxEnvelope::PostExec(post_exec) = envelope else {
+        panic!("premium fixture must end in a PostExec transaction")
+    };
+    assert!(!post_exec.inner().payload.gas_refund_entries.is_empty());
+    let refund_total: u64 =
+        post_exec.inner().payload.gas_refund_entries.iter().map(|entry| entry.gas_refund).sum();
+    assert!(refund_total > 0, "premium fixture refund must be non-zero");
+    assert_eq!(refund_total, 630_000);
+
+    let outcome = execute_loaded_fixture(loaded, None).expect("premium SDM fixture executes");
+    assert_eq!(outcome.header.hash(), expected_block_hash);
+    assert_eq!(
+        outcome.header.state_root,
+        b256!("483d0a88146a80c0d5a592879f2d04f060b7515a1bad20f295fd4b601db20b93")
+    );
+    assert_eq!(outcome.execution_result.gas_used, 885_842);
+    let evm_gas_used = 1_515_842;
+    assert_eq!(outcome.execution_result.gas_used, evm_gas_used - refund_total);
+}
+
 #[tokio::test]
 async fn post_exec_payload_rejects_deposit_target() {
     let mut loaded = load_test_fixture(post_exec_fixture_path()).await;

rust/kona/crates/proof/executor/testdata/README.md

@@ -0,0 +1,23 @@
+# Kona executor fixtures
+
+## `block-7-sdm-premium.tar.gz`
+
+This fixture pins a non-empty SDM/PostExec transition produced by
+`op-reth-premium`, not by the stock op-reth payload builder in this repository.
+
+- Producer repository: `ethereum-optimism/optimism-premium`
+- Producer commit: `10c2d76` (`main`)
+- Producer's Optimism dependency: `dbaf2aed6a1ed52ca3bd3caba60bb896a7bf4ce1`
+- Producer path: premium subblocks payload builder
+- Capture harness: Optimism devstack at `ca40d43e51`
+- Ephemeral chain IDs: L1 `900`, L2 `901`
+- Fork schedule: Isthmus, Jovian, Karst, and Lagoon active at genesis
+- Block number: `7`
+- Block hash: `0xa128f899f6bff19247a2656364c3e440de4bc1292347bf3b8f6f4f717765c0b2`
+- State root: `0x483d0a88146a80c0d5a592879f2d04f060b7515a1bad20f295fd4b601db20b93`
+- Raw EVM gas: `1,515,842`; refund payload total: `630,000`; canonical gas: `885,842`
+
+The premium sequencer built the block from the repeated-slot SDM workload. A
+stock op-reth verifier imported the exact block and supplied execution-witness
+and proof data to `execution-fixture`; the verifier did not build the block.
+The fixture contains a trailing `0x7D` with non-empty, non-zero refund entries.