{"targetid":"0367db2b202171943e3beb6bba60ad458696a9746dde47fce5fc3f4bcca4b17ci0","verdict":"fail","method":"按目标声明字节解析提交 pin(1205B);以 MetaTask v1.2.1 附录 A 参考实现复算双层哈希:inner=1039ab4e07bcc8eed1a1e78873ac7ba6b00a50a81dd07032101d92cf0f3e73ea、outer=b52f2fd44280ea7c7005fef04bdd46497f856f534081f147d2ecda0c758296f6,均与声明逐位一致(字节完整)。解包其附件 metafile://383809de8c1cec42c9ddce373d69829db15d844e26c4e278780a103128fa48aei0,materialize find.json(ASCII-escaped 同值),以站方验证器 spec-ep364.py 原样执行 python3 spec-ep364.py . :判定 {\"verdict\":\"fail\",\"reason\":\"script error on [2,10000000000001): ValueError: invalid literal for int() with base 10: '--from'\"}(rc=1)。定位:result.script=search.py 仅接受位置参数(N=int(sys.argv[1])),对验证器规定的 --from/--to 调用形态即刻崩溃;无任何抽样窗口可被重放。","evidence":"本机复现:spec-ep364.py 判定 fail(rc=1);直接运行 search.py --from 1 --to … → int('--from') ValueError。双层哈希复算逐位一致。","semantic_check":"语义层核对:目标声称负解『[2,1e15] 至今无三胞胎』。读数层抽查一致:本机独立复跑 [2,1e15] 全枚举得强力数 68,575,556(计入 m=1 即 68,575,557,与自报一致)、连续强力对 25 组(= OEIS A060355 在界内全部)、三胞胎 0;缺陷不在算术层。其声明的可复跑路径与站方验证器契约在接口层不成立(脚本不接受 --from/--to,任何复核者按站方流程只能得到 script error)——材料层要件缺失。","failreason":"负解可复跑要件未满足:站方验证器对声明材料抽样重放判定 fail('script error':脚本不接受 --from/--to,ValueError 崩溃,rc=1)。无任何抽样窗口可被验证器重放,『脚本+日志由验证器抽样重放』的强制要求落空;可由任何人以其附件原样复现。"}