From 5aba5c04c4bf0f03bae896f7c847360268e07dea Mon Sep 17 00:00:00 2001
From: Santiago Palladino <santiago@aztec-labs.com>
Date: Mon, 1 Sep 2025 18:51:30 -0300
Subject: [PATCH] fix: Enforce timetable on proposer check

Fixes the fix from #16668. Since we were not passing the slot number
into the `setState` call, the check was never done.
---
 yarn-project/sequencer-client/src/sequencer/sequencer.test.ts | 1 +
 yarn-project/sequencer-client/src/sequencer/sequencer.ts      | 4 ++--
 yarn-project/sequencer-client/src/sequencer/utils.ts          | 3 ++-
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/yarn-project/sequencer-client/src/sequencer/sequencer.test.ts b/yarn-project/sequencer-client/src/sequencer/sequencer.test.ts
index 4fb337ae9e03..527260557846 100644
--- a/yarn-project/sequencer-client/src/sequencer/sequencer.test.ts
+++ b/yarn-project/sequencer-client/src/sequencer/sequencer.test.ts
@@ -322,6 +322,7 @@ describe('sequencer', () => {
 
       expect(blockBuilder.buildBlock).not.toHaveBeenCalled();
       expect(publisher.enqueueProposeL2Block).not.toHaveBeenCalled();
+      expect(publisher.canProposeAtNextEthBlock).not.toHaveBeenCalled();
     });
 
     it('does not publish a block if it does not have enough time left in the slot after collecting attestations', async () => {
diff --git a/yarn-project/sequencer-client/src/sequencer/sequencer.ts b/yarn-project/sequencer-client/src/sequencer/sequencer.ts
index 97869c1d4dd3..8f08457999d1 100644
--- a/yarn-project/sequencer-client/src/sequencer/sequencer.ts
+++ b/yarn-project/sequencer-client/src/sequencer/sequencer.ts
@@ -267,13 +267,13 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
       return;
     }
 
-    this.setState(SequencerState.PROPOSER_CHECK, undefined);
-
     const chainTipArchive = syncedTo.archive;
     const newBlockNumber = syncedTo.blockNumber + 1;
 
     const { slot, ts, now } = this.epochCache.getEpochAndSlotInNextL1Slot();
 
+    this.setState(SequencerState.PROPOSER_CHECK, slot);
+
     // Check that the archiver and dependencies have synced to the previous L1 slot at least
     // TODO(#14766): Archiver reports L1 timestamp based on L1 blocks seen, which means that a missed L1 block will
     // cause the archiver L1 timestamp to fall behind, and cause this sequencer to start processing one L1 slot later.
diff --git a/yarn-project/sequencer-client/src/sequencer/utils.ts b/yarn-project/sequencer-client/src/sequencer/utils.ts
index 04200b618d43..208e9fa27641 100644
--- a/yarn-project/sequencer-client/src/sequencer/utils.ts
+++ b/yarn-project/sequencer-client/src/sequencer/utils.ts
@@ -37,7 +37,8 @@ export type SequencerStateWithSlot =
   | SequencerState.INITIALIZING_PROPOSAL
   | SequencerState.CREATING_BLOCK
   | SequencerState.COLLECTING_ATTESTATIONS
-  | SequencerState.PUBLISHING_BLOCK;
+  | SequencerState.PUBLISHING_BLOCK
+  | SequencerState.PROPOSER_CHECK;
 
 export type SequencerStateCallback = () => SequencerState;