soft3/radio/.claude/tasks/bao-bounded-proof.md ฯ 0.0% 2 words ยท 1 min bao-bounded-proof Folder Graph Folder code-review execution finite-cases plan research Graph