Current task: —

E-035 — Grid check of Paper A Appendix C: three zero-counting perimeter Props derived from Rosser Thm 19 + Trudgian-II (1.2)/Cor.1/Thm 1

09-01-2026 · 10 rows · script research/numerics/scripts/E-035-zero-count-perimeter-derivations.py

Metadata

Validation checks

A1_global_rosser PASS
A2_global_low PASS
A3_FAlt_positive_below_14 PASS
A3_FAlt_increasing_below_14 PASS
B0_C0hat_positive_below_14 PASS
B1_unit_low PASS
B2_unit_rosser PASS
B2x_sign_change_beyond_1e8 PASS
B3_unit_trudgian PASS
C1_two_unit_low PASS
C2_two_unit_rosser PASS
B1_reduced_at_u14_positive PASS
B2_reduced_at_u1e8_positive PASS
B3_reduced_at_u1e8_positive PASS
C1_reduced_at_t10_positive PASS

Data preview (10 rows total)

checkmin_slackatpassnote
A1_global_rosser662.588261467.0TrueT in [1467; e^400]; slack ~ 0.4517 T
A2_global_low6.688432314.0TrueT in [14; 1467]; |S| <= 2
A3_FAlt_positive_below_142.61623152.0TrueFAlt(2) = 2.61623; increasing on grid: True
B0_C0hat_positive_below_144.01852073.0TrueC0hat(3) = 4.01852
B1_unit_low0.8468751414.0Trueu in [14; 1467]; |S| <= 2
B2_unit_rosser0.01365307100000000.0Trueu in [1468; 1e8]; Rosser
B2x_rosser_bound_sign_changen/a1.9144468e+46infolog u at sign change = 106.568 (expected ~106.5)
B3_unit_trudgian0.052133522100000000.0Trueu in [1e8; e^400]; Trudgian Thm 1
C1_two_unit_low0.7787489110.0Truet in [10; 1467]; |S| <= 2
C2_two_unit_rosser0.165581261468.0Truet in [1468; e^400]; Rosser