Knowledge graph

The QAtlas vault as a force-directed network of two relations: a model belongs to a universality class (model ↔ universality), and a namespace — model, class, or bound domain — provides a quantity (quantity ↔ verified status).

Node color marks the node type. Edge color marks the kind of claim the provided result makes — exact / universal (one color), bound, or approx — and edge style marks verification: a solid edge has a dedicated test, a dashed edge does not. Coherence gaps are not drawn: an isolated node (an undeveloped class, or a model belonging to no class) is the gap, visible by its lack of edges.

Type in the search box to highlight nodes by name. Drag nodes, scroll to zoom, hover to highlight neighbours and reveal labels, click a model or quantity to open its page.

Rendered by the Quartz graph engine (d3-force + PixiJS), ported to a standalone bundle (assets/qatlas-graph.js). Generated by docs/atlas/graph_export.jl from the live registry — 157 nodes (63 models, 7 classes, 3 bound domains, 84 quantities), 343 edges.