The six atlases consolidated into a single normalized graph — every result and open problem is one node; every implication is one typed, provenance-tagged edge
Built one-by-one, the atlases drifted: six copies of one schema, divergent edge semantics, a fragile alias map, and a supersession island with no path to the open frontier. This rebuild fixes that. One node table (every claim, namespaced, kind ∈ result / open / hub / synthetic); one edge table (typed by strength — proves vs supports — and tagged with provenance); shelf and frontier in the same graph, so an established theorem can sit in an open problem's wishlist. Walls are computed from cone overlap; the strict ↔ broad toggle now genuinely moves open-problem cones. One honesty invariant is enforced at build: no established result proves an open problem.