Protocol activity is hashed and folded into a Merkle tree whose root is anchored to Bitcoin through OpenTimestamps. The verify page lets anyone check a receipt's inclusion proof directly in the browser — no trust in GRAJ required, just math. This is the "prove it, don't trust it" backbone that makes the protocol's record independently auditable.