Navier–Stokes R2/R3 community verification package, V1 (release r2-r3-v1)
Cited-application entry on NODE-1's field-reference surface. The canonical evidence record and the full publication entry live elsewhere in the federation; this page is the registry pointer and the plain-prose boundary note.
A cited-application registry entry — not a re-hosting.
Navier–Stokes R2/R3 community verification package, V1 (release r2-r3-v1) is a formal, publicly verifiable artefact. It is a cited application in the sense that the field of Geometry Intelligence (defined by this site) references it as an example of what verifiable formal work in a mathematically governed domain looks like.
The canonical evidence record lives at https://ktsglobal.live/api/authority-network/evidence/r2-r3-v1.json on NODE-1 (ktsglobal.live). The publication entry — the one that carries the SoftwareSourceCode JSON-LD and the full claim/contribution/limits/artefact prose — lives at https://tim-jacobs.net/formal-work/r2-r3/ on NODE-10 (tim-jacobs.net).
Verbatim from the canonical record.
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: r2-r3-v1 · DOI 10.5281/zenodo.23535805 · Wikidata Q141803373 · ORCID of the publication-entry author 0009-0008-7130-1448 · licence Apache-2.0.
Material NOT on this page — by design.
NODE-18 (this site) is the definitional-origin surface for the field of Geometry Intelligence. It is not the Navier–Stokes publication's canonical publisher, and it is not the archival record. By registry-mirror discipline, this page does not carry any of the following:
- Sealed digests of the release asset tarball (handled upstream of the publication).
- The SoftwareSourceCode JSON-LD block (that lives on NODE-10 (tim-jacobs.net)).
- Rehosted copies of the Lean 4 source, the kernels, or the receipts.
- Any revision of the DefinedTerm family on /glossary/ — the fifteen glossary entries are untouched.
All of the above is served, canonically and unambiguously, from NODE-1 (ktsglobal.live) (https://ktsglobal.live/api/authority-network/evidence/r2-r3-v1.json) and NODE-10 (tim-jacobs.net) (https://tim-jacobs.net/formal-work/r2-r3/).
How this entry stays truthful.
Every field reported above — title, claim, contribution, limits, DOI, Wikidata Q-id, release tag, ORCID, licence — is read at build time from the single live record at https://ktsglobal.live/api/authority-network/evidence/r2-r3-v1.json. If the release body on NODE-1 (ktsglobal.live) ever changes, this page is regenerated and a build-time preflight check fails the build on any difference. The release body itself is at https://github.com/kts-global/lean-proofs-public/releases/tag/r2-r3-v1.
See the lesson L-110-uu in the federation ledger: "surfaces render from one live record, compared with it at build time."
Boundary conditions for this cited-application entry.
Publication date on the canonical record: 2026-10-21T13:48:44Z.