工程长文

桌面 AI 智能体技术深扒

一篇只讲一个工程问题：它长什么样、有哪几种解法、各自要付什么代价、我们最后踩了哪个坑。写进文章的实现细节都对着源码核过，没核过的宁可不写。

只写能对着源码核验的细节。

2026 年 11 月

DeepSeek 开源 super-agent 架构精读：一条 @提到怎么变成一次 PR

从一条 @提到到一次 PR，dsh-superagent 用 Source/Trigger/Thread/Eval/Ticket/Assignment/Executor 一套干净的领域模型，把'被请求→鉴权→干活→回复'串成可审计、可恢复的工作流。它吃 DeepSeek Harness 的基础设施，自己只做编排与策略。

DeepSeek开源Agent 架构工作流

主会话 + 工作会话：Agent 编排里「大脑与手」为什么要分开

Agent 编排的本质是把'谁来判断'和'谁来动手'拆开。dsh-superagent 用主会话（router，负责评估与调度）和执行会话（每 Ticket 一个 worker）分离关注点；Lyncore 用 spawn_worker 在顶层收口 lite/pro 执行器加并行 expert，重的拆解归 Pro。分离之后，长任务不再污染调度上下文，并发也能各自独立。

多智能体编排会话派发

五层记忆 vs 查询式召回：Agent 到底该不该有长期记忆

Agent 的'记忆'不是越大越好，是分层要对。dsh-superagent 没有分层长期记忆，它的'记忆'是 SQLite 查询召回加受限上下文窗口（Thread 窗口首5+前后5条）。Lyncore 显式做了五层记忆 L1–L5：L1 上下文 / L2 偏好 / L3 历史 / L4 行为模式 / L5 长任务（薄层，已落地，常量 LayerLongTask='L5'）。分层让不同生命周期和可见范围的信息各管各的边界，才不会把 A 客户的事说给 B。

记忆向量RAG上下文

先决定、后动手：用事务外发队列让 Agent 重启不丢活

Agent 的可靠性，往往卡在'决策'和'副作用'之间的缝隙：决定要发消息了，进程崩了，消息没出。解法是把副作用从'调用时执行'改成'事务内入队、提交后执行、失败退避重试'。dsh-superagent 的 Effects 队列与 Lyncore 的 NATS 事件总线 + dag_run_events 持久记录，是同一思路的两种工程实现。

可靠性事件溯源事务队列

把「等人」做成一等公民状态：Agent 的人机协同怎么设计才不卡死

把'等人'当成异常去处理，Agent 就会在需要人拍板时整系统僵住。正确做法是把'等人'做成显式的、可恢复的状态：dsh-superagent 用 Ticket 的 person/* 阶段（answer/review/blocked/failed）+ Attention；Lyncore 用 waiting_approval（T3）非终态挂起、经 resumed 原位续走。两者都拒绝把人工介入算作失败。

人机协同human-in-the-loop审批任务生命周期

2026 年 10 月

三条能终止的护栏：长任务不再被轮次墙卡死

长任务曾被 37 个终止点同时盯着（轮次墙/上下文闸/各类时间墙/审批超时/异常路径），每道都是判死。最终收成三条硬终止（用户取消/授权预算耗尽/不可恢复错误）+ 三级护栏（提醒→降级→交卷续接），正常任务能撞到的闸就是画错的闸。

长任务护栏终止条件

任务生命周期：行先于执行，删会话不再留幽灵

长任务三个老毛病：删会话留幽灵链、快车道执行期无任务行不可取消、T3 无人值守被直接拒。根因是任务行与执行两张皮。改造：行先于执行（派发前建行+fail-fast）、删会话级联取消、T3 挂起三合一（auto 不直拒+三重豁免+无超时+批后原位续走）。

长任务任务生命周期T3挂起

验收契约：把「交付没交付」变成机器能判定的事

长任务验收原只看文件存在，模型用脚本批量生成形似报告全部通过，四道质量闸全以 file 工具为统计面、python_exec 是盲区。改用验收契约：派发时结构化定义交付面（四来源同源）+ 缺口引擎要素级断言（contains/行数/字节）+ 写动作可追溯 + 输入不可变快照。

长任务验收契约产物真实性

五层记忆：分身记得住，又不把 A 客户的事说给 B

记忆不是越大越好，是分层要对。五层记忆用上下文、偏好、历史、行为模式、长任务结论把边界切开；向量检索是历史层的机制，不是独立的记忆层。跨会话隔离和字符级截断是两条不能省的线。

记忆分层向量上下文

长任务不是“跑完”，是“交卷”：任务预算与超时怎么设计

任务预算耗尽不该判失败，而是交卷：把已完成的产出作为草稿交回。节点超时按累计时长计、上下文上限走统一解析，才不会出现假并行或静默挂死。

长任务预算超时调度

异步双工：让长任务不打断对话，工程上要解决四件事

把长任务跑起来只是第一步。异步双工要真正可用，得解决上下文回灌、状态可见性、中断语义、失败续跑这四件事。

异步双工长任务上下文