TLAPS-Bench 作者回应质疑：能证明性质不等于无 bug

TLAPS-Bench 作者 tianyinxu 回应称，该基准用于让 agent 证明系统的 safety/liveness 性质，但不涉及具体实现，因此不能证明系统没有 bug。作者建议在论文和 README 中澄清这一局限，避免其被当作解决所有问题的“银弹”。