Mago 1.25.1

Patch release. Three correctness fixes surfaced while upgrading real codebases on 1.25.0 (an invariant-generic redundant-docblock false positive, a stale narrowing leaking from try into finally, and a no-redundant-variable false positive on loop wraparound writes), plus three previously-orphaned doc pages wired back into the sidebar.

🐛 Bug Fixes

Codex

• Invariant generics reject as-mixed coercion: Foo<mixed> no longer reads as identical to Foo<T> in redundancy checks. (863b796)

Analyzer

• finally inherits try call invalidations: narrowings cleared inside try no longer leak into the finally. (330a41e)

Linter

• no-redundant-variable respects loop wraparound: a write at the bottom of a loop body counts as observed by the top-of-body read. (#1747, 40093a6)

📖 Documentation

• Wire orphan pages into the sidebar: generate-completions, format-ignore, and pre-commit-hooks are now reachable. (f8f4394)

🙏 Thank You

Issue Reporters

Thank you to everyone who reported issues that shaped this release:

• @Dima-369: #1747

Full Changelog: 1.25.0...1.25.1