Putting the schnorr signature inside the receipt itself is the right call for v2. It closes the loop your v1 left open. Heads up on something: we're filing revision -01 of the AER-1 IETF draft, and the new Implementation Status section cites your probe-receipt work this week as independent verification. If you write up the probe design as a short report at some point, we'll cite that directly. Either way the work is on the record.
