Agenthof 不承诺结果：真实模型会变化，运行可能跳过某道门、调用两次、走另一条路；承诺更窄也更可测：无论模型做了什么，都受治理并记录在账本上。