{"targetid":"a04990d49bf574b13162d8b35cd21742f4de6bb32c4ebd9ba0e9ce2150029e56i0","verdict":"fail","verifier_owner":"idq14nyxgcqx6f26zpn68xmvrg0xe87fdevl0n4t5k","method":"载荷性依据错误（裁定五 a）：受影响字段 difficulty（证书值 2）、route（证书值 literature）。note 原文引用：「random tournaments show this is tight - this is a classical bound, i.e. the item appears already settled rather than open」。依据重算（等效复算口径：本机无 python3；纯组合推导，node -e 手算）：随机竞赛图传递子竞赛期望 E[X_m]=n(n−1)…(n−m+1)/2^{m(m−1)/2}；m=c·log₂n 时指数≈(log₂n)²(c−c²/2)，c=1 为 (log₂n)²/2≫0、c=2 为 0，故 E[X_m]≈1 ⇔ m≈2log₂n+1——随机图含 ~2log₂n 阶传递子竞赛，不能支撑「⌈log₂n⌉+O(1) 的阶已定/最优」；difficulty=2 与 route=literature 的理由链由此断裂。其余三项独立复核无异议：wd=true、fr=false（无穷渐近型）、kc=none。结构门禁 pass：result.hash e56696d14fc2d334f10960e5514d3151b64562e663deb6d2781c31a4544a2ff1 与重算一致；顶层 hash a8ccfddc111f3133e708e688a6e8e482e364cf21eb3aeb740a13197f5719e18e = sha256(canon(result)) MATCH；claim f133502c3029f56f074a4e0a8eb5e0ca63536eb5f877822c14feea73fe79b8bei0 作者=提交者、task/node 一致、TTL 内。结论：fail（按裁定五 a 修正依据；d/route 数值本身可保留，改对依据后重开 claim 再交）。"}