Atlas — by corroboration mechanism

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.

Grouped by the route the verify card used. A hub appears under each mechanism it has a card for.

`(no card)` (147)

🟠 AKLT1D/ExactSpectrum/OBC — uncorroborated-but-feasible
🟠 Bound/BB84KeyRate/Infinite — uncorroborated-but-feasible
🟠 Bound/BekensteinBound/Infinite — uncorroborated-but-feasible
🟠 Bound/CHSHBound/Infinite — uncorroborated-but-feasible
🟠 Bound/ChaosBound/Infinite — uncorroborated-but-feasible
🟠 Bound/MerminGHZBound/Infinite — uncorroborated-but-feasible
🟠 Bound/OptimalCloningFidelity/Infinite — uncorroborated-but-feasible
🟠 Bound/QuantumSpeedLimit/Infinite — uncorroborated-but-feasible
🟠 Bound/ScramblingTime/Infinite — uncorroborated-but-feasible
🟠 CurieWeissIsing/CriticalExponents/Infinite — uncorroborated-but-feasible
🟠 CurieWeissIsing/Energy/Infinite — uncorroborated-but-feasible
🟠 CurieWeissIsing/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 DimerLattice/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 DimerLattice/ResidualEntropy/Infinite — uncorroborated-but-feasible
🟠 DimerLattice/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 HaldaneShastry/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 HaldaneShastry/GroundStateEnergyDensity/Infinite — uncorroborated-but-feasible
🟠 HaldaneShastry/RenyiEntropy/Infinite — uncorroborated-but-feasible
🟠 HaldaneShastry/SpecificHeat/Infinite — uncorroborated-but-feasible
🟠 HaldaneShastry/ThermalEntropy/Infinite — uncorroborated-but-feasible
🟠 HaldaneShastry/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 HaldaneShastry/VonNeumannEntropy/Infinite — uncorroborated-but-feasible
🟠 Heisenberg1D/ConformalTower/PBC — uncorroborated-but-feasible
🟠 Heisenberg1D/EnergyLocal/OBC — uncorroborated-but-feasible
🟠 Heisenberg1D/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 Heisenberg1D/MagnetizationXLocal/OBC — uncorroborated-but-feasible
🟠 Heisenberg1D/MagnetizationYLocal/OBC — uncorroborated-but-feasible
🟠 Heisenberg1D/MagnetizationZLocal/OBC — uncorroborated-but-feasible
🟠 Heisenberg1D/RenyiEntropy/Infinite — uncorroborated-but-feasible
🟠 Heisenberg1D/SpecificHeat/Infinite — uncorroborated-but-feasible
🟠 Heisenberg1D/ThermalEntropy/Infinite — uncorroborated-but-feasible
🟠 Heisenberg1D/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 Heisenberg1D/VonNeumannEntropy/Infinite — uncorroborated-but-feasible
🟠 HeisenbergXYZ/CorrelationLength/Infinite — uncorroborated-but-feasible
🟠 HeisenbergXYZ/GroundStateEnergyDensity/Infinite — uncorroborated-but-feasible
🟠 HeisenbergXYZ/MassGap/Infinite — uncorroborated-but-feasible
🟠 HeisenbergXYZ/SpontaneousMagnetization/Infinite — uncorroborated-but-feasible
🟠 Honeycomb/TightBindingChecksum/Infinite — uncorroborated-but-feasible
🟠 Honeycomb/TightBindingMaxEnergy/Infinite — uncorroborated-but-feasible
🟠 Hubbard1D/Energy/Infinite — uncorroborated-but-feasible
🟠 Hubbard1D/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 Hubbard1D/MassGap/Infinite — uncorroborated-but-feasible
🟠 IsingChain1D/Energy/Infinite — uncorroborated-but-feasible
🟠 IsingSquare/CriticalExponents/Infinite — uncorroborated-but-feasible
🟠 IsingSquare/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 IsingSquare/SpecificHeat/Infinite — uncorroborated-but-feasible
🟠 IsingSquare/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 IsingTriangular/CriticalExponents/Infinite — uncorroborated-but-feasible
🟠 IsingTriangular/Energy/Infinite — uncorroborated-but-feasible
🟠 IsingTriangular/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 IsingTriangular/SpecificHeat/Infinite — uncorroborated-but-feasible
🟠 IsingTriangular/SpontaneousMagnetization/Infinite — uncorroborated-but-feasible
🟠 IsingTriangular/ThermalEntropy/Infinite — uncorroborated-but-feasible
🟠 IsingTriangular/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 IsingTriangular/ZZCorrelation/Infinite — uncorroborated-but-feasible
🟠 Kagome/TightBindingChecksum/Infinite — uncorroborated-but-feasible
🟠 Kagome/TightBindingMaxEnergy/Infinite — uncorroborated-but-feasible
🟠 Kitaev1D/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 Kitaev1D/SpecificHeat/Infinite — uncorroborated-but-feasible
🟠 Kitaev1D/ThermalEntropy/Infinite — uncorroborated-but-feasible
🟠 Kitaev1D/UniversalityClass/Infinite — uncorroborated-but-feasible
⚪ KitaevHoneycomb/Energy/OBC — cited-only
⚪ KitaevHoneycomb/Energy/PBC — cited-only
⚪ KitaevHoneycomb/FreeEnergy/OBC — cited-only
🟠 Lieb/TightBindingChecksum/Infinite — uncorroborated-but-feasible
🟠 Lieb/TightBindingMaxEnergy/Infinite — uncorroborated-but-feasible
🟠 S1Heisenberg1D/EnergyLocal/OBC — uncorroborated-but-feasible
🟠 S1Heisenberg1D/MagnetizationXLocal/OBC — uncorroborated-but-feasible
🟠 S1Heisenberg1D/MagnetizationZLocal/OBC — uncorroborated-but-feasible
🟠 S1Heisenberg1D/MassGap/OBC — uncorroborated-but-feasible
🟠 SSH/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 SSH/MassGap/OBC — uncorroborated-but-feasible
🟠 SSH/SpecificHeat/Infinite — uncorroborated-but-feasible
🟠 SSH/ThermalEntropy/Infinite — uncorroborated-but-feasible
🟠 SSH/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 ShastrySutherland/Energy/Infinite — uncorroborated-but-feasible
🟠 SixVertex/Energy/Infinite — uncorroborated-but-feasible
🟠 SixVertex/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 TASEP/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 TFIM/ConformalTower/OBC — uncorroborated-but-feasible
🟠 TFIM/ConformalTower/PBC — uncorroborated-but-feasible
🟠 TFIM/CriticalExponents/Infinite — uncorroborated-but-feasible
🟠 TFIM/EnergyLocal/OBC — uncorroborated-but-feasible
🟠 TFIM/LiebRobinsonBound/Infinite — uncorroborated-but-feasible
🟠 TFIM/LiebRobinsonVelocity/Infinite — uncorroborated-but-feasible
🟠 TFIM/MagnetizationXLocal/OBC — uncorroborated-but-feasible
🟠 TFIM/MagnetizationZLocal/OBC — uncorroborated-but-feasible
🟠 TFIM/MassGap/PBC — uncorroborated-but-feasible
🟠 TFIM/NMRRelaxationExponent/Infinite — uncorroborated-but-feasible
🟠 TFIM/NMRSpinRelaxationRate/Infinite — uncorroborated-but-feasible
🟠 TFIM/NMRSpinRelaxationRate/OBC — uncorroborated-but-feasible
🟠 TFIM/RenyiEntropy/Infinite — uncorroborated-but-feasible
🟠 TFIM/SusceptibilityXX/Infinite — uncorroborated-but-feasible
🟠 TFIM/SusceptibilityZZ/Infinite — uncorroborated-but-feasible
🟠 TFIM/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 TFIM/VonNeumannEntropy/Infinite — uncorroborated-but-feasible
🟠 TightBinding1D/Energy/OBC — uncorroborated-but-feasible
🟠 TightBinding1D/Energy/PBC — uncorroborated-but-feasible
🟠 TightBinding1D/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 TightBinding1D/FreeEnergy/OBC — uncorroborated-but-feasible
🟠 TightBinding1D/FreeEnergy/PBC — uncorroborated-but-feasible
🟠 TightBinding1D/MassGap/OBC — uncorroborated-but-feasible
🟠 TightBinding1D/MassGap/PBC — uncorroborated-but-feasible
🟠 TightBinding1D/NMRSpinRelaxationRate/OBC — uncorroborated-but-feasible
🟠 TightBinding1D/NMRSpinRelaxationRate/PBC — uncorroborated-but-feasible
🟠 TightBinding1D/SpecificHeat/Infinite — uncorroborated-but-feasible
🟠 TightBinding1D/SpecificHeat/OBC — uncorroborated-but-feasible
🟠 TightBinding1D/SpecificHeat/PBC — uncorroborated-but-feasible
🟠 TightBinding1D/ThermalEntropy/Infinite — uncorroborated-but-feasible
🟠 TightBinding1D/ThermalEntropy/OBC — uncorroborated-but-feasible
🟠 TightBinding1D/ThermalEntropy/PBC — uncorroborated-but-feasible
🟠 TightBindingV1D/FreeEnergy/Infinite — uncorroborated-but-feasible
🟠 TightBindingV1D/SpecificHeat/Infinite — uncorroborated-but-feasible
🟠 TightBindingV1D/ThermalEntropy/Infinite — uncorroborated-but-feasible
⚪ ToricCode/AnyonStatistics/Infinite — cited-only
🟠 Triangular/TightBindingChecksum/Infinite — uncorroborated-but-feasible
🟠 Triangular/TightBindingMaxEnergy/Infinite — uncorroborated-but-feasible
🟠 TricriticalIsing/PrimaryFields/Infinite — uncorroborated-but-feasible
🟠 TricriticalIsing/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 TricriticalPotts3/PrimaryFields/Infinite — uncorroborated-but-feasible
🟠 TricriticalPotts3/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 Universality/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 XXZ1D/EnergyLocal/OBC — uncorroborated-but-feasible
🟠 XXZ1D/MagnetizationXLocal/OBC — uncorroborated-but-feasible
🟠 XXZ1D/MagnetizationYLocal/OBC — uncorroborated-but-feasible
🟠 XXZ1D/MagnetizationZLocal/OBC — uncorroborated-but-feasible
🟠 XXZ1D/RenyiEntropy/Infinite — uncorroborated-but-feasible
🟠 XXZ1D/SpecificHeat/Infinite — uncorroborated-but-feasible
🟠 XXZ1D/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 XXZ1D/VonNeumannEntropy/Infinite — uncorroborated-but-feasible
🟠 XXZ1D/ZZStructureFactor/Infinite — uncorroborated-but-feasible
🟠 XYh1D/Energy/Infinite — uncorroborated-but-feasible
🟠 XYh1D/Energy/OBC — uncorroborated-but-feasible
🟠 XYh1D/EnergyLocal/OBC — uncorroborated-but-feasible
🟠 XYh1D/MagnetizationXLocal/OBC — uncorroborated-but-feasible
🟠 XYh1D/MagnetizationYLocal/OBC — uncorroborated-but-feasible
🟠 XYh1D/MagnetizationZ/Infinite — uncorroborated-but-feasible
🟠 XYh1D/MagnetizationZ/OBC — uncorroborated-but-feasible
🟠 XYh1D/MagnetizationZLocal/OBC — uncorroborated-but-feasible
🟠 XYh1D/MassGap/Infinite — uncorroborated-but-feasible
🟠 XYh1D/MassGap/OBC — uncorroborated-but-feasible
🟠 XYh1D/MassGap/PBC — uncorroborated-but-feasible
🟠 XYh1D/SusceptibilityZZ/Infinite — uncorroborated-but-feasible
🟠 XYh1D/SusceptibilityZZ/OBC — uncorroborated-but-feasible
🟠 YangLee/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 ZnClock/UniversalityClass/Infinite — uncorroborated-but-feasible
🟠 ZnParafermion/UniversalityClass/Infinite — uncorroborated-but-feasible

`delegation_invariant` (19)

🟢 BCFT/ResidualEntropy/Infinite — corroborated-at-p
🟢 DMIHeisenberg1D/Energy/Infinite — corroborated-at-p
🔵 ExtendedHubbard1D/ChargeGap/Infinite — coherent
🟢 Heisenberg1D/Energy/OBC — corroborated-at-p
🟢 Heisenberg1D/GroundStateEnergyDensity/Infinite — corroborated-at-p
🔵 Heisenberg1D/LuttingerParameter/Infinite — coherent
🔵 HeisenbergXYZ/LuttingerParameter/Infinite — coherent
🟢 J1J2Heisenberg1D/Energy/Infinite — corroborated-at-p
🔵 KitaevHoneycomb/FreeEnergy/Infinite — coherent
🔵 LongRangeIsing1D/MassGap/Infinite — coherent
🔵 MixedFieldIsing1D/MassGap/Infinite — coherent
🔵 RandomBondIsing2D/CentralCharge/Infinite — coherent
🔵 S1AnisotropicD1D/Energy/Infinite — coherent
🔵 S1AnisotropicD1D/MassGap/Infinite — coherent
🔵 S1XXZ1D/Energy/Infinite — coherent
🔵 S1XXZ1D/MassGap/Infinite — coherent
🔵 TFIM/XXStructureFactor/Infinite — coherent
🔵 TFIM/YYStructureFactor/Infinite — coherent
🟢 XXZ1D/GroundStateEnergyDensity/Infinite — corroborated-at-p

`ed_finite_size` (56)

🟢 AKLT1D/Energy/Infinite — corroborated-at-p
🟢 AKLT1D/ZZCorrelation/Infinite — corroborated-at-p
🟢 AKLT1D/ZZStructureFactor/Infinite — corroborated-at-p
🟢 DMIHeisenberg1D/Energy/Infinite — corroborated-at-p
🟢 DimerLattice/PartitionFunction/OBC — corroborated-at-p
🟢 Heisenberg1D/Energy/OBC — corroborated-at-p
🟢 Heisenberg1D/FreeEnergy/OBC — corroborated-at-p
🟢 Heisenberg1D/GroundStateEnergyDensity/Infinite — corroborated-at-p
🟢 Heisenberg1D/SpecificHeat/OBC — corroborated-at-p
🟢 Heisenberg1D/ThermalEntropy/OBC — corroborated-at-p
🟢 HeisenbergXYZ/Energy/Infinite — corroborated-at-p
🟢 IsingSquare/Energy/PBC — corroborated-at-p
🟢 IsingSquare/FreeEnergy/PBC — corroborated-at-p
🟢 IsingSquare/PartitionFunction/PBC — corroborated-at-p
🟢 IsingSquare/SpecificHeat/PBC — corroborated-at-p
🟢 IsingSquare/ThermalEntropy/PBC — corroborated-at-p
🟢 J1J2Heisenberg1D/Energy/Infinite — corroborated-at-p
🟢 MajumdarGhosh/GroundStateEnergyDensity/Infinite — corroborated-at-p
🟢 MajumdarGhosh/GroundStateEnergyDensity/PBC — corroborated-at-p
🟢 S1Heisenberg1D/Energy/Infinite — corroborated-at-p
🟢 S1Heisenberg1D/Energy/OBC — corroborated-at-p
🟢 S1Heisenberg1D/FreeEnergy/OBC — corroborated-at-p
🟢 S1Heisenberg1D/SpecificHeat/OBC — corroborated-at-p
🟢 S1Heisenberg1D/ThermalEntropy/OBC — corroborated-at-p
🟢 SixVertex/FreeEnergy/Infinite — corroborated-at-p
🟢 TFIM/Energy/OBC — corroborated-at-p
🟢 TFIM/Energy/PBC — corroborated-at-p
🟢 TFIM/FreeEnergy/OBC — corroborated-at-p
🟢 TFIM/FreeEnergy/PBC — corroborated-at-p
🟢 TFIM/MassGap/Infinite — corroborated-at-p
🟢 TFIM/MassGap/OBC — corroborated-at-p
🟢 TFIM/RenyiEntropy/OBC — corroborated-at-p
🟢 TFIM/SpecificHeat/OBC — corroborated-at-p
🟢 TFIM/SpecificHeat/PBC — corroborated-at-p
🟢 TFIM/SusceptibilityXX/OBC — corroborated-at-p
🟢 TFIM/SusceptibilityXX/PBC — corroborated-at-p
🟢 TFIM/SusceptibilityYY/OBC — corroborated-at-p
🟢 TFIM/SusceptibilityZZ/OBC — corroborated-at-p
🟢 TFIM/ThermalEntropy/OBC — corroborated-at-p
🟢 TFIM/ThermalEntropy/PBC — corroborated-at-p
🟢 TFIM/VonNeumannEntropy/OBC — corroborated-at-p
🟢 TFIM/XXCorrelation/OBC — corroborated-at-p
🟢 TFIM/XXStructureFactor/OBC — corroborated-at-p
🟢 TFIM/YYCorrelation/OBC — corroborated-at-p
🟢 TFIM/YYStructureFactor/OBC — corroborated-at-p
🟢 TFIM/ZZCorrelation/OBC — corroborated-at-p
🟢 TightBinding1D/NMRSpinRelaxationRate/Infinite — corroborated-at-p
🟢 XXZ1D/Energy/Infinite — corroborated-at-p
🟢 XXZ1D/Energy/OBC — corroborated-at-p
🟢 XXZ1D/FreeEnergy/OBC — corroborated-at-p
🟢 XXZ1D/LuttingerParameter/Infinite — corroborated-at-p
🟢 XXZ1D/SpecificHeat/OBC — corroborated-at-p
🟢 XXZ1D/SusceptibilityXX/OBC — corroborated-at-p
🟢 XXZ1D/SusceptibilityYY/OBC — corroborated-at-p
🟢 XXZ1D/SusceptibilityZZ/OBC — corroborated-at-p
🟢 XXZ1D/ThermalEntropy/OBC — corroborated-at-p

`lieb_ferroelectric` (1)

🟢 SixVertex/FreeEnergy/Infinite — corroborated-at-p

`lieb_square_ice` (1)

🟢 SixVertex/FreeEnergy/Infinite — corroborated-at-p

`limiting_case` (64)

🟢 CurieWeissIsing/FreeEnergy/Infinite — corroborated-at-p
🟢 CurieWeissIsing/SpecificHeat/Infinite — corroborated-at-p
🟢 CurieWeissIsing/ThermalEntropy/Infinite — corroborated-at-p
🟢 Heisenberg1D/FreeEnergy/OBC — corroborated-at-p
🔵 Heisenberg1D/LuttingerParameter/Infinite — coherent
🔵 Heisenberg1D/MagnetizationX/OBC — coherent
🔵 Heisenberg1D/MagnetizationY/OBC — coherent
🔵 Heisenberg1D/MagnetizationZ/OBC — coherent
🟢 Heisenberg1D/SpecificHeat/OBC — corroborated-at-p
🟢 Heisenberg1D/ThermalEntropy/OBC — corroborated-at-p
🟢 HeisenbergXYZ/Energy/Infinite — corroborated-at-p
🔵 Hubbard1D/ChargeGap/Infinite — coherent
🔵 Hubbard1D/GroundStateEnergyDensity/Infinite — coherent
🟢 IsingChain1D/CriticalTemperature/Infinite — corroborated-at-p
🔵 IsingSquare/Energy/Infinite — coherent
🟢 IsingSquare/PartitionFunction/PBC — corroborated-at-p
🟢 IsingSquare/SpontaneousMagnetization/Infinite — corroborated-at-p
🔵 IsingSquare/ThermalEntropy/Infinite — coherent
🟢 IsingTriangular/CriticalTemperature/Infinite — corroborated-at-p
🔵 KitaevHoneycomb/SpecificHeat/Infinite — coherent
🔵 KitaevHoneycomb/SpecificHeat/OBC — coherent
🔵 KitaevHoneycomb/ThermalEntropy/Infinite — coherent
🔵 KitaevHoneycomb/ThermalEntropy/OBC — coherent
🔵 MixedFieldIsing1D/MassGap/Infinite — coherent
🟢 S1Heisenberg1D/FreeEnergy/OBC — corroborated-at-p
🔵 S1Heisenberg1D/MagnetizationX/OBC — coherent
🔵 S1Heisenberg1D/MagnetizationY/OBC — coherent
🔵 S1Heisenberg1D/MagnetizationZ/OBC — coherent
🟢 S1Heisenberg1D/SpecificHeat/OBC — corroborated-at-p
🟢 S1Heisenberg1D/ThermalEntropy/OBC — corroborated-at-p
🔵 SixVertex/Polarization/Infinite — coherent
🟢 SixVertex/ResidualEntropy/Infinite — corroborated-at-p
🟢 TASEP/SteadyStateCurrent/Infinite — corroborated-at-p
🟢 TFIM/Energy/OBC — corroborated-at-p
🔵 TFIM/GGEValue/Infinite — coherent
🔵 TFIM/MagnetizationXLocal/Infinite — coherent
🟢 TFIM/MagnetizationZ/Infinite — corroborated-at-p
🟢 TFIM/MassGap/Infinite — corroborated-at-p
🔵 TFIM/SpecificHeat/Infinite — coherent
🟢 TFIM/SpecificHeat/OBC — corroborated-at-p
🟢 TFIM/SpecificHeat/PBC — corroborated-at-p
🔵 TFIM/ThermalEntropy/Infinite — coherent
🟢 TFIM/ThermalEntropy/OBC — corroborated-at-p
🟢 TFIM/ThermalEntropy/PBC — corroborated-at-p
🟢 TFIM/VonNeumannEntropy/OBC — corroborated-at-p
🟢 TFIM/XXCorrelation/Infinite — corroborated-at-p
🔵 TFIM/XXStructureFactor/Infinite — coherent
🟢 TFIM/XXStructureFactor/OBC — corroborated-at-p
🔵 TFIM/YYStructureFactor/Infinite — coherent
🟢 TFIM/YYStructureFactor/OBC — corroborated-at-p
🟢 TFIM/ZZCorrelation/OBC — corroborated-at-p
🔵 TFIM/ZZStructureFactor/Infinite — coherent
🔵 TFIM/ZZStructureFactor/OBC — coherent
🟢 XXZ1D/Energy/Infinite — corroborated-at-p
🟢 XXZ1D/FreeEnergy/OBC — corroborated-at-p
🟢 XXZ1D/LoschmidtEcho/Infinite — corroborated-at-p
🟢 XXZ1D/LuttingerParameter/Infinite — corroborated-at-p
🟢 XXZ1D/LuttingerVelocity/Infinite — corroborated-at-p
🔵 XXZ1D/MagnetizationX/OBC — coherent
🔵 XXZ1D/MagnetizationY/OBC — coherent
🔵 XXZ1D/MagnetizationZ/OBC — coherent
🟢 XXZ1D/SpecificHeat/OBC — corroborated-at-p
🔵 XXZ1D/ThermalEntropy/Infinite — coherent
🟢 XXZ1D/ThermalEntropy/OBC — corroborated-at-p

`literature_value` (17)

⚪ AKLT1D/MassGap/Infinite — cited-only
⚪ ConformalBootstrap/ConformalWeights/Infinite — cited-only
🟢 Heisenberg1D/Energy/OBC — corroborated-at-p
🟢 IsingTriangular/ResidualEntropy/Infinite — corroborated-at-p
⚪ KagomeHeisenbergAFM/Energy/Infinite — cited-only
⚪ KagomeHeisenbergAFM/MassGap/Infinite — cited-only
⚪ KagomeHeisenbergAFM/TopologicalEntanglementEntropy/Infinite — cited-only
⚪ KitaevHoneycomb/Energy/Infinite — cited-only
⚪ MajumdarGhosh/MassGap/Infinite — cited-only
⚪ MajumdarGhosh/SpinGap/Infinite — cited-only
⚪ PXP1D/Energy/Infinite — cited-only
🔵 RandomBondIsing2D/CentralCharge/Infinite — coherent
🟢 S1Heisenberg1D/Energy/Infinite — corroborated-at-p
⚪ S1Heisenberg1D/MassGap/Infinite — cited-only
⚪ SherringtonKirkpatrick/Energy/Infinite — cited-only
🟢 TFIM/CentralCharge/Infinite — corroborated-at-p
⚪ YangLee/ConformalWeights/Infinite — cited-only

`multi_root_product` (1)

⚪ ChernSimons3D/PartitionFunction/Infinite — cited-only

`retype_formula` (1)

🟢 AKLT1D/Energy/Infinite — corroborated-at-p

`second_closed_form` (150)

🟢 AKLT1D/CorrelationLength/Infinite — corroborated-at-p
🟢 AKLT1D/FreeEnergy/Infinite — corroborated-at-p
🟢 AKLT1D/FreeEnergy/OBC — corroborated-at-p
🟢 AKLT1D/FreeEnergy/PBC — corroborated-at-p
🟢 AKLT1D/GroundStateEnergyDensity/Infinite — corroborated-at-p
🟢 AKLT1D/SpecificHeat/Infinite — corroborated-at-p
🟢 AKLT1D/SpecificHeat/OBC — corroborated-at-p
🟢 AKLT1D/SpecificHeat/PBC — corroborated-at-p
🟢 AKLT1D/StringOrderParameter/Infinite — corroborated-at-p
🟢 AKLT1D/SusceptibilityZZ/Infinite — corroborated-at-p
🟢 AKLT1D/SusceptibilityZZ/PBC — corroborated-at-p
🟢 AKLT1D/ThermalEntropy/Infinite — corroborated-at-p
🟢 AKLT1D/ThermalEntropy/OBC — corroborated-at-p
🟢 AKLT1D/ThermalEntropy/PBC — corroborated-at-p
🟢 AKLT1D/ZZCorrelation/Infinite — corroborated-at-p
🟢 AKLT1D/ZZStructureFactor/Infinite — corroborated-at-p
🟢 AKLT2D/Energy/Infinite — corroborated-at-p
🟢 BCFT/ResidualEntropy/Infinite — corroborated-at-p
🟢 ChernSimons3D/CentralCharge/Infinite — corroborated-at-p
🟢 Cluster1D/Energy/Infinite — corroborated-at-p
🟢 Cluster1D/MassGap/Infinite — corroborated-at-p
🟢 Compass1D/MassGap/Infinite — corroborated-at-p
🟢 CurieWeissIsing/CriticalTemperature/Infinite — corroborated-at-p
🟢 CurieWeissIsing/FreeEnergy/Infinite — corroborated-at-p
🟢 CurieWeissIsing/SpecificHeat/Infinite — corroborated-at-p
🟢 CurieWeissIsing/SpontaneousMagnetization/Infinite — corroborated-at-p
🟢 CurieWeissIsing/SusceptibilityZZ/Infinite — corroborated-at-p
🟢 CurieWeissIsing/ThermalEntropy/Infinite — corroborated-at-p
🟢 DMIHeisenberg1D/Energy/Infinite — corroborated-at-p
🟢 FibonacciAnyons/TopologicalEntanglementEntropy/Infinite — corroborated-at-p
🟢 GrossNeveu/CentralCharge/Infinite — corroborated-at-p
🟢 GrossNeveu/MassGap/Infinite — corroborated-at-p
🟢 Heisenberg1D/GroundStateEnergyDensity/Infinite — corroborated-at-p
🟢 Heisenberg1D/MassGap/Infinite — corroborated-at-p
🟢 Heisenberg1D/MassGap/OBC — corroborated-at-p
🟢 Heisenberg1D/RenyiEntropy/OBC — corroborated-at-p
🟢 Heisenberg1D/SusceptibilityXX/OBC — corroborated-at-p
🟢 Heisenberg1D/SusceptibilityYY/OBC — corroborated-at-p
🟢 Heisenberg1D/SusceptibilityZZ/OBC — corroborated-at-p
🟢 Heisenberg1D/VonNeumannEntropy/OBC — corroborated-at-p
🟢 Heisenberg1D/ZZStructureFactor/Infinite — corroborated-at-p
🟢 Hubbard1D/LuttingerParameter/Infinite — corroborated-at-p
🟢 Hubbard1D/SpinGap/Infinite — corroborated-at-p
🟢 IsingChain1D/CorrelationLength/Infinite — corroborated-at-p
🟢 IsingChain1D/CriticalTemperature/Infinite — corroborated-at-p
🟢 IsingChain1D/FreeEnergy/Infinite — corroborated-at-p
🟢 IsingChain1D/SpecificHeat/Infinite — corroborated-at-p
🟢 IsingChain1D/SpontaneousMagnetization/Infinite — corroborated-at-p
🟢 IsingChain1D/SusceptibilityZZ/Infinite — corroborated-at-p
🟢 IsingChain1D/ThermalEntropy/Infinite — corroborated-at-p
🟢 IsingSquare/CriticalTemperature/Infinite — corroborated-at-p
🟢 IsingSquare/SpontaneousMagnetization/Infinite — corroborated-at-p
🟢 IsingTriangular/CriticalTemperature/Infinite — corroborated-at-p
🟢 IsingTriangular/ResidualEntropy/Infinite — corroborated-at-p
🟢 J1J2Heisenberg1D/Energy/Infinite — corroborated-at-p
🟢 Kitaev1D/CorrelationLength/Infinite — corroborated-at-p
🟢 Kitaev1D/EdgeModeEnergy/OBC — corroborated-at-p
🟢 Kitaev1D/Energy/Infinite — corroborated-at-p
🟢 Kitaev1D/MassGap/Infinite — corroborated-at-p
🟢 Kitaev1D/MassGap/OBC — corroborated-at-p
🟢 Kitaev1D/TopologicalInvariant/Infinite — corroborated-at-p
🟢 KitaevHeisenberg/MassGap/Infinite — corroborated-at-p
🟢 KitaevHoneycomb/MassGap/Infinite — corroborated-at-p
🟢 LiouvilleCFT/CentralCharge/Infinite — corroborated-at-p
🟢 LiouvilleCFT/ConformalWeights/Infinite — corroborated-at-p
🟢 LogarithmicCFT/CentralCharge/Infinite — corroborated-at-p
🟢 LongRangeXY1D/MassGap/Infinite — corroborated-at-p
🟢 MajumdarGhosh/GroundStateEnergyDensity/Infinite — corroborated-at-p
🟢 MajumdarGhosh/GroundStateEnergyDensity/PBC — corroborated-at-p
🟢 PpIp2DSC/CentralCharge/Infinite — corroborated-at-p
🟢 PpIp2DSC/TopologicalInvariant/Infinite — corroborated-at-p
🟢 RFIM/CriticalTemperature/Infinite — corroborated-at-p
🟢 S1Heisenberg1D/Energy/OBC — corroborated-at-p
🟢 S1Heisenberg1D/RenyiEntropy/OBC — corroborated-at-p
🟢 S1Heisenberg1D/SusceptibilityXX/OBC — corroborated-at-p
🟢 S1Heisenberg1D/SusceptibilityYY/OBC — corroborated-at-p
🟢 S1Heisenberg1D/SusceptibilityZZ/OBC — corroborated-at-p
🟢 S1Heisenberg1D/VonNeumannEntropy/OBC — corroborated-at-p
🟢 S1Heisenberg1D/XXCorrelation/OBC — corroborated-at-p
🟢 S1Heisenberg1D/YYCorrelation/OBC — corroborated-at-p
🟢 S1Heisenberg1D/ZZCorrelation/OBC — corroborated-at-p
🟢 SLEkappa/CentralCharge/Infinite — corroborated-at-p
🟢 SLEkappa/FractalDimension/Infinite — corroborated-at-p
🟢 SSH/CorrelationLength/Infinite — corroborated-at-p
🟢 SSH/EdgeModeEnergy/OBC — corroborated-at-p
🟢 SSH/Energy/Infinite — corroborated-at-p
🟢 SSH/MassGap/Infinite — corroborated-at-p
🟢 SSH/TopologicalInvariant/Infinite — corroborated-at-p
🟢 SYK/ConformalWeights/Infinite — corroborated-at-p
🟢 SchwingerModel/ChiralCondensate/Infinite — corroborated-at-p
🟢 SchwingerModel/MassGap/Infinite — corroborated-at-p
🟢 SherringtonKirkpatrick/CriticalTemperature/Infinite — corroborated-at-p
🟢 SixVertex/ResidualEntropy/Infinite — corroborated-at-p
🟢 SpinIce/ResidualEntropy/Infinite — corroborated-at-p
🟢 TASEP/SteadyStateCurrent/Infinite — corroborated-at-p
🟢 TFIM/CentralCharge/Infinite — corroborated-at-p
🟢 TFIM/CorrelationLength/Infinite — corroborated-at-p
🟢 TFIM/Energy/Infinite — corroborated-at-p
🟢 TFIM/Energy/OBC — corroborated-at-p
🟢 TFIM/FidelitySusceptibility/Infinite — corroborated-at-p
🟢 TFIM/FidelitySusceptibility/OBC — corroborated-at-p
🟢 TFIM/FreeEnergy/Infinite — corroborated-at-p
🟢 TFIM/FreeEnergy/OBC — corroborated-at-p
🟢 TFIM/FreeEnergy/PBC — corroborated-at-p
🟢 TFIM/LoschmidtEcho/Infinite — corroborated-at-p
🟢 TFIM/LoschmidtEcho/OBC — corroborated-at-p
🟢 TFIM/MagnetizationX/Infinite — corroborated-at-p
🟢 TFIM/MagnetizationX/OBC — corroborated-at-p
🟢 TFIM/MagnetizationX/PBC — corroborated-at-p
🟢 TFIM/MagnetizationY/OBC — corroborated-at-p
🟢 TFIM/MagnetizationZ/Infinite — corroborated-at-p
🟢 TFIM/MassGap/Infinite — corroborated-at-p
🟢 TFIM/RenyiEntropy/OBC — corroborated-at-p
🟢 TFIM/SpontaneousMagnetization/Infinite — corroborated-at-p
🟢 TFIM/VonNeumannEntropy/OBC — corroborated-at-p
🟢 TFIM/XXCorrelation/Infinite — corroborated-at-p
🟢 TTbar/CentralCharge/Infinite — corroborated-at-p
🟢 TightBinding1D/Energy/Infinite — corroborated-at-p
🟢 TightBinding1D/FermiVelocity/Infinite — corroborated-at-p
🟢 TightBinding1D/MassGap/Infinite — corroborated-at-p
🟢 TightBindingV1D/Energy/Infinite — corroborated-at-p
🟢 TightBindingV1D/FermiVelocity/Infinite — corroborated-at-p
🟢 TightBindingV1D/MassGap/Infinite — corroborated-at-p
🟢 TodaLattice/MassGap/Infinite — corroborated-at-p
🟢 ToricCode/GroundStateDegeneracy/PBC — corroborated-at-p
🟢 ToricCode/GroundStateEnergyDensity/Infinite — corroborated-at-p
🟢 ToricCode/MassGap/Infinite — corroborated-at-p
🟢 ToricCode/TopologicalEntanglementEntropy/Infinite — corroborated-at-p
🟢 TricriticalIsing/CentralCharge/Infinite — corroborated-at-p
🟢 TricriticalIsing/ConformalWeights/Infinite — corroborated-at-p
🟢 TricriticalPotts3/CentralCharge/Infinite — corroborated-at-p
🟢 TricriticalPotts3/ConformalWeights/Infinite — corroborated-at-p
🟢 Universality/ConformalTower/OBC — corroborated-at-p
🟢 Universality/ConformalTower/PBC — corroborated-at-p
🟢 XCube/GroundStateDegeneracy/PBC — corroborated-at-p
🟢 XXZ1D/CentralCharge/Infinite — corroborated-at-p
🟢 XXZ1D/Energy/Infinite — corroborated-at-p
🟢 XXZ1D/GroundStateEnergyDensity/Infinite — corroborated-at-p
🟢 XXZ1D/LoschmidtEcho/Infinite — corroborated-at-p
🟢 XXZ1D/LuttingerParameter/Infinite — corroborated-at-p
🟢 XXZ1D/LuttingerVelocity/Infinite — corroborated-at-p
🟢 XXZ1D/MassGap/Infinite — corroborated-at-p
🟢 XXZ1D/MassGap/OBC — corroborated-at-p
🟢 XXZ1D/NMRRelaxationExponent/Infinite — corroborated-at-p
🟢 XXZ1D/RenyiEntropy/OBC — corroborated-at-p
🟢 XXZ1D/SusceptibilityZZ/OBC — corroborated-at-p
🟢 XXZ1D/VonNeumannEntropy/OBC — corroborated-at-p
🟢 YangLee/CentralCharge/Infinite — corroborated-at-p
🟢 ZnClock/CentralCharge/Infinite — corroborated-at-p
🟢 ZnParafermion/CentralCharge/Infinite — corroborated-at-p

`single_root_specialisation` (1)

⚪ ChernSimons3D/PartitionFunction/Infinite — cited-only

`sum_rule` (12)

🔵 KitaevHoneycomb/ThermalEntropy/Infinite — coherent
🔵 KitaevHoneycomb/ThermalEntropy/OBC — coherent
🟢 TFIM/Energy/Infinite — corroborated-at-p
🟢 TFIM/Energy/OBC — corroborated-at-p
🟢 TFIM/Energy/PBC — corroborated-at-p
🔵 TFIM/SpecificHeat/Infinite — coherent
🟢 TFIM/SpecificHeat/OBC — corroborated-at-p
🔵 TFIM/ThermalEntropy/Infinite — coherent
🟢 TFIM/ThermalEntropy/OBC — corroborated-at-p
🔵 TFIM/ZZStructureFactor/Infinite — coherent
🟢 XXZ1D/Energy/OBC — corroborated-at-p
🔵 XXZ1D/FreeEnergy/Infinite — coherent

← back to the Atlas index