Quartic Contact in an Even Polynomial Heat Flow: Parts I–V with Companion Archive

Five research notes on the heat evolution of an even real-rooted polynomial family, with a companion archive of code, logs, independent verification reports and, from version 4, a Lean 4 formalisation of the supporting mathematics of Part V (35 kernel-checked theorems; the checker run and the Sturm count are not formalised). Files are restricted at the time of deposit while the author seeks advice on intellectual property; access for verification purposes may be requested from the author. Nothing in this deposit bears on the Riemann hypothesis, the Riemann ξ function or the de Bruijn–Newman constant.