{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://ktsglobal.live/api/authority-network/evidence/r2-r3-v1.json","name":"Navier–Stokes R2/R3 community verification package, V1 (release r2-r3-v1)","identifier":[{"@type":"PropertyValue","propertyID":"doi","value":"10.5281/zenodo.23535805"},{"@type":"PropertyValue","propertyID":"wikidata","value":"Q141803373"},{"@type":"PropertyValue","propertyID":"github-release-tag","value":"r2-r3-v1"}],"datePublished":"2026-10-21T13:48:44Z","distribution":{"@type":"DataDownload","contentUrl":"https://github.com/kts-global/lean-proofs-public/releases/download/r2-r3-v1/R2_FINAL_S524_COMMUNITY_V1.tar.gz","encodingFormat":"application/gzip"},"author":[{"@type":"Person","name":"Tim Jacobs","identifier":"https://orcid.org/0009-0008-7130-1448","affiliation":{"@type":"Organization","name":"KTS Global","identifier":"https://www.wikidata.org/wiki/Q138189229"}},{"@type":"Organization","name":"OpenAI","note":"inherited mathematics and underlying formalization"}],"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":"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."],"citation":"https://doi.org/10.5281/zenodo.23535805","license":"https://www.apache.org/licenses/LICENSE-2.0","isPartOf":{"@type":"Collection","@id":"https://kosmos.evidence.ktsglobal.live/collections/navier-stokes-public/","name":"KTS Global Evidence Locker · Navier–Stokes public collection"},"release_body_canonical_url":"https://github.com/kts-global/lean-proofs-public/releases/tag/r2-r3-v1","status":{"schema_note":"Per-field status block (v7.54). Every field is self_reported: the evidence record is authored by the release publisher. The 'independent_corroboration' field records whether a third party has verified that specific field. This record is a public-facing surface only: it carries no implementation internals of the publisher's workflow (no scoring parameters, no coordinate labels, no cadence constants, no internal-plane identifiers).","identity":{"kind":"self_reported","value":{"author_name":"Tim Jacobs","author_orcid":"0009-0008-7130-1448","author_affiliation":"KTS Global","author_affiliation_wikidata":"Q138189229","release_wikidata":"Q141803373"},"independent_corroboration":"provided","corroboration_source":"ORCID public record 0009-0008-7130-1448 + Wikidata Q141803373 + GitHub release page"},"contribution":{"kind":"self_reported","value":"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.","independent_corroboration":"provided","corroboration_source":"GitHub release body at https://github.com/kts-global/lean-proofs-public/releases/tag/r2-r3-v1 (byte-identical attribution)"},"execution":{"kind":"self_reported","value":{"verifier":"publisher","platform":"Ubuntu 24.04 x86_64","wall_clock_seconds":5678,"receipts_path":"RECEIPTS/community_run/","kernels_checked":["Lean default kernel","nanoda"],"theorems_checked":["NavierStokes.ClayChallenge.clay_navier_stokes_fefferman","NavierStokes.ClayChallenge.clay_navier_stokes_fefferman_via_D","NavierStokes.ClayC.clay_C","NavierStokes.ClayD.clay_D","NavierStokes.Comparator.navier_stokes_clay_via_C","NavierStokes.Comparator.navier_stokes_clay_via_D"],"axioms_permitted":["propext","Classical.choice","Quot.sound"],"closure_size_theorems":40986,"closure_size_modules":620},"independent_corroboration":"pending","corroboration_source":null},"independence":{"kind":"self_reported","value":"publisher-run, not independent replication","independent_corroboration":"unavailable","corroboration_source":null,"note":"No independent party has executed this verification on a non-publisher platform. This is a known limit, listed under 'limits'."},"recognition":{"kind":"self_reported","value":"none","independent_corroboration":"unavailable","corroboration_source":null,"note":"No Clay Institute acceptance, no independent specialist review of the Lean encoding against Fefferman's prose."}}}