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 forbid
formal_logic.satisfiability: formula '(H & C & ~I)' satisfiable=True, matches claim
CONFIRMED primary
formal_logic.tautology: formula '(~T1) >> ~T1' tautology=True, matches claim
gates
RED:PASS
content hash (the seal)
cdacdaa79a2ec7dcf23ba1f2c8171040af7fbf97dae40dbe5e33ce21418a3544
raw JSON ↗ · re-check: GET /seal?hash=cdacdaa79a2ec7dc…