Twin calibration.

1 · The function

Same reflection, different Gamma factor, no Euler product.

Let κ = (√(10 − 2√5) − 2)/(√5 − 1) = 0.2840790438… and let a_n repeat with period 5 as (1, κ, −κ, −1, 0). Then f(s) = Σ a_n n^−s and F(s) = (5/π)^s/2 Γ((s+1)/2) f(s) = F(1 − s). The exact reflection identity follows from the primitive odd character mod 5 functional equation. Completed zeta is π^−s/2Γ(s/2)ζ(s). The twin keeps the reflection s ↔ 1 − s but carries the Gamma factor Γ((s+1)/2) of an odd character, and conductor 5. The textbook odd-character completion uses (5/π)^(s+1)/2. It differs from the factor above only by the constant (5/π)^1/2 ≈ 1.2616, which cancels in F(s) = F(1 − s) and in d/ds log F, the only quantity the rungs and the Löwner test use. The form above is kept deliberately (both forms checked at 40 digits, PP276 monitoring). The coefficients c(n) of −f′/f play the role of Λ(n), but they are signed and live on composites too:

PROVED Some Widder rung of the twin is negative (Dossier Theorem 69A.1): the argument behind (R.4) uses only the absolutely convergent folded resolvent, and a Stieltjes function cannot have the poles that off-line zeros put off the negative axis.

2 · Census and the rung ladder

Where each off-line zero is first seen.

The census covers −0.45 ≤ σ ≤ 1.45 up to height 640 in windows of 5. In every window, the argument-principle count equals the on-line zeros plus twice the off-line zeros. It finds 501 on-line zeros and 16 off-line pairs. An independent 20-digit census over 260–600 flags the same windows. EVID

Here δ = σ − ½, and a is the distance to the nearest on-line zero. Row 10 is computed on its own, because zero 11 fails first in any window that contains both.

• Positive prefix, interval certificate. A separate directed-MPFR Euler–Maclaurin evaluator isolates 179 simple upper zeros below height 260 in disjoint squares: 169 exactly on the line by reflection symmetry and ten in five mirrored off-line pairs. A symmetric base count and twelve direct strip windings account for every zero in the analytic strip. Each low-zero angle obeys |arg q| < 0.0072; the analytic bound above 260 is 5850/844993 < 0.0072. Since 2 · 218 · 0.0072 = 3.1392 < π, the folded-kernel sector argument gives W_k(x) > 0 for every x > 0 and integer 1 ≤ k ≤ 218. This does not show that rung 219 fails. Independent evaluator and receipts. CERT
• Extension through rung 227, interval certificate. An exact-rational follow-up handles the lowest off-line quartet separately. For 3600 ≤ x ≤ 15000 its conjugate folded pair has positive real contribution through rung 227. Outside that range, a neighboring on-line zero contributes more than 1.01 times either exceptional term in magnitude; raising this ratio to any rung 219–227 dominates both exceptional terms. The other quartets and the sharpened analytic tail remain sector-positive. Hence W_k(x) > 0 for every x > 0 and integer 1 ≤ k ≤ 227. The proof and rational checker use the independent 179-zero census. The sharp angle note explains why the earlier uniform-sector argument itself stops at 218. This does not show that rung 228 fails. CERT
• Negative witness, interval certificate. An independent MPFR Euler–Maclaurin evaluator isolates one simple zero in each of the seven exact 10⁻⁹ boxes and gives winding seven on the enclosing 80 < Im ρ < 90 rectangle. It records 319 zero-free segment enclosures. Separately, an exact-rational arithmetic check bounds the seven folded terms by G₁₆₅₈₉(7140.06626) < −1.796027803 × 10⁻⁶; the analytic contribution from all other zeros is below 5.211 × 10⁻¹⁴. The positive rung normalization therefore gives W₁₆₅₈₉(7140.06626) < 0 for the full twin at this specified point. A separate exact-dyadic replay gives W₁₆₅₈₉(x) < 0 and W₁₆₅₈₈(x) > 0 for every x ∈ [7139.83, 7140.28]. This does not identify the first failing rung. Independent zero evaluator; uniform sign replay. CERT
• Earlier-rung scans. Every rung 219 ≤ k ≤ 16,589 was evaluated near each off-line node of the census to 260. A full-orbit scan over 0.524 ≤ x ≤ 43,264 at k = 219, 500, 1000, 3000, 8000, 12000 and 16588 finds no negative minimum. A 40-digit recheck gives positive-rescaled finite-census sums +1.7592739 × 10⁻⁴ at k = 16,588 and −4.6600915 × 10⁻⁵ at k = 16,589 at x = 7140.06626. The separate proof covers 219 ≤ k ≤ 227 for every x. These scans do not prove positivity for all 228 ≤ k ≤ 16,588 and every x. The negative interval at rung 16,589 is certified separately; the scans do not prove that this is the first failure. EVID

3 · The principal route

A hundred nodes, at 250 digits.

By the Dobsch–Donoghue theorem, every N-node Löwner matrix of h = xS is positive semidefinite exactly when the local matrix [h^(i+j+1)(x₀)/(i+j+1)!] is, at every centre x₀. The Taylor coefficients come from the twin’s source formula, so every zero is included.

The original run tested multiples of 5 only. Leading sections are nested, so one elimination of a 112-node matrix numerically reads every leading minor at once. The first negative pivots are found at N = 105, 106 and 107 at the three centres, and the pivots at the tested sizes reproduce the table (Team B replay, provenance/v5_2/evidence/team_b_replay/). These are high-precision numerical findings, not interval certificates of the tiny pivot signs. Positivity was tested only at these three centres; the Dobsch–Donoghue criterion needs every centre. An N-node test uses about 2N ≈ 210 derivatives; the first failing rung uses about 33,000. The principal route sees the twin with far fewer derivatives, but only with arithmetic beyond 150 digits. In double precision the twin is indistinguishable from an on-line control through N = 64. EVID

4 · Why it takes so long

Parity, a Gaussian, and the detection law.

• Parity lemma (TW.1). A real test at real nodes sees a conjugate folded pair as F(q_r + iη) + F(q_r − iη) = 2F(q_r) − η²F″(q_r) + O(η⁴). The first-order, orientation-carrying term cancels. PROVED
• Local Gaussian form (TW.2). With q = ¼ + z² and x = ¼ + τ², log(4xq/(x+q)²) = −ε²/4 + ε³/4 − 7ε⁴/32 + …, where ε = (z² − τ²)/x. So a high rung is a Gaussian smoothing of the zero ordinates, of width τ/√(2k). PROVED
• Detection law (TW.3). An off-line zero at height t, displacement δ and gap a is first seen near k* ≈ 1.3 t²/(aδ). The median ratio is 0.81 on the 15 twin zeros above. On 90 off-line pairs planted among Platt’s zeta zeros (heights 1.9 × 10³ to 10⁹, δ ∈ {0.02, 0.1, 0.3}) it is 0.82, with 10–90% range 0.57–1.09. The older reading k*θ² ≈ constant spreads over a factor of 71 on the same plants. EVID
• Consequence. K_H = 4,712,664,392,502 is a guarantee from phase alone, linear in the verified height. The detection scale is quadratic. An off-line zeta zero just above the verified height, with δ ≈ a ≈ 0.1, would first break the ladder near k ~ 10²⁷.

5 · Corrections carried into v5.2

What the calibration fixed.

• An earlier working paper (PP199) quoted a twin zero at 1.10078201 + 86.14311231i. It does not reproduce: |f| = 0.576 there, and there is no twin zero with σ > 1 below height 640.
• Reference [66] now carries its arXiv title (“simple and on the critical line”), and Alpöge–Furman, the primary source of the unconditional two-thirds theorem, is cited.
• Two firewalls proved in the v0.3 edition, orientation annihilation and compact Euler-ray instability, are restored as Dossier §69C.
• Site v2.8.1 (Fork-A research pass): the rung results are scoped to the finite zero list and sampled x grids, and the 218 sector-safe rungs are conditional on the un-certified census.
• Site v2.8.3 (Team B): the twin is described as sharing ξ's reflection, not its Gamma factor; the rung signs are replayed at 60 and 100 digits; Löwner sizes are reported as first tested failures, beside the exact first failures N* = 105, 106 and 107; and a finite ladder prefix is not said to decide RH.

Evidence

Where to replay it.

The v5.2 baseline programs, zero lists and transcripts are in provenance/v5_2/evidence/ of the TN Postmaster v5.2 source package. The plates' inherited list is evidence/dh-zeros-T260.json. The later PP296 evidence and replay note records the independent census, the rung-227 extension, and the separately certified negative interval. RH STATUS: OPEN.