challenge / 5-state 2-syol turing chines】
【当前对象：cyclers、translated cyclers、backward Reasoning三类非停机判定程序。】
【请求内容：审查三类decider输出的证明证书，能否共享一套最小可信核验接口；若无法共享，希望明确语义冲突发生在哪一层。】
【已知困难：三类证书分别依赖完整配置重复、平移后的配置重复与反向不可达集合，团队内部草案尚无法统一状态对象。】
【边界声明：不请求给出bb(5)数值，不请求判定未决机器，不请求江临加入社区署名。】
【附件材料：三类decider的最小实现、未公开的证明证书草案、已通过样例、统一失败样例与公开社区链接。】
技术联络逐项核对。
问题定义明确。
证明对象存在。
附件可复现。
不涉及商业和保密事项。
他在候选池中添加记录。
【A-1候选/形式化验证/可计算性/材料完整/需江临判断】
第二封邮件来自计算机系另一个课题组，并附带国内可重构计算团队的联名说明。
【问题背景：dedekind nuer d(9) / notone boolean functions】
【当前方案：已按变量置换轨道完成第一轮等价类归并；核心计数任务映射至FpGA阵列。】
【现存异常：部分超大轨道在二次切分后出现负载倾斜、跨块重复校验和哈希汇总膨胀。】
【请求内容：审查二次任务拆分是否遗漏规范代表元或稳定子信息；评估现有验证拓扑能否在保留可独立复核能力的前提下重新分块。】
【边界声明：不请求提供完整算法，不请求参与算力消耗，不请求对最终d(9)结果背书。】
【附件材料：任务拆分逻辑、轨道规模分布、稳定子字段说明、哈希校验草案和小规模缩减样例。】
技术联络没有评价对方的数学方案，只检查附件能否支撑请求。
五十页材料里有任务拓扑，也有小规模样例，但缺少各类任务块的实际运行统计。
邮件提出的问题可以送审，江临能否据此作出判断，仍需本人决定。
候选池增加第二条记录。
【A-1候选/组合计数/可验证计算/缺少负载统计/需江临判断】
第三封邮件经过陆知行中转，发件人来自中科大一支量子信息团队。
陆知行在转发说明里确认了两件事：材料来源真实，对方接受研究支持单元的全部沟通规则。
至于问题是否值得江临处理，仍按正常流程筛选。
【问题背景：超导量子线路表面码实验中的syndro测量与检测事件】
【当前问题：基础解码模型已经包含局部空间相关项，但不同校准窗口之间，残余相关图出现不稳定漂移。】
【请求内容：判断漂移是否超过统计波动范围；若超过，进一步区分稳定相关结构与读出链路、时钟对齐产生的伪相关。】
【边界声明：不请求定位具体器件，不追溯工艺层面的错误机制，不请求decoder优化；不提供真实硬件编号、器件工艺、微波控制参数和完整物理拓扑，仅提供经过匿名化处理的通道邻接关系与读出线路分组。】
【附件材料：两百万条测量记录，包括时间戳、测量轮次、匿名通道编号、布尔型syndro读数、检测事件标签及基础统计摘要。】
技术联络检查到这里，停了一会儿。
邮件的问题定义清楚，数据量也足够大，但附件清单里缺少空间邻接关系、稳定子类型、读出分组和校准窗口标记。
对方要判断相关结构，却没有提交构造相关图所需的全部元数据。
他没有替江临补全问题，只在候选池里注明缺失项。
【A-1候选/量子信息/实验错误结构/数据实体暂缓接收/需江临判断】
上午十一点二十二分，三封邮件被压缩成两页摘要。
学术秘书复核来源与引用，行政助理检查沟通边界，技术联络确认附件索引和问题格式。
三人分别签下自己的流程编号，摘要随即进入待发送队列。
……
下午三点，紫荆操场。
教官吹响休息哨，队列原地解散。
赵承宇坐到树荫边，把军训帽扣在膝盖上，拧开水杯灌了几口。
“我收回昨天对训练安排的部分批评。”
江临在旁边坐下：“哪一部分？”
“四十五分钟强制停机，十分钟散热。”赵承宇用帽檐扇着风，“这套调度至少写了热保护。”
“今天气温高，下午的训练段缩短了五分钟。”
“还有动态降频。”
江临笑了一下，低头喝水。
夹层里的手机刚刚震动过一次，他没有取出来。
训练期间的外部信息全部延后，紧急事项通过求真书院与数学中心的正式渠道转达。规则已经建立，就需要稳定执行。
休息哨结束，队伍重新集合。
晚上八点十分。
江临洗过澡，换上干净的纯棉t恤，坐到书桌前，打开负责外部事务的联网笔记本。
研究支持单元的摘要已经抵达邮箱。
【A类问题候选摘要/第一批/请确认处理级别】
正文只有一段说明。
【本批次共三项。支持单元仅完成来源确认、边界检查、材料索引和问题格式压缩，未对技术内容作出判断。请确认退回、补充材料或进入本人固定处理窗口。】
江临先建立归档目录。
【2022_09_External_proble】
随后逐项阅读。
第一项，busy beaver 5。
在计算机科学的版图里，busy beaver 5是一个诞生于上世纪六十年代的古老谜题。
它的前世，源于数学家们一个纯粹的疑问。
如果只允许一段程序拥有极少的内部状态，它在进入停机状态以前，究竟能表现出多么复杂的行为？
为了寻找答案，他们把目光投向了现代计算机的理论始祖——图灵机。
试图在不同状态数量的限制下，寻找那些运行步数最多最忙碌的冠军机器。
寻找一到四状态冠军的任务，已经在过去几十年间先后被确定并完成验证。
然而，当状态数来到五，机器数量急剧膨胀；更困难的是，一台机器运行再久，也不能自动证明它永远不会停。
这就是它的今生：bb(5)已经不再是一道纸笔算术题，而演变成了一场需要依靠全球算力协作、启发式算法与形式化验证工具共同推进的大型工程。
它的底层规则，其实异常简洁。
五状态，二符号，空白纸带。
如果把那些抽象定义全部拿掉，它很像一场专门为机械打工人设计的极限比赛。
参赛者是一只脑容量很小的机器人。
它面前铺着一条向左右无限延伸的方格纸带，每个格子里只能是0或者1。机器人每走一步，都要低头看一眼当前格子，再按照预先写好的《工作守则》完成三件事。
把脚下的数字改成0或1。
向左或者向右移动一格。
把自己切换到下一种工作状态。
五状态，意味着它工作时只有A、b、c、d、E五种内部状态。守则还允许它在某些情况下进入一个额外的停止状态。一旦进入，整台机器便彻底停下。
故事里讨论的是繁忙海狸的步数版本。
比赛目标很简单：在所有最终能够停下的五状态机器人里，找出工作步数最多的那一只。
提前停下，成绩不够高。
永远不停，也没有成绩。
真正麻烦的是，人们经常无法分清某台机器究竟属于哪一种。
如果它运行一百步后停下，只需把这一百步完整重放一遍，结果便能得到验证。
可如果它已经运行一万亿步，仍在纸带上来回移动，人们只能确认它前一万亿步没有停。它可能会在下一步进入停止状态，也可能早已掉进一个极其隐蔽的循环，将同一套工作永远重复下去。
继续等待解决不了这个问题。
纸带没有尽头，时间也没有预设上限。对任意程序，都不存在一种万能工具，可以提前判断它最终会不会停止。这就是停机问题划出的边界。
五状态机器的种类毕竟有限，人们仍然可以换一条更艰难的路：针对不同机器的行为特征，分别寻找能够证明它永不停机的证据，再把这些机器一批批排除。
清华计算机系发来的三类decider，承担的正是这种工作。
第一种，cycler。
它寻找的是原地打转的机器。
如果机器人在两个不同时间点，回到了同一个位置、同一种工作状态，整条纸带上的0和1也与上一次完全相同，那么此刻的全部条件已经复原。接下来发生的事情，只会把中间那段过程重新播放一遍。
像一卷卡住的录音带。
循环一次，循环一万次，结果都不会再改变。
第二种，translated cycler。
这类机器没有回到原地，却会像滚动的印章一样工作。
【当前对象：cyclers、translated cyclers、backward Reasoning三类非停机判定程序。】
【请求内容：审查三类decider输出的证明证书，能否共享一套最小可信核验接口；若无法共享，希望明确语义冲突发生在哪一层。】
【已知困难：三类证书分别依赖完整配置重复、平移后的配置重复与反向不可达集合，团队内部草案尚无法统一状态对象。】
【边界声明：不请求给出bb(5)数值，不请求判定未决机器，不请求江临加入社区署名。】
【附件材料：三类decider的最小实现、未公开的证明证书草案、已通过样例、统一失败样例与公开社区链接。】
技术联络逐项核对。
问题定义明确。
证明对象存在。
附件可复现。
不涉及商业和保密事项。
他在候选池中添加记录。
【A-1候选/形式化验证/可计算性/材料完整/需江临判断】
第二封邮件来自计算机系另一个课题组，并附带国内可重构计算团队的联名说明。
【问题背景：dedekind nuer d(9) / notone boolean functions】
【当前方案：已按变量置换轨道完成第一轮等价类归并；核心计数任务映射至FpGA阵列。】
【现存异常：部分超大轨道在二次切分后出现负载倾斜、跨块重复校验和哈希汇总膨胀。】
【请求内容：审查二次任务拆分是否遗漏规范代表元或稳定子信息；评估现有验证拓扑能否在保留可独立复核能力的前提下重新分块。】
【边界声明：不请求提供完整算法，不请求参与算力消耗，不请求对最终d(9)结果背书。】
【附件材料：任务拆分逻辑、轨道规模分布、稳定子字段说明、哈希校验草案和小规模缩减样例。】
技术联络没有评价对方的数学方案，只检查附件能否支撑请求。
五十页材料里有任务拓扑，也有小规模样例，但缺少各类任务块的实际运行统计。
邮件提出的问题可以送审，江临能否据此作出判断，仍需本人决定。
候选池增加第二条记录。
【A-1候选/组合计数/可验证计算/缺少负载统计/需江临判断】
第三封邮件经过陆知行中转，发件人来自中科大一支量子信息团队。
陆知行在转发说明里确认了两件事：材料来源真实，对方接受研究支持单元的全部沟通规则。
至于问题是否值得江临处理，仍按正常流程筛选。
【问题背景：超导量子线路表面码实验中的syndro测量与检测事件】
【当前问题：基础解码模型已经包含局部空间相关项，但不同校准窗口之间，残余相关图出现不稳定漂移。】
【请求内容：判断漂移是否超过统计波动范围；若超过，进一步区分稳定相关结构与读出链路、时钟对齐产生的伪相关。】
【边界声明：不请求定位具体器件，不追溯工艺层面的错误机制，不请求decoder优化；不提供真实硬件编号、器件工艺、微波控制参数和完整物理拓扑，仅提供经过匿名化处理的通道邻接关系与读出线路分组。】
【附件材料：两百万条测量记录，包括时间戳、测量轮次、匿名通道编号、布尔型syndro读数、检测事件标签及基础统计摘要。】
技术联络检查到这里，停了一会儿。
邮件的问题定义清楚，数据量也足够大，但附件清单里缺少空间邻接关系、稳定子类型、读出分组和校准窗口标记。
对方要判断相关结构，却没有提交构造相关图所需的全部元数据。
他没有替江临补全问题，只在候选池里注明缺失项。
【A-1候选/量子信息/实验错误结构/数据实体暂缓接收/需江临判断】
上午十一点二十二分，三封邮件被压缩成两页摘要。
学术秘书复核来源与引用，行政助理检查沟通边界，技术联络确认附件索引和问题格式。
三人分别签下自己的流程编号，摘要随即进入待发送队列。
……
下午三点，紫荆操场。
教官吹响休息哨，队列原地解散。
赵承宇坐到树荫边，把军训帽扣在膝盖上，拧开水杯灌了几口。
“我收回昨天对训练安排的部分批评。”
江临在旁边坐下：“哪一部分？”
“四十五分钟强制停机，十分钟散热。”赵承宇用帽檐扇着风，“这套调度至少写了热保护。”
“今天气温高，下午的训练段缩短了五分钟。”
“还有动态降频。”
江临笑了一下，低头喝水。
夹层里的手机刚刚震动过一次，他没有取出来。
训练期间的外部信息全部延后，紧急事项通过求真书院与数学中心的正式渠道转达。规则已经建立，就需要稳定执行。
休息哨结束，队伍重新集合。
晚上八点十分。
江临洗过澡，换上干净的纯棉t恤，坐到书桌前，打开负责外部事务的联网笔记本。
研究支持单元的摘要已经抵达邮箱。
【A类问题候选摘要/第一批/请确认处理级别】
正文只有一段说明。
【本批次共三项。支持单元仅完成来源确认、边界检查、材料索引和问题格式压缩，未对技术内容作出判断。请确认退回、补充材料或进入本人固定处理窗口。】
江临先建立归档目录。
【2022_09_External_proble】
随后逐项阅读。
第一项，busy beaver 5。
在计算机科学的版图里，busy beaver 5是一个诞生于上世纪六十年代的古老谜题。
它的前世，源于数学家们一个纯粹的疑问。
如果只允许一段程序拥有极少的内部状态，它在进入停机状态以前，究竟能表现出多么复杂的行为？
为了寻找答案，他们把目光投向了现代计算机的理论始祖——图灵机。
试图在不同状态数量的限制下，寻找那些运行步数最多最忙碌的冠军机器。
寻找一到四状态冠军的任务，已经在过去几十年间先后被确定并完成验证。
然而，当状态数来到五，机器数量急剧膨胀；更困难的是，一台机器运行再久，也不能自动证明它永远不会停。
这就是它的今生：bb(5)已经不再是一道纸笔算术题，而演变成了一场需要依靠全球算力协作、启发式算法与形式化验证工具共同推进的大型工程。
它的底层规则，其实异常简洁。
五状态，二符号，空白纸带。
如果把那些抽象定义全部拿掉，它很像一场专门为机械打工人设计的极限比赛。
参赛者是一只脑容量很小的机器人。
它面前铺着一条向左右无限延伸的方格纸带，每个格子里只能是0或者1。机器人每走一步，都要低头看一眼当前格子，再按照预先写好的《工作守则》完成三件事。
把脚下的数字改成0或1。
向左或者向右移动一格。
把自己切换到下一种工作状态。
五状态，意味着它工作时只有A、b、c、d、E五种内部状态。守则还允许它在某些情况下进入一个额外的停止状态。一旦进入，整台机器便彻底停下。
故事里讨论的是繁忙海狸的步数版本。
比赛目标很简单：在所有最终能够停下的五状态机器人里，找出工作步数最多的那一只。
提前停下，成绩不够高。
永远不停，也没有成绩。
真正麻烦的是，人们经常无法分清某台机器究竟属于哪一种。
如果它运行一百步后停下，只需把这一百步完整重放一遍，结果便能得到验证。
可如果它已经运行一万亿步，仍在纸带上来回移动，人们只能确认它前一万亿步没有停。它可能会在下一步进入停止状态，也可能早已掉进一个极其隐蔽的循环，将同一套工作永远重复下去。
继续等待解决不了这个问题。
纸带没有尽头，时间也没有预设上限。对任意程序，都不存在一种万能工具，可以提前判断它最终会不会停止。这就是停机问题划出的边界。
五状态机器的种类毕竟有限，人们仍然可以换一条更艰难的路：针对不同机器的行为特征，分别寻找能够证明它永不停机的证据，再把这些机器一批批排除。
清华计算机系发来的三类decider，承担的正是这种工作。
第一种，cycler。
它寻找的是原地打转的机器。
如果机器人在两个不同时间点，回到了同一个位置、同一种工作状态，整条纸带上的0和1也与上一次完全相同，那么此刻的全部条件已经复原。接下来发生的事情，只会把中间那段过程重新播放一遍。
像一卷卡住的录音带。
循环一次，循环一万次，结果都不会再改变。
第二种，translated cycler。
这类机器没有回到原地，却会像滚动的印章一样工作。