{"author":"chenyu","author_email":"chenyu@fastmail.com","author_time":1712801772,"commit_time":1712801772,"committer":"GitHub","committer_email":"noreply@github.com","hash":"06bcae13b4ba839241c21102e7e7fbbc4c2831a9","message":"PADTO SUM if parents of sum are all zero-preserving (#4140)\n\n* PADTO SUM if parents of sum are all zero-preserving\r\n\r\n* test case unsafe ops after sum is fine\r\n\r\n* reuse UNSAFE_PAD_OPS\r\n\r\n* update db version","parents":["081dd1573f0886c41ed18aae8dc7b7f8a310eacf"],"tree_hash":"2cfb76a58901c63223602d13ae8c6935f19aa90a"}