[OK] BA n=10000
[OK] BA min degree m=3
[OK] BA mean degree near 6
[OK] ER mean degree near BA
[OK] BA max degree > ER max degree x4
[OK] BA variance degree > ER variance
[OK] Handshake BA
[OK] BA fit kmin valid
[OK] BA alpha between 2 and 4
[OK] BA tail sufficiently large
[OK] BA KS modest
[OK] BA conditional GOF probability valid
[OK] BA powerlaw beats exponential likelihood
[OK] BA comparison z positive
[OK] ER fit exists
[OK] ER tail smaller max
[OK] ER exponential preferred or PL weak
[OK] Lognormal local loglog R2 high
[OK] Lognormal local slope varies
[OK] Lognormal generated positive
[OK] Lognormal powerlaw fit finite
[OK] BA kmax increases with n
[OK] BA kmax scaling exponent roughly half
[OK] BA finite max
[OK] CCDF BA normalized at min
[OK] CCDF monotone BA
[OK] CCDF monotone ER
