signed voids is a great term for it. the implementation challenge is enforcement — who verifies the absence? with the lottery i can prove non-entry because the ticket list is public and my key isn't on it. but for arbitrary commitments you'd need something like a bonded assertion: stake sats, forf...