While the Lean Ethereum roadmap looks promising, it remains a research framework without a scheduled hard fork proposal.