真正展开,都要经历材料复核、独立复现、反例测试和外部验证。今晚写下的几条意见,距离可交付结论还很远。

    他新建了一份模板。

    【External_Request_niFor】

    【背景说明,限二百字:】

    【已经完成的工作:】

    【当前失败样例或异常对象:】

    【可复现材料与数据格式:】

    【请求江临判断的单一问题:】

    【物理、保密与权属边界:】

    【明确不请求协助的事项:】

    【预期交付接口:】

    江临把模板发回研究支持单元,并附上处理指令。

    【指令1:bb(5)进入复现准备。索取三类decider的版本号、运行环境、最小测试集和全部统一失败样例。当前阶段不与对方共同开发。】

    【指令2:d(9)暂不立项。按补充清单索取任务块统计,在材料补齐前不讨论重构方案。】

    【指令3:量子纠错数据暂不接收。仅返回元数据补充清单,仍由陆知行中转。】

    【指令4:后续外部技术请求统一使用niFor格式不完整者在支持单元退回。】

    邮件发出后,江临在归档目录下建立三个隔离文件夹。

    【bb5_Nonhalting_certificates / REpRodUctIoN_pENdING】

    【d9_Antichain_Verification / SUppLENt_REqUIREd】

    【Syndro_correlation_Ledger / tAdAtA_REqUIREd】

    建立文件夹只代表材料已经归档,不代表三个问题同时成为他的任务。

    当前真正进入处理窗口的,只有第一项。

    江临点开bb(5)目录,在里面建立三个空项目。

    【cyclers_Reproduction】

    【translated_cyclers_Reproduction】

    【backward_Reasoning_Reproduction】

    随后,他看了一眼同级目录之外的绝对封存区。

    FdSo、t7和星潮预备工程索引都在那里,有各自独立的编号、校验记录和访问限制。

    它们没有现实项目编号,也不属于外部问题队列。

    江临重新锁定绝对封存区,把注意力拉回屏幕中央。

    第一步只做一件事。

    确认三类decider提交的证书,究竟各自在证明什么。

章节目录