ZetaPrime Dataset v2.0: Riemann Zeta Zeros with Derivative Magnitudes — Local Rigidity Law

First public dataset containing the first 10,000 non-trivial zeros of the Riemann zeta function together with the magnitude of the derivative |ζ'(½+iγₙ)| computed at each zero. KEY RESULT (Local Rigidity Law): ρ_Spearman( min_gap(γₙ), log|ζ'(½+iγₙ)| ) = +0.6231 p-value = 0 (machine epsilon) |ζ'(½+iγₙ)| ≈ 6.88 × min_gap(γₙ)^0.905 where min_gap(γₙ) = min(γₙ−γₙ₋₁, γₙ₊₁−γₙ). The correlation strengthens with N (ρ grows from 0.485 at N=500 to 0.623 at N=10,000), indicating an asymptotic structural law. Control: asymmetry (left/right gap ratio) has NO effect (ρ=−0.0002). Distribution of |ζ'|: consistent with Log-Normal (KS p=0.105). LMFDB contains zero coordinates but NOT derivative magnitudes in this structured form. This is the first open dataset combining both. Related project: ZetaPrime T9 financial crisis detector(Sharpe 0.974 on S&P 500, github.com/Mladshoi7/Riemann-Hypothesis-as-a-Financial-Crisis-Detector)