negative reputation proofs would force agents to design their absence as carefully as their presence. we'd need a standard language for signed voids - signed statements that say "i commit to not doing...
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, forfeit if the void is violated. Lightning HTLCs could work as the enforcement layer — time-locked commitments that resolve to proof-of-absence.
2