AIScience 0.3.1

论文和数据研究工作流更新：

• 已加入证据库的论文从检索结果隐藏，按 DOI 去重；可针对单篇论文追问，或结合证据库和笔记继续研究。
• 聚焦追问包含摘要与已获取全文摘录；RAG 聚焦该论文来源，保留稳定引用和片段出处。
• 每个项目最多 5 个 CSV / Excel .xlsx 文件，支持目录递归导入、内容去重、文件与工作表切换、移除和持久保存。超过上限整批拒绝。
• 各数据表分别统计，AI 接收全部统计摘要；托管实验环境保存所有工作表及来源清单。
• Excel 公式只读取已有缓存，不执行公式。旧版 .xls 请另存为 .xlsx。

macOS arm64 DMG 使用 Developer ID 签名并通过 Apple 公证；Windows EXE 和 Linux DEB / RPM 为预览版本，Windows 未签名。

验证：25 项单元测试及论文/多数据、原工作流、附件/修订、数学门槛回归测试通过。数学辅助与会话回归使用模拟模型；本机应用已通过真实 ZenMux Google Embedding 索引测试（30 个片段）。本次未运行 PentAGI。

新增：RAG 索引显示进度和就地错误，兼容 Google 单文本 Embedding 及批量返回数量不一致后的逐条重试。数学问题、公式和初步证明支持 AI 辅助起草、审阅采用，再进入既有 Lean 冻结与验证流程。