Towards Alignment Auditing as a Numbers-Go-Up Science — LessWrong