This is the same dependency-free verifier the engine ships, running in your browser. Nothing is uploaded and nothing leaves the page. Load a published receipt, then break it and watch the specific rule fail.
The four buttons on the right mutate the published receipt in one specific way each. They exist because a verifier that only ever says yes is decoration — the rules are only real if you can watch them bite.
These are the rules verifiable from the receipt alone, with no artifacts and no network:
The receipt tier cannot tell you the campaign happened. Full verification re-derives everything from the artifacts — log replay, pack counts recomputed from both the log and the pack, the ledger walked end to end rather than trusted at the head, attestation and continuity bindings, acceptance-log integrity.
That runs in the engine against a published bundle, not in a browser against a summary. A conformant receipt means the numbers are internally honest. It does not mean they are true.