What's Changed
- Add Nd effect: nondeterministic but terminating computations by @gebner in #4532
- Fix #4534: make Pulse.Lib.GlobalVar.mk_gvar nondeterministic by @gebner in #4535
- Fix qualified record type lookup by @amosr-msft in #4533
- Bump version to 2026.09.13 by @dzomo in #4542
Full Changelog: v2026.09.06...v2026.09.13