What's Changed
- Doc changes from agentic chapters by @nikswamy in #4381
- Preserve machine integer match patterns by @nikswamy in #4374
- Fix two interface-scoping unsoundnesses (#4390) by @nikswamy in #4391
- [PoP in F* Book] Fix ackerman_flip function in part 1 by @akhiltulluri in #4393
- Preserve divergent effects through forward labels by @nikswamy in #4392
- Pulse: don't existentially close unconstrained vars in inferred posts by @gebner in #4396
- Do not overwrite fsti.checked when checking fst by @gebner in #4400
- Bump version to 2026.08.09 by @dzomo in #4409
New Contributors
- @akhiltulluri made their first contribution in #4393
Full Changelog: v2026.08.02...v2026.08.09