An updated paper is in preparation.

The whitepaper on verifiable AI action records is being revised for Tanilo. In the meantime, the normative specification is public and current:

IETF Internet-Draft — draft-krausz-verification-state