A verifier that makes AI decisions tamper-evident — checkable offline by anyone | Manifund