Infinite`

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 level: corroborated-at-p

Independently corroborated. See the cards below.

`src` claim

method analytic, status exact, reliability high, refs: Pfeuty1970
Δ_∞(J,h) = 2|h - J| — closed-form Ising gap.

Corroboration

regime	mechanism	independence	refs	file
`@critical`	`limiting_case`	🟡 asserted	Ising QCP at h = J: gap closes (Pfeuty 1970)	`test/models/quantum/TFIM/test_TFIM_infinite_dynamics.jl`
`@ordered`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@ordered`	`second_closed_form`	🟢 structural	Pfeuty 1970: Delta = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Delta = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Delta = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Delta = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Delta = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Delta = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Delta = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Delta = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h − J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h − J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h − J
`@sweep`	`ed_finite_size`	🟢 structural	"Pfeuty 1970: Δ = 2	h − J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J
`@sweep`	`second_closed_form`	🟢 structural	Pfeuty 1970: Δ = 2	h - J

Test calls

The exact verify(...) call the harness executed for this hub (reconstructed from the test AST):

verify(TFIM(; J = 1.0, h = 1.0), MassGap(), Infinite(); route = :limiting_case, independent = 0.0, agree_within = 1.0e-10, refs = ["Ising QCP at h = J: gap closes (Pfeuty 1970)"])

verify(TFIM(; J = 1.0, h = 0.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.5 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J| (BC-independent)"])

verify(TFIM(; J = 1.0, h = 0.5), MassGap(), Infinite(); route = :second_closed_form, independent = 1.0, agree_within = 1.0e-10, refs = ["Pfeuty 1970: Delta = 2|h - J| = 1 at (J=1, h=0.5)"])

verify(TFIM(; J = 1.0, 0.5 = 0.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.5 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J| (Bogoliubov dispersion minimum)"])

verify(TFIM(; J = 1.0, 1.5 = 1.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(1.5 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J| (Bogoliubov dispersion minimum)"])

verify(TFIM(; J = 1.0, 2.0 = 2.0), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(2.0 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J| (Bogoliubov dispersion minimum)"])

verify(TFIM(; 1.0 = 1.0, 0.5 = 0.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.5 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J|"])

verify(TFIM(; 1.0 = 1.0, 1.0 = 1.0), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(1.0 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J|"])

verify(TFIM(; 1.0 = 1.0, 2.0 = 2.0), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(2.0 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J|"])

verify(TFIM(; 1.0 = 1.0, 0.5 = 0.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.5 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Delta = 2|h - J|"])

verify(TFIM(; 1.0 = 1.0, 1.5 = 1.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(1.5 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Delta = 2|h - J|"])

verify(TFIM(; 2.0 = 2.0, 0.3 = 0.3), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.3 - 2.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Delta = 2|h - J|"])

verify(TFIM(; 1.0 = 1.0, 0.5 = 0.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.5 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Delta = 2|h - J| (Bogoliubov dispersion minimum)"])

verify(TFIM(; 1.0 = 1.0, 2.0 = 2.0), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(2.0 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Delta = 2|h - J| (Bogoliubov dispersion minimum)"])

verify(TFIM(; 1.0 = 1.0, 0.0 = 0.0), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.0 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Delta = 2|h - J| (Bogoliubov dispersion minimum)"])

verify(TFIM(; 2.0 = 2.0, 0.7 = 0.7), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.7 - 2.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Delta = 2|h - J| (Bogoliubov dispersion minimum)"])

verify(TFIM(; 1.0 = 1.0, 0.5 = 0.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.5 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J|"])

verify(TFIM(; 1.0 = 1.0, 1.7 = 1.7), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(1.7 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J|"])

verify(TFIM(; 1.0 = 1.0, 0.5 = 0.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.5 - 1.0), agree_within = 1.0e-12, refs = ["Pfeuty 1970: Δ = 2|h − J| (thermodynamic-limit BdG gap; PBC/OBC kernels at finite N differ — see TFIM.jl docstring)"])

verify(TFIM(; 1.0 = 1.0, 1.0 = 1.0), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(1.0 - 1.0), agree_within = 1.0e-12, refs = ["Pfeuty 1970: Δ = 2|h − J| (thermodynamic-limit BdG gap; PBC/OBC kernels at finite N differ — see TFIM.jl docstring)"])

verify(TFIM(; 1.0 = 1.0, 2.0 = 2.0), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(2.0 - 1.0), agree_within = 1.0e-12, refs = ["Pfeuty 1970: Δ = 2|h − J| (thermodynamic-limit BdG gap; PBC/OBC kernels at finite N differ — see TFIM.jl docstring)"])

verify(TFIM(; 0.0 = 0.0, 1.5 = 1.5), MassGap(), Infinite(); route = :ed_finite_size, independent = [(function (N,) lat = build_lattice(Square, N, 1; boundary = OpenAxis()) H = build_tfim(lat, 0.0, 1.5) λ = sort(eigvals(Symmetric(H))) return λ[2] - λ[1] end)(N) for N = (4, 6, 8)], at = ["N=$(N)" for N = (4, 6, 8)], agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h − J|; independent dense ED of " * "H = −h Σ σˣ at J=0 (decoupled spins, gap = 2h exact ∀N)"])

verify(TFIM(; 1.0 = 1.0, 0.5 = 0.5), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(0.5 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J| (= 0 at the QCP h = J)"])

verify(TFIM(; 1.0 = 1.0, 1.0 = 1.0), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(1.0 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J| (= 0 at the QCP h = J)"])

verify(TFIM(; 1.0 = 1.0, 2.0 = 2.0), MassGap(), Infinite(); route = :second_closed_form, independent = 2 * abs(2.0 - 1.0), agree_within = 1.0e-10, refs = ["Pfeuty 1970: Δ = 2|h - J| (= 0 at the QCP h = J)"])

Assurance (provisional)

level: corroborated-at-p 🟢
cards: 25 · model ED-feasible
RES not wired — measured residuals / confidence are not shown yet.

← Model: TFIM · Quantity: MassGap · Atlas index

🟢 TFIM/MassGap/Infinite

src claim

Corroboration

Test calls

Assurance (provisional)

🟢 `TFIM/MassGap/Infinite`

`src` claim