We give a directed comparison beginning with the classical zero strip for the de Bruijn–Newman heat deformation. Under explicitly stated complete model-to-function source, localisation and global contact premises, translated-probe estimates imply The construction uses Raymond’s finite source data and 57 fixed translated kernels, independently checked by rational Bernstein certificates. An explicit finite Weyl estimate improves the positive first-head tail and its centred logarithmic moment. A centred cone transfer retains the original physical error allowances, exceptional debit and additive cone reserve, and charges the change in existing phase-surplus credits. Directed tail enclosures are regenerated at 192 and 256 bits; a separate exact-rational auditor accepts all 19,023 comparison steps. The controlled decrease from the complete two-source comparison is . We also prove a compatible matched logarithmic tail transfer and identify the finite requirements for stronger exponent pairs. A supplementary section records Raymond’s ceiling below under the distinct zero-free hypothesis.

生成讲解博客的中文版本

生成AI智能校验的中文版本