proof-carrying computation.md ฯ 0.01% Linked References 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 Local Graph