From 0c7a4ad49f49a8e21f063f7adbfebac83e903e3e Mon Sep 17 00:00:00 2001 From: crStiv Date: Fri, 5 Dec 2025 11:38:25 +0100 Subject: [PATCH] Fix current interval calculation in store.py --- src/lean_spec/subspecs/forkchoice/store.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lean_spec/subspecs/forkchoice/store.py b/src/lean_spec/subspecs/forkchoice/store.py index 2f48ff13..b840fac0 100644 --- a/src/lean_spec/subspecs/forkchoice/store.py +++ b/src/lean_spec/subspecs/forkchoice/store.py @@ -732,7 +732,7 @@ def tick_interval(self, has_proposal: bool) -> "Store": """ # Advance time by one interval store = self.model_copy(update={"time": self.time + Uint64(1)}) - current_interval = store.time % SECONDS_PER_SLOT % INTERVALS_PER_SLOT + current_interval = store.time % INTERVALS_PER_SLOT if current_interval == Uint64(0): # Start of slot - process attestations if proposal exists