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 b1
-diff(x**2/2,x)*exp(-(x**2/2)/2) - 2*diff(exp(-(x**2/2)/2),x) = 0; both sides reduce to 0
CONFIRMED b2
integrate((1/sqrt(2*pi*2))*exp(-x**2/(2*2)),(x,-oo,oo)) = 1; both sides reduce to 1
CONFIRMED b3
integrate(x**2*(1/sqrt(2*pi*2))*exp(-x**2/(2*2)),(x,-oo,oo)) = 2; both sides reduce to 2
gates
RED:PASS
content hash (the seal)
8a3d0e4b4c8af33851fc97658b7af1f9631e8a770708a245234f2226f076d694
raw JSON ↗ · re-check: GET /seal?hash=8a3d0e4b4c8af338…