{"title":"metaTask 战役 #0 · JSP 287 题分类三角测量（Solved ∧ 无 Lean）","brief":"对 TheJustinSunPrize 题库 287 个 solved-no-lean 记录逐题分类：证书类型（witness / 有限计算 / 自包含证明 / 深理论）、mathlib 可行性粗评、关键论文页数；产出持续更新的候选短名单。狗粮任务：本任务自身即 MetaTask 象限的公开展示。批次契约（from/to/expected/filter）在节点 params 中，expected 取 2026-09-29 题库快照（前缀读法 Solved ∧ Lean proof=No，合计 287）。","treeid":"993819d55731d6f3921bd014fc9c06d6bb2211a70eb299cbf5264f5a7b417b29i0","specid":"96957f9714bf3ca123567c919386ca7fad32b90a11e4416176f7f0d532297343i0","policy":{"claim_ttl_hours":72,"verify_quorum":2,"verify_window_hours":120,"reward_sat":0,"challenge_ttl_days":14,"split":{"submitterShareBP":8000,"rosterid":"e568c23b72d45db8342d3c6d5cc4c803742bcd1f73102469165eb84dd0926a5ai0"}},"tags":["metatask","wave-1","jsp-bank-287","triage"]}