Claims are nodes
Each theorem, lemma, definition, conjecture, or finding is a node, named by a stable identifier (a Lean name or a registry slug) that survives a rewrite of its wording.
Relations are edges
Commit footers like Depends-On, Closes, and Disproves
connect the claims. The git history is the database. There is nothing else to maintain.
Status is computed, not stored
Effective status and the claims a refutation would affect are recomputed from the edges on every build, never written by hand, so the dashboard stays in step with the history.