—root problems
—nodes passed readiness
—observed running resolvers
—verified & integrated roots
Loading the latest published observation…
Verification activity has not been observed.
One problem, one dependency graph
Loading the published theorem graphs.
Waiting / no active worker observedGold: active worker · Blue: verification job · Purple: queued check · Green: verified and merged · Red: failed or reconciliation neededA → B means B uses A. Children from one split are created together; their later stages proceed independently. Saved stages are checkpoints, not current execution. A proved theorem may still have a worker completing publication and merge.
Theorem ledger
Issue and PR states come from the published workflow observation. A closed issue alone is not evidence of a verified proof.