soft3/radio/audit/2026-10-12-bao-proof-research/prerequisite.md ฯ 0.0% 2 words ยท 1 min prerequisite Folder Graph Folder literal-cases plan traversal.rs Graph