Added
- pi-lens now fails closed on unknown project trust
- Built-in Lean 4 language support (refs #4119)
- Path-scoped rule policy
- Analyse marked out-of-root edits as adopted projects.
/lens-healthnow reports the effective pi-lens tool surface
Changed
- Stale test-runner verdicts state their edit gap and re-queue a run.
Fixed
- The session-start orientation names only the tools pi-lens registered
- Expired session hand-offs now preserve activated tools
- Duplicate pi session starts are ignored safely.
- TypeScript no longer reports clean from its empty pre-index publish.
- Require a BuildKit rule from the official Docker smoke server
- Bridge reads survive a
/reloadon the TypeScript-source extension load. - Ast-grep fallbacks use the official CLI package from an isolated cwd (#4193)
- Windows LSP auto-install now repairs missing shell commands.
- Unicode-normalized edits now keep their raw target span
- Subagent turn-end isolation
Plus 8 internal changes: tests, CI, tooling, and refactors.
🙏 Thanks
Thanks to the external contributors in this release: