QAtlas — Verified Exact-Solution Atlas

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.

Assurance taxonomy (R1, ratified — Discussion #379)

Five honest levels, highest achieved tier wins:

🟣 universality-corroborated — agreement checked against the universality class (exponents / central charge). Strongest, regime-spanning evidence.
🟢 corroborated-at-p — an independent computation (finite-size ED extrapolation or a second closed form) reproduces the value at concrete parameter point(s) p.
🔵 coherent — an independent in-repo card exists and the value satisfies an internal invariant (sum rule / limiting case / delegation / retype, or an unrecognised/missing route), but no external value re-derives it.
⚪ cited-only — backed only by a literature citation, or the model is ED-infeasible so a citation is the ceiling. The honest frontier — neutral, not a penalty.
🟠 uncorroborated-but-feasible — src claims the hub, dense ED is feasible, yet no card checks it. The only actionable risk.

Denominator split: the corroboration rate is taken over ED-feasible claimed hubs only. ED-infeasible models (AKLT2D, ChernSimons3D, FibonacciAnyons, KagomeHeisenbergAFM, KitaevHoneycomb, PpIp2DSC, SYK, ToricCode, XCube) are excluded from the risk denominator — their ceiling is the published / DMRG value.

Coverage (all models)

	count
Hubs `src` claims (registry)	388
ED-feasible claimed (risk denominator)	362
ED-infeasible claimed (frontier, excluded)	26
🟣 universality-corroborated	0
🟢 corroborated-at-p	189
🔵 coherent	39
⚪ cited-only (frontier — neutral)	17
🟠 uncorroborated-but-feasible (actionable risk)	143
Inventory cards scanned (whole test/)	2806
Registry files parsed	80 / 80
Models	67

Externally-corroborated rate (🟣+🟢 over ED-feasible claimed): 52.2% · in-repo-verified rate (incl. 🔵 coherent): 63.0%

Faceted search → · by model · by quantity · by BC · by level · by mechanism · by regime · by universality. Full-text search is the top bar (Documenter built-in).

Doc-health audit

Actionable gap surface — see Audit for the itemised list.

Section	Count
1. Models without CONVENTION header	3
2. Quantities without extracted Definition	29
3. Orphan calc notes (matched to no model)	0
4. Models registered but with 0 hubs	0
5. INVENTORY card hubs with no `@register` claim	2

model	claimed	🟢	🔵	⚪	🟠	ED
`AKLT1D`	19	17	0	1	1	feasible
`AKLT2D`	1	1	0	0	0	infeasible
`BCFT`	1	1	0	0	0	feasible
`Bound`	8	0	0	0	8	feasible
`ChernSimons3D`	2	1	0	1	0	infeasible
`Cluster1D`	2	2	0	0	0	feasible
`Compass1D`	1	1	0	0	0	feasible
`ConformalBootstrap`	1	0	0	1	0	feasible
`CurieWeissIsing`	9	6	0	0	3	feasible
`DMIHeisenberg1D`	1	1	0	0	0	feasible
`DimerLattice`	4	1	0	0	3	feasible
`ExtendedHubbard1D`	1	0	1	0	0	feasible
`FibonacciAnyons`	1	1	0	0	0	infeasible
`GrossNeveu`	2	2	0	0	0	feasible
`HaldaneShastry`	7	0	0	0	7	feasible
`Heisenberg1D`	28	13	4	0	11	feasible
`HeisenbergXYZ`	6	1	1	0	4	feasible
`Honeycomb`	2	0	0	0	2	feasible
`Hubbard1D`	7	2	2	0	3	feasible
`IsingChain1D`	8	7	0	0	1	feasible
`IsingSquare`	13	7	2	0	4	feasible
`IsingTriangular`	10	2	0	0	8	feasible
`J1J2Heisenberg1D`	1	1	0	0	0	feasible
`Kagome`	2	0	0	0	2	feasible
`KagomeHeisenbergAFM`	3	0	0	3	0	infeasible
`Kitaev1D`	10	6	0	0	4	feasible
`KitaevHeisenberg`	1	1	0	0	0	feasible
`KitaevHoneycomb`	10	1	5	4	0	infeasible
`Lieb`	2	0	0	0	2	feasible
`LiouvilleCFT`	2	2	0	0	0	feasible
`LogarithmicCFT`	1	1	0	0	0	feasible
`LongRangeIsing1D`	1	0	1	0	0	feasible
`LongRangeXY1D`	1	1	0	0	0	feasible
`MajumdarGhosh`	4	2	0	2	0	feasible
`MixedFieldIsing1D`	1	0	1	0	0	feasible
`PXP1D`	1	0	0	1	0	feasible
`PpIp2DSC`	2	2	0	0	0	infeasible
`RFIM`	1	1	0	0	0	feasible
`RandomBondIsing2D`	1	0	1	0	0	feasible
`S1AnisotropicD1D`	2	0	2	0	0	feasible
`S1Heisenberg1D`	21	13	3	1	4	feasible
`S1XXZ1D`	2	0	2	0	0	feasible
`SLEkappa`	2	2	0	0	0	feasible
`SSH`	10	5	0	0	5	feasible
`SYK`	1	1	0	0	0	infeasible
`SchwingerModel`	2	2	0	0	0	feasible
`ShastrySutherland`	1	0	0	0	1	feasible
`SherringtonKirkpatrick`	2	1	0	1	0	feasible
`SixVertex`	5	2	1	0	2	feasible
`SpinIce`	1	1	0	0	0	feasible
`TASEP`	2	1	0	0	1	feasible
`TFIM`	61	36	8	0	17	feasible
`TTbar`	1	1	0	0	0	feasible
`TightBinding1D`	19	4	0	0	15	feasible
`TightBindingV1D`	6	3	0	0	3	feasible
`TodaLattice`	1	1	0	0	0	feasible
`ToricCode`	5	4	0	1	0	infeasible
`Triangular`	2	0	0	0	2	feasible
`TricriticalIsing`	4	2	0	0	2	feasible
`TricriticalPotts3`	4	2	0	0	2	feasible
`Universality`	3	2	0	0	1	feasible
`XCube`	1	1	0	0	0	infeasible
`XXZ1D`	32	18	5	0	9	feasible
`XYh1D`	13	0	0	0	13	feasible
`YangLee`	3	1	0	1	1	feasible
`ZnClock`	2	1	0	0	1	feasible
`ZnParafermion`	2	1	0	0	1	feasible