#31 · Audit Frantic verifier state on a real claim