From 202e0d38d23a153db61dcd80a05c69cedfb16eb1 Mon Sep 17 00:00:00 2001
From: cusma <cosimo.bassi@algorand.foundation>
Date: Mon, 25 Aug 2025 12:55:48 +0200
Subject: [PATCH] docs: update step setting

---
 src/abft-state-transitions-new-step.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/abft-state-transitions-new-step.md b/src/abft-state-transitions-new-step.md
index 73aa0287..ffc0afc8 100644
--- a/src/abft-state-transitions-new-step.md
+++ b/src/abft-state-transitions-new-step.md
@@ -16,8 +16,8 @@ On observing a timeout event of \\( \DeadlineTimeout(p) \\) for a period \\( p \
 player sets \\( s := \Next_0 \\).
 
 On observing a timeout event of \\( \DeadlineTimeout(p) + 2^{s_t}\lambda + u \\) where
-\\( u \in [0, 2^{s_t}\lambda) \\) sampled uniformly
-at random, the player sets \\( s := s_t \\).
+\\( 0 < s_t \leq 249 \\) and \\( u \in [0, 2^{s_t}\lambda) \\) sampled uniformly
+at random, the player sets \\( s := s_t + 3 = \Next_{s_t} \\).
 
 {{#include ./.include/styles.md:impl}}
 > New step [reference implementation](https://github.com/algorand/go-algorand/blob/b6e5bcadf0ad3861d4805c51cbf3f695c38a93b7/agreement/player.go#L94).