Standalone Paper (v4) & Standalone Monograph (monograph_v4): Complete Adversarial Audit, Verbatim Proof Expansion, and Automated flint.arb Verification

Date: October 18, 2026 · Version: v1 · Repository: /Users/alex/riemann-worktrees/origin-main-review

1. Executive Summary & Versioned Deliverables

Following the three-agent adversarial referee audit of standalone_weil_certificates_and_obstructions_v3.tex, standalone_weil_certificates_and_obstructions_monograph_v3.tex, and the repository evidence ledgers, we produced separately versioned, fully self-contained v4 editions together with an automated Python/flint.arb verification suite. All prior versioned deliverables (v1, v2, v3, monograph_v3, and webster-outreach-and-v3-repair-brief-2026-10-18-v1.html) remain untouched at their existing paths.

2. Adversarial Referee Findings Resolved in v4 (24-Page Standalone Paper)

Every single finding identified by the three hostile referee subagents in v3.tex has been resolved in standalone_weil_certificates_and_obstructions_v4.pdf:

1. Full self-contained definitions and proof in Section 1 (Pillar I): Defined the zero-extension isometric embedding $J_a : L^2(I_a) \hookrightarrow L^2(\mathbb{R})$, explicit norm conventions ($\|f\|_2 = \|f\|_{L^2(I_a)}$ for $f \in L^2(I_a)$), the source family $u_a \in L^2_{\mathrm{ev}}(I_a)$ with $\|u_a\|_2 = 1$, $J_a u_a \to \phi$ in $L^2(\mathbb{R})$, and $\sup_a \|\mathsf{W}_{e^a}u_a\|_2 = r_* < \infty$, and stated and proved Proposition 1.2 (Gap-Free Rank-One Schur Complement, prop:v118-gap-free) before proving Theorem 1.5 (thm:bounded-floor).
2. Complete $\lambda=3,4$ architecture, shifted Schur inertia, and first-zero proof in Section 2 (Pillar II): Added the explicit orthonormal trigonometric basis $\{c_n\}_{n \ge 0}$ of $L^2_{\mathrm{ev}}(-a,a)$ ($c_0(x) = (2a)^{-1/2}$, $c_n(x) = a^{-1/2}\cos(n\pi x/a)$), the $\lambda=3$ finite-rank parameters ($\mathfrak{m}_3 \in [0.896597637, 0.896597638]$ at $256$ bits, $N=64$ head at $512/768$ bits, $768/896$-bit directional Schur closure), the full proof of Lemma 2.2 (lem:v140-shifted-schur) and Theorem 2.3 (thm:lambda4-ground), and the complete three-lemma derivation of Theorem 2.4 (thm:first-zero-enclosure, including lem:v142-energy-projection and lem:v143-evaluator-dual with $w_n(t)$ and $C_\ell < 79921$).
3. Full proofs for all ten obstructions in Section 3 (Pillar III): Replaced every one-sentence proof sketch in Section 3 with the complete verbatim analytical proof from the archived sources:
   • Defined the Dirichlet comparison operator $\mathcal{D}$ on $H_0^1(I_a)$ ($(\mathcal{D}f)(x) = -f''(x) + \frac{1}{4}f(x)$ with eigenvalues $\lambda_n(\mathcal{D}) = \frac{(n+1)^2\pi^2}{4a^2} + \frac{1}{4}$) and proved all three parts of Theorem 3.1 (prop:v125-cutoff-cost, prop:v127-rank-barrier, prop:v138-shifted-floor, and the exact $320/448$-bit rational witnesses for NS-44 and NS-45).
   • Proved the spaced radical lattice residual decay (prop:v135-growing-radical) and the fine translated-radical rank barrier $m = 2J+1 \ge \frac{(\log\lambda)\lambda^2}{20000(\log\lambda + 4)^2}$ (NS-46, evidence/v153/new_section.tex) in Theorem 3.2.
   • Expanded the full proofs of all six parts of Theorem 3.3: the 6-bump pole-free construction for prop:v130-local-no-go, the $192/320$-bit and $128/256$-bit enclosures of $\beta_{\log 4}(1) \in (-0.640027118160897146421661394744768547319369747, -0.640027118160897146421661394744768547319369746) < -3/5$ (prop:v132-global-index), the rank-two Taylor proof of $\liminf_{a\to\infty}\|[A_{E_a},A_{F_a}]\| > 9\times 10^{-6}$ (prop:v133-noncommute), the indicator lower bound $\liminf_{a\to\infty}\|\mathbf{1}_{E_a}\Pi_{a,u}\mathbf{1}_{F_a}\| \ge \frac{73}{375\pi} > 0.0619$ (prop:v134-disjoint), the triangle-mollified indicator probe $w = \mathbf{1}_{[\pi,3\pi]} * \kappa_\delta$ ($\delta=1/100$) with rational gate $6(22/7)^2 = 2904/49 < 100$ for the conditional linear growth $\Delta(\beta_a) \ge \frac{1}{6\pi}$ and unconditional divergence $\lim_{a\to\infty} a\Delta(\beta_a) = +\infty$ (evidence/v137/), and the exact local Picone identity with $r_a = (T_a - 2I_h c)/h$ and $b = \ell/16$ for the capacity slack blowup $\eta_a \ge [\delta_a\kappa\exp(\gamma\lambda^2) - B_a]_+$ (NS-34, evidence/v150/capacity_weight.tex).
   • Proved the Contraction Mapping Theorem construction for NS-55 (evidence/v155/proof.tex) and the nonpositivity of $e^{-s\mathsf{W}_{e^a}}$ above $\log r$ ($r^3 - r - 1 = 0$), alongside Theorem 1 and Theorem 2 of derivation.md in Theorem 3.4.
4. Complete verbatim proofs for NS-74 and NS-83 in Section 4 (Pillar IV) and expanded Provenance Ledger in Section 5: Included the full unitary Laguerre/Mellin proof of Theorem 4.1 (NS-74) and the complete Cauchy-residue / geometric-Mellin proof of Theorem 4.2 (NS-83), and expanded Table 1 (tab:provenance) so every path is an exact, verified repository path and every precision matches the serialized JSON certificates.

3. Adversarial Referee Findings Resolved in monograph_v4 (274-Page Standalone Monograph)

In standalone_weil_certificates_and_obstructions_monograph_v4.pdf (built deterministically by build_standalone_monograph_v4.py), we resolved all seven issues surfaced by the Monograph v3 referee:

• Zero "not archived" / "unarchived" occurrences: Removed all remaining historical v1.27–v1.34 unarchived narrative tables, the conditional degree-four commutator remark, and the unarchived 201-point scan remark in Section 5.
• Updated prop:v132-global-index to unconditional theorem status: Replaced the historical conditional phrasing with the archived two-method replacement certificate from audits/bounds-six-agent-2026-09-30-v1/ ($192/320$-bit direct Arb and $128/256$-bit digamma series).
• Corrected bibliography metadata and eliminated uncited bibitems: Corrected ConnesConsaniMoscovici2025 to arXiv:2511.22755 and ConnesVanSuijlekom2025 to arXiv:2511.23257, and pruned uncited legacy bibitems so all 55/55 bibliography entries are cited.
• Added Appendix B (app:provenance-ledger): Added a multi-page Claim-by-Claim Provenance and Verification Ledger mapping all theorems and propositions across Sections 1–7 to their exact proof files, verifier scripts, and bit precisions.

4. Automated Verification Suite (61/61 Checks Passed)

Running audits/standalone-paper-v4-verification-2026-10-18-v1/verify_standalone_v4.py executes 61 deterministic checks across preserved files, LaTeX logs, on-disk \path{...} existence, JSON certificate invariants, and independent flint.arb / Fraction recomputations, writing verification_results.json with 0 failures and 0 pyright diagnostics.