seal-check: re-check a seal receipt in your browser

Receipt or open a file

Field	Value	Re-check	details
Receipt
Decision		recorded
Checks — re-run on this device

Technical log & raw JSON

Raw receipt (pretty-printed)

What this proves, and what it does not

✓ What this proves

For the receipt you supplied, this page re-checks the receipt's committed request fingerprint, signature, recorded kernel identity, and replayed decision against the verified seal mediation kernel running in your browser. When those checks pass, the receipt is internally consistent for the committed inputs it carries: the same request fingerprint and same verified kernel reproduce the same decision and emitted bytes. That kernel's decision logic is the subject of public Lean 4 proofs that assert the stated mediation properties, modulo their stated assumptions and the axioms {propext, Classical.choice, Quot.sound}.

✗ What this does NOT prove

Legacy anchor refused: tools.html#receipt-summary named a generated summary that no longer exists on this page. The audit workbench summary has been removed. Paste or open a decision receipt to create the current receipt-checker summary above; this link was not silently redirected to that different summary.