π΅ TFIM/GGEValue/Infinite
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.
An independent card exists and the value satisfies an internal invariant; no external value re-derives it yet.
src claim
- method
analytic, statusexact, reliabilityhigh, refs: Rigol2007 | CalabreseEsslerFagotti2012 - Per-site Ξ΅GGE via QuadGK over the post-quench dispersion with Bogoliubov-mismatch occupations nk = sinΒ²(ΞΈk(hβ)βΞΈk(h_f)).
Corroboration
| regime | mechanism | independence | refs | file |
|---|---|---|---|---|
@disordered | limiting_case | π‘ asserted | No-quench GGE recovers the T=0 ground-state energy density | test/models/quantum/TFIM/test_tfim_gge.jl |
Test calls
The exact verify(...) call the harness executed for this hub (reconstructed from the test AST):
verify(TFIM(; J = 1.0, h = 1.5), GGEValue(Energy()), Infinite(); route = :limiting_case, fetch_kw = (; initial = TFIM(; J = 1.0, h = 1.5)), independent = QAtlas.fetch(TFIM(; J = 1.0, h = 1.5), Energy(:per_site), Infinite()), agree_within = 1.0e-9, refs = ["No-quench GGE recovers the T=0 ground-state energy density"])Assurance (provisional)
- level: coherent π΅
- cards: 1 Β· model ED-feasible
- RES not wired β measured residuals / confidence are not shown yet.