拆解与重组
递归结构中间层的节点是把任务拆成子任务、再把子任务的结果重新组合起来的 agent。两个容易出错的动作，两条硬性要求。
沿近可分解的接缝拆分（Simon–Ando）
在耦合弱的地方拆分，使子任务之间的接口既小又充分（父任务的答案能由各部分加上一份干净的摘要重建出来——simon-ando）。若沿强耦合的接缝拆分 → 接口会变得庞大且有损 → 无法重新组合 → 结果发散。所以中间 agent 的核心技能是找到那条弱接缝，而不只是随便切一刀。
gate 就设在重组这一步
"重新组合"这一步，就是该层级的 gate：它必须验证各部分组合得正确（接口契约 / Hoare 后置条件 / LCF 内核式复核），而不只是把它们粘在一起。剩余的 P×C 也集中在重组这一步（pc-well-founded-recursion）；如果某次 join 的 P×C 仍然偏高，重组本身就要递归下去，并再过一次 gate。
中间 agent 向上传递什么
只传递已验证的摘要/接口，而不是它内部的乱摊子（Simon–Ando 所说的、已经稳定下来的子装配）。父层建立在这个接口之上；子层的内部细节被封存在已通过的 gate 背后。token/铸币是嵌套的——子层 gate 铸造出的凭证，被父层 gate 消费掉（recursive-stages）。
确定性问题
"这个任务具体该怎么拆？"这个问题，可以靠顶层给出的递归指令变得唯一：指令 + 局部状态 → 唯一的拆分方式（关于为什么一条递归指令能保持有限却覆盖所有情形、以及隐性判断还会在哪些地方渗入，见 tacit-spec-as-spec-compression）。
重访——放到理论层之下
- "找到弱接缝"现在可以度量了：拆分证书的长度就是接缝质量的代理指标（split-granularity-equilibrium）——一个简短的 ⋀Sᵢ ⟹ S 论证说明这是一条真正的 Simon 接缝；一个牵强附会的论证说明你切在了承重结构上。而该切多细则由那条 U 形均衡曲线决定，以 P×C 来权衡。
- 重组 gate 的义务现在被明确写出：它要对照父层的 spec 去检查（而不是子层的——这正是 safe-recursion-theorem 里"拆分方向错了"那种失效模式），并且在误差度量上必须是一个压缩映射（inexact-contraction），这样子层的误差才会被衰减、而不是被放大。
- 本笔记原来只写了向下的方向——向上的通道是 upward-reequilibration：一个在任何粒度上都无法满足自身 spec 的子层，会向上发出一个可行性割（要求重塑拆分方式）和一个价格（要求重新平衡兄弟节点的预算）。