soft3/radio/audit/2026-10-12-bao-proof-research/task.md ฯ 0.01% 2 words ยท 1 min task Folder Homonyms Graph Folder finite-cases plan research Homonyms soft3/radio/audit/2026-10-12-bao-bounded-proof/task task Graph