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: coherent

An independent card exists and the value satisfies an internal invariant; no external value re-derives it yet.

`src` claim

method bdg, status exact, reliability medium
Static S_zz(q) via OBC large-N proxy of correlator Fourier sum.

Corroboration

regime	mechanism	independence	refs	file
`@ordered`	`sum_rule`	🟡 asserted	Kubo FDT: Szz(q,ω;β) = 2 χ''zz(q,ω;β) / (1 − e^{-βω}); proxy params Nproxy=24, tmax=10, dt=0.1 (Mahan ch.3)	`test/verification/tfim_ising/test_tfim_fdt_beta_0_5.jl`
`@ordered`	`sum_rule`	🟡 asserted	Kubo FDT: Szz(q,ω;β) = 2 χ''zz(q,ω;β) / (1 − e^{-βω}); proxy params Nproxy=24, tmax=10, dt=0.1 (Mahan ch.3)	`test/verification/tfim_ising/test_tfim_fdt_beta_1_0.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch2.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch2.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch2.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch3.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch3.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch3.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch4.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch4.jl`
`@sweep`	`limiting_case`	🟡 asserted	TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^αi σ^αj⟩ = δ{ij} ⇒ Sαα(q) = 1 for any q, any axis	`test/models/quantum/TFIM/test_TFIM_structure_factor_paramagnet_zz_batch4.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), ZZStructureFactor(), Infinite(); route = :sum_rule, fetch_kw = (; beta = 0.5, π / 2 = π / 2, collect(range(0.6, 3.0; length = 5)) = collect(range(0.6, 3.0; length = 5)), 24 = 24, 10.0 = 10.0, 0.1 = 0.1), independent = (2 * QAtlas.fetch(TFIM(; J = 1.0, h = 0.5), SusceptibilityZZ(), Infinite(); beta = 0.5, π / 2 = π / 2, collect(range(0.6, 3.0; length = 5)) = collect(range(0.6, 3.0; length = 5)), 24 = 24, 10.0 = 10.0, 0.1 = 0.1)) / (1 - exp(-0.5 * collect(range(0.6, 3.0; length = 5)))), agree_within = 0.05, at = ["β=$(0.5)", "q=$(π / 2)", "ω=$(collect(range(0.6, 3.0; length = 5)))"], refs = ["Kubo FDT: S_zz(q,ω;β) = 2 χ''_zz(q,ω;β) / (1 − e^{-βω}); proxy params N_proxy=24, t_max=10, dt=0.1 (Mahan ch.3)"])

verify(TFIM(; J = 1.0, h = 0.5), ZZStructureFactor(), Infinite(); route = :sum_rule, fetch_kw = (; beta = 1.0, π / 2 = π / 2, collect(range(0.6, 3.0; length = 5)) = collect(range(0.6, 3.0; length = 5)), 24 = 24, 10.0 = 10.0, 0.1 = 0.1), independent = (2 * QAtlas.fetch(TFIM(; J = 1.0, h = 0.5), SusceptibilityZZ(), Infinite(); beta = 1.0, π / 2 = π / 2, collect(range(0.6, 3.0; length = 5)) = collect(range(0.6, 3.0; length = 5)), 24 = 24, 10.0 = 10.0, 0.1 = 0.1)) / (1 - exp(-1.0 * collect(range(0.6, 3.0; length = 5)))), agree_within = 0.05, at = ["β=$(1.0)", "q=$(π / 2)", "ω=$(collect(range(0.6, 3.0; length = 5)))"], refs = ["Kubo FDT: S_zz(q,ω;β) = 2 χ''_zz(q,ω;β) / (1 − e^{-βω}); proxy params N_proxy=24, t_max=10, dt=0.1 (Mahan ch.3)"])

verify(TFIM(; 1.0 = 1.0, 0.5 = 0.5), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = 0.0, beta = 0.001))

verify(TFIM(; 1.0 = 1.0, 0.5 = 0.5), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = π / 2, beta = 0.001))

verify(TFIM(; 1.0 = 1.0, 0.5 = 0.5), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = π, beta = 0.001))

verify(TFIM(; 1.0 = 1.0, 1.0 = 1.0), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = 0.0, beta = 0.001))

verify(TFIM(; 1.0 = 1.0, 1.0 = 1.0), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = π / 2, beta = 0.001))

verify(TFIM(; 1.0 = 1.0, 1.0 = 1.0), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = π, beta = 0.001))

verify(TFIM(; 1.0 = 1.0, 2.0 = 2.0), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = 0.0, beta = 0.001))

verify(TFIM(; 1.0 = 1.0, 2.0 = 2.0), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = π / 2, beta = 0.001))

verify(TFIM(; 1.0 = 1.0, 2.0 = 2.0), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = π, beta = 0.001))

verify(TFIM(; 0.5 = 0.5, 2.0 = 2.0), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = 0.0, beta = 0.001))

verify(TFIM(; 0.5 = 0.5, 2.0 = 2.0), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = π / 2, beta = 0.001))

verify(TFIM(; 0.5 = 0.5, 2.0 = 2.0), ZZStructureFactor(), Infinite(); route = :limiting_case, independent = 1.0, agree_within = 0.01, refs = ["TFIM at T → ∞: ρ = I/2^N ⇒ ⟨σ^α_i σ^α_j⟩ = δ_{ij} ⇒ S_αα(q) = 1 for any q, any axis"], fetch_kw = (; ZZStructureFactor() = π, beta = 0.001))

Assurance (provisional)

level: coherent 🔵
cards: 14 · model ED-feasible
RES not wired — measured residuals / confidence are not shown yet.

← Model: TFIM · Quantity: ZZStructureFactor · Atlas index

🔵 TFIM/ZZStructureFactor/Infinite

src claim

Corroboration

Test calls

Assurance (provisional)

🔵 `TFIM/ZZStructureFactor/Infinite`

`src` claim