From ea5e1bef13b50aef687bd430195371b25e6b9330 Mon Sep 17 00:00:00 2001 From: Thomas Coratger <60488569+tcoratger@users.noreply.github.com> Date: Mon, 15 Jun 2026 16:31:10 +0200 Subject: [PATCH] refactor(ssz): rename single-letter offset loop variable The container deserializer built the offset boundary list with a single-letter comprehension variable o, which obscured what the value held. Rename it to offset to match the tuple field it reads. Co-Authored-By: Claude Opus 4.8 (1M context) --- src/lean_spec/spec/ssz/container.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lean_spec/spec/ssz/container.py b/src/lean_spec/spec/ssz/container.py index d0a1f292c..17bc54da4 100644 --- a/src/lean_spec/spec/ssz/container.py +++ b/src/lean_spec/spec/ssz/container.py @@ -99,7 +99,7 @@ def deserialize(cls, stream: IO[bytes], scope: int) -> Self: # Phase 2: each variable payload spans from its offset to the next. # Scope closes the final span. - boundaries = [o for _, _, o in var_fields] + [scope] + boundaries = [offset for _, _, offset in var_fields] + [scope] for (name, ftype, _), (start, end) in zip(var_fields, pairwise(boundaries), strict=True): if end < start: raise SSZSerializationError(