{"root":"lean","nodes":[{"id":"lean","parent":null,"title":"Lean 降格形式化：命题陈述 Y＋L2→L1＋真 axiom EGRS75_est＋L3＋D6（lake build 零错误零 sorry）","kind":"formalize","specid":"219bfa6bd629a41924c130a1f93b9b30afdaa2336f383cfa899e5b8cd87165e3i0","params":{"correspondence":"pin://5e434d57cc04800e290caa87c5f0defa29bc3b6b689afa95229cfb8b264e87a5i0","lineage":"JSP-000598 lean 节点降格承接","original_task":"pin://ea3e520e6174a077684fbec95ac48cf45332acebfce44668aeee16d9564c8673i0"},"deps":[],"weight":10000}]}