The corpus as a typed graph
The whole frontier at once: problems, formal statements, hosted proofs, load-bearing conditions, recorded claims, and signed verdicts. Every edge is declared by a source and tiered by how it is trusted.
Derived
from the locked sources by the reducer. An index, not signed state: the signed spine is the
.vela event log.
Query it locally: vela atlas decl-blast --edges graph/corpus-edges.jsonl --decl cond:maynard-tao
· feed: graph.json