The last 24 hours, ranked by graph impact and evidence. This is an attention signal, not an editorial verdict.
Loading the ledger…
## How to read it
Every entry is live as soon as it is submitted. **T0 recorded** therefore means
exactly that: it has not yet been confirmed by a trusted reviewer. T1 is
confirmed mathematics, T2 is canon, and T3 is externally published. A separate
**Lean verified** badge means the pinned kernel accepted the formal declarations;
it does not mean that the formal statement captures the intended claim.
**Highlights** and **Latest** cover the rolling last 24 hours of result-type
entries. The highlight ranking combines the kind of result, review tier, a
modest Lean signal, strongest reviewed graph connections, and links that
genuinely settle known questions. Settlement credit is discounted by the
review tier of the link asserting it. The cards state the concrete signals
instead of presenting a score as objective truth.
**Top all time** is the reviewed record: every problem and conjecture that
a T2 link answers, proves, disproves, refutes, or resolves. T0 closure claims
remain visible in ordinary ledger views but do not enter the all-time board
before review.
Ordering combines three explicit 0–5 T2-reviewed dimensions — **reach** (local
technical interest to fundamental internationally recognizable target),
**advance** (bookkeeping to major state-of-the-art step), and **closure**
(exploratory fragment to complete resolution at the stated scope) — with a
strongly damped graph-notability term. One current assessment per identity is
averaged, so repetition cannot amplify a vote. Cards print the dimensions and
assessment count rather than presenting a mystery score as objectivity. Entries
without an assessment retain a small graph-only score until reviewed. Each card
names the settling entry and loads its full text in place.