整合信息论大体检——IIT 是「从公理推出意识」的硬科学，是把难问题搬进一条公设的漂亮约定，还是一个声称可证伪却给不出唯一 Φ 的万理论？