docs(resident-subagent): 驻留式子 agent 设计稿(轻量内核 · 两级记忆 · 父子中断)

把用户口述的设计固化成文档,与已落地的 input-scheduler-design.md 配套。

定下来的核心:
- inputch = 对「中断输入/排队输入」两者的高层抽象,是**路由与分配**单位
  (路由发生在进内核之前;类别与级别是每条输入的属性,不是 inputch 的属性)
- 输出是 agent 的**主动调用**(output_send__{通道});内核不持「当前通道」可变状态、
  提示词不预设 outputch
- 通道不配对:父**划入若干输入通道** + 授权**一组可用输出通道**;输出可寻址到具体 agent
- 驻留子 = **独立轻量内核**:读 temp∪main、写 temp(记忆层按 agent 作用域化 ——
  这才是「轻量」的真正理由,不是砍功能)
- 两条独立中断阶梯:父侧 子的主动消息=L3 / contextfull=L4;子侧 **父的消息=L4**
  (L4 通则:某 agent 的 L4 只属于它的内核 ⇒ isKernelLevelSource 泛化为「该 agent 的上级」;
  子内部一切来源被夹到 ≤L3,所以父的消息确定能打断子)
- 父对子 6 个动作:创建/发送消息/查看/压缩/回收/销毁(原语在内核、决策在父的模型);
  插件与工具由父授权,**默认完整授权**
- contextfull 三处置:压缩=保留(清处理表)/ 回收=取消(promote 选中的 temp 进 main)/
  销毁=立刻销毁并移除
- inputch 处理表:子持有、父 pull;主动写入优先,否则系统自动写;生命周期 = 当前上下文窗口
- 登记表 + 硬约束:父可随时销毁,父退出必须销毁全部,子不得比父活得久
- 工作式轻量子 agent **原样保留**,两类并存

含 20 个测试点(S1–S20)与 8 个里程碑(N0–N7,每步独立可验收)、
12 条待确认决策(全部带可逆默认值)。
This commit is contained in:
JianFeeeee
2026-09-13 08:39:40 +08:00
parent 158395bfdf
commit fc41e160db

View File

@ -0,0 +1,422 @@
# 驻留式子 Agent 设计(轻量内核 · 两级记忆 · 父子中断)
> **前置**:本文建立在《输入调度器设计》(`docs/zh/input-scheduler-design.md`)之上。
> 那里已经落地了:两类别输入(中断 / 排队)、四级中断优先级、可抢占、
> 现场保存/恢复、中断栈LIFO结构上界 4 帧、任务级回执、panic→L4。
> 本文只描述**驻留式子 agent** 这一新能力,以及它对既有实现的改动。
>
> 标记:**[已定]**= 用户明确拍板;**[默认]**= 本文给出的可逆默认取值,实现时在提交信息里标注。
---
## 1. 背景与目标
现状的子 agent 是**工作式轻量子**`spawn_child` 起一个一次性 goroutine临时 `msgs`
跑完把结果经 `selfInputCh` 回投父,然后销毁。它**没有**自己的中断机制、没有通道分配、
没有可查询的状态面,父也无法在它运行途中干预它。
要让父 agent 能**长期派驻**一个下属去持续处理某类工作(一个 inputch 上的来源、一段长期目标),
就需要一种新的子 agent**驻留子**。它必须满足:
- 有自己的**轻量内核**(自己的调度器、中断机制、上下文),所以父能"打断它"、"查它"、"回收它"
- 有自己的**记忆空间**(可写),但**改不了父的主记忆** —— 记忆入库的决策权留在父手里;
- 与父之间有**双向、可寻址**的通道(子→父、父→指定子),且父对子的消息是**最高级中断**
- 有一张**可被父查询的状态面**inputch 处理表),使父不打断它也能知道它做到哪;
- 生命周期由父掌握:父可随时**销毁**它,父退出时**必须**销毁全部。
**两类子 agent 并存**[已定]:工作式轻量子**原样保留**(它是"内核自循环"的一部分,
不是对等 agent驻留子是新增的第二类。
---
## 2. 术语
| 术语 | 含义 |
|---|---|
| **根 agent** | 进程级主 agent拥有**完整内核**(含记忆读写、全部通道) |
| **驻留子** | 父创建、长期驻留的子 agent拥有**轻量内核**与**临时记忆空间** |
| **工作式轻量子** | 现状 `spawn_child` 的一次性子任务(**不是内核实例** |
| **inputch** | 对"中断输入 / 排队输入"两者的高层抽象,是**路由与分配**的单位 |
| **outputch** | 输出通道;输出是 agent 的**主动调用**,并**可寻址到具体 agent** |
| **main 空间** | 主记忆空间:父读写、所有子只读、全部子共享 |
| **temp 空间** | 子临时记忆空间:该子读写、子之间互不可见 |
| **状态面** | 子对外(对父)可查询的状态:含 **inputch 处理表**与产出 |
| **处理表** | 按 inputch 记录每轮处理信息的状态表(子持有,父 pull |
| **登记表** | 父持有的全部子 agent 名录id / 状态 / 通道 / 状态面句柄) |
| **contextfull** | 子的上下文窗口满,产生 L4 中断通知父 |
| **压缩 / 回收 / 销毁** | 父对 contextfull 的三种处置(见 §9 |
---
## 3. 角色与内核形态
| | **根 agent** | **驻留子** | **工作式轻量子**(保留不动) |
|---|---|---|---|
| 内核 | 完整 | **轻量** | 无(不是内核实例) |
| 调度器 / 四级中断 / 中断栈 | ✅ | ✅(**L4 只来自父** | ❌ |
| 上下文 | 完整(记忆介导) | 传统上下文(消息序列) | 临时 `msgs` |
| 记忆 | main 读写 | **读 temp main写 temp** | 无 |
| 通道 | 全部 | 父**划入**的输入通道 + **授权**的输出通道 | 无(结果回投父) |
| 插件与工具 | 全部 | **父授权,默认完整授权**[已定] | 现有剔除规则不变 |
| 状态面 / 处理表 | — | ✅(父 pull | ❌ |
| 子→父 | — | 主动消息 = **L3 中断** | `injectSelfChannel``selfInputCh`(排队) |
| 主→子 | — | **L4 中断**(取消当前状态 + 插入新消息) | 无 |
| 生命周期 | 进程级 | 父持登记表;父可随时销毁;**父退出必须全部销毁** | 跑完即销毁 |
---
## 4. 通道模型
### 4.1 `inputch` 的定义 [已定]
`inputch` **不是**通道名标签,也**不是**与 outputch 配对的东西。它是:
1. **对"中断输入"与"排队输入"两者的高层抽象** —— 两类输入都从 inputch 进出;
2. **路由与分配的单位**
- **路由**:一条输入投给哪个 inputch就是"该由谁处理"的**既定事实**
**路由发生在进内核之前**
- **分配**inputch 是**可分配资源**(父把输入通道划给子)。
「中断 vs 排队」是**每条输入自己的类别**(由注入 API 决定级别L1L4也是
**每条输入的属性**,都不是 inputch 的属性。
### 4.2 三个入场(沿用现有实现)
| 入口 | 承载 |
|---|---|
| `inputCh` | 外部客户端 / 插件的**排队与中断**输入(已预寻址) |
| `interruptCh` | 中断入站(外部 / 插件 / 内核自身) |
| `selfInputCh` | **内核自循环**consolidation、工作式轻量子回投 |
### 4.3 输出是**主动调用** [已定]
- 异步通道qq / 微信 / 群聊…):必须显式调用 `output_send__{通道名}` 才真正送达;
- 同步通道webui / cli / 终端):返回纯文本,内核把文本交给等待方 ——
走输入事件自带的 `ResponseCh`,这是**事前定好的回程**。
**内核不持有"当前通道"可变状态****提示词也不预设 outputch**。
(要删 `Agent.currentOutputChannel`;要删 `tooldefs.go` 里"当前输入来源通道是 X
对应输出门工具是 output_send__X"那两行。)
> 之前把这件事说成"内核路由"是错的:内核只负责**投递到既定的回程**与**执行显式的输出调用**。
### 4.4 通道分配:不对称 [已定]
- **不按对划分**。父为子:**划入若干输入通道** + 授权**一组可用输出通道**(授权集合,不是一对一)。
- **输出通道可寻址到具体 agent**
- **子 → 主**:子直接打到主(经输出通道投进主的 inputch
- **主 → 指定某个子**:父经输出通道投进**指定子**的 inputch。
### 4.5 通道的一等化(实现要求)
现在 `Source` / `OutputChannel` 只是字符串标签,`IOManager.inputCh` 是**一条全局 channel**
`inputChannels` 只是策略表(`ChannelDef`NoMemory / Cleaner / ContextPolicy
**没有归属、没有绑定、没有容量**。要实现 §4.4 需要新增:
- **通道注册层**`inputch` 成为一等对象(归属 agent / 容量 / 可接收类别 / 输出目标解析);
- **输出通道 → 目标 agent 的 inputch** 的解析;
- **授权过滤**`output_list_channels` 只列该 agent 被授权的通道。
---
## 5. 记忆模型:两级空间 [已定]
```
主记忆空间main ← 子【只读,可看到全部】;父【读写】;所有子共享
子临时记忆空间temp ← 该子【读写】;每个子独立、互不可见
子的记忆查询 = temp main 子的记忆写入 → 只落 temp
```
| | 根 agent | 驻留子 |
|---|---|---|
| main | **读写** | **只读**(可见全部) |
| temp | —(它自己就是 main 的所有者) | **读写**(自己的空间) |
| 查询范围 | main | **temp main** |
### 5.1 "轻量内核"的真正理由
不是砍功能,而是**记忆层被作用域化**
- **写目标**被限定到 `temp`(子自己的命名空间);
- **读视图**被扩成 `temp main`(两个空间的并集)。
完整内核的记忆层**硬绑定在单一 main 空间**上。要让每个 agent 都有自己的空间 +
并集读视图,记忆层就必须接受**每个 agent 一份的作用域参数** —— 这就是轻量内核存在的理由。
### 5.2 推论:记忆写工具不禁用,而是**重定向**
子是**能写**的(写自己的 temp。因此
- 记忆写工具(图记忆写、文本记忆写、**文档记忆写**、**向量索引写**、**媒体落盘**
**不禁用,而是重定向到 temp 命名空间**
- 检索注入算"读",范围 `temp main`
- 子**不能**写 main ⇒ "哪些内容进入主记忆"的决策**结构上**只在父手里§9.2)。
### 5.3 三种处置对记忆的作用
| 动作 | temp | main | 子 |
|---|---|---|---|
| **压缩** | 保留 | 不写 | 继续 |
| **回收** | 父读 → **选中的 promote 进 main** → 丢弃 temp | 父写 | 取消 |
| **销毁** | 直接丢弃 | 不写 | 立刻移除 |
### 5.4 待钉的边界 [默认]
- temp 与 main 是**同一套记忆子系统里的命名空间**(同一批表/索引 + 一个 space 维度),
不是独立存储 ⇒ "并集读"就是一次查询里的两个 space 条件;
- 父**可读**子的 temp要决定 promote 什么),属"查看状态面"的一部分;
- temp **与子同生共死**;子之间 temp **互不可见**
---
## 6. 中断模型:两条独立阶梯 [已定]
```
在【父的】中断阶梯上:
子的主动消息 = L3 中断 (子主动汇报,带子标识)
子的 contextfull = L4 中断 (资源耗尽,需父立即决策,带子标识)
在【子的】中断阶梯上:
父的消息(发送消息) = L4 中断 ← 子的 L4 归父独占
```
### 6.1 L4 归属通则
> **某个 agent 的 L4 只属于它的"内核"。**
- 根 agent 的内核 = 内核自身panic / 内核事件 selfip+ 内核级插件WebUI 终止按钮);
- 驻留子的内核 = **父 agent**
⇒ 现有 `isKernelLevelSource`(只认编译期内置插件)**泛化为"该 agent 的上级"**,不为子开特例。
### 6.1.1 **父消息 = 子的 L4**(落地机制,钉死)
父 → 子的"发送消息"是一条 **L4 中断**,它是**子的阶梯上唯一的 L4 来源**。具体落地:
```
父【发送消息】到指定子
└─ 经输出通道寻址到该子的某个 inputch
└─ 在该子的调度器里按 L4 登记(子的内核级来源 = 父)
└─ 子的 L4 > 子内部一切 ⇒ 立即打断子的当前任务
```
- **子内部任何来源都够不到 L4**:子自己的输入注入、工具、定时器、插件……
一律被夹到 **≤ L3**(与根 agent 里"外部插件被夹到 L3"完全同一条规则,
只是"内核级来源"从"编译期内置插件"变成了"父 agent")。
- 后果一:**子内部任何东西都压不过父**(父的话是子的最高级输入)。
- 后果二:父的"取消当前状态 + 插入新消息"因此是**确定能生效**的
—— 不会因子内部正在跑什么而被挡住(除非子处于不可抢占临界区,
此时按调度器既有规则在安全点生效)。
**子侧内核级事件如何上报**(推论,待确认):子的 panic / contextfull 属于**子侧的内核级事件**
但在**子的**阶梯上 L4 归父独占,所以它们不能作为"子自己的 L4";应当**上报给父**
在**父的阶梯上以 L4带子标识**出现 —— 与 §9 的 contextfull 同一条通路。
(即:父侧 L4 = 子侧内核级事件的接收位;子侧 L4 = 父控制语的发射位。)
### 6.2 为什么 contextfull 是 L4 而不是 L3
它是**必须由父立刻决策**的场合(三个处置都与子的存续有关),且决策要读**一整个状态面** ⇒
只能"**推信号 + 拉状态**",不能把状态塞进中断消息里。
---
## 7. 父对子的控制面6 个动作)[已定:原语在内核,决策在父的模型]
| 动作 | 语义 | 子是否继续存在 | 走哪条路 |
|---|---|---|---|
| **创建** | 划入输入通道 + 授权输出通道 + 授权插件/工具(默认完整)+ 在固定提示词之上注入任务提示词 | — | 内核原语 |
| **发送消息** | 经输出通道寻址到子的 inputch**取消当前状态 + 插入新消息** | 是 | 对子 = **L4 中断** |
| **查看** | **pull** 子的状态面(处理表 + temp 产出),**不打断**子 | 是 | 纯查询,**不走中断** |
| **压缩** | **保留语义**:压上下文 + **清理处理表** | **是**(同一驻留子) | 见 §9 |
| **回收** | **取消语义**:父看状态面 → 选择哪些 **promote 进 main** → **取消**该驻留子 | 否 | 见 §9 |
| **销毁** | **立刻销毁并从登记表移除**(不收割) | 否 | 立即 |
- **创建/销毁/回收/查看/发送**是**父可调用的原语(工具)****决策**(压还是收、收哪些)
在父的模型手里 —— 内核不替父决定。
- **默认完整授权**[已定]:子默认拿到全部插件与工具(含输出门);
父可在创建时**收窄**(收窄工具子集、收窄可用输出通道集合)。
⚠️ 默认含输出门意味着**子可以直接对用户通道发消息**;若要默认收窄,改一处默认即可。
---
## 8. inputch 处理表
### 8.1 归属与方向
- **子是持有者**;父**主动查看pull****不是**推给父。
- **内容**:按 inputch 记录**每一轮**子对该 inputch 的处理信息。
- **存在意义**:长期驻留子的**进度可见性** —— 父不必打断它就能知道它做到哪。
### 8.2 写入规则
- 子**主动写入**时,系统**不**自动写;
- 子**未主动写入**时,系统**自动**把该轮 inputch 对应的信息写进去;
-**每一轮必有记录**,父不会看到空洞。
[默认]"主动写入"的动作形态 = 子调用一个 `inputch_note` 类**工具**
自动写入在轮次结束时由内核兜底。
### 8.3 生命周期 = 上下文窗口
处理表记的是"**当前这段上下文窗口**里每轮 inputch 做了什么"。
因此:
- **压缩必须清表**(窗口被压成摘要后,逐轮记录被摘要取代;留着会让父看到与当前窗口
不对应的陈旧状态);
- **回收不必清表**(表就是父刚读过的收割材料,子都没了,表自然作废);
- ⇒ 处理表天然有**大小上界**(窗口多大、表最长多长),不需要额外容量策略。
---
## 9. contextfull 的处置
```
子的上下文窗口满
└─ 产生 contextfull → **L4 中断**通知父(中断信息里标明是哪个子)—— 只推信号
└─ 父【查看】子的状态面(处理表 + temp 产出)
├─ 【压缩】压成摘要 → 清处理表 → 子续用 (保留语义)
├─ 【回收】选择 temp 中哪些 promote 进 main (取消语义)
│ → 丢弃 temp → 取消该驻留子
└─ 【销毁】立刻销毁并移除 (不收割)
```
| 动作 | 语义 | 子上下文/成果 | 子 agent | 处理表 |
|---|---|---|---|---|
| **压缩** | **保留** | 压成摘要 | **继续存在** | **必须清理** |
| **回收** | **取消** | 选中的 promote 进 main | **取消** | 不必清 |
| **销毁** | 立刻销毁并移除 | 不收割 | 立刻销毁 + 出登记表 | 无关 |
[默认]压缩由**子的轻量内核自己执行**(它拥有自己的上下文与 LLM
---
## 10. 登记表与生命周期硬约束
- 父持 **agent 登记表**,记录全部子:`id / 状态 / 划入的输入通道 / 授权的输出通道 /
授权的插件与工具 / 状态面句柄`。
- 它是**查看 · 发送 · 压缩 · 回收 · 销毁**的寻址依据。
- **硬约束(必须写成测试)**
1. 父 `Stop()` ⇒ 销毁全部子(取消运行中的任务、停轻量内核、释放其通道),
**登记表清空、不留孤儿**
2. **子不得比父活得久**(无孤儿 goroutine / 无悬空通道 / 无残留 temp
---
## 11. 并发与不变量
沿用输入调度器的并发模型,并按多 agent 扩展:
- **每个 agent 一个调度器 goroutine**(根 agent 与每个驻留子各一个),
它**独占**自己的队列 / running / 中断栈 / 帧。
- 跨 agent 投递只经**通道**(值传递),**不共享帧**;父**永远不能**直接改子的帧。
- **子不得比父活得久**§10
- 父的"查看"是**只读快照**,不阻塞子、不参与子的调度决策。
- **L4 独占**:子的调度器只接受来自父的 L4§6.1)。
---
## 12. 与现有实现的接合点(差距清单)
| 设计项 | 现状 | 要做 |
|---|---|---|
| 两类别 + 四级中断 + 抢占/挂起/恢复/中断栈 | ✅ 已落地(见 input-scheduler-design.md | 复用 |
| inputch 一等化(归属/容量/授权) | ❌ `inputCh` 是全局单 channel`ChannelDef` 只是策略表 | **新增通道注册与分配层** |
| 输出通道可寻址到 agent | ❌ 只有字符串标签;`output_list_channels` 列全部 | 通道解析表 + 授权过滤 |
| 子的 L4 = 父 | ⚠️ `isKernelLevelSource` 只认内置插件 | 泛化为"该 agent 的上级"(分层) |
| 轻量内核(记忆作用域化) | ❌ 记忆层绑定单一 main 空间 | 记忆子系统加 **space 维度**`AgentConfig` 加**作用域参数** |
| 记忆写路径重定向到 temp | ❌ 写路径无空间概念 | 所有写入口带 space子的一切写 → temp |
| 驻留子生命周期 + 登记表 | ❌ 只有一次性 `runChildTask` | 驻留子 + 父的登记表 + 退出清理 |
| 跨 agent 投递(子→父 L3 / 父→子 L4 | ❌ 无 | 投递原语(复用注入层 + 通道寻址) |
| inputch 处理表 | ❌ 无 | 新数据结构 + 主动写入工具 + 自动写兜底 |
| contextfull 检测 | ❌ **完全没有** | 检测 + L4 通知(带子标识)+ 三处置 |
| 内核不持有"当前通道" | ❌ `currentOutputChannel` + 提示词预设 | 删字段、删预设 |
| 工作式轻量子 | ✅ | **不动** |
---
## 13. 非目标(本文明确不做)
1. 跨进程 / 跨主机的驻留子v1 只在同进程内)。
2. 子的**子**(驻留子再创建驻留子)——先不做,保留扩展位。
3. main 空间的**多写者**(父是唯一写者,不做并发合并)。
4. temp 空间的持久化(跟子同生共死,不落盘)。
5. 工作式轻量子的任何行为变更。
---
## 14. 测试点、方式与预期
| 编号 | 测试点 | 方式 | 预期 |
|---|---|---|---|
| S1 | 创建:划入输入通道 + 授权输出通道 | 创建子,向划入的 inputch 投输入 | 子处理它;未划入的 inputch 投不进(或报错) |
| S2 | 授权收窄 | 创建时只授权部分工具/插件 | 子的工具表恰为该子集;`output_list_channels` 只列授权的 |
| S3 | 默认完整授权 | 不传授权参数创建 | 子拿到全部插件/工具 |
| S4 | 子→父 L3 | 子在工作中主动发消息 | 父侧收到 **L3 中断**且带子标识;父可被打断(非临界区时) |
| S5 | contextfull → L4 | 灌满子的上下文 | 父侧收到 **L4 中断**、带子标识,且**只推信号** |
| S6 | 父→子 L4 | 父"发送消息"到指定子 | 子在收到时被打断L4 > 子内部一切),按 §15 的默认挂起/恢复 |
| S7 | 查看pull 不打断) | 子在跑长任务时父"查看" | 返回状态面快照;**子的 step/帧不变**、未被抢占 |
| S8 | 处理表:自动写兜底 | 子一轮不主动写 | 该轮仍有记录(系统自动写) |
| S9 | 处理表:主动写优先 | 子主动写 `inputch_note` | 该轮只有主动写的内容,无自动写 |
| S10 | 压缩(保留语义) | 父选压缩 | 上下文变短;**处理表被清空****子继续存在**且能继续干活 |
| S11 | 回收(取消语义) | 父选回收并挑若干条 promote | 选中内容进 **main**、其余丢弃;**temp 被丢弃****子被取消** |
| S12 | 销毁(立刻) | 父销毁(含子正在跑工具/LLM 时) | 子立刻消失、出登记表、其 temp 丢弃、通道释放 |
| S13 | 子不得写 main | 子调记忆写工具 | 落在 **temp**main 无新增 |
| S14 | 子查询范围 = temp main | 子查只在 main 里的内容 / 只在 temp 里的内容 | 两者都能查到 |
| S15 | 子之间 temp 隔离 | 两个子各写 temp互相查 | 查不到对方的 temp |
| S16 | 父退出清理 | 父 `Stop()`(多个子、有子在工作中) | 全部子被销毁;登记表空;**无孤儿 goroutine / 无悬空通道 / 无残留 temp** |
| S17 | L4 独占 | 子内部(子自己的输入/工具/定时器)试图产生 L4 | 被夹到 **≤L3**;只有父的消息是 L4 |
| S19 | 父消息必能打断子 | 子在长任务中LLM 流式段)时父发送消息 | 子按 L4 被打断;若子在不可抢占临界区,则在安全点生效 |
| S20 | 子的内核级事件上报 | 子 panic / 子 contextfull | 在**父的阶梯上以 L4带子标识**出现;子侧不自己产生 L4 |
| S18 | 内核不持有"当前通道" | 抢占/中断后被打断任务恢复并发响应 | 提示词与事件标签都**只来自输入事件**(不再有被覆盖的字段) |
---
## 15. 待确认决策(含默认取值)
| 编号 | 问题 | 取值 |
|---|---|---|
| **R1** | 驻留子的内核形态 | **[已定]独立轻量内核**(自己的调度器/中断栈/上下文/记忆作用域) |
| **R2** | 插件与工具 | **[已定]父授权,默认完整授权**(可收窄) |
| **R3** | 记忆模型 | **[已定]两级空间**:读 tempmain写 temp |
| **R11** | 父消息的级别 | **[已定]对子 = L4**(子的阶梯上唯一 L4 来源;子内部一律 ≤L3 |
| **R12** | 子的内核级事件panic / contextfull上报级别 | **[默认/推论]在父的阶梯上以 L4带子标识上报** |
| **R4** | 父→子消息落地 | **[默认]挂起/恢复**(现场不丢);一处开关可改"直接丢弃" |
| **R5** | "主动写入处理表"的形态 | **[默认]子调用 `inputch_note` 类工具**;未调用则轮末自动写 |
| **R6** | 输入通道"划入"的语义与容量 | **[默认]读写授权(不转移所有权)+ 创建时给定容量** |
| **R7** | 压缩由谁执行 | **[默认]子的轻量内核自己压**(它有自己的上下文与 LLM压缩后清表 |
| **R8** | 压缩前父是否"查看后决定" | **[默认]纯机械压缩**(父只在选"压缩 vs 回收"时决策) |
| **R9** | 回收时处理表 | **[默认]不必清**(子都没了);若日后要留作审计需单独策略 |
| **R10** | 默认授权是否含输出门 | **[默认]含**"默认完整授权"的字面含义);若嫌宽,改默认即可 |
---
## 16. 实现里程碑(每步 = 一个可独立验收的提交)
| 里程碑 | 内容 | 验收 |
|---|---|---|
| **N0** | **无状态化**:删 `Agent.currentOutputChannel`、删提示词里的通道预设 | S18既有全部测试通过这是纯收敛不含新能力 |
| **N1** | **通道层**inputch 一等化(归属 / 容量 / 授权 / 目标解析)+ 输出通道授权过滤 | S1S3 |
| **N2** | **轻量内核 + 记忆作用域**:记忆子系统加 space 维度;`AgentConfig` 加作用域参数(写 temp、读 tempmain | S13S15 |
| **N3** | **驻留子生命周期**:创建 / 销毁 / 登记表 / 父退出清理 | S12、S16 |
| **N4** | **跨 agent 投递**:子→父 L3、父→子 L4+ `isKernelLevelSource` 分层) | S4、S6、S17 |
| **N5** | **inputch 处理表**:主动写入工具 + 自动写兜底 + 生命周期 | S8、S9 |
| **N6** | **contextfull**:检测 + L4 通知(带子标识)+ 三处置(压缩/回收/销毁) | S5、S10、S11 |
| **N7** | **e2e + 压力**父子互中断、contextfull 处置矩阵、多子并发、父退出清理 | S1S18 全绿;`-race` 干净 |
每步收尾命令:
```bash
export GOCACHE=/tmp/gocache GOPATH=/tmp/gopath TMPDIR=/var/tmp/gotmp
gofmt -l internal/agent internal/plugin internal/sdk # 本步新增文件必须为空
go build ./... && go vet ./...
go test -count=1 ./... && go test -race -count=1 ./internal/agent/... ./internal/plugin/...
```
---
## 17. 与发布纪律的关系
- 本设计在 `feature/input-semantics` 之后的特性分支上开发,完成后合回 `main`。
- 若需要动公开 SDK例如新增 `agent_*` 控制面原语、通道授权字段),按"**只增不减、签名不改**"
追加,并同步 `docs/zh/plugin-interface-matrix.md` 与 SDK 仓版本。