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 69 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)
AKLT1D18analytic, dense_ed, literature_value015012feasible@sweep
AKLT2D1analytic01000infeasible@sweep
BCFT1analytic01000feasible@sweep
Bound8analytic00008feasible
ChernSimons3DWZW2analytic, sugawara01010infeasible@sweep
Cluster1D2analytic02000feasible@cluster
Compass1D1analytic01000feasible@anisotropic, @isotropic
ConformalBootstrap1bootstrap_reference00010feasible@sweep
CurieWeissIsingMeanField10analytic, delegation06004feasible@mean_field
DMIHeisenberg1D1delegation01000feasible@sweep
DimerLattice4analytic01003feasible@sweep
ExtendedHubbard1D1delegation00100feasible@sweep
FibonacciAnyons1analytic01000infeasible@sweep
GrossNeveu2analytic, analytic_uv02000feasible@sweep
HaldaneShastry7analytic, cft_low_T, delegation00007feasible
Heisenberg1D26analytic, bethe_ansatz, cft, cft_low_T, delegation, dense_ed, muller_ansatz0124010feasible@su2
HeisenbergXYZ5closed_form, delegation, xxz_delegation01103feasible@isotropic, @xx, @xxz
Honeycomb2bloch_diagonalization00002feasible
Hubbard1D5analytic, bethe_ansatz, jks_qtm_nlie02102feasible@sweep
IsingChain1D9analytic07002feasible@ising1d
IsingSquareIsing13analytic, central_diff, delegation, kaufman_free_fermion, onsager07204feasible@onsager
IsingTriangularIsing10analytic, delegation02008feasible@triangular
J1J2Heisenberg1D1delegation01000feasible@sweep
Kagome2bloch_diagonalization00002feasible
KagomeHeisenbergAFM3analytic, dmrg_reference00030infeasible@sweep
Kitaev1D9analytic, bdg, pfaffian05004feasible@critical, @sweep, @topological
KitaevHeisenberg1kitaev_delegation01000feasible@sweep
KitaevHoneycomb10analytic, matter_free_fermion01540infeasible@sweep
Lieb2bloch_diagonalization00002feasible
LiouvilleCFT2analytic02000feasible@sweep
LogarithmicCFT1analytic01000feasible@sweep
LongRangeIsing1D1delegation00100feasible@sweep
LongRangeXY1D1analytic01000feasible@sweep
MajumdarGhosh4analytic, dmrg_reference00022feasible@dimer
MixedFieldIsing1D1delegation00100feasible@sweep
PXP1D1dmrg_reference00010feasible@sweep
PpIp2DSC2analytic02000infeasible@sweep
RFIM1analytic_imry_ma01000feasible@sweep
RandomBondIsing2DIsing1delegation00100feasible@sweep
RandomTFIM4analytic, analytic_griffiths_root00103feasible@sweep
RiceMele6analytic, single_particle_diagonalization02202feasible@sweep
S1AnisotropicD1D2s1_heisenberg_delegation00200feasible@haldane
S1Heisenberg1D19dense_ed, literature_value010315feasible@haldane
S1XXZ1D2s1_heisenberg_delegation00200feasible@haldane
SLEkappa2analytic02000feasible@sweep
SSH9analytic, single_particle_diagonalization05004feasible@sweep
SYK1analytic01000infeasible@sweep
SchwingerModel2analytic02000feasible@massless
ShastrySutherland1exact_dimer00001feasible
SherringtonKirkpatrick2analytic, variational_reference01010feasible@sweep
SixVertex5analytic, numerical02102feasible@sweep
SpinIce1analytic01000feasible@sweep
TASEP2analytic01001feasible@sweep
TFIMIsing67analytic, bdg, cft, closed_form, delegation, majorana_evolution, pfaffian03310024feasible@critical, @disordered, @ordered
TTbar1analytic01000feasible@sweep
TightBinding1D19analytic040015feasible@band_insulator, @half_filling, @sweep
TightBindingV1D8analytic03005feasible@sweep
TodaLattice1linear_phonon01000feasible@sweep
ToricCode6analytic03030infeasible@sweep
Triangular2bloch_diagonalization00002feasible
TricriticalIsingMinimalModel4analytic02002feasible@sweep
TricriticalPotts3MinimalModel4analytic, minimal_model_delegation02002feasible@sweep
Universality3analytic02001feasible@sweep
XCube1analytic01000infeasible@sweep
XXZ1D29analytic, bethe_ansatz, delegation, dense_ed, exact_2spinon, free_fermion_analytic, free_fermion_quadgk_or_klumper_nlie, klumper_nlie017507feasible@fm, @free_fermion, @gapless
XYh1D11analytic, bdg, quadgk000011feasible
YangLeeMinimalModel3analytic, minimal_model_delegation01011feasible@sweep
ZnClockIsing2analytic, delegation01001feasible@sweep
ZnParafermionIsing2analytic01001feasible@sweep

Quantity index

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

← back to the Atlas index