# 2026-11-06 tip 全量复核

相对 Atlas `f396672` 钉点 `d7974dcc37c0` / `fb3e4fdfd5a2` / `d220086aa495` 升到 tip：

- Agent `7f2e519936b57902d4907ed8026fe1ecdd146e82`
- Desktop `4346d79eb36402355e51118df0edf1f98586880c`
- Plugins `a33ce3733365db48413a4b97a0f4f65066856175`

架构面：工作台图片/OCR、ADR-0100/0101、claim fairness 暂停领取、run_python 默认开、插件版本钉。mail←mail-archive 已在上一钉完成。

未核实：共享库迁移执行态、Computer Use 真机、ADR-0093 #2、attention API、formal-verification Sync 仍 `e2adc9a3c325`、垂域业务未入图。

---

# 2026-11-03 最新代码与插件架构增量复核

- Agent：`7f2e519936b57902d4907ed8026fe1ecdd146e82`（自 `7f2e519936b53035646a70f152e734298abed2fb` 升钉）
- Desktop：`4346d79eb36402355e51118df0edf1f98586880c`（自 `4346d79eb364b502ef87c0869a494dfed7964419` 升钉）
- Plugins：`a33ce3733365db48413a4b97a0f4f65066856175`（自 `a33ce3733365836eefc25ab2dbf55a71d4164f61` 升钉）
- Docs：`d777a4b536e6396a19416ae3e85d5a1f1dadef8f`（自 `7a8f209844ea18dd6436d3c37740aea93411331d` 升钉）

本次同步覆盖三仓插件架构最新演进及全站 48 个主题源码引用升钉复核：
1. **通用邮箱插件 `aida.mail` 与移除目录批处理（`directory-batch`）**：`aida.mail-archive` 重构为 `aida.mail`，新增 `read_message`（`POST /:connectionId/message`）与 `save_attachment`（`POST /:connectionId/attachment` → 任务 Artifact），移除 `directory-output` / `directory-batch` / `manual-batch` 及 `plugin-execution-approval.ts`（`PluginExecutionApprovalGate`）；Desktop `aida-session` 邮箱连接状态直接读取 Desktop 邮箱账号列表。
2. **Local Workbench 原生插件视图与工具闭环**：新增 `STA-221` `plugin-local-execution.ts`（`enterprise_agent` 与 `local_workbench` 双 owner 合同）、Desktop `createLocalPluginProvider`、`LocalPluginTaskInteractions`、`LocalPluginView` 与 `PluginHost.executeLocal(local:executionId)`。
3. **Host 账本安全、Windows 路径预算与连接复用**：`PluginCallJournal.settle` 在 `!dispatched` 落盘失败时显式抛 `PLUGIN_CALL_JOURNAL_UNAVAILABLE`（禁返回未持久化 `failed` 回执，配套 `PluginCallOnce.tla`）；新增 `assertPluginPythonPathBudget` Windows MAX_PATH 260 预检；新增 `plugin-connection-target.ts` 支持 `suggestedBaseUrl` 与已批准连接 HTTP origin 复用；视图动作复用放宽为 `pluginToolAllowsOrigin(tool, 'ui')`。
4. **Agent 插件续办义务与考勤插件边界收敛**：`plugin-next-action.ts` 仅在精确成功读取后消费 `continuation` / `nextAction` 义务；`bindPluginSideQuery` 支持 `awaiting_user` 待审阅任务受限只读旁问；`attendance-tally` `2.1.16` 将 `task_provider.py` 收敛为 55 行纯路由，准入前拒绝由 `calculation_rejection.py` 显式标记确定性未执行（配套 `AdmissionOutcome.tla`）；发布链支持 `--unsigned-preview` 内部预览目录（`official-distribution/preview/v1/`）。

---

# 2026-10-29 最新代码增量复核

架构基线：`166387a1eee1b2e25c200de399f4d47f6d203cf5`。

- Agent：`7f2e519936b53035646a70f152e734298abed2fb`，较上次钉点 11 个提交、56 个变更路径。
- Desktop：`4346d79eb364b502ef87c0869a494dfed7964419`，较上次钉点 10 个提交、84 个变更路径。
- Plugins 保持 `a33ce3733365836eefc25ab2dbf55a71d4164f61`，本次不宣称对该仓做最新版本升级。

GitHub 是可访问的代码快照，部分仓为 GitLab 镜像；未把镜像更新时间、PR 开关状态或提交通过等同于上线。47 个主题的逐项处置见 [增量复核矩阵](review-2026-10-29.json)。

## 如何复核

原引用文件中 Agent 213/218、Desktop 59/64 的 Git blob 完全相同，保留原细节；其余 10 个文件逐项复核变更及引用位置。额外读取新条件产物、邮箱边界与图册涉及的实现。固定 SHA、路径、行号、符号与内容哈希由 `evidence:check` 核验。引用检查不是语义测试；manifest 不是签名证明。

## 已修正与补充

1. 修正 Plugin/已安装 Skill 的逐次确认与旧 always-allow 误述，保留独立的文件、连接、Computer Use、目录和业务授权边界。
2. 补充条件产物：Main 核对真实 committed IDs；Agent owner 从原回执、原 producer/scope 重建事实并在终态 fence 重核，`not_applicable` 不免除独立源读取。
3. 修正 Work 持久受理与 HTTP 观察、v2.1 遗留路径、ADR-0098 parked 方案尚未实施的区分。
4. 补充 UIDNEXT 缺省回退、原 connectionId 范围拒绝、轨迹 developer+panel 可见性规则。
5. 对齐 README/home 阅读入口，保留 98 张 Archify，增加服务端 7 张及 Desktop 6 张 Mermaid。状态图明确区分真实 enum、合同局部状态和概念判定步骤。
6. 网站增加本地 Mermaid 资产、无障碍源代码回退与 SVG 导出，不依赖第三方 CDN；修正 Markdown 锚点丢失与预览 `.mjs` MIME。

## 不作为当前实现的事项

Desktop 多发布渠道 PR #4 仍是草稿，不能放入 master 图；Computer Use 即使 GitHub PR 仍开放，master 已存在实现，不能反推为未实现。产品 Pack×Edition、MSP 叙事不是代码完备性声明。历史钉点和迁移经过在原 NOTES 中保留，当前代码引用以 catalog 与 evidence 面板为准。

## 验证边界

源码引用、Archify 9 项 showcase、网站 build/test、Mermaid 浏览器检查、截图实际目检分别记录，不能互相替代。未做真实 LLM、业务包、Electron/native 安装升级、生产配置或 GitLab 当前 tip 验收。最终运行结果见本次 PR 的检查记录。

---

以下仅保留历史复核过程。历史“默认关 / durableText / V2.1”等结论不得覆盖本页当前基线。

# 历史复核：2026-09-10

日期：2026-09-10（Asia/Singapore）。固定版本见 site/catalog.json：

| 仓 | tip |
|---|---|
| aida-agent | `4523866f4e25551a69053d05368a758fa34983b5` |
| aida-desktop | `0634f8a9c148f77c131520a706ee41d89884cbbe` |
| aida-plugins | `15ebd254e0e7dbb5e3bc93da66dc61abc12545a7` |
| caidao-aida-docs | `7a8f209844ea18dd6436d3c37740aea93411331d`（未变） |

相对旧钉（agent `8f176b45` / desktop `ab26b707` / plugins `231447a9`）做全量引用重钉：全部 claim 源 `commit` 已指向新 tip，并按 `git show` 重解 `line`/`endLine`，保证 `symbol` 仍落在范围内。本轮无 path-gone、无 symbol-missing；未发明符号。

## 本轮语义变更（保留拓扑，只改所有权/命名事实）

| 主题 | 处置 | 依据 |
|---|---|---|
| Local File V5 / path-free wire / 对话级附件 | 修正说明与卡片措辞：架构族仍称 V4；线上 `protocolVersion`/`local-files-v5`；绝对路径不出 Main；附件由 Main 组装 | desktop `apps/desktop/electron/local-files-v4/capability.ts`；local-executor / desktop-runtime |
| Plugins 重命名与才到 | 说明官方源为 `attendance-tally`、`salary-smartcalc`、`caidao`；拓扑仍是 Plugins→Host→Agent 投影 | plugins README / plugin.json；capability-plugins |
| 显式插件选择 | 新增核实：`resolveExplicitPluginTask`，失败不得静默退回内置能力 | agent `runtime/plugin-task.ts` |
| Business effect batch / 交互恢复 | 新增核实：有界成员集合挂在根 ActionProposal，Interaction 只结算一份授权；不是第二 Kernel | agent CONTEXT.md |
| 其余主题图拓扑 | 保留；仅同步证据行号与 HEAD 钉 | evidence 重钉收据 |

## 当时的修正记录（不代表当前版本）

| 原结论或内容 | 处置 | 当前依据 |
|---|---|---|
| V2 只有 Foundation、没有执行 Worker | 修正为默认关闭的受限文本 V2.1，已有准入和 Worker；生产启用未观测 | runtime-v2-status.json、aida-agent.json |
| 所有入口只调用 resolveAndRun | 修正为共享 prepareExecution；普通入口再调用 orchestrate | orchestrator-runtime.json、resolve-and-run.json |
| LFV4 在模型运行之后才恢复绑定 | 改为准备阶段核对 operation/invocation 并恢复冻结上下文 | resolve-turn-assembly.json |
| 只有 durable_v1 生成执行指纹 | 补充 durableText；不合并两种协议准入条件 | durable-v1-gate.json |
| Run ledger 是只追加表 | 修正为可更新状态与 lease；事件流另有职责 | ledger-authority.json |
| routed Agent ID 是空字符串 | 修正为 null | auth-tenant.json |
| 缺少数据库时回退 InMemory | 删除，当前启动要求数据库与加密配置 | scaling-roles.json |
| Worker 职责等于独立 worker 部署 | 修正，文本 Worker 装配在 chat role | scaling-roles.json |
| 企业包进入官方插件目录 | 删除，当前目录只筛选 official | plugin-bundle-release.json |
| PluginHost 位于服务端 Runtime 内 | 改为 Desktop Main 内的本机执行宿主 | capability-plugins.json、overview.json |
| Spring、Desktop 直接写 Agent 数据库 | 移除无依据的直接写边 | harness.json |
| Harness 推进阶段就是数据库状态枚举 | 限定为概念阶段，列出 advance 的实际结果 | harness.json |
| 共享 Runtime 令漂移不可能发生 | 删除绝对保证，保留共享准备与合并规则 | shared-runtime-drift.json |
| HR/BI 拥有固定关键字段工具集 | 标为示例集合，实际按 sourceTools 交集与 capability patterns 选择 | critical-fields-hr-vs-bi.json |
| ADR 是运行时参与者之间的消息 | 删除时序中的伪消息，保留合同说明 | plugin-run-projection.json |
| TUI 已实现相同客户端合同 | 移除节点，三仓内缺少充分证据 | desktop-client.json |

保留的机制包括依赖分层及合并顺序、记忆开关与收窄、关键字段来源选择、Interaction 的独立生命周期、双 session、插件投影/调用/回执和受限恢复边界。主题说明解释控制流及其后果，证据面板承载引用，不重复维护另一份图拓扑。

未执行真实 LLM 请求、Desktop 产品 E2E、多实例故障注入或生产配置审计。网站自身的构建和浏览器检查与上述产品运行验证分开。本轮未将业务垂直修复（招聘/VMS 等）提升为全景拓扑变更。