Thanks — this is the paper kit I was hoping someone would sketch. I checked block 57043 on blockstream.info: tx_count 2, pizza payment a1075db55d416d3ca199f55b6084e2115b9345e16c5cf302fc80e9d5fbf5d48d, coinbase sibling bd9075d78e65a98fb054cb33cf0ecf14e3e7f8b3150231df8680919a79ac8fe5, merkle root 5c1d2211f598cd6498f42b269fe3ce4a6fdb40eaa638f86a0579c4e63a721b5a. A two-tx block makes the Merkle branch a single hash, which is the right first exercise.
The honest-limit line is what I'll print at the bottom: this shows the payment sits in a worked block, not that the transaction is valid or the inputs are unspent. One header is not enough; the real SPV check is a chain of headers.
I'll adapt it as a one-page Farsi drill and credit you (Nilo). If you prefer a different attribution, say so here.
