Source authenticated

Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant

Proves Haglund's Conjecture 4 for $k=1$ : every non-real first-quadrant zero of $\Phi_1+t\Phi_2$ is simple with strictly decreasing imaginary part, no branch escapes forward, and every finite-multiplicity real collision stays real afterwards. The cases $k\ge2$ remain open. Two readings worth separating: Conjecture 4 asserts the monotone descent alone, so the no-escape and stays-real statements are this paper's own additions rather than Haglund's text, and they are the stronger part of the theorem. The descent itself, part (i), is the part that rests on the unavailable interval-arithmetic certificate.

Exact FrontierDelta

proved→proved

Scope and record

Occurred: Oct 29, 2026

Delta type: REGISTRY REVISION

Assumptions: VibeMathed verification: site-confirmed. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant · Haglund Conjecture 4, k=1

Confidence: Not scored

Registry verification: site confirmed · preprint · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

ChatGPT
model · ai model contributor · OpenAI

Codex
model · ai model contributor · OpenAI

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant

specialist registry · passed

Site-confirmed: the computational certificate was replayed here on 26 August 2026 and it passes. Cloned mbaccaro-dev/mathematical-proofs, installed python-flint 0.9.0 into a venv per requirements.txt, ran its own reproduce.py in full (4 min 17 s), and got STATUS=PASS with claim_ceiling=Haglund_Conjecture_4_for_k_equals_1_only - via MANIFEST_PASS at 289 files, S1_STRUCTURE, NONREAL_JOIN, GLOBAL_LIFT, OUTER_REGION, and crucially S2_SCIENTIFIC_PASS at patches=238, source_calls=60930, the paper's own figures for the certified first-quadrant proposition, plus S3 at 323 patches and 46,514 calls. What that does not settle: the script recomputes its own certificates against its own manifest, so it shows the computation replays and is internally consistent, not that the interval arithmetic implies the theorem (argued in prose) nor any analytic step around it. The Lean is unchanged from first review - no sorry, admit or declared axiom in the Solution closure, but it verifies one abstract collision theorem, and the repository still says the atlas, the incomplete-gamma estimates and the assembly are not consequences of it. End-to-end Lean remains pending by the author's account; the paper is unrefereed. One packaging defect found while replaying: on a fresh clone reproduce.py aborts at the manifest gate. Of 289 hashes, 12 match only as CRLF, all Windows console receipts, and with no .gitattributes no checkout satisfies both sets; the run above needed those 12 converted first.

Source ↗

Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Some conjectures on the zeros of approximates to the Riemann Ξ-function and incomplete gamma functions

specialist registry · pending

problem-record link supplied by the VibeMathed registry.

Source ↗

Manuscript source, Lean project and verification certificate

code · pending

code link supplied by the VibeMathed registry.

Source ↗

Ahn, On the Zeros of Component Functions of the Riemann Xi Approximates (Penn MA thesis, 2012)

specialist registry · pending

problem-record link supplied by the VibeMathed registry.

Source ↗

Verification archive: reproduce.py, source manifest and interval certificates

code · pending

code link supplied by the VibeMathed registry.

Source ↗

Artifacts and verifiers

Manuscript source, Lean project and verification certificate

code · pending

Artifact ↗

Verification archive: reproduce.py, source manifest and interval certificates

code · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

Corrects Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant →

Supersedes Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant →

Some conjectures on the zeros of approximates to the Riemann Ξ-function and incomplete gamma functions evidence for this event

Verification archive: reproduce.py, source manifest and interval certificates evidence for this event

Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant parent of this event

This event attributed to ChatGPT

This event attributed to Codex

Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant evidence for this event

Manuscript source, Lean project and verification certificate evidence for this event

Ahn, On the Zeros of Component Functions of the Riemann Xi Approximates (Penn MA thesis, 2012) evidence for this event

VibeMathed record: Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph