Solonic
MERGED CORPUS v1 912 nodes across 102 domains — 657 base, 235 expansion, 20 gap-fill. 474 open problems, 438 established results. The typed reduction graph (154 edges) currently spans 192 of these nodes; edge coverage of the merged corpus is partial and growing. Provenance per node → All 20 gap-fill entries carry recorded gate checks; independent review before publication is pending — the panel’s first docket.

The Frontier Atlas · Console

A map of what is still open.

474 open problems and 438 established results across 102 domains — one graph, not three lists. Edges are typed: proves, supports, suffices, partial. The headline is not a number; it is the void — across 154 typed edges, exactly one crosses from one domain to another.

e.g. “union-closed sets” · “what is justice” · a claim ID like p-math-func-0007

912nodes

102domains

474open problems

1cross-domain edge

The finding

The void matrix

Each cell is a pair of fields; brightness is the number of typed edges linking them. The blocks on the diagonal are fields reasoning about themselves. Everything off the diagonal is one field speaking to another — and it is almost entirely black. One cell is lit gold: Bell’s theorem, a result in mathematics, supporting the measurement problem, an open question in physics. Out of 154 edges, that is the whole of the traffic between domains. The darkness is the finding.

Click the plate, then use arrow keys. Cells announce as you move.

192 nodes · 154 typed edges · blocks are Mathematics, Science, Humanities, Hubs · hover a cell to name the pair. The single gold cell is the only edge in the graph that crosses a domain.

Reading the plate

Mathematics block
Science block
Humanities block
Cross-domain bridge
Empty — no link
Hover, or focus the plate and press arrow keys. Press B to jump to the bridge.
View the cross-domain edge as a table (there is one)
BridgeFromToEdge type
B1bell theorem (Mathematics)measurement problem (Science)supports

Domains

One axis is global. The rest are native.

Across all three domains, every problem carries the same question — why it stays open: an evidential gap, a persistent conceptual knot, or a standing interpretive dispute. Only the first is where generate-then-verify does what it does in the sciences. Beyond that shared axis, each domain keeps its own. The humanities carry 287 nodes across 40 domains, including non-Western traditions, applied ethics, and the social-construction literature — added because their absence was the single most damaging critique this Atlas faced, and we published the audit that said so.

The graph itself

Take the whole thing

An atlas you cannot query is a picture, not an instrument. The canonical graph ships as data — the same commitment as the packages: don’t take our map’s word for it, run your own traversal.

JSON — nodes, edges, credences, sources SQLite — queryable, one file Schema + API — agent-readable, one endpoint Get the graph →