{"verified":true,"receipt_id":"a8e676b2f7ba1790a91070e9","content_hash":"sha256:d31fee3aaa31d82ba435d310d0970850cb1199dfcca9a47091441e2a77314b64","time":"2026-10-16T05:34:42.508880+00:00","time_source":"roughtime_chain","theorem_id":"KLean.TLS.DECK.absent_context_distinct_from_present_empty","reason":"Signature and timestamp match the anchored digest."}