Choose a result, inspect its assumptions, then run the calculation that supports it. Each check answers a specific question. The original status and the scope of that answer stay attached.
The first module builds the lattice explicitly. It checks the glue, constructs its 240 roots and tests the lattice basis. You can read the source before running it.
Python runs in your browser using Pyodide. The first run downloads the runtime. Its output appears in the existing verification viewer, including any failure and the local reproduction command.
This is a mathematical lattice check. Identifying that lattice with a physical system requires additional arguments and retains its own status.
Search all 707 registered Python modules by subject, filename, claim or source section. This catalogue records source presence and links. It does not report a new execution or a passing result for every module.
1 matching module · showing 1–1
Clear filtersv90_conical_defect_chain.py · registry
Fursaev–Solodukhin factor DERIVED, not imported: smoothed-cone Gauss–Bonnet ∫K = 2π(1−α) exactly (smoothing-independent), codim-2 lift 4π(1−α)A, replica ⇒ S = 4πkA; with k=c₃/2: S = A/4 ⇔ c₃ = 1/(8π) (sympy-solved, unique). The Seam–Horizon residual is isolated to one step: seam determinant ⇒ EH form
Read the original Python sourceA numerical calculation, a formal theorem and an experimental comparison carry different kinds of information. Follow the source appropriate to the claim.
From a checkout of the repository, install its Python requirements and run the first lattice module. The complete suite is a separate step.
git clone https://github.com/sthamann/tfpt.git
cd tfpt
python3 -m venv .venv
.venv/bin/pip install -r requirements.txt.venv/bin/python verification/v1_e8_glue.pyRead the individual checks and the final pass or fail result.
cd verification
../.venv/bin/python run_all.pyThe full suite uses the dependencies and source context documented in the repository.
The research snapshot dated 2026-11-02 includes the active ledger, reviewed findings and registered scripts. It records source coverage and stated scope; it is not a new execution of every proof or calculation.
Select a node to inspect its inputs, outputs, scope and verification scripts. Browser compatible checks open the same verification viewer; native certificates provide their local command.
The script index, figures and detailed research interfaces remain available below. This older technical overview preserves its original statements; use the current result inventory to follow later scope corrections.