Trail of Bits reports Lean string-slicing bug affecting stable releases
Trail of Bits reported a discrepancy in Lean’s `String.Pos.Raw.extract`, where logical and compiled evaluations could diverge for extremely large positions. According to the source, the issue affected stable Lean versions through 4.33.1, with a patch in v4.34.0-rc1.
Verification: Rug.Tools has not independently verified the publisher's incident claims.

