@aztec/sequencer-client 0.0.1-commit.343b43af6 → 0.0.1-commit.350e0a4d

package/dest/client/sequencer-client.js

@@ -1,19 +1,14 @@
 import { MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT } from '@aztec/constants';
 import { EpochCache } from '@aztec/epoch-cache';
-import { isAnvilTestChain } from '@aztec/ethereum/chain';
 import { getPublicClient } from '@aztec/ethereum/client';
 import { GovernanceProposerContract, RollupContract } from '@aztec/ethereum/contracts';
 import { PublisherManager } from '@aztec/ethereum/publisher-manager';
-import { EthAddress } from '@aztec/foundation/eth-address';
 import { createLogger } from '@aztec/foundation/log';
-import { SlashFactoryContract } from '@aztec/stdlib/l1-contracts';
 import { L1Metrics } from '@aztec/telemetry-client';
 import { NodeKeystoreAdapter } from '@aztec/validator-client';
-import { DefaultSequencerConfig, getPublisherConfigFromSequencerConfig } from '../config.js';
-import { GlobalVariableBuilder } from '../global_variable_builder/index.js';
+import { getPublisherConfigFromSequencerConfig } from '../config.js';
 import { SequencerPublisherFactory } from '../publisher/sequencer-publisher-factory.js';
 import { Sequencer } from '../sequencer/index.js';
-import { SequencerTimetable } from '../sequencer/timetable.js';
 /**
  * Encapsulates the full sequencer and publisher.
  */ export class SequencerClient {
@@ -49,16 +44,18 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
         const publicClient = getPublicClient(config);
         const l1TxUtils = deps.l1TxUtils;
         const l1Metrics = new L1Metrics(telemetryClient.getMeter('L1PublisherMetrics'), publicClient, l1TxUtils.map((x)=>x.getSenderAddress()));
-        const publisherManager = new PublisherManager(l1TxUtils, getPublisherConfigFromSequencerConfig(config), log.getBindings());
-        const rollupContract = new RollupContract(publicClient, config.l1Contracts.rollupAddress.toString());
-        const [l1GenesisTime, slotDuration, rollupVersion, rollupManaLimit] = await Promise.all([
+        const publisherManager = new PublisherManager(l1TxUtils, getPublisherConfigFromSequencerConfig(config), {
+            bindings: log.getBindings(),
+            funder: deps.funderL1TxUtils
+        });
+        const rollupContract = new RollupContract(publicClient, config.rollupAddress.toString());
+        const [l1GenesisTime, slotDuration, rollupManaLimit] = await Promise.all([
             rollupContract.getL1GenesisTime(),
             rollupContract.getSlotDuration(),
-            rollupContract.getVersion(),
             rollupContract.getManaLimit().then(Number)
         ]);
-        const governanceProposerContract = new GovernanceProposerContract(publicClient, config.l1Contracts.governanceProposerAddress.toString());
-        const epochCache = deps.epochCache ?? await EpochCache.create(config.l1Contracts.rollupAddress, {
+        const governanceProposerContract = new GovernanceProposerContract(publicClient, config.governanceProposerAddress.toString());
+        const epochCache = deps.epochCache ?? await EpochCache.create(config.rollupAddress, {
             l1RpcUrls: rpcUrls,
             l1ChainId: chainId,
             viemPollingIntervalMS: config.viemPollingIntervalMS,
@@ -66,13 +63,11 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
         }, {
             dateProvider: deps.dateProvider
         });
-        const slashFactoryContract = new SlashFactoryContract(publicClient, config.l1Contracts.slashFactoryAddress?.toString() ?? EthAddress.ZERO.toString());
         const publisherFactory = deps.publisherFactory ?? new SequencerPublisherFactory(config, {
             telemetry: telemetryClient,
             blobClient: deps.blobClient,
             epochCache,
             governanceProposerContract,
-            slashFactoryContract,
             rollupContract,
             dateProvider: deps.dateProvider,
             publisherManager,
@@ -80,30 +75,17 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
             logger: log
         });
         const ethereumSlotDuration = config.ethereumSlotDuration;
-        const globalsBuilder = new GlobalVariableBuilder({
-            ...config,
-            l1GenesisTime,
-            slotDuration: Number(slotDuration),
-            ethereumSlotDuration,
-            rollupVersion
-        });
-        // When running in anvil, assume we can post a tx up until one second before the end of an L1 slot.
-        // Otherwise, we need the full L1 slot duration for publishing to ensure inclusion.
-        // In theory, the L1 slot has an initial 4s phase where the block is propagated, so we could
-        // reduce the publishing time allowance. However, we prefer being conservative.
-        // See https://www.blocknative.com/blog/anatomy-of-a-slot#7 for more info.
-        const l1PublishingTimeBasedOnChain = isAnvilTestChain(config.l1ChainId) ? 1 : ethereumSlotDuration;
-        const l1PublishingTime = config.l1PublishingTime ?? l1PublishingTimeBasedOnChain;
-        const { maxL2BlockGas, maxDABlockGas, maxTxsPerBlock } = computeBlockLimits(config, rollupManaLimit, l1PublishingTime, log);
+        const globalsBuilder = deps.globalVariableBuilder;
+        const { maxL2BlockGas, maxDABlockGas, maxTxsPerBlock } = capPerBlockLimits(config, rollupManaLimit, log);
         const l1Constants = {
             l1GenesisTime,
             slotDuration: Number(slotDuration),
             ethereumSlotDuration,
-            rollupManaLimit
+            rollupManaLimit,
+            epochDuration: config.aztecEpochDuration
         };
         const sequencer = new Sequencer(publisherFactory, validatorClient, globalsBuilder, p2pClient, worldStateSynchronizer, slasherClient, l2BlockSource, l1ToL2MessageSource, checkpointsBuilder, l1Constants, deps.dateProvider, epochCache, rollupContract, {
             ...config,
-            l1PublishingTime,
             maxL2BlockGas,
             maxDABlockGas,
             maxTxsPerBlock
@@ -121,20 +103,37 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
         this.checkpointsBuilder.updateConfig(config);
         this.validatorClient?.updateConfig(config);
     }
-    /** Starts the sequencer. */ async start() {
+    /**
+   * Starts (or resumes) the sequencer, validator, publishers, and metrics. Each underlying start is
+   * idempotent, so this is safe to call after a previous {@link pause} to resume building and publishing.
+   * The publisher manager is started before the sequencer's poll loop so publishing is ready before the
+   * sequencer first tries to publish to L1.
+   */ async start() {
         await this.validatorClient?.start();
+        await this.publisherManager.start();
         this.sequencer.start();
         this.l1Metrics?.start();
-        await this.publisherManager.loadState();
     }
     /**
-   * Stops the sequencer from processing new txs.
+   * Stops the sequencer, validator, publishers, and metrics for good, draining in-flight work. This is the
+   * final teardown path: stopping the validator client closes its slashing-protection database. For a
+   * restartable pause (e.g. around a test clock warp) use {@link pause} instead.
    */ async stop() {
         await this.sequencer.stop();
         await this.validatorClient?.stop();
-        this.publisherManager.interrupt();
+        await this.publisherManager.stop();
         this.l1Metrics?.stop();
     }
+    /**
+   * Gracefully pauses block production, waiting for in-flight work to finish rather than interrupting it,
+   * while leaving the validator, publishers, and metrics running so the sequencer can be resumed with
+   * {@link start}. Used by tests that pause sequencers around an L1 clock warp.
+   */ async pause() {
+        await this.sequencer.pause();
+    }
+    /** Triggers an immediate run of the sequencer, bypassing the polling interval. */ trigger() {
+        return this.sequencer.trigger();
+    }
     getSequencer() {
         return this.sequencer;
     }
@@ -152,68 +151,24 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
     }
 }
 /**
- * Computes per-block L2 gas, DA gas, and TX count budgets based on the L1 rollup limits and the timetable.
- * If the user explicitly set a limit, it is capped at the corresponding checkpoint limit.
- * Otherwise, derives it as (checkpointLimit / maxBlocks) * multiplier, capped at the checkpoint limit.
- */ export function computeBlockLimits(config, rollupManaLimit, l1PublishingTime, log) {
-    const maxNumberOfBlocks = new SequencerTimetable({
-        ethereumSlotDuration: config.ethereumSlotDuration,
-        aztecSlotDuration: config.aztecSlotDuration,
-        l1PublishingTime,
-        p2pPropagationTime: config.attestationPropagationTime,
-        blockDurationMs: config.blockDurationMs,
-        enforce: config.enforceTimeTable ?? DefaultSequencerConfig.enforceTimeTable
-    }).maxNumberOfBlocks;
-    const multiplier = config.perBlockAllocationMultiplier ?? DefaultSequencerConfig.perBlockAllocationMultiplier;
-    // Compute maxL2BlockGas
-    let maxL2BlockGas;
-    if (config.maxL2BlockGas !== undefined) {
-        if (config.maxL2BlockGas > rollupManaLimit) {
-            log.warn(`Provided MAX_L2_BLOCK_GAS ${config.maxL2BlockGas} exceeds L1 rollup mana limit ${rollupManaLimit} (capping)`);
-            maxL2BlockGas = rollupManaLimit;
-        } else {
-            maxL2BlockGas = config.maxL2BlockGas;
-        }
-    } else {
-        maxL2BlockGas = Math.min(rollupManaLimit, Math.ceil(rollupManaLimit / maxNumberOfBlocks * multiplier));
+ * Caps operator-provided per-block limits at checkpoint-level limits.
+ * Returns undefined for any limit the operator didn't set — the checkpoint builder handles redistribution.
+ */ function capPerBlockLimits(config, rollupManaLimit, log) {
+    let maxL2BlockGas = config.maxL2BlockGas;
+    if (maxL2BlockGas !== undefined && maxL2BlockGas > rollupManaLimit) {
+        log.warn(`Provided MAX_L2_BLOCK_GAS ${maxL2BlockGas} exceeds rollup mana limit ${rollupManaLimit} (capping)`);
+        maxL2BlockGas = rollupManaLimit;
     }
-    // Compute maxDABlockGas
-    const daCheckpointLimit = MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT;
-    let maxDABlockGas;
-    if (config.maxDABlockGas !== undefined) {
-        if (config.maxDABlockGas > daCheckpointLimit) {
-            log.warn(`Provided MAX_DA_BLOCK_GAS ${config.maxDABlockGas} exceeds DA checkpoint limit ${daCheckpointLimit} (capping)`);
-            maxDABlockGas = daCheckpointLimit;
-        } else {
-            maxDABlockGas = config.maxDABlockGas;
-        }
-    } else {
-        maxDABlockGas = Math.min(daCheckpointLimit, Math.ceil(daCheckpointLimit / maxNumberOfBlocks * multiplier));
+    let maxDABlockGas = config.maxDABlockGas;
+    if (maxDABlockGas !== undefined && maxDABlockGas > MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT) {
+        log.warn(`Provided MAX_DA_BLOCK_GAS ${maxDABlockGas} exceeds DA checkpoint limit ${MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT} (capping)`);
+        maxDABlockGas = MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT;
     }
-    // Compute maxTxsPerBlock
-    const defaultMaxTxsPerBlock = 32;
-    let maxTxsPerBlock;
-    if (config.maxTxsPerBlock !== undefined) {
-        if (config.maxTxsPerCheckpoint !== undefined && config.maxTxsPerBlock > config.maxTxsPerCheckpoint) {
-            log.warn(`Provided MAX_TX_PER_BLOCK ${config.maxTxsPerBlock} exceeds MAX_TX_PER_CHECKPOINT ${config.maxTxsPerCheckpoint} (capping)`);
-            maxTxsPerBlock = config.maxTxsPerCheckpoint;
-        } else {
-            maxTxsPerBlock = config.maxTxsPerBlock;
-        }
-    } else if (config.maxTxsPerCheckpoint !== undefined) {
-        maxTxsPerBlock = Math.min(config.maxTxsPerCheckpoint, Math.ceil(config.maxTxsPerCheckpoint / maxNumberOfBlocks * multiplier));
-    } else {
-        maxTxsPerBlock = defaultMaxTxsPerBlock;
+    let maxTxsPerBlock = config.maxTxsPerBlock;
+    if (maxTxsPerBlock !== undefined && config.maxTxsPerCheckpoint !== undefined && maxTxsPerBlock > config.maxTxsPerCheckpoint) {
+        log.warn(`Provided MAX_TX_PER_BLOCK ${maxTxsPerBlock} exceeds MAX_TX_PER_CHECKPOINT ${config.maxTxsPerCheckpoint} (capping)`);
+        maxTxsPerBlock = config.maxTxsPerCheckpoint;
     }
-    log.info(`Computed block limits L2=${maxL2BlockGas} DA=${maxDABlockGas} maxTxs=${maxTxsPerBlock}`, {
-        maxL2BlockGas,
-        maxDABlockGas,
-        maxTxsPerBlock,
-        rollupManaLimit,
-        daCheckpointLimit,
-        maxNumberOfBlocks,
-        multiplier
-    });
     return {
         maxL2BlockGas,
         maxDABlockGas,

package/dest/config.d.ts

@@ -18,20 +18,28 @@ export declare const DefaultSequencerConfig: {
     buildCheckpointIfEmpty: false;
     publishTxsWithProposals: false;
     perBlockAllocationMultiplier: number;
-    enforceTimeTable: true;
+    perBlockDAAllocationMultiplier: number;
+    redistributeCheckpointBudget: true;
+    blockDurationMs: number;
+    l1PublishingTime: number;
+    checkpointProposalSyncGraceSeconds: number;
     attestationPropagationTime: number;
     secondsBeforeInvalidatingBlockAsCommitteeMember: number;
     secondsBeforeInvalidatingBlockAsNonCommitteeMember: number;
     skipCollectingAttestations: false;
     skipInvalidateBlockAsProposer: false;
+    skipWaitForValidParentCheckpointOnL1: false;
     broadcastInvalidBlockProposal: false;
+    broadcastInvalidCheckpointProposalOnly: false;
     injectFakeAttestation: false;
     injectHighSValueAttestation: false;
     injectUnrecoverableSignatureAttestation: false;
+    injectYParityAttestation: false;
     fishermanMode: false;
     shuffleAttestationOrdering: false;
     skipPushProposedBlocksToArchiver: false;
     skipPublishingCheckpointsPercent: number;
+    maxBlocksPerCheckpoint: number;
 };
 /**
  * Configuration settings for the SequencerClient.
@@ -43,4 +51,4 @@ export declare const sequencerClientConfigMappings: ConfigMappingsType<Sequencer
  * Creates an instance of SequencerClientConfig out of environment variables using sensible defaults for integration testing if not set.
  */
 export declare function getConfigEnvVars(): SequencerClientConfig;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uZmlnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLGlCQUFpQixFQUE2QixNQUFNLHdCQUF3QixDQUFDO0FBQzNGLE9BQU8sRUFBRSxLQUFLLGNBQWMsRUFBMEIsTUFBTSwyQkFBMkIsQ0FBQztBQUN4RixPQUFPLEVBQ0wsS0FBSyxrQkFBa0IsRUFLeEIsTUFBTSwwQkFBMEIsQ0FBQztBQUVsQyxPQUFPLEVBQUUsS0FBSyxjQUFjLEVBQTBCLE1BQU0sNkJBQTZCLENBQUM7QUFDMUYsT0FBTyxFQUFFLEtBQUssU0FBUyxFQUFxQixNQUFNLG1CQUFtQixDQUFDO0FBRXRFLE9BQU8sRUFDTCxLQUFLLFdBQVcsRUFDaEIsS0FBSyxlQUFlLEVBR3JCLE1BQU0sc0JBQXNCLENBQUM7QUFHOUIsT0FBTyxFQUFFLEtBQUsscUJBQXFCLEVBQWlDLE1BQU0sZ0NBQWdDLENBQUM7QUFFM0csT0FBTyxFQUNMLEtBQUssd0JBQXdCLEVBQzdCLEtBQUssdUJBQXVCLEVBRzdCLE1BQU0sdUJBQXVCLENBQUM7QUFFL0IsY0FBYyx1QkFBdUIsQ0FBQztBQUN0QyxZQUFZLEVBQUUsZUFBZSxFQUFFLENBQUM7QUFFaEM7OztHQUdHO0FBQ0gsZUFBTyxNQUFNLHNCQUFzQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Q0FvQkEsQ0FBQztBQUVwQzs7R0FFRztBQUNILE1BQU0sTUFBTSxxQkFBcUIsR0FBRyx3QkFBd0IsR0FDMUQsY0FBYyxHQUNkLHFCQUFxQixHQUNyQix1QkFBdUIsR0FDdkIsZUFBZSxHQUNmLGNBQWMsR0FDZCxXQUFXLEdBQ1gsSUFBSSxDQUFDLFNBQVMsRUFBRSw4QkFBOEIsQ0FBQyxHQUMvQyxJQUFJLENBQUMsaUJBQWlCLEVBQUUsc0JBQXNCLEdBQUcsbUJBQW1CLEdBQUcsb0JBQW9CLENBQUMsQ0FBQztBQUUvRixlQUFPLE1BQU0sdUJBQXVCLEVBQUUsa0JBQWtCLENBQUMsZUFBZSxDQTBKdkUsQ0FBQztBQUVGLGVBQU8sTUFBTSw2QkFBNkIsRUFBRSxrQkFBa0IsQ0FBQyxxQkFBcUIsQ0FTbkYsQ0FBQztBQUVGOztHQUVHO0FBQ0gsd0JBQWdCLGdCQUFnQixJQUFJLHFCQUFxQixDQUV4RCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uZmlnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLGlCQUFpQixFQUE2QixNQUFNLHdCQUF3QixDQUFDO0FBQzNGLE9BQU8sRUFBRSxLQUFLLGNBQWMsRUFBMEIsTUFBTSwyQkFBMkIsQ0FBQztBQUN4RixPQUFPLEVBQ0wsS0FBSyxrQkFBa0IsRUFPeEIsTUFBTSwwQkFBMEIsQ0FBQztBQUVsQyxPQUFPLEVBQUUsS0FBSyxjQUFjLEVBQTBCLE1BQU0sNkJBQTZCLENBQUM7QUFDMUYsT0FBTyxFQUFFLEtBQUssU0FBUyxFQUFxQixNQUFNLG1CQUFtQixDQUFDO0FBRXRFLE9BQU8sRUFDTCxLQUFLLFdBQVcsRUFHaEIsS0FBSyxlQUFlLEVBR3JCLE1BQU0sc0JBQXNCLENBQUM7QUFJOUIsT0FBTyxFQUFFLEtBQUsscUJBQXFCLEVBQWlDLE1BQU0sZ0NBQWdDLENBQUM7QUFFM0csT0FBTyxFQUNMLEtBQUssd0JBQXdCLEVBQzdCLEtBQUssdUJBQXVCLEVBRzdCLE1BQU0sdUJBQXVCLENBQUM7QUFFL0IsY0FBYyx1QkFBdUIsQ0FBQztBQUN0QyxZQUFZLEVBQUUsZUFBZSxFQUFFLENBQUM7QUFFaEM7OztHQUdHO0FBQ0gsZUFBTyxNQUFNLHNCQUFzQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztDQTRCQSxDQUFDO0FBRXBDOztHQUVHO0FBQ0gsTUFBTSxNQUFNLHFCQUFxQixHQUFHLHdCQUF3QixHQUMxRCxjQUFjLEdBQ2QscUJBQXFCLEdBQ3JCLHVCQUF1QixHQUN2QixlQUFlLEdBQ2YsY0FBYyxHQUNkLFdBQVcsR0FDWCxJQUFJLENBQUMsU0FBUyxFQUFFLDhCQUE4QixDQUFDLEdBQy9DLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxzQkFBc0IsR0FBRyxtQkFBbUIsR0FBRyxvQkFBb0IsQ0FBQyxDQUFDO0FBRS9GLGVBQU8sTUFBTSx1QkFBdUIsRUFBRSxrQkFBa0IsQ0FBQyxlQUFlLENBOEx2RSxDQUFDO0FBRUYsZUFBTyxNQUFNLDZCQUE2QixFQUFFLGtCQUFrQixDQUFDLHFCQUFxQixDQVNuRixDQUFDO0FBRUY7O0dBRUc7QUFDSCx3QkFBZ0IsZ0JBQWdCLElBQUkscUJBQXFCLENBRXhEIn0=

package/dest/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,iBAAiB,EAA6B,MAAM,wBAAwB,CAAC;AAC3F,OAAO,EAAE,KAAK,cAAc,EAA0B,MAAM,2BAA2B,CAAC;AACxF,OAAO,EACL,KAAK,kBAAkB,EAKxB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,KAAK,cAAc,EAA0B,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,KAAK,SAAS,EAAqB,MAAM,mBAAmB,CAAC;AAEtE,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,eAAe,EAGrB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,KAAK,qBAAqB,EAAiC,MAAM,gCAAgC,CAAC;AAE3G,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAG7B,MAAM,uBAAuB,CAAC;AAE/B,cAAc,uBAAuB,CAAC;AACtC,YAAY,EAAE,eAAe,EAAE,CAAC;AAEhC;;;GAGG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;CAoBA,CAAC;AAEpC;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,wBAAwB,GAC1D,cAAc,GACd,qBAAqB,GACrB,uBAAuB,GACvB,eAAe,GACf,cAAc,GACd,WAAW,GACX,IAAI,CAAC,SAAS,EAAE,8BAA8B,CAAC,GAC/C,IAAI,CAAC,iBAAiB,EAAE,sBAAsB,GAAG,mBAAmB,GAAG,oBAAoB,CAAC,CAAC;AAE/F,eAAO,MAAM,uBAAuB,EAAE,kBAAkB,CAAC,eAAe,CA0JvE,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAAC,qBAAqB,CASnF,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,qBAAqB,CAExD"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,iBAAiB,EAA6B,MAAM,wBAAwB,CAAC;AAC3F,OAAO,EAAE,KAAK,cAAc,EAA0B,MAAM,2BAA2B,CAAC;AACxF,OAAO,EACL,KAAK,kBAAkB,EAOxB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,KAAK,cAAc,EAA0B,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,KAAK,SAAS,EAAqB,MAAM,mBAAmB,CAAC;AAEtE,OAAO,EACL,KAAK,WAAW,EAGhB,KAAK,eAAe,EAGrB,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EAAE,KAAK,qBAAqB,EAAiC,MAAM,gCAAgC,CAAC;AAE3G,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAG7B,MAAM,uBAAuB,CAAC;AAE/B,cAAc,uBAAuB,CAAC;AACtC,YAAY,EAAE,eAAe,EAAE,CAAC;AAEhC;;;GAGG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4BA,CAAC;AAEpC;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,wBAAwB,GAC1D,cAAc,GACd,qBAAqB,GACrB,uBAAuB,GACvB,eAAe,GACf,cAAc,GACd,WAAW,GACX,IAAI,CAAC,SAAS,EAAE,8BAA8B,CAAC,GAC/C,IAAI,CAAC,iBAAiB,EAAE,sBAAsB,GAAG,mBAAmB,GAAG,oBAAoB,CAAC,CAAC;AAE/F,eAAO,MAAM,uBAAuB,EAAE,kBAAkB,CAAC,eAAe,CA8LvE,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAAC,qBAAqB,CASnF,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,qBAAqB,CAExD"}

package/dest/config.js

@@ -1,11 +1,12 @@
 import { l1ContractsConfigMappings } from '@aztec/ethereum/config';
 import { l1ReaderConfigMappings } from '@aztec/ethereum/l1-reader';
-import { booleanConfigHelper, getConfigFromMappings, numberConfigHelper, pickConfigMappings } from '@aztec/foundation/config';
+import { booleanConfigHelper, floatConfigHelper, getConfigFromMappings, numberConfigHelper, optionalNumberConfigHelper, pickConfigMappings } from '@aztec/foundation/config';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import { keyStoreConfigMappings } from '@aztec/node-keystore/config';
 import { p2pConfigMappings } from '@aztec/p2p/config';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { chainConfigMappings, sharedSequencerConfigMappings } from '@aztec/stdlib/config';
+import { DEFAULT_BLOCK_DURATION_MS, DEFAULT_MAX_BLOCKS_PER_CHECKPOINT, chainConfigMappings, sharedSequencerConfigMappings } from '@aztec/stdlib/config';
+import { MIN_PER_BLOCK_ALLOCATION_MULTIPLIER, MIN_PER_BLOCK_DA_ALLOCATION_MULTIPLIER } from '@aztec/stdlib/gas';
 import { DEFAULT_P2P_PROPAGATION_TIME } from '@aztec/stdlib/timetable';
 import { validatorClientConfigMappings } from '@aztec/validator-client/config';
 import { sequencerPublisherConfigMappings, sequencerTxSenderConfigMappings } from './publisher/config.js';
@@ -18,21 +19,29 @@ export * from './publisher/config.js';
     minTxsPerBlock: 1,
     buildCheckpointIfEmpty: false,
     publishTxsWithProposals: false,
-    perBlockAllocationMultiplier: 2,
-    enforceTimeTable: true,
+    perBlockAllocationMultiplier: MIN_PER_BLOCK_ALLOCATION_MULTIPLIER,
+    perBlockDAAllocationMultiplier: MIN_PER_BLOCK_DA_ALLOCATION_MULTIPLIER,
+    redistributeCheckpointBudget: true,
+    blockDurationMs: DEFAULT_BLOCK_DURATION_MS,
+    l1PublishingTime: 12,
+    checkpointProposalSyncGraceSeconds: 2 * (DEFAULT_BLOCK_DURATION_MS / 1000),
     attestationPropagationTime: DEFAULT_P2P_PROPAGATION_TIME,
     secondsBeforeInvalidatingBlockAsCommitteeMember: 144,
     secondsBeforeInvalidatingBlockAsNonCommitteeMember: 432,
     skipCollectingAttestations: false,
     skipInvalidateBlockAsProposer: false,
+    skipWaitForValidParentCheckpointOnL1: false,
     broadcastInvalidBlockProposal: false,
+    broadcastInvalidCheckpointProposalOnly: false,
     injectFakeAttestation: false,
     injectHighSValueAttestation: false,
     injectUnrecoverableSignatureAttestation: false,
+    injectYParityAttestation: false,
     fishermanMode: false,
     shuffleAttestationOrdering: false,
     skipPushProposedBlocksToArchiver: false,
-    skipPublishingCheckpointsPercent: 0
+    skipPublishingCheckpointsPercent: 0,
+    maxBlocksPerCheckpoint: DEFAULT_MAX_BLOCKS_PER_CHECKPOINT
 };
 export const sequencerConfigMappings = {
     sequencerPollingIntervalMS: {
@@ -43,7 +52,7 @@ export const sequencerConfigMappings = {
     maxTxsPerCheckpoint: {
         env: 'SEQ_MAX_TX_PER_CHECKPOINT',
         description: 'The maximum number of txs across all blocks in a checkpoint.',
-        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
+        ...optionalNumberConfigHelper()
     },
     minTxsPerBlock: {
         env: 'SEQ_MIN_TX_PER_BLOCK',
@@ -61,26 +70,36 @@ export const sequencerConfigMappings = {
     maxL2BlockGas: {
         env: 'SEQ_MAX_L2_BLOCK_GAS',
         description: 'The maximum L2 block gas.',
-        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
+        ...optionalNumberConfigHelper()
     },
     maxDABlockGas: {
         env: 'SEQ_MAX_DA_BLOCK_GAS',
         description: 'The maximum DA block gas.',
-        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
+        ...optionalNumberConfigHelper()
     },
     perBlockAllocationMultiplier: {
         env: 'SEQ_PER_BLOCK_ALLOCATION_MULTIPLIER',
         description: 'Per-block gas budget multiplier for both L2 and DA gas. Budget per block is (checkpointLimit / maxBlocks) * multiplier.' + ' Values greater than one allow early blocks to use more than their even share, relying on checkpoint-level capping for later blocks.',
-        ...numberConfigHelper(DefaultSequencerConfig.perBlockAllocationMultiplier)
+        ...floatConfigHelper(DefaultSequencerConfig.perBlockAllocationMultiplier)
+    },
+    perBlockDAAllocationMultiplier: {
+        env: 'SEQ_PER_BLOCK_DA_ALLOCATION_MULTIPLIER',
+        description: 'Per-block budget multiplier applied to DA gas and blob fields in place of perBlockAllocationMultiplier.' + ' Defaults higher than the general multiplier so the largest contract class deploy fits a single block.',
+        ...floatConfigHelper(DefaultSequencerConfig.perBlockDAAllocationMultiplier)
+    },
+    redistributeCheckpointBudget: {
+        env: 'SEQ_REDISTRIBUTE_CHECKPOINT_BUDGET',
+        description: 'Redistribute remaining checkpoint budget evenly across remaining blocks instead of allowing a single block to consume the entire remaining budget.',
+        ...booleanConfigHelper(DefaultSequencerConfig.redistributeCheckpointBudget)
     },
     coinbase: {
         env: 'COINBASE',
-        parseEnv: (val)=>val ? EthAddress.fromString(val) : undefined,
+        parseEnv: (val)=>EthAddress.fromString(val),
         description: 'Recipient of block reward.'
     },
     feeRecipient: {
         env: 'FEE_RECIPIENT',
-        parseEnv: (val)=>AztecAddress.fromString(val),
+        parseEnv: (val)=>AztecAddress.fromStringUnsafe(val),
         description: 'Address to receive fees.'
     },
     acvmWorkingDirectory: {
@@ -91,11 +110,6 @@ export const sequencerConfigMappings = {
         env: 'ACVM_BINARY_PATH',
         description: 'The path to the ACVM binary'
     },
-    enforceTimeTable: {
-        env: 'SEQ_ENFORCE_TIME_TABLE',
-        description: 'Whether to enforce the time table when building blocks',
-        ...booleanConfigHelper(DefaultSequencerConfig.enforceTimeTable)
-    },
     governanceProposerPayload: {
         env: 'GOVERNANCE_PROPOSER_PAYLOAD_ADDRESS',
         description: 'The address of the payload for the governanceProposer',
@@ -103,13 +117,8 @@ export const sequencerConfigMappings = {
     },
     l1PublishingTime: {
         env: 'SEQ_L1_PUBLISHING_TIME_ALLOWANCE_IN_SLOT',
-        description: 'How much time (in seconds) we allow in the slot for publishing the L1 tx (defaults to 1 L1 slot).',
-        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
-    },
-    attestationPropagationTime: {
-        env: 'SEQ_ATTESTATION_PROPAGATION_TIME',
-        description: 'How many seconds it takes for proposals and attestations to travel across the p2p layer (one-way)',
-        ...numberConfigHelper(DefaultSequencerConfig.attestationPropagationTime)
+        description: 'How much time in seconds to allow in the slot for publishing the L1 transaction.',
+        ...numberConfigHelper(DefaultSequencerConfig.l1PublishingTime)
     },
     fakeProcessingDelayPerTxMs: {
         description: 'Used for testing to introduce a fake delay after processing each tx'
@@ -135,10 +144,22 @@ export const sequencerConfigMappings = {
         description: 'Do not invalidate the previous block if invalid when we are the proposer (for testing only)',
         ...booleanConfigHelper(DefaultSequencerConfig.skipInvalidateBlockAsProposer)
     },
+    skipWaitForValidParentCheckpointOnL1: {
+        description: 'Bypass the parent checkpoint validity check before submitting a pipelined checkpoint, ' + 'allowing the proposer to publish even when the parent landed on L1 with invalid attestations (for testing only)',
+        ...booleanConfigHelper(DefaultSequencerConfig.skipWaitForValidParentCheckpointOnL1)
+    },
     broadcastInvalidBlockProposal: {
         description: 'Broadcast invalid block proposals with corrupted state (for testing only)',
         ...booleanConfigHelper(DefaultSequencerConfig.broadcastInvalidBlockProposal)
     },
+    invalidBlockProposalIndexWithinCheckpoint: {
+        description: 'Broadcast an invalid block proposal only at this indexWithinCheckpoint (for testing only)',
+        ...optionalNumberConfigHelper()
+    },
+    broadcastInvalidCheckpointProposalOnly: {
+        description: 'Broadcast invalid checkpoint proposals while keeping the underlying block proposals valid (for testing only). When unset, the checkpoint follows broadcastInvalidBlockProposal.',
+        ...booleanConfigHelper(DefaultSequencerConfig.broadcastInvalidCheckpointProposalOnly)
+    },
     injectFakeAttestation: {
         description: 'Inject a fake attestation (for testing only)',
         ...booleanConfigHelper(DefaultSequencerConfig.injectFakeAttestation)
@@ -151,6 +172,10 @@ export const sequencerConfigMappings = {
         description: 'Inject an attestation with an unrecoverable signature (for testing only)',
         ...booleanConfigHelper(DefaultSequencerConfig.injectUnrecoverableSignatureAttestation)
     },
+    injectYParityAttestation: {
+        description: 'Inject a non-proposer attestation slot in yParity form in the packed L1 tuple (for testing only)',
+        ...booleanConfigHelper(DefaultSequencerConfig.injectYParityAttestation)
+    },
     fishermanMode: {
         env: 'FISHERMAN_MODE',
         description: 'Whether to run in fisherman mode: builds blocks on every slot for validation without publishing to L1',
@@ -167,7 +192,7 @@ export const sequencerConfigMappings = {
         ...booleanConfigHelper(DefaultSequencerConfig.buildCheckpointIfEmpty)
     },
     skipPushProposedBlocksToArchiver: {
-        description: 'Skip pushing proposed blocks to archiver (default: true)',
+        description: 'Skip pushing proposed blocks to archiver (test only)',
         ...booleanConfigHelper(DefaultSequencerConfig.skipPushProposedBlocksToArchiver)
     },
     minBlocksForCheckpoint: {
@@ -178,18 +203,29 @@ export const sequencerConfigMappings = {
         description: 'Percent probability (0 - 100) of sequencer skipping checkpoint publishing (testing only)',
         ...numberConfigHelper(DefaultSequencerConfig.skipPublishingCheckpointsPercent)
     },
+    skipBroadcastProposals: {
+        description: 'Skip broadcasting checkpoint and block proposals via gossipsub when proposer (for testing only)',
+        ...booleanConfigHelper(false)
+    },
+    skipBroadcastCheckpointProposal: {
+        description: 'Skip broadcasting only the CheckpointProposal via gossipsub when proposer; the held last block is broadcast ' + 'standalone instead so peers still receive it as a proposed-but-uncheckpointed tip (for testing only)',
+        ...booleanConfigHelper(false)
+    },
+    pauseProposingForSlots: {
+        description: 'List of slots for which the sequencer will not produce a proposal (for testing only). Attestation paths are unaffected.'
+    },
     ...pickConfigMappings(p2pConfigMappings, [
         'txPublicSetupAllowListExtend'
     ])
 };
 export const sequencerClientConfigMappings = {
+    ...chainConfigMappings,
     ...validatorClientConfigMappings,
     ...sequencerConfigMappings,
     ...keyStoreConfigMappings,
     ...l1ReaderConfigMappings,
     ...sequencerTxSenderConfigMappings,
     ...sequencerPublisherConfigMappings,
-    ...chainConfigMappings,
     ...pickConfigMappings(l1ContractsConfigMappings, [
         'ethereumSlotDuration',
         'aztecSlotDuration',

package/dest/global_variable_builder/fee_predictor.d.ts

@@ -0,0 +1,37 @@
+import { type RollupContract } from '@aztec/ethereum/contracts';
+import type { DateProvider } from '@aztec/foundation/timer';
+import { GasFees, ManaUsageEstimate } from '@aztec/stdlib/gas';
+/**
+ * Predicts min fees for LAG upcoming slots based on the L1 oracle state.
+ * A new oracle update can activate at startSlot + LAG, so only the first LAG entries
+ * are guaranteed stable. Caches L1 queries per L1 block and recomputes predictions
+ * for each mana usage estimate.
+ */
+export declare class FeePredictor {
+    private readonly rollupContract;
+    private readonly publicClient;
+    private readonly dateProvider;
+    private cachedState;
+    private cachedL1BlockNumber;
+    private readonly slotDuration;
+    private readonly l1GenesisTime;
+    private readonly ethereumSlotDuration;
+    constructor(rollupContract: RollupContract, publicClient: {
+        getBlockNumber: (opts?: {
+            cacheTime?: number;
+        }) => Promise<bigint>;
+    }, dateProvider: DateProvider, config: {
+        slotDuration: number;
+        l1GenesisTime: bigint;
+        ethereumSlotDuration: number;
+    });
+    /** Returns predicted min fees for each slot in the prediction window. */
+    getPredictedMinFees(manaUsage: ManaUsageEstimate): Promise<GasFees[]>;
+    private getState;
+    private fetchState;
+    /** Computes per-slot fee predictions given cached state and a mana usage assumption. */
+    private computePredictions;
+    private getAssumedManaUsed;
+    private computeGasFees;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmVlX3ByZWRpY3Rvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2dsb2JhbF92YXJpYWJsZV9idWlsZGVyL2ZlZV9wcmVkaWN0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFvRCxLQUFLLGNBQWMsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBR2xILE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRTVELE9BQU8sRUFFTCxPQUFPLEVBRVAsaUJBQWlCLEVBR2xCLE1BQU0sbUJBQW1CLENBQUM7QUFlM0I7Ozs7O0dBS0c7QUFDSCxxQkFBYSxZQUFZO0lBU3JCLE9BQU8sQ0FBQyxRQUFRLENBQUMsY0FBYztJQUMvQixPQUFPLENBQUMsUUFBUSxDQUFDLFlBQVk7SUFDN0IsT0FBTyxDQUFDLFFBQVEsQ0FBQyxZQUFZO0lBVi9CLE9BQU8sQ0FBQyxXQUFXLENBQXNDO0lBQ3pELE9BQU8sQ0FBQyxtQkFBbUIsQ0FBcUI7SUFFaEQsT0FBTyxDQUFDLFFBQVEsQ0FBQyxZQUFZLENBQVM7SUFDdEMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxhQUFhLENBQVM7SUFDdkMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxvQkFBb0IsQ0FBUztJQUU5QyxZQUNtQixjQUFjLEVBQUUsY0FBYyxFQUM5QixZQUFZLEVBQUU7UUFBRSxjQUFjLEVBQUUsQ0FBQyxJQUFJLENBQUMsRUFBRTtZQUFFLFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQTtTQUFFLEtBQUssT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUFBO0tBQUUsRUFDcEYsWUFBWSxFQUFFLFlBQVksRUFDM0MsTUFBTSxFQUFFO1FBQUUsWUFBWSxFQUFFLE1BQU0sQ0FBQztRQUFDLGFBQWEsRUFBRSxNQUFNLENBQUM7UUFBQyxvQkFBb0IsRUFBRSxNQUFNLENBQUE7S0FBRSxFQUt0RjtJQUVELHlFQUF5RTtJQUNuRSxtQkFBbUIsQ0FBQyxTQUFTLEVBQUUsaUJBQWlCLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBRzFFO1lBR2EsUUFBUTtZQW1CUixVQUFVO0lBaUR4Qix3RkFBd0Y7SUFDeEYsT0FBTyxDQUFDLGtCQUFrQjtJQXVCMUIsT0FBTyxDQUFDLGtCQUFrQjtJQVcxQixPQUFPLENBQUMsY0FBYztDQW1CdkIifQ==

package/dest/global_variable_builder/fee_predictor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fee_predictor.d.ts","sourceRoot":"","sources":["../../src/global_variable_builder/fee_predictor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoD,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGlH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAEL,OAAO,EAEP,iBAAiB,EAGlB,MAAM,mBAAmB,CAAC;AAe3B;;;;;GAKG;AACH,qBAAa,YAAY;IASrB,OAAO,CAAC,QAAQ,CAAC,cAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,OAAO,CAAC,QAAQ,CAAC,YAAY;IAV/B,OAAO,CAAC,WAAW,CAAsC;IACzD,OAAO,CAAC,mBAAmB,CAAqB;IAEhD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IACtC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IACvC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAS;IAE9C,YACmB,cAAc,EAAE,cAAc,EAC9B,YAAY,EAAE;QAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE;YAAE,SAAS,CAAC,EAAE,MAAM,CAAA;SAAE,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;KAAE,EACpF,YAAY,EAAE,YAAY,EAC3C,MAAM,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAC;QAAC,oBAAoB,EAAE,MAAM,CAAA;KAAE,EAKtF;IAED,yEAAyE;IACnE,mBAAmB,CAAC,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAG1E;YAGa,QAAQ;YAmBR,UAAU;IAiDxB,wFAAwF;IACxF,OAAO,CAAC,kBAAkB;IAuB1B,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,cAAc;CAmBvB"}

package/dest/global_variable_builder/fee_predictor.js

@@ -0,0 +1,138 @@
+import { MAX_FEE_ASSET_PRICE_MODIFIER_BPS } from '@aztec/ethereum/contracts';
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import { times } from '@aztec/foundation/collection';
+import { getSlotAtNextL1Block, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
+import { FEE_ORACLE_LAG, GasFees, MIN_ETH_PER_FEE_ASSET, ManaUsageEstimate, computeExcessMana, computeManaMinFee } from '@aztec/stdlib/gas';
+/**
+ * Predicts min fees for LAG upcoming slots based on the L1 oracle state.
+ * A new oracle update can activate at startSlot + LAG, so only the first LAG entries
+ * are guaranteed stable. Caches L1 queries per L1 block and recomputes predictions
+ * for each mana usage estimate.
+ */ export class FeePredictor {
+    rollupContract;
+    publicClient;
+    dateProvider;
+    cachedState;
+    cachedL1BlockNumber;
+    slotDuration;
+    l1GenesisTime;
+    ethereumSlotDuration;
+    constructor(rollupContract, publicClient, dateProvider, config){
+        this.rollupContract = rollupContract;
+        this.publicClient = publicClient;
+        this.dateProvider = dateProvider;
+        this.slotDuration = config.slotDuration;
+        this.l1GenesisTime = config.l1GenesisTime;
+        this.ethereumSlotDuration = config.ethereumSlotDuration;
+    }
+    /** Returns predicted min fees for each slot in the prediction window. */ async getPredictedMinFees(manaUsage) {
+        const state = await this.getState();
+        return this.computePredictions(state, manaUsage);
+    }
+    /** Fetches and caches rollup state. Refreshes when L1 block number advances. */ async getState() {
+        const blockNumber = await this.publicClient.getBlockNumber({
+            cacheTime: 0
+        });
+        if (this.cachedL1BlockNumber === undefined || blockNumber > this.cachedL1BlockNumber) {
+            this.cachedL1BlockNumber = blockNumber;
+            // Reset the cached block number on failure so a transient L1 RPC error does not leave a
+            // rejected promise cached for this block, which would replay the same rejection on every
+            // subsequent call until the next L1 block arrives. Only clear it if it still points at the
+            // block this attempt was for, so a stale rejection from an older block cannot wipe a marker
+            // a newer call already advanced (which would also defeat the monotonic block-number guard).
+            this.cachedState = this.fetchState(blockNumber).catch((err)=>{
+                if (this.cachedL1BlockNumber === blockNumber) {
+                    this.cachedL1BlockNumber = undefined;
+                }
+                throw err;
+            });
+        }
+        return this.cachedState;
+    }
+    async fetchState(blockNumber) {
+        // Pin all non-constant queries to this L1 block number for a consistent snapshot.
+        const opts = {
+            blockNumber
+        };
+        // Cached constants don't need pinning
+        const [manaTarget, manaLimit, provingCostPerManaEth, epochDuration] = await Promise.all([
+            this.rollupContract.getManaTarget(),
+            this.rollupContract.getManaLimit(),
+            this.rollupContract.getProvingCostPerMana(),
+            this.rollupContract.getEpochDuration()
+        ]);
+        // First, compute the earliest possible nextSlot independently of the checkpoint, so we can
+        // evaluate pruneability at the prediction start timestamp instead of the current L1 block time.
+        // This avoids an epoch-boundary edge case where the effective parent differs between now and nextSlot.
+        const slotConfig = {
+            slotDuration: this.slotDuration,
+            l1GenesisTime: this.l1GenesisTime
+        };
+        const currentSlot = await this.rollupContract.getSlotNumber(opts);
+        const slotAtNextL1Block = getSlotAtNextL1Block(BigInt(this.dateProvider.nowInSeconds()), {
+            l1GenesisTime: this.l1GenesisTime,
+            slotDuration: this.slotDuration,
+            ethereumSlotDuration: this.ethereumSlotDuration
+        });
+        const preliminaryNextSlot = SlotNumber(Math.max(currentSlot, slotAtNextL1Block));
+        const nextSlotTimestamp = getTimestampForSlot(preliminaryNextSlot, slotConfig);
+        // Resolve the effective checkpoint at the prediction start timestamp
+        const lastCheckpoint = await this.rollupContract.getEffectivePendingCheckpoint(nextSlotTimestamp, opts);
+        const lastSlot = lastCheckpoint.slotNumber;
+        // Refine nextSlot: also account for the slot after the last checkpoint
+        const nextSlot = SlotNumber(Math.max(SlotNumber.add(lastSlot, 1), preliminaryNextSlot));
+        const feeHeader = lastCheckpoint.feeHeader;
+        const slotCount = FEE_ORACLE_LAG;
+        const timestamps = times(slotCount, (i)=>getTimestampForSlot(SlotNumber.add(nextSlot, i), slotConfig));
+        const l1FeesBySlot = await Promise.all(timestamps.map((ts)=>this.rollupContract.getL1FeesAt(ts, opts)));
+        return {
+            lastSlot,
+            excessMana: computeExcessMana(feeHeader.excessMana, feeHeader.manaUsed, manaTarget),
+            ethPerFeeAsset: feeHeader.ethPerFeeAsset,
+            manaTarget,
+            manaLimit,
+            provingCostPerManaEth,
+            epochDuration: BigInt(epochDuration),
+            l1FeesBySlot
+        };
+    }
+    /** Computes per-slot fee predictions given cached state and a mana usage assumption. */ computePredictions(state, manaUsage) {
+        const assumedManaUsed = this.getAssumedManaUsed(state, manaUsage);
+        const result = [];
+        let { excessMana } = state;
+        let { ethPerFeeAsset } = state;
+        // Slot 0: current state (next available slot after last checkpoint)
+        result.push(this.computeGasFees(state, excessMana, ethPerFeeAsset, state.l1FeesBySlot[0]));
+        // Slots 1..LAG-1: advance excessMana with the assumed mana usage per checkpoint,
+        // and decay ethPerFeeAsset by MAX_FEE_ASSET_PRICE_MODIFIER_BPS per slot for conservative estimates.
+        // Lower ethPerFeeAsset means higher fees in fee asset terms.
+        for(let i = 1; i < state.l1FeesBySlot.length; i++){
+            excessMana = computeExcessMana(excessMana, assumedManaUsed, state.manaTarget);
+            const decayed = ethPerFeeAsset * (10000n - MAX_FEE_ASSET_PRICE_MODIFIER_BPS) / 10000n;
+            ethPerFeeAsset = decayed < MIN_ETH_PER_FEE_ASSET ? MIN_ETH_PER_FEE_ASSET : decayed;
+            result.push(this.computeGasFees(state, excessMana, ethPerFeeAsset, state.l1FeesBySlot[i]));
+        }
+        return result;
+    }
+    getAssumedManaUsed(state, manaUsage) {
+        switch(manaUsage){
+            case ManaUsageEstimate.None:
+                return 0n;
+            case ManaUsageEstimate.Target:
+                return state.manaTarget;
+            case ManaUsageEstimate.Limit:
+                return state.manaLimit;
+        }
+    }
+    computeGasFees(state, excessMana, ethPerFeeAsset, l1Fees) {
+        return new GasFees(0, computeManaMinFee({
+            l1BaseFee: l1Fees.baseFee,
+            l1BlobFee: l1Fees.blobFee,
+            manaTarget: state.manaTarget,
+            epochDuration: state.epochDuration,
+            provingCostPerManaEth: state.provingCostPerManaEth,
+            excessMana,
+            ethPerFeeAsset
+        }));
+    }
+}