GitHub

⚪ ChernSimons3D/PartitionFunction/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: cited-only

Backed only by a literature citation (model is ED-infeasible — this is the ceiling).

src claim

  • method analytic, status exact, reliability high, refs: Witten1989 | Verlinde1988
  • Z(S³; SU(N)k) = S{0,0} of modular S-matrix; product over positive roots in (k+N).

Corroboration

regimemechanismindependencerefsfile
@sweepmulti_root_product🟡 assertedWitten 1989: Z(S³; SU(3)_1) = 1/√3 (Verlinde S₀₀ closed form)test/models/quantum/misc/test_chern_simons_3d.jl
@sweepsingle_root_specialisation🟡 assertedWitten 1989: Z(S³; SU(2)_1) = sqrt(2/3)·sin(π/3) → 1/√2test/models/quantum/misc/test_chern_simons_3d.jl
@sweepsingle_root_specialisation🟡 assertedWitten 1989: Z(S³; SU(2)_2) = sqrt(2/4)·sin(π/4) → 1/2test/models/quantum/misc/test_chern_simons_3d.jl
@sweepsingle_root_specialisation🟡 assertedWitten 1989: Z(S³; SU(2)_3) = sqrt(2/5)·sin(π/5)test/models/quantum/misc/test_chern_simons_3d.jl

Test calls

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

verify(ChernSimons3D(; N = 3, k = 1), PartitionFunction(), Infinite(); route = :multi_root_product, independent = 1 / sqrt(3), agree_within = 1.0e-14, refs = ["Witten 1989: Z(S³; SU(3)_1) = 1/√3 (Verlinde S₀₀ closed form)"])
verify(ChernSimons3D(; N = 2, k = 1), PartitionFunction(), Infinite(); route = :single_root_specialisation, independent = 1 / sqrt(2), agree_within = 1.0e-14, refs = ["Witten 1989: Z(S³; SU(2)_1) = sqrt(2/3)·sin(π/3) → 1/√2"])
verify(ChernSimons3D(; N = 2, k = 2), PartitionFunction(), Infinite(); route = :single_root_specialisation, independent = 0.5, agree_within = 1.0e-14, refs = ["Witten 1989: Z(S³; SU(2)_2) = sqrt(2/4)·sin(π/4) → 1/2"])
verify(ChernSimons3D(; N = 2, k = 3), PartitionFunction(), Infinite(); route = :single_root_specialisation, independent = sqrt(2 / 5) * sin(π / 5), agree_within = 1.0e-14, refs = ["Witten 1989: Z(S³; SU(2)_3) = sqrt(2/5)·sin(π/5)"])

Assurance (provisional)

  • level: cited-only ⚪
  • cards: 4 · model ED-infeasible (frontier)
  • RES not wired — measured residuals / confidence are not shown yet.

← Model: ChernSimons3D · Quantity: PartitionFunction · Atlas index