soft3/nox/proofs.md ฯ 0.01% 2 words ยท 1 min proofs Folder Homonyms Graph Mentions Folder Model.ei T1.ei T2.ei T3.ei Homonyms cyber/proofs cyb/prysm/proofs proofs Graph Mentions soft3/audit/proof-system-repair-status-2026-10-09 soft3/proposals/proof-system-repair soft3/zheng/docs/explanation/why-zheng