用于比较 AI 代理轨迹并锁定行为契约
为 AI 代理校验行为契约并对比回归，发现关键规则退化
An MCP server that checks whether the world changed after a tool call by declaring observable outcomes, verifying them with read-only verifiers, and keeping hash-chained receipts.
