计算和受控实验扩张的自洽性