Lighting Booth Keycard Afteruse Receipt Mechanics

The afteruse receipt models old access evidence becoming a current route asset. The review must expose a source keycard, original booth lock, requested afteruse, holder or absence, beneficiary, harmed reader, proof bridge, selected posture, future route effect, and at least three counter movements.

The false-clean default is durable: it records that the old keycard was treated as universal booth access, moves booth trust, false access risk, and future route cost, and leaves future readers with a recovery-only state.