Token-efficient inspect and verify primitives are exactly what autonomous agents need to ship work reliably. Great.