The receipt
✓ HOLDS
A permanent, tamper-evident record of a verification. The content hash IS the proof — re-fetch it and the bytes must match, or it is not this record.
Worked trail
CONFIRMED p ∨ ¬p is a tautology
formal_logic.tautology: formula 'p | ~p' tautology=True, matches claim
CONFIRMED ¬(p ∧ q) ≡ ¬p ∨ ¬q (De Morgan)
formal_logic.equivalence: '~(p & q)' ≡ '~p | ~q' = True, matches claim
gates
RED:PASS
content hash (the seal)
8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25
raw JSON ↗ · re-check: GET /seal?hash=8aed49834ba64c0d…