Wiki Dashboard
Obsidian-only dynamic views (Dataview). The canonical, GitHub-readable catalog is
index.md; this page is the live, query-driven companion.
Disputed pages (you flagged these)
TABLE review AS Review, type AS Type
WHERE type AND review = "disputed" AND !contains(file.folder, "templates")
SORT file.name ASCResults (named theorems / our results)
TABLE status AS Status, review AS Review, proof_status AS Proof, bibkey AS Bibkey
WHERE type = "result" AND !contains(file.folder, "templates")
SORT file.name ASCTopics still missing kind or related
LIST
WHERE type = "topic" AND (!kind OR !related) AND !contains(file.folder, "templates")
SORT file.name ASCOpen inconsistency flags
TABLE WITHOUT ID file.link AS Page, inconsistencies AS "Flag"
WHERE type AND inconsistencies AND !contains(file.folder, "templates")
SORT file.name ASCRecently updated
TABLE type AS Type, updated AS Updated
WHERE type AND updated AND !contains(file.folder, "templates")
SORT updated DESC
LIMIT 15