๐ต MixedFieldIsing1D/MassGap/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
delegation, reliabilityhigh, refs: Pfeuty 1970 | McCoy-Wu 1978 - hz = 0 delegated to TFIM (closed-form ฮ = 2|hx โ J|); h_z โ 0 non-integrable, deferred to Phase 2 (ED/DMRG).
Corroboration
| regime | mechanism | independence | refs | file |
|---|---|---|---|---|
@sweep | delegation_invariant | ๐ก asserted | h_z=0 delegates to TFIM: ฮ = 2 | h_x - J |
@sweep | limiting_case | ๐ก asserted | TFIM critical line hx=J (Pfeuty 1970) โ MFI at hz=0, h_x=J gives MassGap = 0 | test/models/quantum/misc/test_mixed_field_ising1d.jl |
Test calls
The exact verify(...) call the harness executed for this hub (reconstructed from the test AST):
verify(MixedFieldIsing1D(; J = J, h_x = hx, h_z = 0.0), MassGap(), Infinite(); route = :delegation_invariant, independent = 2 * abs(hx - J), agree_within = 1.0e-9, refs = ["h_z=0 delegates to TFIM: ฮ = 2|h_x - J| (Pfeuty 1970)"])verify(MixedFieldIsing1D(; J = J, h_x = J, h_z = 0.0), MassGap(), Infinite(); route = :limiting_case, independent = 0.0, agree_within = 1.0e-9, refs = ["TFIM critical line h_x=J (Pfeuty 1970) โ MFI at h_z=0, h_x=J gives MassGap = 0"])Assurance (provisional)
- level: coherent ๐ต
- cards: 2 ยท model ED-feasible
- RES not wired โ measured residuals / confidence are not shown yet.
โ Model: MixedFieldIsing1D ยท Quantity: MassGap ยท Atlas index