Windows 原生端已进入工程预览： 仓库新增
windows/，包含可编译的 C++20 TSF 输入法 DLL、SPLX v3 本地拼音解码器、UILess 候选接口、Arctic 候选条、 x64/x86 安装脚本、Windows 设置中心，以及隔离在输入热路径之外的 Agent Bridge v1。
Android 原生高性能中文输入法：普通输入完全本地运行，AI、记忆与工具能力通过可配置的长按方向 Skill 显式触发。
Android 语音 Provider 新增“搜狗在线语音（免配置）”：内置加密握手、20 ms Opus 分帧与 SRSS WebSocket 转写，选择后无需 API Key 即可从键盘语音入口使用。协议与 双实现验证见接入记录。
项目状态： v0.4.10 Provider 目录、Codex 订阅与 Action Skills 管理正式版
当前版本： v0.4.10（versionCode 35）
更新日期： 2026-08-09
目标平台： Android 10+（minSdk 29，首版按 targetSdk 36 建设）
本文基于《GlassIME Android AI 中文输入法产品与技术设计文档 v0.1》重新整理，并统一改名为：
| 项目项 | 定义 |
|---|---|
| 英文名 | Sense |
| 中文名 | 先思输入法 |
| 产品称呼 | Sense 输入法 / 先思输入法 |
| 仓库名 | Sense |
| 暂定 Android namespace | io.github.ethanbird.senseime |
| 默认主题 | Arctic Glass |
Android 官方要求自 2026 年 8 月 31 日起，新应用和更新需面向 Android 16（API 36）或更高版本，因此项目从第一天按 API 36 的行为约束构建，而不是后期再迁移。
v0.4.10 将设置首页继续拆分为可长期扩展的独立页面。Provider 不再通过下拉框切换，
而是提供与 jcode 对齐的完整目录、独立详情、按钮式协议/推理选择，以及 Codex 订阅的
OpenAI 官方设备授权流程；Android 会打开系统浏览器完成登录，刷新令牌由 Keystore
加密。0 Token Action Skills 现在拥有独立设置入口，开关同时约束 Agent 入口和运行时。
完整变更见 v0.4.10 发布说明。
v0.4.9 将 Agent 历史升级为双轨事实模型：每个 Session 的完整请求、Provider 原始
输入输出、工具交换、流式片段与终态继续作为不可变证据追加保留；结构化经历事件只在
旁路追加，并通过 source_record_ids 回指原始记录。统一召回会同时保留原始 Session
命中、经历事件与 Action Skill 历史，向工具和首轮提示词返回扫描量、字节数、通道与
截断状态，避免事件摘要挤掉普通会话原文。
输入法 Agent 前端新增直接 Action 区。内置“黄金现价”可直接调用 XAUUSD 行情 API，
不会创建模型请求，结果卡明确显示 0 Token，支持刷新、交给 Agent 分析以及写入当前
外部编辑框。Action 调用和完整响应另行追加保留并进入跨会话召回；认证型 API 的凭据
句柄由 Android Keystore 的 AES-GCM Vault 托管。完整方案与实现边界见
可进化 Agent 设计和
v0.4.9 发布说明。
v0.4.8 把 Agent 入口移动到键盘工具栏正中间，并进一步压缩输入法前端工作台高度；
内置输入框可显示最多四行，左上角使用明确的收起操作。Assistant 消息可显式写入当前
InputConnection 对应的外部编辑器，同时保留独立 :brain 进程中的后台运行所有权、
前端运行浮条和停止入口。完整对话归档、历史会话切换和崩溃安全的稳定排序同步补齐。
记忆检索增加中文 n-gram、受限关键词采样、部分概念匹配与真实结果计数；集成测试使用
“海军蓝”“简洁直接”等种子数据覆盖写入到召回全链路。中文模式按回车提交英文原文时
会记录该词条；1–3 字母输入收紧英文补全数量，完整拼写英文保留强证据并最多位于候选
第二位。完整变更与发布门禁见 v0.4.8 发布说明。
v0.4.7 为输入法加入独立 Agent 工作台：连续对话采用自然 assistant result 通道，
不再强制把普通回答包装成编辑器 Patch；流式预览、停止、新会话、Token 用量和有界会话
持久化集中在 Agent 页签。任务运行所有权由独立 :brain 进程中的持久 runtime 保存，
Activity 重建与输入法窗口切换不会终止运行；长任务通过前台服务通知继续输出。
Agent 同时获得 session-scoped terminal_exec 与 browser_use。终端以应用 UID 在私有
工作区运行 /system/bin/sh，提供 cwd containment、超时、退出码及有界 stdout/stderr；
浏览器使用 Agent-owned WebView，支持导航、DOM snapshot、编号点击、输入、提交、前进、
后退与刷新。用户在工作台浏览器页接管的正是同一标签，因此 Cookie、历史和页面状态
连续保留。键盘工具栏可打开工作台，两个新工具也可在工具设置中独立开关。
模型提交错误工具名或参数时，Brain 会把紧凑 typed error 作为 tool result 回送并继续
当前工具循环，减少整轮协议修复带来的 Token 消耗。实现方案见
Agent Runtime v2 设计，
该版本记录见 v0.4.7 发布说明。
v0.4.6 将九键左侧标点重构为可连续滚动、可自定义的侧栏，恢复 1–9
小号数字提示与上滑数字输出，并让九键数字键完整复用 Skills 长按方向选择和极光状态。
全键字符上滑只有在指针越过键帽上边界后才成立。候选区与键盘主题、裁剪和文字基线
统一；英文 Shift 改为单次大写、持续锁定、小写三态；退格、回车和文字编辑图标使用
统一纤细线条，撤销/重做不再覆盖红色提示。Emoji 新增手势、爱心、完整地区旗帜等
分类，并支持分类栏横向连续滚动。设置页提供竖/横屏独立高度拖动预览，键盘、Provider
和语音配置均按修改自动保存。
v0.4.5.beta.9 新增生产可用的中文九键与五笔 86：九键数字串直接进入拼音
trie/DAG，候选栏同时保留数字原文与自动分词，例如 486743697 · hun'shen'x's；
五笔提供精确候选、前缀补全、z 拼音反查、字根键帽、三种自动上屏策略及独立个性化。
三种中文方案通过 ime-config 跨 app/IME 进程保存，方案 epoch、composition revision
与 decoder generation 共同隔离陈旧异步结果；QWERTY/T9 几何和五笔 legend 原子切换。
免配置搜狗 SRSS Provider、Skills 交互与 Windows C++20 TSF 工程预览继续保留。
v0.4.5 在 v0.4.4 的开放工具、完整 Agent Journal 和本地记忆之上，把 Skills
交付为可配置、可修订、可由 Agent 智能读取和管理的长期系统：
- 长按可绑定按键后向四个方向滑动选择 Skill，Space AI、Delete repeat 和字符 flick 保持独立；再次选择当前 Skill 会取消激活；
- 激活按键使用 exact owner child layer 绘制动态极光，不改变键盘高度、不弹窗，也不 让整张键盘跟随动画重绘；
- 设置首页采用 Provider、记忆（Soul）、工具、Skills 分层结构，每个键位可单独配置；
- Skill 正文、绑定和激活状态使用不可变 revision/catalog generation，旧版本和崩溃 窗口中的完整数据不会被覆盖或删除；
- 默认 Agent 只看到简短 description，需要正文时调用分页
skill_read；用户开启管理 后，Agent 可通过skill_manage创建、修改、绑定和解绑 Skill； - 一次 Agent run 冻结 exact catalog generation 和 active Skill revision，避免多轮 推理混用设置页刚刚更新的内容；
- IME 只读取后台内存 projection，目录观察、文件锁和持久化不进入按键主线程；
- 现有
web_search、web_fetch、calculator、memory_search、完整 Agent Journal 与联网工具开关继续保留。
现有 Agent 状态机、上滑锁定、停止、流式预览、generation 隔离和编辑器
hash/CAS/写后验证继续有效；这些边界防止状态错写，但不限制用户已授权的数据能力。
内置 smart_edit、answer、rewrite、continue、translate、format 可继续作为
初始 Skills，并允许用户完整修改或另行创建。
- AI Agent 深度架构：事件记忆、工具、Skills 与长期兼容性
- Agent 工程开发方案：从 Evidence Event Mesh 到可交付的 M9 / M10
- ADR 0019：开放 Agent 工具与完整历史
- ADR 0020：v0.4.5 Skills 运行时、键盘手势与 Agent ABI
- Skills 工程开发文档：交互、不可变存储、工具与设置
- Skills 互操作与 Android 边界研究记录
- OpenMinis Android Agent 核心能力研究
- Sense Agent Runtime v2：输入法生命周期、终端、浏览器与对话设计
- X-02 Stage Substrate 实施记录
v0.4.5 已交付方向选择器、已提交状态驱动的 Aurora、
分层设置、不可变 revision/catalog、精确 skill_read、有代际门禁的 skill_manage
以及三类 Provider 工具循环。键盘选择以原子 ACTIVATE|DEACTIVATE intent 提交，Aurora
用 request token 与 exact physical owner 等待权威 projection；工具页可以分别关闭
skill_read 和 skill_manage，且不会删除任何用户数据。完整草稿使用原子 recovery
snapshot 与有界生命周期 durability handoff。
v0.4.5.beta.6 在统一解码器上加入有界混拼音节图：连续输入会同时探索完整音节、
声母缩写、zh/ch/sh 和未完成尾部，并用词典前缀即时剪枝。例如 hunshenxs 会按
候选元数据解释为 hun'shen'x's，召回“浑身解数”，而不是依赖单词特例。单字母中文
模式改为由真实单汉字拼音证据驱动，宽泛英文补全只保留少量入口；完整英文 exact
仍按强证据参与统一排序。候选栏仅在中文 Top-1 就绪后展示候选对齐的隐式分隔，
编辑器 composition 始终保留原始输入。
本版本继续深入重做中文候选召回和排序：全拼 exact、整句组合、简拼、混拼、
前缀、英文、用户词与纠错路径进入统一分数域；拼写纠错由穷举查询改为带音节边界和
编辑代价的有界 spelling graph；动态整句 lattice 扩大音节边与 beam，同时按片段
归一化长句分数。最终来源先验为 canonical exact/composition +8/+6、普通
exact/composition +1.2/+0.55、user +0.45、hybrid +0.55、initials +0.1、
prefix -0.75、English exact/prefix +0.4/-0.9；correction 在无 canonical、
有 exact、有 composition 时分别使用 -0.25/-13/-8。所有来源仍按最终分数竞争，
不保留固定中文或英文槽位。
生产纠错预算按 canonical 证据和输出上限分档：无 canonical 时始终保留 48 条 spelling
paths 和 4 个 composed probes；已有 exact 或规范组合且 outputLimit < 64 时使用
24/1，outputLimit >= 64 时保持 48/3。每路径 exact 48 项、每个 composed probe
24 项、每段 8 项和 beam 32 保持不变；规范化字母输入上限为 96。生产与测试使用同一
搜索实现，不再按词库记录数切换。
图搜索按 cost tier 和首次编辑位置保留多样性，为单字母尾部增删与最近编辑位置预留
组合 probe；编辑位置记录真实替换/增删字符偏移而非音节起点，48 路生产预算固定
nihaoshijiee → 你好世界。syllableEnds 固定 corrected lattice 的音节端点。撇号同时约束
组合与纠错边，并停用整段 exact、hybrid、initials 和 prefix。
渐进式前缀选择通过 ProgressivePrefixProbeDecoder 复用 canonical、组合与补全能力，
但不为每个前缀重复构建 spelling-correction graph；整句候选仍走完整解码并保留纠错。
候选快照按“整句 → 代表性渐进路径 → 其余候选”发布。异步 pending 期间保留几何和 主题颜色、冻结命中，并在 readiness 或内容批次改变前取消候选活动指针，避免旧批次 按下跨到新批次抬起。个性化模型区分默认提交、显式选词和渐进选词，加入有界频次/ 时间衰减以及快速删除、紧接替换的 signed adjustment；渐进选择仅在完整上屏成功后 学习。补充平面 Han 按 Unicode code point 参与渐进选择与学习；完整可逆 composition （已选片段与待输入拼音合计）共享 96 字母上限。
生产中文词库切换到固定 commit、可离线重建的 Rime Frost 首选源，唯一 exact 文本 扩展到 608,314；Frost、bigram、英文词表和 SQLite 迁移在专用线程构建完整解码器后 原子热切换，不阻塞 IME 创建主线程。项目与 APK 许可同步切换为 GPL-3.0-only。
最终 M3 contextual 回放达到 Top-1 99/126（78.57%）、Top-3 107/126（84.92%）、
Top-10 115/126（91.27%）、Coverage 124/126（98.41%）、MRR 0.8296；门禁为
Top-1/Top-10/Coverage/MRR 70%/85%/93%/0.75，hybrid 17/17 Top-1。最新 M4 的
initials、渐进 limit 16、渐进 limit 255 和组合 p95 分别为
0.019/0.224/0.578/2.069 ms，其中 limit 255 前缀候选数为 51。M5 的英文词典、
中英混合渐进解码和 hybrid p95 分别为 3.657 µs、0.758 ms、0.157 ms；
10 条动态混拼逐查询最大 p95 为 2.406 ms，低于 5 ms 门禁。
决策记录见 ADR 0022、
ADR 0023 与
ADR 0025，详细发布门禁见
v0.4.10 发布说明，最新发布资产见
v0.4.10 GitHub Release。
v0.4.5.beta.4 修复键盘刚显示、窗口切换或目录观察 catch-up 时，等价 Skill catalog
重复发布会撤销已开始长按的问题：解析结果、显示标签与 active Skill 均未变化时保留
当前手势和方向 picker，只有投影真实变化才取消。真机回归覆盖在长按激活窗口内重复
发布等价投影，Aurora、普通字符 flick、Space AI 与 Delete repeat 行为保持不变。
Skills 设置页同时停止每次 render 都替换 revision Spinner adapter 和重复设置相同选项，
controller 对同 revision 选择保持幂等，避免形成持续的发布、布局、绘制和无障碍事件
循环，也不会取消正在读取的历史 revision。绑定仍是用户持久配置，覆盖升级不会覆盖
用户已经解除的槽位。详细验证见
v0.4.5.beta.4 预发布说明，发布资产见
v0.4.5.beta.4 GitHub Release。
v0.4.5.beta.3 修复 Renderer 拆分后 Chrome 私有 Paint 的 alpha 跨帧泄漏：
主背景和半透明系统栏改用独立 Paint，避免按键局部刷新时背景 shader 透出宿主窗口，
从根因消除点击后的主题混色与频闪。修复保留矩形脏区和 VSYNC 合帧，没有退化为按键
全量重绘；新增 Light/Dark 连续帧与局部 clip 真机像素回归。详细验证见
v0.4.5.beta.3 预发布说明。
v0.4.5.beta.2 继续将 SenseKeyboardView 收敛为单 Canvas 平台 facade，并把布局、
绘制、交互与帧调度落到可独立测试的 controller/renderer/state holder；设置 Activity
同步收敛为生命周期、导航、权限和装配层，各 section 通过独立 controller、view binding
与 main-safe repository 协作。拆分以行为与性能等价为发布目标：键盘固定几何、候选全局
命中、多指顺序、Aurora 独立渲染、Skills 草稿恢复以及 M0–M6 门禁保持现有契约，设置页
真机阈值在固定设备采集同提交基线后再冻结。详细发布契约见
v0.4.5.beta.2 预发布说明。
v0.4.5.beta.1 已拆分键盘尺寸策略、主布局、图标绘制、颜色、滚动投影与候选栏深模块。
候选发布、测量缓存、分页、命中检测和横向拖动不再堆叠在 View 中；同一场景复用缓存，
510 项候选宽度走 primitive path，异步 pending → ready 也会切断旧候选的滚动状态。
该版本同时建立固定的 Sense release signer v1，后续 GitHub Release 继续使用同一证书
完成覆盖升级。公开证书 SHA-256 为
76db888ff42b04d52d4d19a573fe8f8df2fa3af0ab36bd6a08c6f70a8aace984。
API 36 x86_64 模拟器已实际运行四个模块的 18 项 AndroidTest：17 项通过，显式
opt-in 的固定实体设备绝对性能门禁 1 项明确跳过。当前环境没有临时 Provider Key，
4 个真实网络探针均为 SKIPPED，固定实体设备 p95 <= 32 ms 证据也尚未补齐；
这些事实作为 v0.4.5 已知证据边界保留，不会写成通过。
| 门禁 | v0.4.5 要求 |
|---|---|
| Skill 数据 | revision/catalog 完整保留、冲突检测、崩溃恢复与超长正文重载 |
| 键盘交互 | 四向选择、精确 physical owner、极光隔离、停止与 reduced motion |
| Agent ABI | description discovery、分页 read、代际 manage、单 Run 冻结 |
| Android 设备 | Parcel、FileObserver/StrictMode、MotionEvent、Settings recreation |
| 既有质量 | AI、IME、UI、Core、M0–M7、Lint、APK、签名、权限与资产哈希无回退 |
| APK 元数据 | versionCode 35、versionName 0.4.10、minSdk 29、targetSdk 36 |
日常完整本地验证与构建仍可在 Windows 执行：
powershell -ExecutionPolicy Bypass -File tools/local_release.ps1也可由同一脚本执行本地发布诊断：
powershell -ExecutionPolicy Bypass -File tools/local_release.ps1 -Publish-SkipTests 与 -SkipBuild 仅用于本地诊断复用已有产物，不用于正式发布。v0.4.10
恢复单版本 GitHub Actions 发布门禁：主分支提交通过测试、Lint、固定证书签名与 APK 元数据
检查后，使用 GitHub API 原子创建 tag、Release、APK 与校验和，不调用 gh CLI。
v0.4.10 发布收口： 本轮源码整合完成后会重新运行及人工审查 X-02 production source、build authority 与 offline gate 的 exact SHA-256，并同步刷新 boundary baseline。正式本地发布会在同一 release
HEAD上再次执行 source/artifact gate，并把结果与 APK 签名、校验和一起归档到v0.4.9GitHub Release。
标准工程验证命令：
python3 tools/test_build_pinyin_lexicon.py
python3 tools/test_build_bigram_model.py
python3 tools/test_build_wubi86_lexicon.py
python3 tools/test_verify_wubi86_assets.py
python3 tools/test_m4_core_assets.py
python3 tools/test_m5_mixed_assets.py
./gradlew \
:ai-protocol:test \
:brain-api:test \
:ai-brain:test \
:ai-runtime:testDebugUnitTest \
:memory-protocol:test \
:memory-protocol:jar \
:event-journal:test \
:event-journal:jar \
:ime-config:testDebugUnitTest \
:core-input:test \
:ime-service:testDebugUnitTest \
:ime-ui:testDebugUnitTest \
:app:testDebugUnitTest \
:core-input:m0HostBenchmark \
:core-input:m1PinyinBenchmark \
:core-input:m2AdaptiveBenchmark \
:core-input:m3SentenceBenchmark \
:core-input:m4CoreBenchmark \
:core-input:m5MixedInputBenchmark \
:core-input:m6InputPolishBenchmark \
:core-input:m7ChineseSchemeBenchmark \
:ai-runtime:lintDebug \
:ime-service:lintDebug \
:ime-ui:lintDebug \
:app:lintDebug \
:app:assembleDebug \
:app:assembleBenchmark \
:benchmark:assembleBenchmark在 Maven 仓库不可达、但已安装 API 36 SDK 与 Gradle 8.13 的环境，可运行离线兼容性门禁并产出工程 debug 签名 APK：
ANDROID_SDK_ROOT=/path/to/android-sdk \
SENSE_GRADLE_HOME=/path/to/gradle-8.13 \
tools/offline_verify.sh脚本从 app/build.gradle.kts 读取当前 versionName/versionCode，使用 Kotlin 2.0.21
复编译 Android 独立兼容闭包，并执行 Android-free JVM 子集、词库重建、M0–M7、Lint 与 APK
边界检查。涉及真实 Android framework 行为的完整单元/设备测试仍由上面的 Gradle 本地门禁执行。
为保持无 Maven/Gradle 缓存依赖，离线 APK 对设置页使用到的 AndroidX Activity
back-dispatch 接口编译脚本内兼容层，并让依赖 OkHttp/Concentus 的可选搜狗传输明确返回
未装配状态；正式 APK 仍由 Gradle 链接锁定依赖并编译完整搜狗传输与测试。
离线 APK 每次使用临时 debug signer，仅作无网编译兼容性证据；GitHub Release 由
tools/local_release.ps1 使用固定 Sense release signer v1 产出。
从 v0.4.5.beta.1 起，GitHub Release 使用固定的 Sense release signer v1，并通过
本地发布脚本的指纹门禁校验；后续版本继续使用同一证书且递增 versionCode，即可直接覆盖升级。
此前由 runner 临时 debug 证书签名的发布资产属于另一条签名链。AI 编辑基础威胁模型见
ADR 0010，Soul 与 Provider 延迟决策见
ADR 0011，本轮锁定、受限上下文
和语音设计见 ADR 0012，
本轮恢复边界与工具箱见
ADR 0013，本轮 Agent
状态机与多轮反馈见
ADR 0014。
文档权威边界： 下文第 1–17 节保留了最初的 v0.1 产品/工程构想，用于解释项目来路， 不是当前 Agent / M9 实施规范。它所写的“首版”、固定队列、固定超时、固定 Segment 阈值或无条件完整性承诺均不得直接转成代码。发生设计冲突时，权威顺序为：已接受 ADR → Agent v1.0 架构 → Agent 工程计划 → 本历史档案；当前运行时代码只证明已经实现的事实， 当前
v0.4.5已继承跨 Session Agent Journal 与本地词法召回，并加入可修订 Skills；v0.3 的SCHEMA_ONLYGate 资料保留为研究/高保障 profile 记录，不再是默认产品阻断条件。
Sense 不是把聊天机器人塞进键盘，而是先做成一款足够快、足够稳定的中文输入法，再把输入法天然拥有的上下文、长期行为数据和即时操作入口编译成三种能力：
- 更准确的本地中文候选与纠错；
- 任意键长按后向四个方向选择的 Skill；
- 不进入按键热路径的记忆、Provider 与工具执行系统。
最重要的架构边界是：按键、解码、候选、绘制与上屏永远不等待网络、Provider、Harness、历史数据库或后台任务。 AI 故障时，Sense 仍然必须是一款完整可用的中文输入法。
- 输入优先： 短按只负责输入；AI 不参与逐键候选生成。
- 运行时零弹窗： Provider、模型、工具、输出策略与 Skill 绑定均在设置 App 中预先配置。
- 显式触发、静默执行： 长按进入 Skill 层，中心释放保留原数字/符号，四方向执行已绑定 Skill。
- 证据化采集、有限激活： “全量归档”只是历史愿景，不是现行授权。当前不采集跨 Session 记忆；未来也只能采集 CapturePolicy 明确许可的事件，并以有界激活集供模型读取。
- 固定热路径： 逐键不访问 SQLite；Frost、bigram、英文词表与用户词迁移在专用 loader 中完成，完整解码器构建后原子热切换。
- 单层玻璃： 毛玻璃只作用于键盘底板；不对每个键帽重复模糊。
- 可回放、可测量： 候选、纠错、Skill、Provider、存储和性能均能通过统一事件重放评估。
- Android 手机、平板与折叠屏的竖屏/横屏输入；
- QWERTY 全拼、候选栏、联想、简繁、中英文混输、数字与常用符号；
- 成熟中文解码底座与 Sense 自定义 Ranker（M2 先以纯 Kotlin 验证，librime 保留为后续 spike）；
- 任意键四方向 Skill 绑定、中心长按字符、滑出取消；
- Arctic Glass 真模糊、拟态玻璃和高对比纯色三级回退；
- OpenAI-compatible Provider，后续通过同一接口扩展其他 Provider；
- 6 个首批 Skill：润色、简短、扩写、中英翻译、回复建议、记录事项；
- 二进制 Journal、不可变 Segment、稳定随机 logical Blob、authenticated locator 与离线回放；
- 输入排序侧的词频、纠错和近期短语继续由独立
PersistentUserLexicon管理；AgentHotSnapshot只允许非用户 Skill/route/schema/version/compiled metadata，不承载用户 词汇、偏好或风格； - 设置 App、Provider 测试、Skill 键位编辑器、主题预览和性能实验室。
- iOS、桌面端、Web 端；
- 通用聊天面板、任意脚本执行和无边界自主 Agent；
- Skill 商店、支付、公开第三方插件生态；
- 跨设备同步与账号体系；
- 在回放与真机数据不足时重写完整成熟拼音内核；
- 大型知识图谱和逐键大模型推理；
- 数据治理、合规和安全体系的完整产品设计。
这份 v0.1 构想曾计划让事件从首版开始保留 schema_version、source、session_id、
app_id、timestamp 与 lineage。v0.4.4 从 Agent Run 开始完整保留新历史，但不会
伪造 v0.4.3 以前从未写入的旧 Session。新实现以稳定 sequence 和事件关系为主，墙钟时间
只作为可缺失、可质疑的属性。
以下是工程预算，不是已经验证的成绩；每个阈值都必须由真机和回放数据校准。
| 指标 | v0.1 目标 | 门禁 |
|---|---|---|
| 按键视觉反馈 p95 | ≤ 8 ms | 超预算阻断合并 |
| 候选更新 p50 / p95 | ≤ 12 / 24 ms | p95 回退 > 5% 阻断合并 |
| 热启动显示 p95 | ≤ 80 ms | Macrobenchmark |
| 冷启动显示 p95 | ≤ 180 ms | Macrobenchmark |
| 连续输入掉帧 | < 0.5% | 60/90/120 Hz 真机 |
| IME RSS 空闲 / 输入 | ≤ 45 / 70 MB | 多机型 P90 |
| 每键 JVM 分配 | 接近 0，目标 < 128 B | Allocation 测试 |
| Skill 本地开销 | Provider TTFB 外 < 100 ms | 端到端 trace |
| Skill 成功率 | ≥ 97% | Provider 错误单列 |
| Journal 平均 CPU | < 1% 单核 | 连续输入 30 分钟 |
| 长期档案独立性 | 10 年档案无显著延迟回退 | 合成档案回放 |
候选质量使用 Top-1/Top-3 命中率、平均候选位次、按键节省率、上屏后三秒回删率衡量；Skill 质量使用首 token、总耗时、整段撤销率、用户修改距离和重复使用率衡量。
flowchart TD
Host[宿主输入框] <--> IME[IME 进程]
IME --> Decoder[本地解码与 Ranker]
IME --> Journal[事件 Journal]
IME -->|Skill 请求| Brain[Brain 进程]
Brain --> Harness[Harness / Memory]
Harness --> Provider[Provider / Tools]
Journal --> Worker[维护与回放]
Worker --> Snapshot[不可变用户快照]
Snapshot --> Decoder
| 进程 | 负责 | 明确禁止 |
|---|---|---|
:ime |
InputMethodService、Canvas UI、本地 Decoder、Ranker、用户词写入队列 | 网络、Provider SDK、逐键数据库查询、同步写盘、JSON 解析 |
:brain |
Harness、记忆检索、Provider、工具、流式 trace | 持有 IME View 或长期持有 InputConnection |
main |
设置 App、配置编译、维护任务调度、性能实验室 | 参与逐键解码与绘制 |
- IME Main： 触摸、局部绘制、候选 UI、InputConnection；
- Decoder： 增量拼音解码与候选生成；
- Journal Writer（历史构想）： 曾设想 SPSC 队列；当前 Agent 工程方案先在端口后使用
有界
ArrayBlockingQueue.offer，是否替换只能由真机预算证据和 ADR 决定； - Brain Engine / HTTP Worker： Provider 流、结构化 Harness、超时和取消；
- Maintenance Worker： 压缩、索引、Embedding、快照编译和回放。
| 领域 | 决策 | 原因 |
|---|---|---|
| IME UI | 自定义 View/Canvas；设置 App 使用 Compose |
控制逐帧分配和绘制范围 |
| 中文内核 | M2 纯 Kotlin 紧凑词典 + 自适应层；librime 作为后续对照 spike | 先冻结可测闭环，再用回放与真机数据决定迁移 |
| Ranker | 确定性特征 + 可选小型量化重排 | 不让神经模型成为候选可用性的前置条件 |
| IPC | 私有 Service + Messenger/有界 Bundle 流式回调、取消与死亡监听 | 隔离 Brain 崩溃和系统回收 |
| 配置 | 版本化 AtomicFile，API Key 用 Android Keystore 包装 | IME 热路径不读取 Provider 配置 |
| 原始事件 | Journal → Segment + Blob | 避免每键一行 SQLite/Room |
| 个性化 | 后台编译不可变 mmap 快照 | 热路径成本不随历史增长 |
| 玻璃主题 | 真模糊、拟态、纯色三级实现 | Android 12+ 也可能因 GPU/OEM/节电关闭模糊 |
当前按输入热路径、AI 协议、Provider 引擎和 Android 运行时拆分九个可验证模块：
Sense/
├── app/ # 设置 App、启用向导、配置与主题编辑
├── ime-service/ # InputMethodService、InputConnection、生命周期
├── ime-ui/ # Canvas 键盘、候选栏、手势、Arctic Glass
├── core-input/ # 输入状态、候选协议、中文/英文 Ranker
├── ai-protocol/ # 快照、Patch、严格 JSON 和有界会话
├── brain-api/ # Provider Profile、Transport、run contracts
├── ai-brain/ # Responses/Chat、SSE、Harness、repair
├── ai-runtime/ # :brain Service、Messenger、Keystore、HTTP
├── benchmark/ # Macrobenchmark、输入回放、长期档案压测
└── docs/ # ADR、协议、测试记录和设计资料
当任一模块出现独立发布节奏、独立依赖边界或明显构建瓶颈时再拆分；不为“看起来架构完整”提前制造空模块。
| 动作 | 行为 |
|---|---|
| 短按 | 永远输入当前键，不允许 Skill 覆盖 |
| 长按中心释放 | 输入原数字或符号 |
| 长按向上/左/右/下 | 执行绑定的 U/L/R/D Skill |
| 滑出取消区 | 不输入字符，也不执行 Skill |
初始参数为：进入 Skill 层 220 ms、中心死区 10–14 dp、方向激活 22–30 dp、方向锁定 ±35°。这些值必须通过单手/双手、手机/平板和不同触控采样率的误触实验确定，不能直接当作最终常量。
每次 Skill 在手指松开时冻结 EditorTransaction，记录会话、editor revision、选区、光标前后文和 composing 文本。结果返回后：
- revision 未变化：按策略替换或插入；
- 用户继续输入但锚点仍有效：在锚点插入，不覆盖新输入；
- 选区或上下文变化：结果降级到候选栏；
- InputConnection 失效：写入短期结果缓存；
- 自动插入文本作为一个事务块，第一次删除可整块撤销。
- 全拼、模糊音、首字母缩写；
- 中英文、数字、日期、时间、金额、邮箱、URL 混输；
- 简繁、中文标点、Emoji、用户词和专有名词；
- 拼音纠错、候选纠错学习、上屏后回删识别；
- 下一词预测只占低优先级候选，不挤占正在输入的拼音结果。
base_language_score + user_frequency + recency + app_profile + context_ngram + correction_gain + optional_neural_reranker
前六项本地确定性计算；神经重排最多处理前 16–32 个候选。Ranker 只读取编译后的特征快照，不查询完整历史。
- 用户输入、候选选择和主动纠错是强信号；
- 粘贴文本是低权重信号；
- AI 生成和工具结果默认权重为 0；
- AI 结果只有在用户保留、修改或重复使用后才形成学习信号；
- 每个 App 分别维护语言、词汇、语气和 Skill 质量画像。
历史方案曾设想固定头、变长整数、批量写入和 4–16 MiB 的封段阈值。当前工程规范改为
版本化 Frame、稳定随机 logical Blob、authenticated locator 和不可变 Segment；封段大小、批量与 flush 策略全部保持
UNSET，只有通过 Android 真机 Measurement Contract 后才能写入 Budget Profile。索引、
Embedding 和模型快照仍只能是可删除、可重建的派生物。
落盘优先级：输入语义事件 > 编辑与 Skill 事件 > Provider trace > 高频性能采样。队列接近满时仅允许降低非关键性能采样，不允许阻塞 IME Main。
离线回放以同一真实会话比较不同解码器、Ranker 和快照，至少输出：Top-1 命中、平均位次、按键节省、纠错概率、延迟分布与内存峰值。
v0.1 的 Harness 是有界执行器，不是自由规划 Agent：
- 默认最多 2 个工具步骤；
- 当时曾规划 Provider 连接 / 首事件 / 流空闲 / 总超时为 8 / 8 / 8 / 30 秒；这些数值已被
v0.4.2状态机取代，不是当前常量； - 单工具超时 3–5 秒；
- 最多并行 2 个工具；
- 默认最大返回文本 4 KiB；
- 每次执行可取消、可超时、可回放；
- 所有流式 delta、tool call、tool result 和错误进入 trace。
Provider 先实现 OpenAI-compatible 适配器，并抽象 fast、smart、embed 三个逻辑 Profile。Skill 依赖逻辑能力而不依赖厂商；首 token 超时、5xx 或能力不匹配时按预设 fallback，运行时不弹窗。
| 阶段 | 主要交付 | 退出条件 |
|---|---|---|
| M0 工程与基线 | Gradle 工程、IME 壳、Canvas 空键盘、基准、CI | Debug APK 可安装启用；冷/热启动和帧指标可重复 |
| M1 离线输入闭环 | 字母/符号、composing、候选栏、上屏/删除、横竖屏 | 断网可稳定完成完整输入闭环 |
| M2 中文引擎 | 纯 Kotlin 全拼、扩充词典、短码/纠错、基础 Ranker、SQLite 用户词 | Host 门禁通过；等待候选 p95 与进程恢复真机验收 |
| M3 句级排序与候选分页 | 词典派生字符 bigram、有界句级重排、候选展开与分页 | Host 正确性和回放门禁通过；等待真机候选质量与分页交互验收 |
| M4 渐进式输入与高速键盘 | 简拼索引、自动分词、异步解码、多指触控、加速退格、候选展开 | Host 回归保留在后续所有发布门禁；等待真机高速输入验收 |
| M5 混输与交互收敛 | 20k 英文词典、hybrid 拼音、稳定候选发布、连续 Emoji、剪贴板与文字编辑页 | v0.3.2-m5 CI 通过后，完成 Android 真机混输、滚动、选择和视觉验收 |
| M6 输入精修与候选交互 | 空 composition 修复、英文独立组合态、候选横滑、Emoji 惯性、分类符号与语义候选 | v0.3.3-m6 CI 通过后，完成 Android 真机宿主兼容、滚动和字体验收 |
| M7 固定几何与词库扩充 | 输入前后固定键盘高度、单行顶部槽位、成语词库、四字简拼优先 | v0.3.4-m7 CI 通过后，完成 Android 真机高度、字体与候选质量验收 |
| M8 AI 编辑 Harness | 协议、Provider、私有 Brain、长按空格、固定高度 AI Surface、快照、原子 Patch 与真实网络一次集成 | 松手取消 0 次误覆盖；旧快照 0 次上屏；Brain 故障不影响普通输入 |
| M9 事件与记忆底座 | Journal、Segment、Blob、Manifest、加密 Recall 与非用户路由快照 | 高负载采集不影响输入；只对已确认 DurableAck cut 保证连续，其他损失形成显式 gap；完整性回执和回放结果可重复 |
| M10 Skill 与工具 | 可配置 Skill、受限工具、上下文检索、质量回放 | 每个 Skill 可取消、可审计、可回退且不阻塞输入 |
| M11 稳定化 | 机型矩阵、24h 压测、固定签名、故障降级、发布检查 | 所有 P0 门禁通过，形成首个内测版本 |
连续多轮真实输入反馈使 M3–M7 优先关闭候选质量、渐进选词、高速触控、工具面板、中英混输、字符可达性、键盘几何和默认词库缺口。M8 优先交付用户明确要求的 AI 编辑 Harness；协议基础已由先前预览冻结，其余 Provider、交互、编辑事务和真实模型合并为一次可安装预览，完整事件归档、长期记忆和四方向 Skill 顺延，但仍保留模块边界。
以下保留 M0 的实施记录；当前代码位于 v0.4.9 可进化 Agent、中文九键、五笔 86、
流式搜狗语音、Skills 交互、Windows TSF 工程预览与个性化排序稳定阶段。
现有输入仍需继续完成 Android 真机安装、SQLite/剪贴板进程恢复、空
composing 跨宿主兼容、候选与 Emoji 惯性、符号字体和高速输入性能验收。
- 初始化 Gradle Wrapper、Version Catalog、Kotlin/Android convention plugin；
- 固定
minSdk 29、compileSdk/targetSdk 36，启用 arm64-v8a 与 x86_64 测试 ABI； - 创建
app、ime-service、ime-ui、core-input、benchmark五个首批模块； - 实现 Sense 设置首页、输入法启用与切换入口；
- 注册带
BIND_INPUT_METHOD的SenseInputMethodService； - 用单个自定义 View 绘制 QWERTY、候选栏、按下态与基础 Arctic Glass B；
- 实现短按、删除、空格、回车、大小写、composing 和假候选数据闭环；
- 建立无网络的
FakeDecoder，先冻结 Kotlin 与 native 解码接口； - 加入帧时间、输入延迟、冷/热启动与每键分配基准；
- 建立 lint、单元测试、构建 Debug APK 的 CI；
- 输出首份基准报告与至少一张实际运行截图；
- 用 ADR 记录 namespace、模块边界、渲染方案和后续 librime 接入点。
./gradlew test lint assembleDebug全部通过；- APK 能安装、启用、切换到 Sense，并在系统文本框输入；
- Provider 不存在、网络关闭时行为完全一致；
- 键盘高度稳定，候选栏不导致宿主页面反复重排；
- 60 Hz 模拟器或真机连续点击无可见卡顿；
- 基准结果以机器可读文件纳入版本控制；
- 不把 librime、Provider SDK 或事件存储提前耦合到 UI。
| Spike | 要回答的问题 | 通过标准 |
|---|---|---|
| P1 librime/JNI | ABI、词典体积、首启部署、候选延迟、内存是否满足预算 | arm64/x86_64 可重复构建；首批基准达标后锁定版本 |
| P2 IME Window Blur | Android 12+ 各 OEM 是否允许稳定跨窗口 blur | 任何时候关闭 blur 都能无闪烁切回拟态背景 |
| P3 Messenger Streaming | Brain 重启、断流、取消、Binder death 是否可控 | 反复杀死 Brain 不影响逐键输入 |
| P4 Gesture Lab | 四方向与中心符号的误触边界 | 多尺寸、多刷新率下取消率和误触率可测且可调 |
| P5 Journal Replay | 100 万事件写入、封存、损坏恢复、重放 | IME Main 不做 IO；事件顺序和校验可复现 |
librime 当前正式版本线已到 1.17.x，但项目不会因为“最新”就直接锁定；先完成 Android ABI、依赖、体积、许可证和性能验证，再把精确 commit 固定到版本目录。
- 单元测试： 输入状态机、拼音状态、候选排序、方向判定、EditorTransaction、事件编解码；
- 属性测试： 任意按键序列不破坏 composing 状态，Segment 编解码可逆；
- 仪器测试： InputConnection、横竖屏、WebView、进程回收、主题切换；
- 黄金图测试： Arctic Light/Dark、Glass B/Solid、不同 DPI 与字体缩放；
- Macrobenchmark： 冷/热启动、首帧、连续输入、候选更新；
- 回放测试： 空档案、1 月、1 年、10 年合成档案；
- 故障注入： Provider 超时/断流、Brain 被杀、快照损坏、Journal 队列高水位；
- 真机矩阵： Pixel、Samsung、小米/Redmi、OPPO/vivo 的低中高端代表机，覆盖 60/90/120 Hz。
| 风险 | 早期信号 | 处理 |
|---|---|---|
| librime 包体或首启过重 | M2 前已超冷启动/RSS 预算 | 词典分包、延迟部署；必要时评估替代内核 |
| 毛玻璃 OEM 差异大 | 真模糊启用率低或频繁掉帧 | Glass B 成为默认视觉，真模糊仅增强 |
| 模块过多拖慢构建 | 空壳模块多、跨模块改动频繁 | 维持七个稳定边界，按实际依赖拆分 |
| 事件采集干扰输入 | 队列高水位、CPU/IO 抖动 | CapturePolicy 默认拒绝普通键入；仅 allowlist 事件使用固定上限非阻塞入队，并受 Budget gate 约束 |
| Skill 异步覆盖新文本 | stale transaction 测试失败 | 禁止自动应用，统一降级到候选或缓存 |
| AI 输出污染个性化 | AI 短语排名自行升高 | 来源标签强制参与学习权重，AI 默认 0 |
| Provider 适配失控 | Skill 出现厂商分支 | 以能力快照与逻辑 Profile 隔离厂商协议 |
如果中文与混输内核无法在中端 Android 设备上满足候选延迟与 RSS 预算，项目暂停叠加 AI，优先修复输入内核；后续 Brain 影响 IME 稳定性时，Brain 整体必须可关闭并继续发布纯输入版本。
任一里程碑只有同时满足以下条件才算完成：
- 功能在真实 InputConnection 中可用，不只在 Demo Activity 中展示；
- 正常路径、降级路径和进程回收路径均有测试；
- 对应性能预算有可重复数据；
- 新增协议带版本，新增数据可回放；
- 没有网络和 AI 服务时普通输入不退化；
- 文档、ADR、基准结果与实现同步提交；
- 没有以 TODO 代替会影响下一阶段的核心行为。
项目自 2026-07-30 起按 GPL-3.0-only 发布。生产中文词库使用固定
commit 的 Rime Frost 首选源格式，
并通过 ime-service/src/main/lexicon/sources.json 固定来源哈希、整数权重
校准与索引预算。完整来源、转换、产物统计、APK 内许可副本和离线重建命令见
根目录 LICENSE、NOTICE 与
docs/adr/0022-gpl-rime-frost-lexicon-pipeline.md。合成排序 fixture 仅位于
ime-service/src/test/fixtures，不会进入生产 manifest。
- Android Developers：Create an input method
- Android Developers：InputMethodService
- Android Developers：Google Play target API 要求
- AOSP：Window blurs
- Android Developers：Baseline Profiles
- Android Developers：Startup Profiles
- Android Developers：WorkManager
- Rime：librime
下一步： 在 Pixel、Samsung、小米/Redmi、OPPO/vivo 上验收长按/松手竞态、自定义编辑器兼容、Brain 进程故障、真实 Provider 以及键位缝隙命中手感。