From b3d43d68a3534711afe982f57589567f2a9dc466 Mon Sep 17 00:00:00 2001 From: Thomas Coratger <60488569+tcoratger@users.noreply.github.com> Date: Wed, 10 Jun 2026 17:42:29 +0200 Subject: [PATCH] docs(lstar): collapse slot module docstring to one line The module header is a simple primitive that needs no multi-paragraph rationale. Reduce it to a single summary line per the one-line-header documentation rule. Co-Authored-By: Claude Opus 4.8 (1M context) --- src/lean_spec/spec/forks/lstar/slot.py | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/lean_spec/spec/forks/lstar/slot.py b/src/lean_spec/spec/forks/lstar/slot.py index 71715314d..b069e8c10 100644 --- a/src/lean_spec/spec/forks/lstar/slot.py +++ b/src/lean_spec/spec/forks/lstar/slot.py @@ -1,10 +1,4 @@ -""" -Slot primitive shared by the consensus and crypto layers. - -The crypto signing scheme binds each signature to a specific slot. -Hosting the type here lets the crypto layer name the slot without -importing the rest of the consensus container module. -""" +"""Slot primitive shared by the consensus and crypto layers.""" import math from typing import Final