The Ledger
Every claim, its status, and the evidence that moved it.
There is no mark of truth. There is only evidence, and it points both ways — so this is kept as a ledger, with entries on both sides. What we proved, what the evidence turned against, what we had to correct. Nothing here is final; a REFUTED claim is a claim with evidence against it, not a claim that has stopped being a claim.
1,241claims gated
impendingbase rates OPEN
The gate count comes from campaign logs. Proportions — how often our claims survive, how often they turn — are being computed from those same logs and will be published here rather than asserted. Until then this page shows entries, not rates, which is the only honest thing an excerpt can be.
Entries
Both columns
Every valid base with an unsaturated coordinate is capped-infeasible. Machine-checked, exact arithmetic. Union-closed sets campaign.
Evidence against: a counterexample. The anchored cube becomes capped-feasible at d = 8. The Coverage conjecture went with it. Entered the day it was found.
A prior compaction claim disproved; a new elementary bound proved and numerically verified. The original stays visible, struck through. That is the point.
Evidence against: the edge list. 154 typed edges, exactly one crosses a domain. Overturned by counting, which is the cheapest verification there is.
Evidence for: the corpus itself — 657 base records, 235 expansion, one human directing the pipeline.
Our founding bet. Standing. Still a bet. If the evidence turns, it gets an entry on the other side of this page and we will not move it quietly.
PROVED — deductive, checked VERIFIED — evidence for OPEN — no verdict yet CORRECTED — restated, original kept REFUTED — evidence against
Why a ledger and not a list of results. A page of only successes is a page about our publishing habits, not our epistemics. Both columns are evidence; neither is a verdict about the world. What a reader should take from this page is not that we are right, but that our claims are the kind of thing that could be shown wrong — and sometimes are, in public, with the date attached.
Corrections to this site, as opposed to our research, are logged separately in the errata record.