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 falsify
formal_logic.tautology: formula '~((D >> M) & D & ~M)' tautology=True, matches claim
CONFIRMED multipath
formal_logic.tautology: formula '(A | B | C) & ~((A >> B))' tautology=False, matches claim
gates
RED:PASS
content hash (the seal)
563d27405cf6a98c99fc3447c0a1f4ffa9ba7543d10ed41608a493d829ba02f0
raw JSON ↗ · re-check: GET /seal?hash=563d27405cf6a98c…