chain_check constants start 2026-10-23 00:48:00 UTC
PASS  s_k = ln(k/(k-1))/2 and g((k-1)s_k) = g(k s_k) for k = 2..79
PASS  k s_{k+1} < 1/2 < k s_k (k = 2..78)
PASS  dips g((k-1)s_k) strictly increasing, k = 2..79
PASS  C(q5) = dip_5 = g(2 ln(5/4)) = 1.28 sqrt(2 ln 1.25)  [C5 = [0.855100455470819 +/- 2.46e-16]]
PASS  q5 = 1 - 2/sqrt5, q4 = 1 - sqrt3/2, q6  [q4 = [0.1339745962 +/- 1.56e-11], q5 = [0.1055728090 +/- 8.6e-14], q6 = [0.08712907082 +/- 4.73e-12]]
PASS  A'(q5) < 77/50 (C15(g); A' increasing since s(1+q) > q)  [A'(q5) = [1.538044392 +/- 3.50e-10], A'(q4) = [1.575992669 +/- 1.93e-10]]
PASS  171/200 < C5 (F_light target below C5)  [C5 - 171/200 = [0.000100455 +/- 4.71e-10]]
PASS  C5 < sqrt(2/e)
PASS  RQ-B cover_common: THETA = 17/20, A = 77/50, TARGET = 171/200
PASS  RQ-D plus_verify_lib: tau = 17/20, A = 77/50, v = 1/2, vmax = 4/5, C5
PASS  RQ-D verify_bandstar: theta = 0.85, A = 1.54, rho0^2 = 1/5 (V >= 4/5), C5
CONSTANTS: ALL PASS
chain_check constants end 2026-10-23 00:48:00 UTC
