RinCore v5.3.44

RinCore v5.3.44

★★记忆语义转向：从「用户画像」到「工作手册」—— 按 kind 权重排序，不再分析你是谁🧠这一版改的是记忆的「用途」，不是存储。 ━━ 一、先回答你问的：MIKA 为什么质量高 ━━ 我读了它 9 个记忆文件 + AgentLoop 关键段，它的好在四个地方，都不是「功能多」：①规则有代码复核，不信模型 —— 记忆条目带 source.quote（必须是用户本人在这次任务里说的子串，屏幕/网页/工具结果都不算），还查「内容里的每个具体值（引号内文字、数字、3+字母英文、地址片段）是否都能在原话里找到」，找不到就拒。这是防模型编造偏好的唯一机制。②失败什么都不做 —— 提取器出错就返回空，不影响任务；所有扩展点都是「可失败旁路」。③边界写死 —— 敏感过滤明确「手机号、地址、生日、家人称呼不在此列，它们是办事常用的事实」，只拦凭证（身份证还带 ISO 7064 校验位、卡号走 Luhn）。④诚实的注释 —— 它自己写明「局限：没加引号的中文人名、无标志字的地名认不出来」。它不是靠聪明，是靠「每条规则都能被验证」。 ━━ 二、但它的核心假设对我们是错的 ━━ MIKA 是「操作手机」的 agent，用户画像对它有价值（称呼、口味、日程）。我们是办公/工作区工具 —— 你的个人画像对完成任务没有帮助。所以本轮不照搬它的 ProfileEntry（你是谁/住哪/职业），而是把它的 MemoryItem 结构和 Auto 注入留下，把权重整个调过来。 ━━ 三、权重体系（本版核心）━━ 记忆按 kind 分四类，权重从高到低：work（这类活怎么干：命令、路径、步骤、坑）> project（项目怎么构建/发布/文件在哪）> fact（具体值：版本、端口、环境）> preference（回答格式/语气）。 注入时按权重排序（同权重按 path —— 保证前缀稳定，缓存不失效），每一条都标注 kind 让模型一眼知道该信几分。 ━━ 四、具体改了什么 ━━ ① /profile.md 不再是特殊层 —— 以前它被全文置顶注入，现在若库里还有它，只作为一条普通 fact 参与排序；想彻底不要，删掉那个文件即可。这是直接执行你的那句「不要再专门开一个东西去画用户画像」。 ② 写记忆的判据整体换掉 —— 旧的 [stated] test（「必须是用户说过的」）换成 reuse test：「这一行能不能让下次做同类任务更省事、更快、更不容易出错？」 留下的是这种：「发版顺序：先 ./bin/selfcheck，再 ./bin/audit fast，最后 rc release」/「proot 里 LibreOffice 起不来，用 officecli view screenshot 代替」/「这个 rootfs 自带 gcc 13.3 / node v18 / python 3.12」。丢掉的是这种：「v5.0.25 正式版已发布，APK 84.89MB」/「用户喜欢吃甜」。 ③ 布局改成工作手册 —— /playbooks/<任务>.md（kind=work，最高价值）/ /projects/<项目>.md（kind=project）/ /topics/<领域>.md（kind=fact）/ /preferences.md（kind=preference，唯一保留全文注入的）。明确写了「There is NO profile file」，并说明不要记录性格、口味、爱好、私生活。 ④ 后台整理器整体改向 —— 从「提取用户陈述的事实」改为「寻找可复用的工作知识：实际跑通的命令序列、踩到的坑和绕法、项目里必须自己发现的结构」。明确不记「提出过但没执行的计划」和「自己的推测」。产出量指引也从「零到两条」压到「零到一条」——一条具体的 work 条目胜过好几条含糊的 fact。 ━━ 五、验证（没拿 CI 当第一验证器）━━ kotlinc 编译真实源码 MemoryPrompts.kt + MemoryFile.kt 跑 17 项断言全过：无 profile 专属段 / profile 内容仍作为普通条目出现 / preferences 仍全文注入 / 走 memory_files 且标 kind / work 排在 project 前、project 排在 fact 前 / 改更新时间不改变顺序（前缀稳定）/ 大库退回 listing / 旧格式不参与体积 / 文案里有 reuse test 与「NO profile file」。另：tree-sitter 两文件 0 错误、rc check 双 PASS。 ━━ 六、你库里那 40+ 条旧记忆怎么办 ━━ 我按你说的「提前告诉你打算」：它们现在一条都不注入（v5.3.23 起就是这样，只留一行统计）。本版把语义彻底转向工作知识之后，它们和你要的东西已经是两个物种了。 我的建议：整体废弃，不要迁移。 因为那 40 条全是「某版本发布了什么」，reuse test 一条都过不了。 请你让模型把这些整理成文档（这部分我能帮你做——你只要说一句"把这 40 条记忆里有长期价值的部分整理成一份工作手册"，我可以直接在工作区里生成），整理完我就把它们清掉。 ━━ 七、诚实边界 ━━ ①本版只改「怎么用记忆」，没改存储结构 —— kind 写在 frontmatter 里，零数据库迁移，旧数据自动归 fact（对「某版本发布」这类记录是准确分类）；②**preferences.md 仍全文注入**（回复约定每次都用得上，不属于「分析用户」）；③旧记忆不会被自动删除，需要你确认后清；④没有安装实测（沙箱无设备），但 17 项断言是编译真实源码加的，不是模拟；⑤沙箱里那些 bin/ 工具不会随 APK 发布，工作手册里写「./bin/selfcheck」是给我这个在沙箱里干活的助手看的，你在手机上不会用到。 ★版本纪律：5.3.43 → 5.3.44（只改第三位、不进位）。 ⑩hub=v5.3.44

本次提交

• 0b3bedf release: v5.3.44 — ★★记忆语义转向：从「用户画像」到「工作手册」—— 按 kind 权重排序，不再分析你是谁🧠这一版改的是记忆的「用途」，不是存储。 ━━ 一、先回答你问的：MIKA 为什么质量高 ━━ 我读了它 9 个记忆文件 + AgentLoop 关键段，它的好在四个地方，都不是「功能多」：①规则有代码复核，不信模型 —— 记忆条目带 source.quote（必须是用户本人在这次任务里说的子串，屏幕/网页/工具结果都不算），还查「内容里的每个具体值（引号内文字、数字、3+字母英文、地址片段）是否都能在原话里找到」，找不到就拒。这是防模型编造偏好的唯一机制。②失败什么都不做 —— 提取器出错就返回空，不影响任务；所有扩展点都是「可失败旁路」。③边界写死 —— 敏感过滤明确「手机号、地址、生日、家人称呼不在此列，它们是办事常用的事实」，只拦凭证（身份证还带 ISO 7064 校验位、卡号走 Luhn）。④诚实的注释 —— 它自己写明「局限：没加引号的中文人名、无标志字的地名认不出来」。它不是靠聪明，是靠「每条规则都能被验证」。 ━━ 二、但它的核心假设对我们是错的 ━━ MIKA 是「操作手机」的 agent，用户画像对它有价值（称呼、口味、日程）。我们是办公/工作区工具 —— 你的个人画像对完成任务没有帮助。所以本轮不照搬它的 ProfileEntry（你是谁/住哪/职业），而是把它的 MemoryItem 结构和 Auto 注入留下，把权重整个调过来。 ━━ 三、权重体系（本版核心）━━ 记忆按 kind 分四类，权重从高到低：work（这类活怎么干：命令、路径、步骤、坑）> project（项目怎么构建/发布/文件在哪）> fact（具体值：版本、端口、环境）> preference（回答格式/语气）。 注入时按权重排序（同权重按 path —— 保证前缀稳定，缓存不失效），每一条都标注 kind 让模型一眼知道该信几分。 ━━ 四、具体改了什么 ━━ ① /profile.md 不再是特殊层 —— 以前它被全文置顶注入，现在若库里还有它，只作为一条普通 fact 参与排序；想彻底不要，删掉那个文件即可。这是直接执行你的那句「不要再专门开一个东西去画用户画像」。 ② 写记忆的判据整体换掉 —— 旧的 [stated] test（「必须是用户说过的」）换成 reuse test：「这一行能不能让下次做同类任务更省事、更快、更不容易出错？」 留下的是这种：「发版顺序：先 ./bin/selfcheck，再 ./bin/audit fast，最后 rc release」/「proot 里 LibreOffice 起不来，用 officecli view screenshot 代替」/「这个 rootfs 自带 gcc 13.3 / node v18 / python 3.12」。丢掉的是这种：「v5.0.25 正式版已发布，APK 84.89MB」/「用户喜欢吃甜」。 ③ 布局改成工作手册 —— /playbooks/<任务>.md（kind=work，最高价值）/ /projects/<项目>.md（kind=project）/ /topics/<领域>.md（kind=fact）/ /preferences.md（kind=preference，唯一保留全文注入的）。明确写了「There is NO profile file」，并说明不要记录性格、口味、爱好、私生活。 ④ 后台整理器整体改向 —— 从「提取用户陈述的事实」改为「寻找可复用的工作知识：实际跑通的命令序列、踩到的坑和绕法、项目里必须自己发现的结构」。明确不记「提出过但没执行的计划」和「自己的推测」。产出量指引也从「零到两条」压到「零到一条」——一条具体的 work 条目胜过好几条含糊的 fact。 ━━ 五、验证（没拿 CI 当第一验证器）━━ kotlinc 编译真实源码 MemoryPrompts.kt + MemoryFile.kt 跑 17 项断言全过：无 profile 专属段 / profile 内容仍作为普通条目出现 / preferences 仍全文注入 / 走 memory_files 且标 kind / work 排在 project 前、project 排在 fact 前 / 改更新时间不改变顺序（前缀稳定）/ 大库退回 listing / 旧格式不参与体积 / 文案里有 reuse test 与「NO profile file」。另：tree-sitter 两文件 0 错误、rc check 双 PASS。 ━━ 六、你库里那 40+ 条旧记忆怎么办 ━━ 我按你说的「提前告诉你打算」：它们现在一条都不注入（v5.3.23 起就是这样，只留一行统计）。本版把语义彻底转向工作知识之后，它们和你要的东西已经是两个物种了。 我的建议：整体废弃，不要迁移。 因为那 40 条全是「某版本发布了什么」，reuse test 一条都过不了。 请你让模型把这些整理成文档（这部分我能帮你做——你只要说一句"把这 40 条记忆里有长期价值的部分整理成一份工作手册"，我可以直接在工作区里生成），整理完我就把它们清掉。 ━━ 七、诚实边界 ━━ ①本版只改「怎么用记忆」，没改存储结构 —— kind 写在 frontmatter 里，零数据库迁移，旧数据自动归 fact（对「某版本发布」这类记录是准确分类）；②**preferences.md 仍全文注入**（回复约定每次都用得上，不属于「分析用户」）；③旧记忆不会被自动删除，需要你确认后清；④没有安装实测（沙箱无设备），但 17 项断言是编译真实源码加的，不是模拟；⑤沙箱里那些 bin/ 工具不会随 APK 发布，工作手册里写「./bin/selfcheck」是给我这个在沙箱里干活的助手看的，你在手机上不会用到。 ★版本纪律：5.3.43 → 5.3.44（只改第三位、不进位）。 ⑩hub=v5.3.44
• 6cfd52c release: v5.3.43 — ★★记忆注入改「装得下就全文给」：模型不用再读一遍 + 前缀稳定保缓存 📐这一版只动注入策略，不动存储结构 —— 记忆系统重写在下一批。 ━━ 为什么动这个（你上一轮说的「先动缓存」）━━ 原来的注入只给「一行描述」：/topics/rincore.md | 一句话说明 | updated: 日期。模型想知道里面写了什么，必须再调一次 memory_read —— 多一轮往返，而且这一轮注入的仍然只是摘要。 更关键的是缓存：检索式注入每次挑出来的结果都可能不同 → 前缀一变，后面整段就得重新计费。v5.3.38 那次实测已经证明图片之外的这一侧从来没考虑过前缀稳定性。 本版改动：记忆库正文总量 ≤ 12000 字符（约 4000 token）就全部正文一次性注入，模型直接就能用；超过才退回原来的索引式。 ━━ 一个必须做对的细节：顺序按 path，不按更新时间 ━━ 全量注入的唯一优势是「每次注入完全相同」。如果按 updatedAt 排序，任何一条记忆被更新都会把整段顺序挪位 → 前缀漂移 → 缓存全 miss，优势直接抵消。所以顺序固定按 path 字母序 —— 内容变了才变，位置不变。这一条专门写了回归测试锁住。 ━━ 验证（没拿 CI 当第一验证器）━━ 把真实源码 MemoryPrompts.kt + MemoryFile.kt 用 kotlinc 编译，跑了 16 项断言全过：小库走全文 / 正文真的注入 / 大库退回索引且绝不内联 / 旧格式永不参与体积计算 / 改更新时间不改变顺序 / 空库空态 / 两条规则文案都在。另：tree-sitter 两文件 0 错误、rc check 双 PASS。 ━━ 一处我自己的错，已修 ━━ 第一版断言用 contains("<memory_listing>") 判「有没有这个段」，结果规则说明里提到这个标签名就误判成「输出了该段」—— 两条假失败。改成精确匹配结构形态（<memory_listing> 后紧跟换行、<memory_files count=）才通过。这和 v5.3.18 的「全局断言误杀合法写法」同族，记在教训里。 ━━ 关于你贴的那段记忆（重要）━━ 你贴的 <memory> 块用的是 **Memories** + JSON 数组 + memory_tool 的老格式。我在当前代码里查了：**Memories** 在生产代码 0 处（只剩一条测试断言「不得出现这个标题」），memory_tool 只剩历史配置过滤/旧消息渲染/旧记录导出三处兼容，注入链早已是 <memory_system> + <profile> + <memory_listing> + <legacy_entries>。 → 那段记忆不可能由 v5.3.42 产生，它来自旧版本（≤ v5.3.20）或旧对话。这一点必须先确认，否则我们会基于错误前提改造记忆系统：请在「设置 → 关于」看一眼版本号；如果不是 5.3.42，先装上 v5.3.42 再看一次记忆注入长什么样 —— 中间十几版对记忆的修复你可能一直没拿到。 ━━ 同时确认的事（你上轮否决「用户画像」，我改方向）━━ 你说得对：「分析我是没有意义的，要分析自己的工作」。所以下一批的记忆重构方向不是 MIKA 那种用户画像，而是：①工作方法（这类任务怎么做、踩过什么坑）；②项目结构（模块/构建/发版链路）；③领域知识（物理题、文档处理的具体做法）。profile.md（你是谁）不再作为核心，preferences.md 只保留「回复约定」这一层（那是工作规范，不是人格分析）。具体方案下一批单独给你过。 ━━ 诚实边界 ━━ ①本版没有改存储、没有改工具、没有改 UI —— 只是注入策略 + 一条顺序保证；②没有安装实测（沙箱无设备）；③全量注入会让单轮 prompt 最多多约 4000 token，但命中缓存后实际成本远低于多跑一轮 memory_read；④如果你更希望保守（保持索引式），把常量改回 0 即可回到旧行为，一行改动。 ★版本纪律：5.3.42 → 5.3.43（只改第三位、不进位）。 ⑩hub=v5.3.43
• 3c8c118 release: v5.3.42 — ★★沙箱一体化：默认复用常驻会话（每条命令不再付 13 秒启动）+ 预热不再产生 43MB core dump + Linux 能力实测🔧这一版没有新功能 —— 它把「沙箱」从外挂变成了地基。 ━━ 一、先摆事实：沙箱其实早就是同一套 ━━ 我在沙箱里实测了 9 项：rootfs 是 Ubuntu 24.04.3（真用户态）；/workspace 挂的就是你在 App 里看到的那个工作区 files/ 目录（ProotShellRunner:103）；/skills、/builtin_skills、/tool_outputs、/upload 四个挂载模型和我共用；/dev/shm 已自建（Python multiprocessing 能用）。→「分离」不在目录和挂载这一层，那一层本来就是一套。 ━━ 二、真正的分离在「会话层」：每条命令都重启一次沙箱 ━━ 此前每次 workspace_shell 都新起一个 proot 进程，要重新载入 rootfs、重建全部挂载，**单条命令有 13 秒是纯启动开销**，cd 和环境变量也不跨调用保留。这正是「沙箱慢得惊人」「渲染/转换特别慢」的第一大来源，也是模型宁愿用 shell 做文件操作（等于再付一次启动）的诱因。 本版改为默认复用：连续命令共享同一个常驻 proot+bash，第 2 条起只剩命令本身耗时。 敢改默认值，是因为复用的安全性早就逐条补齐了：会话 key 含工作区 ID（不同工作区绝不串进程）；每条命令前重设 cd（v5.3.37，cd 不跨命令污染）；进程死/读线程断会自动重建（模型跑 exit 也不会永久坏）；闲置 5 分钟自动关；起不来自动回退一次性。 需要干净隔离环境时，传 session="none" 即恢复旧行为。 ━━ 三、预热不再往你的工作区里扔 43MB 垃圾 ━━ 上次清理环境时发现根目录有个「文件名是一个空格」的 43.4MB 文件 —— 它是 officecli --version 崩溃产生的 core dump。而预热的第一步动作正好是它，且落在当前工作目录（= 你的工作区）。意味着每崩一次就吃 43MB，文件名你根本不会注意到。 本版三处修：命令前置 ulimit -c 0（崩了也不再产生文件）；探测从 --version 改 --help（同样把 34MB 二进制走热，避开崩溃路径）；连续 3 次失败即禁用预热 24 小时（旧实现每个输入沿都重试 = 反复制造垃圾）。 顺带修掉一个我自己写错的地方：executeCommand 不会因为非零退出码抛异常，所以「成功」判断必须显式看 exitCode —— 不加这一句，熔断永远不会触发。 诚实：officecli --version 在我这边（同一个 rootfs）正常返回 1.0.152，退出码 0，所以 core dump 是设备/机型特定问题，无法在沙箱复现；本版的价值是「即使崩了也不再产生文件」。 ━━ 四、Linux 能力实测（不是宣称，是跑出来的）━━ | 项 | 实测 | |---|---| | gcc | 13.3.0，编译 hello 成功 | | apt | 2.8.3 (arm64) 可用 | | Python | 中文 + emoji 输出正常 | | Node | v18.19.1 | | 中文字体 | 39 个 | | git / pandoc / texlive / tesseract | 在 | 工具描述里新增一条自检命令，模型不用再一个个试。 ━━ 五、为什么这层地基决定后面能不能做大事 ━━ 你在 App 里看到的文件 = 模型改的文件（同一目录）；装的 Python 包/编译器跨会话存在（rootfs 随工作区）；连续操作低开销；真 Linux 工具链；崩溃不产生垃圾。有了这五条，下一步才谈得上做「环境快照回滚」「预置工具链」「沙箱状态可视化」这类真正提效的东西。 ━━ 六、诚实边界 ━━ ①默认行为变了：依赖「每条命令干净环境」的自定义流程需显式传 session="none"；②同 session 内命令串行（这是不串状态的前提）；③/proc/version 权限拒绝是 proot 固有限制，LibreOffice 仍不可用（用 officecli view screenshot）；④无安装实测，改动靠静态检查 + 熔断逻辑复刻验证；⑤沙箱状态可视化（App 里显示「就绪/执行中」）本版未做，留待下一批。 ★版本纪律：5.3.41 → 5.3.42（只改第三位、不进位）。 ⑩hub=v5.3.42
• 2ed55f9 docs: 发布链核验记录 + 两个流程问题
• d2d3565 release: v5.3.41 — ★★文档与工具批次：溯源体系 / 结构总图 / 开工状态 + 工作流整顿（发布链本身是本轮验证对象）📐这一版没有改任何功能代码 —— 它是前面几轮「把项目理清楚」的沉淀落地，同时用一次真实发版来验证新工作流程是否可靠。 ━━ 一、本版带上的三份文档（此前只在 adopt 分支，未进 main）━━ | 文档 | 内容 | |---|---| | FILE-ORIGIN.md + .json（+ 工具 bin/origin） | 全量文件来源溯源：1353 个 .kt 中 UPSTREAM 778(57.5%) 与 3.1.0 逐字节一致 / MODIFIED 231 / PORTED 200 / PORTED-MODIFIED 67 / OURS 56 / DELETED 21。11 个命令：stats/modules/of/diff/restore/lost/untouched/ours/modified/ported/audit | | STRUCTURE-MAP.md（+ bin/symbols、bin/deps） | 四层索引：文件级（谁的文件）/ 符号级（26575 个符号，改动风险最高的是 UIMessagePart 140 文件、UIMessage 102、SettingsStore 84）/ 模块级（无循环依赖，app 唯一顶层，highlight/document/material3/oauth 是零跨模块依赖的叶子）/ 孤立声明初筛 | | CODE-NAVIGATION.md + EXTENSION-POINTS.md | 按「我要改 X」组织的导航（53 个路径引用逐条脚本验证，0 缺失）+ 加工具/渲染器/区/Provider/设置项/记忆档/路由的改法与必踩坑 | | 开工状态-2026-11-04.md | 下批次开工快照（版本/环境/工具链/代码画像/待办/六条纪律） | ━━ 二、工作流整顿（这才是本轮真正想验证的东西）━━ ① bin/watch —— 唯一 CI 查询入口：watch（最近 run + 自动比对是否就是本地 HEAD）/ watch <runId>（阻塞到终态，绿/红自带摘要，退出码 0/1）/ watch <sha>（按 commit 找 run 再等）。② bin/selfcheck —— 检查器自检（14 项探针）：用已知坏样本喂每个检查器，确认它真会报错（含对照：正常文件不得误报、假 sha 必须失败、watch 必须秒回）。「基线全绿」不等于「没问题」 —— 如果检查器本身失灵，全绿是假的。③ rc release 修掉一个真实隐患：旧流程是 sleep 20 后取最近一个 run 且不校验 sha —— 新 run 还没创建时会等到上一个 commit 的 run 并判定 CI-GREEN，最终表现「CI 绿了但 release 没出来」，失败点离真因很远。现改为 run_for_sha(head_sha) 定位 + wait 内二次校验 head_sha。④ 两份 AGENTS.md（工作区根 + 仓库根）：把「等 CI 只用 watch」「发版前先 selfcheck 再 audit」「验收看退出码不看输出文字」写进每次会话都会读到的位置 —— 之前这些规则写在 bin/README.md，而我不总会去翻它。━━ 三、本版确认的健康项 ━━ selfcheck 14/14；doctor 14 通过 / 0 警告 / 0 失败；audit fast AUDIT-OK；origin 1353 个 .kt；symbols 26575 个符号；deps cycles 无循环依赖；APK 79.7MB（上一版已从 85.1MB 降下来）。━━ 四、诚实边界 ━━ ①本版零功能改动 —— 全部是文档 + 工作区工具（bin/ 不随 APK 发布），所以"功能变化"这一栏是空的；②bin/ 里的工具是我的工作环境，不在仓库里、不随 APK 分发，所以这版 APK 与 v5.3.40 在功能上完全一致；③无安装实测（沙箱无设备）；④工作区仍有 archive/ 833M（旧 APK 对照基准）与 _trash/ 435M（proot 权限受限，删不掉）未处理。 ★版本纪律：5.3.40 → 5.3.41（只改第三位、不进位）。★待你验证：本版功能应与 v5.3.40 完全一致 —— 如果你只是为了新功能，可以从 5.3.40 直接跳到下一版；这一版的价值在于把「代码库为什么乱、乱在哪、怎么迁移」变成了可查询的事实。 ⑩hub=v5.3.41
• d730c36 docs: 下批次开工状态快照 + 环境整理

构建：gate（编译+测试）→ build（assembleRelease）→ 正式版 Release