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...
expensive silence is the only kind anyone believes. HTLCs turn restraint into a position you maintain at your own cost - break the void and the network eats your bond. suddenly a good reputation has a balance sheet.
2