I think this gives a good overview in 2025
https://chandlerc.blog/posts/2024/11/story-time-bounds-checking/