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 67 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`	—	19	`analytic`, `dense_ed`, `literature_value`	17	0	1	1	feasible	`@sweep`
`AKLT2D`	—	1	`analytic`	1	0	0	0	infeasible	`@sweep`
`BCFT`	—	1	`analytic`	1	0	0	0	feasible	`@sweep`
`Bound`	—	8	`analytic`	0	0	0	8	feasible	—
`ChernSimons3D`	`WZW`	2	`analytic`, `sugawara`	1	0	1	0	infeasible	`@sweep`
`Cluster1D`	—	2	`analytic`	2	0	0	0	feasible	`@cluster`
`Compass1D`	—	1	`analytic`	1	0	0	0	feasible	`@anisotropic`, `@isotropic`
`ConformalBootstrap`	—	1	`bootstrap_reference`	0	0	1	0	feasible	`@sweep`
`CurieWeissIsing`	`MeanField`	9	`analytic`, `delegation`	6	0	0	3	feasible	`@mean_field`
`DMIHeisenberg1D`	—	1	`delegation`	1	0	0	0	feasible	`@sweep`
`DimerLattice`	—	4	`analytic`	1	0	0	3	feasible	`@sweep`
`ExtendedHubbard1D`	—	1	`delegation`	0	1	0	0	feasible	`@sweep`
`FibonacciAnyons`	—	1	`analytic`	1	0	0	0	infeasible	`@sweep`
`GrossNeveu`	—	2	`analytic`, `analytic_uv`	2	0	0	0	feasible	`@sweep`
`HaldaneShastry`	—	7	`analytic`, `cft_low_T`, `delegation`	0	0	0	7	feasible	—
`Heisenberg1D`	—	28	`analytic`, `bethe_ansatz`, `cft`, `cft_low_T`, `delegation`, `dense_ed`, `muller_ansatz`	13	4	0	11	feasible	`@su2`
`HeisenbergXYZ`	—	6	`closed_form`, `delegation`, `xxz_delegation`	1	1	0	4	feasible	`@isotropic`, `@xx`, `@xxz`
`Honeycomb`	—	2	`bloch_diagonalization`	0	0	0	2	feasible	—
`Hubbard1D`	—	7	`analytic`, `bethe_ansatz`, `jks_qtm_nlie`	2	2	0	3	feasible	`@sweep`
`IsingChain1D`	—	8	`analytic`	7	0	0	1	feasible	`@ising1d`
`IsingSquare`	`Ising`	13	`analytic`, `central_diff`, `delegation`, `onsager`, `transfer_matrix`	7	2	0	4	feasible	`@onsager`
`IsingTriangular`	`Ising`	10	`analytic`, `delegation`	2	0	0	8	feasible	`@triangular`
`J1J2Heisenberg1D`	—	1	`delegation`	1	0	0	0	feasible	`@sweep`
`Kagome`	—	2	`bloch_diagonalization`	0	0	0	2	feasible	—
`KagomeHeisenbergAFM`	—	3	`analytic`, `dmrg_reference`	0	0	3	0	infeasible	`@sweep`
`Kitaev1D`	—	10	`analytic`, `bdg`, `pfaffian`	6	0	0	4	feasible	`@critical`, `@sweep`, `@topological`
`KitaevHeisenberg`	—	1	`kitaev_delegation`	1	0	0	0	feasible	`@sweep`
`KitaevHoneycomb`	—	10	`analytic`, `matter_free_fermion`	1	5	4	0	infeasible	`@sweep`
`Lieb`	—	2	`bloch_diagonalization`	0	0	0	2	feasible	—
`LiouvilleCFT`	—	2	`analytic`	2	0	0	0	feasible	`@sweep`
`LogarithmicCFT`	—	1	`analytic`	1	0	0	0	feasible	`@sweep`
`LongRangeIsing1D`	—	1	`delegation`	0	1	0	0	feasible	`@sweep`
`LongRangeXY1D`	—	1	`analytic`	1	0	0	0	feasible	`@sweep`
`MajumdarGhosh`	—	4	`analytic`, `dmrg_reference`	2	0	2	0	feasible	`@dimer`
`MixedFieldIsing1D`	—	1	`delegation`	0	1	0	0	feasible	`@sweep`
`PXP1D`	—	1	`dmrg_reference`	0	0	1	0	feasible	`@sweep`
`PpIp2DSC`	—	2	`analytic`	2	0	0	0	infeasible	`@sweep`
`RFIM`	—	1	`analytic_imry_ma`	1	0	0	0	feasible	`@sweep`
`RandomBondIsing2D`	`Ising`	1	`delegation`	0	1	0	0	feasible	`@sweep`
`S1AnisotropicD1D`	—	2	`s1_heisenberg_delegation`	0	2	0	0	feasible	`@haldane`
`S1Heisenberg1D`	—	21	`dense_ed`, `literature_value`	13	3	1	4	feasible	`@haldane`
`S1XXZ1D`	—	2	`s1_heisenberg_delegation`	0	2	0	0	feasible	`@haldane`
`SLEkappa`	—	2	`analytic`	2	0	0	0	feasible	`@sweep`
`SSH`	—	10	`analytic`, `dense_ed`	5	0	0	5	feasible	`@sweep`
`SYK`	—	1	`analytic`	1	0	0	0	infeasible	`@sweep`
`SchwingerModel`	—	2	`analytic`	2	0	0	0	feasible	`@massless`
`ShastrySutherland`	—	1	`exact_dimer`	0	0	0	1	feasible	—
`SherringtonKirkpatrick`	—	2	`analytic`, `variational_reference`	1	0	1	0	feasible	`@sweep`
`SixVertex`	—	5	`analytic`, `numerical`	2	1	0	2	feasible	`@sweep`
`SpinIce`	—	1	`analytic`	1	0	0	0	feasible	`@sweep`
`TASEP`	—	2	`analytic`	1	0	0	1	feasible	`@sweep`
`TFIM`	`Ising`	61	`analytic`, `bdg`, `cft`, `closed_form`, `delegation`, `pfaffian`	36	8	0	17	feasible	`@critical`, `@disordered`, `@ordered`
`TTbar`	—	1	`analytic`	1	0	0	0	feasible	`@sweep`
`TightBinding1D`	—	19	`analytic`	4	0	0	15	feasible	`@band_insulator`, `@half_filling`, `@sweep`
`TightBindingV1D`	—	6	`analytic`	3	0	0	3	feasible	`@sweep`
`TodaLattice`	—	1	`linear_phonon`	1	0	0	0	feasible	`@sweep`
`ToricCode`	—	5	`analytic`	4	0	1	0	infeasible	`@sweep`
`Triangular`	—	2	`bloch_diagonalization`	0	0	0	2	feasible	—
`TricriticalIsing`	`MinimalModel`	4	`analytic`	2	0	0	2	feasible	`@sweep`
`TricriticalPotts3`	`MinimalModel`	4	`analytic`, `minimal_model_delegation`	2	0	0	2	feasible	`@sweep`
`Universality`	—	3	`analytic`	2	0	0	1	feasible	`@sweep`
`XCube`	—	1	`analytic`	1	0	0	0	infeasible	`@sweep`
`XXZ1D`	—	32	`analytic`, `bethe_ansatz`, `delegation`, `dense_ed`, `exact_2spinon`, `free_fermion_analytic`, `free_fermion_quadgk_or_klumper_nlie`, `klumper_nlie`	18	5	0	9	feasible	`@fm`, `@free_fermion`, `@gapless`
`XYh1D`	—	13	`analytic`, `bdg`, `quadgk`	0	0	0	13	feasible	—
`YangLee`	`MinimalModel`	3	`analytic`, `minimal_model_delegation`	1	0	1	1	feasible	`@sweep`
`ZnClock`	`Ising`	2	`analytic`, `delegation`	1	0	0	1	feasible	`@sweep`
`ZnParafermion`	`Ising`	2	`analytic`	1	0	0	1	feasible	`@sweep`

Quantity index

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

AnyonStatistics — 1 models
BB84KeyRate — 1 models
BekensteinBound — 1 models
CHSHBound — 1 models
CentralCharge — 15 models
ChaosBound — 1 models
ChargeGap — 2 models
ChiralCondensate — 1 models
ConformalTower — 3 models
ConformalWeights — 6 models
CorrelationLength — 6 models
CriticalExponents — 4 models
CriticalTemperature — 6 models
EdgeModeEnergy — 2 models
Energy — 28 models
EnergyLocal — 5 models
ExactSpectrum — 1 models
FermiVelocity — 2 models
FidelitySusceptibility — 1 models
FractalDimension — 1 models
FreeEnergy — 18 models
GGEValue — 1 models
GroundStateDegeneracy — 2 models
GroundStateEnergyDensity — 8 models
LiebRobinsonBound — 1 models
LiebRobinsonVelocity — 1 models
LoschmidtEcho — 2 models
LuttingerParameter — 4 models
LuttingerVelocity — 1 models
MagnetizationX — 4 models
MagnetizationXLocal — 5 models
MagnetizationY — 4 models
MagnetizationYLocal — 3 models
MagnetizationZ — 5 models
MagnetizationZLocal — 5 models
MassGap — 27 models
MerminGHZBound — 1 models
NMRRelaxationExponent — 2 models
NMRSpinRelaxationRate — 2 models
OptimalCloningFidelity — 1 models
PartitionFunction — 3 models
Polarization — 1 models
PrimaryFields — 2 models
QuantumSpeedLimit — 1 models
RenyiEntropy — 5 models
ResidualEntropy — 5 models
ScramblingTime — 1 models
SpecificHeat — 15 models
SpinGap — 2 models
SpontaneousMagnetization — 6 models
SteadyStateCurrent — 1 models
StringOrderParameter — 1 models
SusceptibilityXX — 4 models
SusceptibilityYY — 4 models
SusceptibilityZZ — 8 models
ThermalEntropy — 15 models
TightBindingChecksum — 4 models
TightBindingMaxEnergy — 4 models
TopologicalEntanglementEntropy — 3 models
TopologicalInvariant — 3 models
UniversalityClass — 18 models
VonNeumannEntropy — 5 models
XXCorrelation — 2 models
XXStructureFactor — 1 models
YYCorrelation — 2 models
YYStructureFactor — 1 models
ZZCorrelation — 4 models
ZZStructureFactor — 4 models

← back to the Atlas index