第167章 第193步的崩塌（2 / 13）
【machine_id: cy-rp-017】
【state_count: 5】
【symbol_count: 2】
【t1: 186】
【t2: 254】
【configuration_hash_match: true】
江临没有因为最后一行绿色的true就轻易接受结果。
他从空白纸带重新执行转移函数，在第186步和第254步分別导出完整有限支撑、读写头位置和內部状態，再逐项比较。
两次配置完全相同。
从第186步开始，机器落入了一个无可逃脱的陷阱。
之后六十八步形成了一个封闭的拓扑环。
图灵机再次回到与起点毫无二致的配置，它未来的全部演化，只能像推石头的西西弗斯一样，机械地重复这段轨跡，直到时间尽头。
cycler证书所需的见证对象很清楚。
一张確定的包含所有分支的机器转移表。
两个明確的整数时间点。
两份通过计算得到的，必须完全一致的机器配置。
以及从第一份配置执行到第二份配置的，可由独立程序覆核的確定性运行段。
江临把作者提供的四百二十七个普通cycler样例，送进自己的模擬器里全部重新跑了一遍。
四百二十七次测试，全数通过。
隨后，他开始进行破坏性测试。
他写了一个简易的变异脚本，隨机篡改证书中的时间点、把读写头位置偏移一格、扩大纸带验证边界，甚至仅仅是翻转了某个非活跃区间的单个符號，从而生成了一大批人为製造的偽造证书。
核验器如同无情的闸刀，將这些偽造品逐一拒绝，没有出现一次漏判。
十点五十一分，第一份復现记录撰写完成。
【cyclers_reproduction / pass】
【证书语义：精確配置重复】
【可信前提：核验器独立执行t1至t2之间的全部转移】
【异常测试：未发现错误接受漏洞】
江临保存虚擬机快照，物理切断隔离工作站的电源。
当天的固定技术窗口就此结束。
第二天清晨，他照常去操场。 ↑返回顶部↑
【state_count: 5】
【symbol_count: 2】
【t1: 186】
【t2: 254】
【configuration_hash_match: true】
江临没有因为最后一行绿色的true就轻易接受结果。
他从空白纸带重新执行转移函数，在第186步和第254步分別导出完整有限支撑、读写头位置和內部状態，再逐项比较。
两次配置完全相同。
从第186步开始，机器落入了一个无可逃脱的陷阱。
之后六十八步形成了一个封闭的拓扑环。
图灵机再次回到与起点毫无二致的配置，它未来的全部演化，只能像推石头的西西弗斯一样，机械地重复这段轨跡，直到时间尽头。
cycler证书所需的见证对象很清楚。
一张確定的包含所有分支的机器转移表。
两个明確的整数时间点。
两份通过计算得到的，必须完全一致的机器配置。
以及从第一份配置执行到第二份配置的，可由独立程序覆核的確定性运行段。
江临把作者提供的四百二十七个普通cycler样例，送进自己的模擬器里全部重新跑了一遍。
四百二十七次测试，全数通过。
隨后，他开始进行破坏性测试。
他写了一个简易的变异脚本，隨机篡改证书中的时间点、把读写头位置偏移一格、扩大纸带验证边界，甚至仅仅是翻转了某个非活跃区间的单个符號，从而生成了一大批人为製造的偽造证书。
核验器如同无情的闸刀，將这些偽造品逐一拒绝，没有出现一次漏判。
十点五十一分，第一份復现记录撰写完成。
【cyclers_reproduction / pass】
【证书语义：精確配置重复】
【可信前提：核验器独立执行t1至t2之间的全部转移】
【异常测试：未发现错误接受漏洞】
江临保存虚擬机快照，物理切断隔离工作站的电源。
当天的固定技术窗口就此结束。
第二天清晨，他照常去操场。 ↑返回顶部↑