波仔
🐳 第五章 Cordis让插件能够动态组合
📄 一句话概括

第五章回答了第四章留下的问题：能装能换能停，凭什么不会乱——答案是三条规矩（可撤下／有边界／处境明确）加一本账（Fiber）。

📝 本节和前面几节的关系

第 3 章立了【皆插件】，第 4 章证明了【能装能换能停】，这一章补上最后一块：动态的代价被机制化了。

一、九节复盘

  1. 时间维度（5.1）——变化必须能撤下，脏撤下留悬空引用。
  2. Effect 边界（5.2）——只改声明过的，撤下照声明恢复。
  3. 空间维度（5.3）——环境变了，处境必须明确；isolate 画格子。
  4. 上岗三步（5.4）——发现、装载、启动，三把钥匙开三把锁。
  5. Fiber 账本（5.5.1）——记实例不记类，四栏账。
  6. 逆序发起（5.5.2）——不先撤被依赖的，但不必排队干等。
  7. HMR（5.6）——敢热替换，靠生命周期兜底。
  8. Effect/Coeffect（5.7）——给什么、要什么，双向声明。
  9. 实验与适配（5.8、5.9）——三轮 diff；四特点对四机制。

二、这一章的真数据

三、带走三个判断

四、下一章预告

第 6 章【Agent 一轮工作的全过程】：从消息进来到回复出去，Agent Loop 不是黑盒；一轮工作可以包含多次模型推进（6.2），工具调用走统一管线（6.3）。

插件层讲完了，下一章看这些插件在一次任务里怎么协作。

五、动手 Demo：第五章走完，动态组合的全貌

三条规矩加一本账，收口全章：

rules = [
    ("可撤下", "变化结束时恢复现场"),
    ("有边界", "只改声明过的"),
    ("处境明确", "失效可以, 但要明明白白"),
    ("一本账", "Fiber 记实例的完整生命周期"),
]
for a, b in rules:
    print("  %-6s %s" % (a, b))
print()
print("  三轮实验: 出现 +3 / 消失 +1 / 回来 +1")

实跑输出：

--------------------------------------------------------------------
第五章走完，动态组合的全貌
--------------------------------------------------------------------
  逐节复盘，每节留一个抓手：

  节                想明白的事
  -----------------------------------------------------
  5.1               时间维度：变化必须能撤下
  5.2               Effect 的边界：只改声明过的
  5.3               空间维度：环境变了要有明确处境
  5.4               被发现 ≠ 具备运行条件
  5.5.1 / 5.5.2     Fiber 账本；逆序发起不等于串行干等
  5.6               HMR 敢热替换，靠生命周期兜底
  5.7               Effect 给什么 / Coeffect 要什么
  5.8               三轮实验：痕迹会被记下来
  5.9               四特点对四机制，双 runner 落地
  -----------------------------------------------------

  一句话收口：动态组合不是【想装就装】，
  是【装得起、看得见、撤得下】。

  下一章把镜头对准一次任务的全过程：一轮工作从消息进来到回复出去，
  到底经过了哪些站。

三条规矩 + 一本账 = 本章全部——能装能换能停，且不乱。 三轮实验的 diff 是本章唯一的实测数字——回来 +1 行那一处最值得记。 下一章换镜头：从【机制】转到【一次任务的全过程】。

30 秒实验

  1. 合上笔记，把三个判断各复述一遍。
  2. 把三轮实验的 diff 数字与含义说给一个外行听。
  3. 预习式提问：一轮对话里模型被调用了几次？（提示：6.2）

常见误区

  1. 错误：这一章是 Cordis 的 API 手册。——纠正：讲的是机制与规矩——接口会变（1.5），规矩不会。
  2. 错误：三轮实验里【回来】那轮是实验失败。——纠正：恰恰是最大收获——变化可追溯是特性。
  3. 错误：学完这章可以去写 Cordis 插件了。——纠正：还差动手细节——第 8 章设计自己的 Harness 时才是上手时机。
自测三问（点开对答案） 1. 本章回答的核心问题是什么？ —— **能装能换能停，凭什么不会乱**——三条规矩加一本账。 2. 三条规矩是什么？ —— 可撤下（时间）、有边界（Effect）、处境明确（空间）；账本让它们可执行。 3. 为什么说账本是动态的底座？ —— **静态系统靠小心，动态系统靠账本**——高频装卸下漏一次是必然。

相关笔记