proof-carrying computation.md

Mentions

• neural/trident/roadmap/polynomial-target
• BBG polynomial authenticated state
• research/cybergraph model architecture
• research/egregore properties
• research/gflownet focus flow
• research/polynomial proof system
• soft3/hemera/roadmap