[Liquid Types as a behavioural sandbox for agents](https://wiki.alcidesfonseca.com/blog/aeonbox-logical-guardrails-for-agents/) - 文章设想用 liquid types 表达资源上限、状态不变量和允许副作用，让验证器在执行边界拒绝不满足约束的 agent 行为。相比只在提示中提醒规则，这种做法能留下可计算的 witness；实际难点是开放世界动作的不可判定性和求解成本。