Preview

.agents/notes/implemented/architecture/2026-09-13-language-tooling-and-lsp-runtime-ownership.md

@@ -78,6 +78,20 @@ Rename/Formatting/Code Action/Resolve/Execute Command 目前仍是
 LSP-only，未声明能力时返回明确的 capability 错误。Provider 抛错不会
 让路由提前结束，用于隔离第三方语言服务器故障。
 
+### Windows 语义颜色请求
+
+Windows 的语义高亮复用 Core 已有 `semanticTokens` 操作与请求时捕获的图例，
+前端只将归一化结果映射成 Monaco 的固定图例，不再解码服务器原始相对坐标。
+仅移除客户端能力检查并不能修复 #675：适配器必须映射命令，服务器的
+`semanticTokensRefresh` 也必须触发 Monaco 重新请求。
+
+正确顺序是先冲刷编辑器待发送的文档变更，再请求颜色，最后检查模型版本、
+文件路径、文档打开状态与取消状态。否则请求可能基于服务器尚未更新的旧文本，
+即便 Monaco 版本号在请求期间没变，也会把旧位置应用到新文本。
+适配器还会核对文件 attachment（文档与语言服务器会话的归属对象），归属被替换
+后丢弃旧响应。取消与 deadline 继续走现有请求路径；设置开关和大文件降级仍由
+Monaco 选项控制，缺少协商能力时保留基础语法高亮。
+
 ### 会话生命周期不变量
 
 会话生命周期必须是单一判别状态；capability 协商单独表示为 `unknown`
@@ -215,6 +229,12 @@ capability 为准。
 
 ## 验证
 
+Windows 语义颜色使用 `lsp-core-adapter.test.ts` 和
+`semantic-token-provider.test.ts` 消费同一份
+`shared/fixtures/lsp/semantic-tokens-v1.json`，覆盖命令路由、图例转换、刷新通知、
+取消、归属替换、同步先后顺序及过期模型。Linux 可运行这些确定性前端测试；
+真实 JDTLS 与 WebView2 上色、大文件降级仍需 Windows 验收。
+
 Windows 启动回归由 `workspace-git-bootstrap.test.ts` 验证恢复 Java 文档与后台
 共用准备任务、子仓库未完成时不启动 Maven、失败后继续、关闭重开丢弃旧结果，
 以及文件树仍能匹配主仓库的修改标记。相关用例与扫描合并、Git 历史恢复用例

.agents/notes/implemented/architecture/2026-09-21-maven-settings-reach-the-language-server.md

@@ -239,6 +239,26 @@ Maven、版本、路径和来源，例如「自动 → JDK 21.0.4 · 路径 · 
 「自动」本身的选择规则（是否按项目要求版本挑选、Windows 候选排序）属于 #815，不在此处
 改变。
 
+### Maven 设置页的检测边界（#844）
+
+Windows Maven 设置页的空字段展示当前已保存配置下的生效值。例如选择了团队的
+`settings.xml`，本地仓库留空时应显示该文件声明的仓库，不能显示忽略团队设置后
+得到的 `~/.m2/repository`。Maven 安装使用启动上下文已经解析的路径；JDK 与独立
+Maven 目标共用项目默认值继承逻辑。显式字段不再显示未启用的自动候选，检测中
+也不继续显示上一份配置的路径。切换项目必须丢弃未保存草稿，即使两个项目的
+已保存字段刚好相同。
+
+检测命令在后台工作线程执行。Maven 路径只做文件检查，不运行 Wrapper；JDK
+仅探测 Java 候选，不连带运行 Maven、Node。每次版本探测设三秒截止时间，复用
+`lithe-git-host` 的原生进程执行器处理输出上限、进程树终止和有界清理，避免用户
+打开设置就因 Wrapper 下载或卡住的版本命令冻结界面。
+
+设置文件中的仓库提示复用 Core 已使用的 `quick-xml`，解码实体和 CDATA（XML 中
+保留原始文字的区段），只读取 `settings` 的直接子元素，并读完整个文档后再接受
+结果。不能截取标签间的原始字符串，否则 `D:/R&D` 会变成错误目录，缺失闭合
+标签也可能被当作路径。这里只提供只读提示，不生成 Maven 的完整生效模型；
+`${user.home}` 以外的属性保持原文，完整插值和最终构建配置仍由 Maven 负责。
+
 ## 验证
 
 - Rust Core：`cargo test --manifest-path rust/lithe-core/Cargo.toml`
@@ -254,6 +274,11 @@ Maven、版本、路径和来源，例如「自动 → JDK 21.0.4 · 路径 · 
 - Windows 宿主：`cargo test --manifest-path windows/tauri/src-tauri/Cargo.toml
   maven_resolution_without_probing` 覆盖 Wrapper 优先、主目录与启动器两种覆盖
   写法、残缺 Wrapper 不被选中。
+- Maven 设置：Windows 宿主 `cargo test --manifest-path windows/tauri/src-tauri/Cargo.toml
+  maven::settings_xml` 覆盖实体、CDATA、命名空间、注释和不完整 XML；同一宿主的
+  `toolchain_probe_` 测试覆盖已到期的探测和两个输出流。前端
+  `maven-detected-value.test.tsx`、`maven-project-jdk.test.ts`、`maven.store.test.ts`
+  验证显示与启动选择一致，`maven-settings-panel.test.tsx` 验证项目切换丢弃草稿。
 - 共享契约：`./scripts/verify-shared-contracts.sh`。
 - 测试稳定性：`./.agents/skills/write-stable-tests/scripts/verify-test-stability.sh`。
 - 生效值显示：Windows 宿主 `cargo test --manifest-path windows/tauri/src-tauri/Cargo.toml