proof-carrying computation.md ฯ 0.01% 0 words ยท 0 min Graph Mentions Graph Mentions research/bbg.md research/cybergraph model architecture.md research/egregore properties.md research/gflownet focus flow.md research/polynomial proof system.md soft3/hemera/roadmap trident/roadmap/polynomial-target