🔵 TFIM/Energy/PBC
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
bdg, reliabilityhigh, refs: Lieb-Schultz-Mattis 1961 | Sachdev 2011 - Per-site ε(β) with parity-projected fermion sectors (NS + R).
Corroboration
| regime | mechanism | independence | refs | file |
|---|---|---|---|---|
@ordered | sum_rule | 🟡 asserted | Tr(σz σz)=Tr(σx)=0 => per-site ⟨H⟩_{β=0}=0 (PBC) | test/identities/test_identities_TFIM_pbc.jl |
@sweep | sum_rule | 🟡 asserted | Tr(σz σz) = Tr(σx) = 0 => per-site ⟨H⟩_{β=0} = 0 (PBC) | test/models/quantum/TFIM/test_TFIM_pbc_thermal.jl |
Test calls
The exact verify(...) call the harness executed for this hub (reconstructed from the test AST):
verify(TFIM(; J = 1.0, h = 0.5), Energy(:per_site), PBC(6); route = :sum_rule, fetch_kw = (; beta = 0.0), independent = 0.0, agree_within = 1.0e-9, refs = ["Tr(σz σz)=Tr(σx)=0 => per-site ⟨H⟩_{β=0}=0 (PBC)"])verify(TFIM(; J = J, h = h), Energy(:per_site), PBC(N); route = :sum_rule, fetch_kw = (; beta = 0.0), independent = 0.0, agree_within = 1.0e-10, refs = ["Tr(σz σz) = Tr(σx) = 0 => per-site ⟨H⟩_{β=0} = 0 (PBC)"])Assurance (provisional)
- level: coherent 🔵
- cards: 2 · model ED-feasible
- RES not wired — measured residuals / confidence are not shown yet.