Answers are grounded in this paper and cite their sources.
Preprint with Lean 4 formalization. Conditional results only; no claim of Navier–Stokes global regularity. Proves an obstruction: under (C2) and symmetry the tether contributes zero damping. Open assumptions are listed in the paper and repository README.
No takes yet. Share an insight, caveat, or question.
Benjamin Frohman (2026) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: