Pi 0.80.9: Pi 0.80.9：Kimi K3 接入与扩展工具延迟加载

本版通过扩展驱动的延迟工具加载机制，支持按需激活工具，并将 Kimi K3 支持扩展到多个内置 Provider；发布说明指向 Dynamic Tool Loading 文档与 `kimi-deferred-tools.ts` 示例。模型目录调整将 xAI 默认模型改为 Grok 4.5，并移除若干旧型号；Session 层也修复了首次 Assistant 响应前克隆或分叉时的提示。Runtime Prompt 与 Tool Schema 相邻版本一致；当前捕获没有 Static Prompt，未提供代码样本，因此这些机制细节只能按发布说明描述。