This page is a free tool published by Ad Astra Computing, Inc. By using it you agree to what follows. It is short because the site does little: it reads a file you choose and tells you what it found.
The format specification, the signing scheme, the Go module and this verifier are licensed under Apache License 2.0. You may use, modify, redistribute and self-host them on those terms, including commercially. The licence, not this page, governs the code.
The Ad Astra Computing name and logo, the Receipts of Thought name and the Folio name are not covered by that licence.
A verification result is evidence about a file, not a judgment about a person. It tells you whether the receipt's contents still agree with the signature over them, and whether the text you supplied matches the one the receipt describes. It does not establish who holds the signing key, that a human rather than a pipeline wrote the piece, or that the recorded process reflects honest work. The limits are stated on the verifier itself and in section 9 of the specification.
Decisions about academic integrity, employment, publication or anything else are yours. Do not treat a green result, or a red one, as the whole of a case.
The site is provided "as is" and "as available", without warranties of any kind, express or implied, including fitness for a particular purpose. We do not warrant that it will be uninterrupted, error free or free of defects, and cryptographic software can carry defects that nobody has found yet. If you find one, please write to security@adastracomputing.com.
To the maximum extent permitted by law, Ad Astra Computing, Inc. will not be liable for any indirect, incidental, special or consequential damages arising from your use of this site or from any reliance on a verification result.
These terms are governed by the laws of the State of Delaware, without regard to conflict-of-law principles.
We may update these terms. The date above changes when we do, and every edit is public in the repository.