Computational evidence
Finite calculations, their source records, and their limits.
These downloads are unchanged recorded results and explicitly selected inspection files. No campaign is rerun by the web build. The result files retain their original source commits, dirty-state records, inputs, precision and residuals; current source downloads are identified separately by the edition manifest.
The local selection excludes private holdouts and unclassified research outputs. New maintained computational companion files on the covered-file list use the MIT license. Selected toolkit files retain their existing MIT notice. See the licensing scope for the monograph and preserved historical or third-party material.
Frozen Section 9 worked example · Frozen barrier examples · Complete computational status ledger
Sections 1–8 and Appendix A: exact finite normalizations
Rational fixtures for perimeter and Gram determinants, stack factors, cone walls, intersections, Pfaffians and SL₂ trace identities.
Finite identities for the named fixtures. No general moduli integral, divisor theorem or geometric realization is computed.
- artifacts/normalizations/result.json 22,364 bytes
- experiments/normalizations/README.md 4,433 bytes
- experiments/normalizations/run.py 23,054 bytes
- experiments/normalizations/fixture.json 1,438 bytes
- book/claims/sections1-6.json 29,510 bytes
- book/claims/sections7-8.json 19,707 bytes
Section 9: volume Hessians and barrier examples
The unchanged grid and dense barrier results belong to the frozen Section 9 checkpoint. Its complete reproduction archives remain available from the historical companion pages above.
Small supplied fixtures, numerical comparisons and finite exact identities. No nearly-linear solver, global embedding or interval optimality certificate is supplied.
- artifacts/section9/result.json 11,811 bytes
- artifacts/section9/barrier-result.json 1,355,033 bytes
- experiments/section9/README.md 9,990 bytes
- book/claims/section9.json 37,274 bytes
Sections 12–14 and 16: periods and surgery
Finite period, fusion and local peripheral/surgery calculations with their original recorded coordinates, precision and source identities.
Local formulas and fixed examples. No full quantum gluing, geometric Dehn-filling solver or branch-independent Gaussian phase is certified.
- artifacts/quantum_surgery/result.json 120,085 bytes
- experiments/quantum_surgery/README.md 6,825 bytes
- experiments/quantum_surgery/run.py 7,140 bytes
- experiments/quantum_surgery/fixture.json 680 bytes
- book/claims/sections12-14.json 30,454 bytes
- book/claims/section16.json 29,199 bytes
Section 15: regular-family Airy evidence
The exact-integrand companion supplies new numerical quadrature with precision, contour and cutoff comparisons. The earlier finite algebra and historical input values remain separately downloadable.
The original Airy evaluator and its raw error record remain unrecovered. The later calculation is independent evidence, not a replay of that missing evaluator; neither supplies a total interval certificate.
- artifacts/section15_quantum/result.json 130,686 bytes
- experiments/section15_quantum/README.md 8,690 bytes
- experiments/section15_quantum/check.py 13,708 bytes
- experiments/section15_quantum/evaluate.py 15,971 bytes
- artifacts/section15/checks.json 24,724 bytes
- experiments/section15/README.md 3,353 bytes
- experiments/section15/historical-table.json 1,155 bytes
- book/claims/section15.json 25,504 bytes
Quantum and geodesic finite checks
Four finite quantum groups and ten finite geodesic groups support Sections 10–11, 17–22, 32 and Appendix B. The recorded report preserves exact and numerical evidence separately.
No general Jones or root-of-unity 6j evaluator, global moduli/GMC solver, numerical asymptotic theorem, arbitrary realization or geometric completeness result is claimed.
- artifacts/quantum_geodesics/result.json 4,690,689 bytes
- experiments/quantum_geodesics/README.md 9,074 bytes
- experiments/quantum_geodesics/run.py 15,695 bytes
- experiments/quantum_geodesics/fixture.json 12,421 bytes
- book/claims/sections10-11.json 96,300 bytes
- book/claims/sections17-22.json 149,832 bytes
- book/claims/section32-appendixb.json 150,374 bytes
Sections 23–31: finite counting and mixing formulas
Exact and numerical finite checks accompany the coefficient, dynamics and arithmetic formulas; the result retains its clean-source checkpoint provenance.
Finite checks do not prove the stated global counting or mixing implications and do not supply their independent analytic hypotheses.
- artifacts/counting_mixing/result.json 438,646 bytes
- experiments/counting_mixing/README.md 9,434 bytes
- experiments/counting_mixing/run.py 15,214 bytes
- experiments/counting_mixing/fixture.json 4,392 bytes
- book/claims/sections23-25.json 95,857 bytes
- book/claims/sections26-29.json 93,703 bytes
- book/claims/section31.json 26,963 bytes
Section 30: torus diagnostics and preserved predecessor
The maintained full diagnostic through length 8192 is supplied alongside the frozen length-64 predecessor. Each result keeps its own inputs, precision and source record.
The original historical high-length precision archive remains unrecovered. These replacement diagnostics do not certify a global sharp asymptotic or recover the original campaign.
- artifacts/torus_campaign/result.json 434,757 bytes
- experiments/torus_campaign/README.md 7,369 bytes
- experiments/torus_campaign/run.py 25,244 bytes
- artifacts/section30/result.json 988,452 bytes
- experiments/section30/README.md 7,678 bytes
- book/claims/section30.json 30,573 bytes