Papers · Preprint
Six Birds for Navier-Stokes: A Mechanized No-Zeno Scaffold
A mechanized scaffold that says where a fluid proof would need new math.
In plain words
Energy bounds control the total size of a fluid but not sharp local peaks. That is why regularity is usually reduced to peak criteria.
The paper builds a decision scaffold that separates three things: inequality logic that is system agnostic, hinge assumptions that face Navier Stokes, and numerical diagnostics. Lean mechanizes a no Zeno engine, a capacity lemma and a discrete no go theorem.
It proposes a legality certificate based on anti localization. Smooth random seeds pass. Deliberately localized packets fail at once.
What it shows
- Zeno cascades ruled out under work and capacity hypotheses.
- A discrete no go: localized tests force pointwise gain bounds.
- A reproducible legality certificate.
What it does not claim
No proof of Clay regularity, and no proof that the certificate is preserved by the flow.
Cite
Tsiokos, I. (2026). Six Birds for Navier-Stokes: A Mechanized No-Zeno Scaffold. Zenodo. https://doi.org/10.5281/zenodo.18862865