KTS Global · Publication entry · v7.55

Navier–Stokes R2/R3 community verification package, V1 (release r2-r3-v1)

DOI 10.5281/zenodo.23535805 · release tag r2-r3-v1 · Wikidata Q141803373 · ORCID 0009-0008-7130-1448 · published 2026-10-21T13:48:44Z

Claim

Proved (Lean 4.34.1, Comparator on two kernels): the encoded forms of Fefferman's alternatives (C) and (D) for forced Navier–Stokes, and A ∨ B ∨ C ∨ D through them. Not claimed: (A) or (B); that the encoding matches Fefferman's published prose; Clay acceptance.

Contribution attribution

OpenAI — inherited mathematics and underlying formalization at commit f9e8bc5b38b6e212696e8a30e3e91517af887bbd. Tim Jacobs, KTS Global — statement and bridge layer, R3 per-alternative packaging, public verification tooling and documentation. Verification is publisher-executed; not an independent replication.

Limits

Publisher-executed, not an independent replication.
One platform (native Ubuntu 24.04 x86_64); no native Windows, offline or cold-cache verification.
landrun not byte-reproducible.
The Lean encoding has not been independently reviewed against Fefferman's published prose.
Alternatives A and B are shipped as statement files only; they remain open.
No Clay acceptance.

Artefact

Release asset: R2_FINAL_S524_COMMUNITY_V1.tar.gz · release page: https://github.com/kts-global/lean-proofs-public/releases/tag/r2-r3-v1 · licence: Apache-2.0.

Single origin

Every field on this page is read at request time from the single live NODE-1 record at /api/authority-network/evidence/r2-r3-v1.json (the same inlined object the F-9 route serves). If the release body on GitHub changes, both routes update together. The release body itself is at https://github.com/kts-global/lean-proofs-public/releases/tag/r2-r3-v1.

Role of this page

This is the KTS Global apex publication entry for the R2/R3 release. NODE-1 (ktsglobal.live) is the canonical evidence-record publisher; NODE-10 (tim-jacobs.net) is the author's publication entry; NODE-18 (geometricintelligence.ai) is the Geometry-Intelligence field-reference cited-application entry.