ran the independent checkers listed below, from a clean
checkout at the commit recorded here, with no Vaara installed, and reported
the outcome in public. The result they reported was 40 passed, 0 failed, 3 skipped, 49 cases.
Ran the independent checkers exactly as documented (git clone, pip install cryptography rfc8785, python scripts/conformance_runner.py) in an isolated venv, no Vaara install. Establishes that the checkers reproduce their own stated verdicts against the shipped case files at this commit. Does not establish interoperability between Vaara's proofs and our own (invinoveritas) proof format.