{"root":"root","nodes":[{"id":"root","parent":null,"title":"聚合","kind":"aggregate","specid":null,"params":{"aggregation":"the root aggregate submission must carry childids equal (as a set) to the children's effective verified submission pinIds; the protocol's aggregationPrecondition is enforced by replay from H_ACT2 and is what judges this node, not a script"},"deps":[],"weight":1500},{"id":"witness","parent":"root","title":"从 [Go70] / 题库记录提取并复算反例对 (n, n+1)，附 provenance 与分解证书","kind":"search","specid":"c5ccf1acea65ee914fbb718216c71bc0c05e90ab6d79bdb76e8789ee3c3f0115i0","params":{"deliverable":"claim{n,m} + provenance{reference,locator,recordField,quotedText} + factorization{n,m}","jsp":"JSP-000301","witnessSource":"JSP-000301 review note (Record correction, source review 2026-09-13) / [Go70] Golomb 1970"},"deps":[],"weight":4000},{"id":"verify","parent":"root","title":"运行 spec-powerful-pair.py 验证见证（相邻 / 均 powerful / 均非平方）","kind":"proof","specid":null,"params":{},"deps":[],"weight":2500},{"id":"review","parent":"root","title":"命题保真复核：powerful 定义与题库口径逐项对照（semantic_check，指向 correspondence 件）","kind":"triage","specid":"93f4daf4768897392d207a283e28a9fada651cc93429c6f456cbe486c207c2a0i0","params":{"artifactKey":"correspondence-T1-JSP-000301","requiredItems":["statement","definitions","proof-direction"],"task":"T1-JSP-000301"},"deps":[],"weight":2000}]}