原先芯片与本地工具能稳定取得的时序记录，在这里帮上了忙。换过几种结构以后，实际响应不必全压回一台主机实时盯着；已经形成的计算工具能把不同构造逐一筛出，再把需要人证明和检查的部分明确列出来。江临可以同时看更多对象，却没有把工具给出的每条候选都当作数学结论。

有一条候选反复失败。

问题出在他们把一个很窄的通道当成了足以容纳误差的区域。名义路径能过，略有偏差便碰边。江临沿着推导退回去，把“有通路”和“留有约定余量的通路”分开；原先的结论在明确余量条件下重新写，那个对象则从当前适用类中移出。

陆知行把这段写进证明旁边。

“这个不能只留在程序注释里。”

“放到命题前面。”江临说。

整理稿的前一天，江临收到一张同行发来的手绘图。

图上没有他们的细杆，只有三个接触位置和一段很短的路径。发图的人问，如果中间那处接触只是暂时存在，能不能不把它当成新的工艺状态，直接藏进相邻两步的连接里。

江临在桌前看了几分钟，叫陆知行过来。

两个人先按这种写法走了一遍，发现单独执行这两步时似乎没有问题，可一旦旁边另一项任务也要使用同一个位置，隐藏的占用便会让整个次序出错。

陆知行在那处位置涂了一层阴影。

“局部能走，拼起来有人撞门。”

江临将原先的局部证书展开，把临时接触的占用区间也写出来。这样一来，相邻任务能直接知道什么时候必须等待，连续层提供的信息就不只是两个端点。他把修改后的例子发回去，没有要求对方换成自己的模型，只指出这类被占用资源必须怎样暴露给上层。

第二天，对方回了新的构造。

临时接触被保留，另一项动作挪到它退出以后。图比原来多出两行，整体却更容易检查。江临照这份思路在自己的小结构上加入另一件工具，让两个原先各自能做的任务共享一处空间。

第一次按旧次序排，工具确实互相挡住。

第二次使用补全占用信息的次序，先前那件工具撤出后，后一件才进入。完成时，桌面并没有多出一个永久支架，两件任务也都得到了各自需要的结果。

陆知行拿着手机拍完整段，特意把开头的初始位置和末尾归位都留下。他说这张图最容易让人忽略的地方，就在于别人会以为所有画出来的支撑都能一直留着。

江临将这一例放进整理稿，紧接着放上失败的旧次序。

稿子因此长了几页，他却觉得比删掉更清楚。后来来讨论的人翻到这里，很快便能说出自己工场里遇到过的类似情况，问题不再停在抽象术语上。

四月底，他们得到了一份可以交给同行使用的结果：对满足所列局部条件的一类制造对象，若能构造有限个带有局部可行控制的状态区域，并给出相邻区域间可达的交接部分，就可以把离散依赖的可执行次序提升成连续的、保持约定支撑与间隙的运动过程。工具退出也在构造之内。

它没有宣称每个对象都必定找到这样的覆盖。

但一旦给出来，读者可以按明确条件检查，也可以把别的局部模型接入同一种构造。此前需要把整段动作当作经验黑箱的地方，如今露出了可以独立研究的接口。

江临最满意的是，同行开始提出与他的样机无关的问题。

控制研究者拿走一份整理稿，回去处理自己那组柔顺对象；另一位研究者只对状态区域的划分感兴趣，想减少不必要的重复。陆知行则留下来，讨论重叠区域在参数变化时会怎样消失，能否先从一个更简单的家族证明新的性质。

他们在走廊里说了很久。

有人搬着一只封装好的器件箱经过，两个人让到墙边，等小车过去，继续拿笔在打印纸背面画。江临突然发现，这个问题已经不需要一台正在扩产的机器人来替它证明价值。即使桌上的机器今天全部关掉，它仍然值得往下做。

月底，陈砚发来四月的结算进度。

这一月实际完成验收一千七百台，其中一百台A1、一千四百五十台A2、一百五十台A3。从去年十一月算起，新增验收六千五百台，连同此前三千台，历史累计九千五百台。内部自用设备仍另记，服务收入也没有混进整机数量。

江临看完确认，把自己需要处理的一项研发安排回复过去。制造部门已经在排五月的工作，新的理论结果并不要求成熟工位停下来等全部改写。

他回到实验桌，陆知行还在那里。

小结构停在最后的位置，旁边压着那条失败路径的图。江临拿起图，准备收进资料夹，陆知行却让他先别收。

“我想拿这个出个问题。”

“给谁？”

“先给我自己。”

江临笑着把图放回桌上，去调另一侧的灯。

两个人重新坐下，白纸上先出现了一个更小的对象，随后，第二块相交的区域慢慢画了出来。