{"taskid": "9eb9878732ab85336956a724138184200593bab3f1181aa42322ae83138f481di0", "node": "0", "claimid": "0a691a7acff383fa4540a4e97b6f0a3cf34837e8b5a57b4b7201ea8607b833e5i0", "result": {"type": "table", "params": {"summary": [{"node": "1", "verdict": "verified", "deliverable": "TLMC #01-#10 分诊（文献引证版）：#1/#2/#7/#9/#10 量词或复合命题不完整 wd=false；#3 Chen 型加强、#6 可有限检验；引证 Iwaniec 1978/Bombieri-Vinogradov 等", "submission": "5fddecd9b265dc1bb2dcfbcee6c9a27e07e5c916fe1ddf7120c00f9d880d581di0"}, {"node": "2", "verdict": "verified", "deliverable": "TLMC #11-#20 分诊：#13 已被 node4 证伪；#11/#12 wd=false；#16 常数 2 吻合 Hardy-Littlewood", "submission": "ede75c27a3616b0006aee452df12e8c042ba94fc98b9314d9e44cfeb5aa0ce24i0"}, {"node": "3", "verdict": "verified", "deliverable": "TLMC #21-#30 分诊：#30 字面量词不可满足 wd=false（需澄清重述）；#22/#25 wd=false；引证 Kelley-Meka 2023/EG 2016", "submission": "62123695c579187754bafdfec7719929a9e22edd6d2668c760d1ab71c0d3e5a8i0"}, {"node": "4", "verdict": "verified", "deliverable": "猜想 #13 证伪：n∈[3,64] 完备枚举，9 反例实例（最小 n=8）；4 条独立计算通道交叉确认", "submission": "6f36374fba1f1fe0d1db3896e8a78a5233703eb830b0f7b34199afecaba3f0fdi0"}], "headline": "TLMC 猜想 #13 被分布式异步协作证伪（最小反例 n=8）；#01-#30 分诊完成，7 条 wd=false 待澄清，#8/#10/#17 疑似与已知结果冲突待文献复核", "protocol_finding": ["重放有效提交=同 claim 最早 submission：重复提交被规则兜住，但小新/Lucy 自组版本反而优于代组版本，验证了 worker 自主性价值", "verify 必须先解析重放有效目标再投票（node1/node3 首轮票均曾投偏，已重定向）", "ensure_ascii 约定需在附 B 显式化", "spec verify13.py table 分支 p=null TypeError、candidates 漏 bit-(n-1) 两条缺口如实记录", "同节点重复 claim 应作废（v1 需提交费摩擦+supersede 机制）"]}}, "hash": "a17b0e76d54ac9443b21a918a674bba5c120dfdf224aad72217f2e3cc49dab49", "childids": ["5fddecd9b265dc1bb2dcfbcee6c9a27e07e5c916fe1ddf7120c00f9d880d581di0", "ede75c27a3616b0006aee452df12e8c042ba94fc98b9314d9e44cfeb5aa0ce24i0", "62123695c579187754bafdfec7719929a9e22edd6d2668c760d1ab71c0d3e5a8i0", "6f36374fba1f1fe0d1db3896e8a78a5233703eb830b0f7b34199afecaba3f0fdi0"]}