Model list — searchable catalog
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.
| Model | Universality | #K | Methods | 🟣 | 🟢 | 🔵 | ⚪ | 🟠 | ED | Regimes (top 3) |
|---|---|---|---|---|---|---|---|---|---|---|
AKLT1D | — | 8 | analytic, dense_ed, literature_value | 0 | 6 | 0 | 1 | 1 | feasible | @sweep |
AKLT2D | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | infeasible | @sweep |
BCFT | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
ChernSimons3D | WZW | 2 | analytic, sugawara | 0 | 1 | 0 | 1 | 0 | infeasible | @sweep |
Cluster1D | — | 2 | analytic | 0 | 2 | 0 | 0 | 0 | feasible | @cluster |
Compass1D | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | feasible | @anisotropic |
ConformalBootstrap | — | 1 | bootstrap_reference | 0 | 0 | 0 | 1 | 0 | feasible | @sweep |
CurieWeissIsing | MeanField | 8 | analytic, delegation | 0 | 3 | 3 | 0 | 2 | feasible | @mean_field |
DMIHeisenberg1D | — | 1 | delegation | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
ExtendedHubbard1D | — | 1 | delegation | 0 | 0 | 1 | 0 | 0 | feasible | @sweep |
FibonacciAnyons | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | infeasible | @sweep |
GrossNeveu | — | 2 | analytic, analytic_uv | 0 | 2 | 0 | 0 | 0 | feasible | @sweep |
Heisenberg1D | — | 21 | analytic, bethe_ansatz, delegation, dense_ed, muller_ansatz | 0 | 10 | 1 | 0 | 10 | feasible | @su2 |
HeisenbergXYZ | — | 2 | delegation, xxz_delegation | 0 | 1 | 1 | 0 | 0 | feasible | @isotropic, @sweep, @xx |
Hubbard1D | — | 4 | analytic, bethe_ansatz | 0 | 2 | 2 | 0 | 0 | feasible | @sweep |
IsingChain1D | — | 8 | analytic | 0 | 7 | 0 | 0 | 1 | feasible | @ising1d |
IsingSquare | Ising | 12 | analytic, central_diff, delegation, onsager, transfer_matrix | 0 | 4 | 2 | 0 | 6 | feasible | @onsager |
IsingTriangular | Ising | 3 | analytic, delegation | 0 | 2 | 0 | 0 | 1 | feasible | @triangular |
J1J2Heisenberg1D | — | 1 | delegation | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
KagomeHeisenbergAFM | — | 3 | analytic, dmrg_reference | 0 | 0 | 0 | 3 | 0 | infeasible | @sweep |
Kitaev1D | — | 6 | analytic, bdg, pfaffian | 0 | 6 | 0 | 0 | 0 | feasible | @critical, @sweep, @topological |
KitaevHeisenberg | — | 1 | kitaev_delegation | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
KitaevHoneycomb | — | 10 | analytic, matter_free_fermion | 0 | 1 | 4 | 5 | 0 | infeasible | @sweep |
LiouvilleCFT | — | 2 | analytic | 0 | 2 | 0 | 0 | 0 | feasible | @sweep |
LogarithmicCFT | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
LongRangeIsing1D | — | 1 | delegation | 0 | 0 | 1 | 0 | 0 | feasible | @sweep |
LongRangeXY1D | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
MajumdarGhosh | — | 4 | analytic, dmrg_reference | 0 | 2 | 0 | 2 | 0 | feasible | @dimer |
MixedFieldIsing1D | — | 1 | delegation | 0 | 0 | 1 | 0 | 0 | feasible | @sweep |
PXP1D | — | 1 | dmrg_reference | 0 | 0 | 0 | 1 | 0 | feasible | @sweep |
PpIp2DSC | — | 2 | analytic | 0 | 2 | 0 | 0 | 0 | infeasible | @sweep |
RFIM | — | 1 | analytic_imry_ma | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
RandomBondIsing2D | Ising | 1 | delegation | 0 | 0 | 1 | 0 | 0 | feasible | @sweep |
S1AnisotropicD1D | — | 2 | s1_heisenberg_delegation | 0 | 0 | 2 | 0 | 0 | feasible | @haldane |
S1Heisenberg1D | — | 21 | dense_ed, literature_value | 0 | 7 | 0 | 1 | 13 | feasible | @haldane |
S1XXZ1D | — | 2 | s1_heisenberg_delegation | 0 | 0 | 2 | 0 | 0 | feasible | @haldane |
SLEkappa | — | 2 | analytic | 0 | 2 | 0 | 0 | 0 | feasible | @sweep |
SYK | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | infeasible | @sweep |
SchwingerModel | — | 2 | analytic | 0 | 2 | 0 | 0 | 0 | feasible | @massless |
ShastrySutherland | — | 1 | exact_dimer | 0 | 0 | 0 | 0 | 1 | feasible | — |
SherringtonKirkpatrick | — | 2 | analytic, variational_reference | 0 | 1 | 0 | 1 | 0 | feasible | @sweep |
SixVertex | — | 2 | analytic | 0 | 1 | 0 | 0 | 1 | feasible | @sweep |
SpinIce | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
TASEP | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
TFIM | Ising | 53 | analytic, bdg, cft, delegation, pfaffian | 0 | 28 | 9 | 0 | 16 | feasible | @critical, @disordered, @ordered |
TTbar | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
TightBinding1D | — | 6 | analytic | 0 | 3 | 0 | 0 | 3 | feasible | @band_insulator, @half_filling, @sweep |
TightBindingV1D | — | 6 | analytic | 0 | 3 | 0 | 0 | 3 | feasible | @sweep |
TodaLattice | — | 1 | linear_phonon | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
ToricCode | — | 5 | analytic | 0 | 4 | 0 | 1 | 0 | infeasible | @sweep |
TricriticalIsing | MinimalModel | 3 | analytic | 0 | 2 | 0 | 0 | 1 | feasible | @sweep |
TricriticalPotts3 | MinimalModel | 3 | analytic, minimal_model_delegation | 0 | 2 | 0 | 0 | 1 | feasible | @sweep |
XCube | — | 1 | analytic | 0 | 1 | 0 | 0 | 0 | infeasible | @sweep |
XXZ1D | — | 26 | analytic, bethe_ansatz, dense_ed, free_fermion_analytic, free_fermion_quadgk | 0 | 14 | 0 | 0 | 12 | feasible | @fm, @free_fermion, @gapless |
XYh1D | — | 2 | analytic | 0 | 2 | 0 | 0 | 0 | feasible | @polarized, @sweep, @xx |
YangLee | MinimalModel | 2 | minimal_model_delegation | 0 | 1 | 0 | 1 | 0 | feasible | @sweep |
ZnClock | Ising | 1 | delegation | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
ZnParafermion | Ising | 1 | analytic | 0 | 1 | 0 | 0 | 0 | feasible | @sweep |
Quantity index
Each quantity has its own Model × BC matrix page (gap visualisation across models):
AnyonStatistics— 1 modelsCentralCharge— 15 modelsChargeGap— 2 modelsChiralCondensate— 1 modelsConformalWeights— 6 modelsCorrelationLength— 4 modelsCriticalExponents— 4 modelsCriticalTemperature— 6 modelsEdgeModeEnergy— 1 modelsEnergy— 24 modelsEnergyLocal— 4 modelsExactSpectrum— 1 modelsFermiVelocity— 2 modelsFidelitySusceptibility— 1 modelsFractalDimension— 1 modelsFreeEnergy— 11 modelsGGEValue— 1 modelsGroundStateDegeneracy— 2 modelsGroundStateEnergyDensity— 5 modelsLoschmidtEcho— 2 modelsLuttingerParameter— 4 modelsLuttingerVelocity— 1 modelsMagnetizationX— 4 modelsMagnetizationXLocal— 4 modelsMagnetizationY— 4 modelsMagnetizationYLocal— 2 modelsMagnetizationZ— 4 modelsMagnetizationZLocal— 4 modelsMassGap— 24 modelsPartitionFunction— 2 modelsPrimaryFields— 2 modelsRenyiEntropy— 4 modelsResidualEntropy— 4 modelsSpecificHeat— 10 modelsSpinGap— 2 modelsSpontaneousMagnetization— 4 modelsSteadyStateCurrent— 1 modelsStringOrderParameter— 1 modelsSusceptibilityXX— 4 modelsSusceptibilityYY— 4 modelsSusceptibilityZZ— 6 modelsThermalEntropy— 10 modelsTopologicalEntanglementEntropy— 3 modelsTopologicalInvariant— 2 modelsVonNeumannEntropy— 4 modelsXXCorrelation— 2 modelsXXStructureFactor— 1 modelsYYCorrelation— 2 modelsYYStructureFactor— 1 modelsZZCorrelation— 3 modelsZZStructureFactor— 3 models