@aztec-labs/sequencer-client 6.0.0-nightly.20260829

package/dest/sequencer/checkpoint_proposal_job_metrics.d.ts

@@ -0,0 +1,34 @@
+import { type TelemetryClient } from '@aztec-labs/telemetry-client';
+/**
+ * Per-job recording surface used by {@link CheckpointProposalJob}.
+ *
+ * Ownership split:
+ * - {@link CheckpointProposalJobMetrics} owns the OpenTelemetry meter and instruments and should live for the
+ *   lifetime of the sequencer process.
+ * - A recorder owns only mutable timing state for one checkpoint proposal job so overlapping jobs cannot
+ *   overwrite each other's timing markers.
+ */
+export interface CheckpointProposalJobMetricsRecorder {
+    recordCheckpointAttestationDelay(durationMs: number): void;
+    recordCheckpointBuild(durationMs: number, blockCount: number, txCount: number, totalMana: number): void;
+    recordPipelinedCheckpointBuildStartOffsetFromSlotBoundary(offsetMs: number): void;
+    startCheckpointTiming(nowMs: number): void;
+    noteCheckpointBlockBuilt(nowMs: number, opts: {
+        isFirstBlock: boolean;
+        isLastBlock: boolean;
+    }): void;
+    noteCheckpointBroadcast(nowMs: number): void;
+}
+/**
+ * Long-lived owner of checkpoint proposal job telemetry instruments.
+ *
+ * The sequencer should construct this once and reuse it across jobs. Each call to {@link createRecorder} returns a
+ * lightweight recorder with isolated mutable state for a single checkpoint proposal job.
+ */
+export declare class CheckpointProposalJobMetrics {
+    private readonly meter;
+    private readonly instruments;
+    constructor(client: TelemetryClient, name?: string);
+    createRecorder(): CheckpointProposalJobMetricsRecorder;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9wcm9wb3NhbF9qb2JfbWV0cmljcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NlcXVlbmNlci9jaGVja3BvaW50X3Byb3Bvc2FsX2pvYl9tZXRyaWNzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFNTCxLQUFLLGVBQWUsRUFDckIsTUFBTSw4QkFBOEIsQ0FBQztBQWF0Qzs7Ozs7Ozs7R0FRRztBQUNILE1BQU0sV0FBVyxvQ0FBb0M7SUFDbkQsZ0NBQWdDLENBQUMsVUFBVSxFQUFFLE1BQU0sR0FBRyxJQUFJLENBQUM7SUFDM0QscUJBQXFCLENBQUMsVUFBVSxFQUFFLE1BQU0sRUFBRSxVQUFVLEVBQUUsTUFBTSxFQUFFLE9BQU8sRUFBRSxNQUFNLEVBQUUsU0FBUyxFQUFFLE1BQU0sR0FBRyxJQUFJLENBQUM7SUFDeEcseURBQXlELENBQUMsUUFBUSxFQUFFLE1BQU0sR0FBRyxJQUFJLENBQUM7SUFDbEYscUJBQXFCLENBQUMsS0FBSyxFQUFFLE1BQU0sR0FBRyxJQUFJLENBQUM7SUFDM0Msd0JBQXdCLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUU7UUFBRSxZQUFZLEVBQUUsT0FBTyxDQUFDO1FBQUMsV0FBVyxFQUFFLE9BQU8sQ0FBQTtLQUFFLEdBQUcsSUFBSSxDQUFDO0lBQ3JHLHVCQUF1QixDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsSUFBSSxDQUFDO0NBQzlDO0FBMEREOzs7OztHQUtHO0FBQ0gscUJBQWEsNEJBQTRCO0lBQ3ZDLE9BQU8sQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFRO0lBQzlCLE9BQU8sQ0FBQyxRQUFRLENBQUMsV0FBVyxDQUFtQztJQUUvRCxZQUFZLE1BQU0sRUFBRSxlQUFlLEVBQUUsSUFBSSxTQUEwQixFQWtCbEU7SUFFTSxjQUFjLElBQUksb0NBQW9DLENBRTVEO0NBQ0YifQ==

package/dest/sequencer/checkpoint_proposal_job_metrics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_proposal_job_metrics.d.ts","sourceRoot":"","sources":["../../src/sequencer/checkpoint_proposal_job_metrics.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,KAAK,eAAe,EACrB,MAAM,8BAA8B,CAAC;AAatC;;;;;;;;GAQG;AACH,MAAM,WAAW,oCAAoC;IACnD,gCAAgC,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3D,qBAAqB,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACxG,yDAAyD,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAClF,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3C,wBAAwB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE;QAAE,YAAY,EAAE,OAAO,CAAC;QAAC,WAAW,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC;IACrG,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9C;AA0DD;;;;;GAKG;AACH,qBAAa,4BAA4B;IACvC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAQ;IAC9B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAmC;IAE/D,YAAY,MAAM,EAAE,eAAe,EAAE,IAAI,SAA0B,EAkBlE;IAEM,cAAc,IAAI,oCAAoC,CAE5D;CACF"}

package/dest/sequencer/checkpoint_proposal_job_metrics.js

@@ -0,0 +1,72 @@
+import { Attributes, Metrics } from '@aztec-labs/telemetry-client';
+/**
+ * Concrete per-job recorder.
+ *
+ * This class should be short-lived: create one recorder per checkpoint proposal job and discard it when the job
+ * completes. It intentionally does not create instruments; it only holds the job-local timestamps needed to derive
+ * timing metrics safely.
+ */ class CheckpointProposalJobMetricsRecorderImpl {
+    instruments;
+    checkpointStartedAt;
+    checkpointLastBlockBuiltAt;
+    constructor(instruments){
+        this.instruments = instruments;
+    }
+    recordCheckpointAttestationDelay(durationMs) {
+        this.instruments.checkpointAttestationDelay.record(Math.ceil(durationMs));
+    }
+    recordCheckpointBuild(durationMs, blockCount, txCount, totalMana) {
+        this.instruments.checkpointBuildDuration.record(Math.ceil(durationMs));
+        this.instruments.checkpointBlockCount.record(blockCount);
+        this.instruments.checkpointTxCount.record(txCount);
+        this.instruments.checkpointTotalMana.record(totalMana);
+    }
+    recordPipelinedCheckpointBuildStartOffsetFromSlotBoundary(offsetMs) {
+        this.instruments.pipelinedCheckpointBuildStartOffsetFromSlotBoundary.record(Math.ceil(Math.abs(offsetMs)), {
+            [Attributes.SLOT_BOUNDARY_SIDE]: offsetMs < 0 ? 'before' : 'after'
+        });
+    }
+    startCheckpointTiming(nowMs) {
+        this.checkpointStartedAt = nowMs;
+        this.checkpointLastBlockBuiltAt = undefined;
+    }
+    noteCheckpointBlockBuilt(nowMs, opts) {
+        if (opts.isFirstBlock && this.checkpointStartedAt !== undefined) {
+            this.instruments.checkpointStartToFirstBlockDuration.record(Math.ceil(nowMs - this.checkpointStartedAt));
+        }
+        if (opts.isLastBlock) {
+            this.checkpointLastBlockBuiltAt = nowMs;
+        }
+    }
+    noteCheckpointBroadcast(nowMs) {
+        if (this.checkpointLastBlockBuiltAt !== undefined) {
+            this.instruments.checkpointLastBlockToBroadcastDuration.record(Math.ceil(nowMs - this.checkpointLastBlockBuiltAt));
+        }
+        this.checkpointLastBlockBuiltAt = undefined;
+    }
+}
+/**
+ * Long-lived owner of checkpoint proposal job telemetry instruments.
+ *
+ * The sequencer should construct this once and reuse it across jobs. Each call to {@link createRecorder} returns a
+ * lightweight recorder with isolated mutable state for a single checkpoint proposal job.
+ */ export class CheckpointProposalJobMetrics {
+    meter;
+    instruments;
+    constructor(client, name = 'CheckpointProposalJob'){
+        this.meter = client.getMeter(name);
+        this.instruments = {
+            checkpointAttestationDelay: this.meter.createHistogram(Metrics.SEQUENCER_CHECKPOINT_ATTESTATION_DELAY),
+            checkpointBuildDuration: this.meter.createHistogram(Metrics.SEQUENCER_CHECKPOINT_BUILD_DURATION),
+            checkpointStartToFirstBlockDuration: this.meter.createHistogram(Metrics.SEQUENCER_CHECKPOINT_START_TO_FIRST_BLOCK_DURATION),
+            checkpointLastBlockToBroadcastDuration: this.meter.createHistogram(Metrics.SEQUENCER_CHECKPOINT_LAST_BLOCK_TO_BROADCAST_DURATION),
+            pipelinedCheckpointBuildStartOffsetFromSlotBoundary: this.meter.createHistogram(Metrics.SEQUENCER_PIPELINED_CHECKPOINT_BUILD_START_OFFSET_FROM_SLOT_BOUNDARY),
+            checkpointBlockCount: this.meter.createGauge(Metrics.SEQUENCER_CHECKPOINT_BLOCK_COUNT),
+            checkpointTxCount: this.meter.createGauge(Metrics.SEQUENCER_CHECKPOINT_TX_COUNT),
+            checkpointTotalMana: this.meter.createGauge(Metrics.SEQUENCER_CHECKPOINT_TOTAL_MANA)
+        };
+    }
+    createRecorder() {
+        return new CheckpointProposalJobMetricsRecorderImpl(this.instruments);
+    }
+}

package/dest/sequencer/checkpoint_voter.d.ts

@@ -0,0 +1,34 @@
+import type { SlotNumber } from '@aztec-labs/foundation/branded-types';
+import type { EthAddress } from '@aztec-labs/foundation/eth-address';
+import type { Logger } from '@aztec-labs/foundation/log';
+import type { SlasherClientInterface } from '@aztec-labs/slasher';
+import type { ResolvedSequencerConfig } from '@aztec-labs/stdlib/interfaces/server';
+import type { ValidatorClient } from '@aztec-labs/validator-client';
+import type { SequencerPublisher } from '../publisher/sequencer-publisher.js';
+import type { SequencerMetrics } from './metrics.js';
+import type { SequencerRollupConstants } from './types.js';
+/**
+ * Handles governance and slashing voting for a given slot.
+ */
+export declare class CheckpointVoter {
+    private readonly slot;
+    private readonly publisher;
+    private readonly attestorAddress;
+    private readonly validatorClient;
+    private readonly slasherClient;
+    private readonly l1Constants;
+    private readonly config;
+    private readonly metrics;
+    private readonly log;
+    private governanceSigner;
+    private slashingSigner;
+    constructor(slot: SlotNumber, publisher: SequencerPublisher, attestorAddress: EthAddress, validatorClient: ValidatorClient, slasherClient: SlasherClientInterface | undefined, l1Constants: SequencerRollupConstants, config: ResolvedSequencerConfig, metrics: SequencerMetrics, log: Logger);
+    /**
+     * Enqueues governance and slashing votes with the publisher.
+     * Returns a tuple of promises that resolve to whether each vote was successfully enqueued.
+     */
+    enqueueVotes(): [Promise<boolean | undefined>, Promise<boolean | undefined>];
+    private enqueueGovernanceVote;
+    private enqueueSlashingVote;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF92b3Rlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NlcXVlbmNlci9jaGVja3BvaW50X3ZvdGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBQ3ZFLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBQ3JFLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDbEUsT0FBTyxLQUFLLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUNwRixPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUtwRSxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBQzlFLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sY0FBYyxDQUFDO0FBQ3JELE9BQU8sS0FBSyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sWUFBWSxDQUFDO0FBRTNEOztHQUVHO0FBQ0gscUJBQWEsZUFBZTtJQUt4QixPQUFPLENBQUMsUUFBUSxDQUFDLElBQUk7SUFDckIsT0FBTyxDQUFDLFFBQVEsQ0FBQyxTQUFTO0lBQzFCLE9BQU8sQ0FBQyxRQUFRLENBQUMsZUFBZTtJQUNoQyxPQUFPLENBQUMsUUFBUSxDQUFDLGVBQWU7SUFDaEMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxhQUFhO0lBQzlCLE9BQU8sQ0FBQyxRQUFRLENBQUMsV0FBVztJQUM1QixPQUFPLENBQUMsUUFBUSxDQUFDLE1BQU07SUFDdkIsT0FBTyxDQUFDLFFBQVEsQ0FBQyxPQUFPO0lBQ3hCLE9BQU8sQ0FBQyxRQUFRLENBQUMsR0FBRztJQVp0QixPQUFPLENBQUMsZ0JBQWdCLENBQXVEO0lBQy9FLE9BQU8sQ0FBQyxjQUFjLENBQXVEO0lBRTdFLFlBQ21CLElBQUksRUFBRSxVQUFVLEVBQ2hCLFNBQVMsRUFBRSxrQkFBa0IsRUFDN0IsZUFBZSxFQUFFLFVBQVUsRUFDM0IsZUFBZSxFQUFFLGVBQWUsRUFDaEMsYUFBYSxFQUFFLHNCQUFzQixHQUFHLFNBQVMsRUFDakQsV0FBVyxFQUFFLHdCQUF3QixFQUNyQyxNQUFNLEVBQUUsdUJBQXVCLEVBQy9CLE9BQU8sRUFBRSxnQkFBZ0IsRUFDekIsR0FBRyxFQUFFLE1BQU0sRUFXN0I7SUFFRDs7O09BR0c7SUFDSCxZQUFZLElBQUksQ0FBQyxPQUFPLENBQUMsT0FBTyxHQUFHLFNBQVMsQ0FBQyxFQUFFLE9BQU8sQ0FBQyxPQUFPLEdBQUcsU0FBUyxDQUFDLENBQUMsQ0FVM0U7WUFFYSxxQkFBcUI7WUErQnJCLG1CQUFtQjtDQTJCbEMifQ==

package/dest/sequencer/checkpoint_voter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_voter.d.ts","sourceRoot":"","sources":["../../src/sequencer/checkpoint_voter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAKpE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAE3D;;GAEG;AACH,qBAAa,eAAe;IAKxB,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,GAAG;IAZtB,OAAO,CAAC,gBAAgB,CAAuD;IAC/E,OAAO,CAAC,cAAc,CAAuD;IAE7E,YACmB,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,kBAAkB,EAC7B,eAAe,EAAE,UAAU,EAC3B,eAAe,EAAE,eAAe,EAChC,aAAa,EAAE,sBAAsB,GAAG,SAAS,EACjD,WAAW,EAAE,wBAAwB,EACrC,MAAM,EAAE,uBAAuB,EAC/B,OAAO,EAAE,gBAAgB,EACzB,GAAG,EAAE,MAAM,EAW7B;IAED;;;OAGG;IACH,YAAY,IAAI,CAAC,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC,CAU3E;YAEa,qBAAqB;YA+BrB,mBAAmB;CA2BlC"}

package/dest/sequencer/checkpoint_voter.js

@@ -0,0 +1,106 @@
+import { DutyAlreadySignedError } from '@aztec-labs/validator-ha-signer/errors';
+import { DutyType } from '@aztec-labs/validator-ha-signer/types';
+/**
+ * Handles governance and slashing voting for a given slot.
+ */ export class CheckpointVoter {
+    slot;
+    publisher;
+    attestorAddress;
+    validatorClient;
+    slasherClient;
+    l1Constants;
+    config;
+    metrics;
+    log;
+    governanceSigner;
+    slashingSigner;
+    constructor(slot, publisher, attestorAddress, validatorClient, slasherClient, l1Constants, config, metrics, log){
+        this.slot = slot;
+        this.publisher = publisher;
+        this.attestorAddress = attestorAddress;
+        this.validatorClient = validatorClient;
+        this.slasherClient = slasherClient;
+        this.l1Constants = l1Constants;
+        this.config = config;
+        this.metrics = metrics;
+        this.log = log;
+        // Create separate signers with appropriate duty contexts for governance and slashing votes
+        // These use HA protection to ensure only one node signs per slot/duty
+        const governanceContext = {
+            slot: this.slot,
+            dutyType: DutyType.GOVERNANCE_VOTE
+        };
+        this.governanceSigner = (msg)=>this.validatorClient.signWithAddress(this.attestorAddress, msg, governanceContext).then((s)=>s.toString());
+        const slashingContext = {
+            slot: this.slot,
+            dutyType: DutyType.SLASHING_VOTE
+        };
+        this.slashingSigner = (msg)=>this.validatorClient.signWithAddress(this.attestorAddress, msg, slashingContext).then((s)=>s.toString());
+    }
+    /**
+   * Enqueues governance and slashing votes with the publisher.
+   * Returns a tuple of promises that resolve to whether each vote was successfully enqueued.
+   */ enqueueVotes() {
+        try {
+            const enqueueGovernancePromise = this.enqueueGovernanceVote();
+            const enqueueSlashingPromise = this.enqueueSlashingVote();
+            return [
+                enqueueGovernancePromise,
+                enqueueSlashingPromise
+            ];
+        } catch (err) {
+            this.log.error(`Error enqueueing governance and slashing votes`, err);
+            return [
+                Promise.resolve(false),
+                Promise.resolve(false)
+            ];
+        }
+    }
+    async enqueueGovernanceVote() {
+        const governanceProposerPayload = this.config.governanceProposerPayload;
+        if (!governanceProposerPayload || governanceProposerPayload.isZero()) {
+            return undefined;
+        }
+        this.log.info(`Enqueuing vote for ${governanceProposerPayload} governance for slot ${this.slot}`, {
+            slot: this.slot,
+            governanceProposerPayload: governanceProposerPayload.toString()
+        });
+        try {
+            return await this.publisher.enqueueGovernanceCastSignal(governanceProposerPayload, this.slot, this.attestorAddress, this.governanceSigner);
+        } catch (err) {
+            if (err instanceof DutyAlreadySignedError) {
+                this.log.info(`Governance vote already signed by another node`, {
+                    slot: this.slot,
+                    signedByNode: err.signedByNode
+                });
+            } else {
+                this.log.error(`Error enqueueing governance vote`, err);
+            }
+            return false;
+        }
+    }
+    async enqueueSlashingVote() {
+        try {
+            const actions = await this.slasherClient?.getProposerActions(this.slot);
+            if (!actions || actions.length === 0) {
+                return undefined;
+            }
+            this.log.info(`Enqueuing vote for ${actions.length} slashing actions for slot ${this.slot}`, {
+                slot: this.slot,
+                actionCount: actions.length
+            });
+            this.metrics.recordSlashingAttempt(actions.length);
+            return await this.publisher.enqueueSlashingActions(actions, this.slot, this.attestorAddress, this.slashingSigner);
+        } catch (err) {
+            if (err instanceof DutyAlreadySignedError) {
+                this.log.info(`Slashing vote already signed by another node`, {
+                    slot: this.slot,
+                    signedByNode: err.signedByNode
+                });
+            } else {
+                this.log.error(`Error enqueueing slashing vote`, err);
+            }
+            return false;
+        }
+    }
+}

package/dest/sequencer/config.d.ts

@@ -0,0 +1,8 @@
+import type { GovernanceProposerContract } from '@aztec-labs/ethereum/contracts';
+import type { RollupContract } from '@aztec-labs/ethereum/contracts/rollup';
+export { type SequencerConfig } from '@aztec-labs/stdlib/config';
+export type SequencerContracts = {
+    rollupContract: RollupContract;
+    governanceProposerContract: GovernanceProposerContract;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uZmlnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2VxdWVuY2VyL2NvbmZpZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSwwQkFBMEIsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLHVDQUF1QyxDQUFDO0FBRTVFLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRWpFLE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQixjQUFjLEVBQUUsY0FBYyxDQUFDO0lBQy9CLDBCQUEwQixFQUFFLDBCQUEwQixDQUFDO0NBQ3hELENBQUMifQ==

package/dest/sequencer/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/sequencer/config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAE5E,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAEjE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,cAAc,EAAE,cAAc,CAAC;IAC/B,0BAA0B,EAAE,0BAA0B,CAAC;CACxD,CAAC"}

package/dest/sequencer/config.js

@@ -0,0 +1 @@
+export { };

package/dest/sequencer/errors.d.ts

@@ -0,0 +1,11 @@
+import type { SequencerState } from './utils.js';
+export declare class SequencerTooSlowError extends Error {
+    readonly proposedState: SequencerState;
+    readonly maxAllowedTime: number;
+    readonly currentTime: number;
+    constructor(proposedState: SequencerState, maxAllowedTime: number, currentTime: number);
+}
+export declare class SequencerInterruptedError extends Error {
+    constructor();
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2VxdWVuY2VyL2Vycm9ycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFFakQscUJBQWEscUJBQXNCLFNBQVEsS0FBSzthQUU1QixhQUFhLEVBQUUsY0FBYzthQUM3QixjQUFjLEVBQUUsTUFBTTthQUN0QixXQUFXLEVBQUUsTUFBTTtJQUhyQyxZQUNrQixhQUFhLEVBQUUsY0FBYyxFQUM3QixjQUFjLEVBQUUsTUFBTSxFQUN0QixXQUFXLEVBQUUsTUFBTSxFQU1wQztDQUNGO0FBRUQscUJBQWEseUJBQTBCLFNBQVEsS0FBSztJQUNsRCxjQUdDO0NBQ0YifQ==

package/dest/sequencer/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/sequencer/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,qBAAa,qBAAsB,SAAQ,KAAK;aAE5B,aAAa,EAAE,cAAc;aAC7B,cAAc,EAAE,MAAM;aACtB,WAAW,EAAE,MAAM;IAHrC,YACkB,aAAa,EAAE,cAAc,EAC7B,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,MAAM,EAMpC;CACF;AAED,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,cAGC;CACF"}

package/dest/sequencer/errors.js

@@ -0,0 +1,15 @@
+export class SequencerTooSlowError extends Error {
+    proposedState;
+    maxAllowedTime;
+    currentTime;
+    constructor(proposedState, maxAllowedTime, currentTime){
+        super(`Too far into slot for ${proposedState} (time into slot ${currentTime}s greater than ${maxAllowedTime}s allowance)`), this.proposedState = proposedState, this.maxAllowedTime = maxAllowedTime, this.currentTime = currentTime;
+        this.name = 'SequencerTooSlowError';
+    }
+}
+export class SequencerInterruptedError extends Error {
+    constructor(){
+        super(`Sequencer was interrupted`);
+        this.name = 'SequencerInterruptedError';
+    }
+}

package/dest/sequencer/events.d.ts

@@ -0,0 +1,103 @@
+import type { BlockNumber, CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import type { BlockHash } from '@aztec-labs/stdlib/block';
+import type { Action } from '../publisher/sequencer-publisher.js';
+import type { SequencerState } from './utils.js';
+export type SequencerEvents = {
+    /**
+     * Emitted on every sequencer state transition (including no-op transitions to the same state). The
+     * timing fields are anchored to the build frame of the slot being proposed for, not to wall-clock
+     * slot boundaries, because the proposer builds for `targetSlot` during the previous (build) slot.
+     *
+     * - `oldState` / `newState` are the previous and new {@link SequencerState}.
+     * - `secondsIntoBuildFrame` is the wall-clock seconds elapsed since the build-frame start of
+     *   `targetSlot` (`now − getBuildFrameStart(targetSlot)`). Undefined for lifecycle states with no
+     *   associated slot (e.g. IDLE/STOPPING). It can be negative if the transition happens before the
+     *   build frame opens.
+     * - `targetSlot` is the slot the checkpoint is being proposed for (the submission slot, one ahead of
+     *   the wall-clock build slot under pipelining). Undefined for lifecycle states with no slot.
+     */
+    ['state-changed']: (args: {
+        oldState: SequencerState;
+        newState: SequencerState;
+        secondsIntoBuildFrame?: number;
+        targetSlot?: SlotNumber;
+    }) => void;
+    /**
+     * Emitted by the sequencer once it has decided it is going to attempt to build a
+     * checkpoint for `targetSlot`, after computing the L1 simulation overrides used by
+     * `canProposeAt`. Fired BEFORE the L1 simulation is run, so consumers can observe the
+     * decision regardless of whether the propose ultimately lands.
+     *
+     * - `hadProposedParent` indicates whether the build saw a proposed (pipelined) parent
+     *   checkpoint that hasn't landed on L1 yet.
+     * - `provenOverride` is the assumed proven checkpoint number pinned for the L1
+     *   simulation. The plan always pins both chain tips to short-circuit `canPruneAtTime`,
+     *   so this is populated whenever a simulation plan was built — the value either
+     *   matches the on-chain proven snapshot (defensive pin) or the assumed-proven
+     *   checkpoint when building optimistically across a pruning boundary.
+     * - `simulatedPending` is the pending checkpoint passed to L1 simulation. The plan
+     *   always pins both chain tips to short-circuit `canPruneAtTime`, so this reflects
+     *   either the pipelined/invalidated tip or the on-chain pending snapshot.
+     */
+    ['preparing-checkpoint']: (args: {
+        targetSlot: SlotNumber;
+        checkpointNumber: CheckpointNumber;
+        hadProposedParent: boolean;
+        provenOverride: CheckpointNumber | undefined;
+        simulatedPending: CheckpointNumber | undefined;
+    }) => void;
+    ['proposer-rollup-check-failed']: (args: {
+        reason: string;
+        slot: SlotNumber;
+    }) => void;
+    ['block-tx-count-check-failed']: (args: {
+        minTxs: number;
+        slot: SlotNumber;
+    }) => void;
+    ['block-build-failed']: (args: {
+        reason: string;
+        slot: SlotNumber;
+    }) => void;
+    ['block-proposed']: (args: {
+        blockNumber: BlockNumber;
+        blockHash: BlockHash;
+        checkpointNumber: CheckpointNumber;
+        indexWithinCheckpoint: IndexWithinCheckpoint;
+        slot: SlotNumber;
+        buildSlot: SlotNumber;
+    }) => void;
+    ['checkpoint-empty']: (args: {
+        slot: SlotNumber;
+    }) => void;
+    /**
+     * Emitted when the proposer's pre-broadcast `validateCheckpointHeader` simulation fails. This is a
+     * last-chance check before we gossip a checkpoint proposal: a failure here means the header
+     * would not be accepted by L1 (e.g. archive mismatch, stale chain tip, or some other state
+     * drift between when we built the checkpoint and when we are about to broadcast it).
+     */
+    ['header-validation-failed']: (args: {
+        slot: SlotNumber;
+        checkpointNumber: CheckpointNumber;
+        reason: string;
+    }) => void;
+    ['checkpoint-publish-failed']: (args: {
+        slot: SlotNumber;
+        successfulActions?: Action[];
+        failedActions?: Action[];
+        sentActions?: Action[];
+        expiredActions?: Action[];
+    }) => void;
+    ['checkpoint-published']: (args: {
+        checkpoint: CheckpointNumber;
+        slot: SlotNumber;
+    }) => void;
+    ['checkpoint-error']: (args: {
+        error: Error;
+    }) => void;
+    ['pipelined-checkpoint-discarded']: (args: {
+        slot: SlotNumber;
+        checkpointNumber: CheckpointNumber;
+        reason: string;
+    }) => void;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXZlbnRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2VxdWVuY2VyL2V2ZW50cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFDVixXQUFXLEVBQ1gsZ0JBQWdCLEVBQ2hCLHFCQUFxQixFQUNyQixVQUFVLEVBQ1gsTUFBTSxzQ0FBc0MsQ0FBQztBQUM5QyxPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUUxRCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUNsRSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFFakQsTUFBTSxNQUFNLGVBQWUsR0FBRztJQUM1Qjs7Ozs7Ozs7Ozs7O09BWUc7SUFDSCxDQUFDLGVBQWUsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFO1FBQ3hCLFFBQVEsRUFBRSxjQUFjLENBQUM7UUFDekIsUUFBUSxFQUFFLGNBQWMsQ0FBQztRQUN6QixxQkFBcUIsQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUMvQixVQUFVLENBQUMsRUFBRSxVQUFVLENBQUM7S0FDekIsS0FBSyxJQUFJLENBQUM7SUFDWDs7Ozs7Ozs7Ozs7Ozs7OztPQWdCRztJQUNILENBQUMsc0JBQXNCLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRTtRQUMvQixVQUFVLEVBQUUsVUFBVSxDQUFDO1FBQ3ZCLGdCQUFnQixFQUFFLGdCQUFnQixDQUFDO1FBQ25DLGlCQUFpQixFQUFFLE9BQU8sQ0FBQztRQUMzQixjQUFjLEVBQUUsZ0JBQWdCLEdBQUcsU0FBUyxDQUFDO1FBQzdDLGdCQUFnQixFQUFFLGdCQUFnQixHQUFHLFNBQVMsQ0FBQztLQUNoRCxLQUFLLElBQUksQ0FBQztJQUNYLENBQUMsOEJBQThCLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRTtRQUFFLE1BQU0sRUFBRSxNQUFNLENBQUM7UUFBQyxJQUFJLEVBQUUsVUFBVSxDQUFBO0tBQUUsS0FBSyxJQUFJLENBQUM7SUFDdkYsQ0FBQyw2QkFBNkIsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFO1FBQUUsTUFBTSxFQUFFLE1BQU0sQ0FBQztRQUFDLElBQUksRUFBRSxVQUFVLENBQUE7S0FBRSxLQUFLLElBQUksQ0FBQztJQUN0RixDQUFDLG9CQUFvQixDQUFDLEVBQUUsQ0FBQyxJQUFJLEVBQUU7UUFBRSxNQUFNLEVBQUUsTUFBTSxDQUFDO1FBQUMsSUFBSSxFQUFFLFVBQVUsQ0FBQTtLQUFFLEtBQUssSUFBSSxDQUFDO0lBQzdFLENBQUMsZ0JBQWdCLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRTtRQUN6QixXQUFXLEVBQUUsV0FBVyxDQUFDO1FBQ3pCLFNBQVMsRUFBRSxTQUFTLENBQUM7UUFDckIsZ0JBQWdCLEVBQUUsZ0JBQWdCLENBQUM7UUFDbkMscUJBQXFCLEVBQUUscUJBQXFCLENBQUM7UUFDN0MsSUFBSSxFQUFFLFVBQVUsQ0FBQztRQUNqQixTQUFTLEVBQUUsVUFBVSxDQUFDO0tBQ3ZCLEtBQUssSUFBSSxDQUFDO0lBQ1gsQ0FBQyxrQkFBa0IsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFO1FBQUUsSUFBSSxFQUFFLFVBQVUsQ0FBQTtLQUFFLEtBQUssSUFBSSxDQUFDO0lBQzNEOzs7OztPQUtHO0lBQ0gsQ0FBQywwQkFBMEIsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFO1FBQ25DLElBQUksRUFBRSxVQUFVLENBQUM7UUFDakIsZ0JBQWdCLEVBQUUsZ0JBQWdCLENBQUM7UUFDbkMsTUFBTSxFQUFFLE1BQU0sQ0FBQztLQUNoQixLQUFLLElBQUksQ0FBQztJQUNYLENBQUMsMkJBQTJCLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRTtRQUNwQyxJQUFJLEVBQUUsVUFBVSxDQUFDO1FBQ2pCLGlCQUFpQixDQUFDLEVBQUUsTUFBTSxFQUFFLENBQUM7UUFDN0IsYUFBYSxDQUFDLEVBQUUsTUFBTSxFQUFFLENBQUM7UUFDekIsV0FBVyxDQUFDLEVBQUUsTUFBTSxFQUFFLENBQUM7UUFDdkIsY0FBYyxDQUFDLEVBQUUsTUFBTSxFQUFFLENBQUM7S0FDM0IsS0FBSyxJQUFJLENBQUM7SUFDWCxDQUFDLHNCQUFzQixDQUFDLEVBQUUsQ0FBQyxJQUFJLEVBQUU7UUFBRSxVQUFVLEVBQUUsZ0JBQWdCLENBQUM7UUFBQyxJQUFJLEVBQUUsVUFBVSxDQUFBO0tBQUUsS0FBSyxJQUFJLENBQUM7SUFDN0YsQ0FBQyxrQkFBa0IsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFO1FBQUUsS0FBSyxFQUFFLEtBQUssQ0FBQTtLQUFFLEtBQUssSUFBSSxDQUFDO0lBQ3ZELENBQUMsZ0NBQWdDLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRTtRQUN6QyxJQUFJLEVBQUUsVUFBVSxDQUFDO1FBQ2pCLGdCQUFnQixFQUFFLGdCQUFnQixDQUFDO1FBQ25DLE1BQU0sRUFBRSxNQUFNLENBQUM7S0FDaEIsS0FBSyxJQUFJLENBQUM7Q0FDWixDQUFDIn0=

package/dest/sequencer/events.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"events.d.ts","sourceRoot":"","sources":["../../src/sequencer/events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,WAAW,EACX,gBAAgB,EAChB,qBAAqB,EACrB,UAAU,EACX,MAAM,sCAAsC,CAAC;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,MAAM,MAAM,eAAe,GAAG;IAC5B;;;;;;;;;;;;OAYG;IACH,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE;QACxB,QAAQ,EAAE,cAAc,CAAC;QACzB,QAAQ,EAAE,cAAc,CAAC;QACzB,qBAAqB,CAAC,EAAE,MAAM,CAAC;QAC/B,UAAU,CAAC,EAAE,UAAU,CAAC;KACzB,KAAK,IAAI,CAAC;IACX;;;;;;;;;;;;;;;;OAgBG;IACH,CAAC,sBAAsB,CAAC,EAAE,CAAC,IAAI,EAAE;QAC/B,UAAU,EAAE,UAAU,CAAC;QACvB,gBAAgB,EAAE,gBAAgB,CAAC;QACnC,iBAAiB,EAAE,OAAO,CAAC;QAC3B,cAAc,EAAE,gBAAgB,GAAG,SAAS,CAAC;QAC7C,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAAC;KAChD,KAAK,IAAI,CAAC;IACX,CAAC,8BAA8B,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,UAAU,CAAA;KAAE,KAAK,IAAI,CAAC;IACvF,CAAC,6BAA6B,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,UAAU,CAAA;KAAE,KAAK,IAAI,CAAC;IACtF,CAAC,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,UAAU,CAAA;KAAE,KAAK,IAAI,CAAC;IAC7E,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE;QACzB,WAAW,EAAE,WAAW,CAAC;QACzB,SAAS,EAAE,SAAS,CAAC;QACrB,gBAAgB,EAAE,gBAAgB,CAAC;QACnC,qBAAqB,EAAE,qBAAqB,CAAC;QAC7C,IAAI,EAAE,UAAU,CAAC;QACjB,SAAS,EAAE,UAAU,CAAC;KACvB,KAAK,IAAI,CAAC;IACX,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,UAAU,CAAA;KAAE,KAAK,IAAI,CAAC;IAC3D;;;;;OAKG;IACH,CAAC,0BAA0B,CAAC,EAAE,CAAC,IAAI,EAAE;QACnC,IAAI,EAAE,UAAU,CAAC;QACjB,gBAAgB,EAAE,gBAAgB,CAAC;QACnC,MAAM,EAAE,MAAM,CAAC;KAChB,KAAK,IAAI,CAAC;IACX,CAAC,2BAA2B,CAAC,EAAE,CAAC,IAAI,EAAE;QACpC,IAAI,EAAE,UAAU,CAAC;QACjB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;QAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;QACvB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;KAC3B,KAAK,IAAI,CAAC;IACX,CAAC,sBAAsB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,UAAU,EAAE,gBAAgB,CAAC;QAAC,IAAI,EAAE,UAAU,CAAA;KAAE,KAAK,IAAI,CAAC;IAC7F,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,KAAK,EAAE,KAAK,CAAA;KAAE,KAAK,IAAI,CAAC;IACvD,CAAC,gCAAgC,CAAC,EAAE,CAAC,IAAI,EAAE;QACzC,IAAI,EAAE,UAAU,CAAC;QACjB,gBAAgB,EAAE,gBAAgB,CAAC;QACnC,MAAM,EAAE,MAAM,CAAC;KAChB,KAAK,IAAI,CAAC;CACZ,CAAC"}

package/dest/sequencer/events.js

@@ -0,0 +1 @@
+export { };

package/dest/sequencer/inbox_bucket_selector.d.ts

@@ -0,0 +1,88 @@
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { type InboxBucket, type L1ToL2MessageSource } from '@aztec-labs/stdlib/messaging';
+/** The subset of the archiver's Inbox-bucket queries the selector needs. */
+export type InboxBucketSource = Pick<L1ToL2MessageSource, 'getInboxBucket' | 'getLatestInboxBucketAtOrBefore' | 'getL1ToL2MessagesBetweenBuckets'>;
+/**
+ * The last-consumed Inbox bucket a block streams from. Only the sequence number and cumulative message count are
+ * needed: the sequence number bounds the derived bundle, and the count is the per-block/per-checkpoint cap origin.
+ * At a checkpoint's first block this is the parent checkpoint's last-consumed bucket; the genesis base case is
+ * `{ seq: 0, totalMsgCount: 0 }` (bundles derive from the start of the Inbox).
+ */
+export type ConsumedBucketCursor = Pick<InboxBucket, 'seq' | 'totalMsgCount'>;
+/** Inputs to a single block's streaming Inbox-bucket selection. */
+export type SelectInboxBucketInput = {
+    /** Archiver Inbox-bucket queries. */
+    messageSource: InboxBucketSource;
+    /** Wall-clock time of this sub-slot, in seconds; the lag-eligibility anchor. */
+    now: bigint;
+    /**
+     * Minimum bucket age in seconds for a bucket to be lag-eligible this sub-slot: one configured Ethereum slot, the
+     * same value the validator's acceptance check applies (which documents why age in seconds is only a proxy for the
+     * L1 reorg depth this really guards against).
+     */
+    minBucketAgeSeconds: bigint;
+    /** The last bucket consumed by this checkpoint so far (parent checkpoint's at the first block). */
+    parent: ConsumedBucketCursor;
+    /** Cumulative Inbox message count consumed as of the parent checkpoint; the per-checkpoint cap origin. */
+    checkpointStartTotalMsgCount: bigint;
+    /** Maximum number of messages this block may consume. */
+    perBlockCap: number;
+    /** Maximum number of messages the checkpoint may consume in total. */
+    perCheckpointCap: number;
+    /** True on the checkpoint's final block, where the censorship cutoff becomes a consumption floor. */
+    isLastBlock: boolean;
+    /**
+     * Censorship cutoff timestamp from `getInboxCutoffTimestamp` (mirrors `ProposeLib.validateInboxConsumption`).
+     * Buckets opened at or before it are mandatory to consume by the checkpoint's last block.
+     */
+    cutoffTimestamp: bigint;
+};
+/** Whether and through which bucket a block consumes. */
+type InboxBucketConsumption = {
+    /** The block consumes messages, advancing to `bucket`. */
+    consume: true;
+    /** The newest bucket this block consumes through. */
+    bucket: InboxBucket;
+    /** The message leaves consumed this block, in insertion order (may be empty for an empty bucket). */
+    bundle: Fr[];
+} | {
+    /** The block consumes nothing; it reuses the parent bucket reference. */
+    consume: false;
+};
+/** Result of a block's streaming Inbox-bucket selection. */
+export type InboxBucketSelection = InboxBucketConsumption & {
+    /**
+     * Set on the checkpoint's final block when the selected position still leaves a mandatory bucket unconsumed, so no
+     * checkpoint ending on this block can satisfy the censorship floor. The consumption fields still describe the best
+     * reachable prefix, but proposing it would produce a checkpoint every honest validator refuses to attest and that
+     * L1 `propose` would revert, so the caller is expected to abandon the checkpoint rather than build on it.
+     */
+    insufficientFinalBlockCapacity?: true;
+};
+/**
+ * Selects the newest Inbox bucket a block streams from, mirroring the L1 consumption predicate in
+ * `ProposeLib.validateInboxConsumption`. The policy, per block:
+ *
+ * 1. Pick the newest lag-eligible bucket: the newest bucket opened at or before `now - minBucketAgeSeconds`. On the
+ *    checkpoint's last block, also consider the cutoff bucket (newest opened at or before `cutoffTimestamp`) and take
+ *    whichever is newer, so the checkpoint reaches the censorship floor even if the sub-slot lag preferred less.
+ * 2. If nothing is newer than the parent bucket, consume nothing.
+ * 3. Otherwise walk back from the candidate to the newest bucket whose consumption fits both the per-block cap
+ *    (`bucket.totalMsgCount - parent.totalMsgCount`) and the per-checkpoint cap
+ *    (`bucket.totalMsgCount - checkpointStartTotalMsgCount`). If even the first bucket past the parent overshoots the
+ *    per-checkpoint cap, consume nothing — the L1 cap-escape (`ProposeLib` allows leaving a bucket unconsumed when
+ *    consuming through it would exceed the per-checkpoint cap).
+ * 4. On the last block only, check the resulting position against the censorship floor with the shared
+ *    `isInboxConsumptionSufficient` predicate. Because buckets are indivisible, the walk-back in step 3 can be forced
+ *    onto a prefix that still leaves a mandatory bucket behind; that is reported as
+ *    `insufficientFinalBlockCapacity` rather than passed off as a usable selection.
+ *
+ * The `<=` comparisons make a bucket exactly `minBucketAgeSeconds` old lag-eligible and a bucket exactly at the cutoff
+ * mandatory, matching the strict `>` "past cutoff" test on L1 (`next.timestamp > cutoff` leaves it optional).
+ *
+ * A single bucket never exceeds the per-block cap by construction (the Inbox bucket size is at most the per-block cap),
+ * so per-block walk-back always lands on at least one bucket; only the per-checkpoint cap can force consuming nothing.
+ */
+export declare function selectInboxBucketForBlock(input: SelectInboxBucketInput): Promise<InboxBucketSelection>;
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5ib3hfYnVja2V0X3NlbGVjdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2VxdWVuY2VyL2luYm94X2J1Y2tldF9zZWxlY3Rvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUM5RCxPQUFPLEVBQUUsS0FBSyxXQUFXLEVBQUUsS0FBSyxtQkFBbUIsRUFBZ0MsTUFBTSw4QkFBOEIsQ0FBQztBQUV4SCw0RUFBNEU7QUFDNUUsTUFBTSxNQUFNLGlCQUFpQixHQUFHLElBQUksQ0FDbEMsbUJBQW1CLEVBQ25CLGdCQUFnQixHQUFHLGdDQUFnQyxHQUFHLGlDQUFpQyxDQUN4RixDQUFDO0FBRUY7Ozs7O0dBS0c7QUFDSCxNQUFNLE1BQU0sb0JBQW9CLEdBQUcsSUFBSSxDQUFDLFdBQVcsRUFBRSxLQUFLLEdBQUcsZUFBZSxDQUFDLENBQUM7QUFFOUUsbUVBQW1FO0FBQ25FLE1BQU0sTUFBTSxzQkFBc0IsR0FBRztJQUNuQyxxQ0FBcUM7SUFDckMsYUFBYSxFQUFFLGlCQUFpQixDQUFDO0lBQ2pDLGdGQUFnRjtJQUNoRixHQUFHLEVBQUUsTUFBTSxDQUFDO0lBQ1o7Ozs7T0FJRztJQUNILG1CQUFtQixFQUFFLE1BQU0sQ0FBQztJQUM1QixtR0FBbUc7SUFDbkcsTUFBTSxFQUFFLG9CQUFvQixDQUFDO0lBQzdCLDBHQUEwRztJQUMxRyw0QkFBNEIsRUFBRSxNQUFNLENBQUM7SUFDckMseURBQXlEO0lBQ3pELFdBQVcsRUFBRSxNQUFNLENBQUM7SUFDcEIsc0VBQXNFO0lBQ3RFLGdCQUFnQixFQUFFLE1BQU0sQ0FBQztJQUN6QixxR0FBcUc7SUFDckcsV0FBVyxFQUFFLE9BQU8sQ0FBQztJQUNyQjs7O09BR0c7SUFDSCxlQUFlLEVBQUUsTUFBTSxDQUFDO0NBQ3pCLENBQUM7QUFFRix5REFBeUQ7QUFDekQsS0FBSyxzQkFBc0IsR0FDdkI7SUFDRSwwREFBMEQ7SUFDMUQsT0FBTyxFQUFFLElBQUksQ0FBQztJQUNkLHFEQUFxRDtJQUNyRCxNQUFNLEVBQUUsV0FBVyxDQUFDO0lBQ3BCLHFHQUFxRztJQUNyRyxNQUFNLEVBQUUsRUFBRSxFQUFFLENBQUM7Q0FDZCxHQUNEO0lBQ0UseUVBQXlFO0lBQ3pFLE9BQU8sRUFBRSxLQUFLLENBQUM7Q0FDaEIsQ0FBQztBQUVOLDREQUE0RDtBQUM1RCxNQUFNLE1BQU0sb0JBQW9CLEdBQUcsc0JBQXNCLEdBQUc7SUFDMUQ7Ozs7O09BS0c7SUFDSCw4QkFBOEIsQ0FBQyxFQUFFLElBQUksQ0FBQztDQUN2QyxDQUFDO0FBRUY7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBdUJHO0FBQ0gsd0JBQXNCLHlCQUF5QixDQUFDLEtBQUssRUFBRSxzQkFBc0IsR0FBRyxPQUFPLENBQUMsb0JBQW9CLENBQUMsQ0FnQjVHIn0=

package/dest/sequencer/inbox_bucket_selector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inbox_bucket_selector.d.ts","sourceRoot":"","sources":["../../src/sequencer/inbox_bucket_selector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,mBAAmB,EAAgC,MAAM,8BAA8B,CAAC;AAExH,4EAA4E;AAC5E,MAAM,MAAM,iBAAiB,GAAG,IAAI,CAClC,mBAAmB,EACnB,gBAAgB,GAAG,gCAAgC,GAAG,iCAAiC,CACxF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,GAAG,eAAe,CAAC,CAAC;AAE9E,mEAAmE;AACnE,MAAM,MAAM,sBAAsB,GAAG;IACnC,qCAAqC;IACrC,aAAa,EAAE,iBAAiB,CAAC;IACjC,gFAAgF;IAChF,GAAG,EAAE,MAAM,CAAC;IACZ;;;;OAIG;IACH,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mGAAmG;IACnG,MAAM,EAAE,oBAAoB,CAAC;IAC7B,0GAA0G;IAC1G,4BAA4B,EAAE,MAAM,CAAC;IACrC,yDAAyD;IACzD,WAAW,EAAE,MAAM,CAAC;IACpB,sEAAsE;IACtE,gBAAgB,EAAE,MAAM,CAAC;IACzB,qGAAqG;IACrG,WAAW,EAAE,OAAO,CAAC;IACrB;;;OAGG;IACH,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,yDAAyD;AACzD,KAAK,sBAAsB,GACvB;IACE,0DAA0D;IAC1D,OAAO,EAAE,IAAI,CAAC;IACd,qDAAqD;IACrD,MAAM,EAAE,WAAW,CAAC;IACpB,qGAAqG;IACrG,MAAM,EAAE,EAAE,EAAE,CAAC;CACd,GACD;IACE,yEAAyE;IACzE,OAAO,EAAE,KAAK,CAAC;CAChB,CAAC;AAEN,4DAA4D;AAC5D,MAAM,MAAM,oBAAoB,GAAG,sBAAsB,GAAG;IAC1D;;;;;OAKG;IACH,8BAA8B,CAAC,EAAE,IAAI,CAAC;CACvC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAsB,yBAAyB,CAAC,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAgB5G"}

package/dest/sequencer/inbox_bucket_selector.js

@@ -0,0 +1,80 @@
+import { isInboxConsumptionSufficient } from '@aztec-labs/stdlib/messaging';
+/**
+ * Selects the newest Inbox bucket a block streams from, mirroring the L1 consumption predicate in
+ * `ProposeLib.validateInboxConsumption`. The policy, per block:
+ *
+ * 1. Pick the newest lag-eligible bucket: the newest bucket opened at or before `now - minBucketAgeSeconds`. On the
+ *    checkpoint's last block, also consider the cutoff bucket (newest opened at or before `cutoffTimestamp`) and take
+ *    whichever is newer, so the checkpoint reaches the censorship floor even if the sub-slot lag preferred less.
+ * 2. If nothing is newer than the parent bucket, consume nothing.
+ * 3. Otherwise walk back from the candidate to the newest bucket whose consumption fits both the per-block cap
+ *    (`bucket.totalMsgCount - parent.totalMsgCount`) and the per-checkpoint cap
+ *    (`bucket.totalMsgCount - checkpointStartTotalMsgCount`). If even the first bucket past the parent overshoots the
+ *    per-checkpoint cap, consume nothing — the L1 cap-escape (`ProposeLib` allows leaving a bucket unconsumed when
+ *    consuming through it would exceed the per-checkpoint cap).
+ * 4. On the last block only, check the resulting position against the censorship floor with the shared
+ *    `isInboxConsumptionSufficient` predicate. Because buckets are indivisible, the walk-back in step 3 can be forced
+ *    onto a prefix that still leaves a mandatory bucket behind; that is reported as
+ *    `insufficientFinalBlockCapacity` rather than passed off as a usable selection.
+ *
+ * The `<=` comparisons make a bucket exactly `minBucketAgeSeconds` old lag-eligible and a bucket exactly at the cutoff
+ * mandatory, matching the strict `>` "past cutoff" test on L1 (`next.timestamp > cutoff` leaves it optional).
+ *
+ * A single bucket never exceeds the per-block cap by construction (the Inbox bucket size is at most the per-block cap),
+ * so per-block walk-back always lands on at least one bucket; only the per-checkpoint cap can force consuming nothing.
+ */ export async function selectInboxBucketForBlock(input) {
+    const consumption = await selectConsumption(input);
+    if (!input.isLastBlock) {
+        return consumption;
+    }
+    const { messageSource, parent, checkpointStartTotalMsgCount, perCheckpointCap, cutoffTimestamp } = input;
+    const finalSeq = consumption.consume ? consumption.bucket.seq : parent.seq;
+    const nextBucket = await messageSource.getInboxBucket(finalSeq + 1n);
+    const sufficient = isInboxConsumptionSufficient({
+        nextBucket,
+        cutoffTimestamp,
+        checkpointStartTotalMsgCount,
+        perCheckpointCap
+    });
+    return sufficient ? consumption : {
+        ...consumption,
+        insufficientFinalBlockCapacity: true
+    };
+}
+/** Steps 1 to 3 of {@link selectInboxBucketForBlock}: the cap-bounded walk back from the newest eligible bucket. */ async function selectConsumption(input) {
+    const { messageSource, now, minBucketAgeSeconds, parent, checkpointStartTotalMsgCount, perBlockCap, perCheckpointCap, isLastBlock, cutoffTimestamp } = input;
+    let candidate = await messageSource.getLatestInboxBucketAtOrBefore(now - minBucketAgeSeconds);
+    if (isLastBlock) {
+        const cutoffBucket = await messageSource.getLatestInboxBucketAtOrBefore(cutoffTimestamp);
+        if (cutoffBucket !== undefined && (candidate === undefined || cutoffBucket.seq > candidate.seq)) {
+            candidate = cutoffBucket;
+        }
+    }
+    if (candidate === undefined || candidate.seq <= parent.seq) {
+        return {
+            consume: false
+        };
+    }
+    const perBlockCapBig = BigInt(perBlockCap);
+    const perCheckpointCapBig = BigInt(perCheckpointCap);
+    let selected = candidate;
+    while(selected !== undefined && selected.seq > parent.seq){
+        const blockCount = selected.totalMsgCount - parent.totalMsgCount;
+        const checkpointCount = selected.totalMsgCount - checkpointStartTotalMsgCount;
+        if (blockCount <= perBlockCapBig && checkpointCount <= perCheckpointCapBig) {
+            const bundle = await messageSource.getL1ToL2MessagesBetweenBuckets(parent.seq, selected.seq);
+            return {
+                consume: true,
+                bucket: selected,
+                bundle
+            };
+        }
+        if (selected.seq - 1n <= parent.seq) {
+            break;
+        }
+        selected = await messageSource.getInboxBucket(selected.seq - 1n);
+    }
+    return {
+        consume: false
+    };
+}

package/dest/sequencer/index.d.ts

@@ -0,0 +1,6 @@
+export * from './checkpoint_proposal_job.js';
+export * from './checkpoint_voter.js';
+export * from './config.js';
+export * from './events.js';
+export * from './sequencer.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zZXF1ZW5jZXIvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyw4QkFBOEIsQ0FBQztBQUM3QyxjQUFjLHVCQUF1QixDQUFDO0FBQ3RDLGNBQWMsYUFBYSxDQUFDO0FBQzVCLGNBQWMsYUFBYSxDQUFDO0FBQzVCLGNBQWMsZ0JBQWdCLENBQUMifQ==

package/dest/sequencer/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sequencer/index.ts"],"names":[],"mappings":"AAAA,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uBAAuB,CAAC;AACtC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC"}

package/dest/sequencer/index.js

@@ -0,0 +1,5 @@
+export * from './checkpoint_proposal_job.js';
+export * from './checkpoint_voter.js';
+export * from './config.js';
+export * from './events.js';
+export * from './sequencer.js';