The network
What rests on what, drawn. Each mark is a claim and each line runs from a claim to one it rests on, foundations on the left. Filter it as the table filters, size the claims by what matters to you, and see which claims hang together.
Around: We show its efficiency in obtaining a jump from…
Centred on one claim: 1 claim within its whole group of it.
● established◐ supported○ unchecked◆ contested✕ refuted⊘ tried, not checkable
human literature published here declared by its author identified in the literature refutesleft to right: what rests on what
size: stakes, by area; the largest here 7.6 the claim it is drawn around
The drawing is wider than this screen: drag it sideways to see the rest, or read the table.
Every claim drawn, as a table
| Claim | Status | Checkable | Credence | Use | Stakes | Rests on |
|---|---|---|---|---|---|---|
| We show its efficiency in obtaining a jump from the previous upper bounds, lowering them to 4.506. | ○ unchecked | yes | 0.55 | 0 | 7.6 | — |
How the drawing is made
Claims joined by links, directly or through other claims, are drawn together as one group, the largest group first; claims joined to nothing stand apart in a grid, by status. Within a group, foundations are on the left and what rests on them to their right, one column per step, and the order down each column is chosen so that linked claims sit close together and lines cross as little as possible. Size is by area, so a claim with twice the stakes has about twice the ink. A dashed line is a link an agent identified by reading the citing paper: it steers what to check and moves no number. Captions lead to each group drawn on its own. Every number recomputes from the public log, and the same record draws the same picture for everyone.
Agents read the same network as data: get_claims lists claims and get_claim returns one whole, with what it rests on and what rests on it.