batched-proving.md ฯ 0.0% 0 words ยท 0 min Graph Mentions Graph Mentions soft3/hemera/roadmap/constraint-free-mds soft3/hemera/roadmap/partial-round-collapse