@aztec/sequencer-client 0.0.1-commit.3fd054f6 → 0.0.1-commit.431c48d

package/dest/publisher/sequencer-publisher.js

@@ -370,14 +370,12 @@ function applyDecs2203RFactory() {
 function _apply_decs_2203_r(targetClass, memberDecs, classDecs, parentClass) {
     return (_apply_decs_2203_r = applyDecs2203RFactory())(targetClass, memberDecs, classDecs, parentClass);
 }
-var _dec, _dec1, _dec2, _initProto;
+var _dec, _dec1, _initProto;
 import { Blob, getBlobsPerL1Block, getPrefixedEthBlobCommitments } from '@aztec/blob-lib';
-import { FeeAssetPriceOracle, MULTI_CALL_3_ADDRESS, Multicall3, RollupContract } from '@aztec/ethereum/contracts';
+import { FeeAssetPriceOracle, MULTI_CALL_3_ADDRESS, Multicall3, MulticallForwarderRevertedError, buildSimulationOverridesStateOverride } from '@aztec/ethereum/contracts';
 import { L1FeeAnalyzer } from '@aztec/ethereum/l1-fee-analysis';
 import { MAX_L1_TX_LIMIT, WEI_CONST } from '@aztec/ethereum/l1-tx-utils';
-import { FormattedViemError, formatViemError, mergeAbis, tryExtractEvent } from '@aztec/ethereum/utils';
-import { sumBigint } from '@aztec/foundation/bigint';
-import { toHex as toPaddedHex } from '@aztec/foundation/bigint-buffer';
+import { FormattedViemError, formatViemError, mergeAbis, tryDecodeRevertReason, tryExtractEvent } from '@aztec/ethereum/utils';
 import { CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
 import { trimmedBytesLength } from '@aztec/foundation/buffer';
 import { pick } from '@aztec/foundation/collection';
@@ -385,31 +383,40 @@ import { TimeoutError } from '@aztec/foundation/error';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import { Signature } from '@aztec/foundation/eth-signature';
 import { createLogger } from '@aztec/foundation/log';
-import { makeBackoff, retry } from '@aztec/foundation/retry';
+import { InterruptibleSleep } from '@aztec/foundation/sleep';
 import { bufferToHex } from '@aztec/foundation/string';
 import { Timer } from '@aztec/foundation/timer';
-import { EmpireBaseAbi, ErrorsAbi, RollupAbi } from '@aztec/l1-artifacts';
+import { EmpireBaseAbi, ErrorsAbi, RollupAbi, SlashingProposerAbi } from '@aztec/l1-artifacts';
 import { encodeSlashConsensusVotes } from '@aztec/slasher';
 import { CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
-import { getNextL1SlotTimestamp } from '@aztec/stdlib/epoch-helpers';
+import { getLastL1SlotTimestampForL2Slot, getNextL1SlotTimestamp, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
 import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
-import { encodeFunctionData, keccak256, multicall3Abi, toHex } from 'viem';
+import { encodeFunctionData, keccak256, toHex } from 'viem';
 import { createL1TxFailedStore } from './l1_tx_failed_store/index.js';
+import { SequencerBundleSimulator } from './sequencer-bundle-simulator.js';
 import { SequencerPublisherMetrics } from './sequencer-publisher-metrics.js';
+/**
+ * Returns true if the receipt indicates a successful send AND the expected event was emitted
+ * by the target contract. Both pieces are required: an aggregate3 entry that reverted will
+ * have receipt.status === 'success' but no event log.
+ */ function extractEventSuccess(receipt, opts) {
+    if (!receipt || receipt.status !== 'success') {
+        return false;
+    }
+    return !!tryExtractEvent(receipt.logs, opts.address.toString(), opts.abi, opts.eventName);
+}
 export const Actions = [
     'invalidate-by-invalid-attestation',
     'invalidate-by-insufficient-attestations',
+    'prune',
     'propose',
     'governance-signal',
-    'empire-slashing-signal',
-    'create-empire-payload',
-    'execute-empire-payload',
     'vote-offenses',
     'execute-slash'
 ];
 // Sorting for actions such that invalidations go before proposals, and proposals go before votes
 export const compareActions = (a, b)=>Actions.indexOf(a) - Actions.indexOf(b);
-_dec = trackSpan('SequencerPublisher.sendRequests'), _dec1 = trackSpan('SequencerPublisher.validateBlockHeader'), _dec2 = trackSpan('SequencerPublisher.validateCheckpointForSubmission');
+_dec = trackSpan('SequencerPublisher.sendRequests'), _dec1 = trackSpan('SequencerPublisher.validateCheckpointHeader');
 export class SequencerPublisher {
     config;
     static{
@@ -422,60 +429,60 @@ export class SequencerPublisher {
             [
                 _dec1,
                 2,
-                "validateBlockHeader"
-            ],
-            [
-                _dec2,
-                2,
-                "validateCheckpointForSubmission"
+                "validateCheckpointHeader"
             ]
         ], []));
     }
     interrupted;
     metrics;
+    bundleSimulator;
     epochCache;
     failedTxStore;
-    governanceLog;
-    slashingLog;
+    /**
+   * ABI used to decode raw revert payloads from dropped bundle entries when the original
+   * request did not carry an abi (e.g. the propose request). Merges every contract the
+   * publisher can route to so any of their custom errors decode against it.
+   */ revertDecoderAbi;
     lastActions;
-    isPayloadEmptyCache;
-    payloadProposedCache;
     log;
     ethereumSlotDuration;
     aztecSlotDuration;
-    dateProvider;
+    previousL1BlockWaitTimeoutMs;
+    previousL1BlockWaitPollIntervalMs;
+    /** Date provider for wall-clock time. */ dateProvider;
     blobClient;
-    /** Address to use for simulations in fisherman mode (actual proposer's address) */ proposerAddressForSimulation;
     /** Optional callback to obtain a replacement publisher when the current one fails to send. */ getNextPublisher;
     /** L1 fee analyzer for fisherman mode */ l1FeeAnalyzer;
     /** Fee asset price oracle for computing price modifiers from Uniswap V4 */ feeAssetPriceOracle;
-    // A CALL to a cold address is 2700 gas
-    static MULTICALL_OVERHEAD_GAS_GUESS = 5000n;
-    // Gas report for VotingWithSigTest shows a max gas of 100k, but we've seen it cost 700k+ in testnet
-    static VOTE_GAS_GUESS = 800_000n;
+    /** Interruptible sleep used by sendRequestsAt to wait until a target timestamp. */ interruptibleSleep;
     l1TxUtils;
     rollupContract;
     govProposerContract;
     slashingProposerContract;
-    slashFactoryContract;
     tracer;
     requests;
     constructor(config, deps){
         this.config = config;
         this.interrupted = (_initProto(this), false);
-        this.governanceLog = createLogger('sequencer:publisher:governance');
-        this.slashingLog = createLogger('sequencer:publisher:slashing');
+        this.revertDecoderAbi = mergeAbis([
+            RollupAbi,
+            SlashingProposerAbi,
+            EmpireBaseAbi,
+            ErrorsAbi
+        ]);
         this.lastActions = {};
-        this.isPayloadEmptyCache = new Map();
-        this.payloadProposedCache = new Set();
+        this.interruptibleSleep = new InterruptibleSleep();
         this.requests = [];
         this.log = deps.log ?? createLogger('sequencer:publisher');
         this.ethereumSlotDuration = BigInt(config.ethereumSlotDuration);
         this.aztecSlotDuration = BigInt(config.aztecSlotDuration);
+        this.previousL1BlockWaitTimeoutMs = config.sequencerPublisherPreviousL1BlockWaitTimeoutMs;
+        this.previousL1BlockWaitPollIntervalMs = config.sequencerPublisherPreviousL1BlockWaitPollIntervalMs;
         this.dateProvider = deps.dateProvider;
         this.epochCache = deps.epochCache;
         this.lastActions = deps.lastActions;
         this.blobClient = deps.blobClient;
+        this.dateProvider = deps.dateProvider;
         const telemetry = deps.telemetry ?? getTelemetryClient();
         this.metrics = deps.metrics ?? new SequencerPublisherMetrics(telemetry, 'SequencerPublisher');
         this.tracer = telemetry.getTracer('SequencerPublisher');
@@ -489,15 +496,20 @@ export class SequencerPublisher {
             const newSlashingProposer = await this.rollupContract.getSlashingProposer();
             this.slashingProposerContract = newSlashingProposer;
         });
-        this.slashFactoryContract = deps.slashFactoryContract;
         // Initialize L1 fee analyzer for fisherman mode
         if (config.fishermanMode) {
-            this.l1FeeAnalyzer = new L1FeeAnalyzer(this.l1TxUtils.client, deps.dateProvider, createLogger('sequencer:publisher:fee-analyzer'));
+            this.l1FeeAnalyzer = new L1FeeAnalyzer(this.l1TxUtils.client, deps.dateProvider, this.log.createChild('fee-analyzer'));
         }
         // Initialize fee asset price oracle
-        this.feeAssetPriceOracle = new FeeAssetPriceOracle(this.l1TxUtils.client, this.rollupContract, createLogger('sequencer:publisher:price-oracle'));
+        this.feeAssetPriceOracle = new FeeAssetPriceOracle(this.l1TxUtils.client, this.rollupContract, this.log.createChild('price-oracle'));
         // Initialize failed L1 tx store (optional, for test networks)
         this.failedTxStore = createL1TxFailedStore(config.l1TxFailedStore, this.log);
+        this.bundleSimulator = new SequencerBundleSimulator({
+            getL1TxUtils: ()=>this.l1TxUtils,
+            rollupContract: this.rollupContract,
+            epochCache: this.epochCache,
+            log: this.log.createChild('bundle-simulator')
+        });
     }
     /**
    * Backs up a failed L1 transaction to the configured store for debugging.
@@ -520,9 +532,13 @@ export class SequencerPublisher {
     }
     /**
    * Gets the fee asset price modifier from the oracle.
-   * Returns 0n if the oracle query fails.
-   */ getFeeAssetPriceModifier() {
-        return this.feeAssetPriceOracle.computePriceModifier();
+   *
+   * @param predictedParentEthPerFeeAssetE12 - Optional predicted parent eth-per-fee-asset (E12).
+   *   Pipelined proposers should pass the value from the predicted parent fee header so the
+   *   modifier matches the parent L1 will use when applying it.
+   * @returns The fee asset price modifier in basis points, or 0n if the oracle query fails.
+   */ getFeeAssetPriceModifier(predictedParentEthPerFeeAssetE12) {
+        return this.feeAssetPriceOracle.computePriceModifier(predictedParentEthPerFeeAssetE12);
     }
     getSenderAddress() {
         return this.l1TxUtils.getSenderAddress();
@@ -532,12 +548,6 @@ export class SequencerPublisher {
    */ getL1FeeAnalyzer() {
         return this.l1FeeAnalyzer;
     }
-    /**
-   * Sets the proposer address to use for simulations in fisherman mode.
-   * @param proposerAddress - The actual proposer's address to use for balance lookups in simulations
-   */ setProposerAddressForSimulation(proposerAddress) {
-        this.proposerAddressForSimulation = proposerAddress;
-    }
     addRequest(request) {
         this.requests.push(request);
     }
@@ -595,11 +605,15 @@ export class SequencerPublisher {
     }
     /**
    * Sends all requests that are still valid.
+   * @param targetSlot - The target L2 slot for this send. When provided (the production path, via
+   *   sendRequestsAt), it is threaded into bundleSimulate so the block.timestamp override matches
+   *   the slot the propose is built for. When omitted, falls back to getCurrentL2Slot() for the
+   *   AutomineSequencer, which publishes synchronously within the current slot.
    * @returns one of:
    * - A receipt and stats if the tx succeeded
    * - a receipt and errorMsg if it failed on L1
    * - undefined if no valid requests are found OR the tx failed to send.
-   */ async sendRequests() {
+   */ async sendRequests(targetSlot) {
         const requestsToProcess = [
             ...this.requests
         ];
@@ -607,10 +621,9 @@ export class SequencerPublisher {
         if (this.interrupted || requestsToProcess.length === 0) {
             return undefined;
         }
-        const currentL2Slot = this.getCurrentL2Slot();
+        const currentL2Slot = targetSlot ?? this.getCurrentL2Slot();
         this.log.debug(`Sending requests on L2 slot ${currentL2Slot}`);
         const validRequests = requestsToProcess.filter((request)=>request.lastValidL2Slot >= currentL2Slot);
-        const validActions = validRequests.map((x)=>x.action);
         const expiredActions = requestsToProcess.filter((request)=>request.lastValidL2Slot < currentL2Slot).map((x)=>x.action);
         if (validRequests.length !== requestsToProcess.length) {
             this.log.warn(`Some requests were expired for slot ${currentL2Slot}`, {
@@ -628,71 +641,53 @@ export class SequencerPublisher {
             this.log.debug(`No valid requests to send`);
             return undefined;
         }
-        // @note - we can only have one blob config per bundle
-        // find requests with gas and blob configs
-        // See https://github.com/AztecProtocol/aztec-packages/issues/11513
+        // Collect earliest txTimeoutAt across all requests.
         const gasConfigs = validRequests.filter((request)=>request.gasConfig).map((request)=>request.gasConfig);
-        const blobConfigs = validRequests.filter((request)=>request.blobConfig).map((request)=>request.blobConfig);
-        if (blobConfigs.length > 1) {
-            throw new Error('Multiple blob configs found');
-        }
-        const blobConfig = blobConfigs[0];
-        // Merge gasConfigs. Yields the sum of gasLimits, and the earliest txTimeoutAt, or undefined if no gasConfig sets them.
-        const gasLimits = gasConfigs.map((g)=>g?.gasLimit).filter((g)=>g !== undefined);
-        let gasLimit = gasLimits.length > 0 ? sumBigint(gasLimits) : undefined; // sum
-        // Cap at L1 block gas limit so the node accepts the tx ("gas limit too high" otherwise).
-        const maxGas = MAX_L1_TX_LIMIT;
-        if (gasLimit !== undefined && gasLimit > maxGas) {
-            this.log.debug('Capping bundled tx gas limit to L1 max', {
-                requested: gasLimit,
-                capped: maxGas
-            });
-            gasLimit = maxGas;
-        }
         const txTimeoutAts = gasConfigs.map((g)=>g?.txTimeoutAt).filter((g)=>g !== undefined);
-        const txTimeoutAt = txTimeoutAts.length > 0 ? new Date(Math.min(...txTimeoutAts.map((g)=>g.getTime()))) : undefined; // earliest
-        const txConfig = {
-            gasLimit,
-            txTimeoutAt
-        };
+        const txTimeoutAt = txTimeoutAts.length > 0 ? new Date(Math.min(...txTimeoutAts.map((g)=>g.getTime()))) : undefined;
         // Sort the requests so that proposals always go first
         // This ensures the committee gets precomputed correctly
         validRequests.sort((a, b)=>compareActions(a.action, b.action));
         try {
-            // Capture context for failed tx backup before sending
-            const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
-            const multicallData = encodeFunctionData({
-                abi: multicall3Abi,
-                functionName: 'aggregate3',
-                args: [
-                    validRequests.map((r)=>({
-                            target: r.request.to,
-                            callData: r.request.data,
-                            allowFailure: true
-                        }))
-                ]
-            });
-            const blobDataHex = blobConfig?.blobs?.map((b)=>toHex(b));
-            const txContext = {
-                multicallData,
-                blobData: blobDataHex,
-                l1BlockNumber
+            // Bundle-level eth_simulateV1: filters out entries that revert and derives the gasLimit.
+            const bundleResult = await this.bundleSimulator.simulate(validRequests, currentL2Slot);
+            if (bundleResult.kind === 'aborted') {
+                this.logDroppedInSim(bundleResult.droppedRequests);
+                void this.backupDroppedInSim(bundleResult.droppedRequests).catch((err)=>this.log.error(`Failed to backup requests dropped in simulation`, err));
+                return undefined;
+            }
+            const { requests, droppedRequests, gasLimit } = bundleResult.kind === 'fallback' ? {
+                requests: bundleResult.requests,
+                droppedRequests: bundleResult.droppedRequests,
+                gasLimit: MAX_L1_TX_LIMIT
+            } : bundleResult;
+            this.logDroppedInSim(droppedRequests);
+            // Compute blobConfig from survivors (not original validRequests) so that if the propose
+            // entry was dropped by bundleSimulate we don't attach a blob-typed config to a non-blob tx.
+            const [blobConfig] = requests.filter((r)=>r.blobConfig).map((r)=>r.blobConfig);
+            const txConfig = {
+                gasLimit,
+                txTimeoutAt
             };
             this.log.debug('Forwarding transactions', {
-                validRequests: validRequests.map((request)=>request.action),
+                requests: requests.map((request)=>request.action),
                 txConfig
             });
-            const result = await this.forwardWithPublisherRotation(validRequests, txConfig, blobConfig);
+            const result = await this.forwardWithPublisherRotation(requests, txConfig, blobConfig);
             if (result === undefined) {
                 return undefined;
             }
-            const { successfulActions = [], failedActions = [] } = this.callbackBundledTransactions(validRequests, result, txContext);
+            const { successfulActions = [], failedActions = [] } = this.callbackBundledTransactions(requests, result);
+            const allFailedActions = [
+                ...failedActions,
+                ...droppedRequests.map((d)=>d.request.action)
+            ];
             return {
                 result,
                 expiredActions,
-                sentActions: validActions,
+                sentActions: requests.map((x)=>x.action),
                 successfulActions,
-                failedActions
+                failedActions: allFailedActions
             };
         } catch (err) {
             const viemError = formatViemError(err);
@@ -706,23 +701,78 @@ export class SequencerPublisher {
             }
         }
     }
+    /** Logs entries dropped by bundle simulation as warnings on the publisher's logger. */ logDroppedInSim(dropped) {
+        for (const drop of dropped){
+            const revertReasonDecoded = drop.revertReason ?? tryDecodeRevertReason(drop.returnData, this.revertDecoderAbi);
+            this.log.warn('Bundle entry dropped: action reverted in sim', {
+                action: drop.request.action,
+                revertReason: revertReasonDecoded ?? drop.returnData,
+                revertReasonDecoded,
+                returnData: drop.returnData
+            });
+        }
+    }
+    /** Backs up entries dropped by bundle simulation, one record per dropped action. */ async backupDroppedInSim(dropped) {
+        if (dropped.length === 0) {
+            return;
+        }
+        const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
+        for (const { request: req } of dropped){
+            this.backupFailedTx({
+                id: keccak256(req.request.data),
+                failureType: 'simulation',
+                request: {
+                    to: req.request.to,
+                    data: req.request.data
+                },
+                l1BlockNumber: l1BlockNumber.toString(),
+                error: {
+                    message: 'Bundle entry dropped: action reverted in sim'
+                },
+                context: {
+                    actions: [
+                        req.action
+                    ],
+                    sender: this.getSenderAddress().toString()
+                }
+            });
+        }
+    }
     /**
    * Forwards transactions via Multicall3, rotating to the next available publisher if a send
    * failure occurs (i.e. the tx never reached the chain).
    * On-chain reverts and simulation errors are returned as-is without rotation.
    */ async forwardWithPublisherRotation(validRequests, txConfig, blobConfig) {
+        if (!txConfig?.gasLimit) {
+            throw new Error('gasLimit is required for bundled transactions');
+        }
+        const txConfigWithGasLimit = txConfig;
         const triedAddresses = [];
         let currentPublisher = this.l1TxUtils;
         while(true){
+            if (txConfig.txTimeoutAt && new Date() > txConfig.txTimeoutAt) {
+                this.log.warn(`Tx timeout (${txConfig.txTimeoutAt.toISOString()}) elapsed; stopping publisher rotation`, {
+                    triedAddresses: triedAddresses.map((a)=>a.toString())
+                });
+                return undefined;
+            }
             triedAddresses.push(currentPublisher.getSenderAddress());
             try {
-                const result = await Multicall3.forward(validRequests.map((r)=>r.request), currentPublisher, txConfig, blobConfig, this.rollupContract.address, this.log);
+                const result = await Multicall3.forward(validRequests.map((r)=>r.request), currentPublisher, txConfigWithGasLimit, blobConfig, {
+                    gasLimitRequired: true
+                });
                 this.l1TxUtils = currentPublisher;
                 return result;
             } catch (err) {
                 if (err instanceof TimeoutError) {
                     throw err;
                 }
+                if (err instanceof MulticallForwarderRevertedError) {
+                    this.log.error('Forwarder transaction reverted on-chain; not rotating publisher', err, {
+                        transactionHash: err.receipt.transactionHash
+                    });
+                    return undefined;
+                }
                 const viemError = formatViemError(err);
                 if (!this.getNextPublisher) {
                     this.log.error('Failed to publish bundled transactions', viemError);
@@ -733,122 +783,132 @@ export class SequencerPublisher {
                     ...triedAddresses
                 ]);
                 if (!nextPublisher) {
-                    this.log.error('All available publishers exhausted, failed to publish bundled transactions');
+                    this.log.error(`All available publishers exhausted (tried ${triedAddresses.length}), failed to publish bundled transactions`, viemError, {
+                        triedAddresses: triedAddresses.map((a)=>a.toString())
+                    });
                     return undefined;
                 }
                 currentPublisher = nextPublisher;
             }
         }
     }
-    callbackBundledTransactions(requests, result, txContext) {
-        const actionsListStr = requests.map((r)=>r.action).join(', ');
-        if (result instanceof FormattedViemError) {
-            this.log.error(`Failed to publish bundled transactions (${actionsListStr})`, result);
-            this.backupFailedTx({
-                id: keccak256(txContext.multicallData),
-                failureType: 'send-error',
-                request: {
-                    to: MULTI_CALL_3_ADDRESS,
-                    data: txContext.multicallData
-                },
-                blobData: txContext.blobData,
-                l1BlockNumber: txContext.l1BlockNumber.toString(),
-                error: {
-                    message: result.message,
-                    name: result.name
-                },
-                context: {
-                    actions: requests.map((r)=>r.action),
-                    requests: requests.map((r)=>({
-                            action: r.action,
-                            to: r.request.to,
-                            data: r.request.data
-                        })),
-                    sender: this.getSenderAddress().toString()
+    /*
+   * Schedules sending all enqueued requests at (or after) the start of the given L2 slot.
+   */ async sendRequestsAt(targetSlot) {
+        await this.waitForTargetSlot(targetSlot);
+        if (this.interrupted) {
+            return undefined;
+        }
+        return this.sendRequests(targetSlot);
+    }
+    /**
+   * Sleeps until one L1 slot before the L2 slot boundary, and then waits for that L1 block
+   * to be mined, so we don't risk being included in it. If that block never gets mined after
+   * a timeout, we assume it got skipped on L1, so we send the tx anyway.
+   */ async waitForTargetSlot(targetSlot) {
+        const l1Constants = this.epochCache.getL1Constants();
+        const nowInSeconds = this.dateProvider.nowInSeconds();
+        const startOfTargetSlotTs = getTimestampForSlot(targetSlot, l1Constants);
+        const previousL1BlockTs = startOfTargetSlotTs - this.ethereumSlotDuration;
+        const waitDeadlineTs = previousL1BlockTs + BigInt(this.previousL1BlockWaitTimeoutMs / 1000);
+        const logCtx = {
+            targetSlot,
+            startOfTargetSlotTs,
+            nowInSeconds,
+            previousL1BlockTs,
+            waitDeadlineTs
+        };
+        // Check if we are already past time
+        if (nowInSeconds >= startOfTargetSlotTs) {
+            this.log.verbose(`Target slot ${targetSlot} already started, sending requests immediately`, logCtx);
+            return;
+        }
+        // Otherwise we wait
+        this.log.debug(`Waiting for slot ${targetSlot} before sending requests`, logCtx);
+        // Wait until previous L1 block timestamp first
+        const sleepMs = (Number(previousL1BlockTs) - nowInSeconds) * 1000;
+        if (sleepMs > 0 && !this.interrupted) {
+            this.log.trace(`Sleeping ${sleepMs}ms before waiting for previous L1 block`, logCtx);
+            await this.interruptibleSleep.sleep(sleepMs);
+        }
+        // Then loop until we see the previous L1 block, so we know that we cannot be included in it.
+        // We time out after a while, once we are sure that that block is skipped in L1.
+        while(!this.interrupted){
+            try {
+                const nowInSeconds = this.dateProvider.nowInSeconds();
+                logCtx.nowInSeconds = nowInSeconds;
+                if (nowInSeconds >= waitDeadlineTs) {
+                    this.log.warn(`Timed out waiting for previous L1 block before sending requests, proceeding`, logCtx);
+                    return;
                 }
-            });
-            return {
-                failedActions: requests.map((r)=>r.action)
-            };
-        } else {
-            this.log.verbose(`Published bundled transactions (${actionsListStr})`, {
-                result,
-                requests: requests.map((r)=>({
-                        ...r,
-                        // Avoid logging large blob data
-                        blobConfig: r.blobConfig ? {
-                            ...r.blobConfig,
-                            blobs: r.blobConfig.blobs.map((b)=>({
-                                    size: trimmedBytesLength(b)
-                                }))
-                        } : undefined
-                    }))
-            });
-            const successfulActions = [];
-            const failedActions = [];
-            for (const request of requests){
-                if (request.checkSuccess(request.request, result)) {
-                    successfulActions.push(request.action);
-                } else {
-                    failedActions.push(request.action);
+                const latestBlockTs = await this.l1TxUtils.getBlock().then((b)=>b.timestamp);
+                if (latestBlockTs >= previousL1BlockTs) {
+                    this.log.debug(`Previous L1 block mined, proceeding to send requests`, {
+                        ...logCtx,
+                        latestBlockTs
+                    });
+                    return;
                 }
-            }
-            // Single backup for the whole reverted tx
-            if (failedActions.length > 0 && result?.receipt?.status === 'reverted') {
-                this.backupFailedTx({
-                    id: result.receipt.transactionHash,
-                    failureType: 'revert',
-                    request: {
-                        to: MULTI_CALL_3_ADDRESS,
-                        data: txContext.multicallData
-                    },
-                    blobData: txContext.blobData,
-                    l1BlockNumber: result.receipt.blockNumber.toString(),
-                    receipt: {
-                        transactionHash: result.receipt.transactionHash,
-                        blockNumber: result.receipt.blockNumber.toString(),
-                        gasUsed: (result.receipt.gasUsed ?? 0n).toString(),
-                        status: 'reverted'
-                    },
-                    error: {
-                        message: result.errorMsg ?? 'Transaction reverted'
-                    },
-                    context: {
-                        actions: failedActions,
-                        requests: requests.filter((r)=>failedActions.includes(r.action)).map((r)=>({
-                                action: r.action,
-                                to: r.request.to,
-                                data: r.request.data
-                            })),
-                        sender: this.getSenderAddress().toString()
-                    }
+                this.log.trace(`Previous L1 block not mined yet, continuing to wait`, {
+                    ...logCtx,
+                    latestBlockTs
                 });
+            } catch (err) {
+                this.log.error(`Error while waiting for previous L1 block before sending requests; retrying`, err, logCtx);
+            } finally{
+                await this.interruptibleSleep.sleep(this.previousL1BlockWaitPollIntervalMs);
             }
-            return {
-                successfulActions,
-                failedActions
-            };
         }
     }
+    callbackBundledTransactions(requests, result) {
+        const actionsListStr = requests.map((r)=>r.action).join(', ');
+        this.log.verbose(`Published bundled transactions (${actionsListStr})`, {
+            result,
+            requests: requests.map((r)=>({
+                    ...r,
+                    // Avoid logging large blob data
+                    blobConfig: r.blobConfig ? {
+                        ...r.blobConfig,
+                        blobs: r.blobConfig.blobs.map((b)=>({
+                                size: trimmedBytesLength(b)
+                            }))
+                    } : undefined
+                }))
+        });
+        const successfulActions = [];
+        const failedActions = [];
+        for (const request of requests){
+            if (request.checkSuccess(request.request, result)) {
+                successfulActions.push(request.action);
+            } else {
+                failedActions.push(request.action);
+            }
+        }
+        return {
+            successfulActions,
+            failedActions
+        };
+    }
     /**
    * @notice  Will call `canProposeAt` to make sure that it is possible to propose
    * @param tipArchive - The archive to check
    * @returns The slot and block number if it is possible to propose, undefined otherwise
-   */ canProposeAt(tipArchive, msgSender, opts = {}) {
+   */ async canProposeAt(tipArchive, msgSender, simulationOverridesPlan) {
         // TODO: #14291 - should loop through multiple keys to check if any of them can propose
-        const ignoredErrors = [
+        // These errors are expected when we cannot actually propose right now — usually because our
+        // local view of the chain is ahead of L1 (proposed parent hasn't landed yet, or someone
+        // else has just landed the slot, or the archive override doesn't match). We log a warn and
+        // skip the proposal; we do NOT treat these as bugs.
+        const expectedErrors = [
             'SlotAlreadyInChain',
             'InvalidProposer',
             'InvalidArchive'
         ];
-        const pipelined = opts.pipelined ?? this.epochCache.isProposerPipeliningEnabled();
-        const slotOffset = pipelined ? this.aztecSlotDuration : 0n;
+        const slotOffset = this.aztecSlotDuration;
         const nextL1SlotTs = this.getNextL1SlotTimestamp() + slotOffset;
-        return this.rollupContract.canProposeAt(tipArchive.toBuffer(), msgSender.toString(), nextL1SlotTs, {
-            forcePendingCheckpointNumber: opts.forcePendingCheckpointNumber
-        }).catch((err)=>{
-            if (err instanceof FormattedViemError && ignoredErrors.find((e)=>err.message.includes(e))) {
-                this.log.warn(`Failed canProposeAtTime check with ${ignoredErrors.find((e)=>err.message.includes(e))}`, {
+        return this.rollupContract.canProposeAt(tipArchive.toBuffer(), msgSender.toString(), nextL1SlotTs, await buildSimulationOverridesStateOverride(this.rollupContract, simulationOverridesPlan)).catch((err)=>{
+            if (err instanceof FormattedViemError && expectedErrors.find((e)=>err.message.includes(e))) {
+                this.log.warn(`Failed canProposeAtTime check with ${expectedErrors.find((e)=>err.message.includes(e))}`, {
                     error: err.message
                 });
             } else {
@@ -858,37 +918,31 @@ export class SequencerPublisher {
         });
     }
     /**
-   * @notice  Will simulate `validateHeader` to make sure that the block header is valid
-   * @dev     This is a convenience function that can be used by the sequencer to validate a "partial" header.
-   *          It will throw if the block header is invalid.
-   * @param header - The block header to validate
-   */ async validateBlockHeader(header, opts) {
+   * @notice  Will simulate the rollup's `validateHeaderWithAttestations` to make sure the checkpoint header is valid
+   * @dev     This is a convenience function that can be used by the sequencer to validate a "partial" header,
+   *          skipping the DA and signature checks. It will throw if the checkpoint header is invalid.
+   * @param header - The checkpoint header to validate
+   */ async validateCheckpointHeader(header, simulationOverridesPlan) {
         const flags = {
             ignoreDA: true,
             ignoreSignatures: true
         };
         const args = [
             header.toViem(),
-            CommitteeAttestationsAndSigners.empty().getPackedAttestations(),
+            CommitteeAttestationsAndSigners.packAttestations([]),
             [],
             Signature.empty().toViemSignature(),
             `0x${'0'.repeat(64)}`,
             header.blobsHash.toString(),
             flags
         ];
-        const ts = this.getNextL1SlotTimestamp();
-        const stateOverrides = await this.rollupContract.makePendingCheckpointNumberOverride(opts?.forcePendingCheckpointNumber);
-        let balance = 0n;
-        if (this.config.fishermanMode) {
-            // In fisherman mode, we can't know where the proposer is publishing from
-            // so we just add sufficient balance to the multicall3 address
-            balance = 10n * WEI_CONST * WEI_CONST; // 10 ETH
-        } else {
-            balance = await this.l1TxUtils.getSenderBalance();
-        }
+        const l1Constants = this.epochCache.getL1Constants();
+        const ts = getLastL1SlotTimestampForL2Slot(header.slotNumber, l1Constants);
+        const stateOverrides = await buildSimulationOverridesStateOverride(this.rollupContract, simulationOverridesPlan);
+        // Balance override for compatibility with providers that apply an upfront funds check to simulated calls.
         stateOverrides.push({
             address: MULTI_CALL_3_ADDRESS,
-            balance
+            balance: 10n * WEI_CONST * WEI_CONST
         });
         await this.l1TxUtils.simulate({
             to: this.rollupContract.address,
@@ -899,7 +953,7 @@ export class SequencerPublisher {
             }),
             from: MULTI_CALL_3_ADDRESS
         }, {
-            time: ts + 1n
+            time: ts
         }, stateOverrides);
         this.log.debug(`Simulated validateHeader`);
     }
@@ -945,6 +999,7 @@ export class SequencerPublisher {
                 gasUsed,
                 checkpointNumber,
                 forcePendingCheckpointNumber: CheckpointNumber(checkpointNumber - 1),
+                lastArchive: validationResult.checkpoint.lastArchive,
                 reason
             };
         } catch (err) {
@@ -957,8 +1012,8 @@ export class SequencerPublisher {
                     request,
                     error: viemError.message
                 });
-                const latestPendingCheckpointNumber = await this.rollupContract.getCheckpointNumber();
-                if (latestPendingCheckpointNumber < checkpointNumber) {
+                const latestProposedCheckpointNumber = await this.rollupContract.getCheckpointNumber();
+                if (latestProposedCheckpointNumber < checkpointNumber) {
                     this.log.verbose(`Checkpoint ${checkpointNumber} has already been invalidated`, {
                         ...logData
                     });
@@ -1008,7 +1063,11 @@ export class SequencerPublisher {
             reason
         };
         this.log.debug(`Building invalidate checkpoint ${checkpoint.checkpointNumber} request`, logData);
-        const attestationsAndSigners = new CommitteeAttestationsAndSigners(validationResult.attestations).getPackedAttestations();
+        // Use the exact packed tuple posted to L1 verbatim. A repack via `packAttestations` is not a
+        // byte-faithful inverse of `fromPacked` (a canonicalized yParity byte or an all-zero signature slot
+        // round-trips differently), so it would diverge from the stored `attestationsHash` and revert the
+        // invalidation.
+        const attestationsAndSigners = validationResult.verbatimAttestations;
         if (reason === 'invalid-attestation') {
             return this.rollupContract.buildInvalidateBadAttestationRequest(checkpoint.checkpointNumber, attestationsAndSigners, committee, validationResult.invalidIndex);
         } else if (reason === 'insufficient-attestations') {
@@ -1018,30 +1077,7 @@ export class SequencerPublisher {
             throw new Error(`Unknown reason for invalidation`);
         }
     }
-    /** Simulates `propose` to make sure that the checkpoint is valid for submission */ async validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, options) {
-        // Anchor the simulation timestamp to the checkpoint's own slot start time
-        // rather than the current L1 block timestamp, which may overshoot into the next slot if the build ran late.
-        const ts = checkpoint.header.timestamp;
-        const blobFields = checkpoint.toBlobFields();
-        const blobs = await getBlobsPerL1Block(blobFields);
-        const blobInput = getPrefixedEthBlobCommitments(blobs);
-        const args = [
-            {
-                header: checkpoint.header.toViem(),
-                archive: toHex(checkpoint.archive.root.toBuffer()),
-                oracleInput: {
-                    feeAssetPriceModifier: checkpoint.feeAssetPriceModifier
-                }
-            },
-            attestationsAndSigners.getPackedAttestations(),
-            attestationsAndSigners.getSigners().map((signer)=>signer.toString()),
-            attestationsAndSignersSignature.toViemSignature(),
-            blobInput
-        ];
-        await this.simulateProposeTx(args, ts, options);
-        return ts;
-    }
-    async enqueueCastSignalHelper(slotNumber, timestamp, signalType, payload, base, signerAddress, signer) {
+    async enqueueCastSignalHelper(slotNumber, signalType, payload, base, signerAddress, signer) {
         if (this.lastActions[signalType] && this.lastActions[signalType] === slotNumber) {
             this.log.debug(`Skipping duplicate vote cast signal ${signalType} for slot ${slotNumber}`);
             return false;
@@ -1053,6 +1089,17 @@ export class SequencerPublisher {
             this.log.warn(`Cannot enqueue vote cast signal ${signalType} for address zero at slot ${slotNumber}`);
             return false;
         }
+        const canonicalRollup = await base.getRollupAddress();
+        if (!canonicalRollup.equals(EthAddress.fromString(this.rollupContract.address))) {
+            this.log.warn(`Rollup ${this.rollupContract.address} is not canonical, skipping governance signal`, {
+                slotNumber,
+                signalType,
+                canonicalRollup,
+                targetRollup: this.rollupContract.address,
+                payload: payload.toString()
+            });
+            return false;
+        }
         const round = await base.computeRound(slotNumber);
         const roundInfo = await base.getRoundInfo(this.rollupContract.address, round);
         if (roundInfo.quorumReached) {
@@ -1061,30 +1108,40 @@ export class SequencerPublisher {
         if (roundInfo.lastSignalSlot >= slotNumber) {
             return false;
         }
-        if (await this.isPayloadEmpty(payload)) {
+        if (await base.isPayloadEmpty(payload)) {
             this.log.warn(`Skipping vote cast for payload with empty code`);
             return false;
         }
-        // Check if payload was already submitted to governance
-        const cacheKey = payload.toString();
-        if (!this.payloadProposedCache.has(cacheKey)) {
-            try {
-                const l1StartBlock = await this.rollupContract.getL1StartBlock();
-                const proposed = await retry(()=>base.hasPayloadBeenProposed(payload.toString(), l1StartBlock), 'Check if payload was proposed', makeBackoff([
-                    0,
-                    1,
-                    2
-                ]), this.log, true);
-                if (proposed) {
-                    this.payloadProposedCache.add(cacheKey);
-                }
-            } catch (err) {
-                this.log.warn(`Failed to check if payload ${payload} was proposed after retries, skipping signal`, err);
-                return false;
-            }
+        // Classify the payload against the Governance proposal history so we stop signalling once its
+        // proposal is live or was already executed, while still re-signalling one whose proposal was
+        // merely rejected/dropped/expired.
+        let status = 'none';
+        try {
+            status = await base.getPayloadProposalStatus(payload.toString());
+        } catch (err) {
+            // We deliberately swallow the error and proceed to signal. Failing closed (skipping the
+            // signal) on transient RPC errors would let a flaky L1 endpoint silence governance
+            // participation entirely; failing open at worst produces a duplicate signal that the
+            // contract will simply count alongside others in the round.
+            this.log.error(`Failed to check governance proposal status for payload ${payload} (signalling anyway)`, err, {
+                slotNumber,
+                signalType
+            });
+        }
+        if (status === 'live') {
+            this.log.info(`Payload ${payload} has a live governance proposal, stopping signals`, {
+                slotNumber,
+                signalType,
+                payload: payload.toString()
+            });
+            return false;
         }
-        if (this.payloadProposedCache.has(cacheKey)) {
-            this.log.info(`Payload ${payload} was already proposed to governance, stopping signals`);
+        if (status === 'executed' && !this.config.governanceProposerForcePayloadVote) {
+            this.log.info(`Payload ${payload} was executed by governance within lookback, stopping signals ` + `(set GOVERNANCE_PROPOSER_FORCE_PAYLOAD_VOTE to re-signal)`, {
+                slotNumber,
+                signalType,
+                payload: payload.toString()
+            });
             return false;
         }
         const cachedLastVote = this.lastActions[signalType];
@@ -1097,53 +1154,17 @@ export class SequencerPublisher {
             signer: this.l1TxUtils.client.account?.address,
             lastValidL2Slot: slotNumber
         });
-        const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
-        try {
-            await this.l1TxUtils.simulate(request, {
-                time: timestamp
-            }, [], mergeAbis([
-                request.abi ?? [],
-                ErrorsAbi
-            ]));
-            this.log.debug(`Simulation for ${action} at slot ${slotNumber} succeeded`, {
-                request
-            });
-        } catch (err) {
-            const viemError = formatViemError(err);
-            this.log.error(`Failed simulation for ${action} at slot ${slotNumber} (enqueuing the action anyway)`, viemError);
-            this.backupFailedTx({
-                id: keccak256(request.data),
-                failureType: 'simulation',
-                request: {
-                    to: request.to,
-                    data: request.data,
-                    value: request.value?.toString()
-                },
-                l1BlockNumber: l1BlockNumber.toString(),
-                error: {
-                    message: viemError.message,
-                    name: viemError.name
-                },
-                context: {
-                    actions: [
-                        action
-                    ],
-                    slot: slotNumber,
-                    sender: this.getSenderAddress().toString()
-                }
-            });
-        // Yes, we enqueue the request anyway, in case there was a bug with the simulation itself
-        }
         // TODO(palla/slash): All votes (governance and slashing) should txTimeoutAt at the end of the slot.
         this.addRequest({
-            gasConfig: {
-                gasLimit: SequencerPublisher.VOTE_GAS_GUESS
-            },
             action,
             request,
             lastValidL2Slot: slotNumber,
             checkSuccess: (_request, result)=>{
-                const success = result && result.receipt && result.receipt.status === 'success' && tryExtractEvent(result.receipt.logs, base.address.toString(), EmpireBaseAbi, 'SignalCast');
+                const success = result && extractEventSuccess(result.receipt, {
+                    address: base.address.toString(),
+                    abi: EmpireBaseAbi,
+                    eventName: 'SignalCast'
+                });
                 const logData = {
                     ...result,
                     slotNumber,
@@ -1162,68 +1183,70 @@ export class SequencerPublisher {
         });
         return true;
     }
-    async isPayloadEmpty(payload) {
-        const key = payload.toString();
-        const cached = this.isPayloadEmptyCache.get(key);
-        if (cached) {
-            return cached;
-        }
-        const isEmpty = !await this.l1TxUtils.getCode(payload);
-        this.isPayloadEmptyCache.set(key, isEmpty);
-        return isEmpty;
-    }
     /**
    * Enqueues a governance castSignal transaction to cast a signal for a given slot number.
    * @param slotNumber - The slot number to cast a signal for.
-   * @param timestamp - The timestamp of the slot to cast a signal for.
    * @returns True if the signal was successfully enqueued, false otherwise.
-   */ enqueueGovernanceCastSignal(governancePayload, slotNumber, timestamp, signerAddress, signer) {
-        return this.enqueueCastSignalHelper(slotNumber, timestamp, 'governance-signal', governancePayload, this.govProposerContract, signerAddress, signer);
+   */ enqueueGovernanceCastSignal(governancePayload, slotNumber, signerAddress, signer) {
+        return this.enqueueCastSignalHelper(slotNumber, 'governance-signal', governancePayload, this.govProposerContract, signerAddress, signer);
     }
-    /** Enqueues all slashing actions as returned by the slasher client. */ async enqueueSlashingActions(actions, slotNumber, timestamp, signerAddress, signer) {
+    /**
+   * Enqueues a `prune()` transaction if the rollup is prunable at the given slot's L1 timestamp.
+   * `prune()` is permissionless and idempotent — if the chain is no longer prunable by send time the
+   * bundle simulation usually drops the entry; on a node without `eth_simulateV1` the bundle is sent
+   * as-is and the prune reverts `Rollup__NothingToPrune` inside `aggregate3(allowFailure: true)`
+   * (a failed action, never a whole-tx revert). Used by the failed-sync fallback so a stuck pending
+   * chain (e.g. bad data blocking sync) can be wound back to recover.
+   * @returns true if a prune request was enqueued, false otherwise.
+   */ async enqueuePruneIfPrunable(slotNumber) {
+        if (this.lastActions['prune'] === slotNumber) {
+            this.log.debug(`Skipping duplicate prune for slot ${slotNumber}`, {
+                slotNumber
+            });
+            return false;
+        }
+        // Use the SAME timestamp the bundle simulator overrides block.timestamp with at send time
+        // (sequencer-bundle-simulator.ts) so this upfront check and the send-time sim agree. Slot-start
+        // and last-L1-slot both fall within the same L2 slot (and epoch, which is what `canPruneAtTime`
+        // derives), so they agree today; matching the simulator keeps it robust if the contract ever uses
+        // the timestamp more granularly.
+        const ts = getLastL1SlotTimestampForL2Slot(slotNumber, this.epochCache.getL1Constants());
+        const canPrune = await this.rollupContract.canPruneAtTime(ts).catch((err)=>{
+            this.log.error(`Failed to check canPruneAtTime for slot ${slotNumber}`, err, {
+                slotNumber
+            });
+            return false;
+        });
+        if (!canPrune) {
+            this.log.debug(`Rollup not prunable at slot ${slotNumber}`, {
+                slotNumber
+            });
+            return false;
+        }
+        const request = {
+            to: this.rollupContract.address,
+            data: encodeFunctionData({
+                abi: RollupAbi,
+                functionName: 'prune',
+                args: []
+            })
+        };
+        this.log.info(`Enqueuing rollup prune for slot ${slotNumber}`, {
+            slotNumber
+        });
+        return this.enqueueRequest('prune', request, {
+            address: this.rollupContract.address,
+            abi: RollupAbi,
+            eventName: 'PrunedPending'
+        }, slotNumber);
+    }
+    /** Enqueues all slashing actions as returned by the slasher client. */ async enqueueSlashingActions(actions, slotNumber, signerAddress, signer) {
         if (actions.length === 0) {
             this.log.debug(`No slashing actions to enqueue for slot ${slotNumber}`);
             return false;
         }
         for (const action of actions){
             switch(action.type){
-                case 'vote-empire-payload':
-                    {
-                        if (this.slashingProposerContract?.type !== 'empire') {
-                            this.log.error('Cannot vote for empire payload on non-empire slashing contract');
-                            break;
-                        }
-                        this.log.debug(`Enqueuing slashing vote for payload ${action.payload} at slot ${slotNumber}`, {
-                            signerAddress
-                        });
-                        await this.enqueueCastSignalHelper(slotNumber, timestamp, 'empire-slashing-signal', action.payload, this.slashingProposerContract, signerAddress, signer);
-                        break;
-                    }
-                case 'create-empire-payload':
-                    {
-                        this.log.debug(`Enqueuing slashing create payload at slot ${slotNumber}`, {
-                            slotNumber,
-                            signerAddress
-                        });
-                        const request = this.slashFactoryContract.buildCreatePayloadRequest(action.data);
-                        await this.simulateAndEnqueueRequest('create-empire-payload', request, (receipt)=>!!this.slashFactoryContract.tryExtractSlashPayloadCreatedEvent(receipt.logs), slotNumber, timestamp);
-                        break;
-                    }
-                case 'execute-empire-payload':
-                    {
-                        this.log.debug(`Enqueuing slashing execute payload at slot ${slotNumber}`, {
-                            slotNumber,
-                            signerAddress
-                        });
-                        if (this.slashingProposerContract?.type !== 'empire') {
-                            this.log.error('Cannot execute slashing payload on non-empire slashing contract');
-                            return false;
-                        }
-                        const empireSlashingProposer = this.slashingProposerContract;
-                        const request = empireSlashingProposer.buildExecuteRoundRequest(action.round);
-                        await this.simulateAndEnqueueRequest('execute-empire-payload', request, (receipt)=>!!empireSlashingProposer.tryExtractPayloadSubmittedEvent(receipt.logs), slotNumber, timestamp);
-                        break;
-                    }
                 case 'vote-offenses':
                     {
                         this.log.debug(`Enqueuing slashing vote for ${action.votes.length} votes at slot ${slotNumber}`, {
@@ -1232,14 +1255,17 @@ export class SequencerPublisher {
                             votesCount: action.votes.length,
                             signerAddress
                         });
-                        if (this.slashingProposerContract?.type !== 'tally') {
-                            this.log.error('Cannot vote for slashing offenses on non-tally slashing contract');
+                        if (!this.slashingProposerContract) {
+                            this.log.error('No slashing proposer contract available');
                             return false;
                         }
-                        const tallySlashingProposer = this.slashingProposerContract;
                         const votes = bufferToHex(encodeSlashConsensusVotes(action.votes));
-                        const request = await tallySlashingProposer.buildVoteRequestFromSigner(votes, slotNumber, signer);
-                        await this.simulateAndEnqueueRequest('vote-offenses', request, (receipt)=>!!tallySlashingProposer.tryExtractVoteCastEvent(receipt.logs), slotNumber, timestamp);
+                        const request = await this.slashingProposerContract.buildVoteRequestFromSigner(votes, slotNumber, signer);
+                        this.enqueueRequest('vote-offenses', request, {
+                            address: this.slashingProposerContract.address.toString(),
+                            abi: SlashingProposerAbi,
+                            eventName: 'VoteCast'
+                        }, slotNumber);
                         break;
                     }
                 case 'execute-slash':
@@ -1249,13 +1275,16 @@ export class SequencerPublisher {
                             round: action.round,
                             signerAddress
                         });
-                        if (this.slashingProposerContract?.type !== 'tally') {
-                            this.log.error('Cannot execute slashing offenses on non-tally slashing contract');
+                        if (!this.slashingProposerContract) {
+                            this.log.error('No slashing proposer contract available');
                             return false;
                         }
-                        const tallySlashingProposer = this.slashingProposerContract;
-                        const request = tallySlashingProposer.buildExecuteRoundRequest(action.round, action.committees);
-                        await this.simulateAndEnqueueRequest('execute-slash', request, (receipt)=>!!tallySlashingProposer.tryExtractRoundExecutedEvent(receipt.logs), slotNumber, timestamp);
+                        const executeRequest = this.slashingProposerContract.buildExecuteRoundRequest(action.round, action.committees);
+                        this.enqueueRequest('execute-slash', executeRequest, {
+                            address: this.slashingProposerContract.address.toString(),
+                            abi: SlashingProposerAbi,
+                            eventName: 'RoundExecuted'
+                        }, slotNumber);
                         break;
                     }
                 default:
@@ -1267,7 +1296,7 @@ export class SequencerPublisher {
         }
         return true;
     }
-    /** Simulates and enqueues a proposal for a checkpoint on L1 */ async enqueueProposeCheckpoint(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts = {}) {
+    /** Enqueues a proposal for a checkpoint on L1 */ async enqueueProposeCheckpoint(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts = {}) {
         const checkpointHeader = checkpoint.header;
         const blobFields = checkpoint.toBlobFields();
         const blobs = await getBlobsPerL1Block(blobFields);
@@ -1279,52 +1308,38 @@ export class SequencerPublisher {
             attestationsAndSignersSignature,
             feeAssetPriceModifier: checkpoint.feeAssetPriceModifier
         };
-        let ts;
-        try {
-            // @note  This will make sure that we are passing the checks for our header ASSUMING that the data is also made available
-            //        This means that we can avoid the simulation issues in later checks.
-            //        By simulation issue, I mean the fact that the block.timestamp is equal to the last block, not the next, which
-            //        make time consistency checks break.
-            // TODO(palla): Check whether we're validating twice, once here and once within addProposeTx, since we call simulateProposeTx in both places.
-            ts = await this.validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts);
-        } catch (err) {
-            this.log.error(`Checkpoint validation failed. ${err instanceof Error ? err.message : 'No error message'}`, err, {
-                ...checkpoint.getStats(),
-                slotNumber: checkpoint.header.slotNumber,
-                forcePendingCheckpointNumber: opts.forcePendingCheckpointNumber
-            });
-            throw err;
-        }
         this.log.verbose(`Enqueuing checkpoint propose transaction`, {
             ...checkpoint.toCheckpointInfo(),
-            ...opts
+            txTimeoutAt: opts.txTimeoutAt
+        });
+        await this.addProposeTx(checkpoint, proposeTxArgs, {
+            txTimeoutAt: opts.txTimeoutAt
         });
-        await this.addProposeTx(checkpoint, proposeTxArgs, opts, ts);
     }
     enqueueInvalidateCheckpoint(request, opts = {}) {
         if (!request) {
             return;
         }
-        // We issued the simulation against the rollup contract, so we need to account for the overhead of the multicall3
-        const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(request.gasUsed) * 64 / 63)));
         const { gasUsed, checkpointNumber } = request;
         const logData = {
             gasUsed,
             checkpointNumber,
-            gasLimit,
             opts
         };
         this.log.verbose(`Enqueuing invalidate checkpoint request`, logData);
         this.addRequest({
             action: `invalidate-by-${request.reason}`,
             request: request.request,
-            gasConfig: {
-                gasLimit,
+            gasConfig: opts.txTimeoutAt ? {
                 txTimeoutAt: opts.txTimeoutAt
-            },
+            } : undefined,
             lastValidL2Slot: SlotNumber(this.getCurrentL2Slot() + 2),
             checkSuccess: (_req, result)=>{
-                const success = result && result.receipt && result.receipt.status === 'success' && tryExtractEvent(result.receipt.logs, this.rollupContract.address, RollupAbi, 'CheckpointInvalidated');
+                const success = result && extractEventSuccess(result.receipt, {
+                    address: this.rollupContract.address,
+                    abi: RollupAbi,
+                    eventName: 'CheckpointInvalidated'
+                });
                 if (!success) {
                     this.log.warn(`Invalidate checkpoint ${request.checkpointNumber} failed`, {
                         ...result,
@@ -1340,89 +1355,36 @@ export class SequencerPublisher {
             }
         });
     }
-    async simulateAndEnqueueRequest(action, request, checkSuccess, slotNumber, timestamp) {
-        const logData = {
-            slotNumber,
-            timestamp,
-            gasLimit: undefined
-        };
+    /**
+   * Dedup-checked enqueue helper for actions that are simulated at bundle-send time rather
+   * than at enqueue time. Validates the (action, slot) dedup key, sets `lastActions`, and
+   * enqueues without a gasLimit so the bundle simulate sets the only gasLimit that matters.
+   */ enqueueRequest(action, request, eventOpts, slotNumber) {
         if (this.lastActions[action] && this.lastActions[action] === slotNumber) {
             this.log.debug(`Skipping duplicate action ${action} for slot ${slotNumber}`);
             return false;
         }
         const cachedLastActionSlot = this.lastActions[action];
         this.lastActions[action] = slotNumber;
-        this.log.debug(`Simulating ${action} for slot ${slotNumber}`, logData);
-        const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
-        let gasUsed;
-        const simulateAbi = mergeAbis([
-            request.abi ?? [],
-            ErrorsAbi
-        ]);
-        try {
-            ({ gasUsed } = await this.l1TxUtils.simulate(request, {
-                time: timestamp
-            }, [], simulateAbi)); // TODO(palla/slash): Check the timestamp logic
-            this.log.verbose(`Simulation for ${action} succeeded`, {
-                ...logData,
-                request,
-                gasUsed
-            });
-        } catch (err) {
-            const viemError = formatViemError(err, simulateAbi);
-            this.log.error(`Simulation for ${action} at ${slotNumber} failed`, viemError, logData);
-            this.backupFailedTx({
-                id: keccak256(request.data),
-                failureType: 'simulation',
-                request: {
-                    to: request.to,
-                    data: request.data,
-                    value: request.value?.toString()
-                },
-                l1BlockNumber: l1BlockNumber.toString(),
-                error: {
-                    message: viemError.message,
-                    name: viemError.name
-                },
-                context: {
-                    actions: [
-                        action
-                    ],
-                    slot: slotNumber,
-                    sender: this.getSenderAddress().toString()
-                }
-            });
-            return false;
-        }
-        // We issued the simulation against the rollup contract, so we need to account for the overhead of the multicall3
-        const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(gasUsed) * 64 / 63)));
-        logData.gasLimit = gasLimit;
-        // Store the ABI used for simulation on the request so Multicall3.forward can decode errors
-        // when the tx is sent and a revert is diagnosed via simulation.
-        const requestWithAbi = {
-            ...request,
-            abi: simulateAbi
-        };
-        this.log.debug(`Enqueuing ${action}`, logData);
+        this.log.debug(`Enqueuing ${action}`, {
+            slotNumber
+        });
         this.addRequest({
             action,
-            request: requestWithAbi,
-            gasConfig: {
-                gasLimit
-            },
+            request,
             lastValidL2Slot: slotNumber,
-            checkSuccess: (_req, result)=>{
-                const success = result && result.receipt && result.receipt.status === 'success' && checkSuccess(result.receipt);
+            checkSuccess: (_request, result)=>{
+                const success = result && extractEventSuccess(result.receipt, eventOpts);
                 if (!success) {
                     this.log.warn(`Action ${action} at ${slotNumber} failed`, {
                         ...result,
-                        ...logData
+                        slotNumber
                     });
                     this.lastActions[action] = cachedLastActionSlot;
                 } else {
                     this.log.info(`Action ${action} at ${slotNumber} succeeded`, {
                         ...result,
-                        ...logData
+                        slotNumber
                     });
                 }
                 return !!success;
@@ -1437,13 +1399,14 @@ export class SequencerPublisher {
    * A call to `restart` is required before you can continue publishing.
    */ interrupt() {
         this.interrupted = true;
+        this.interruptibleSleep.interrupt();
         this.l1TxUtils.interrupt();
     }
     /** Restarts the publisher after calling `interrupt`. */ restart() {
         this.interrupted = false;
         this.l1TxUtils.restart();
     }
-    async prepareProposeTx(encodedData, timestamp, options) {
+    async prepareProposeTx(encodedData) {
         const kzg = Blob.getViemKzgInstance();
         const blobInput = getPrefixedEthBlobCommitments(encodedData.blobs);
         this.log.debug('Validating blob input', {
@@ -1457,7 +1420,11 @@ export class SequencerPublisher {
             blobEvaluationGas = BigInt(encodedData.blobs.length) * 21_000n;
             this.log.debug(`Using fixed blob evaluation gas estimate in fisherman mode: ${blobEvaluationGas}`);
         } else {
-            // Normal mode - use estimateGas with blob inputs
+            // We call validateBlobs via estimateGas with real blob+kzg sidecars as a consistency check
+            // that our locally-built blob commitments match the blob data. The bundle simulate at send
+            // time uses eth_simulateV1, which cannot carry blob inputs, so the rollup's on-chain blob
+            // check is forced off there — making this the only pre-flight detector of a commitment/data
+            // mismatch. The returned gas estimate is stashed on the request for the bundle path to read.
             blobEvaluationGas = await this.l1TxUtils.estimateGas(this.getSenderAddress().toString(), {
                 to: this.rollupContract.address,
                 data: encodeFunctionData({
@@ -1520,109 +1487,23 @@ export class SequencerPublisher {
             encodedData.attestationsAndSignersSignature.toViemSignature(),
             blobInput
         ];
-        const { rollupData, simulationResult } = await this.simulateProposeTx(args, timestamp, options);
-        return {
-            args,
-            blobEvaluationGas,
-            rollupData,
-            simulationResult
-        };
-    }
-    /**
-   * Simulates the propose tx with eth_simulateV1
-   * @param args - The propose tx args
-   * @param timestamp - The timestamp to simulate proposal at
-   * @returns The simulation result
-   */ async simulateProposeTx(args, timestamp, options) {
         const rollupData = encodeFunctionData({
             abi: RollupAbi,
             functionName: 'propose',
             args
         });
-        // override the pending checkpoint number if requested
-        const forcePendingCheckpointNumberStateDiff = (options.forcePendingCheckpointNumber !== undefined ? await this.rollupContract.makePendingCheckpointNumberOverride(options.forcePendingCheckpointNumber) : []).flatMap((override)=>override.stateDiff ?? []);
-        const stateOverrides = [
-            {
-                address: this.rollupContract.address,
-                // @note we override checkBlob to false since blobs are not part simulate()
-                stateDiff: [
-                    {
-                        slot: toPaddedHex(RollupContract.checkBlobStorageSlot, true),
-                        value: toPaddedHex(0n, true)
-                    },
-                    ...forcePendingCheckpointNumberStateDiff
-                ]
-            }
-        ];
-        // In fisherman mode, simulate as the proposer but with sufficient balance
-        if (this.proposerAddressForSimulation) {
-            stateOverrides.push({
-                address: this.proposerAddressForSimulation.toString(),
-                balance: 10n * WEI_CONST * WEI_CONST
-            });
-        }
-        const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
-        const simulationResult = await this.l1TxUtils.simulate({
-            to: this.rollupContract.address,
-            data: rollupData,
-            gas: MAX_L1_TX_LIMIT,
-            ...this.proposerAddressForSimulation && {
-                from: this.proposerAddressForSimulation.toString()
-            }
-        }, {
-            // @note we add 1n to the timestamp because geth implementation doesn't like simulation timestamp to be equal to the current block timestamp
-            time: timestamp + 1n,
-            // @note reth should have a 30m gas limit per block but throws errors that this tx is beyond limit so we increase here
-            gasLimit: MAX_L1_TX_LIMIT * 2n
-        }, stateOverrides, RollupAbi, {
-            // @note fallback gas estimate to use if the node doesn't support simulation API
-            fallbackGasEstimate: MAX_L1_TX_LIMIT
-        }).catch((err)=>{
-            // In fisherman mode, we expect ValidatorSelection__MissingProposerSignature since fisherman doesn't have proposer signature
-            const viemError = formatViemError(err);
-            if (this.config.fishermanMode && viemError.message?.includes('ValidatorSelection__MissingProposerSignature')) {
-                this.log.debug(`Ignoring expected ValidatorSelection__MissingProposerSignature error in fisherman mode`);
-                // Return a minimal simulation result with the fallback gas estimate
-                return {
-                    gasUsed: MAX_L1_TX_LIMIT,
-                    logs: []
-                };
-            }
-            this.log.error(`Failed to simulate propose tx`, viemError);
-            this.backupFailedTx({
-                id: keccak256(rollupData),
-                failureType: 'simulation',
-                request: {
-                    to: this.rollupContract.address,
-                    data: rollupData
-                },
-                l1BlockNumber: l1BlockNumber.toString(),
-                error: {
-                    message: viemError.message,
-                    name: viemError.name
-                },
-                context: {
-                    actions: [
-                        'propose'
-                    ],
-                    slot: Number(args[0].header.slotNumber),
-                    sender: this.getSenderAddress().toString()
-                }
-            });
-            throw err;
-        });
         return {
-            rollupData,
-            simulationResult
+            args,
+            blobEvaluationGas,
+            rollupData
         };
     }
-    async addProposeTx(checkpoint, encodedData, opts = {}, timestamp) {
+    async addProposeTx(checkpoint, encodedData, opts = {}) {
         const slot = checkpoint.header.slotNumber;
         const timer = new Timer();
         const kzg = Blob.getViemKzgInstance();
-        const { rollupData, simulationResult, blobEvaluationGas } = await this.prepareProposeTx(encodedData, timestamp, opts);
+        const { rollupData, blobEvaluationGas } = await this.prepareProposeTx(encodedData);
         const startBlock = await this.l1TxUtils.getBlockNumber();
-        const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(simulationResult.gasUsed) * 64 / 63)) + blobEvaluationGas + SequencerPublisher.MULTICALL_OVERHEAD_GAS_GUESS);
         // Send the blobs to the blob client preemptively. This helps in tests where the sequencer mistakingly thinks that the propose
         // tx fails but it does get mined. We make sure that the blobs are sent to the blob client regardless of the tx outcome.
         void Promise.resolve().then(()=>this.blobClient.sendBlobsToFilestore(encodedData.blobs).catch((_err)=>{
@@ -1636,9 +1517,10 @@ export class SequencerPublisher {
             },
             lastValidL2Slot: checkpoint.header.slotNumber,
             gasConfig: {
-                ...opts,
-                gasLimit
+                txTimeoutAt: opts.txTimeoutAt,
+                gasLimit: undefined
             },
+            blobEvaluationGas,
             blobConfig: {
                 blobs: encodedData.blobs.map((b)=>b.data),
                 kzg
@@ -1648,7 +1530,11 @@ export class SequencerPublisher {
                     return false;
                 }
                 const { receipt, stats, errorMsg } = result;
-                const success = receipt && receipt.status === 'success' && tryExtractEvent(receipt.logs, this.rollupContract.address, RollupAbi, 'CheckpointProposed');
+                const success = extractEventSuccess(receipt, {
+                    address: this.rollupContract.address,
+                    abi: RollupAbi,
+                    eventName: 'CheckpointProposed'
+                });
                 if (success) {
                     const endBlock = receipt.blockNumber;
                     const inclusionBlocks = Number(endBlock - startBlock);
@@ -1685,7 +1571,7 @@ export class SequencerPublisher {
             }
         });
     }
-    /** Returns the timestamp to use when simulating L1 proposal calls */ getNextL1SlotTimestamp() {
+    /** Returns the timestamp of the next L1 slot boundary after now. */ getNextL1SlotTimestamp() {
         const l1Constants = this.epochCache.getL1Constants();
         return getNextL1SlotTimestamp(this.dateProvider.nowInSeconds(), l1Constants);
     }