Skip to content

refactor(forks/lstar): merge store module into containers#801

Merged
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:worktree-agent-afa528212d49e78c1
May 29, 2026
Merged

refactor(forks/lstar): merge store module into containers#801
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:worktree-agent-afa528212d49e78c1

Conversation

@tcoratger
Copy link
Copy Markdown
Collaborator

Summary

  • Move AttestationSignatureEntry and Store next to the other lstar container types in containers.py.
  • Delete the now-empty store.py module.
  • Update every import site (forks package __init__ files, spec.py, and the three consensus testing test_types modules) to point at .containers.

No behavior changes — pure relocation. Field names (validator_id, etc.) preserved as-is.

Test plan

  • just check passes (ruff check, ruff format, ty, codespell, mdformat)
  • CI green on the PR

🤖 Generated with Claude Code

Move AttestationSignatureEntry and Store next to the other lstar
container types, then delete the standalone store module so the fork
exposes a single container namespace.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@tcoratger tcoratger merged commit d80e55d into leanEthereum:main May 29, 2026
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant