We have uploaded a new paper on the lasso’s effective noise and on consequences for calibration and inference here. Thanks to Michael for the great collaboration!