它在某处留下一个图案，向右移动几格，又以相同状态留下同一个图案；随后继续向右，再重复一次。只要这种平移结构能够持续，并且过去留下的旧痕迹永远不会重新挡住它，它就会一路工作到纸带的无穷远处。
第三种，backward Reasoning。
它不追着机器人向前跑，而是站到“停止”这个终点，反过来寻找道路。
要进入停止状态，上一步可能处于哪些位置、哪些工作状态、脚下又必须写着什么？再往前一步，还可能有哪些情况？
如果把所有可能通往终点的道路逐层向前追溯，最终能够证明它们都接不到最初那条全是0的纸带，就说明这台机器从规定起点出发，无论怎么运行，也到不了停止状态。
三种工具都在抓“永远不会下班”的机器，交回来的证据却完全不同。
cycler交来一个首尾相接的圆环。
translated cycler交来一枚不断向远处滚动的印章。
backward Reasoning交来一张从终点向前追溯、最终与起点彻底断开的路线图。
每种工具都可以配一套专用核验程序。
但专用核验程序本身可能同样复杂。它说某份证据有效，外界仍然需要相信它的代码没有遗漏条件，也没有在数百万次判定中悄悄接受错误结果。
计算机系希望再建立一个足够小的审核窗口。
这个窗口不负责寻找证据，只负责检查证据。无论前面是哪一种工具抓到了一台永不停机的机器，最后都要把材料送到这里，由一套规模足够小、能够被独立审查的底层程序完成最终确认。
问题也随之落到了江临面前。
一个圆环、一枚滚动印章和一张断开的路线图，究竟能不能交给同一个审核窗口？
这个窗口需要亲自检查哪些事实？又有哪些条件只是听证据生成程序声称成立？
只要这条边界含混不清，所谓统一核验，就可能只是把三套复杂程序给出的结论重新抄写一遍。
江临没有在摘要上直接回答。
仅凭三份最小实现和几个失败样例，还无法确定三种证据应该被强行压成同一格式，还是只需要共用最底层的机器规则与审核边界。
他在日志中写下入口意见。
【初筛：问题定义清楚，现有失败样例足以启动独立复现。】
【待核验：三类判定程序能否交给同一个小核验器，需要先分别复现它们提交的证据、验证方法与必须信任的部分。】
【当前动作：只复现，不修改，不提交结论。】
第二项，dedekind d(9)。
这个问题更像一场规模大到失控的开关游戏。
桌面上放着九个开关和一盏灯。
现在可以随意设计亮灯规则。例如，一号和二号同时打开，灯就亮；或者三号单独打开，灯就亮；又或者四号、五号和六号必须同时打开，灯才会亮。
规则只有一个限制。
灯一旦亮起，继续打开更多开关，不能反而让它熄灭。
戴德金数要计算的，并非九个开关一共有多少种开关组合。
它要数的是：满足这条限制的亮灯规则，一共能设计出多少套。
每一套规则，都要回答九个开关在各种开合状态下，灯究竟亮不亮。即便某两套规则只在一个极偏僻的开关组合上答案不同，它们也要被算作两套规则。
开关只有两三个时，还可以拿纸笔慢慢列。
增加到八个时，规则总数已经达到：
【】
一个二十三位数。
再增加到九个，逐套生成、逐套检查已经没有现实可行性。
为了压缩任务，数学家不会保存一整本厚重的亮灯说明书，只会记录每套规则中那些“刚好足够让灯亮起”的最小组合。
假设一号和二号同时打开已经能够点亮，那么一号、二号、三号一起打开也必然会亮。后一条信息可以直接从前一条推出，无需重复保存。
最终留下来的，是一批谁也不完整包含谁的最小亮灯条件。
这批条件在组合数学里叫作反链。
即使完成这一步，数量依然庞大。
第二层压缩来自开关编号的对称性。
如果一套规则把一号和二号对调之后，就会变成另一套规则，那么两者在结构上其实是同一个模板，只是开关标签不同。计算机可以只处理一个模板，再乘上它能够换出多少种编号。
邮件里把同一模板的所有换名版本称为一个“轨道”。
对方团队已经完成了这一步，真正的困难发生在把任务送进FpGA阵列之后。
可以把那些轨道想成提前分好类的货箱。
有些箱子很轻，一名工人几分钟便能清点完；有些箱子重得惊人，单独一名工人几个月也未必能够处理完。
若坚持整箱分配，分类关系最清楚，少数FpGA却会长期满载，其他芯片早早闲置。
若把巨型货箱拆开，所有芯片都能分到接近的工作量，可原本属于同一类的数据会散落到不同节点。系统必须额外记录每一块来自哪个箱子、是否已经在别处计算过、最后又该怎样无重无漏地拼回去。
拆得越碎，计算越均匀。
拆得越碎，重复校验和节点通信也越沉重。
团队现在卡住的，就是这个无法凭直觉决定的平衡点。
现有附件显示，额外开销确实出现在第二次拆分之后。但这还不足以证明拆分方案有错。那也可能是团队为了让所有FpGA同时工作，经过权衡后主动支付的成本。
江临需要看到每块任务究竟运行多久、重复了多少计算、产生了多少跨节点通信，才能判断他们付出的代价有没有超过负载均衡带来的收益。
他写下第二组意见。
【初筛：异常集中在“先按同类装箱、再拆给芯片”的第二次切分阶段。】
【当前材料不足以判断，是拆分办法存在疏漏，还是团队为平均分配算力主动支付的代价。】
【补充要求：每块任务的实际耗时、同类任务规模、拆分后的重复计算率、跨芯片校验率与汇总通信量。】
【状态：暂不立项。】
第三项，表面码syndro事件。
江临在这一项上停留得最久。
这一次，可以把量子芯片想象成一座不允许人直接进入的仓库。
仓库里存放着极其脆弱的货物。外界一次很轻的震动、温度变化或者控制偏差，都可能让某件货物出现问题。
偏偏工作人员不能开门逐件检查。
量子信息一旦被直接测量，就可能遭到破坏。许多时候，人们刚刚确认它是什么状态，也同时毁掉了原本想保护的东西。
表面码的办法，是在仓库周围布置大量警报器。
警报器不会告诉工作人员第三排第二件货物已经损坏，只会给出某一小片区域的检查结果。
每一轮所有警报器给出的完整读数，可以粗略理解为一份syndro。相邻两轮之间发生变化的位置，则会被记作检测事件。
单独一个检测事件无法直接定位故障。
研究人员要把许多检测事件出现的位置、先后顺序和持续时间拼在一起，才能反推出最可能发生了什么。
如果所有故障都彼此独立，事情会简单许多。
东边响一次，西边响一次，可以当成两场互不相干的小故障分别处理。
可真实量子芯片上的错误往往会结伴出现。
一次串扰可能让相邻区域同时报警。一条共用的读出线路发生漂移，可能让沿线多个通道一起产生异常。某个量子比特出现泄漏，也可能连续影响后面好几轮检查。
倘若解码器仍把这些警报拆成互不相关的小事件，它就可能找错真正的故障路径。
更麻烦的是，多只警报器同时响，也未必意味着仓库里真的发生了一场连锁故障。
它们可能只是接在同一条线路上，可能遭遇了同一次时钟错位，也可能恰好赶上设备重新校准。真正关联的故障与记录系统制造的假象，会以近乎相同的面貌出现在数据里。
中科大团队提交了两百万条警报记录。
时间戳、检测轮次、匿名通道编号、错误标签，一行行排列得十分整齐。
但江临看到的，是一份没有仓库平面图、没有线路分组、也没有校准时间表的警报日志。
两只警报器总是一起响，可能是因为它们紧挨着同一处故障，也可能只是因为它们共用一根线。
某只警报器每隔固定时间异常一次，可能是量子错误具有周期，也可能只是系统在那个时刻执行例行校准。
缺少这些背景信息，两百万条记录并不会自动变成两百万条有效证据。分析模型越复杂，越可能从数据采集系统留下的痕迹里，解释出一场并不存在的物理故障。
江临没有下载数据实体，只在摘要下面写道：
【初筛：当前数据还不能判断成片警报来自真实故障，还是记录系统制造的假象。】
【补充要求：匿名化通道邻接关系、检查类型与测量角色，实验轮次边界、读出线路分组、校准时段、丢帧与复位标记。】
【限制：补充信息仍须脱敏，不需要器件绝对位置、工艺参数和控制波形。】
【状态：暂不接收数据实体。】
三项入口审查结束，时间已经来到九点五十七分。
江临目前只完成了处理级别判断。
其中任何一项