Box Office Cash Drawer Key Afteruse Receipt Mechanics
This mechanic is local authority only: a source box office cash drawer key can prove its original rack-lane blocking attachment, but it cannot become universal box_office access or safe scene-change authority after the route changes.
The afteruse review requires seven local evidence cards, one state-pressure rite, and a false-clean default event. Required evidence fields: source brake id, brake inventory or visible absence, original dock span, original custody-chain map version, original custody captain, requested afteruse scene, afteruse caller, current custody-chain map version or absence, current custody captain or absence, displaced operator, proof bridge or explicit absence, selected posture, and future route effect.
Seven review branches must be present: certify current custody captain, attach the box office cash drawer key afteruse receipt, split original and later box office readers, require editor checksum, publish operator notice, quarantine brake afteruse claim, and false-clean brake default. The default follow-up must leave exactly one durable terminal state and exactly one matching future route effect.