Work in progress: The Frohmanian Tethered Metriplectic World Model in Lean 4: Canonical Bracket Splitting, Encoding Obstructions, and the Newton Potential
Year: 2026
Type: preprint
Abstract: Work in progress (draft). Companion paper to the Lean 4/Mathlib repository, on a tethered metriplectic model (not Navier-Stokes). Its ceiling results are conditional on named, unproved Props. Does NOT solve the Clay problem or say anything about Navier-Stokes regularity. Source: https://github.com/BenFrohman/metriplectic-world-model at commit 49e4d8e. Sibling reduction paper: 10.5281/zenodo.23842298. © 2026 Benjamin Stanley Frohman (ORCID 0009-0006-7068-3718). Licensed under Apache-2.0. New version: concept DOI in banner. Work in progress; does not solve the Clay problem.
Author: Frohman, Benjamin Stanley
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7225017858