Final release candidate / preprint · 11 Aug 2026 · Not peer reviewed
The Verdict as AxiomA Source-Level, Reproducibility, and Information-Ecosystem Audit of Nielsen Versions 1, 17, 47, and 50
Audits four versions of J. L. Nielsen’s manuscript on Connes’ rigidity conjecture across mathematical argument, Lean reproducibility, scholarly provenance, and the surrounding AI-mediated information ecosystem. Its deliberately narrow conclusion is that the inspected claims in versions 47 and 50 do not establish the advertised refutation of the supplied counterexamples or a proof of the conjecture.
Audit targetVersion 47 full audit · Version 50 update
Technical resultB2: PASS_WITH_DEPENDENCY_PIN
Review scopeSource · Lean reproducibility · provenance
Claim boundaryVersion-specific findings about inspected objects and claims—not a blanket judgment on every manuscript version, every semantic bridge, or the people involved.
Accountable human author and submitter: Richard Andrei Pemberton. Listed pseudonym: Andrei Kiralv. Manuscript AI contributors: Lilitari—source audit, synthesis, and drafting; Red—source audit, computational testing, and critical review.