ļ‚›GitHubļ„

šŸ”µ TFIM/DynamicalSpinStructureFactor/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
  • Dynamic Szz(q, Ļ‰) via OBC large-N proxy of the time+space Fourier transform of āŸØĻƒį¶»i(t) Ļƒį¶»j(0)āŸ©Ī²; Nproxy/tmax/dt control the proxy precision.

Corroboration

regimemechanismindependencerefsfile
@orderedsum_rulešŸŸ” assertedKubo 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
@orderedsum_rulešŸŸ” assertedKubo 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

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), DynamicalSpinStructureFactor(:z, :z), 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), DynamicalSpinStructureFactor(:z, :z), 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)"])

Assurance (provisional)

  • level: coherent šŸ”µ
  • cards: 2 Ā· model ED-feasible
  • RES not wired ā€” measured residuals / confidence are not shown yet.

ā† Model: TFIM Ā· Quantity: DynamicalSpinStructureFactor Ā· Atlas index