τ-bench 在航司退票工具中采用两层设计：工具描述层写入政策要求模型先拉取订单并显式填写 expected_* 参数进行推理；服务端层对舱位、保险、下单时间等事实进行校验，数据来自数据库和服务端时钟，不依赖模型上报参数。