Model list — searchable catalog

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.

Top-level catalog of all 58 models with claimed hubs. One row per model; the columns are derived from the existing substrate (registry + INVENTORY + ED-feasibility set + R1 assurance taxonomy) — no extra annotation per model. Use the browser's full-text search (Ctrl+F) or Documenter's search bar to filter. Click a model name to drill into its Quantity × BC matrix.

ModelUniversality#KMethods🟣🟢🔵🟠EDRegimes (top 3)
AKLT1D8analytic, dense_ed, literature_value06011feasible@sweep
AKLT2D1analytic01000infeasible@sweep
BCFT1analytic01000feasible@sweep
ChernSimons3DWZW2analytic, sugawara01010infeasible@sweep
Cluster1D2analytic02000feasible@cluster
Compass1D1analytic01000feasible@anisotropic
ConformalBootstrap1bootstrap_reference00010feasible@sweep
CurieWeissIsingMeanField8analytic, delegation03302feasible@mean_field
DMIHeisenberg1D1delegation01000feasible@sweep
ExtendedHubbard1D1delegation00100feasible@sweep
FibonacciAnyons1analytic01000infeasible@sweep
GrossNeveu2analytic, analytic_uv02000feasible@sweep
Heisenberg1D21analytic, bethe_ansatz, delegation, dense_ed, muller_ansatz0101010feasible@su2
HeisenbergXYZ2delegation, xxz_delegation01100feasible@isotropic, @sweep, @xx
Hubbard1D4analytic, bethe_ansatz02200feasible@sweep
IsingChain1D8analytic07001feasible@ising1d
IsingSquareIsing12analytic, central_diff, delegation, onsager, transfer_matrix04206feasible@onsager
IsingTriangularIsing3analytic, delegation02001feasible@triangular
J1J2Heisenberg1D1delegation01000feasible@sweep
KagomeHeisenbergAFM3analytic, dmrg_reference00030infeasible@sweep
Kitaev1D6analytic, bdg, pfaffian06000feasible@critical, @sweep, @topological
KitaevHeisenberg1kitaev_delegation01000feasible@sweep
KitaevHoneycomb10analytic, matter_free_fermion01450infeasible@sweep
LiouvilleCFT2analytic02000feasible@sweep
LogarithmicCFT1analytic01000feasible@sweep
LongRangeIsing1D1delegation00100feasible@sweep
LongRangeXY1D1analytic01000feasible@sweep
MajumdarGhosh4analytic, dmrg_reference02020feasible@dimer
MixedFieldIsing1D1delegation00100feasible@sweep
PXP1D1dmrg_reference00010feasible@sweep
PpIp2DSC2analytic02000infeasible@sweep
RFIM1analytic_imry_ma01000feasible@sweep
RandomBondIsing2DIsing1delegation00100feasible@sweep
S1AnisotropicD1D2s1_heisenberg_delegation00200feasible@haldane
S1Heisenberg1D21dense_ed, literature_value070113feasible@haldane
S1XXZ1D2s1_heisenberg_delegation00200feasible@haldane
SLEkappa2analytic02000feasible@sweep
SYK1analytic01000infeasible@sweep
SchwingerModel2analytic02000feasible@massless
ShastrySutherland1exact_dimer00001feasible
SherringtonKirkpatrick2analytic, variational_reference01010feasible@sweep
SixVertex2analytic01001feasible@sweep
SpinIce1analytic01000feasible@sweep
TASEP1analytic01000feasible@sweep
TFIMIsing53analytic, bdg, cft, delegation, pfaffian0289016feasible@critical, @disordered, @ordered
TTbar1analytic01000feasible@sweep
TightBinding1D6analytic03003feasible@band_insulator, @half_filling, @sweep
TightBindingV1D6analytic03003feasible@sweep
TodaLattice1linear_phonon01000feasible@sweep
ToricCode5analytic04010infeasible@sweep
TricriticalIsingMinimalModel3analytic02001feasible@sweep
TricriticalPotts3MinimalModel3analytic, minimal_model_delegation02001feasible@sweep
XCube1analytic01000infeasible@sweep
XXZ1D26analytic, bethe_ansatz, dense_ed, free_fermion_analytic, free_fermion_quadgk0140012feasible@fm, @free_fermion, @gapless
XYh1D2analytic02000feasible@polarized, @sweep, @xx
YangLeeMinimalModel2minimal_model_delegation01010feasible@sweep
ZnClockIsing1delegation01000feasible@sweep
ZnParafermionIsing1analytic01000feasible@sweep

Quantity index

Each quantity has its own Model × BC matrix page (gap visualisation across models):

← back to the Atlas index