Equations Dashboard

Obsidian-only (Dataview). The equations-wiki companion. Canonical catalog:
index.md. Registries: notation.md · terminology.md.

Phase-D checklist — results still needing a proof

TABLE status AS Status, review AS Review, regime AS Regime
WHERE type = "result" AND proof_status = "stub" AND !contains(file.folder, "templates")
SORT file.name ASC

All results (proof status + provenance)

TABLE proof_status AS Proof, bibkey AS Source, regime AS Regime, status AS Status
WHERE type = "result" AND !contains(file.folder, "templates")
SORT proof_status ASC, file.name ASC

Singularity / Γ cluster (by tag)

TABLE type AS Type, regime AS Regime, layer AS Layer
FROM #singularity
SORT type ASC, file.name ASC