Le dépôt étudie des rampes NE-prudentes irréductibles et des ponts faiblement prudents à deux côtés. Il rassemble un manuscrit, un dossier de preuve distinct pour les ponts, des vérifications symboliques et des certificats de signes exacts.
Les arguments analytiques portent sur ces séries précises. Les programmes contrôlent les calculs finis et les certificats ; ils ne remplacent pas les preuves de convergence et ne constituent pas une formalisation en assistant de preuve.
La recherche est en pause : certains prolongements donnent une unicité conditionnelle, une preuve candidate et une couverture d'existence encore ouverte. Aucun calcul exact de la constante connective du réseau carré ni record général n'est revendiqué ; la priorité reste indéterminée.