Read here
Web reading route
A concise, phone-friendly path through the object, the eight parts and the exact research boundary.
Start the route ↓Volume I · Web reading route
From the triangular primitive to the completed source frontier.
Begin with a familiar triangle, follow its reflection coordinate into the completed zeta source, and stop exactly where the proved part stops. This page is the approachable layer; the Reading Volume and Technical Dossier remain one click deeper.
Choose the depth
The HTML route gives the shape of the argument. The Reading Volume carries the continuous mathematics. The Dossier carries the full proofs, certificates, countermodels and empirical context.
Read here
A concise, phone-friendly path through the object, the eight parts and the exact research boundary.
Start the route ↓Read continuously
108 pages, sections R1-R25. The argument, equations, figures, status key and final summary in one document.
Open the PDF ↗Peel in deep
301 pages of proofs, finite certificates, comparison models, failed shortcuts, source calculations and empirical context.
Open the Dossier ↗The v6.3 source package (masters, figures, build and check scripts; 27.9 MB) is on the Zenodo record. Every earlier edition is in the Zenodo version series.
Calibration · since v5.2
Since version 5.2 the volume carries a calibration. The Davenport–Heilbronn function shares the reflection symmetry of completed zeta, F(s) = F(1 − s), but has a different Gamma factor and no Euler product. On a finite list of its zeros, sampled scans find every Widder rung positive through W16588 and detect a negative at W16589. At the three tested centres its Löwner sections stay positive through a hundred nodes; they first fail at exactly 105, 106 and 107 nodes. So a long finite rung prefix does not by itself rule out off-line zeros. No status changed. RH remains open.
The twin evidence first shipped with the v5.2 source package (Zenodo 10.5281/zenodo.23004335). See the result drawn in 51 Twins, and the numbers in the twin calibration report.
Start here
Triangular numbers count familiar things: stacked objects, handshakes and the sum 1 + 2 + … + n. After centering the same primitive at its half-step, its reflection symmetry continues to the complex coordinate used by the volume.
The fold sends s and 1 − s to the same point. It does not silently merge conjugate points, and it does not assume RH. That distinction is one of the clarifications made explicit in v5.1.
The next step is a signed Pascal row. Each row gives an exact finite formula for one Widder rung. The full question is whether every rung is nonnegative at every positive scale. The phrase every rung is where the open problem lives.
Root to frontier
Each part stays readable at this level, then offers the exact Reading Volume page and a relevant Dossier entrance.
Build the discrete primitive, its reflection, reciprocal moments, the Euler-constant bridge and the half-step coordinate. This is the arithmetic root of the later analytic construction.
Carry forward: one centered coordinate can hold several exact identities without making those identities the same theorem.
Continue the centered triangular symmetry into q = s(1 − s). Reflection partners share a folded point; conjugation remains visible as a separate operation away from the critical line.
Carry forward: the fold removes the branch label, not the information needed to recognize critical-line membership.
The completed function is written in the folded coordinate, then organized as a resolvent, a heat trace and related positive representations. The volume states exactly how reflection pairs and multiplicity are counted.
Carry forward: positivity for a positive real folded node does not automatically extend to an individual nonreal kernel.
Every rung becomes one finite signed-Pascal row. The volume proves the first rung analytically, retains finite source certificates for the next five, and separates that route from the much longer verified-height prefix.
Carry forward: a finite prefix can be rigorous and enormous while still not supplying an all-order theorem.
The same folded data is read through Li coefficients, Löwner matrices, Gamma and prime blocks, Bernstein rows, Laguerre energy, cutoffs and exact-divisor residuals.
Carry forward: exact translations between forms do not make an unproved sign estimate disappear.
Here the volume isolates what an off-line point would leave behind: contour, heat and Green-function defects. These are exact detectors, but the source-side signs needed to close the argument remain separate.
Carry forward: detecting the shape of a failure is not the same as proving that no failure exists.
Results are restated with their quantifiers, then each surviving route is stopped at its first unsupported line. No unproved reduction between the matrix, energy, divisor and rung routes is assumed.
Carry forward: the next independent source rung is W7; the full criterion still requires every rung at every positive scale.
The no-go ledger records shortcuts already ruled out: finite-prefix stopping rules, coarse large-sieve closure, selected Gamma sublattices and other tempting replacements for the actual signed arithmetic remainder.
Carry forward: a failed shortcut narrows the corridor; it is neither evidence for RH nor evidence against it.
The final page of the argument
The volume ends by placing the coordinate, the proven finite results and the missing uniform source positivity in one summary.
What the fold preserves
One reflection orbit {ρ, 1 − ρ} gives one folded node qρ. If a zero were off the critical line, its conjugate reflection orbit would give a second, conjugate folded node.
This is why the volume is careful about the index set and multiplicity before it sums anything. Reciprocal and sign changes of a nonzero folded coordinate are reversible; taking only a real part is a further observation and can lose information.
Where the work stands
The boundary is mathematical, not rhetorical. Every result keeps the range and assumptions that make it true.
Established in the volume
Still open
Current edition
Version 6.3 brings the volume up to date with the companion paper Reading the Fold (v1.3) and the notation the two now share. No v6.2 result, number, status or equation tag changes, and the Riemann hypothesis remains open.
At the vertex, T(−½) = −1/8 (TDP.5). The product ∏(1 + iy) has coefficients ek(n), and at n = −½ they are 1, −1/8, 1/128, 5/1024, … (TDP.6). Its interior coefficients have gcd n + 1 when n + 1 is prime and 1 otherwise: the successor gate again (TPG.1–TPG.3).
Halving Σ 1/Tn = 2 gives a probability law. Its entropy is −2Σζ′(2k) = log 2 + 2Σ(ζ(2k) − 1)/(2k − 1) = 2.0462774528… nats (4.6), the entropy of the Lüroth map. On the fold, q = s(1 − s) is a coin’s variance.
Wallis’s product reads π = 4∏ 8Tn/(8Tn + 1) (PR.4b). Dossier §170 now says what 990 = T44 does not mean: it is one of six triangular products of three consecutive integers below 2·106, and in the zeta ladder 990 comes from Euler’s formula.
T(z) at every non-integer argument, x = s(s − 1) = −q, N0(t) for the zero count and τn for the Taylor coefficients of (12.9), as in Reading the Fold. Two sentences of the proof prose of Lemma 96A.1 are corrected.
Publication details
This site hosts v6.3, published 20 October 2026. Its Zenodo record is 10.5281/zenodo.23510962; v6.2 is 10.5281/zenodo.23251531. The concept DOI below is the durable link for the version series.
Huckstead, Jeffery. Triangular-n Postmaster: From the Triangular Primitive to the Completed Source Frontier. Volume I - The Reading Volume, v6.3. Cerebral Graphix, October 2026. DOI: 10.5281/zenodo.23510962. Version series: 10.5281/zenodo.21968915. ORCID: 0009-0007-0234-2177.