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