- What makes an implementation Provetrail-conformant? An implementation is Provetrail-conformant at a level if it accepts every valid record in that level's public vectors and rejects every tampered or malformed one, in any language.
- How to verify an AI agent's execution record Rebuild the record's Merkle root, check the signature against a published key, confirm each outcome is bound to evidence. The integrity check runs client-side, in any language.