XXZ1D — model index
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.
All (Quantity, BC) hubs src claims for XXZ1D. Cells link to the per-hub card; — = not yet implemented at that BC. The shape of the matrix is the gap visualisation: empty cells are where physics could be added next.
Convention
No CONVENTION header found in src/models/<class>/XXZ1D/XXZ1D.jl (model file may predate the lint; see docs/src/conventions.md for the project-wide convention policy).
Coverage
| Level | Count |
|---|---|
| 🟣 universality-corroborated | 0 |
| 🟢 corroborated-at-p | 14 |
| 🔵 coherent | 0 |
| ⚪ cited-only | 0 |
| 🟠 uncorroborated-but-feasible | 12 |
| total claimed hubs | 26 |
Methods (from @register, derived): analytic, bethe_ansatz, dense_ed, free_fermion_analytic, free_fermion_quadgk
References (aggregated):
- Calabrese Essler Fagotti J. Stat. Mech. (2012) P07016 | Heyl Polkovnikov Kehrein Phys. Rev. Lett. 110, 135704 (2013) | Essler Fagotti J. Stat. Mech. (2016) 064002
- Giamarchi 2004
- Giamarchi 2004 | des Cloizeaux Pearson 1962
- Hulthén 1938 | Yang Yang 1966
- Mahan §1.3
- Mahan §1.3 | Coleman §2.4
- Mahan §1.3 | Coleman §2.4 | Takahashi 1999 §4
- Yang Yang 1966 | Takahashi 1999
Quantity × BC matrix
Derivation notes
Matched by filename substring (no annotation; substrate-derived):