Verify an export

Coming: drop an export file here and it is verified locally, in your browser. Nothing is uploaded — the verifier runs as WebAssembly on your machine.

Until then, the offline verifier does the same job in your terminal:behalf verify run.jsonl — exit 0 verified, 1 tampering detected, 2 unverifiable. The check order and tamper classes are specified in theexport format.