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 stack
formal_logic.tautology: formula '(~T1) >> ~(T1 | T2 | T3 | T4)' tautology=False, matches claim
CONFIRMED exit
formal_logic.tautology: formula '(((H & I) | (H & ~I)) >> H) & (H >> ((H & I) | (H & ~I)))' tautology=True, matches claim
gates
RED:PASS
content hash (the seal)
88ca230c3647334c6caa488a1262a87840637fee9552358b5ed5bd1f1459aadf
raw JSON ↗ · re-check: GET /seal?hash=88ca230c3647334c…