atl-cli 0.10.0 === atl-cli verify document.pdf document.pdf.atl === Verification Result =================== File: test_data/files/document.pdf Receipt: test_data/receipts/valid/document.pdf.atl Status: NOT VERIFIED: the receipt carries no anchors (Receipt-Lite) Reason: receipt_unanchored File Hash: Computed: sha256:90d85cbe4e80ec4cccf9703cd6aeb0207896c254e20574cd066973b1c30a35cd Expected: sha256:90d85cbe4e80ec4cccf9703cd6aeb0207896c254e20574cd066973b1c30a35cd Match: YES Receipt Verification: Entry ID: 550e8400-e29b-41d4-a716-446655440000 Inclusion Proof: VALID Anchor Status: UNANCHORED Note: Receipt-Lite. It proves internal consistency only, not temporal existence: it carries no anchor, so nothing external attests to when this existed. ATL v2.0 §5.5 requires at least one VERIFIED anchor to establish trust, so this receipt is reported as untrusted (exit 3), not accepted. Request an upgraded receipt with TSA or Bitcoin anchoring for independent verification. The evidence was NOT disproved. This verifier could not finish checking it: - The receipt carries no anchors at all (Receipt-Lite), so nothing external attests to when this existed. ATL v2.0 §5.5 requires at least one verified anchor. No certificate and no network access can supply one: ask the log operator for an anchored receipt (Receipt-TSA or Receipt-Full). NOT VERIFIED: the receipt carries no anchors (Receipt-Lite) (receipt_unanchored) -- the receipt carries no anchors at all (Receipt-Lite), so nothing external attests to when this existed. ATL v2.0 §5.5: a receipt without any verified anchors should be treated as untrustworthy. Request an anchored receipt (TSA and/or Bitcoin); no trust material supplied here can substitute for one exit 3 === atl-cli verify document.pdf tampered_proof.atl === Verification Result =================== File: test_data/files/document.pdf Receipt: test_data/receipts/invalid/tampered_proof.atl Status: INVALID Reason: file_hash_mismatch File Hash: Computed: sha256:90d85cbe4e80ec4cccf9703cd6aeb0207896c254e20574cd066973b1c30a35cd Expected: sha256:0000000000000000000000000000000000000000000000000000000000000000 Match: NO The file content does not match the receipt. The file may have been modified since the receipt was issued. File hash mismatch: file has changed since receipt was issued exit 1