Tally 提出的可证伪假设是：指令包改变弱模型的决策选择，但不改变输出是否忠实复制；代码门则改变保真度。