F* v2026.08.09

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