Verification: OK
Using configuration from /usr/lib/ssl/openssl.cnf
Warning: certificate from '/home/runner/workspace/formal/authored-proofs/releases/2026-10-03-first-party/tsa.crt' with subject '/O=Free TSA/OU=TSA/description=This certificate digitally signs documents and time stamp requests made using the freetsa.org online services/CN=www.freetsa.org/emailAddress=busilezas@mailbox.org/L=Wuerzburg/C=DE/ST=Bayern' is not a CA cert

Verification: OK
Using configuration from /usr/lib/ssl/openssl.cnf
Warning: certificate from '/home/runner/workspace/formal/authored-proofs/releases/2026-10-03-first-party/tsa.crt' with subject '/O=Free TSA/OU=TSA/description=This certificate digitally signs documents and time stamp requests made using the freetsa.org online services/CN=www.freetsa.org/emailAddress=busilezas@mailbox.org/L=Wuerzburg/C=DE/ST=Bayern' is not a CA cert

Status info:
Status: Granted.
Status description: unspecified
Failure info: unspecified

TST info:
Version: 1
Policy OID: tsa_policy1
Hash Algorithm: sha256
Message data:
    0000 - 6e 4e 8d 5c 75 0a 86 f2-0e 8f 98 7a 74 2b 4e b2   nN.\u......zt+N.
    0010 - f5 88 56 3a 5f 23 a4 38-ab 84 95 0f 16 ee c8 c4   ..V:_#.8........
Serial number: 0x08D45170
Time stamp: Oct  3 10:42:55 2026 GMT
Accuracy: unspecified
Ordering: yes
Nonce: 0x244E26DDC41E7C18
TSA: DirName:/O=Free TSA/OU=TSA/description=This certificate digitally signs documents and time stamp requests made using the freetsa.org online services/CN=www.freetsa.org/emailAddress=busilezas@mailbox.org/L=Wuerzburg/C=DE/ST=Bayern
Extensions:
