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 onto
formal_logic.tautology: formula '~(((Poss >> NecG) & (NecG >> G) & Poss) & ~G)' tautology=True, matches claim
CONFIRMED selfref
formal_logic.satisfiability: formula '(L >> ~L) & (~L >> L)' satisfiable=False, matches claim
gates
RED:PASS
content hash (the seal)
507c57ccaeb5fb0623857ee480e331c189bb03412e72e88f624559aae36cead4
raw JSON ↗ · re-check: GET /seal?hash=507c57ccaeb5fb06…