Edition README
Hilbert 12: closure attempt
README.md
1 # Pure cubic Hilbert 12 closing audit
2
3 This research checkpoint contains a weighted transport obstruction, an exact arithmetic certificate for the target, and a rational interval comparison.
4
5 **Status:** the elliptic gamma to class field equality is not proved. The interval certificate proves a ratio distance below `10^-60`, which resolves the branch condition but not exact equality.
6
7 ## Reproduce the interval and finite transport checks
8
9 Python 3.11 or later, standard library only:
10
11 ```sh
12 python h12_closure_verify.py --json certificate.json
13 python h12_closure_verify.py --terms 3400 --json certificate_replay.json
14 ```
15
16 ## Reproduce the arithmetic polynomial checks
17
18 Python with SymPy installed:
19
20 ```sh
21 python h12_arithmetic_certificate.py
22 ```
23
24 Read `H12_Closure_Attempt_Research_Note.md` for the proofs, exact remaining obligation, and verification scope. The JSON certificates contain integer interval endpoints and explicit truncation parameters. No numerical recognition is used as a proof of equality.