GitHub

QAtlas — Verified Exact-Solution Atlas

Provisional v2 view — RES not wired

Generated by docs/atlas/generate.jl — a pure VIEW over the *_registry.jl claims + the static test/INVENTORY.jsonl AST scan. No test is executed and no src is run; test/INVENTORY.jsonl is regenerated in-place (idempotently) from that static scan; fetch/@register untouched. Assurance labels are PROVISIONAL: residuals / confidence are not shown yet (RES not wired). Badges reflect the committed test AST, not the latest CI run — a hub can read green while its @test is red between regenerations. @sweep = a graceful regime-resolution gap, not card omission.

Assurance taxonomy (R1, ratified — Discussion #379)

Five honest levels, highest achieved tier wins:

  • 🟣 universality-corroborated — agreement checked against the universality class (exponents / central charge). Strongest, regime-spanning evidence.
  • 🟢 corroborated-at-p — an independent computation (finite-size ED extrapolation or a second closed form) reproduces the value at concrete parameter point(s) p.
  • 🔵 coherent — an independent in-repo card exists and the value satisfies an internal invariant (sum rule / limiting case / delegation / retype, or an unrecognised/missing route), but no external value re-derives it.
  • ⚪ cited-only — backed only by a literature citation, or the model is ED-infeasible so a citation is the ceiling. The honest frontier — neutral, not a penalty.
  • 🟠 uncorroborated-but-feasible — src claims the hub, dense ED is feasible, yet no card checks it. The only actionable risk.

Denominator split: the corroboration rate is taken over ED-feasible claimed hubs only. ED-infeasible models (AKLT2D, ChernSimons3D, FibonacciAnyons, KagomeHeisenbergAFM, KitaevHoneycomb, PpIp2DSC, SYK, ToricCode, XCube) are excluded from the risk denominator — their ceiling is the published / DMRG value.

Coverage (all models)

count
Hubs src claims (registry)263
ED-feasible claimed (risk denominator)237
ED-infeasible claimed (frontier, excluded)26
🟣 universality-corroborated0
🟢 corroborated-at-p143
🔵 coherent30
⚪ cited-only (frontier — neutral)18
🟠 uncorroborated-but-feasible (actionable risk)72
Inventory cards scanned (whole test/)508
Registry files parsed58 / 58
Models58

Externally-corroborated rate (🟣+🟢 over ED-feasible claimed): 60.3% · in-repo-verified rate (incl. 🔵 coherent): 73.0%

Browse by facet

Faceted search → · by model · by quantity · by BC · by level · by mechanism · by regime. Full-text search is the top bar (Documenter built-in).

Reference & derivation indices

Two more substrate-derived indices: Bibliography — every citation with hub backlinks; Derivation-note index — each docs/src/calc/*.md mapped to its model(s).

Model & Quantity matrices (Zettelkasten layer)

Each model has a per-model index showing its hubs as a Quantity × BC matrix; each quantity has the inverse view (Model × BC). Empty cells = gap visualisation (physics not yet implemented). Use the Model list for a searchable top-catalog.

🟠 R1 risk-linter — actionable only

src claims the hub, the model is ED-feasible, yet zero corroboration cards exist. cited-only (frontier) and ED-infeasible hubs are not listed here — they are the honest ceiling, not a gap.

72 actionable hub(s)

Per-model breakdown

modelclaimed🟣🟢🔵⚪🟠ED
AKLT1D806011feasible
AKLT2D101000infeasible
BCFT101000feasible
ChernSimons3D201010infeasible
Cluster1D202000feasible
Compass1D101000feasible
ConformalBootstrap100010feasible
CurieWeissIsing803302feasible
DMIHeisenberg1D101000feasible
ExtendedHubbard1D100100feasible
FibonacciAnyons101000infeasible
GrossNeveu202000feasible
Heisenberg1D210101010feasible
HeisenbergXYZ201100feasible
Hubbard1D402200feasible
IsingChain1D807001feasible
IsingSquare1204206feasible
IsingTriangular302001feasible
J1J2Heisenberg1D101000feasible
KagomeHeisenbergAFM300030infeasible
Kitaev1D606000feasible
KitaevHeisenberg101000feasible
KitaevHoneycomb1001450infeasible
LiouvilleCFT202000feasible
LogarithmicCFT101000feasible
LongRangeIsing1D100100feasible
LongRangeXY1D101000feasible
MajumdarGhosh402020feasible
MixedFieldIsing1D100100feasible
PXP1D100010feasible
PpIp2DSC202000infeasible
RFIM101000feasible
RandomBondIsing2D100100feasible
S1AnisotropicD1D200200feasible
S1Heisenberg1D21070113feasible
S1XXZ1D200200feasible
SLEkappa202000feasible
SYK101000infeasible
SchwingerModel202000feasible
ShastrySutherland100001feasible
SherringtonKirkpatrick201010feasible
SixVertex201001feasible
SpinIce101000feasible
TASEP101000feasible
TFIM530289016feasible
TTbar101000feasible
TightBinding1D603003feasible
TightBindingV1D603003feasible
TodaLattice101000feasible
ToricCode504010infeasible
TricriticalIsing302001feasible
TricriticalPotts3302001feasible
XCube101000infeasible
XXZ1D260140012feasible
XYh1D202000feasible
YangLee201010feasible
ZnClock101000feasible
ZnParafermion101000feasible

Hubs (263) — select to drill down

AKLT1D (8)

AKLT2D (1)

BCFT (1)

ChernSimons3D (2)

Cluster1D (2)

Compass1D (1)

ConformalBootstrap (1)

CurieWeissIsing (8)

DMIHeisenberg1D (1)

ExtendedHubbard1D (1)

FibonacciAnyons (1)

GrossNeveu (2)

Heisenberg1D (21)

HeisenbergXYZ (2)

Hubbard1D (4)

IsingChain1D (8)

IsingSquare (12)

IsingTriangular (3)

J1J2Heisenberg1D (1)

KagomeHeisenbergAFM (3)

Kitaev1D (6)

KitaevHeisenberg (1)

KitaevHoneycomb (10)

LiouvilleCFT (2)

LogarithmicCFT (1)

LongRangeIsing1D (1)

LongRangeXY1D (1)

MajumdarGhosh (4)

MixedFieldIsing1D (1)

PXP1D (1)

PpIp2DSC (2)

RFIM (1)

RandomBondIsing2D (1)

S1AnisotropicD1D (2)

S1Heisenberg1D (21)

S1XXZ1D (2)

SLEkappa (2)

SYK (1)

SchwingerModel (2)

ShastrySutherland (1)

SherringtonKirkpatrick (2)

SixVertex (2)

SpinIce (1)

TASEP (1)

TFIM (53)

TTbar (1)

TightBinding1D (6)

TightBindingV1D (6)

TodaLattice (1)

ToricCode (5)

TricriticalIsing (3)

TricriticalPotts3 (3)

XCube (1)

XXZ1D (26)

XYh1D (2)

YangLee (2)

ZnClock (1)

ZnParafermion (1)