Atlas — by assurance level
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 R1 assurance level. uncorroborated-but-feasible is the only actionable bucket.
cited-only (18)
- ⚪
AKLT1D/MassGap/Infinite— cited-only - ⚪
ChernSimons3D/PartitionFunction/Infinite— cited-only - ⚪
ConformalBootstrap/ConformalWeights/Infinite— cited-only - ⚪
KagomeHeisenbergAFM/Energy/Infinite— cited-only - ⚪
KagomeHeisenbergAFM/MassGap/Infinite— cited-only - ⚪
KagomeHeisenbergAFM/TopologicalEntanglementEntropy/Infinite— cited-only - ⚪
KitaevHoneycomb/Energy/Infinite— cited-only - ⚪
KitaevHoneycomb/Energy/OBC— cited-only - ⚪
KitaevHoneycomb/Energy/PBC— cited-only - ⚪
KitaevHoneycomb/FreeEnergy/Infinite— cited-only - ⚪
KitaevHoneycomb/FreeEnergy/OBC— cited-only - ⚪
MajumdarGhosh/MassGap/Infinite— cited-only - ⚪
MajumdarGhosh/SpinGap/Infinite— cited-only - ⚪
PXP1D/Energy/Infinite— cited-only - ⚪
S1Heisenberg1D/MassGap/Infinite— cited-only - ⚪
SherringtonKirkpatrick/Energy/Infinite— cited-only - ⚪
ToricCode/AnyonStatistics/Infinite— cited-only - ⚪
YangLee/ConformalWeights/Infinite— cited-only
coherent (30)
- 🔵
CurieWeissIsing/FreeEnergy/Infinite— coherent - 🔵
CurieWeissIsing/SpecificHeat/Infinite— coherent - 🔵
CurieWeissIsing/ThermalEntropy/Infinite— coherent - 🔵
ExtendedHubbard1D/ChargeGap/Infinite— coherent - 🔵
Heisenberg1D/LuttingerParameter/Infinite— coherent - 🔵
HeisenbergXYZ/LuttingerParameter/Infinite— coherent - 🔵
Hubbard1D/ChargeGap/Infinite— coherent - 🔵
Hubbard1D/GroundStateEnergyDensity/Infinite— coherent - 🔵
IsingSquare/Energy/Infinite— coherent - 🔵
IsingSquare/ThermalEntropy/Infinite— coherent - 🔵
KitaevHoneycomb/SpecificHeat/Infinite— coherent - 🔵
KitaevHoneycomb/SpecificHeat/OBC— coherent - 🔵
KitaevHoneycomb/ThermalEntropy/Infinite— coherent - 🔵
KitaevHoneycomb/ThermalEntropy/OBC— 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/Energy/PBC— coherent - 🔵
TFIM/SpecificHeat/Infinite— coherent - 🔵
TFIM/SpecificHeat/OBC— coherent - 🔵
TFIM/SpecificHeat/PBC— coherent - 🔵
TFIM/ThermalEntropy/Infinite— coherent - 🔵
TFIM/ThermalEntropy/OBC— coherent - 🔵
TFIM/ThermalEntropy/PBC— coherent - 🔵
TFIM/XXStructureFactor/Infinite— coherent - 🔵
TFIM/YYStructureFactor/Infinite— coherent
corroborated-at-p (143)
- 🟢
AKLT1D/CorrelationLength/Infinite— corroborated-at-p - 🟢
AKLT1D/Energy/Infinite— corroborated-at-p - 🟢
AKLT1D/GroundStateEnergyDensity/Infinite— corroborated-at-p - 🟢
AKLT1D/StringOrderParameter/Infinite— 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/SpontaneousMagnetization/Infinite— corroborated-at-p - 🟢
CurieWeissIsing/SusceptibilityZZ/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/Energy/OBC— corroborated-at-p - 🟢
Heisenberg1D/FreeEnergy/OBC— 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/SpecificHeat/OBC— corroborated-at-p - 🟢
Heisenberg1D/ThermalEntropy/OBC— corroborated-at-p - 🟢
Heisenberg1D/VonNeumannEntropy/OBC— corroborated-at-p - 🟢
Heisenberg1D/ZZStructureFactor/Infinite— corroborated-at-p - 🟢
HeisenbergXYZ/Energy/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/FreeEnergy/PBC— corroborated-at-p - 🟢
IsingSquare/PartitionFunction/PBC— 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/Infinite— corroborated-at-p - 🟢
S1Heisenberg1D/Energy/OBC— corroborated-at-p - 🟢
S1Heisenberg1D/FreeEnergy/OBC— corroborated-at-p - 🟢
S1Heisenberg1D/RenyiEntropy/OBC— corroborated-at-p - 🟢
S1Heisenberg1D/SpecificHeat/OBC— corroborated-at-p - 🟢
S1Heisenberg1D/ThermalEntropy/OBC— corroborated-at-p - 🟢
S1Heisenberg1D/VonNeumannEntropy/OBC— corroborated-at-p - 🟢
SLEkappa/CentralCharge/Infinite— corroborated-at-p - 🟢
SLEkappa/FractalDimension/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/MassGap/OBC— corroborated-at-p - 🟢
TFIM/RenyiEntropy/OBC— corroborated-at-p - 🟢
TFIM/SpontaneousMagnetization/Infinite— corroborated-at-p - 🟢
TFIM/SusceptibilityXX/PBC— corroborated-at-p - 🟢
TFIM/VonNeumannEntropy/OBC— corroborated-at-p - 🟢
TFIM/XXCorrelation/Infinite— 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 - 🟢
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 - 🟢
XCube/GroundStateDegeneracy/PBC— corroborated-at-p - 🟢
XXZ1D/CentralCharge/Infinite— corroborated-at-p - 🟢
XXZ1D/Energy/Infinite— corroborated-at-p - 🟢
XXZ1D/Energy/OBC— 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/MassGap/Infinite— corroborated-at-p - 🟢
XXZ1D/MassGap/OBC— corroborated-at-p - 🟢
XXZ1D/RenyiEntropy/OBC— corroborated-at-p - 🟢
XXZ1D/SpecificHeat/OBC— corroborated-at-p - 🟢
XXZ1D/SusceptibilityZZ/OBC— corroborated-at-p - 🟢
XXZ1D/ThermalEntropy/OBC— corroborated-at-p - 🟢
XXZ1D/VonNeumannEntropy/OBC— corroborated-at-p - 🟢
XYh1D/Energy/Infinite— corroborated-at-p - 🟢
XYh1D/MassGap/Infinite— corroborated-at-p - 🟢
YangLee/CentralCharge/Infinite— corroborated-at-p - 🟢
ZnClock/CentralCharge/Infinite— corroborated-at-p - 🟢
ZnParafermion/CentralCharge/Infinite— corroborated-at-p
uncorroborated-but-feasible (72)
- 🟠
AKLT1D/ExactSpectrum/OBC— uncorroborated-but-feasible - 🟠
CurieWeissIsing/CriticalExponents/Infinite— uncorroborated-but-feasible - 🟠
CurieWeissIsing/Energy/Infinite— uncorroborated-but-feasible - 🟠
Heisenberg1D/EnergyLocal/OBC— uncorroborated-but-feasible - 🟠
Heisenberg1D/MagnetizationX/OBC— uncorroborated-but-feasible - 🟠
Heisenberg1D/MagnetizationXLocal/OBC— uncorroborated-but-feasible - 🟠
Heisenberg1D/MagnetizationY/OBC— uncorroborated-but-feasible - 🟠
Heisenberg1D/MagnetizationYLocal/OBC— uncorroborated-but-feasible - 🟠
Heisenberg1D/MagnetizationZ/OBC— uncorroborated-but-feasible - 🟠
Heisenberg1D/MagnetizationZLocal/OBC— uncorroborated-but-feasible - 🟠
Heisenberg1D/SusceptibilityXX/OBC— uncorroborated-but-feasible - 🟠
Heisenberg1D/SusceptibilityYY/OBC— uncorroborated-but-feasible - 🟠
Heisenberg1D/SusceptibilityZZ/OBC— uncorroborated-but-feasible - 🟠
IsingChain1D/Energy/Infinite— uncorroborated-but-feasible - 🟠
IsingSquare/CriticalExponents/Infinite— uncorroborated-but-feasible - 🟠
IsingSquare/Energy/PBC— uncorroborated-but-feasible - 🟠
IsingSquare/FreeEnergy/Infinite— uncorroborated-but-feasible - 🟠
IsingSquare/SpecificHeat/Infinite— uncorroborated-but-feasible - 🟠
IsingSquare/SpecificHeat/PBC— uncorroborated-but-feasible - 🟠
IsingSquare/ThermalEntropy/PBC— uncorroborated-but-feasible - 🟠
IsingTriangular/CriticalExponents/Infinite— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/EnergyLocal/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/MagnetizationX/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/MagnetizationXLocal/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/MagnetizationY/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/MagnetizationZ/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/MagnetizationZLocal/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/MassGap/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/SusceptibilityXX/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/SusceptibilityYY/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/SusceptibilityZZ/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/XXCorrelation/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/YYCorrelation/OBC— uncorroborated-but-feasible - 🟠
S1Heisenberg1D/ZZCorrelation/OBC— uncorroborated-but-feasible - 🟠
ShastrySutherland/Energy/Infinite— uncorroborated-but-feasible - 🟠
SixVertex/FreeEnergy/Infinite— uncorroborated-but-feasible - 🟠
TFIM/CriticalExponents/Infinite— uncorroborated-but-feasible - 🟠
TFIM/EnergyLocal/OBC— uncorroborated-but-feasible - 🟠
TFIM/GGEValue/Infinite— uncorroborated-but-feasible - 🟠
TFIM/MagnetizationXLocal/Infinite— uncorroborated-but-feasible - 🟠
TFIM/MagnetizationXLocal/OBC— uncorroborated-but-feasible - 🟠
TFIM/MagnetizationZLocal/OBC— uncorroborated-but-feasible - 🟠
TFIM/MassGap/PBC— uncorroborated-but-feasible - 🟠
TFIM/RenyiEntropy/Infinite— uncorroborated-but-feasible - 🟠
TFIM/SusceptibilityXX/Infinite— uncorroborated-but-feasible - 🟠
TFIM/SusceptibilityXX/OBC— uncorroborated-but-feasible - 🟠
TFIM/SusceptibilityYY/OBC— uncorroborated-but-feasible - 🟠
TFIM/SusceptibilityZZ/Infinite— uncorroborated-but-feasible - 🟠
TFIM/SusceptibilityZZ/OBC— uncorroborated-but-feasible - 🟠
TFIM/VonNeumannEntropy/Infinite— uncorroborated-but-feasible - 🟠
TFIM/ZZStructureFactor/Infinite— uncorroborated-but-feasible - 🟠
TFIM/ZZStructureFactor/OBC— uncorroborated-but-feasible - 🟠
TightBinding1D/FreeEnergy/Infinite— uncorroborated-but-feasible - 🟠
TightBinding1D/SpecificHeat/Infinite— uncorroborated-but-feasible - 🟠
TightBinding1D/ThermalEntropy/Infinite— uncorroborated-but-feasible - 🟠
TightBindingV1D/FreeEnergy/Infinite— uncorroborated-but-feasible - 🟠
TightBindingV1D/SpecificHeat/Infinite— uncorroborated-but-feasible - 🟠
TightBindingV1D/ThermalEntropy/Infinite— uncorroborated-but-feasible - 🟠
TricriticalIsing/PrimaryFields/Infinite— uncorroborated-but-feasible - 🟠
TricriticalPotts3/PrimaryFields/Infinite— uncorroborated-but-feasible - 🟠
XXZ1D/EnergyLocal/OBC— uncorroborated-but-feasible - 🟠
XXZ1D/FreeEnergy/Infinite— uncorroborated-but-feasible - 🟠
XXZ1D/MagnetizationX/OBC— uncorroborated-but-feasible - 🟠
XXZ1D/MagnetizationXLocal/OBC— uncorroborated-but-feasible - 🟠
XXZ1D/MagnetizationY/OBC— uncorroborated-but-feasible - 🟠
XXZ1D/MagnetizationYLocal/OBC— uncorroborated-but-feasible - 🟠
XXZ1D/MagnetizationZ/OBC— uncorroborated-but-feasible - 🟠
XXZ1D/MagnetizationZLocal/OBC— uncorroborated-but-feasible - 🟠
XXZ1D/SpecificHeat/Infinite— uncorroborated-but-feasible - 🟠
XXZ1D/SusceptibilityXX/OBC— uncorroborated-but-feasible - 🟠
XXZ1D/SusceptibilityYY/OBC— uncorroborated-but-feasible - 🟠
XXZ1D/ThermalEntropy/Infinite— uncorroborated-but-feasible