Evidence

../

The entry point uses the root Python environment, numpy, mpmath and the shared Checker; it reads no files and writes no output. Run it from the repository root:

uv run --no-sync python wiki/research/smooth_lcm_three_prime/evidence/main.py

Its helpers live in util/: exact integer decisions of every floor of a logarithm, and formal power series with relation counts modulo a prime. The owning research page states what each check covers. A zero relation count proves that no relation of the stated shape exists; the two positive controls show that the computation detects the known relations. No check bears on the irrationality of any series.